Showing 1–28 of 28 results for author: Solomon, J P

Numerical invariants of normed matrix factorizations

Authors: May Sela, Jake P. Solomon

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 rat… ▽ More 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. △ Less

Submitted 5 December, 2024; originally announced December 2024.

Comments: 82 pages, 1 figure

MSC Class: 53D37; 14J33

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

Authors: Jesse Leo Kass, Marc Levine, Jake P. Solomon, Kirsten Wickelgren

Abstract: 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 construct… ▽ More 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. △ Less

Submitted 4 July, 2023; originally announced July 2023.

Comments: 80 pages

MSC Class: Primary 14H10; Secondary 14N35; 14F42; 53D45

A quadratically enriched count of rational curves

Authors: Jesse Leo Kass, Marc Levine, Jake P. Solomon, Kirsten Wickelgren

Abstract: 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 fie… ▽ More 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 morphism from the sheaf of connected components of tuples of points on $S$ with given fields of definition to the Grothendieck-Witt sheaf. 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. △ Less

Submitted 4 July, 2023; originally announced July 2023.

Comments: 47 pages

MSC Class: Primary 14N35; 14F42; Secondary 53D45; 19G38

Relative quantum cohomology of the Chiang Lagrangian

Authors: Anna Hollands, Elad Kosloff, May Sela, Qianyi Shu, Jake P. Solomon

Abstract: 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 corre… ▽ More 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.$ △ Less

Submitted 18 February, 2025; v1 submitted 4 May, 2023; originally announced May 2023.

Comments: 62 pages, 5 figures; added Corollaries 4.11 and 4.12 and Remark 4.13, fixed sign errors in Lemma 5.28 and Theorem 11 along with consequences, added details, fixed minor errors, updated references

MSC Class: 53D45; 53D37 (Primary) 14N35; 53D12; 58J32 (Secondary)

Journal ref: Forum of Mathematics, Sigma 13 (2025) e56

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

Authors: Or Kedar, Jake P. Solomon

Abstract: 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… ▽ More 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. △ Less

Submitted 10 November, 2022; originally announced November 2022.

Comments: 58 pages, includes summary of relevant background from arXiv:2211.05117

MSC Class: 53D37; 53D40 (Primary) 55N25; 53D12; 58J32 (Secondary)

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

Authors: Or Kedar, Jake P. Solomon

Abstract: 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… ▽ More 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.$ △ Less

Submitted 9 November, 2022; originally announced November 2022.

Comments: 86 pages

MSC Class: 53D37; 53D40 (Primary) 55N25; 53D12; 58J32 (Secondary)

Differential forms on orbifolds with corners

Authors: Jake P. Solomon, Sara B. Tukachinsky

Abstract: 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… ▽ More 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. △ Less

Submitted 19 March, 2023; v1 submitted 19 November, 2020; originally announced November 2020.

Comments: 47 pages, corrected the definition of a clean set

MSC Class: 20L05; 58A10 (Primary) 18E35; 58A25 (Secondary)

Special Lagrangian webbing

Authors: Jake P. Solomon, Amitai M. Yuval

Abstract: 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 posit… ▽ More 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. △ Less

Submitted 22 February, 2021; v1 submitted 23 October, 2020; originally announced October 2020.

Comments: 42 pages, 1 figure, includes summary of relevant background from arXiv:2006.06058, added references

MSC Class: 53D12; 35J66 (Primary) 53C38; 35J70; 58B20 (Secondary)

Geodesics of positive Lagrangians from special Lagrangians with boundary

Authors: Jake P. Solomon, Amitai M. Yuval

Abstract: 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… ▽ More 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. △ Less

Submitted 27 October, 2020; v1 submitted 10 June, 2020; originally announced June 2020.

Comments: 55 pages, 1 figure; added details, corrected minor errors

MSC Class: 53D12; 35J66 (Primary) 53C38; 35J70; 58B20 (Secondary)

Relative quantum cohomology

Authors: Jake P. Solomon, Sara B. Tukachinsky

Abstract: 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… ▽ More 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. △ Less

Submitted 18 June, 2023; v1 submitted 11 June, 2019; originally announced June 2019.

Comments: 70 pages, 9 figures; corrected minor errors, updated bibliography

