Pith. sign in

REVIEW 5 minor 44 references

Carlsson's Conjecture and the Generalized Total Rank Conjecture in Characteristic Two

T0 review · 0 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves the generalized total rank conjecture over regular rings of characteristic 2, and derives Carlsson's conjecture and the sphere rank problem.

arxiv 2607.22844 v3 pith:LRTHLOQG submitted 2026-07-24 math.AC math.ATmath.RT

Keller VandeBogert This is my paper
classification math.ACmath.ATmath.RT MSC 13D0213A3555N91
keywords generalizedtotalrankconjectureCarlsson'scharacteristic2FrobeniuspullbackTateconstructionelementaryabelian2-groupssphereproblemdifferentialmodules
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes a long-sought lower bound in commutative algebra: over a regular Noetherian domain of characteristic 2, any differential module with a finite projective flag and nonzero homology has rank at least 2^{codim H(P)}. The proof works by constructing a Tate-type differential on the tensor square P⊗P, and showing its homology is the Frobenius pullback of H(P). Counting lengths then yields the rank bound. From this algebraic result the paper derives Carlsson's conjecture for free actions of elementary abelian 2-groups in every rank, the sphere rank problem, and sharp homology bounds for finite group actions in characteristic 2.

What carries the argument

The Tate construction T_A(P) = (P⊗P, d_P⊗1 + 1⊗d_P + 1 + τ) — a differential because 2=0 — is the central object. Its homology is shown to equal A^F ⊗_A H(P), the Frobenius twist of the homology of P. This identification is proved with a filtration spectral sequence whose first page is the Frobenius pullback of a free resolution of H(P). The rank bound follows by deforming the Tate differential (adding s(1+τ)) and comparing lengths along a free flag.

What would settle it

Exhibit a free (Z/2)^4-action on a finite CW complex whose total mod-2 Betti number is below 16, or a finite free differential module over F_2[x_1,...,x_4] with nonzero finite-dimensional homology and rank below 16. A concrete checkable case is the translation action on (S^1)^4, which should give total Betti number exactly 16 as the sharpness statement requires.

Watch

Extended reading notes

Core claim

The central claim is Theorem A: if R is a regular Noetherian domain of characteristic 2 and P is a differential R-module admitting a finite projective flag with nonzero homology H(P), then rank_R(P) ≥ 2^{codim_R H(P)}. The engine is Theorem E: over a regular local ring of characteristic 2, the homology of the Tate construction T_R(P) = (P⊗P, ∂ + (1+τ)), where τ swaps the factors, is naturally isomorphic to the Frobenius pullback F^*_R H(P). Because Frobenius multiplies lengths by 2^d, a length comparison h(T_R(P)) ≤ h(P⊗P) ≤ rank_R(P) h(P) gives the bound. The paper presents this as the characteristic-2 half of a dichotomy: the generalized total rank conjecture was already known to fail in o

Load-bearing premise

The load-bearing premise is the cited existence of a minimal Hirsch-Brown model for arbitrary continuous actions of (Z/2)^d on finite CW complexes, together with exactness of the Tate construction; if either fails, Carlsson's conjecture would not follow from the algebraic rank theorem.

Editorial extensions

If this is right

  • Carlsson's conjecture holds in every rank: a free continuous (Z/2)^d-action on a nonempty finite CW complex has total mod-2 Betti number at least 2^d.
  • The sphere rank problem is resolved: a free (Z/2)^d-action on a product of m spheres forces d ≤ m.
  • For arbitrary continuous actions of (Z/2)^d, the total Betti number is at least min_x |E·x| = 2^{d-s}, where s is the maximum stabilizer rank; for a finite group G the bound is 2^{r_2(G)}.
  • Every bounded complex of projective modules over a finite group algebra in characteristic 2 with nonzero homology has total homology dimension at least 2^{r_2(G)}, and this bound is sharp.
  • The generalized total rank conjecture is now known to be true in characteristic 2 and false in odd characteristics over regular local rings, completing the dichotomy.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The identification of H(T(P)) with Frobenius pullback suggests a chain-level model of the Tate diagonal that is computable purely from differential modules, potentially simplifying equivariant homology computations in characteristic 2.
  • The singular examples in the paper show Theorem E can fail while the inequality h(T_R(P)) ≤ h(P⊗P) still holds; this raises a separate conjecture: the length inequality may hold for all rings of characteristic 2, independent of regularity.
  • The proof's use of Frobenius flatness hints that the right hypothesis for the rank bound is finite flat dimension of Frobenius rather than full regularity, pointing toward possible extensions to Cohen-Macaulay rings.
  • The sharpness construction through products of spheres suggests a richer family of rank bounds indexed by support variety dimension, beyond the single exponential 2^d.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper proves (Theorem A) that if R is a regular Noetherian domain of characteristic 2 and P is a bounded complex of finitely generated free R-modules (or, more generally, a differential module with a finite projective flag) with nonzero homology, then rank_R(P) ≥ 2^{codim_R H(P)}. The proof introduces a Tate construction T_R(P) = (P⊗_R P, ∂ + (1+τ)), proves an exactness property for it (Lemma 2.3), and establishes the key computation (Theorem E) identifying H(T_R(P)) with the Frobenius pullback of H(P) via a filtration spectral sequence (Theorem 3.5). The rank bound is then obtained by a Hilbert–Samuel multiplicity comparison (Proposition 2.5). From Theorem A the author deduces Carlsson's conjecture for free (Z/2)^d-actions, sharp bounds for arbitrary continuous actions, the corresponding statement for perfect complexes over finite group algebras, and the sphere rank problem.

