Pith. sign in

REVIEW 4 major objections 5 minor 39 references

Absolutely flat algebras in tensor categories

T0 review · 4 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read The paper proves that in well-fibered pretannakian tensor categories, a commutative algebra is semisimple exactly when it is a product of simple algebras and exactly when it is absolutely flat.

desk verdict Strong conditional paper: the main theorems are likely correct and important, but the real referee work is checking the unpublished algebraic-geometry inputs, not the "left as an exercise" lemma. read the letter →

arxiv 2608.13137 v1 pith:EJA7RSWO submitted 2026-08-13 math.RT math.RA

Kevin Coulembier , Alexander Sherman This is my paper · ORCID
classification math.RTmath.RA MSC 18M0518M1514L1516E50
keywords tensorcategoriespretannakianabsolutelyflatalgebrassemisimplecommutativemoderategrowthaffinegroupschemesexactsubgroups
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 asks whether the classical trichotomy for algebras over a field survives inside tensor categories: for artinian algebras, semisimple, product of simple algebras, and absolutely flat (von Neumann regular) are the same. The authors show that in general tensor categories the three notions diverge, with two counterexamples in categories of superexponential growth. Their main theorems prove that in well-fibered pretannakian categories, the trichotomy holds for commutative algebras, and in positive characteristic for semisimple algebras in the category itself. Such categories include all Frobenius exact moderate growth pretannakian categories, and would include all moderate growth ones if the standing conjectures in the area are true. The proof works by describing every simple commutative algebra explicitly as a coordinate algebra of a homogeneous space of an affine group scheme.

What carries the argument

The load-bearing machinery is the passage to affine group schemes in a GR+MN pretannakian category and the study of invariant subalgebras k[G]^H for exact subgroups H. A subgroup is exact when induction is exact; for such H the algebra k[G]^H is simple, and the paper's Theorem 6.4 runs the argument in reverse: a simple commutative G-algebra with a k-point is recovered as k[G]^H. The proof combines the Nakayama property (annihilators of simple modules are maximal ideals), localization along non-zero divisors, the orbit-map immersion G/H to Spec A, and a new neutrality theorem (Appendix B) that produces symmetric tensor functors from the existence of algebra-valued fibre functors. These pieces turn the set-theoretic trichotomy into a structural statement about homogeneous spaces.

What would settle it

Test the unproved localization step directly: take an algebra B in a GR+MN category equipped with a directed system of subalgebras whose inclusions preserve non-zero divisors, and check whether Q(B) is the filtered union of Q(B_alpha); if this fails, Theorem 6.4 collapses. A more direct falsifier would be a simple commutative ind-algebra inside a well-fibered pretannakian category that is not artinian or not absolutely flat, or a semisimple commutative ind-algebra not decomposable into simples.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem A: if C is a well-fibered pretannakian category over an algebraically closed field, then every simple commutative algebra in Ind C is artinian and absolutely flat, every semisimple commutative algebra in Ind C is a product of simple algebras, and in positive characteristic every semisimple algebra in C is a product of simple algebras and absolutely flat. The sharper Theorem B says that for an affine group scheme G, a simple commutative G-equivariant algebra A is, after extending scalars from the field of invariants A^G to its algebraic closure L, isomorphic to L[G_L]^H = L[G_L/H] for an exact subgroup H. Thus the apparent pathology of tensor-categorical algebras disappears precisely when the category is well-fibered, and the classical trichotomy is recovered through geometric descriptions.

Load-bearing premise

The argument's weakest load-bearing premise is that a simple G-equivariant algebra with trivial invariants and a k-point is always recovered as k[G]^H; this relies on a localization lemma left without proof, together with the full algebraic-geometry framework for GR+MN categories.

Editorial extensions