MSC Class: 53D45; 53D37 (Primary); 14N35; 14N10; 53D12 (Secondary)

Involutions, obstructions and mirror symmetry

Authors: Jake P. Solomon

Abstract: 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.… ▽ More 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.$ △ Less

Submitted 8 March, 2020; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: 41 pages. Underlying results on involutions now include Lagrangians with non-vanishing Maslov index mod 4. See Corollary 5.7. Added Section 2.8 as well as Appendices B and C. Added details. Corrected minor errors

MSC Class: 53D37; 53D40 (Primary) 14J33; 53D12; 58J32 (Secondary)

Journal ref: Adv. Math. 367 (2020), 107107

Locality in the Fukaya category of a hyperkähler manifold

Authors: Jake P. Solomon, Misha Verbitsky

Abstract: 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 La… ▽ More 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. △ Less

Submitted 28 July, 2019; v1 submitted 30 April, 2018; originally announced May 2018.

Comments: 43 pages, 2 figures; incorporated referee suggestions and other minor modifications, differs stylistically from published version

MSC Class: 53C26; 53D37 (Primary); 53C38; 53D12; 32B20 (Secondary)

Journal ref: Compos. Math. 155 (2019), no. 10, 1924-1958

Point-like bounding chains in open Gromov-Witten theory

Authors: Jake P. Solomon, Sara B. Tukachinsky

Abstract: 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 prese… ▽ More 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. △ Less

Submitted 12 September, 2021; v1 submitted 8 August, 2016; originally announced August 2016.

Comments: 66 pages, 2 figures; includes summary of results needed from arXiv:1608.01304; added explanations, details, and references; minor corrections

MSC Class: 53D45; 53D37 (Primary) 14N35; 14N10; 53D12 (Secondary)

Journal ref: Geom. Funct. Anal. 31 (2021), 1245-1320

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

Authors: Jake P. Solomon, Sara B. Tukachinsky

Abstract: 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 t… ▽ More 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. △ Less

Submitted 26 March, 2023; v1 submitted 3 August, 2016; originally announced August 2016.

Comments: 51 pages, 6 figures; corrected minor errors, updated references

MSC Class: 53D37; 53D45 (Primary) 58A10; 53D12; 32Q65 (Secondary)

Journal ref: J. Symplectic Geom. 20 (2022), no. 4, 927-994

The degenerate special Lagrangian equation

Authors: Yanir A. Rubinstein, Jake P. Solomon

Abstract: 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… ▽ More 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. △ Less

Submitted 2 February, 2017; v1 submitted 26 June, 2015; originally announced June 2015.

Comments: 42 pages; implemented referee suggestions, added appendix B on geometric formulation of DSL, modified Theorems 1.2 and 8.1 to reflect correction in Lemma 8.4

MSC Class: 53D12; 35J70 (Primary); 53C38; 35D40; 35J66 (Secondary)

Journal ref: Adv. Math. 310 (2017), 889-939

Geodesics of positive Lagrangians in Milnor fibers

Authors: Jake P. Solomon, Amitai M. Yuval

Abstract: The space of positive Lagrangians in an almost Calabi-Yau manifold is an open set in the space of all Lagrangian submanifolds. A Hamiltonian isotopy class of positive Lagrangians admits a natural Riemannian metric $Υ$, which gives rise to a notion of geodesics. We study geodesics of positive $O_n(\mathbb{R})$ invariant Lagrangian spheres in $n$-dimensional $A_m$ Milnor fibers. We show the existenc… ▽ More The space of positive Lagrangians in an almost Calabi-Yau manifold is an open set in the space of all Lagrangian submanifolds. A Hamiltonian isotopy class of positive Lagrangians admits a natural Riemannian metric $Υ$, which gives rise to a notion of geodesics. We study geodesics of positive $O_n(\mathbb{R})$ invariant Lagrangian spheres in $n$-dimensional $A_m$ Milnor fibers. We show the existence and uniqueness of smooth solutions to the initial value problem and the boundary value problem. In particular, we obtain examples of smooth geodesics of positive Lagrangians in arbitrary dimension. As an application, we show that the Riemannian metric $Υ$ induces a metric space structure on the space of positive $O_n(\mathbb{R})$ invariant Lagrangian spheres in the above mentioned Milnor fibers. △ Less

