pith. sign in

arxiv: 2605.24637 · v1 · pith:SJTU3RJOnew · submitted 2026-05-23 · 🧮 math.AG · math.AT· math.CT· math.RT

A Nilpotence Theorem for Rational Rigid 2-Rings of Moderate Growth

Logan Hyslop This is my paper

Pith reviewed 2026-06-30 12:12 UTC · model grok-4.3

classification 🧮 math.AG math.ATmath.CTmath.RT
keywords nilpotence theoremrigid 2-ringmoderate growth conditiontt-fieldsE-infinity ringTannakian categorymixed motivestensor categories
0
0 comments X

The pith

Rational rigid 2-rings with objects of moderate growth satisfy a nilpotence theorem and have enough tt-fields.

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

The paper proves a nilpotence theorem for any rational rigid 2-ring whose objects obey a moderate growth condition drawn from tensor category theory. This condition ensures that nilpotent elements in endomorphism rings can be detected in a controlled manner. The result applies directly to modules over rational E-infinity rings and to derived categories of super-Tannakian categories in characteristic zero. It further shows that every such 2-ring possesses enough tt-fields, which may be taken as Perf(L) for an even 2-periodic field L. Readers care because the theorem supplies a uniform way to establish nilpotence in categories arising in homotopy theory and algebraic geometry.

Core claim

In this short note, we prove a general nilpotence theorem for a rational rigid 2-ring all of whose objects satisfy a certain moderate growth condition inspired from the theory of tensor categories. This applies in particular to the category of modules over a rational E_∞-ring, to the derived category of any super-Tannakian category in characteristic zero, and conjecturally to Voevodsky's rational category of mixed motives over a field DM_Q. In fact, we further prove that any such category has enough tt-fields, which can be chosen to be of the form Perf(L) for an even 2-periodic field L.

What carries the argument

The moderate growth condition on objects of a rational rigid 2-ring, which together with rationality and rigidity forces the nilpotence theorem and the existence of enough tt-fields.

If this is right

  • Nilpotence holds throughout the category of modules over any rational E_∞-ring.
  • Nilpotence holds in the derived category of any super-Tannakian category in characteristic zero.
  • Every such 2-ring contains enough tt-fields of the form Perf(L) for an even 2-periodic field L.
  • The nilpotence theorem applies conjecturally to Voevodsky's rational mixed motives category DM_Q.

Where Pith is reading between the lines

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

  • Verification of the moderate growth condition in further 2-categories could extend the nilpotence result to additional settings in algebraic geometry.
  • The existence of tt-fields may simplify detection of nilpotence in other rigid tensor-triangular categories.
  • The framework suggests testing whether similar growth bounds control nilpotence in non-rational or non-rigid settings.
  • Connections between moderate growth and classical dimension functions in representation theory could produce new vanishing results.

Load-bearing premise

The moderate growth condition on objects, together with rationality and rigidity of the 2-ring, is sufficient to imply both the nilpotence theorem and the existence of enough tt-fields.

What would settle it

A concrete rational rigid 2-ring satisfying the moderate growth condition in which some non-nilpotent endomorphism exists or in which tt-fields fail to exist in sufficient number.

Figures

Figures reproduced from arXiv: 2605.24637 by Logan Hyslop.

Figure 1
Figure 1. Figure 1: Paul Balmer “Between Sky and Ocean” 46”x96” mixed media on canvas1 Contents 1. Introduction 2 2. Background on Schur Functors 5 3. Schur-finite Rational Rigid 2-Rings 9 4. Homological Spectra in the Schur-finite Case 13 Appendix A. The Non-Rigid 2-Affine Line 19 References 21 Date: May 26, 2026. 2020 Mathematics Subject Classification. 18F99; 18G80, 55P43, 55U35. Key words and phrases. tensor triangular ge… view at source ↗
read the original abstract

In this short note, we prove a general nilpotence theorem for a rational rigid 2-ring all of whose objects satisfy a certain ``moderate growth condition'' inspired from the theory of tensor categories. This applies in particular to the category of modules over a rational $E_{\infty}$-ring, to the derived category of any super-Tannakian category in characteristic zero, and conjecturally to Voevodsky's rational category of mixed motives over a field $DM_{\mathbb{Q}}$. In fact, we further prove that any such category has enough tt-fields, which can be chosen to be of the form Perf(L) for an even 2-periodic field L.

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

0 major / 2 minor

Summary. The manuscript proves a general nilpotence theorem for rational rigid 2-rings in which every object satisfies a moderate growth condition (defined via a bound on the growth of graded pieces in the Postnikov tower). It further establishes that any such 2-ring has enough tt-fields, which may be taken to be of the form Perf(L) for an even 2-periodic field L. The result is applied to the category of modules over a rational E_∞-ring, the derived category of any super-Tannakian category in characteristic zero, and is conjectured to apply to Voevodsky's DM_Q.

Significance. If the central claims hold, the work supplies a uniform nilpotence result across several contexts in tensor-triangular geometry and motivic categories, together with an explicit construction of enough tt-fields via localization that preserves the growth bound. The use of rationality to obtain a convergent spectral sequence whose differentials are controlled by the growth hypothesis, combined with rigidity to close the induction, constitutes a clean and reusable argument.