If this is right

  • Every commutative artinian ind-algebra in a well-fibered pretannakian category satisfies all the equivalent properties in Theorem 5.1, so the classical trichotomy holds there.
  • In positive characteristic, semisimple algebras in the category itself decompose as products of simple algebras and are absolutely flat, extending the result beyond the ind-completion.
  • Every simple commutative G-equivariant algebra over an algebraically closed field is, up to extension of scalars to the algebraic closure of its invariant field, the coordinate algebra L[G_L/H] of a homogeneous space for an exact subgroup.
  • Frobenius exact moderate growth pretannakian categories are covered unconditionally; if the main conjectures of the area hold, all moderate growth pretannakian categories are covered.
  • The two counterexamples show the trichotomy fails in superexponential growth categories: one semisimple commutative algebra is not a product of simple algebras, and one simple commutative algebra is not absolutely flat.
  • Every simple commutative ind-algebra that is artinian is absolutely flat in the well-fibered case, so the open distinction between artinian and non-artinian simple algebras is closed for that class.

Reading between the lines

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

  • The structural description A tensor L is isomorphic to L[G_L/H] suggests that simple commutative ind-algebras in well-fibered categories are classified by exact subgroups up to conjugacy; the paper does not state this classification explicitly.
  • If the trichotomy extends to all moderate growth categories as conjectured, the long-open question of whether field extensions in tensor categories are absolutely flat, equivalently whether extension of scalars is always a tensor category, would follow as a special case.
  • The failure of the trichotomy in infinite-growth examples indicates the phenomenon is controlled by growth rate rather than by categorical finiteness alone, pointing to a possible converse: categories where the trichotomy holds may admit fibre functors to GR+MN categories.
  • The Hom-finite, infinite-length example in Appendix A suggests that in broader ind-tensor settings, lengths and morphism-space dimensions decouple; one could test whether similar examples arise from simple commutative algebras in well-fibered categories.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 5 minor

Summary. The paper studies, for algebras in ind-completions of tensor categories, the classical equivalences among semisimplicity, being a product of simple algebras, and absolute flatness. After establishing some general implications and counterexamples (Section 4), it proves the main structural results for well-fibered pretannakian categories: Theorem A states that every simple commutative ind-algebra is artinian and absolutely flat; every semisimple commutative ind-algebra is a product of simple algebras; and, in positive characteristic, every finite semisimple algebra in the category has the same property. The stronger tannakian version, Theorem B, describes a simple commutative G-equivariant algebra A as A⊗_{A^G} L ≅ L[G_L/H_L] for an exact subgroup H_L, where L is the algebraic closure of A^G. The proof passes through algebraic geometry in GR+MN tensor categories, using the authors' earlier and partly unpublished framework. The paper also gives examples showing failure in superexponential-growth categories, an appendix with the first example of a Hom-finite tensor category with objects of infinite length, and an appendix generalizing Deligne's neutrality theorem to GR+MN categories.

Significance. If the main theorems are correct, they substantially advance the structure theory of pretannakian categories of moderate growth, settling in that setting the relation between semisimple, artinian, and absolutely flat algebras and giving a concrete normal form for simple equivariant algebras. The paper is careful to state its results as conditional on the well-fibered hypothesis and on the geometric framework of [C2, C3, CS]; this explicitness is a strength. The counterexamples in Section 4 and the two appendices are valuable independent contributions, especially the Appendix A example of a Hom-finite symmetric tensor category with infinite-length objects. However, the central structural result Theorem 6.4 depends on at least one lemma stated without proof and on a substantial body of unpublished work, so the completeness of the proof is not yet at the standard required for a journal publication.