Significance. If correct, Theorem A settles the generalized total rank conjecture over regular rings in characteristic 2 and, via standard reductions, Carlsson's conjecture for elementary abelian 2-groups. The algebraic core is self-contained: the exactness of the Tate functor, the flag construction, the spectral sequence, and the length comparison are proved in the text, and the paper contains no fitted parameters or circular dependencies. The explicit free-flag construction for dg modules over polynomial rings (Lemma 2.10) and the Macaulay2 examples illustrating the necessity of regularity are additional strengths. The main external input for the topological corollaries is the existence of the minimal Hirsch–Brown model, cited precisely to Allday–Puppe [AP93, §3.11]; I do not regard this as a gap, though a fuller statement would improve self-containedness.

minor comments (5)
  1. [Title] The title contains a typo: 'TOT AL' should be 'TOTAL'.
  2. [Theorem A statement] The quantity codim_R H(P) is used before it is defined. Consider defining codim_R N = min{ht q : q ∈ Supp_R N} in the introduction or immediately before Theorem A.
  3. [Corollary B proof] The reduction to Theorem A depends on the existence of a minimal Hirsch–Brown model for arbitrary continuous actions, cited to [AP93, §3.11]. Since this is the only external input in the topological applications, it would be helpful to state the precise theorem, including the hypotheses and the properties that the underlying S-module is free of rank equal to the total Betti number and that the differential is minimal.
  4. [Corollary C proof] The sharpness assertion relies on a verification that the Benson–Carlson parameter construction works in characteristic 2, with the odd-characteristic hypothesis in [JCar24] said to enter only later. A brief explanation of why the construction itself is valid in characteristic 2 would make the sharpness claim easier to check.
  5. [Example 3.8] The displayed definition of the complex P in the singular example is hard to parse; writing the maps explicitly (R ⟵ R^3 ⟵ R with the indicated matrices) would improve readability. The same applies to the R'-example.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the algebraic proof is self-contained and the topological bridge is external.

full rationale

The paper's central chain is a genuine mathematical derivation rather than a repackaging of its inputs. It defines the Tate construction T_R(P) = (P⊗P, ∂+(1+τ)), proves Lemma 3.3 identifying H(T_A(V)) with A^F⊗V for zero-differential free modules, then builds a filtered model (Lemma 3.1) and a spectral sequence (Theorem 3.5) to reduce general P to the free case. The identification of the first differential with 1⊗δ is proved from the explicit filtration, so Theorem E does not assume the Frobenius-twist conclusion. The rank bound then follows by an independent length comparison (Proposition 2.5) and the Frobenius length formula (Lemma 2.7), with no fitted parameters and no quantity being predicted after being used as input. The self-citations are not load-bearing: [Van24] is cited alongside an explicit construction that the paper reproduces, and [VW25] is used only for context and as a secondary reference for Koszul duality, whose primary source is Carlsson [GCar86]. The topological consequences depend on the Allday–Puppe minimal Hirsch–Brown model [AP93] and on Quillen's dimension theorem; these are external, established results, not author-defined equivalents of the conclusion. Even if the Hirsch–Brown model were to fail in some case, that would be a correctness or hypotheses gap in the reduction, not circularity. No step in the paper reduces to its own input by construction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are introduced; the proof is a derivation from axioms. The axioms are standard theorems in commutative algebra and topology, cited with locations: Kunz's theorem (Lemma 2.7; Theorem 3.5 proof), finite free resolutions over regular local rings (Lemma 3.1), associativity formula for multiplicities (Proposition 2.5), Allday–Puppe's Hirsch–Brown model and Quillen's dimension theorem (Corollary B), and the Benson–Carlson construction (Corollary C). None are ad hoc; no new entities are postulated.

