pith. sign in

arxiv: 2407.05124 · v2 · submitted 2024-07-06 · 🧮 math.AT

Global 2-rings and genuine refinements

David Gepner , Sil Linskens , Luca Pol This is my paper

Pith reviewed 2026-05-23 23:24 UTC · model grok-4.3

classification 🧮 math.AT
keywords global 2-ringsgenuine refinementsequivariant cohomologyelliptic cohomologytempered cohomologyglobal spectraE-infinity ringschange of group axioms
0
0 comments X

The pith

Genuine global 2-rings refine their decategorified cohomology theories to E_∞-ring objects in global spectra.

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

The paper defines a naive global 2-ring as a functor from the opposite of the infinity-category of global spaces to presentably symmetric monoidal stable infinity-categories. It proposes conditions under which such a 2-ring counts as genuine, namely that the associated family of equivariant cohomology theories obeys the change-of-group axioms of Ginzburg, Kapranov and Vasserot. Under those conditions the decategorified multiplicative global cohomology theory admits a canonical refinement to an E_∞-ring in global spectra. The construction is illustrated by two examples that produce global spectra representing equivariant elliptic cohomology and tempered cohomology.

Core claim

Genuine global 2-rings are those naive global 2-rings whose associated equivariant cohomology theories satisfy the change-of-group axioms; for any such genuine 2-ring the decategorified multiplicative global cohomology theory canonically refines to an E_∞-ring object in global spectra. Concrete instances arise from quasi-coherent sheaves on the torsion points of an oriented spectral elliptic curve and from Lurie's theory of tempered local systems, yielding global spectra for equivariant elliptic cohomology and tempered cohomology respectively.

What carries the argument

The genuine global 2-ring, which enforces the change-of-group axioms and thereby guarantees the canonical E_∞-ring refinement of the associated multiplicative global cohomology theory.

If this is right

  • Equivariant elliptic cohomology is represented by an E_∞-ring object in global spectra.
  • Tempered cohomology is represented by an E_∞-ring object in global spectra.
  • Every genuine global 2-ring produces a multiplicative global cohomology theory that refines canonically to global spectra.
  • The refinement process applies uniformly to any 2-ring meeting the change-of-group condition.

Where Pith is reading between the lines

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

  • The same refinement technique may apply to other higher-categorical inputs that produce multiplicative global cohomology theories.
  • Global spectra obtained this way could serve as a uniform setting in which to compare elliptic cohomology with other equivariant theories.
  • The change-of-group axioms might be adapted to define genuineness for 2-rings valued in other target categories.

Load-bearing premise

That satisfying the change-of-group axioms is sufficient to guarantee a canonical E_∞-ring refinement in global spectra.

What would settle it

An explicit naive global 2-ring whose associated equivariant theories obey the change-of-group axioms but whose decategorified multiplicative theory fails to admit a canonical E_∞-ring structure in global spectra.

read the original abstract

We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring decategorifies to a multiplicative cohomology theory on global spaces, i.e. a naive global ring. We suggest when a naive global 2-ring deserves to be called \emph{genuine}. As evidence, we associate to such a global 2-ring a family of equivariant cohomology theories which satisfy a version of the change of group axioms introduced by Ginzburg, Kapranov and Vasserot. We further show that the decategorified multiplicative global cohomology theory associated to a genuine global $2$-ring canonically refines to an $\mathbb{E}_\infty$-ring object in global spectra. As we show, two interesting examples of genuine global 2-rings are given by quasi-coherent sheaves on the torsion points of an oriented spectral elliptic curve and Lurie's theory of tempered local systems. In particular, we obtain global spectra representing equivariant elliptic cohomology and tempered cohomology.

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

2 major / 2 minor

Summary. The paper defines naive global 2-rings as functors from the opposite of the ∞-category of global spaces to presentably symmetric monoidal stable ∞-categories. It proposes a genuineness condition under which such a 2-ring associates a family of equivariant cohomology theories satisfying the Ginzburg-Kapranov-Vasserot change-of-group axioms. It proves that the decategorified multiplicative global cohomology theory of a genuine global 2-ring canonically refines to an E_∞-ring object in global spectra. Two examples are treated in detail: quasi-coherent sheaves on the torsion points of an oriented spectral elliptic curve, and Lurie's tempered local systems; these yield global spectra representing equivariant elliptic cohomology and tempered cohomology.

Significance. If the central constructions and refinement theorem hold, the paper supplies a systematic ∞-categorical framework that upgrades naive multiplicative global cohomology theories to genuine E_∞-ring objects in global spectra. The explicit link to two well-studied examples (equivariant elliptic cohomology and tempered cohomology) demonstrates that the genuineness condition is satisfied in cases of independent interest. The work therefore offers both a conceptual refinement of existing global homotopy theory and concrete new objects in the category of global spectra.