Submitted 25 May, 2016; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: 38 pages; added references and background, improved exposition, fixed minor errors

MSC Class: 53D12; 53C22 (primary); 58B20; 58J70; 53D38 (secondary)

Journal ref: Int. Math. Res. Notices 2017 (2016), no. 3, 830-868

Intersection theory on moduli of disks, open KdV and Virasoro

Authors: Rahul Pandharipande, Jake P. Solomon, Ran J. Tessler

Abstract: We define a theory of descendent integration on the moduli spaces of stable pointed disks. The descendent integrals are proved to be coefficients of the $τ$-function of an open KdV heirarchy. A relation between the integrals and a representation of half the Virasoro algebra is also proved. The construction of the theory requires an in depth study of homotopy classes of multivalued boundary conditi… ▽ More We define a theory of descendent integration on the moduli spaces of stable pointed disks. The descendent integrals are proved to be coefficients of the $τ$-function of an open KdV heirarchy. A relation between the integrals and a representation of half the Virasoro algebra is also proved. The construction of the theory requires an in depth study of homotopy classes of multivalued boundary conditions. Geometric recursions based on the combined structure of the boundary conditions and the moduli space are used to compute the integrals. We also provide a detailed analysis of orientations. Our open KdV and Virasoro constraints uniquely specify a theory of higher genus open descendent integrals. As a result, we obtain an open analog (governing all genera) of Witten's conjectures concerning descendent integrals on the Deligne-Mumford space of stable curves. △ Less

Submitted 3 March, 2022; v1 submitted 7 September, 2014; originally announced September 2014.

Comments: 98 pages, 5 figures; v3: minor corrections, expanded introduction, added details, updated references

MSC Class: 32G15; 14H15 (Primary); 37K20; 14N35; 53D45 (Secondary)

Journal ref: Geom. Topol. 28 (2024) 2483-2567

J-holomorphic curves with boundary in bounded geometry

Authors: Yoel Groman, Jake P. Solomon

Abstract: The fundamental properties of $J$-holomorphic maps depend on two inequalities: The gradient inequality gives a pointwise bound on the differential of a $J$-holomorphic map in terms of its energy. The cylinder inequality stipulates and quantifies the exponential decay of energy along cylinders of small total energy. We show these inequalities hold uniformly if the geometry of the target symplectic… ▽ More The fundamental properties of $J$-holomorphic maps depend on two inequalities: The gradient inequality gives a pointwise bound on the differential of a $J$-holomorphic map in terms of its energy. The cylinder inequality stipulates and quantifies the exponential decay of energy along cylinders of small total energy. We show these inequalities hold uniformly if the geometry of the target symplectic manifold and Lagrangian boundary condition is appropriately bounded. △ Less

Submitted 2 October, 2014; v1 submitted 29 November, 2013; originally announced November 2013.

Comments: 38 pages; main theorem now requires compatibility of $J$ along $L$ and bounds on third derivatives of $J$; added Section 3.3.2; corrected minor errors

MSC Class: 32Q65 (Primary) 53D12; 53C40 (Secondary)

Journal ref: J. Symplect. Geom. 14, no. 3, 767-809 (2016)

Metric Description of Defects in Amorphous Materials

Authors: Raz Kupferman, Michael Moshe, Jake P. Solomon

Abstract: Classical elasticity is concerned with bodies that can be modeled as smooth manifolds endowed with a reference metric that represents local equilibrium distances between neighboring material elements. The elastic energy associated with a configuration of a body in classical elasticity is the sum of local contributions that arise from a discrepancy between the actual metric and the reference metric… ▽ More Classical elasticity is concerned with bodies that can be modeled as smooth manifolds endowed with a reference metric that represents local equilibrium distances between neighboring material elements. The elastic energy associated with a configuration of a body in classical elasticity is the sum of local contributions that arise from a discrepancy between the actual metric and the reference metric. In contrast, the modeling of defects in solids has traditionally involved extra structure on the material manifold, notably torsion to quantify the density of dislocations and non-metricity to represent the density of point defects. We show that all the classical defects can be described within the framework of classical elasticity using tensor fields that only assume a metric structure. Specifically, bodies with singular defects can be viewed as affine manifolds; both disclinations and dislocations are captured by the monodromy that maps curves that surround the loci of the defects into affine transformations. Finally, we show that two dimensional defects with trivial monodromy are purely local in the sense that if we remove from the manifold a compact set that contains the locus of the defect, the punctured manifold can be isometrically embedded in Euclidean space. △ Less

