pith. sign in

arxiv: 2606.00687 · v1 · pith:QWGPWYAXnew · submitted 2026-05-30 · 🧮 math.SG

A topological classification of generating functions

Sylvain Courte , Vivek Shende This is my paper

Pith reviewed 2026-06-28 17:41 UTC · model grok-4.3

classification 🧮 math.SG
keywords generating functionsLegendrians1-jet bundlesstable Gauss mapstable cohomotopiesJ-homomorphismmicrolocalizationsymplectic geometry
0
0 comments X

The pith

Generating functions for Legendrians are completely classified by a stable Gauss map trivialization, a sub-level-set stable cohomotopy sheaf, and their microlocalization identification with the J-homomorphism image.

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

This paper proves that three pieces of topological data extracted from a generating function for a Legendrian in a 1-jet bundle suffice to determine the function up to stabilization and fiberwise diffeomorphism. The data consist of a trivialization of the stable Gauss map, the sheaf of sub-level-set stable cohomotopies, and an explicit identification between the microlocalization of that sheaf and the image of the Gauss map trivialization under the J-homomorphism. A reader would care because the result converts questions about the existence and uniqueness of generating functions into questions about the existence and uniqueness of these topological objects, which can be studied independently of any particular function. The classification is shown to be complete with respect to the classical equivalences, establishing a bijection between equivalence classes of generating functions and the admissible triples of data.

Core claim

From a generating function for a Legendrian in a 1-jet bundle, we may extract the following topological information: (1) a trivialization of the stable Gauss map, (2) the sheaf of sub-level-set stable cohomotopies, and (3) an identification of the microlocalization of the latter with the J-homomorphism image of the former. Here we show that in fact (1), (2), (3) completely classify generating functions up to the classical equivalence relations of stabilization and fiberwise diffeomorphism.

What carries the argument

The triple consisting of the stable Gauss map trivialization, the sub-level-set stable cohomotopy sheaf, and the microlocalization identification with the J-homomorphism image of the first.

If this is right

  • Generating functions that yield the same triple of data are equivalent under stabilization and fiberwise diffeomorphism.
  • Every admissible triple of data arises from at least one generating function.
  • Equivalence classes of generating functions stand in bijection with the set of such triples.
  • Invariants of Legendrians that depend on a choice of generating function can be read directly from the topological triple.

Where Pith is reading between the lines

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

  • The classification opens the possibility of computing Legendrian invariants by constructing the topological data directly rather than searching for a generating function.
  • Analogous triples might classify generating functions in other contact or symplectic settings once the corresponding maps and sheaves are defined.
  • Verification on standard examples such as the unknot would consist of explicitly matching the computed triple to the known equivalence class.

Load-bearing premise

The standard definitions and constructions of generating functions for Legendrians in 1-jet bundles, the stable Gauss map, sub-level-set stable cohomotopies, microlocalization, and the J-homomorphism are taken as given and well-behaved.

What would settle it

Two generating functions that produce identical triples but are not related by stabilization and fiberwise diffeomorphism, or two that are equivalent yet produce different triples, would falsify the classification.

Figures

Figures reproduced from arXiv: 2606.00687 by Sylvain Courte, Vivek Shende.

Figure 1
Figure 1. Figure 1: In color: the graphs of the functions a, b, c. In black: the graphs of Z+ and Z−. Here k = m = 1. Given a generating function f for Λk,m we abbreviate {f ≤ a} := {(x, v) ∈ Rm × Rn , f(x, v) ≤ a(x)} and similarly {f ≤ b}, {f ≤ c}. Definition 5.13. The crossing obstruction of f ∈ GFΛk,m(Rm) ∗ is the map (of spectra) α(f) : {f ≤ c}/{f ≤ b} → Σ({f ≤ b}/{f ≤ a}) from the Puppe sequence {f ≤ b}/{f ≤ a} → {f ≤ c}… view at source ↗
Figure 2
Figure 2. Figure 2: Sheaves on a crossing. There is a natural restriction map Sh×(R2 t,z) → Sh×(Rt<0 × Rz) ∼= Sh×({−1} × Rz). We are interested in the image and the fibers. By the above characterization, this is equivalent to asking about the image and fibers of the restriction on diagram categories [X = V ⊕U W] 7→ [U → V → X]. These may be characterized as follows: Lemma 5.17. Isomorphism classes of extensions of a diagram U… view at source ↗
Figure 3
Figure 3. Figure 3: Schematic depiction of data associated to an object of [PITH_FULL_IMAGE:figures/full_fig_p033_3.png] view at source ↗
read the original abstract