major comments (4)
  1. [§6.5.2, Lemma 6.28] Lemma 6.28 is stated with the proof 'left as an exercise', yet it is load-bearing: it is used in Lemma 6.29 to obtain Q(A)=Q(k[G]^H), which in turn is essential for Corollary 6.30 and hence for Theorem 6.4 and Theorem A(1). The lemma is not a routine formal manipulation: one must prove that the Q(B_α) form a directed system inside Q(B) and that every fraction in Q(B) is represented in some Q(B_α), using the hypothesis that the inclusions preserve non-zero divisors in the correct direction. A complete proof, or a precise reference, must be supplied.
  2. [§6.5.1, before Lemma 6.24] The proof asserts that a closed point φ: A → k′ of Spec A exists 'since the (MN) condition implies that the only simple algebras in IndD are field extensions of k'. No proof or reference is given for this claim, and the claim is needed to construct the orbit map and to define the stabilizer H. The related Lemma 6.3 proves that A^G is a field, but that is a different statement. This gap must be closed before Theorem 6.4 is fully supported.
  3. [§6.1–§6.5 and Appendix B] The proof of Theorem 6.4 relies heavily on the unpublished or not-yet-available works [C3, CS, C4] for foundational facts: the theory of schemes in tensor categories, orbit maps and immersions (e.g. [CS, Cor. 7.8]), existence of homogeneous spaces and the identification k[G/H]=k[G]^H, exactness criteria for induction, and related results. Appendix B similarly relies on [C2, Porism 7.2.6] and [CEO2, Theorem 4.3.1] for the key lifting property in Lemma B.10. Because these inputs are load-bearing for the main theorems, the paper as submitted is not self-contained or independently verifiable; the authors should either include the necessary proofs or restrict the claims to results that can be checked against published sources.
  4. [Appendix B, Lemma B.10 and its use in Lemma 6.25] Theorem B.1 is used in Lemma 6.25 to descend from the algebraically closed field L' back to the algebraic closure L of A^G. The proof of Theorem B.1 is an adaptation of Deligne's argument, but its key Lemma B.10(2) depends on the unproved [C2, Porism 7.2.6]. Since this descent step is essential to the exact form of Theorem 6.4, the dependence should be stated explicitly and the supporting result should be proved or published.
minor comments (5)
  1. [Lemma 2.2] The heading 'Chinese reminder theorem' should read 'Chinese remainder theorem'.
  2. [Proof of Theorem 5.10] The word 'Becasue' in the proof of (4)⇒(2) is a typo for 'Because'.
  3. [Theorem 5.2 and Section 6] Theorem 5.2 is stated and proved by reference to Corollary 6.6, which is proved only later; the logical dependency should be displayed more clearly, perhaps by stating Theorem 5.2 after Section 6 or by indicating that the proof is completed there.
  4. [Corollary 6.6] The notation π(D) in 'C ≅ Rep_f(G, φ) for some constraint φ: π(D) → G' is not defined in the text; please define the fundamental group or groupoid π(D) and the sense in which the constraint is used.
  5. [Remark 3.2(3)] The capitalization 'Von Neumann regular' is nonstandard; 'von Neumann regular' would be more conventional.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction found; the main theorem is conditional on the authors' external GR+MN framework, with an unproved lemma but no self-referential derivation.

full rationale

I walked the derivation chain of Theorems A and B. Theorem A is reduced to Corollaries 5.8–5.9 and 6.6; these depend on the Nakayama property from [C2, Thm 6.1.5] and on Theorem 6.4. Theorem 6.4 is proved by reducing to the case A^G = k with a k-point, embedding A into k[G] via the orbit map, filtering A into finitely generated subalgebras A_alpha, and using Lemma 6.29 plus Corollary 6.30 to identify A with k[G]^H. I found no equation or definition that makes the target conclusion equal to an input by construction: no fitted parameter is renamed as a prediction, 'well-fibered' is not defined via absolute flatness, and the equalities in Lemma 6.29 are genuine localization computations, not tautologies. The two flagged weaknesses are correctness risks, not circularity: Lemma 6.28 is stated as 'left as an exercise' in Section 6.5.2 and is load-bearing, while Section 6.5.1 asserts without proof or citation that the MN condition forces the only simple algebras in IndD to be field extensions of k, which is used to produce the closed point phi. The framework from the same authors' works [C2, C3, CS] is heavily used, but those results are stated under assumptions (GR+MN) that do not include Theorem A or Theorem 6.4, so they are independent support rather than a self-citation loop. Score 0.

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

