pith. sign in

arxiv: 2010.12293 · v4 · submitted 2020-10-23 · 🧮 math.SG · math.AP· math.DG

Special Lagrangian webbing

Pith reviewed 2026-05-24 14:18 UTC · model grok-4.3

classification 🧮 math.SG math.APmath.DG
keywords special Lagrangian cylinderspositive LagrangiansCalabi-Yau manifoldsMaslov indexLagrangian geodesicsC^{1,1} regularitycylindrical transform
0
0 comments X

The pith

Families of imaginary special Lagrangian cylinders exist near transverse Maslov index 0 or n intersection points of positive Lagrangians in Calabi-Yau manifolds.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs families of imaginary special Lagrangian cylinders near transverse intersection points of positive Lagrangian submanifolds that have Maslov index 0 or n. These cylinders produce geodesics connecting open positive Lagrangian submanifolds near the intersection points. The work also supplies a method to establish C^{1,1} regularity of such geodesics at non-smooth loci and shows that this regularity persists for spheres under small endpoint perturbations, yielding the first non-isometry-invariant examples in arbitrary dimension. The constructions serve as a step toward building geodesics of closed positive Lagrangian submanifolds without relying on perturbation.

Core claim

In a general Calabi-Yau manifold, families of imaginary special Lagrangian cylinders can be built near transverse Maslov index 0 or n intersection points of positive Lagrangian submanifolds. These cylinders imply the existence of geodesics of open positive Lagrangian submanifolds near the intersections. The cylindrical transform is the central tool used throughout. A separate method proves C^{1,1} regularity of positive Lagrangian geodesics at non-smooth points and shows that C^{1,1} geodesics of positive Lagrangian spheres continue to exist after small perturbations of the endpoints. The same approach gives the first examples of C^{1,1} positive Lagrangian geodesics in arbitrary dimension.

What carries the argument

The cylindrical transform, which converts the problem of finding special Lagrangian cylinders into a more tractable equation near the intersection points.

If this is right

  • Geodesics of open positive Lagrangian submanifolds exist near the relevant intersection points.
  • The cylinder construction provides a first step toward non-perturbative geodesics of closed positive Lagrangian submanifolds.
  • C^{1,1} geodesics of positive Lagrangian spheres persist under small perturbations of their endpoints.
  • C^{1,1} solutions to the positive Lagrangian geodesic equation exist in arbitrary dimension without isometry invariance.
  • Geodesics of positive Lagrangian linear subspaces exist in complex vector spaces when the Maslov index is 0 or n.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the cylinders can be extended globally or glued across multiple intersections, they may produce closed geodesics on compact positive Lagrangians.
  • The regularity method might extend to geodesics in other classes of Lagrangians or in non-Calabi-Yau symplectic manifolds.
  • The local existence result suggests that Maslov index 0 or n intersections behave like regular points for the geodesic flow on the space of positive Lagrangians.

Load-bearing premise

The cylindrical transform applies directly at the transverse intersection points without extra conditions beyond those stated for positive Lagrangians.

What would settle it

A concrete local model calculation in a Calabi-Yau manifold showing that no imaginary special Lagrangian cylinder exists near a chosen transverse Maslov index 0 intersection point of two positive Lagrangians.

Figures

Figures reproduced from arXiv: 2010.12293 by Amitai M. Yuval, Jake P. Solomon.

Figure 1
Figure 1. Figure 1: A family of imaginary special Lagrangian cylinders (Zs)s emanating from a Maslov zero intersection point of La￾grangian submanifolds Λ0,Λ1, as in Theorem 1.1. In [48, Theorem 1.6] it is shown that a cone-smooth geodesic (Λt)t∈[0,1] connect￾ing positive Lagrangian spheres Λ0,Λ1, that intersect transversally at two points persists under small perturbations of Λ0,Λ1. The following theorem shows that if the ge… view at source ↗
read the original 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 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript constructs 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, yielding geodesics of open positive Lagrangian submanifolds near such points. It introduces a method for proving C^{1,1} regularity of positive Lagrangian geodesics at non-smooth loci, shows that C^{1,1} geodesics of positive Lagrangian spheres persist under small endpoint perturbations (improving prior work), obtains the first examples of C^{1,1} solutions in arbitrary dimension that are not isometry-invariant, and proves an a priori existence result for geodesics of positive Lagrangian linear subspaces in complex vector spaces when the Maslov index is 0 or n. The cylindrical transform from the authors' previous work is used throughout.