minor comments (2)
  1. The definition of the moderate growth condition (via the Postnikov filtration) should be stated as a numbered definition in §2 rather than only in the body of the proof of the main theorem, to facilitate verification in the listed applications.
  2. In the discussion of the tt-field construction, the precise localization functor that preserves the moderate growth bound should be given an explicit reference or equation number.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. There are no major comments to address.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The manuscript states a nilpotence theorem for rational rigid 2-rings under a moderate growth hypothesis on objects, proved via a convergent spectral sequence whose differentials are controlled by the growth bound, with rigidity supplying duals for induction. Existence of tt-fields follows from constructing a conservative functor to Perf(L) that preserves the growth condition. These steps rely on standard homological algebra and localization techniques without reducing any claim to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation. The argument is independent of the target result and uses externally verifiable tools.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only abstract available, so ledger is inferred from stated hypotheses; moderate growth condition is the central new modeling choice.

axioms (1)
  • standard math Standard properties of rigid 2-rings and tensor categories in characteristic zero
    Invoked to set up the nilpotence statement and applications.

pith-pipeline@v0.9.1-grok · 5641 in / 1006 out tokens · 29670 ms · 2026-06-30T12:12:49.069470+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

10 extracted references · 7 canonical work pages · 1 internal anchor

  1. [1]

    Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley

    [Bal05] Paul Balmer. “The spectrum of prime ideals in tensor triangulated cat- egories”. In:J. Reine Angew. Math.588 (2005), pp. 149–168.issn: 0075-4102.doi:10 . 1515 / crll . 2005 . 2005 . 588 . 149.url:https : //doi.org/10.1515/crll.2005.2005.588.149. [Bal20a] P Balmer. “Nilpotence Theorems Via Homological Residue Fields”. In: Tunisian Journal of Mathem...

    work page doi:10.1515/crll.2005.2005.588.149 2005

  2. [2]

    Geometric Points in Tensor Triangular Geometry

    [BHR26] Tobias Barthel, Logan Hyslop, and Maxime Ramzi. “Geometric Points in Tensor Triangular Geometry”. In:arXiv preprint arXiv:2603.25664 (2026). [BHS22] Robert Burklund, Jeremy Hahn, and Andrew Senger.Galois recon- struction of Artin-TateR-motivic spectra

    work page arXiv 2026

  3. [3]

    Galois reconstruction of Artin-Tate

    arXiv:2010 . 10325 [math.AT].url:https://arxiv.org/abs/2010.10325. [BKS19] Paul Balmer, Henning Krause, and Greg Stevenson. “Tensor-triangular fields: ruminations”. In:Selecta Mathematica25.1 (2019), p

    work page arXiv 2010

  4. [4]

    The Chro- matic Nullstellensatz

    [BSY22] Robert Burklund, Tomer M. Schlank, and Allen Yuan. “The Chro- matic Nullstellensatz”. In:arXiv e-prints, arXiv:2207.09929 (July 2022), arXiv:2207.09929.doi:10 . 48550 / arXiv . 2207 . 09929. arXiv:2207 . 09929 [math.AT]. [Del02] Pierre Deligne. “Cat´ egories tensorielles”. In:Mosc. Math. J2.2 (2002), pp. 227–248. [Del07] P. Deligne. “La cat´ egori...

    work page arXiv 2022

  5. [5]

    Cohomology of finite group schemes over a field

    Tata Inst. Fund. Res. Stud. Math. Tata Inst. Fund. Res., Mumbai, 2007, pp. 209–273.isbn: 978-81-7319-802-1. [FS97] Eric M Friedlander and Andrei Suslin. “Cohomology of finite group schemes over a field”. In:Inventiones mathematicae127.2 (1997), pp. 209–

    2007

  6. [6]

    A note on Tannakian categories and mixed motives

    [Gal21] Martin Gallauer. “A note on Tannakian categories and mixed motives”. In:Bulletin of the London Mathematical Society53.1 (2021), pp. 119–

    2021

  7. [7]

    The Cobordism Hypothesis in Dimension 1

    [Har12] Yonatan Harpaz. “The Cobordism Hypothesis in Dimension 1”. In: arXiv e-prints, arXiv:1210.0229 (Sept. 2012), arXiv:1210.0229.doi:10. 48550/arXiv.1210.0229. arXiv:1210.0229 [math.AT]. [HN25] Matthew H Hamil and Daniel K Nakano. “The homological spectrum and nilpotence theorems for Lie superalgebra representations”. In:Jour- nal of Algebra(2025). [H...

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  8. [8]

    2009 , PAGES =

    Annals of Mathematics Stud- ies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925. isbn: 978-0-691-14049-0; 0-691-14049-9.doi:10.1515/9781400830558. url:https://doi.org/10.1515/9781400830558. [Lur17] Jacob Lurie. “Higher Algebra”. In: (2017). available online.url:https: //www.math.ias.edu/˜lurie/papers/HA.pdf. [Mac22] Andrew W Macpherson. “A...

    work page doi:10.1515/9781400830558 2009

  9. [9]

    Schur Functors and Motives

    [Maz04] Carlo Mazza. “Schur Functors and Motives”. In:K-Theory33 (2004), pp. 89–106. [Oka98] Soichi Okada. “Applications of minor summation formulas to rectangular- shaped representations of classical groups”. In:Journal of Algebra205.2 (1998), pp. 337–367. [PP25] Irakli Patchkoria and Piotr Pstragwoski.Adams spectral sequences and Franke’s algebraicity c...

    2004

  10. [10]

    url:https://arxiv.org/abs/2604.01863

    arXiv:2604.01863 [math.KT]. url:https://arxiv.org/abs/2604.01863. Logan Hyslop, Harvard University Department of Mathematics, 1 Oxford St, Cam- bridge, MA 02138, United States Email address:loganrhyslop@gmail.com URL:https://loganhyslop.github.io/

    work page arXiv