Special Lagrangian webbing
Pith reviewed 2026-05-24 14:18 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [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)
- [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
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
-
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
Cylindrical transform from authors' prior work is load-bearing for all main constructions
specific steps
-
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.
-
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
axioms (2)
- domain assumption Positive Lagrangian submanifolds exist and intersect transversely with Maslov index 0 or n in a general Calabi-Yau manifold
- domain assumption The cylindrical transform from previous work applies at the intersection points
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean; IndisputableMonolith/Cost/FunctionalEquation.leanreality_from_one_distinction; washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Throughout the paper, the cylindrical transform introduced in previous work of the authors plays a key role... families of imaginary special Lagrangian cylinders near transverse Maslov index 0 or n intersection points
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.5... geodesic in LG+(n) between Λ0 and Λ1 with negative semi-definite derivative... m(Λ0,Λ1)=0 or n
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
-
[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]
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]
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]
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
work page 2012
-
[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
work page 1965
-
[6]
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
work page 1991
-
[7]
X. X. Chen, The space of K¨ ahler metrics, J. Differential Geom. 56 (2000), no. 2, 189–234
work page 2000
-
[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
work page 2008
- [9]
-
[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]
T. C. Collins and S.-T. Yau, Moment maps, nonlinear PDE, and stability in mirror symme- try, 2018, arXiv:1811.04824
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[12]
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]
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
work page 1989
-
[14]
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]
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
work page 2001
-
[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]
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]
V. Guillemin and M. Stenzel, Grauert tubes and the homogeneous Monge-Amp` ere equation, J. Differential Geom. 34 (1991), no. 2, 561–570
work page 1991
-
[19]
F. R. Harvey, Spinors and calibrations, Perspectives in Mathematics, vol. 9, Academic Press, Inc., Boston, MA, 1990
work page 1990
-
[20]
R. Harvey and H. B. Lawson, Jr., Calibrated geometries, Acta Math. 148 (1982), 47–157, doi:10.1007/BF02392726
-
[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]
Haskins, Special Lagrangian cones, Amer
M. Haskins, Special Lagrangian cones, Amer. J. Math. 126 (2004), no. 4, 845–871
work page 2004
-
[23]
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]
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]
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]
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
work page 1993
-
[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]
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]
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
work page 2003
-
[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]
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]
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]
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]
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
work page 1994
-
[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]
Lawlor, The angle criterion , Invent
G. Lawlor, The angle criterion , Invent. Math. 95 (1989), no. 2, 437–446, doi:10.1007/ BF01393905
work page 1989
-
[37]
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]
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]
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
work page 1963
-
[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]
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]
Y. A. Rubinstein and J. P. Solomon, The degenerate special Lagrangian equation, Adv. Math. 310 (2017), 889–939
work page 2017
-
[43]
Seidel, Graded Lagrangian submanifolds, Bull
P. Seidel, Graded Lagrangian submanifolds, Bull. Soc. Math. France 128 (2000), no. 1, 103– 149
work page 2000
-
[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]
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]
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]
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]
-
[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...
work page 2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.