arXiv subjects

Jake P. Solomon

Publications and source records attributed to Jake P. Solomon.

At least 19 recordsLinked to original sources

arXiv2026

Total Inner Products and Cyclic Chern-Simons Forms

We introduce the notion of a total inner product on an $A_\infty$-algebra, and a cyclic Chern-Simons form associated to a topologically nilpotent element. The total inner product applied to the cyclic Chern-Simons form gives a superpotential function that is gauge invariant on solutions of the Maurer-Cartan equation known as bounding cochains. The derivative of the superpotential is computed. The definition of total inner product replaces strict symmetries that appear in previous notions of homotopy inner products with symmetries up to an infinite family of coherent homotopies. We show how to recover previous notions of homotopy inner products as special cases of total inner products. Total inner products are designed to facilitate the definition of descendent open Gromov-Witten invariants. The definitions of the total inner product and the cyclic Chern-Simons form use the total complex of cyclic codifferential forms, which gives a chain model for cyclic homology. We give explicit formulas for homotopy equivalences with other known models. We discuss also the notion of an $\infty$-trace, which arises from Connes' cyclic complex, and the associated $\infty$-modulus, which gives another gauge-invariant function on bounding cochains. In open Gromov-Witten theory, the $\infty$-modulus is used to normalize the bounding cochains to which the superpotential is applied. We develop our definitions for general curved Banach $A_\infty$-algebras, and give both unital and non-unital versions of the main results. In the unital setting, we work with weak bounding cochains, solutions of an inhomogeneous Maurer-Cartan equation involving the unit. Weak bounding cochains arise in the open Gromov-Witten theory of Lagrangian submanifolds with non-vanishing Maslov class. The derivative of the superpotential at a weak bounding cochain is related to the derivative of the $\infty$-modulus.

math.QA↗

arXiv2025

Point-like non-commutative families of bounding cochains

We define genus zero open Gromov-Witten invariants with boundary and interior constraints for a Lagrangian submanifold of arbitrary even dimension. The definition relies on constructing a canonical family of bounding cochains that satisfy the point-like condition of the second author and Tukachinsky. Since the Lagrangian is even dimensional, the parameter of the family is odd. Thus, to avoid the vanishing of invariants with more than one boundary constraint, the parameter must be non-commutative. The invariants are defined either when the Lagrangian is a rational cohomology sphere or when the Lagrangian is fixed by an anti-symplectic involution, has dimension $2$ modulo $4$, and its cohomology is that of a sphere aside from degree $1$ modulo $4$. In dimension $2$, these invariants recover Welschinger's invariants. We develop an obstruction theory for the existence and uniqueness of bounding cochains in a Fukaya $A_\infty$ algebra with non-commutative coefficients. The obstruction classes belong to twisted cohomology groups of the Lagrangian instead of the de Rham cohomology of the commutative setting. A spectral sequence is constructed to compute the twisted cohomology groups. The extension of scalars of an $A_\infty$ algebra by a non-commutative ring is treated in detail. A theory of pseudo-completeness is introduced to guarantee the convergence of the Maurer-Cartan equation, which defines bounding cochains, even though the non-commutative parameter is given zero filtration.

math.SG↗

arXiv2025

Differential forms, open-closed maps, and Gromov-Witten axioms

We construct open-closed maps on various versions of Hochschild and cyclic homology of the Fukaya $A_\infty$ algebra of a Lagrangian submanifold modeled on differential forms. The $A_\infty$ algebra may be curved. Properties analogous to Gromov-Witten axioms are verified. The paper is written with applications in mind to gravitational descendants and obstruction theory.

math.SG↗

arXiv2024

Numerical invariants of normed matrix factorizations

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.

math.SG↗

arXiv2023

A quadratically enriched count of rational curves

We define a quadratically enriched count of rational curves in a given divisor class passing through a collection of points on a del Pezzo surface $S$ of degree $\geq 3$ over a perfect field $k$ of characteristic $\neq 2,3.$ When $S$ is $\mathbb{A}^1$-connected, the count takes values in the Grothendieck-Witt group GW(k) of quadratic forms over $k$ and depends only on the divisor class and the fields of definition of the points. More generally, the count is a section of the Grothendieck-Witt sheaf evaluated on $\pi_0^{\mathbb{A}^1}$ of the restriction of scalars of $S$ corresponding to the fields of definition of the points. We also treat del Pezzo surfaces of degree $2$ under certain conditions. The curve count defined in the present work recovers Gromov-Witten invariants when $k = \mathbb{C}$ and Welschinger invariants when $k = \mathbb{R}.$ To obtain an invariant curve count, we define a quadratically enriched degree for an algebraic map $f$ of $n$-dimensional smooth schemes over a field $k$ under appropriate hypotheses. For example, $f$ can be proper, generically finite and oriented over the complement of a subscheme of codimension $2.$ This degree is compatible with F. Morel's GW(k)-valued degree of an $\mathbb{A}^1$-homotopy class of maps between spheres. For $k \subseteq \mathbb{C}$, this produces an enrichment of the topological degree of a map between manifolds of the same dimension.

