Framed bordism of Lagrangian homotopy spheres via generating functions

Daniel Alvarez-Gavela

arxiv: 2606.02409 · v1 · pith:ANY2ZU7Tnew · submitted 2026-06-01 · 🧮 math.SG

Framed bordism of Lagrangian homotopy spheres via generating functions

Daniel Alvarez-Gavela This is my paper

Pith reviewed 2026-06-28 11:24 UTC · model grok-4.3

classification 🧮 math.SG

keywords homotopy spheresLagrangian embeddingscotangent bundlesgenerating functionsframed bordismHopf elementexotic spheressmooth structures

0 comments

The pith

If one homotopy n-sphere Lagrangian embeds in the cotangent bundle of another, their difference in the group of homotopy spheres modulo exotic spheres is a multiple of the Hopf element.

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

The paper proves that a homotopy n-sphere L which admits a Lagrangian embedding into the cotangent bundle of another homotopy n-sphere M must satisfy that the difference of their classes in θ_n / bP_{n+1} is a multiple of the Hopf element η in the first stable stem. This forces the difference to be 2-torsion, which in even dimensions implies that the connected sum L#L is diffeomorphic to M#M. The result also yields that any homotopy 8-sphere admitting a Lagrangian embedding in T^*S^8 must be diffeomorphic to the standard sphere. The argument merges the derivative map on tubes with the existence of generating functions of tube type that detect the relevant framed bordism information for such nearby Lagrangians.

Core claim

If a homotopy n-sphere L admits a Lagrangian embedding in the cotangent bundle of some other homotopy n-sphere M, then the difference [L]−[M] in θ_n/bP_{n+1} is a multiple of the Hopf element η ∈ π¹_s. In particular it follows that [L]−[M] is 2-torsion in θ_n/bP_{n+1}, hence if n is even then L#L is diffeomorphic to M#M. As another application, if a homotopy 8-sphere L admits a Lagrangian embedding in T^*S^8, then L is diffeomorphic to S^8.

What carries the argument

Generating functions of tube type for nearby Lagrangian homotopy spheres, which together with the derivative map on tubes determine the framed bordism class controlling the difference of smooth structures.

If this is right

The difference [L]−[M] is always 2-torsion in θ_n/bP_{n+1}.
When n is even, the connected sum L#L is diffeomorphic to M#M.
Any homotopy 8-sphere that Lagrangian embeds in T^*S^8 must be diffeomorphic to S^8.

Where Pith is reading between the lines

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

The argument applies specifically when the base manifold M is itself a homotopy sphere, which simplifies the analysis relative to the general case of arbitrary smooth manifolds.
The result uses the special structure of homotopy spheres to obtain a concise proof that is subsumed by a broader treatment for non-spherical bases.

Load-bearing premise

Nearby Lagrangian homotopy spheres admit generating functions of tube type.

What would settle it

A pair of homotopy n-spheres L and M such that [L]−[M] is not a multiple of η yet L Lagrangian embeds in the cotangent bundle of M.

read the original abstract

This note combines a result of B\"okstedt and Waldhausen concerning the so-called derivative map on tubes with the existence theorem for generating functions of tube type for nearby Lagrangian homotopy spheres due to Abouzaid, Courte, Guillermou and Kragh to obtain a restriction on the smooth structure of nearby Lagrangian homotopy spheres. Concretely, if a homotopy $n$-sphere $L$ admits a Lagrangian embedding in the cotangent bundle of some other homotopy $n$-sphere $M$, then the difference $[L]-[M]$ in $\theta_n/bP_{n+1}$ is a multiple of the Hopf element $\eta \in \pi^1_s$. In particular it follows that $[L]-[M]$ is 2-torsion in $\theta_n/bP_{n+1}$, hence if $n$ is even then $L\# L$ is diffeomorphic to $M \# M$. As another application, if a homotopy $8$-sphere $L$ admits a Lagrangian embedding in $T^*S^8$, then $L$ is diffeomorphic to $S^8$. The results presented in this note are subsumed by a joint work with Abouzaid, Courte and Kragh which treats the general case in which $M$ is an arbitrary smooth manifold. When $M$ is a homotopy sphere the situation is significantly simpler and the purpose of this note is to give a concise exposition of the main result in this special case.

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.