Submitted 3 October, 2013; v1 submitted 7 June, 2013; originally announced June 2013.

Comments: 48 pages, 13 figures, revised introduction, added details, fixed minor errors

MSC Class: 53A15; 53Z05; 58K10

Journal ref: Arch. Ration. Mech. Anal. 216 (2015), no. 3, 1009-1047

Curvature of the space of positive Lagrangians

Authors: Jake P. Solomon

Abstract: A Lagrangian submanifold in an almost Calabi-Yau manifold is called positive if the real part of the holomorphic volume form restricted to it is positive. An exact isotopy class of positive Lagrangian submanifolds admits a natural Riemannian metric. We compute the Riemann curvature of this metric and show all sectional curvatures are non-positive. The motivation for our calculation comes from mirr… ▽ More A Lagrangian submanifold in an almost Calabi-Yau manifold is called positive if the real part of the holomorphic volume form restricted to it is positive. An exact isotopy class of positive Lagrangian submanifolds admits a natural Riemannian metric. We compute the Riemann curvature of this metric and show all sectional curvatures are non-positive. The motivation for our calculation comes from mirror symmetry. Roughly speaking, an exact isotopy class of positive Lagrangians corresponds under mirror symmetry to the space of Hermitian metrics on a holomorphic vector bundle. The latter space is an infinite-dimensional analog of the non-compact symmetric space dual to the unitary group, and thus has non-positive curvature. △ Less

Submitted 4 October, 2013; v1 submitted 28 January, 2013; originally announced January 2013.

Comments: 21 pages, added reference, corrected minor errors

MSC Class: 53D12 (Primary) 53C55; 53D37; 58B20 (Secondary)

Journal ref: Geom. Funct. Anal. 24 (2014), no. 2, 670-689

The open Gromov-Witten-Welschinger theory of blowups of the projective plane

Authors: Asaf Horev, Jake P. Solomon

Abstract: We compute the Welschinger invariants of blowups of the projective plane at an arbitrary conjugation invariant configuration of points. Specifically, open analogues of the WDVV equation and Kontsevich-Manin axioms lead to a recursive algorithm that reconstructs all the invariants from a small set of known invariants. Example computations are given, including the non-del Pezzo case. We compute the Welschinger invariants of blowups of the projective plane at an arbitrary conjugation invariant configuration of points. Specifically, open analogues of the WDVV equation and Kontsevich-Manin axioms lead to a recursive algorithm that reconstructs all the invariants from a small set of known invariants. Example computations are given, including the non-del Pezzo case. △ Less

Submitted 15 October, 2012; originally announced October 2012.

Comments: 34 pages

MSC Class: 53D45 (Primary) 14N35; 14P99; 14J26 (Secondary)

A reverse isoperimetric inequality for J-holomorphic curves

Authors: Yoel Groman, Jake P. Solomon

Abstract: We prove that the length of the boundary of a $J$-holomorphic curve with Lagrangian boundary conditions is dominated by a constant times its area. The constant depends on the symplectic form, the almost complex structure, the Lagrangian boundary conditions and the genus. A similar result holds for the length of the real part of a real $J$-holomorphic curve. The infimum over $J$ of the constant pro… ▽ More We prove that the length of the boundary of a $J$-holomorphic curve with Lagrangian boundary conditions is dominated by a constant times its area. The constant depends on the symplectic form, the almost complex structure, the Lagrangian boundary conditions and the genus. A similar result holds for the length of the real part of a real $J$-holomorphic curve. The infimum over $J$ of the constant properly normalized gives an invariant of Lagrangian submanifolds. We calculate this invariant to be $2π$ for the Lagrangian submanifold $\mathbb R P^n \subset \mathbb C P^n.$ We apply our result to prove compactness of moduli of $J$-holomorphic maps to non-compact target spaces that are asymptotically exact. In a different direction, our result implies the adic convergence of the superpotential. △ Less

Submitted 12 June, 2014; v1 submitted 15 October, 2012; originally announced October 2012.

