pith. sign in

arxiv: 2507.03309 · v2 · pith:4RYBWGN6new · submitted 2025-07-04 · 🧮 math.RT · math.GR

A special class of prime ideals for infinite symmetric group algebras

Kevin Coulembier This is my paper

Pith reviewed 2026-05-22 00:41 UTC · model grok-4.3

classification 🧮 math.RT math.GR
keywords prime idealsinfinite symmetric groupfinitary algebrasemiring structurespherical representationssymmetric tensor categoriesGelfand pair
0
0 comments X

The pith

A special class of prime ideals in the finitary infinite symmetric group algebra carries a natural semiring structure.

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

The paper identifies a distinguished subclass of prime ideals inside the finitary infinite symmetric group algebra. It shows that this subclass is closed under operations that turn the set into a semiring. Over the complex numbers the construction links directly to spherical representations of the infinite symmetric group through its associated Gelfand pair. In positive characteristic the same objects relate to the classification and structure of symmetric tensor categories. A reader cares because the semiring organizes these ideals in a way that may simplify representation-theoretic questions for an infinite group that otherwise lacks a simple classification.

Core claim

The central claim is that a carefully chosen subclass of prime ideals in the finitary infinite symmetric group algebra is closed under addition and multiplication, thereby forming a semiring, and that this semiring is connected to spherical representations of the Gelfand pair (S_infty, S_infty) over the complex numbers and to the structure theory of symmetric tensor categories when the base field has positive characteristic.

What carries the argument

The special class of prime ideals, equipped with addition and multiplication that together make their set into a semiring.

If this is right

  • The semiring provides a uniform algebraic language for manipulating these prime ideals across different base fields.
  • Over the complex numbers the semiring elements correspond to spherical representations of the infinite symmetric group.
  • In positive characteristic the semiring encodes information about the indecomposable objects in symmetric tensor categories.
  • The construction supplies a bridge between ideal theory in group algebras and the representation theory of infinite discrete groups.

Where Pith is reading between the lines

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

  • If the semiring is finitely generated or has a simple presentation, it could give an explicit parametrization of the spherical representations.
  • The positive-characteristic side suggests that similar semiring structures might appear for other infinite groups whose representation theory is controlled by tensor categories.
  • One could test whether the semiring operations extend to a larger class of ideals while preserving the connections to representations and tensor categories.

Load-bearing premise

The finitary infinite symmetric group algebra admits a standard notion of prime ideals from which a subclass can be extracted that remains closed under the semiring operations.

What would settle it

An explicit prime ideal that lies outside the proposed special class yet is required by the semiring closure, or a concrete spherical representation whose corresponding ideal fails to satisfy the semiring axioms.

read the original abstract

We identify an interesting special class of prime ideals in the finitary infinite symmetric group algebra. We show that the set of such ideals carries a semiring structure. Over the complex numbers, we establish a connection with spherical representations of (the Gelfand pair corresponding to) the infinite symmetric group. In positive characteristic, we investigate a close connection with the structure theory of symmetric tensor categories.

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 identifies a special class of prime ideals in the finitary infinite symmetric group algebra and shows that this class carries a semiring structure. Over the complex numbers it relates the construction to spherical representations of the Gelfand pair for the infinite symmetric group; in positive characteristic it connects the same class to the structure theory of symmetric tensor categories.

Significance. If the constructions and proofs are valid, the work supplies a new algebraic organization of prime ideals in an infinite-group algebra and forges explicit links between ideal theory, spherical representations, and tensor-category structure theory. The semiring property on a distinguished subclass of primes is a concrete, potentially reusable feature.

minor comments (2)
  1. The abstract states the main results but does not indicate the precise definition of the distinguished subclass of primes or the operations that endow it with a semiring structure; a short clarifying sentence would help readers assess the scope immediately.
  2. Notation for the finitary infinite symmetric group algebra and for the Gelfand pair should be fixed and recalled in the introduction so that the later sections on spherical representations and tensor categories are self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript, the assessment of its significance, and the recommendation for minor revision. No specific major comments appear in the report, so we have no individual points requiring a detailed response at this stage. We will address any minor issues or suggestions during the revision process.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper identifies a distinguished subclass of prime ideals in the finitary infinite symmetric group algebra via standard definitions of the algebra and prime ideals, then equips the subclass with semiring operations using the algebra's natural addition and multiplication. Connections to spherical representations of the infinite symmetric group Gelfand pair and to symmetric tensor categories are derived from established results in representation theory and tensor category theory, without any self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations that reduce the central claims to unverified inputs. All steps rely on independent algebraic and categorical constructions that do not presuppose the target semiring or connections.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definitions of group algebras, prime ideals in non-commutative rings, Gelfand pairs, and symmetric tensor categories; no free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

axioms (2)
  • standard math Standard definitions and basic properties of finitary infinite symmetric group algebras and prime ideals in associative algebras.
    Invoked implicitly when the special class is identified and shown to form a semiring.
  • domain assumption Existence and basic theory of spherical representations for the Gelfand pair associated to the infinite symmetric group.
    Used for the connection over the complex numbers.

pith-pipeline@v0.9.0 · 5573 in / 1317 out tokens · 85841 ms · 2026-05-22T00:41:44.696488+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

