pith. sign in

arxiv: 2604.21521 · v1 · submitted 2026-04-23 · 🧮 math.DG · math-ph· math.AG· math.MP

Embedded special Legendrian surfaces in mathbb S⁵

Sebastian Heller , Franz Pedit , Charles Ouyang This is my paper

Pith reviewed 2026-05-08 13:48 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.AGmath.MP
keywords special Legendrian surfacesembedded surfaces in S^5Fermat curvesSL(3,C) character varietymeromorphic connectionsconformal structuresimplicit function theorem
0
0 comments X

The pith

For every sufficiently large integer k there exist embedded special Legendrian surfaces in S^5 whose conformal structure is the Fermat curve of degree k.

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

The paper constructs the first compact embedded special Legendrian surfaces in the five-sphere that have genus greater than one. For every large enough integer k it produces such a surface whose underlying conformal structure is the Fermat curve of degree k, which has genus one-half times (k minus one) times (k minus two). The proof combines an elementary implicit function theorem with the representation of special Legendrian surfaces by loop-algebra-valued meromorphic connections and the identification of the unitarizability locus inside the SL_3(C) character variety of the thrice-punctured sphere.

Core claim

We construct, for every sufficiently large integer k, an embedded special Legendrian surface in the 5-sphere whose conformal structure is the Fermat curve of degree k and genus 1/2(k-1)(k-2). The construction combines an elementary implicit function theorem with the description of special Legendrian surfaces via loop algebra-valued meromorphic connections and a characterization of the unitarizability locus in the SL_3(C)-character variety of the thrice-punctured sphere.

What carries the argument

The unitarizability locus in the SL_3(C)-character variety of the thrice-punctured sphere, to which the implicit function theorem is applied using loop-algebra-valued meromorphic connections that characterize the special Legendrian surfaces.

Load-bearing premise

The unitarizability locus in the SL_3(C)-character variety of the thrice-punctured sphere is such that the implicit function theorem can be applied to produce the desired embedded surfaces for large k.

What would settle it

An explicit computation showing that the linearization of the map from the unitarizability locus fails to be invertible at the points corresponding to some large k would show that the construction does not produce the claimed surfaces.

Figures

Figures reproduced from arXiv: 2604.21521 by Charles Ouyang, Franz Pedit, Sebastian Heller.