From a generating function for a Legendrian in a $1$-jet bundle, we may extract the following topological information: (1) a trivialization of the stable Gauss map, (2) the sheaf of sub-level-set stable cohomotopies, and (3) an identification of the microlocalization of the latter with the J-homomorphism image of the former. Here we show that in fact (1), (2), (3) completely classify generating functions up to the classical equivalence relations of stabilization and fiberwise diffeomorphism.

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

Summary. The paper claims that three topological invariants extracted from a generating function for a Legendrian in a 1-jet bundle completely classify the generating functions up to stabilization and fiberwise diffeomorphism. These are: (1) a trivialization of the stable Gauss map, (2) the sheaf of sub-level-set stable cohomotopies, and (3) an identification of the microlocalization of the latter with the J-homomorphism image of the former.

Significance. If this classification holds, it would be a significant contribution to the field of symplectic geometry by providing a complete set of topological invariants for generating functions. This could facilitate the study of Legendrian knots and their invariants by reducing geometric questions to homotopy-theoretic ones involving the J-homomorphism and stable cohomotopies. The result appears to rely on standard constructions in the area.

major comments (1)
  1. [Abstract] The abstract asserts a classification but supplies no proof sketch, no verification steps, and no discussion of edge cases or assumptions; the central claim therefore cannot be checked against data or derivations from the provided information.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. The manuscript establishes the classification via explicit constructions and a proof in the body of the text (Sections 2--5). We address the single major comment below and note that the abstract can be revised for clarity while the core result remains unchanged.

read point-by-point responses

  1. Referee: [Abstract] The abstract asserts a classification but supplies no proof sketch, no verification steps, and no discussion of edge cases or assumptions; the central claim therefore cannot be checked against data or derivations from the provided information.

    Authors: The abstract is written in the concise style conventional for the field. The full proof appears in the manuscript: the three invariants are extracted in Section 2; the classification theorem (that they determine the generating function up to stabilization and fiberwise diffeomorphism) is stated as Theorem 4.1 and proved in Sections 4--5 by reducing to the stable homotopy classification of the J-homomorphism image and using the microlocalization equivalence for the sheaf of stable cohomotopies. Assumptions (quadratic at infinity, compact support) and edge cases (empty Legendrian, trivial Gauss map) are treated in Section 1.3 and Remark 4.3. We will revise the abstract to include a one-sentence outline of the argument. revision: yes

Circularity Check

0 steps flagged

No circularity: classification theorem uses standard external constructions

full rationale

The paper states a theorem that three topological invariants—trivialization of the stable Gauss map, sheaf of sub-level-set stable cohomotopies, and their microlocalization identification with the J-homomorphism image—classify generating functions up to stabilization and fiberwise diffeomorphism. These are extracted from standard definitions of generating functions, Legendrians in 1-jet bundles, and classical homotopy-theoretic objects (Gauss map, stable cohomotopy, microlocalization, J-homomorphism), all taken as given without redefinition or fitting. No equations reduce the classification to its inputs by construction, no parameters are fitted then renamed as predictions, and no load-bearing step relies on self-citation chains or ansatzes smuggled from prior author work. The derivation is a direct identification between the space of generating functions modulo equivalences and the space of the listed triples, which is self-contained against external benchmarks in algebraic topology and symplectic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract alone; no explicit free parameters, invented entities, or ad-hoc axioms are stated. The result rests on domain assumptions standard to symplectic geometry.