Desk Editor's Note private letter to a colleague

This note applies two existing theorems to derive a 2-torsion condition on exotic sphere classes for Lagrangian embeddings between homotopy spheres, but contributes mainly a concise special-case write-up.

read the letter

The main takeaway is that if a homotopy n-sphere L embeds Lagrangianly in the cotangent bundle of another homotopy n-sphere M, then their difference in the group of exotic spheres modulo bP is a multiple of the Hopf element, hence 2-torsion. This immediately gives the even-dimensional connected-sum consequence and the statement that any Lagrangian homotopy 8-sphere in T^*S^8 must be standard.

The note does one thing cleanly: it isolates the homotopy-sphere case so the argument stays short. Once the Bökstedt-Waldhausen derivative map and the Abouzaid-Courte-Guillermou-Kragh tube-type generating function theorem are granted, the restriction follows directly. The exposition is direct and avoids the extra notation needed for the general manifold setting that appears in the joint work.

The soft spot is that there is no new technical content. The paper is an explicit combination of two prior results applied to this narrow situation; the authors themselves say the general case is already handled elsewhere. The load-bearing input is the existence of tube-type generating functions, which is taken from the cited reference rather than reproved or checked here.

This is for readers already working on Lagrangian embeddings in cotangent bundles and their relation to smooth structures. Someone who wants the obstruction spelled out without the general machinery will find it useful. The reasoning is internally consistent and the citations are appropriate, so the paper deserves referee time even though the advance is incremental.

Referee Report

0 major / 1 minor

Summary. This note combines the Bökstedt-Waldhausen result on the derivative map for tubes with the Abouzaid-Courte-Guillermou-Kragh existence theorem for generating functions of tube type. It concludes that if a homotopy n-sphere L admits a Lagrangian embedding in T^*M for another homotopy n-sphere M, then the difference [L]−[M] in θ_n/bP_{n+1} is a multiple of the Hopf element η ∈ π^1_s. Consequently [L]−[M] is 2-torsion, so L#L is diffeomorphic to M#M when n is even, and any homotopy 8-sphere Lagrangian in T^*S^8 must be diffeomorphic to S^8. The note positions itself as a simplified special-case exposition, noting that the general case appears in joint work with Abouzaid, Courte and Kragh.

Significance. If the combination holds, the result supplies a concrete, checkable restriction on exotic smooth structures realizable by Lagrangian embeddings of homotopy spheres, obtained via framed bordism. The n=8 application and the even-dimensional diffeomorphism statement are explicit and of independent interest in differential topology. The manuscript credits the two external theorems explicitly and notes the subsumption by the general joint work, which is appropriate for an expository note.

minor comments (1)

[Abstract] Abstract, line 4: the phrase 'a multiple of the Hopf element η ∈ π^1_s' would benefit from an explicit statement that the multiple is taken in the quotient group θ_n/bP_{n+1}.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, clear summary of the note, and recommendation to accept. We are pleased that the significance of the n=8 application and the even-dimensional diffeomorphism statement was recognized.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's derivation explicitly combines two external theorems (Bökstedt-Waldhausen on the derivative map and the ACGK existence theorem for tube-type generating functions) and applies them to the special case of homotopy spheres. The central claim on the difference [L]-[M] being a multiple of η follows formally from these inputs. No self-definitional steps, fitted predictions, load-bearing self-citations, or ansatzes appear; the joint work mention is purely expository and not used as a premise. The derivation is self-contained against the cited external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two cited external theorems; no free parameters, new entities, or ad-hoc axioms are introduced in the note itself.

axioms (2)

domain assumption Bökstedt-Waldhausen result on the derivative map on tubes
Combined with the generating-functions theorem to obtain the bordism restriction.
domain assumption Existence theorem for generating functions of tube type (Abouzaid-Courte-Guillermou-Kragh)
Provides the existence of generating functions needed to apply the derivative-map result.