Significance. If valid, the local cylinder constructions and resulting geodesics advance the study of the geometry of positive Lagrangian submanifolds, while the C^{1,1} regularity method and non-isometry-invariant examples in arbitrary dimensions are concrete contributions. The linear-space existence result and the step toward non-perturbative closed geodesics are also of interest.

major comments (1)
  1. [Abstract and sections on cylindrical transform application] Abstract (final sentence) and the sections applying the cylindrical transform: the central cylinder construction and geodesic conclusions depend on the cylindrical transform from the authors' prior work. The manuscript must explicitly verify that the transform's hypotheses (including any requirements on disjointness, regularity, or preservation of positivity/Maslov index) hold at the transverse Maslov index 0 or n intersection points; without this, the families and geodesics do not follow from the stated hypotheses.
minor comments (1)
  1. [Introduction] The term 'imaginary special Lagrangian' and the precise definition of 'positive Lagrangian submanifold' should be recalled or referenced at the first use in the introduction for readers unfamiliar with the prior work.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying this important point about the application of the cylindrical transform. We address the major comment below and will incorporate the requested verification in the revised version.

read point-by-point responses
  1. Referee: [Abstract and sections on cylindrical transform application] Abstract (final sentence) and the sections applying the cylindrical transform: the central cylinder construction and geodesic conclusions depend on the cylindrical transform from the authors' prior work. The manuscript must explicitly verify that the transform's hypotheses (including any requirements on disjointness, regularity, or preservation of positivity/Maslov index) hold at the transverse Maslov index 0 or n intersection points; without this, the families and geodesics do not follow from the stated hypotheses.

    Authors: We agree that the manuscript relies on the cylindrical transform from our prior work for the cylinder constructions and geodesic conclusions, and that explicit verification of the transform's hypotheses is required at the transverse Maslov index 0 or n intersection points. In the revised manuscript we will add a new subsection (immediately after the statement of the main local existence theorems) that checks each hypothesis in turn: (i) the relevant positive Lagrangian submanifolds are disjoint away from the intersection point, (ii) the regularity and positivity conditions are preserved under the local perturbation used to construct the cylinders, and (iii) the Maslov index remains 0 or n. This verification will be carried out using the transversality assumption and the local model near the intersection point already developed in Sections 3 and 4. The addition will make the dependence on the prior transform fully rigorous without altering the statements or proofs of the main results. revision: yes

Circularity Check

2 steps flagged

Cylindrical transform from authors' prior work is load-bearing for all main constructions

specific steps
  1. self citation load bearing [abstract (final sentence)]
    "Throughout the paper, the cylindrical transform introduced in previous work of the authors plays a key role."

    The construction of families of imaginary special Lagrangian cylinders near transverse Maslov index 0 or n intersection points, and the resulting geodesics of open positive Lagrangian submanifolds, are stated to depend on this transform. The transform is introduced in prior work by the same authors (Solomon-Yuval), with no indication that its applicability at the intersection points or preservation of positivity/Maslov conditions has been independently verified or machine-checked outside the self-citation chain.

  2. self citation load bearing [abstract (regularity paragraph)]
    "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."

    The C^{1,1} regularity result and first examples in arbitrary dimension are presented as an improvement on the authors' own prior result, with the method itself tied to the cylindrical transform from that prior work. The central claim of persistence under perturbation therefore reduces to self-citation without external falsifiability or independent confirmation stated.

full rationale

The abstract states that the cylindrical transform from previous work by the same authors plays a key role throughout the paper. The central results—construction of imaginary special Lagrangian cylinders near Maslov 0/n intersections, resulting geodesics, and the C^{1,1} regularity method—are presented as following from this transform. The paper also improves on a previous result of the authors. No independent verification, external benchmarks, or machine-checked properties of the transform at the relevant intersection points are indicated. This reduces the derivation chain to self-citation for the load-bearing step.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract provides no explicit free parameters, new axioms, or invented entities. The work assumes standard Calabi-Yau structure and transverse intersections with given Maslov index; the cylindrical transform is imported from prior author work rather than derived here.

axioms (2)
  • domain assumption Positive Lagrangian submanifolds exist and intersect transversely with Maslov index 0 or n in a general Calabi-Yau manifold
    Invoked as the setting for the cylinder construction (abstract, first sentence).
  • domain assumption The cylindrical transform from previous work applies at the intersection points
    Stated as playing a key role throughout (abstract, final sentence).