math.AG↗

arXiv2023

A relative orientation for the moduli space of stable maps to a del Pezzo surface

We prove orientation results for evaluation maps of moduli spaces of rational stable maps to del Pezzo surfaces over a field, both in characteristic $0$ and in positive characteristic. These results and the theory of degree developed in a sequel produce quadratically enriched counts of rational curves over non-algebraically closed fields of characteristic not $2$ or $3$. Orientations are constructed in two steps. First, the ramification locus of the evaluation map is shown to be the divisor in the moduli space of stable maps where image curves have a cusp. Second, this divisor is related to the discriminant of a branched cover of the moduli space given generically by pairs of points on the universal curve with the same image.

math.AG↗

arXiv2023

Relative quantum cohomology

We establish a system of PDE, called open WDVV, that constrains the bulk-deformed superpotential and associated open Gromov-Witten invariants of a Lagrangian submanifold $L \subset X$ with a bounding chain. Simultaneously, we define the quantum cohomology algebra of $X$ relative to $L$ and prove its associativity. We also define the relative quantum connection and prove it is flat. A wall-crossing formula is derived that allows the interchange of point-like boundary constraints and certain interior constraints in open Gromov-Witten invariants. Another result is a vanishing theorem for open Gromov-Witten invariants of homologically non-trivial Lagrangians with more than one point-like boundary constraint. In this case, the open Gromov-Witten invariants with one point-like boundary constraint are shown to recover certain closed invariants. From open WDVV and the wall-crossing formula, a system of recursive relations is derived that entirely determines the open Gromov-Witten invariants of $(X,L) = (\mathbb{C}P^n, \mathbb{R}P^n)$ with $n$ odd, defined in previous work of the authors. Thus, we obtain explicit formulas for enumerative invariants defined using the Fukaya-Oh-Ohta-Ono theory of bounding chains.

math.SG↗

arXiv2023

Relative quantum cohomology of the Chiang Lagrangian

We compute the open Gromov-Witten disk invariants and the relative quantum cohomology of the Chiang Lagrangian $L_\triangle \subset \mathbb{C}P^3$. Since $L_\triangle$ is not fixed by any anti-symplectic involution, the invariants may augment straightforward $J$-holomorphic disk counts with correction terms arising from the formalism of Fukaya $A_\infty$-algebras and bounding cochains. These correction terms are shown in fact to be non-trivial for many invariants. Moreover, examples of non-vanishing mixed disk and sphere invariants are obtained. We characterize a class of open Gromov-Witten invariants, called basic, which coincide with straightforward counts of $J$-holomorphic disks. Basic invariants for the Chiang Lagrangian are computed using the theory of axial disks developed by Evans-Lekili and Smith in the context of Floer cohomology. The open WDVV equations give recursive relations which determine all invariants from the basic ones. The denominators of all invariants are observed to be powers of $2$ indicating a non-trivial arithmetic structure of the open WDVV equations. The magnitude of invariants is not monotonically increasing with degree. Periodic behavior is observed with periods $8$ and $16.$

math.SG↗

arXiv2023

Differential forms, Fukaya $A_\infty$ algebras, and Gromov-Witten axioms

Consider the differential forms $A^*(L)$ on a Lagrangian submanifold $L \subset X$. Following ideas of Fukaya-Oh-Ohta-Ono, we construct a family of cyclic unital curved $A_\infty$ structures on $A^*(L),$ parameterized by the cohomology of $X$ relative to $L.$ The family of $A_\infty$ structures satisfies properties analogous to the axioms of Gromov-Witten theory. Our construction is canonical up to $A_\infty$ pseudoisotopy. We work in the situation that moduli spaces are regular and boundary evaluation maps are submersions, and thus we do not use the theory of the virtual fundamental class.

math.SG↗

arXiv2023

