In this note we establish some general finiteness results concerning lattices Γ in connected Lie groups$G$which possess certain “density” properties (see$Moskowitz$, M., On the density theorems of Borel and Furstenberg,$Ark. Mat.$$16$(1978), 11–27, and$Moskowitz$, M., Some results on automorphisms of bounded displacement and bounded cocycles,$Monatsh. Math.$$85$(1978), 323–336). For such groups we show that Γ always has finite index in its normalizer$N$_{$G$}(Γ). We then investigate analogous questions for the automorphism group Aut($G$) proving, under appropriate conditions, that Stab_{Aut($G$)}(Γ) is discrete. Finally we show, under appropriate conditions, that the subgroup $\tilde{\Gamma}=\{i_{\gamma}:\gamma \in \Gamma \},\ i_{\gamma}(x)=\gamma x\gamma^{-1}$ , of Aut($G$) has finite index in Stab_{Aut($G$)}(Γ). We test the limits of our results with various examples and counterexamples.

For decades, the widely used finite difference method on staggered grids, also known as the marker and cell (MAC) method, has been one of the simplest and most effective numerical schemes for solving the Stokes equations and Navier–Stokes equations. Its superconvergence on uniform meshes has been observed by Nicolaides (SIAM J Numer Anal 29(6):1579–1591, 1992), but the rigorous proof is never given. Its behavior on non-uniform grids is not well studied, since most publications only consider uniform grids. In this work, we develop the MAC scheme on non-uniform rectangular meshes, and for the first time we theoretically prove that the superconvergence phenomenon (i.e., second order convergence in the L2 norm for both velocity and pressure) holds true for the MAC method on non-uniform rectangular meshes. With a careful and accurate analysis of various sources of errors, we observe that even though the local truncation errors are only first order in terms of mesh size, the global errors after summation are second order due to the amazing cancellation of local errors. This observation leads to the elegant superconvergence analysis even with non-uniform meshes. Numerical results are given to verify our theoretical analysis.

Fixing a weakly unobstructed Lagrangian torus in a symplectic manifold X, we define a holomorphic function W known as the Floer potential. We construct a canonical A∞-functor from the Fukaya category of X to the category of matrix factorizations of W. It provides a unified way to construct matrix factorizations from Lagrangian Floer theory. The technique is applied to toric Fano manifolds to transform Lagrangian branes to matrix factorizations. Using the method, we also obtain an explicit expression of the matrix factorization mirror to the real locus of the complex projective space.

Kadison and Kastler introduced a natural metric on the collection of all$C$*-subalgebras of the bounded operators on a separable Hilbert space. They conjectured that sufficiently close algebras are unitarily conjugate. We establish this conjecture when one algebra is separable and nuclear. We also consider one-sided versions of these notions, and we obtain embeddings from certain near inclusions involving separable nuclear$C$*-algebras. At the end of the paper we demonstrate how our methods lead to improved characterisations of some of the types of algebras that are of current interest in the classification programme.

No abstract uploaded!