29 extracted references · 29 canonical work pages

  1. [1]

    Baranov, A

    A. Baranov, A. Kleshchev: Maximal ideals in modular group algebras of the finitary symmetric and alternating groups. Trans. Amer. Math. Soc. 351 (1999), no.2, 595--617

    work page 1999

  2. [2]

    Benson, Commutative Banach algebras and modular representation theory

    D. Benson, Commutative Banach algebras and modular representation theory. Mem. Amer. Math. Soc. 298 (2024), no. 1488

    work page 2024

  3. [3]

    Benson, P

    D. Benson, P. Etingof: Symmetric tensor categories in characteristic 2. Adv. Math. 351 (2019), 967--999

    work page 2019

  4. [4]

    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

    work page 2023

  5. [5]

    Berele, A

    A. Berele, A. Regev: Hook Young diagrams with applications to combinatorics and to representations of Lie superalgebras. Adv. in Math. 64 (1987), no. 2, 118--175

    work page 1987

  6. [6]

    Borodin, G

    A. Borodin, G. Olshanski: Representations of the infinite symmetric group. Cambridge Stud. Adv. Math., 160 Cambridge University Press, 2017

    work page 2017

  7. [7]

    Bratteli: Inductive limits of finite dimensional C*-algebras

    O. Bratteli: Inductive limits of finite dimensional C*-algebras. Trans. Amer. Math. Soc. 171 (1972), 195--234

    work page 1972

  8. [8]

    Brundan, J

    J. Brundan, J. Comes, D. Nash, A. Reynolds: A basis theorem for the affine oriented Brauer category and its cyclotomic quotients. Quantum Topol. 8 (2017), no. 1, 75--112

    work page 2017

  9. [9]

    Coulembier: Tensor ideals, Deligne categories and invariant theory

    K. Coulembier: Tensor ideals, Deligne categories and invariant theory. Selecta Math. (N.S.) 24 (2018), no. 5, 4659--4710

    work page 2018

  10. [10]

    Coulembier: Tannakian categories in positive characteristic

    K. Coulembier: Tannakian categories in positive characteristic. Duke Math. J. 169 (2020), no. 16, 3167-–3219

    work page 2020

  11. [11]

    Coulembier: Monoidal abelian envelopes

    K. Coulembier: Monoidal abelian envelopes. Compos. Math. 157 (2021), no. 7, 1584--1609

    work page 2021

  12. [12]

    Coulembier: Inductive systems of the symmetric group, polynomial functors and tensor categories

    K. Coulembier: Inductive systems of the symmetric group, polynomial functors and tensor categories. arXiv:2406.00892

    work page arXiv

  13. [13]

    Coulembier, P

    K. Coulembier, P. Etingof, A. Kleshchev, V. Ostrik: Super invariant theory in positive characteristic. Eur. J. Math. 9 (2023), no. 4, Paper No. 94, 39 pp

    work page 2023

  14. [14]

    Coulembier, P

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

    work page 2023

  15. [15]

    Coulembier, P

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

    work page 2024

  16. [16]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik: Tensor ideals of abelian type and quantum groups. In preparation

    work page

  17. [17]

    Coulembier, V

    K. Coulembier, V. Ostrik, D. Tubbenhauer: Growth rates of the number of indecomposable summands in tensor powers. Algebr. Represent. Theory 27 (2024), no. 2, 1033--1062

    work page 2024

  18. [18]

    Deligne: Cat\'egories tensorielles

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

    work page 2002

  19. [19]

    Deligne: La catégorie des représentations du groupe symétrique S_t , lorsque t n'est pas un entier naturel

    P. Deligne: La catégorie des représentations du groupe symétrique S_t , lorsque t n'est pas un entier naturel. Algebraic groups and homogeneous spaces, 209--273. Tata Inst. Fund. Res. Stud. Math., 19 Published for the Tata Institute of Fundamental Research, Mumbai, 2007

    work page 2007

  20. [20]

    Etingof, S

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

    work page 2015

  21. [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

    work page 2021

  22. [22]

    Etingof, D

    P. Etingof, D. Penneys: Rigidity of non-negligible objects of moderate growth in braided categories. arXiv:2412.17681

    work page arXiv

  23. [23]

    Formanek, J

    E. Formanek, J. Lawrence: The group algebra of the infinite symmetric group. Israel J. Math. 23 (1976), no. 3--4, 325--331

    work page 1976

  24. [24]

    Okounkov: On representations of the infinite symmetric group

    A. Okounkov: On representations of the infinite symmetric group. J. Math. Sci. (New York) 96 (1999), no. 5, 3550--3589

    work page 1999

  25. [25]

    Ostrik: On symmetric fusion categories in positive characteristic

    V. Ostrik: On symmetric fusion categories in positive characteristic. Selecta Math. (N.S.) 26 (2020), no. 3, Paper No. 36, 19 pp

    work page 2020

  26. [26]

    Vershik, S.V

    A.M. Vershik, S.V. Kerov: Asymptotic theory of the characters of a symmetric group. Funktsional. Anal. i Prilozhen. 15 (1981), no. 4, 15--27, 96

    work page 1981

  27. [27]

    Vershik, N.I

    A.M. Vershik, N.I. Nessonov: Stable representations of the infinite symmetric group. Izv. Math. 79 (2015), no. 6, 1184--1214

    work page 2015

  28. [28]

    Zalesskiĭ: Group rings of simple locally finite groups

    A.E. Zalesskiĭ: Group rings of simple locally finite groups. NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 471 (1995)

    work page 1995

  29. [29]

    Zalesski: Modular group rings of the finitary symmetric group

    A.E. Zalesski: Modular group rings of the finitary symmetric group. Israel J. Math. 96 (1996), 609--621

    work page 1996