axioms (1)
  • domain assumption Standard properties of 1-jet bundles, Legendrian submanifolds, the stable Gauss map, stable cohomotopies, microlocalization, and the J-homomorphism hold in this setting.
    The abstract presupposes the usual setup of generating functions for Legendrians in 1-jet bundles.

pith-pipeline@v0.9.1-grok · 5600 in / 1305 out tokens · 26803 ms · 2026-06-28T17:41:46.736575+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

54 extracted references · 7 canonical work pages · 2 internal anchors

  1. [1]

    Twisted generating functions and the nearby lagrangian conjecture.Duke Mathe- matical Journal, 174(5):949–1011, 2025

    Mohammed Abouzaid, Sylvain Courte, Stéphane Guillermou, and Thomas Kragh. Twisted generating functions and the nearby lagrangian conjecture.Duke Mathe- matical Journal, 174(5):949–1011, 2025

    2025

  2. [2]

    Normal invariant of nearby Lagrangians via twisted derivative.arXiv:2505.12515

    Mohammed Abouzaid, Daniel Álvarez Gavela, Sylvain Courte, and Thomas Kragh. Normal invariant of nearby Lagrangians via twisted derivative.arXiv:2505.12515

    work page arXiv

  3. [3]

    Some Algebraic Properties of Cerf Diagrams of One-Parameter Function Families.Functional Analysis and Its Applications, 39(3):165–174, 2005

    Petr Akhmetev, Matija Cencelj, and Dušan Repovš. Some Algebraic Properties of Cerf Diagrams of One-Parameter Function Families.Functional Analysis and Its Applications, 39(3):165–174, 2005

    2005

  4. [4]

    Normal forms of functions near degenerate critical points, the Weyl groupsAk,D k,E k and Lagrangian singularities.Funkcional

    Vladimir Arnol’d. Normal forms of functions near degenerate critical points, the Weyl groupsAk,D k,E k and Lagrangian singularities.Funkcional. Anal. i Prilozen, 6(4):3–25, 1972

    1972

  5. [5]

    Heavy subsets from microsupports.arXiv:2404.15556

    Tomohiro Asano. Heavy subsets from microsupports.arXiv:2404.15556

    work page arXiv

  6. [6]

    La stratification naturelle des espaces de fonctions différentiables réelles et le théoreme de la pseudo-isotopie.Publications Mathématiques de l’IHÉS, 39:5–173, 1970

    Jean Cerf. La stratification naturelle des espaces de fonctions différentiables réelles et le théoreme de la pseudo-isotopie.Publications Mathématiques de l’IHÉS, 39:5–173, 1970

    1970

  7. [7]

    géodésiques brisées

    Marc Chaperon. Une idée du type “géodésiques brisées” pour les systèmes hamil- toniens.Comptes Rendus des Séances de l’Académie des Sciences. Série I. Mathé- matique, 298(13):293–296, 1984. 45

    1984

  8. [8]

    Combinatorics of fronts of legendrian links and the arnol’d 4-conjectures.Russian Mathematical Surveys, 60(1):95–149, 2005

    Yu Chekanov and Petr Pushkar. Combinatorics of fronts of legendrian links and the arnol’d 4-conjectures.Russian Mathematical Surveys, 60(1):95–149, 2005

    2005

  9. [9]

    Critical points of quasifunctions, and generating families of Legen- drian manifolds.Funktsional’nyi Analiz i ego Prilozheniya, 30(2):56–69, 96, 1996

    Yuri Chekanov. Critical points of quasifunctions, and generating families of Legen- drian manifolds.Funktsional’nyi Analiz i ego Prilozheniya, 30(2):56–69, 96, 1996

    1996

  10. [10]

    Nonsqueezing property of contact balls.Duke Mathematical Journal, 166(4):605, 2017

    Sheng-Fu Chiu. Nonsqueezing property of contact balls.Duke Mathematical Journal, 166(4):605, 2017

    2017

  11. [11]

    Duality between Lagrangian and Legendrian in- variants.Geometry & Topology, 27(6):2049–2179, 2023

    Tobias Ekholm and Yankı Lekili. Duality between Lagrangian and Legendrian in- variants.Geometry & Topology, 27(6):2049–2179, 2023

    2049

  12. [12]

    Lagrangian intersection theory: finite- dimensional approach.Translations of the American Mathematical Society-Series 2, 186:27–118, 1998

    Yasha Eliashberg and Misha Gromov. Lagrangian intersection theory: finite- dimensional approach.Translations of the American Mathematical Society-Series 2, 186:27–118, 1998

    1998

  13. [13]

    A categori- fication of Morelli’s theorem.Inventiones mathematicae, 186(1):79–114, 2011

    Bohan Fang, Chiu-Chu Melissa Liu, David Treumann, and Eric Zaslow. A categori- fication of Morelli’s theorem.Inventiones mathematicae, 186(1):79–114, 2011

    2011

  14. [14]

    Generating families and Legendrian contact homology in the standard contact space.Journal of Topology, 4(1):190–226, 2011

    Dmitry Fuchs and Dan Rutherford. Generating families and Legendrian contact homology in the standard contact space.Journal of Topology, 4(1):190–226, 2011

    2011

  15. [15]

    Homological mirror sym- metry for hypertoric varieties, ii.Geometry & Topology, 29(8):3921–3993, 2025

    Benjamin Gammage, Michael McBreen, and Ben Webster. Homological mirror sym- metry for hypertoric varieties, ii.Geometry & Topology, 29(8):3921–3993, 2025

    2025

  16. [16]

    Mirror symmetry for very affine hypersur- faces.Acta Mathematica, 229(2):287–346, 2022

    Benjamin Gammage and Vivek Shende. Mirror symmetry for very affine hypersur- faces.Acta Mathematica, 229(2):287–346, 2022

    2022

  17. [17]

    Microlocal Morse theory of wrapped Fukaya categories.Annals of Mathematics, 199(3):943–1042, 2024

    Sheel Ganatra, John Pardon, and Vivek Shende. Microlocal Morse theory of wrapped Fukaya categories.Annals of Mathematics, 199(3):943–1042, 2024

    2024

  18. [18]

    Formes génératrices d’immersions lagrangiennes dans un espace cotangent

    Emmanuel Giroux. Formes génératrices d’immersions lagrangiennes dans un espace cotangent. InGéométrie Symplectique et Mécanique: Colloque International La Grande Motte, France, 23–28 Mai, 1988, pages 139–145. Springer, 1990

    1988

  19. [19]

    Sheaves and symplectic geometry of cotangent bundles

    Stéphane Guillermou. Sheaves and symplectic geometry of cotangent bundles. Astérisque, 440, 2023

    2023

  20. [20]

    Sheaf quantization of Hamiltonian isotopies and applications to nondisplaceability problems.Duke Math- ematical Journal, 161(2):201–245, 2012

    Stéphane Guillermou, Masaki Kashiwara, and Pierre Schapira. Sheaf quantization of Hamiltonian isotopies and applications to nondisplaceability problems.Duke Math- ematical Journal, 161(2):201–245, 2012

    2012

  21. [21]

    Microlocal theory of sheaves and tamarkin’s non displaceability theorem

    Stéphane Guillermou and Pierre Schapira. Microlocal theory of sheaves and tamarkin’s non displaceability theorem. InHomological mirror symmetry and trop- ical geometry, pages 43–85. Springer, 2014

    2014

  22. [22]

    Pseudo-isotopies of compact manifolds

    Allen Hatcher and John Wagoner. Pseudo-isotopies of compact manifolds. Astérisque, 6, 1973

    1973

  23. [23]

    Fourier integral operators

    Lars Hörmander. Fourier integral operators. I.Acta Mathematica, 127(1):79–183, 1971. 46

    1971

  24. [24]

    The stability theorem for smooth pseudoisotopies.K-Theory, 2(1- 2):1–355, 1988

    Kiyoshi Igusa. The stability theorem for smooth pseudoisotopies.K-Theory, 2(1- 2):1–355, 1988

    1988

  25. [25]

    Microlocal sheaf categories and theJ-homomorphism.arXiv:2004.14270

    Xin Jin. Microlocal sheaf categories and theJ-homomorphism.arXiv:2004.14270

    work page arXiv 2004

  26. [26]

    Brane structures in microlocal sheaf theory.Journal of Topology, 17(1):e12325, 2024

    Xin Jin and David Treumann. Brane structures in microlocal sheaf theory.Journal of Topology, 17(1):e12325, 2024

    2024

  27. [27]

    Generating family invariants for Legendrian links of unknots.Algebraic & Geometric Topology, 6(2):895–933, 2006

    Jill Jordan and Lisa Traynor. Generating family invariants for Legendrian links of unknots.Algebraic & Geometric Topology, 6(2):895–933, 2006

    2006

  28. [28]

    Braid-positive Legendrian links.International Mathematics Re- search Notices, 2006(9):14874–14874, 2006

    Tamás Kálmán. Braid-positive Legendrian links.International Mathematics Re- search Notices, 2006(9):14874–14874, 2006

    2006

  29. [29]

    Springer Science & Business Media, 2013

    Masaki Kashiwara and Pierre Schapira.Sheaves on Manifolds, volume 292. Springer Science & Business Media, 2013

    2013

  30. [30]

    Generating Functions in $\mathbb{R}^{2n}$ and the Hatcher-Waldhausen map

    Thomas Kragh. Generating functions inR 2n and the Hatcher-Waldhausen map. arXiv:1804.02557

    work page internal anchor Pith review Pith/arXiv arXiv

  31. [31]

    The nonequivariant coherent-constructible correspondence for toric stacks.Duke Mathematical Journal, 169(11):2125, 2020

    Tatsuki Kuwagaki. The nonequivariant coherent-constructible correspondence for toric stacks.Duke Mathematical Journal, 169(11):2125, 2020

    2020

  32. [32]

    François Latour. Transversales lagrangiennes, périodicité de bott et formes généra- trices pour une immersion lagrangienne dans un cotangent.Annales scientifiques de l’École Normale Supérieure, 24(1):3–55, 1991

    1991

  33. [33]

    Persistance d’intersection avec la section nulle au cours d’une isotopie hamiltonienne dans un fibré cotangent.Inven- tiones mathematicae, 82:349–357, 1985

    François Laudenbach and Jean-Claude Sikorav. Persistance d’intersection avec la section nulle au cours d’une isotopie hamiltonienne dans un fibré cotangent.Inven- tiones mathematicae, 82:349–357, 1985

    1985

  34. [34]

    Augmentations and rulings of Legendrian knots.Journal of Sym- plectic Geometry, 14(4):1089–1143, 2016

    Caitlin Leverson. Augmentations and rulings of Legendrian knots.Journal of Sym- plectic Geometry, 14(4):1089–1143, 2016

    2016

  35. [35]

    Microsheaf composition of La- grangian correspondences.arXiv:2511.19814

    Wenyuan Li, David Nadler, and Vivek Shende. Microsheaf composition of La- grangian correspondences.arXiv:2511.19814

    work page arXiv

  36. [36]

    Jacob Lurie.Higher algebra.https://www.math.ias.edu/~lurie

  37. [37]

    Microlocal branes are constructible sheaves.Selecta Mathematica, 15(4):563–619, 2009

    David Nadler. Microlocal branes are constructible sheaves.Selecta Mathematica, 15(4):563–619, 2009

    2009

  38. [38]

    Sheaf quantization in Weinstein symplectic manifolds

    David Nadler and Vivek Shende. Sheaf quantization in Weinstein symplectic mani- folds.arXiv:2007.10154

    work page arXiv 2007

  39. [39]

    Constructible sheaves and the Fukaya category

    David Nadler and Eric Zaslow. Constructible sheaves and the Fukaya category. Journal of the American Mathematical Society, 22(1):233–286, 2009

    2009

  40. [40]

    Aug- mentations are sheaves.Geometry & Topology, 24(5):2149–2286, 2020

    Lenhard Ng, Dan Rutherford, Vivek Shende, Steven Sivek, and Eric Zaslow. Aug- mentations are sheaves.Geometry & Topology, 24(5):2149–2286, 2020. 47

    2020

  41. [41]

    EnhancedBruhatdecompositionandMorsetheory

    PetrPushkarandMishaTemkin. EnhancedBruhatdecompositionandMorsetheory. International Mathematics Research Notices, 2023(19):16837–16903, 2023

    2023

  42. [42]

    A lemma for microlocal sheaf theory in the∞- categorical setting.Publications of the Research Institute for Mathematical Sciences, 54(2):379–391, 2018

    Marco Robalo and Pierre Schapira. A lemma for microlocal sheaf theory in the∞- categorical setting.Publications of the Research Institute for Mathematical Sciences, 54(2):379–391, 2018

    2018

  43. [43]

    The conormal torus is a complete knot invariant

    Vivek Shende. The conormal torus is a complete knot invariant. InForum of Math- ematics, Pi, volume 7, page e6. Cambridge University Press, 2019

    2019

  44. [44]

    Cluster varieties from legendrian knots.Duke Mathematical Journal, 168(15):2801, 2019

    Vivek Shende, David Treumann, Harold Williams, and Eric Zaslow. Cluster varieties from legendrian knots.Duke Mathematical Journal, 168(15):2801, 2019

    2019

  45. [45]

    Legendrian knots and con- structible sheaves.Inventiones mathematicae, 207:1031–1133, 2017

    Vivek Shende, David Treumann, and Eric Zaslow. Legendrian knots and con- structible sheaves.Inventiones mathematicae, 207:1031–1133, 2017

    2017

  46. [46]

    Problèmesd’intersectionsetdepointsfixesengéométriehamil- tonienne.Commentarii Mathematici Helvetici, 62(1):62–73, 1987

    Jean-ClaudeSikorav. Problèmesd’intersectionsetdepointsfixesengéométriehamil- tonienne.Commentarii Mathematici Helvetici, 62(1):62–73, 1987

    1987

  47. [47]

    Microlocal condition for non-displaceability

    Dmitry Tamarkin. Microlocal condition for non-displaceability. InAlgebraic and An- alytic Microlocal Analysis: AAMA, Evanston, Illinois, USA, 2012 and 2013, pages 99–223. Springer, 2018

    2012

  48. [48]

    A complete proof of Viterbo’s uniqueness theorem on generating functions.Topology and its Applications, 96(3):249–266, 1999

    David Théret. A complete proof of Viterbo’s uniqueness theorem on generating functions.Topology and its Applications, 96(3):249–266, 1999

    1999

  49. [49]

    Sheaf Quantization of Lagrangians and Floer cohomology

    Claude Viterbo. Sheaf quantization of Lagrangians and Floer cohomology. arXiv:1901.09440

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  50. [50]

    Symplectic topology as the geometry of generating functions.Math- ematische Annalen, 292(1):685–710, 1992

    Claude Viterbo. Symplectic topology as the geometry of generating functions.Math- ematische Annalen, 292(1):685–710, 1992

    1992

  51. [51]

    An introduction to symplectic topology through sheaf theory

    Claude Viterbo. An introduction to symplectic topology through sheaf theory. Preprint, 2011

    2011

  52. [52]

    The six operations in topology.Journal of Topology, 18(4):e70050, 2025

    Marco Volpe. The six operations in topology.Journal of Topology, 18(4):e70050, 2025

    2025

  53. [53]

    Algebraic K-theory of spaces: a manifold approach.Current trends in algebraic topology, vol

    Friedhelm Waldhausen. Algebraic K-theory of spaces: a manifold approach.Current trends in algebraic topology, vol. 1, 1982

    1982

  54. [54]

    Capacities from the Chiu-Tamarkin complex.Journal of Symplectic Geometry, 22(3):441–524, 2024

    Bingyu Zhang. Capacities from the Chiu-Tamarkin complex.Journal of Symplectic Geometry, 22(3):441–524, 2024. 48

    2024