Comments: 70 pages, 8 figures, corrected minor errors, added application to adic convergence, updated references

MSC Class: 32Q65 (Primary) 53D12; 14P99; 53D45 (Secondary)

Journal ref: Geom. Funct. Anal. 24 (2014), no. 5, 1448-1515

The Calabi homomorphism, Lagrangian paths and special Lagrangians

Authors: Jake P. Solomon

Abstract: Let $\OO$ be an orbit of the group of Hamiltonian symplectomorphisms acting on the space of Lagrangian submanifolds of a symplectic manifold $(X,ω).$ We define a functional $\CC:\OO \to \R$ for each differential form $β$ of middle degree satisfying $β\wedge ω= 0$ and an exactness condition. If the exactness condition does not hold, $\CC$ is defined on the universal cover of $\OO.$ A particular ins… ▽ More Let $\OO$ be an orbit of the group of Hamiltonian symplectomorphisms acting on the space of Lagrangian submanifolds of a symplectic manifold $(X,ω).$ We define a functional $\CC:\OO \to \R$ for each differential form $β$ of middle degree satisfying $β\wedge ω= 0$ and an exactness condition. If the exactness condition does not hold, $\CC$ is defined on the universal cover of $\OO.$ A particular instance of $\CC$ recovers the Calabi homomorphism. If $β$ is the imaginary part of a holomorphic volume form, the critical points of $\CC$ are special Lagrangian submanifolds. We present evidence that $\CC$ is related by mirror symmetry to a functional introduced by Donaldson to study Einstein-Hermitian metrics on holomorphic vector bundles. In particular, we show that $\CC$ is convex on an open subspace $\OO^+ \subset \OO.$ As a prerequisite, we define a Riemannian metric on $\OO^+$ and analyze its geodesics. Finally, we discuss a generalization of the flux homomorphism to the space of Lagrangian submanifolds, and a Lagrangian analog of the flux conjecture. △ Less

Submitted 19 April, 2013; v1 submitted 21 September, 2012; originally announced September 2012.

Comments: 36 pages, fixed minor errors, expanded introduction, added references

MSC Class: 53D12 (Primary) 53D37; 58E11; 58E10 (Secondary)

Journal ref: Math. Ann. 357 (2013), no. 4, 1389-1424

A Γ-structure on Lagrangian Grassmannians

Authors: Peter Albers, Urs Frauenfelder, Jake P. Solomon

Abstract: For n odd the Lagrangian Grassmannian of \R^{2n} is a Γ-manifold. For n odd the Lagrangian Grassmannian of \R^{2n} is a Γ-manifold. △ Less

Submitted 14 February, 2013; v1 submitted 20 September, 2012; originally announced September 2012.

Comments: 6 pages; v2: new coauthor, nicer proof

Journal ref: Commentarii Mathematici Helvetici, (2014), 929 - 936

A Riemannian Approach to Reduced Plate, Shell, and Rod Theories

Authors: Raz Kupferman, Jake P. Solomon

Abstract: We derive a dimensionally-reduced limit theory for an $n$-dimensional nonlinear elastic body that is slender along $k$ dimensions. The starting point is to view an elastic body as an $n$-dimensional Riemannian manifold together with a not necessarily isometric $W^{1,2}$-immersion in $n$-dimensional Euclidean space. The equilibrium configuration is the immersion that minimizes the average discrepan… ▽ More We derive a dimensionally-reduced limit theory for an $n$-dimensional nonlinear elastic body that is slender along $k$ dimensions. The starting point is to view an elastic body as an $n$-dimensional Riemannian manifold together with a not necessarily isometric $W^{1,2}$-immersion in $n$-dimensional Euclidean space. The equilibrium configuration is the immersion that minimizes the average discrepancy between the induced and intrinsic metrics. The dimensionally reduced limit theory views the elastic body as a $k$-dimensional Riemannian manifold along with an isometric $W^{2,2}$-immersion in $n$-dimensional Euclidean space and linear data in the normal directions. The equilibrium configuration minimizes a functional depending on the average covariant derivatives of the linear data. The dimensionally-reduced limit is obtained using a $Γ$-convergence approach. The limit includes as particular cases plate, shell, and rod theories. It applies equally to "standard" elasticity and to "incompatible" elasticity, thus including as particular cases so-called non-Euclidean plate, shell, and rod theories. △ Less