Differential forms on orbifolds with corners

Motivated by symplectic geometry, we give a detailed account of differential forms and currents on orbifolds with corners, the pull-back and push-forward operations, and their fundamental properties. We work within the formalism where the category of orbifolds with corners is obtained as a localization of the category of étale proper groupoids with corners. Constructions and proofs are formulated in terms of the structure maps of the groupoids, avoiding the use of orbifold charts. The Fréchet space of differential forms on an orbifold and the dual space of currents are shown to be independent of which étale proper groupoid is chosen to represent the orbifold.

math.SG↗

arXiv2022

The Fukaya $A_\infty$ algebra of a non-orientable Lagrangian

Let $L\subset X$ be a not necessarily orientable relatively $Pin$ Lagrangian submanifold in a symplectic manifold $X$. We construct a family of cyclic unital curved $A_\infty$ structures on differential forms on $L$ with values in the local system of graded non-commutative rings given by the tensor algebra of the orientation local system of $L$. The family of $A_\infty$ structures is parameterized by the cohomology of $X$ relative to $L$ and satisfies properties analogous to the axioms of Gromov-Witten theory. On account of the non-orientability of $L,$ the evaluation maps of moduli spaces of $J$-holomorphic disks with boundary in $L$ may not be relatively orientable. To deal with this problem, we use recent results on orientor calculus.

math.SG↗

arXiv2022

$A_\infty$ relations in orientor calculus on moduli of stable disk maps

Let $L\subset X$ be a not necessarily orientable relatively $Pin$ Lagrangian submanifold in a symplectic manifold $X$. Evaluation maps of moduli spaces of $J$-holomorphic disks with boundary in $L$ may not be relatively orientable. To deal with this problem, we introduce the notion of an orientor. Interactions between the natural operations on orientors are governed by orientor calculus. Orientor calculus gives rise to a family of orientors on moduli spaces of $J$-holomorphic stable disk maps with boundary in $L$ that satisfy natural relations. In a sequel, we use these orientors and relations to construct the Fukaya $A_\infty$ algebra of $L.$

math.SG↗

arXiv2021

Point-like bounding chains in open Gromov-Witten theory

We present a solution to the problem of defining genus zero open Gromov-Witten invariants with boundary constraints for a Lagrangian submanifold of arbitrary dimension. Previously, such invariants were known only in dimensions $2$ and $3$ from the work of Welschinger. Our approach does not require the Lagrangian to be fixed by an anti-symplectic involution, but can use such an involution, if present, to obtain stronger results. Also, non-trivial invariants are defined for broader classes of interior constraints and Lagrangian submanifolds than previously possible even in the presence of an anti-symplectic involution. The invariants of the present work specialize to invariants of Welschinger, Fukaya, and Georgieva in many instances. The main obstacle to defining open Gromov-Witten invariants with boundary constraints in arbitrary dimension is the bubbling of $J$-holomorphic disks. Unlike in low dimensions or for interior constraints, disk bubbles do not cancel in pairs by anti-symplectic involution symmetry. Rather, we use the technique of bounding chains introduced in Fukaya-Oh-Ohta-Ono's work on Lagrangian Floer theory to cancel disk bubbling. At the same time and independently, gauge equivalence classes of bounding chains play the role of boundary constraints, in place of the cohomology classes that usually serve as constraints in Gromov-Witten theory. A crucial step in our construction is to identify a canonical up to gauge equivalence family of "point-like" bounding chains, which specialize in dimensions $2$ and $3$ to the point constraints considered by Welschinger.

math.SG↗

arXiv2020

Special Lagrangian webbing

We construct families of imaginary special Lagrangian cylinders near transverse Maslov index $0$ or $n$ intersection points of positive Lagrangian submanifolds in a general Calabi-Yau manifold. Hence, we obtain geodesics of open positive Lagrangian submanifolds near such intersection points. Moreover, this result is a first step toward the non-perturbative construction of geodesics of closed positive Lagrangian submanifolds. Also, we introduce a method for proving $C^{1,1}$ regularity of geodesics of positive Lagrangians at the non-smooth locus. This method is used to show that $C^{1,1}$ geodesics of positive Lagrangian spheres persist under small perturbations of endpoints, improving the regularity of a previous result of the authors. In particular, we obtain the first examples of $C^{1,1}$ solutions to the positive Lagrangian geodesic equation in arbitrary dimension that are not invariant under isometries. Along the way, we study geodesics of positive Lagrangian linear subspaces in a complex vector space, and prove an a priori existence result in the case of Maslov index $0$ or $n.$ Throughout the paper, the cylindrical transform introduced in previous work of the authors plays a key role.

