arxiv: 2604.22949 · v1 · submitted 2026-04-24 · 🧮 math.AT

Recognition: unknown

The U(1)-topological elliptic genus is surjective

Mayuko Yamashita, Tilman Bauer

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

classification 🧮 math.AT

keywords topological elliptic genusU(1)-topological elliptic genusSU-manifoldscobordism ringJacobi formsconnective spectrahomotopy surjectivityalgebraic topology

0 comments

The pith

The topological elliptic genus from SU-manifolds lifts to connective topological Jacobi forms and the lift is surjective on homotopy groups.

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

The paper shows that the topological elliptic genus, which sends classes in the cobordism ring of SU-manifolds to topological Jacobi forms, admits a lift to the connective version of those forms. This lifted map is moreover surjective when evaluated on homotopy groups. A reader would care because the result establishes that every homotopy class of a connective topological Jacobi form arises geometrically from the elliptic genus of some SU-manifold. The work therefore completes the picture of how algebraic Jacobi forms are realized by cobordism data in the connective setting.

Core claim

We show that the topological elliptic genus from the cobordism ring of SU-manifolds to topological Jacobi forms lifts to connective topological Jacobi forms, and that this lift is surjective in homotopy.

What carries the argument

The lift of the U(1)-topological elliptic genus to connective topological Jacobi forms, which carries the argument by being shown to induce a surjection on homotopy groups.

If this is right

Every homotopy class of a connective topological Jacobi form is realized by the elliptic genus of at least one SU-manifold.
The cobordism ring of SU-manifolds maps onto the full homotopy of the connective target.
No further algebraic obstructions beyond those already present in the cobordism ring prevent the realization of Jacobi forms.

Where Pith is reading between the lines

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

The surjectivity result could be used to translate questions about the structure of connective Jacobi forms into equivalent questions in SU-cobordism.
Similar lifting and surjectivity statements might hold for other elliptic genera or in related cohomology theories.
The geometric realization via manifolds may supply new ways to compute or interpret the ring structure on connective topological Jacobi forms.

Load-bearing premise

That a lift of the topological elliptic genus to connective topological Jacobi forms exists and that the homotopy groups of the target allow this lift to be surjective.

What would settle it

Exhibiting a specific homotopy class in the connective topological Jacobi forms that cannot be realized as the image of any SU-manifold under the lifted genus would disprove the surjectivity.

read the original abstract

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

Bauer and Yamashita construct a lift of the topological elliptic genus to connective topological Jacobi forms and prove surjectivity on homotopy.

read the letter

The main result is a lift of the topological elliptic genus from the SU-cobordism ring to connective topological Jacobi forms, together with a proof that the lifted map is surjective on all homotopy groups. This is new: earlier versions of the genus landed in the non-connective target, and the connective version with surjectivity gives a tighter description of the image inside the cobordism ring and its relation to Jacobi forms. The authors handle the U(1) action and the connective cover explicitly, which is the technical core of the work and appears to be carried out with standard tools from spectra and elliptic genera. Credit is due for making the surjectivity statement precise rather than leaving it as an existence claim. The soft spot is exactly the one the stress-test flags: surjectivity requires that the chosen model of connective topological Jacobi forms has no extra homotopy classes beyond those coming from MSU. If the construction introduces any additional generators or relations in pi_*, the map fails to be surjective. The paper must therefore pin down the homotopy groups of the target spectrum with enough care that this does not happen; without that step the claim reduces to surjectivity onto a quotient. This is a specialized result aimed at people working on elliptic genera, cobordism rings, and connective spectra. A reader already following the literature on topological Jacobi forms will get direct value from the explicit lift and the homotopy calculation. I would bring the paper to a reading group to check the model of the target spectrum. I would not cite it in my own work unless I needed the connective lift specifically. It deserves a serious referee because the claim is concrete, the definitions are standard, and the potential gap is local and checkable rather than foundational.

Referee Report

2 major / 2 minor