Submitted 19 April, 2013; v1 submitted 17 January, 2012; originally announced January 2012.

Comments: 61 pages, added references, fixed typos

MSC Class: 74B20; 53C42 (Primary) 74K10; 74K20; 74K25 (Secondary)

Journal ref: J. Funct. Anal. 266 (2014), no. 5, 2989-3039

Symplectic cohomology and q-intersection numbers

Authors: Paul Seidel, Jake P. Solomon

Abstract: Given a symplectic cohomology class of degree 1, we define the notion of an equivariant Lagrangian submanifold. The Floer cohomology of equivariant Lagrangian submanifolds has a natural endomorphism, which induces a grading by generalized eigenspaces. Taking Euler characteristics with respect to the induced grading yields a deformation of the intersection number. Dehn twists act naturally on equiv… ▽ More Given a symplectic cohomology class of degree 1, we define the notion of an equivariant Lagrangian submanifold. The Floer cohomology of equivariant Lagrangian submanifolds has a natural endomorphism, which induces a grading by generalized eigenspaces. Taking Euler characteristics with respect to the induced grading yields a deformation of the intersection number. Dehn twists act naturally on equivariant Lagrangians. Cotangent bundles and Lefschetz fibrations give fully computable examples. A key step in computations is to impose the "dilation" condition stipulating that the BV operator applied to the symplectic cohomology class gives the identity. Equivariant Lagrangians mirror equivariant objects of the derived category of coherent sheaves. △ Less

Submitted 21 March, 2012; v1 submitted 27 May, 2010; originally announced May 2010.

Comments: 32 pages, 9 figures, expanded introduction, added details of example 7.5, added discussion of signs

MSC Class: 53D40; 14D05; 53D37

Journal ref: Geom. Funct. Anal. 22 (2012), no. 2, 443-477

Symmetries of Lagrangian fibrations

Authors: Ricardo Castaño-Bernard, Diego Matessi, Jake P. Solomon

Abstract: We construct fiber-preserving anti-symplectic involutions for a large class of symplectic manifolds with Lagrangian torus fibrations. In particular, we treat the K3 surface and the quintic threefold. We interpret our results as corroboration of the view that in homological mirror symmetry, an anti-symplectic involution is the mirror of duality. In the same setting, we construct fiber-preserving… ▽ More We construct fiber-preserving anti-symplectic involutions for a large class of symplectic manifolds with Lagrangian torus fibrations. In particular, we treat the K3 surface and the quintic threefold. We interpret our results as corroboration of the view that in homological mirror symmetry, an anti-symplectic involution is the mirror of duality. In the same setting, we construct fiber-preserving symplectomorphisms that can be interpreted as the mirror to twisting by a holomorphic line bundle. △ Less

Submitted 7 August, 2009; originally announced August 2009.

Comments: 45 pages

MSC Class: 53D12; 53D40; 14F05

Journal ref: Adv. Math. 225 (2010), no. 3, 1341-1386

Intersection theory on the moduli space of holomorphic curves with Lagrangian boundary conditions

Authors: Jake P. Solomon

Abstract: We define a new family of open Gromov-Witten type invariants based on intersection theory on the moduli space of pseudoholomorphic curves of arbitrary genus with boundary in a Lagrangian submanifold. We assume the Lagrangian submanifold arises as the fixed points of an anti-symplectic involution and has dimension 2 or 3. In the strongly semi-positive genus 0 case, the new invariants coincide wit… ▽ More We define a new family of open Gromov-Witten type invariants based on intersection theory on the moduli space of pseudoholomorphic curves of arbitrary genus with boundary in a Lagrangian submanifold. We assume the Lagrangian submanifold arises as the fixed points of an anti-symplectic involution and has dimension 2 or 3. In the strongly semi-positive genus 0 case, the new invariants coincide with Welschinger's invariant counts of real pseudoholomorphic curves. Furthermore, we calculate the new invariant for the real quintic threefold in genus 0 and degree 1 to be 30. △ Less

Submitted 18 June, 2006; originally announced June 2006.

Comments: 79 pages

MSC Class: 53D45; 14N35; 58Z05