No numerical parameters are fitted to data; the paper is purely structural. The axioms are external or conditional hypotheses, mostly from prior work by the authors and collaborators. No new postulated objects such as particles or forces are introduced.

assumptions (6)
  • domain assumption The base field k is algebraically closed for the main theorems.
    Stated in Section 5; the proofs of Theorem 5.1 and Theorem 6.4 require closed points and algebraic closure for the field L.
  • domain assumption C is well-fibered, i.e. admits a symmetric tensor functor to a geometrically reductive (GR) and maximally nilpotent (MN) pretannakian category as defined in [C2].
    Hypothesis of Theorem A and Theorem 5.1; the paper shows this holds for many known classes, and conjecturally for all moderate growth categories via [BEO, C2].
  • domain assumption The algebraic geometry in tensor categories developed in [C2, C3, CS] (schemes, open immersions, faithfully flat descent, Hilbert basis theorem) is valid for GR+MN categories.
    Used throughout Section 6, e.g. Lemma 6.7, Corollary 6.14, Proposition 6.19, and the existence of quotients G/H as schemes.
  • domain assumption The Nakayama property holds for well-fibered categories.
    Invoked via [C2, Thm. 6.1.5] in Section 5.3.1 to prove semisimple implies product of simples.
  • ad hoc to paper If one wants the 'all moderate growth' version, the conjectures [BEO, Conjecture 1.4] and [C2, Conjecture 3.2.3] hold, so every pretannakian category of moderate growth is well-fibered.
    The abstract states 'all, if we accept the main conjectures in the field'; the theorems themselves are conditional on well-fiberedness.
  • standard math The axiom of choice, including the existence of a non-principal ultrafilter on Z_{>0}, is available for the construction in Appendix A.
    Appendix A.2 constructs the category C_t using an ultrapower; the paper notes the construction requires the axiom of choice.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Absolutely flat algebras in tensor categories." pith.science (2026). https://pith.science/paper/EJA7RSWO

@misc{pith2026260813137,
  author       = {Pith},
  title        = {Pith review of: Absolutely flat algebras in tensor categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EJA7RSWO}},
  note         = {Machine review of arXiv:2608.13137}
}
read the original abstract

We study the relation between semisimple algebras, artinian simple algebras, and artinian absolutely flat algebras in ind-completions of tensor categories (rigid abelian monoidal categories). Our main results show that the three types of algebras coincide, if we restrict to commutative algebras in certain (all, if we accept the main conjectures in the field) symmetric tensor categories of moderate growth. We also provide examples to show that in general these notions tend to diverge, contrary to the classical case of algebras over a field. In one appendix we give the first, to the best of our knowledge, example of a tensor category with finite-dimensional morphism spaces but objects of infinite length. In a second appendix we establish a generalisation of Deligne's theorem that tannakian categories are neutral over algebraically closed fields.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 26 canonical work pages

  1. [1]

    M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra , Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969; MR0242802

    work page 1969

  2. [2]

    Benson, P

    D. Benson, P. Etingof, V. Ostrik: New incompressible symmetric tensor categories in positive characteristic. Duke Math. J. 172 (2023), no. 1, 105--200

    2023

  3. [3]

    Benson, J

    D. Benson, J. Pevtsova: Group schemes and their Lie algebras over a symmetric tensor category. arXiv:2507.02031

    arXiv

  4. [4]

    Cline, B

    E. Cline, B. Parshall, L. Scott: Induced modules and affine quotients. Math. Ann. 230 (1977), no. 1, 1--14

    work page 1977

  5. [5]

    Tannakian categories in positive characteristic, Duke Math

    Coulembier, Kevin. Tannakian categories in positive characteristic, Duke Math. J. 169 (2020), no. 16, 3167--3219; MR4167087

    work page 2020

  6. [6]

    Commutative algebra in tensor categories

    Coulembier, Kevin. "Commutative algebra in tensor categories." Transform. Groups 31 (2026), no. 2, 1225--1272

    work page 2026

  7. [7]

    Algebraic geometry in tensor categories

    Coulembier, Kevin. "Algebraic geometry in tensor categories." arXiv preprint arXiv:2311.02264 (2023). To appear in Michigan Mathematical Journal

    arXiv 2023

  8. [8]

    On geometrically reductive tensor categories

    Coulembier, Kevin. "On geometrically reductive tensor categories." arXiv preprint arXiv:2605.19167 (2026)

    work page Pith review arXiv 2026