pith-pipeline@v0.9.1-grok · 5793 in / 1378 out tokens · 32948 ms · 2026-06-28T11:24:25.288012+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 4 canonical work pages · 1 internal anchor

[1]

Mohammed Abouzaid,Framed bordism and Lagrangian embeddings of exotic spheres, Annals of Mathematics (2012), 71–185

2012
[2]

Mohammed Abouzaid, Daniel ´Alvarez-Gavela, Sylvain Courte, and Thomas Kragh,Normal invariant of nearby Lagrangians via twisted derivative, arXiv preprint arXiv:2505.12515 (2025)

work page arXiv 2025
[3]

5, 949–1011

Mohammed Abouzaid, Sylvain Courte, St´ ephane Guillermou, and Thomas Kragh,Twisted generating functions and the nearby Lagrangian conjecture, Duke Mathematical Journal174(2025), no. 5, 949–1011

2025
[4]

Marcel B¨ okstedt,The rational homotopy type ofΩWhDiff, Algebraic Topology Aarhus 1982: Proceedings of a conference held in Aarhus, Denmark, August 1–7, 1982, Springer, 2006, pp. 25–37

1982
[5]

Marcel B¨ okstedt and Friedhelm Waldhausen,The mapBSG→A( ∗)→QS 0, Algebraic topology and algebraic K-theory: proceedings of a Conference October 24-28, 1983, 1987

1983
[6]

03, 375–397

Tobias Ekholm, Thomas Kragh, and Ivan Smith,Lagrangian exotic spheres, Journal of Topology and Analysis8 (2016), no. 03, 375–397

2016
[7]

Tobias Ekholm and Ivan Smith,Exact Lagrangian immersions with a single double point, Journal of the American Mathematical Society29(2016), no. 1, 1–59

2016
[8]

igusa’s theorem, Topology39(2000), no

YM Eliashberg and NM Mishachev,Wrinkling of smooth mappings-II Wrinkling of embeddings and k. igusa’s theorem, Topology39(2000), no. 4, 711–732

2000
[9]

Emmanuel Giroux,Formes g´ en´ eratrices d’immersions lagrangiennes dans un espace cotangent, G´ eom´ etrie Symplec- tique et M´ ecanique: Colloque International La Grande Motte, France, 23–28 Mai, 1988, Springer, 2006, pp. 139–145

1988
[10]

Allen Hatcher,Pictures of stable homotopy groups of spheres., https://pi.math.cornell.edu/ hatcher/stemfigs/stems.pdf
[11]

3, 504–537

Michel A Kervaire and John W Milnor,Groups of homotopy spheres: I, Annals of mathematics77(1963), no. 3, 504–537

1963
[12]

2, 639–731

Thomas Kragh,Parametrized ring-spectra and the nearby Lagrangian conjecture, Geometry & Topology17(2013), no. 2, 639–731

2013
[13]

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

,Generating Functions inR 2n and the Hatcher-Waldhausen map, arXiv preprint arXiv:1804.02557 (2018). FRAMED BORDISM OF LAGRANGIAN HOMOTOPY SPHERES VIA GENERATING FUNCTIONS 13

work page internal anchor Pith review Pith/arXiv arXiv 2018
[14]

1, 447–464