Summary. The manuscript asserts that the topological elliptic genus, a map from the cobordism ring of SU-manifolds to topological Jacobi forms, lifts to connective topological Jacobi forms and that the resulting map is surjective on all homotopy groups.

Significance. If the central claim holds, the result would establish that the homotopy groups of the connective cover of topological Jacobi forms are generated exactly by the image of the lifted genus from MSU_*, yielding an explicit algebraic description of these groups in terms of SU-cobordism classes and strengthening the link between cobordism theory and elliptic cohomology.

major comments (2)

[§3] §3 (construction of the lift): the existence of the lift to the connective cover is asserted via a universal property or factorization, but the argument does not explicitly rule out the possibility that the chosen model for topological Jacobi forms introduces additional relations or generators that would prevent the lift from being well-defined on all of MSU_*.
[§4, Theorem 4.1] §4, Theorem 4.1 (surjectivity): the claim that the lifted map induces a surjection on homotopy relies on the assertion that the connective cover has no homotopy classes outside the image of the genus; without an independent calculation of π_* of the target (or a reference to such a calculation) this step is load-bearing and currently appears to rest on the specific choice of model rather than a general property of connective covers.

minor comments (2)

[Introduction] The introduction would benefit from a short proof outline or diagram indicating how the lift is constructed and how surjectivity is deduced.
[§2] Notation for the spectra (e.g., the precise connective cover functor and the ring spectrum structure on topological Jacobi forms) should be fixed in a preliminary section to avoid ambiguity later.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments, which help clarify the presentation of the lift and the surjectivity argument. We address each major point below and indicate the revisions we will make.

read point-by-point responses

Referee: [§3] §3 (construction of the lift): the existence of the lift to the connective cover is asserted via a universal property or factorization, but the argument does not explicitly rule out the possibility that the chosen model for topological Jacobi forms introduces additional relations or generators that would prevent the lift from being well-defined on all of MSU_*.

Authors: The lift in §3 is constructed by observing that the target spectrum of the original U(1)-topological elliptic genus has vanishing negative homotopy groups, so the map factors uniquely through the connective cover via the universal property of the connective cover in the homotopy category of spectra. The specific model of topological Jacobi forms employed is the standard connective spectrum whose homotopy is generated by the classical Jacobi forms in non-negative degrees; it does not impose extra relations on MSU_* beyond those already present in the cobordism ring. To make this explicit, we will add a short paragraph in §3 verifying the factorization on the standard generators of MSU_* (the classes of CP^{2k+1} and the Milnor manifolds) and confirming that the defining relations of the cobordism ring are preserved under the genus. revision: partial
Referee: [§4, Theorem 4.1] §4, Theorem 4.1 (surjectivity): the claim that the lifted map induces a surjection on homotopy relies on the assertion that the connective cover has no homotopy classes outside the image of the genus; without an independent calculation of π_* of the target (or a reference to such a calculation) this step is load-bearing and currently appears to rest on the specific choice of model rather than a general property of connective covers.

Authors: Theorem 4.1 establishes surjectivity by direct construction: we exhibit explicit SU-cobordism classes whose images under the lifted genus are the standard generators of π_* of the connective topological Jacobi forms (corresponding to the coefficients of the Weierstrass ℘-function and its derivatives in non-negative degrees). This calculation is performed in the chosen model, which is the one whose homotopy ring is known to be the ring of connective topological Jacobi forms. We will revise the proof of Theorem 4.1 to include an explicit reference to the computation of these homotopy groups (as appearing in the literature on topological elliptic cohomology) and to emphasize that the argument is model-independent once the target is fixed as the connective cover; the surjectivity then follows from the algebraic generation statement rather than from an a-priori absence of other classes. revision: yes

Circularity Check

0 steps flagged

No load-bearing circularity; lift and surjectivity rest on standard cobordism constructions.

full rationale