pith-pipeline@v0.9.0 · 5742 in / 1455 out tokens · 35192 ms · 2026-05-24T14:18:11.594082+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages · 1 internal anchor

  1. [1]

    Nearby Lagrangians with vanishing Maslov class are homotopy equivalent

    M. Abouzaid, Nearby Lagrangians with vanishing Maslov class are homotopy equivalent , Invent. Math. 189 (2012), no. 2, 251–313, doi:10.1007/s00222-011-0365-0

  2. [2]

    Simple homotopy equivalence of nearby Lagrangians

    M. Abouzaid and T. Kragh, Simple homotopy equivalence of nearby Lagrangians, Acta Math. 220 (2018), no. 2, 207–237, doi:10.4310/ACTA.2018.v220.n2.a1

  3. [3]

    Akveld and D

    M. Akveld and D. Salamon, Loops of Lagrangian submanifolds and pseudoholomorphic discs, Geom. Funct. Anal. 11 (2001), no. 4, 609–650, doi:10.1007/PL00001680

  4. [4]

    Bellettini and T

    C. Bellettini and T. Rivi` ere, The regularity of special Legendrian integral cycles , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 11 (2012), no. 1, 61–142

  5. [5]

    Bishop, Differentiable manifolds in complex Euclidean space , Duke Math

    E. Bishop, Differentiable manifolds in complex Euclidean space , Duke Math. J. 32 (1965), 1–21

  6. [6]

    Cervera, F

    V. Cervera, F. Mascar´ o, and P. W. Michor, The action of the diffeomorphism group on the space of immersions , Differential Geom. Appl. 1 (1991), no. 4, 391–401, doi:10.1016/ 0926-2245(91)90015-2

  7. [7]

    X. X. Chen, The space of K¨ ahler metrics, J. Differential Geom. 56 (2000), no. 2, 189–234

  8. [8]

    X. X. Chen and G. Tian, Geometry of K¨ ahler metrics and foliations by holomor- phic discs , Publ. Math. Inst. Hautes ´Etudes Sci. (2008), no. 107, 1–107, doi:10.1007/ s10240-008-0013-4

  9. [9]

    J. Chu, T. C. Collins, and M.-C. Lee, The space of almost calibrated(1, 1) forms on a compact K¨ ahler manifold, 2020, arXiv:2002.01922

  10. [10]

    J. Chu, V. Tosatti, and B. Weinkove,On the C1,1 regularity of geodesics in the space of K¨ ahler metrics, Ann. PDE 3 (2017), no. 2, Paper No. 15, 12, doi:10.1007/s40818-017-0034-8

  11. [11]

    T. C. Collins and S.-T. Yau, Moment maps, nonlinear PDE, and stability in mirror symme- try, 2018, arXiv:1811.04824

  12. [12]

    Darvas and L

    T. Darvas and L. Lempert, Weak geodesics in the space of K¨ ahler metrics, Math. Res. Lett. 19 (2012), no. 5, 1127–1135, doi:10.4310/MRL.2012.v19.n5.a13

  13. [13]

    Eliashberg, Filling by holomorphic discs and its applications, Geometry of low-dimensional manifolds, 2 (Durham, 1989), London Math

    Y. Eliashberg, Filling by holomorphic discs and its applications, Geometry of low-dimensional manifolds, 2 (Durham, 1989), London Math. Soc. Lecture Note Ser., vol. 151, Cambridge Univ. Press, Cambridge, 1990, pp. 45–67

  14. [14]

    Fukaya, P

    K. Fukaya, P. Seidel, and I. Smith,Exact Lagrangian submanifolds in simply-connected cotan- gent bundles , Invent. Math. 172 (2008), no. 1, 1–27, doi:10.1007/s00222-007-0092-8

  15. [15]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger, Elliptic partial differential equations of second order, Classics in Mathematics, Springer-Verlag, Berlin, 2001, Reprint of the 1998 edition. SPECIAL LAGRANGIAN WEBBING 41

  16. [16]

    Grauert, On Levi’s problem and the imbedding of real-analytic manifolds , Ann

    H. Grauert, On Levi’s problem and the imbedding of real-analytic manifolds , Ann. of Math. (2) 68 (1958), 460–472, doi:10.2307/1970257

  17. [17]

    Gromov, Pseudo holomorphic curves in symplectic manifolds , Invent

    M. Gromov, Pseudo holomorphic curves in symplectic manifolds , Invent. Math. 82 (1985), no. 2, 307–347, doi:10.1007/BF01388806

  18. [18]

    Guillemin and M

    V. Guillemin and M. Stenzel, Grauert tubes and the homogeneous Monge-Amp` ere equation, J. Differential Geom. 34 (1991), no. 2, 561–570

  19. [19]

    F. R. Harvey, Spinors and calibrations, Perspectives in Mathematics, vol. 9, Academic Press, Inc., Boston, MA, 1990

  20. [20]

    Harvey and H

    R. Harvey and H. B. Lawson, Jr., Calibrated geometries, Acta Math. 148 (1982), 47–157, doi:10.1007/BF02392726

  21. [21]

    Haskins, The geometric complexity of special Lagrangian T 2-cones, Invent

    M. Haskins, The geometric complexity of special Lagrangian T 2-cones, Invent. Math. 157 (2004), no. 1, 11–70, doi:10.1007/s00222-003-0348-x

  22. [22]

    Haskins, Special Lagrangian cones, Amer

    M. Haskins, Special Lagrangian cones, Amer. J. Math. 126 (2004), no. 4, 845–871

  23. [23]

    Haskins and N

    M. Haskins and N. Kapouleas, Special Lagrangian cones with higher genus links , Invent. Math. 167 (2007), no. 2, 223–294, doi:10.1007/s00222-006-0010-5

  24. [24]

    Haskins and N

    M. Haskins and N. Kapouleas, The geometry of SO(p) × SO(q)-invariant special Lagrangian cones, Comm. Anal. Geom. 21 (2013), no. 1, 171–250, doi:10.4310/CAG.2013.v21.n1.a4

  25. [25]

    Hind, Lagrangian unknottedness in Stein surfaces, Asian J

    R. Hind, Lagrangian unknottedness in Stein surfaces, Asian J. Math. 16 (2012), no. 1, 1–36, doi:10.4310/AJM.2012.v16.n1.a1

  26. [26]

    Hofer, Pseudoholomorphic curves in symplectizations with applications to the Weinstein conjecture in dimension three , Invent

    H. Hofer, Pseudoholomorphic curves in symplectizations with applications to the Weinstein conjecture in dimension three , Invent. Math. 114 (1993), no. 3, 515–563, doi:10.1007/ BF01232679

  27. [27]

    Joyce, Constructing special Lagrangian m-folds in Cm by evolving quadrics , Math

    D. Joyce, Constructing special Lagrangian m-folds in Cm by evolving quadrics , Math. Ann. 320 (2001), no. 4, 757–797, doi:10.1007/PL00004494

  28. [28]

    Joyce, Ruled special Lagrangian 3-folds in C3, Proc

    D. Joyce, Ruled special Lagrangian 3-folds in C3, Proc. London Math. Soc. (3) 85 (2002), no. 1, 233–256, doi:10.1112/S0024611502013485

  29. [29]

    Joyce, Special Lagrangian submanifolds with isolated conical singularities

    D. Joyce, Special Lagrangian submanifolds with isolated conical singularities. V. Survey and applications, J. Differential Geom. 63 (2003), no. 2, 279–347

  30. [30]

    Joyce, Special Lagrangian submanifolds with isolated conical singularities

    D. Joyce, Special Lagrangian submanifolds with isolated conical singularities. III. Desin- gularization, the unobstructed case , Ann. Global Anal. Geom. 26 (2004), no. 1, 1–58, doi:10.1023/B:AGAG.0000023231.31950.cc

  31. [31]

    Joyce, Special Lagrangian submanifolds with isolated conical singularities

    D. Joyce, Special Lagrangian submanifolds with isolated conical singularities. IV. Desingu- larization, obstructions and families , Ann. Global Anal. Geom. 26 (2004), no. 2, 117–174, doi:10.1023/B:AGAG.0000031067.19776.15

  32. [32]

    Joyce, U(1) -invariant special Lagrangian 3-folds

    D. Joyce, U(1) -invariant special Lagrangian 3-folds. III. Properties of singular solutions , Adv. Math. 192 (2005), no. 1, 135–182, doi:10.1016/j.aim.2004.03.016

  33. [33]

    Joyce, Special Lagrangian 3-folds and integrable systems , Surveys on geometry and inte- grable systems, Adv

    D. Joyce, Special Lagrangian 3-folds and integrable systems , Surveys on geometry and inte- grable systems, Adv. Stud. Pure Math., vol. 51, Math. Soc. Japan, Tokyo, 2008, pp. 189–233, doi:10.2969/aspm/05110189

  34. [34]

    Kontsevich, Homological algebra of mirror symmetry , Proceedings of the International Congress of Mathematicians, Vol

    M. Kontsevich, Homological algebra of mirror symmetry , Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Z¨ urich, 1994), Birkh¨ auser, Basel, 1995, pp. 120–139

  35. [35]

    Kragh, Parametrized ring-spectra and the nearby Lagrangian conjecture, Geom

    T. Kragh, Parametrized ring-spectra and the nearby Lagrangian conjecture, Geom. Topol. 17 (2013), no. 2, 639–731, With an appendix by Mohammed Abouzaid, doi:10.2140/gt.2013. 17.639

  36. [36]

    Lawlor, The angle criterion , Invent

    G. Lawlor, The angle criterion , Invent. Math. 95 (1989), no. 2, 437–446, doi:10.1007/ BF01393905

  37. [37]

    Lempert and R

    L. Lempert and R. Sz˝ oke,Global solutions of the homogeneous complex Monge-Amp` ere equa- tion and complex structures on the tangent bundle of Riemannian manifolds , Math. Ann. 290 (1991), no. 4, 689–712, doi:10.1007/BF01459268

  38. [38]

    R. C. McLean, Deformations of calibrated submanifolds, Comm. Anal. Geom. 6 (1998), no. 4, 705–747, doi:10.4310/CAG.1998.v6.n4.a4

  39. [39]

    Milnor, Morse theory , Based on lecture notes by M

    J. Milnor, Morse theory , Based on lecture notes by M. Spivak and R. Wells. Annals of Mathematics Studies, No. 51, Princeton University Press, Princeton, N.J., 1963

  40. [40]

    Nadler, Microlocal branes are constructible sheaves, Selecta Math

    D. Nadler, Microlocal branes are constructible sheaves, Selecta Math. (N.S.) 15 (2009), no. 4, 563–619, doi:10.1007/s00029-009-0008-0

  41. [41]

    Nadler and E

    D. Nadler and E. Zaslow, Constructible sheaves and the Fukaya category , J. Amer. Math. Soc. 22 (2009), no. 1, 233–286, doi:10.1090/S0894-0347-08-00612-7

  42. [42]

    Y. A. Rubinstein and J. P. Solomon, The degenerate special Lagrangian equation, Adv. Math. 310 (2017), 889–939

  43. [43]

    Seidel, Graded Lagrangian submanifolds, Bull

    P. Seidel, Graded Lagrangian submanifolds, Bull. Soc. Math. France 128 (2000), no. 1, 103– 149

  44. [44]

    J. P. Solomon, The Calabi homomorphism, Lagrangian paths and special Lagrangians, Math. Ann. 357 (2013), no. 4, 1389–1424, doi:10.1007/s00208-013-0946-x . 42 J. SOLOMON AND A. YUVAL

  45. [45]

    J. P. Solomon, Curvature of the space of positive Lagrangians, Geom. Funct. Anal. 24 (2014), no. 2, 670–689, doi:10.1007/s00039-014-0267-6

  46. [46]

    J. P. Solomon and M. Verbitsky, Locality in the Fukaya category of a hyperk¨ ahler manifold, Compos. Math. 155 (2019), no. 10, 1924–1958, doi:10.1112/s0010437x1900753x

  47. [47]

    J. P. Solomon and A. M. Yuval,Geodesics of positive Lagrangians in Milnor fibers, Int. Math. Res. Not. IMRN (2017), no. 3, 830–868, doi:10.1093/imrn/rnw052

  48. [48]

    J. P. Solomon and A. M. Yuval, Geodesics of positive Lagrangians from special Lagrangians with boundary, 2020, arXiv:2006.06058

  49. [49]

    R. P. Thomas and S.-T. Yau, Special Lagrangians, stable bundles and mean curvature flow , Comm. Anal. Geom. 10 (2002), no. 5, 1075–1113. Institute of Mathematics, Hebrew University, Givat Ram, Jerusalem, 91904, Israel Email address: jake@math.huji.ac.il Institute of Mathematics, Hebrew University, Givat Ram, Jerusalem, 91904, Israel Email address: amitai.y...