math.SG↗

arXiv2020

Geodesics of positive Lagrangians from special Lagrangians with boundary

Geodesics in the space of positive Lagrangian submanifolds are solutions of a fully non-linear degenerate elliptic PDE. We show that a geodesic segment in the space of positive Lagrangians corresponds to a one parameter family of special Lagrangian cylinders, called the cylindrical transform. The boundaries of the cylinders are contained in the positive Lagrangians at the ends of the geodesic. The special Lagrangian equation with positive Lagrangian boundary conditions is elliptic and the solution space is a smooth manifold, which is one dimensional in the case of cylinders. A geodesic can be recovered from its cylindrical transform by solving the Dirichlet problem for the Laplace operator on each cylinder. Using the cylindrical transform, we show the space of pairs of positive Lagrangian spheres connected by a geodesic is open. Thus, we obtain the first examples of strong solutions to the geodesic equation in arbitrary dimension not invariant under isometries. In fact, the solutions we obtain are smooth away from a finite set of points.

math.SG↗

arXiv2020

Involutions, obstructions and mirror symmetry

Consider a Maslov zero Lagrangian submanifold diffeomorphic to a Lie group on which an anti-symplectic involution acts by the inverse map of the group. We show that the Fukaya $A_\infty$ endomorphism algebra of such a Lagrangian is quasi-isomorphic to its de Rham cohomology tensored with the Novikov field. In particular, it is unobstructed, formal, and its Floer and de Rham cohomologies coincide. Our result implies that the smooth fibers of a large class of singular Lagrangian fibrations are unobstructed and their Floer and de Rham cohomologies coincide. This is a step in the SYZ and family Floer cohomology approaches to mirror symmetry. More generally, our result continues to hold if the Lagrangian has cohomology the free graded algebra on a graded vector space $V$ concentrated in odd degree, and the anti-symplectic involution acts on the cohomology of the Lagrangian by the induced map of negative the identity on $V.$ It suffices for the Maslov class to vanish modulo $4.$

math.SG↗

arXiv2019

Locality in the Fukaya category of a hyperkähler manifold

Let $(M,I,J,K,g)$ be a hyperkähler manifold. Then the complex manifold $(M,I)$ is holomorphic symplectic. We prove that for all real $x, y,$ with $x^2 + y^2 = 1$ except countably many, any finite energy $(xJ+yK)$-holomorphic curve with boundary in a collection of $I$-holomorphic Lagrangians must be constant. By an argument based on the Lojasiewicz inequality, this result holds no matter how the Lagrangians intersect each other. It follows that one can choose perturbations such that the holomorphic polygons of the associated Fukaya category lie in an arbitrarily small neighborhood of the Lagrangians. That is, the Fukaya category is local. We show that holomorphic Lagrangians are tautologically unobstructed in the sense of Fukaya-Oh-Ohta-Ono. Moreover, the Fukaya $A_\infty$ algebra of a holomorphic Lagrangian is formal. Our result also explains why the special Lagrangian condition holds without instanton corrections for holomorphic Lagrangians.

math.SG↗

arXiv2017

The degenerate special Lagrangian equation

This article introduces the degenerate special Lagrangian equation (DSL) and develops the basic analytic tools to construct and study its solutions. The DSL governs geodesics in the space of positive graph Lagrangians in $\mathbb{C}^n.$ Existence of geodesics in the space of positive Lagrangians is an important step in a program for proving existence and uniqueness of special Lagrangians. Moreover, it would imply certain cases of the strong Arnold conjecture from Hamiltonian dynamics. We show the DSL is degenerate elliptic. We introduce a space-time Lagrangian angle for one-parameter families of graph Lagrangians, and construct its regularized lift. The superlevel sets of the regularized lift define subequations for the DSL in the sense of Harvey--Lawson. We extend the existence theory of Harvey--Lawson for subequations to the setting of domains with corners, and thus obtain solutions to the Dirichlet problem for the DSL in all branches. Moreover, we introduce the calibration measure, which plays a rôle similar to that of the Monge--Ampère measure in convex and complex geometry. The existence of this measure and regularity estimates allow us to prove that the solutions we obtain in the outer branches of the DSL have a well-defined length in the space of positive Lagrangians.

math.AP↗