Search arXivSearch

arXiv · 2412.04437

Numerical invariants of normed matrix factorizations

Abstract

We define a normed matrix factorization category and a notion of bounding cochains for objects of this category. We classify bounding cochains up to gauge equivalence for spherical objects and use this classification to define numerical invariants. These invariants are expected to correspond under mirror symmetry to the open Gromov-Witten invariants with only boundary constraints of Lagrangian rational cohomology spheres defined by the second author and Tukachinsky. For each Delzant polytope, we construct a normed matrix factorization category. For Delzant polytopes satisfying a combinatorial relative spin condition, we construct an object of this category called the Dirac factorization. The Dirac factorization is expected to correspond under mirror symmetry to the Lagrangian submanifold given by the real locus of the toric symplectic manifold associated to the Delzant polytope. In the case of the $n$-simplex for $n$ odd, we show that the Dirac factorization is spherical, mirroring the fact that $\mathbb{R} P^n$ is a rational cohomology sphere. For $n = 1,$ we show the numerical invariants of the Dirac factorization coincide with the open Gromov-Witten invariants of $\mathbb{R} P^1 \subset \mathbb{C} P^1.$ For $n = 3$ in low degrees, computer calculations verify that the numerical invariants of the Dirac factorization coincide with the open Gromov-Witten-Welschinger invariants of $\mathbb{R}P^3 \subset \mathbb{C} P^3.$ Although $\mathbb{R} P^n$ is trivial in the Fukaya category of $\mathbb{C} P^n$ over any field of characteristic zero, the above results can be seen as a manifestation of mirror symmetry over a Novikov ring.

Explore related subjects

Keep this discovery

BibTeXRIS

May Sela, Jake P. Solomon. 2024-12-05. Numerical invariants of normed matrix factorizations. https://arxiv.org/abs/2412.04437

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Extended Future Tube Conjecture for Unipotent Subgroups

Let $\Omega$ be the Lorentz future cone in $\mathbb{R}^{d+1}$ with respect to the Lorentz product and let $T^M$ be the $M$-fold product of the future tube $T=\mathbb{R}^{d+1}+i\Omega$. The Lorentz group $\mathrm{SO}_0(1,d)$ acts diagonally on $T^M$, and its complexification $\mathrm{SO}(1,d)^\mathbb{C}$ acts on $\mathbb{C}^{(d+1)\times M}$. We prove that the domain $G^\mathbb{C}\cdot T^M$ is a Stein manifold for any connected unipotent subgroup $G$ of $\mathrm{SO}_0(1,d)$.

math.SG

The First Correction Term in the Asymptotic Expansion of Bohr--Sommerfeld Lagrangian States

Let $\Lambda$ be a compact Bohr--Sommerfeld Lagrangian submanifold of a compact K\"ahler manifold equipped with a holomorphic prequantum line bundle. We study the asymptotic expansion of the Lagrangian states associated with $\Lambda$. In particular, we compute explicitly the first nontrivial correction term and show that it is expressed in terms of geometric invariants of the ambient K\"ahler manifold and the Lagrangian submanifold, including their scalar curvatures, the second fundamental form, and the mean curvature. As a consequence, we obtain the corresponding second-order asymptotic formula for the $L^2$-norm of the Lagrangian states.

math.SG

Classification of Legendrian doubles and suspensions

We define a construction of Legendrians inside contact manifolds that arise by doubling an exact Lagrangian filling in the page of an open book decomposition. This can be seen as a generalization of a previous construction by Courte and Ekholm to arbitrary open books. These Legendrians, called Legendrian doubles, are shown to admit regular flexible exact Lagrangian fillings, and they are thus classified up to Legendrian isotopy by classical data. Finally, we show that the Legendrian suspension construction, as defined by Arikan and the author in previous work,-this is a Legendrian contained inside a page of an open book that is obtained by using Seidel's suspension of Lefschetz fibrations- is a Legendrian double.

math.SG