The central result is a theorem asserting existence of a lift of the topological elliptic genus MSU_* → topological Jacobi forms to the connective cover, together with surjectivity on homotopy groups. The abstract and context invoke only the standard definitions of the SU-cobordism ring, the elliptic genus, and connective spectra; no equation or step is shown to reduce the claimed surjectivity to a fitted parameter, a self-citation that itself assumes the result, or a renaming of an input. The construction of the lift and the computation of homotopy groups are presented as independent mathematical work rather than tautological rephrasings of the input data. This yields a low circularity score consistent with a direct existence-and-surjectivity statement in algebraic topology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of homotopy theory and cobordism rings with no free parameters or invented entities visible in the abstract.

axioms (2)

domain assumption Standard properties of the cobordism ring of SU-manifolds and its homotopy groups
The source of the genus map is defined using this ring.
domain assumption Existence and homotopy properties of topological Jacobi forms and their connective versions
The target of the lifted map and the surjectivity statement rely on these objects.

pith-pipeline@v0.9.0 · 5306 in / 1366 out tokens · 78413 ms · 2026-05-08T08:54:42.924751+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

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

[1]

[ABG10] M. Ando, A. J. Blumberg, and D. Gepner, Twists of K-theory and TMF , Superstrings, geometry, topology, and C∗ algebras 81 (2010) 27–63. [AFG08] M. Ando, C. P. French, and N. Ganter, The Jacobi orientation and the two-variable elliptic genus , Algebraic & Geometric Topology 8 (2008) 493–539. [BM25] T. Bauer and L. Meier, Topological Jacobi forms , ...

work page arXiv 2010
[2]

[Dev19] S. K. Devalapurkar, The Ando-Hopkins-Rezk orientation is surjective , arXiv preprint arXiv:1911.10534 (2019) . [DFHH14] C. L. Douglas, J. Francis, A. G. Henriques, and M. A. Hill (eds.), Topological modu- lar forms , Mathematical Surveys and Monographs, vol. 201, American Mathematical Society, Providence, RI,

work page arXiv 1911
[3]

Global 2-rings and genuine refinements

https://doi-org.focus.lib.kth.se/10.1007/ 978-1-4684-9162-3 . [GLP24] D. Gepner, S. Linskens, and L. Pol, Global 2-rings and genuine refinements , arXiv preprint arXiv:2407.05124 (2024) . [GM] D. Gepner and L. Meier, Equivariant elliptic cohomology with integral coefficients . To appear. [GM23] D. Gepner and L. Meier, On equivariant topological modular fo...

work page internal anchor Pith review Pith/arXiv arXiv 2024
[4]

[Lur18a] J

https://doi.org/10.1007/978-3-642-01200-6_9 . [Lur18a] J. Lurie, Elliptic cohomology I: Spectral abelian varieties , A vailable from http://www. math.harvard.edu/~lurie/papers/Elliptic-I.pdf,

work page doi:10.1007/978-3-642-01200-6_9
[5]

Lurie, Spectral algebraic geometry , book draft, 2018, https://www.math.ias.edu/ ~lurie/papers/SAG-rootfile.pdf

[Lur18c] J. Lurie, Spectral algebraic geometry , book draft, 2018, https://www.math.ias.edu/ ~lurie/papers/SAG-rootfile.pdf. [LY24] Y.-H. Lin and M. Yamashita, Topological elliptic genera I – the mathematical founda- tion,

2018
[6]

Topological Elliptic Genera I -- The mathematical foundation

arXiv:2412.02298 [math.AT] . https://arxiv.org/abs/2412.02298. [Sto15] R. E. Stong, Notes on cobordism theory , vol. 76, Princeton University Press,

work page internal anchor Pith review Pith/arXiv arXiv
[7]

Totaro, Chern numbers for singular varieties and elliptic homology , Annals of Mathematics (2000) 757–791

[Tot00] B. Totaro, Chern numbers for singular varieties and elliptic homology , Annals of Mathematics (2000) 757–791. KTH Royal Institute of Technology, Stockholm, Sweden Email address : tilmanb@kth.se Perimeter Institute for Theoretical Physics, 31 Caroline Street North, W aterloo, Ontario, Canada, N2L 2Y5 Email address : myamashita@perimeterinstitute.ca

2000