assumptions (6)
  • standard math Kunz's theorem: a local ring of characteristic p is regular iff the Frobenius map is flat.
    Used to assert flatness of A^F and to compute length of Frobenius pullback (Lemma 2.7, Theorem E/3.5).
  • standard math Every finitely generated module over a regular local ring has a finite free resolution.
    Needed for the filtration construction in Lemma 3.1 and for the spectral sequence in Theorem 3.5.
  • standard math Associativity formula for multipities (Bruns–Herzog Cor. 4.7.8 / Roberts Prop. 5.2.11).
    Used in Proposition 2.5 to bound length_B_p(M_p) by e(s;M).
  • domain assumption Allday–Puppe minimal Hirsch–Brown model for equivariant cohomology (AP93 §3.11).
    Provides the dg S-module HX computing H^*_E(X) with free S-module of rank equal to the total Betti number; used in Corollary B.
  • standard math Quillen's dimension theorem (Qui71 I Thm 7.7).
    Identifies dim_S H^*_E(X) with the maximal stabilizer rank s; used in Corollary B.
  • domain assumption Benson–Carlson parameter construction (BC94 §4; JCar24).
    Produces a bounded projective kG-complex with homology of total dimension 2^{r_2(G)}; used for sharpness in Corollary C.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Carlsson's Conjecture and the Generalized Total Rank Conjecture in Characteristic Two." pith.science (2026). https://pith.science/paper/LRTHLOQG