Show all 39 references
  1. [9]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik: On Frobenius exact symmetric tensor categories. With Appendix A by Alexander Kleshchev. Ann. of Math. (2) 197 (2023), no. 3, 1235--1279

    2023

  2. [10]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik: Incompressible tensor categories. Adv. Math. 457 (2024), Paper No. 109935, 65 pp

    2024

  3. [11]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik, B. Pauwels: Monoidal abelian envelopes with a quotient property. J. Reine Angew. Math. 794 (2023), 179--214

    2023

  4. [12]

    Coulembier, M

    K. Coulembier, M. Stroiński, T. Zorman. Simple algebras and exact module categories. arXiv:2501.06629

    arXiv

  5. [13]

    Homogeneous spaces in tensor categories

    Coulembier, Kevin, and Alexander Sherman. "Homogeneous spaces in tensor categories." arXiv preprint arXiv:2505.04848 (2025)

    2025 arXiv

  6. [14]

    Deligne: Cat\'egories tannakiennes

    P. Deligne: Cat\'egories tannakiennes. The Grothendieck Festschrift, Vol. II, 111--195, Progr. Math., 87, Birkh\"auser Boston, Boston, MA, 1990

    1990

  7. [15]

    Deligne: Cat\'egories tensorielles

    P. Deligne: Cat\'egories tensorielles. Mosc. Math. J. 2 (2002), no. 2, 227--248

    2002

  8. [16]

    Deligne: La cat\'egorie des repr\'esentations du groupe sym\'etrique S_t , lorsque t n'est pas un entier naturel

    P. Deligne: La cat\'egorie des repr\'esentations du groupe sym\'etrique S_t , lorsque t n'est pas un entier naturel. Algebraic groups and homogeneous spaces, 209--273, Tata Inst. Fund. Res. Stud. Math., 19, Tata Inst. Fund. Res., Mumbai, 2007

    2007

  9. [17]

    Deligne: Semi-simplicit\'e de produits tensoriels en caract\'eristique p

    P. Deligne: Semi-simplicit\'e de produits tensoriels en caract\'eristique p. Invent. Math. 197 (2014), no. 3, 587--611

    2014

  10. [18]

    Deligne, J.S

    P. Deligne, J.S. Milne: Tannakian Categories. In Hodge cycles, motives, and Shimura varieties. Lecture Notes in Mathematics, 900. Springer-Verlag, Berlin-New York, 1982, pp. 101-228

    1982

  11. [19]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, V. Ostrik. Tensor categories. Math. Surveys Monogr., 205 American Mathematical Society, Providence, RI, 2015

    2015

  12. [20]

    Entova-Aizenbud, V

    I. Entova-Aizenbud, V. Hinich, V. Serganova: Deligne categories and the limit of categories Rep(GL(m|n)) . Int. Math. Res. Not. IMRN 2020, no. 15, 4602--4666

    2020

  13. [21]

    Etingof, V

    P. Etingof, V. Ostrik: On the Frobenius functor for symmetric tensor categories in positive characteristic. J. Reine Angew. Math. 773 (2021), 165--198

    2021

  14. [22]

    Etingof, D

    P. Etingof, D. Penneys: Rigidity of non-negligible objects of moderate growth in braided categories. Forum Math. Pi 14 (2026), Paper No. e7

    2026

  15. [23]

    Ford: Separable algebras

    T.J. Ford: Separable algebras. Grad. Stud. Math., 183 American Mathematical Society, Providence, RI, 2017

    2017

  16. [24]

    Grothendieck avec la collaboration de J

    Éléments de géométrie algébrique, par A. Grothendieck avec la collaboration de J. Dieudonn é; EGA IV: Étude locale des schémas et des morphismes de schémas. La troisième partie est Inst. Hautes Études Sci. Publ. Math., 28 (1966)

    1966

  17. [25]

    Halbig, T

    S. Halbig, T. Zorman: Duality in monoidal categories. Math. Z. 313 (2026), no. 1, Paper No. 4, 35 pp

    2026

  18. [26]

    Harman: Deligne categories as limits in rank and characteristic

    N. Harman: Deligne categories as limits in rank and characteristic. arXiv:1601.03426

    arXiv

  19. [27]

    Harman, A

    N. Harman, A. Snowden: Discrete pre-Tannakian categories. arXiv:2304.05375

    arXiv

  20. [28]

    Harman, A

    N. Harman, A. Snowden, N. Snyder: The Delannoy category. Duke Math. J. 173 (2024), no. 16, 3219--3291

    2024

  21. [29]

    Hartshorne, Algebraic geometry , Graduate Texts in Mathematics, No

    R. Hartshorne, Algebraic geometry , Graduate Texts in Mathematics, No. 52, Springer, New York-Heidelberg, 1977; MR0463157

    1977

  22. [30]

    J. E. Humphreys, Linear algebraic groups , Graduate Texts in Mathematics, No. 21, Springer, New York-Heidelberg, 1975; MR0396773

    1975

  23. [31]

    Jantzen: Representations of algebraic groups

    J.C. Jantzen: Representations of algebraic groups. Second edition. Mathematical Surveys and Monographs, 107. American Mathematical Society, Providence, RI, 2003

    2003

  24. [32]

    Lam: A first course in noncommutative rings

    T.Y. Lam: A first course in noncommutative rings. Grad. Texts in Math., 131 Springer-Verlag, New York, 1991

    1991

  25. [33]

    Lentner: A conditional algebraic proof of the logarithmic Kazhdan-Lusztig correspondence

    S.D. Lentner: A conditional algebraic proof of the logarithmic Kazhdan-Lusztig correspondence. arXiv:2501.10735

    arXiv

  26. [34]

    Magid, Equivariant completions of rings with reductive group action

    A.R. Magid, Equivariant completions of rings with reductive group action. J. Pure Appl. Algebra 49 (1987), no. 1-2, 173–185

    1987

  27. [35]

    Montgomery, Hopf algebras and their actions on rings

    S. Montgomery, Hopf algebras and their actions on rings. CBMS Regional Conf. Ser. in Math., 82, Providence, RI, 1993

    1993

  28. [36]

    Théorème de Hopkins pour les catégories de Grothendieck

    Nastasescu, Constantin. "Théorème de Hopkins pour les catégories de Grothendieck." Ring Theory Antwerp 1980: Proceedings, University of Antwerp UIA Antwerp, Belgium, May 6–9, 1980. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. 88-93

    1980

  29. [37]

    Sch\"appi: Ind-abelian categories and quasi-coherent sheaves

    D. Sch\"appi: Ind-abelian categories and quasi-coherent sheaves. Math. Proc. Cambridge Philos. Soc. 157 (2014), no. 3, 391--423

    2014

  30. [38]

    Shimizu, H

    K. Shimizu, H. Yadav: Commutative exact algebras and modular tensor categories. arXiv:2408.06314

    arXiv

  31. [39]

    The Stacks Project Authors, Stacks Project, https://stacks.math.columbia.edu (2018)

    2018

Pith tools

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