Figure 1
Figure 1. Figure 1: Curves representing the homotopy classes γ0, γ1, and γ∞. so that γ∞ ∗ γ1 ∗ γ0 = Id is the trivial loop, as shown in view at source ↗
Figure 2
Figure 2. Figure 2: The vanishing locus of Dr , for t = 1/6 and t = 1/12. The unitary component Cu is the small component in the center. 4.5. Derivative of trace coordinates at t = 0. We will make use of the following lemma. Lemma 4.6. Let ϵ > 0, and, for j = 0, 1,∞, let Mj : [0, ϵ) → SL(3, C) be smooth such that M∞M1M0 = Id . Assume that for all t, M0(t) and M∞(t) are both conjugate to diag(1, ζ, ζ−1 ). Moreover, assume (4.1… view at source ↗
Figure 3
Figure 3. Figure 3: Three spherical caps with centers Pj along the coordinate circles Cj , respectively, meet at one point Q which lies on the Clifford torus. At the points Q on the Clifford torus, the surface becomes smooth after a blow-up. It is a doubly periodic minimal Lagrangian surface in C 2 analogous to the doubly periodic Scherk surface, and has three asymptotically planar ends. their first-order derivatives at t = 0… view at source ↗
read the original abstract

We construct the first smooth embedded compact special Legendrian surfaces in \(\mathbb S^5\) of genus greater than one. More precisely, for every sufficiently large integer \(k\), we construct an embedded special Legendrian surface whose conformal structure is the Fermat curve of degree \(k\) and genus \(\tfrac12(k-1)(k-2)\). Our approach combines an elementary implicit function theorem with the description of special Legendrian surfaces via loop algebra-valued meromorphic connections and a characterization of the unitarizability locus in the ${SL}_{3}(\mathbb C)$-character variety of the thrice-punctured sphere.

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 / 2 minor

Summary. The manuscript constructs embedded special Legendrian surfaces in S^5 of genus greater than one. Specifically, for every sufficiently large integer k it produces an embedded example whose conformal structure is the Fermat curve of degree k (genus ½(k-1)(k-2)). The construction proceeds by combining an elementary implicit function theorem with the description of special Legendrian surfaces via loop-algebra-valued meromorphic connections and an explicit characterization of the unitarizability locus inside the SL_3(C)-character variety of the thrice-punctured sphere.

Significance. If the central existence claim is established, the paper supplies the first smooth embedded compact special Legendrian surfaces in S^5 of genus >1. The approach links the geometry of special Legendrian immersions to the unitarizability locus in a low-dimensional character variety and to the Fermat family, which is a concrete and potentially falsifiable advance in the study of calibrated submanifolds and their moduli.

major comments (1)
  1. The application of the implicit function theorem rests on the claim that the unitarizability locus is a smooth Banach manifold near the relevant high-degree Fermat representations and that the linearization of the unitarizability map is invertible in the chosen function spaces. The manuscript provides a characterization of the locus, but does not appear to contain a uniform verification that the IFT hypotheses (smoothness, transversality, and invertibility of the derivative) hold for all sufficiently large k at the Fermat points. Without this verification the passage from the characterization to the existence of the embedded surfaces for large k remains unsecured.
minor comments (2)
  1. Notation for the loop-algebra-valued connections and the precise function spaces in which the IFT is applied should be stated explicitly in the statement of the main theorem.
  2. The abstract and introduction would benefit from a short sentence clarifying how the Fermat curve is realized as a conformal structure on the surface obtained from the thrice-punctured sphere via the character-variety construction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for greater clarity in the application of the implicit function theorem. We address the major comment below and will strengthen the exposition in the revised version.

read point-by-point responses

  1. Referee: The application of the implicit function theorem rests on the claim that the unitarizability locus is a smooth Banach manifold near the relevant high-degree Fermat representations and that the linearization of the unitarizability map is invertible in the chosen function spaces. The manuscript provides a characterization of the locus, but does not appear to contain a uniform verification that the IFT hypotheses (smoothness, transversality, and invertibility of the derivative) hold for all sufficiently large k at the Fermat points. Without this verification the passage from the characterization to the existence of the embedded surfaces for large k remains unsecured.

    Authors: We appreciate the referee drawing attention to this point. The characterization of the unitarizability locus given in Section 4 is obtained by explicit computation of the monodromy data for the Fermat representations and shows that these points lie in the interior of the locus for all k sufficiently large. The smoothness of the locus as a Banach manifold and the invertibility of the linearization at these points follow from the non-vanishing of a certain determinant arising from the SL_3(C) character variety of the thrice-punctured sphere, together with uniform estimates on the holomorphic differentials of the Fermat curves that are derived in the proof of Theorem 5.1. These estimates are uniform in k once k exceeds an explicit threshold depending only on the geometry of the thrice-punctured sphere. Nevertheless, to make the uniformity fully transparent, we will insert a new lemma (Lemma 4.8 in the revised numbering) that collects the necessary operator-norm bounds and verifies the IFT hypotheses directly at the Fermat points for all k > K_0. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard IFT on externally characterized locus

full rationale

The paper's construction applies an elementary implicit function theorem to the unitarizability locus in the SL_3(C)-character variety, combined with a description of special Legendrian surfaces via loop algebra-valued meromorphic connections. No quoted steps reduce the existence claim to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain whose verification is internal to the paper. The characterization of the locus and the IFT application are presented as independent inputs, with the result for large k following from the hypotheses on the locus near Fermat points. This is a normal non-circular finding for a paper relying on standard analytic tools and prior characterizations.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction depends on prior characterizations in the literature of special Legendrian surfaces and the character variety, combined with the implicit function theorem.

axioms (2)
  • domain assumption Special Legendrian surfaces can be described via loop algebra-valued meromorphic connections.
    This is used as the basis for the construction.
  • domain assumption The unitarizability locus in the SL_3(C)-character variety of the thrice-punctured sphere can be characterized to allow application of the implicit function theorem for large k.
    Central to proving existence for sufficiently large k.

pith-pipeline@v0.9.0 · 5400 in / 1515 out tokens · 83581 ms · 2026-05-08T13:48:43.718647+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

60 extracted references · 60 canonical work pages

  1. [1]

    Baraglia,Cyclic Higgs bundles and the affine Toda equations, Geom

    D. Baraglia,Cyclic Higgs bundles and the affine Toda equations, Geom. Dedicata174(2015), 25–42

    work page 2015

  2. [2]

    F. Beck, S. Heller, M. R¨ oser,Energy of sections of the Deligne-Hitchin twistor space, Math. Ann.380 (2021), no. 3–4, 1169–1214

    work page 2021

  3. [3]

    Bolton, F

    J. Bolton, F. Pedit, L. Woodward,Minimal surfaces and the affine Toda field model, J. Reine Angew. Math.459(1995), 119–150

    work page 1995

  4. [4]

    Bolton, G

    J. Bolton, G. R. Jensen, M. Rigoli, L. Woodward,On conformal minimal immersions ofS 2 intoCP n, Math. Ann.279(1988), 599–620

    work page 1988

  5. [5]

    Burstall,Harmonic tori in spheres and complex projective spaces, J

    F. Burstall,Harmonic tori in spheres and complex projective spaces, J. Reine Angew. Math.469(1995), 149–177

    work page 1995

  6. [6]

    Burstall, D

    F. Burstall, D. Ferus, F. Pedit, U. Pinkall,Harmonic tori in symmetric spaces and commuting Hamiltonian systems on loop algebras, Ann. of Math.138(1993), 173–212

    work page 1993

  7. [7]

    Calabi,Minimal immersions of surfaces in Euclidean spheres, J

    E. Calabi,Minimal immersions of surfaces in Euclidean spheres, J. Differential Geom.1(1-2) (1967) 111-125

    work page 1967

  8. [8]

    Calabi,Quelques applications de l’analyse complexe aux surfaces d’aire minima, Topics in Complex Manifolds, University of Montreal, Canada, 1968, 59-81

    E. Calabi,Quelques applications de l’analyse complexe aux surfaces d’aire minima, Topics in Complex Manifolds, University of Montreal, Canada, 1968, 59-81

    work page 1968

  9. [9]

    Carberry, I

    E. Carberry, I. McIntosh,Minimal Lagrangian 2-tori inCP 2 come in real families of every dimension, J. Lond Math. Soc. (2)69(2004), 531–544

    work page 2004

  10. [10]

    Castro, F

    I. Castro, F. Urbano,New examples of minimal Lagrangian tori in the complex projective plane, Manuscripta Math.85(1994), 265–281

    work page 1994

  11. [11]

    Charlton, L

    S. Charlton, L. Heller, S. Heller, M. Traizet,Minimal surfaces and alternating multiple zeta values, arXiv:2407.07130

    work page arXiv

  12. [12]

    Chern,On the minimal immersions of the two-sphere in a space of constant curvature, Problems in Analysis, Princeton University Press, Princeton, 1970, 27-40

    S.S. Chern,On the minimal immersions of the two-sphere in a space of constant curvature, Problems in Analysis, Princeton University Press, Princeton, 1970, 27-40

    work page 1970

  13. [13]

    Donaldson,Riemann Surfaces, Oxford Graduate Texts in Mathematics 22, Oxford University Press, 2011

    S. Donaldson,Riemann Surfaces, Oxford Graduate Texts in Mathematics 22, Oxford University Press, 2011

    work page 2011

  14. [14]

    Dorfmeister, F

    J. Dorfmeister, F. Pedit, H. Wu,Weierstrass type representation of harmonic maps into symmetric spaces, Comm. Anal. Geom.6(1998), no. 4, 633–668

    work page 1998

  15. [15]

    J. F. Dorfmeister, H. Ma,Minimal Lagrangian surfaces inCP 2 via the loop group method. Part I: the contractible case, J. Geom. Phys.161(2021), 104040

    work page 2021

  16. [16]

    Eells, C

    J. Eells, C. Wood,Harmonic maps from surfaces to complex projective spacesAdv. Math.49(3) (1983) 217-263

    work page 1983

  17. [17]

    Gaiotto, G

    D. Gaiotto, G. W. Moore, and A. Neitzke,Wall-crossing, Hitchin systems, and the WKB approximation, Adv. Math.234(2013), 239–403

    work page 2013

  18. [18]

    Garc´ ıa-Prada, P

    O. Garc´ ıa-Prada, P. B. Gothen, and I. Mundet i Riera,Higgs bundles and surface group representations in the real symplectic group,J. Topol.6(2013), 64–118

    work page 2013

  19. [19]

    Hain,Classical polylogarithms, arXiv:9202022

    R. Hain,Classical polylogarithms, arXiv:9202022

    work page

  20. [20]

    Harvey, H

    R. Harvey, H. B. Lawson Jr.,Calibrated geometries, Acta Math.148(1982), 47–157

    work page 1982

  21. [21]

    Haskins,The geometric complexity of special LagrangianT 2-cones, Invent

    M. Haskins,The geometric complexity of special LagrangianT 2-cones, Invent. Math.157(2004), 11–70

    work page 2004

  22. [22]

    Haskins, N

    M. Haskins, N. Kapouleas,Special Lagrangian cones with higher genus links, Invent. Math.167(2007), no. 2, 223–294. 64 SEBASTIAN HELLER, CHARLES OUYANG, AND FRANZ PEDIT

    work page 2007

  23. [23]

    H´ elein, P

    F. H´ elein, P. Romon,Hamiltonian stationary Lagrangian surfaces inC 2, Comm. Anal. Geom.10(2002), no. 1, 79–126

    work page 2002

  24. [24]

    H´ elein, P

    F. H´ elein, P. Romon,Weierstrass representation of Lagrangian surfaces in four-dimensional space using spinors and quaternions, Comment. Math. Helv.75(2000), 668–680

    work page 2000

  25. [25]

    Heller,Higher genus minimal surfaces inS 3 and stable bundles,J

    S. Heller,Higher genus minimal surfaces inS 3 and stable bundles,J. Reine Angew. Math., Volume 685 (2013), pp 105–122

    work page 2013

  26. [26]

    Heller,A spectral curve approach to Lawson symmetric CMC surfaces of genus 2, Math

    S. Heller,A spectral curve approach to Lawson symmetric CMC surfaces of genus 2, Math. Ann.360 (2014), no. 3, 607–652

    work page 2014

  27. [27]

    Heller, S

    L. Heller, S. Heller,Fuchsian DPW potentials for Lawson surfaces, Geom. Dedicata217(2023), Paper No. 101

    work page 2023

  28. [28]

    Heller, S

    L. Heller, S. Heller, C. Meneses,Semiclassical Limits of Strongly Parabolic Higgs Bundles and Hyperpoly- gon Spaces, arXiv:2512.24236

    work page arXiv

  29. [29]

    Heller, S

    L. Heller, S. Heller, M. Traizet,Area estimates for high genus Lawson surfaces via DPW, J. Differential Geom.124(2023), no. 1, 1–35

    work page 2023

  30. [30]

    Heller, S

    L. Heller, S. Heller, M. Traizet,Loop group methods for the non-abelian Hodge correspondence on a four-punctured sphere, Math. Ann.392(2025), no. 3, 2981–3064

    work page 2025

  31. [31]

    Heller, C

    S. Heller, C. Ouyang, F. Pedit,Higgs bundles and SYZ geometry, J. Differential Geom.128(2024), no. 2, 773–814

    work page 2024

  32. [32]

    Hitchin,The self-duality equations on a Riemann surface, Proc

    N. Hitchin,The self-duality equations on a Riemann surface, Proc. Lond. Math. Soc. (3)55(1987), 59–126

    work page 1987

  33. [33]

    Hitchin,Harmonic maps from a 2-torus to the 3-sphere, J

    N. Hitchin,Harmonic maps from a 2-torus to the 3-sphere, J. Differential Geom. 31 (1990), no. 3, 627–710

    work page 1990

  34. [34]

    Hitchin,Lie Groups and Teichm¨ uller Space, Topology31(1992), 449–473

    N. Hitchin,Lie Groups and Teichm¨ uller Space, Topology31(1992), 449–473

    work page 1992

  35. [35]

    Hitchin,Lectures on special Lagrangian submanifolds, in: Winter School on Mirror Symmetry, Vector Bundles and Lagrangian Submanifolds, AMS/IP Stud

    N. Hitchin,Lectures on special Lagrangian submanifolds, in: Winter School on Mirror Symmetry, Vector Bundles and Lagrangian Submanifolds, AMS/IP Stud. Adv. Math., vol. 23, Amer. Math. Soc. (2001)

    work page 2001

  36. [36]

    H. B. Lawson,Complete minimal surfaces inS 3, Ann. of Math. (2)92(1970), no. 3, 335–374

    work page 1970

  37. [37]

    Lawton, SL(3,C)-character varieties andRP 2-structures on a trinion, Ph.D

    S. Lawton, SL(3,C)-character varieties andRP 2-structures on a trinion, Ph.D. thesis, University of Maryland, 2006; see also arXiv:1407.1003

    work page arXiv 2006

  38. [38]

    Lawton,Generators, relations and symmetries in pairs of3×3unimodular matrices, J

    S. Lawton,Generators, relations and symmetries in pairs of3×3unimodular matrices, J. Algebra313 (2007), no. 2, 782–801

    work page 2007

  39. [39]

    Leopoldt,On the automorphism group of Fermat fields ( ¨Uber die Automorphismengruppe des Fermatk¨ orpers), J

    H.-W. Leopoldt,On the automorphism group of Fermat fields ( ¨Uber die Automorphismengruppe des Fermatk¨ orpers), J. Number Theory56(1996), no. 2, 256–282

    work page 1996

  40. [40]

    Li,An introduction to Higgs bundles via harmonic maps, SIGMA 15, 035, 30 pages (2019)

    Q. Li,An introduction to Higgs bundles via harmonic maps, SIGMA 15, 035, 30 pages (2019)

    work page 2019

  41. [41]

    Loftin, I

    J. Loftin, I. McIntosh,Cubic differentials in the differential geometry of surfaces, in: Handbook of Te- ichm¨ uller Theory, Volume VI, ed. A. Papadopoulos, EMS, 2016, 231–274

    work page 2016

  42. [42]

    JoyceSpecial Lagrangian submanifolds with isolated conical singularities

    D. JoyceSpecial Lagrangian submanifolds with isolated conical singularities. V. Survey and applications J. Differential Geom.63(2003) 279-347

    work page 2003

  43. [43]

    Joyce,Riemannian Holonomy Groups and Calibrated Geometry, Oxford Graduate Texts in Mathe- matics 12, Oxford University Press, 2007

    D. Joyce,Riemannian Holonomy Groups and Calibrated Geometry, Oxford Graduate Texts in Mathe- matics 12, Oxford University Press, 2007

    work page 2007

  44. [44]

    H. Ma, Y. Ma,Totally real minimal tori inCP 2, Math. Z.249(2005), no. 2, 241–267

    work page 2005

  45. [45]

    F. C. Marques, A. Neves,Min-max theory and the Willmore conjecture, Ann. of Math.179(2014), 683–782

    work page 2014

  46. [46]

    McIntosh,Special Lagrangian cones inC 3 and primitive harmonic maps, J

    I. McIntosh,Special Lagrangian cones inC 3 and primitive harmonic maps, J. Lond. Math. Soc. (2)67 (2003), no. 3, 769–789

    work page 2003

  47. [47]

    Minicozzi II,The Willmore functional on Lagrangian tori: its relation to area and existence of smooth minimizers, J

    W. Minicozzi II,The Willmore functional on Lagrangian tori: its relation to area and existence of smooth minimizers, J. Amer. Math. Soc.8(1995), no. 4

    work page 1995

  48. [48]

    Montiel, F

    S. Montiel, F. Urbano,A Willmore functional for compact surfaces in the complex projective plane, J. Reine Angew. Math.546(2002), 139–154

    work page 2002

  49. [49]

    Pressley, G

    A. Pressley, G. Segal,Loop Groups, Oxford Mathematical Monographs, Oxford University Press, 1986

    work page 1986

  50. [50]

    R. A. Sharipov,Minimal tori in the five-dimensional sphere inC 3, Theoret. Math. Phys.87(1991), 363–369

    work page 1991

  51. [51]

    Simpson,Higgs bundles and local systems, Publ

    C. Simpson,Higgs bundles and local systems, Publ. Math. IH ´ES75(1992), 5–95

    work page 1992

  52. [52]

    Simpson,The Hodge filtration on non-abelian cohomology, in Algebraic Geometry–Santa Cruz 1995, Proc

    C. Simpson,The Hodge filtration on non-abelian cohomology, in Algebraic Geometry–Santa Cruz 1995, Proc. Sympos. Pure Math.62, Part 2, Amer. Math. Soc., Providence, RI, 1997, 217–281

    work page 1995

  53. [53]

    Simpson,The twistor geometry of parabolic structures in rank two, Proc

    C. Simpson,The twistor geometry of parabolic structures in rank two, Proc. Indian Acad. Sci., Math. Sci. 132, No. 2, Paper No. 54, 26 p. (2022)

    work page 2022

  54. [54]

    Strominger, S.-T

    A. Strominger, S.-T. Yau, E. Zaslow,Mirror symmetry is T-duality, Nuclear Phys. B479(1996), no. 1–2, 243–259

    work page 1996

  55. [55]

    Traizet,Construction of constant mean curvaturen-noids using the DPW method, J

    M. Traizet,Construction of constant mean curvaturen-noids using the DPW method, J. Reine Angew. Math.763(2020), 223–249

    work page 2020

  56. [56]

    Yau,Submanifolds with Constant Mean Curvature, Amer

    S.T. Yau,Submanifolds with Constant Mean Curvature, Amer. J. Math.96(2) (1974) 346–366

    work page 1974

  57. [57]

    S. S.-T. Yau, Y. Yu,Gorenstein quotient singularities in dimension three, Mem. Amer. Math. Soc.105 (1993), no. 505

    work page 1993

  58. [58]

    Tzermias,The group of automorphisms of the Fermat curve, J

    P. Tzermias,The group of automorphisms of the Fermat curve, J. Number Theory53(1995), 173–178. EMBEDDED SPECIAL LEGENDRIAN SURFACES 65

    work page 1995

  59. [59]

    S. H. Wang,Compact special Legendrian surfaces inS 5, arxiv:0211439v4, 2003

    work page 2003

  60. [60]

    Zhang,A note on Lagrangian submanifolds in symplectic4m-manifolds, Can

    Y. Zhang,A note on Lagrangian submanifolds in symplectic4m-manifolds, Can. Math. Bull.66(2023), no. 2, 525–531. Beijing Institute of Mathematical Sciences and Applications, Beijing 101408, China E-mail address:sheller@bimsa.cn Department of Mathematics, W ashington University in St. Louis E-mail address:ouyang@math.wustl.edu Department of Mathematics and ...

    work page 2023