@misc{pith2026260722844,
  author       = {Pith},
  title        = {Pith review of: Carlsson's Conjecture and the Generalized Total Rank Conjecture in Characteristic Two},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LRTHLOQG}},
  note         = {Machine review of arXiv:2607.22844}
}
abstract

We prove the generalized total rank conjecture over regular rings in characteristic $2$: if $R$ is a regular Noetherian domain of characteristic $2$ and $P$ is a differential $R$-module admitting a finite projective flag and having nonzero homology $H(P)$, then $\rank_R(P)\ge2^{\codim_RH(P)}$. In particular, we prove Carlsson's conjecture for elementary abelian $2$-groups in every rank. We also obtain sharp homology bounds for arbitrary continuous actions of such groups and for perfect complexes over finite group algebras; the sphere rank conjecture follows. The proof identifies the homology of a chain model for the $C_2$-Tate construction on $P\otimes_RP$ with the Frobenius pullback of $H(P)$, and compares lengths by deforming the Tate differential.

Review history (2 revisions) →

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

44 extracted references · 2 linked inside Pith

  1. [1]

    J. F. Adams, Stable Homotopy and Generalised Homology, Chicago Lectures in Math., Univ.\ of Chicago Press, 1974

    1974

  2. [2]

    Adem and W

    A. Adem and W. Browder, The free rank of symmetry of (S^n)^k , Invent.\ Math.\ 92 (1988), no. 2, 431--440

    1988

  3. [3]

    Allday and V

    C. Allday and V. Puppe, Cohomological Methods in Transformation Groups, Cambridge Stud.\ Adv.\ Math.\ 32, Cambridge Univ.\ Press, Cambridge, 1993

    1993

  4. [4]

    L. L. Avramov and R.-O. Buchweitz, Lower bounds for Betti numbers, Compositio Math.\ 86 (1993), no. 2, 147--158

    1993

  5. [5]

    L. L. Avramov, R.-O. Buchweitz, and S. B. Iyengar, Class and rank of differential modules, Invent.\ Math.\ 169 (2007), no. 1, 1--35

    2007

  6. [6]

    Barthel, J

    T. Barthel, J. P. May, and E. Riehl, Six model structures for DG-modules over DGAs: model category theory in homological action, New York J.\ Math.\ 20 (2014), 1077--1159

    2014

  7. [7]

    D. J. Benson and J. F. Carlson, Projective resolutions and Poincar\'e duality complexes, Trans.\ Amer.\ Math.\ Soc.\ 342 (1994), no. 2, 447--488

    1994

  8. [8]

    Brinkmann, Relative homological algebra and the Adams spectral sequence, Arch.\ Math.\ (Basel) 19 (1968), 137--155

    H.-B. Brinkmann, Relative homological algebra and the Adams spectral sequence, Arch.\ Math.\ (Basel) 19 (1968), 137--155

    1968

Show all 44 references
  1. [9]

    M. K. Brown and D. Erman, Minimal free resolutions of differential modules, Trans.\ Amer.\ Math.\ Soc.\ 375 (2022), no. 10, 7509--7528

    2022

  2. [10]

    Bruns and J

    W. Bruns and J. Herzog, Cohen--Macaulay Rings, rev.\ ed., Cambridge Stud.\ Adv.\ Math.\ 39, Cambridge Univ.\ Press, 1998

    1998

  3. [11]

    D. A. Buchsbaum and D. Eisenbud, Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension 3, Amer.\ J.\ Math.\ 99 (1977), no. 3, 447--485

    1977

  4. [12]

    J. F. Carlson, The ranks of homology of complexes of projective modules over finite groups, Proc.\ Amer.\ Math.\ Soc.\ Ser.\ B 11 (2024), 402--405

    2024

  5. [13]

    Carlsson, On the non-existence of free actions of elementary abelian groups on products of spheres, Amer.\ J.\ Math.\ 102 (1980), no

    G. Carlsson, On the non-existence of free actions of elementary abelian groups on products of spheres, Amer.\ J.\ Math.\ 102 (1980), no. 6, 1147--1157

    1980

  6. [14]

    Carlsson, On the rank of abelian groups acting freely on (S^n)^k , Invent.\ Math.\ 69 (1982), no

    G. Carlsson, On the rank of abelian groups acting freely on (S^n)^k , Invent.\ Math.\ 69 (1982), no. 3, 393--400

    1982

  7. [15]

    Carlsson, On the homology of finite free ( /2)^n -complexes, Invent.\ Math.\ 74 (1983), no

    G. Carlsson, On the homology of finite free ( /2)^n -complexes, Invent.\ Math.\ 74 (1983), no. 1, 139--147

    1983

  8. [16]

    Carlsson, Free ( /2)^k -actions and a problem in commutative algebra, in: Transformation Groups (Pozna\'n 1985), Lecture Notes in Math.\ 1217, Springer, 1986, 79--83

    G. Carlsson, Free ( /2)^k -actions and a problem in commutative algebra, in: Transformation Groups (Pozna\'n 1985), Lecture Notes in Math.\ 1217, Springer, 1986, 79--83

    1985

  9. [17]

    G. Carlsson, Free ( /2)^3 -actions on finite complexes, in: Algebraic Topology and Algebraic K -Theory (Princeton, N.J., 1983), Ann.\ of Math.\ Stud.\ 113, Princeton Univ.\ Press, Princeton, NJ, 1987, 332--344

    1983

  10. [18]

    Carmeli, On the strict Picard spectrum of commutative ring spectra, Compos.\ Math.\ 159 (2023), no

    S. Carmeli, On the strict Picard spectrum of commutative ring spectra, Compos.\ Math.\ 159 (2023), no. 9, 1872--1897

    2023

  11. [19]

    J. D. Christensen, Ideals in triangulated categories: phantoms, ghosts and skeleta, Adv.\ Math.\ 136 (1998), no. 2, 284--339

    1998

  12. [20]

    P. E. Conner, On the action of a finite group on S^n S^n , Ann.\ of Math.\ (2) 66 (1957), 586--588

    1957

  13. [21]

    Evens, The cohomology ring of a finite group, Trans.\ Amer.\ Math.\ Soc.\ 101 (1961), 224--239

    L. Evens, The cohomology ring of a finite group, Trans.\ Amer.\ Math.\ Soc.\ 101 (1961), 224--239

    1961

  14. [22]

    D. R. Grayson and M. E. Stillman, Macaulay2, a software system for research in algebraic geometry, available at https://macaulay2.com

  15. [23]

    V. K. A. M. Gugenheim and J. P. May, On the theory and applications of differential torsion products, Mem.\ Amer.\ Math.\ Soc.\ No. 142, Amer.\ Math.\ Soc., 1974

    1974

  16. [24]

    Hanke, The stable free rank of symmetry of products of spheres, Invent.\ Math.\ 178 (2009), no

    B. Hanke, The stable free rank of symmetry of products of spheres, Invent.\ Math.\ 178 (2009), no. 2, 265--298; erratum, Invent.\ Math.\ 182 (2010), no. 1, 229

    2009

  17. [25]

    Hartshorne, Algebraic vector bundles on projective spaces: a problem list, Topology 18 (1979), no

    R. Hartshorne, Algebraic vector bundles on projective spaces: a problem list, Topology 18 (1979), no. 2, 117--128

    1979

  18. [26]

    Heller, A note on spaces with operators, Illinois J.\ Math.\ 3 (1959), no

    A. Heller, A note on spaces with operators, Illinois J.\ Math.\ 3 (1959), no. 1, 98--100

    1959

  19. [27]

    S. B. Iyengar and M. E. Walker, Examples of finite free complexes of small rank and small homology, Acta Math.\ 221 (2018), no. 1, 143--158

    2018

  20. [28]

    Kaledin, Spectral sequences for cyclic homology, in: Algebra, Geometry, and Physics in the 21st Century, Progr.\ Math.\ 324, Birkh\"auser/Springer, 2017, 99--129

    D. Kaledin, Spectral sequences for cyclic homology, in: Algebra, Geometry, and Physics in the 21st Century, Progr.\ Math.\ 324, Birkh\"auser/Springer, 2017, 99--129

    2017

  21. [29]

    Kunz, Characterizations of regular local rings of characteristic p , Amer.\ J.\ Math.\ 91 (1969), 772--784

    E. Kunz, Characterizations of regular local rings of characteristic p , Amer.\ J.\ Math.\ 91 (1969), 772--784

    1969

  22. [30]

    Lawson, Unwinding the relative Tate diagonal, J.\ Topol.\ 14 (2021), no

    T. Lawson, Unwinding the relative Tate diagonal, J.\ Topol.\ 14 (2021), no. 2, 674--699

    2021

  23. [31]

    Lipshitz and D

    R. Lipshitz and D. Treumann, Noncommutative Hodge-to-de Rham spectral sequence and the Heegaard Floer homology of double covers, J.\ Eur.\ Math.\ Soc.\ 18 (2016), no. 2, 281--325

    2016

  24. [32]

    Meyer, Homological algebra in bivariant K -theory and other triangulated categories.\ II, Tbil.\ Math.\ J.\ 1 (2008), 165--210

    R. Meyer, Homological algebra in bivariant K -theory and other triangulated categories.\ II, Tbil.\ Math.\ J.\ 1 (2008), 165--210

    2008

  25. [33]

    Nikolaus and P

    T. Nikolaus and P. Scholze, On topological cyclic homology, Acta Math.\ 221 (2018), no. 2, 203--409

    2018

  26. [34]

    O. B. Okutan and E. Yal c n, Free actions on products of spheres at high dimensions, Algebr.\ Geom.\ Topol.\ 13 (2013), no. 4, 2087--2099

    2013

  27. [35]

    Peskine and L

    C. Peskine and L. Szpiro, Dimension projective finie et cohomologie locale. Applications \`a la d\'emonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck, Inst.\ Hautes \'Etudes Sci.\ Publ.\ Math.\ 42 (1973), 47--119

    1973

  28. [36]

    Quillen, The spectrum of an equivariant cohomology ring

    D. Quillen, The spectrum of an equivariant cohomology ring. I, Ann.\ of Math.\ (2) 94 (1971), no. 3, 549--572; II, ibid., 573--602

    1971

  29. [37]

    P. C. Roberts, Multiplicities and Chern Classes in Local Algebra, Cambridge Tracts in Math.\ 133, Cambridge Univ.\ Press, Cambridge, 1998

    1998

  30. [38]

    R\"uping and M

    H. R\"uping and M. Stephan, Multiplicativity and nonrealizable equivariant chain complexes, J.\ Pure Appl.\ Algebra 226 (2022), no. 8, Paper No. 107023

    2022

  31. [39]

    P. A. Smith, Permutable periodic transformations, Proc.\ Natl.\ Acad.\ Sci.\ USA 30 (1944), no. 5, 105--108

    1944

  32. [40]

    VandeBogert, Flagged perturbations and anchored resolutions, arXiv:2408.02749 (2024)

    K. VandeBogert, Flagged perturbations and anchored resolutions, arXiv:2408.02749 (2024)

    2024 arXiv

  33. [41]

    VandeBogert and M

    K. VandeBogert and M. E. Walker, The total rank conjecture in characteristic 2, Duke Math.\ J.\ 174 (2025), no. 2, 287--312

    2025

  34. [42]

    M. E. Walker, Total Betti numbers of modules of finite projective dimension, Ann.\ of Math.\ (2) 186 (2017), no. 2, 641--646

    2017

  35. [43]

    C. A. Weibel, An Introduction to Homological Algebra, Cambridge Stud.\ Adv. Math.\ 38, Cambridge Univ.\ Press, 1994

    1994

  36. [44]

    Yal c n, Free actions on products of real projective spaces, arXiv:2506.04067 (2025)

    E. Yal c n, Free actions on products of real projective spaces, arXiv:2506.04067 (2025)

    2025 arXiv

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.