major comments (2)
  1. [Definition of genuineness and § on examples] The genuineness condition (association to a family of equivariant theories satisfying the GKV change-of-group axioms) is the load-bearing hypothesis for both the refinement theorem and the claim that the examples are genuine. The manuscript should supply a self-contained verification that the two concrete examples satisfy the full set of change-of-group axioms, including the precise compatibility with the global-space functoriality; a reference to prior work is insufficient if the axioms are restated in the paper's own ∞-categorical language.
  2. [Refinement theorem] The canonical refinement of the decategorified theory to an E_∞-ring in global spectra is stated as a theorem whose proof relies on the genuineness hypothesis. The argument should be expanded to indicate which universal property or adjunction is used to produce the E_∞-structure and whether any additional coherence data (beyond the GKV axioms) is required.
minor comments (2)
  1. [Introduction and §2] Notation for the ∞-category of global spaces and for the target presentably symmetric monoidal stable ∞-categories should be introduced once and used consistently; several passages reuse symbols without explicit redefinition.
  2. [Examples section] The abstract claims that the examples 'obtain global spectra representing equivariant elliptic cohomology and tempered cohomology,' but the precise relationship (e.g., whether the resulting spectrum is the universal one or a specific model) is not restated in the body; a short clarifying sentence would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive suggestions. We address the two major comments point by point below.

read point-by-point responses

  1. Referee: [Definition of genuineness and § on examples] The genuineness condition (association to a family of equivariant theories satisfying the GKV change-of-group axioms) is the load-bearing hypothesis for both the refinement theorem and the claim that the examples are genuine. The manuscript should supply a self-contained verification that the two concrete examples satisfy the full set of change-of-group axioms, including the precise compatibility with the global-space functoriality; a reference to prior work is insufficient if the axioms are restated in the paper's own ∞-categorical language.

    Authors: We agree that a fully self-contained verification is desirable. In the revised version we will expand the examples section to include explicit checks, in the paper's ∞-categorical language, that both quasi-coherent sheaves on the torsion points of an oriented spectral elliptic curve and Lurie's tempered local systems satisfy the complete set of GKV change-of-group axioms, including all required compatibilities with global-space functoriality. revision: yes

  2. Referee: [Refinement theorem] The canonical refinement of the decategorified theory to an E_∞-ring in global spectra is stated as a theorem whose proof relies on the genuineness hypothesis. The argument should be expanded to indicate which universal property or adjunction is used to produce the E_∞-structure and whether any additional coherence data (beyond the GKV axioms) is required.

    Authors: We will expand the proof of the refinement theorem to state explicitly that the decategorified theory lifts via the free-forgetful adjunction between naive global rings and E_∞-ring objects in global spectra. The expanded argument will confirm that the GKV axioms supplied by genuineness are sufficient and that no further coherence data is needed. revision: yes

Circularity Check

0 steps flagged

No significant circularity; definitions and proofs are self-contained

full rationale

The paper defines naive global 2-rings as functors from global spaces^op to presentably symmetric monoidal stable ∞-categories, decategorifies them to naive global rings via global sections, proposes a genuineness condition by associating to equivariant theories satisfying external GKV change-of-group axioms, and proves a canonical refinement to an E_∞-ring in global spectra. Examples draw on independent prior constructions (spectral elliptic curves, Lurie's tempered local systems). No equation or step reduces by construction to a fitted input, self-citation, or renamed ansatz; all load-bearing claims are new categorical constructions or external references without internal reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central constructions rely on standard axioms of infinity-category theory and introduce the new notion of genuine global 2-rings defined by suggested conditions without independent evidence beyond the definitions themselves.

axioms (1)
  • standard math The ∞-category of global spaces and presentably symmetric monoidal stable ∞-categories behave according to the standard theory of presentable symmetric monoidal stable infinity-categories.
    Invoked directly in the definition of a naive global 2-ring.
invented entities (1)
  • genuine global 2-ring no independent evidence
    purpose: A refined version of a naive global 2-ring that satisfies additional conditions yielding equivariant theories with change-of-group axioms.
    Suggested in the abstract as the condition under which the decategorified theory refines to an E_∞-ring and produces the desired global spectra.

pith-pipeline@v0.9.0 · 5728 in / 1416 out tokens · 30960 ms · 2026-05-23T23:24:33.521157+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The U(1)-topological elliptic genus is surjective

    math.AT 2026-04 unverdicted novelty 7.0

    The U(1)-topological elliptic genus lifts to connective topological Jacobi forms and is surjective in homotopy.