F Laudenbach,Formes diff´ erentielles de degr´ e 1 ferm´ ees non singuli` eres: classes d’homotopie de leurs noyaux, Commentarii Mathematici Helvetici51(1976), no. 1, 447–464

1976
[15]

Noah Porcelli and Ivan Smith,Bordism of flow modules and exact Lagrangians, arXiv preprint arXiv:2401.11766 (2024)

work page arXiv 2024
[16]

,Bordism from quasi-isomorphism, arXiv preprint arXiv:2509.21587 (2025)

work page arXiv 2025
[17]

Douglas C Ravenel,Complex cobordism and stable homotopy groups of spheres, American Mathematical Soc., 2003

2003
[18]

Friedhelm Waldhausen,Algebraic K-theory of spaces: a manifold approach, Current trends in algebraic topology, vol. 1, 1982. Email address:dgavela@brandeis.edu

1982

[1] [1]

Mohammed Abouzaid,Framed bordism and Lagrangian embeddings of exotic spheres, Annals of Mathematics (2012), 71–185

2012

[2] [2]

Mohammed Abouzaid, Daniel ´Alvarez-Gavela, Sylvain Courte, and Thomas Kragh,Normal invariant of nearby Lagrangians via twisted derivative, arXiv preprint arXiv:2505.12515 (2025)

work page arXiv 2025

[3] [3]

5, 949–1011

Mohammed Abouzaid, Sylvain Courte, St´ ephane Guillermou, and Thomas Kragh,Twisted generating functions and the nearby Lagrangian conjecture, Duke Mathematical Journal174(2025), no. 5, 949–1011

2025

[4] [4]

Marcel B¨ okstedt,The rational homotopy type ofΩWhDiff, Algebraic Topology Aarhus 1982: Proceedings of a conference held in Aarhus, Denmark, August 1–7, 1982, Springer, 2006, pp. 25–37

1982

[5] [5]

Marcel B¨ okstedt and Friedhelm Waldhausen,The mapBSG→A( ∗)→QS 0, Algebraic topology and algebraic K-theory: proceedings of a Conference October 24-28, 1983, 1987

1983

[6] [6]

03, 375–397

Tobias Ekholm, Thomas Kragh, and Ivan Smith,Lagrangian exotic spheres, Journal of Topology and Analysis8 (2016), no. 03, 375–397

2016

[7] [7]

Tobias Ekholm and Ivan Smith,Exact Lagrangian immersions with a single double point, Journal of the American Mathematical Society29(2016), no. 1, 1–59

2016

[8] [8]

igusa’s theorem, Topology39(2000), no

YM Eliashberg and NM Mishachev,Wrinkling of smooth mappings-II Wrinkling of embeddings and k. igusa’s theorem, Topology39(2000), no. 4, 711–732

2000

[9] [9]

Emmanuel Giroux,Formes g´ en´ eratrices d’immersions lagrangiennes dans un espace cotangent, G´ eom´ etrie Symplec- tique et M´ ecanique: Colloque International La Grande Motte, France, 23–28 Mai, 1988, Springer, 2006, pp. 139–145

1988

[10] [10]

Allen Hatcher,Pictures of stable homotopy groups of spheres., https://pi.math.cornell.edu/ hatcher/stemfigs/stems.pdf

[11] [11]

3, 504–537

Michel A Kervaire and John W Milnor,Groups of homotopy spheres: I, Annals of mathematics77(1963), no. 3, 504–537

1963

[12] [12]

2, 639–731

Thomas Kragh,Parametrized ring-spectra and the nearby Lagrangian conjecture, Geometry & Topology17(2013), no. 2, 639–731

2013

[13] [13]

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

,Generating Functions inR 2n and the Hatcher-Waldhausen map, arXiv preprint arXiv:1804.02557 (2018). FRAMED BORDISM OF LAGRANGIAN HOMOTOPY SPHERES VIA GENERATING FUNCTIONS 13

work page internal anchor Pith review Pith/arXiv arXiv 2018

[14] [14]

1, 447–464

F Laudenbach,Formes diff´ erentielles de degr´ e 1 ferm´ ees non singuli` eres: classes d’homotopie de leurs noyaux, Commentarii Mathematici Helvetici51(1976), no. 1, 447–464

1976

[15] [15]

Noah Porcelli and Ivan Smith,Bordism of flow modules and exact Lagrangians, arXiv preprint arXiv:2401.11766 (2024)

work page arXiv 2024

[16] [16]

,Bordism from quasi-isomorphism, arXiv preprint arXiv:2509.21587 (2025)

work page arXiv 2025

[17] [17]

Douglas C Ravenel,Complex cobordism and stable homotopy groups of spheres, American Mathematical Soc., 2003

2003

[18] [18]

Friedhelm Waldhausen,Algebraic K-theory of spaces: a manifold approach, Current trends in algebraic topology, vol. 1, 1982. Email address:dgavela@brandeis.edu

1982