pith. sign in

arxiv: 2511.18218 · v2 · pith:TRD4WY2Inew · submitted 2025-11-22 · 🧮 math.RT

Classification of simple commutative algebras in the Delannoy category

Pavel Etingof , Andrew Snowden This is my paper

Pith reviewed 2026-05-21 19:30 UTC · model grok-4.3

classification 🧮 math.RT
keywords Delannoy categorysimple commutative algebrasoligomorphic groupspre-Tannakian categoriestransitive G-setsclassification
0
0 comments X

The pith

All simple commutative algebras in the Delannoy category arise from transitive G-sets.

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

The Delannoy category is a pre-Tannakian category built from the oligomorphic group of order-preserving automorphisms of the real numbers. It contains some obvious simple commutative algebras that correspond to transitive sets under the action of this group. The paper proves these are in fact all the simple commutative algebras that exist in the category. This extends prior classifications that applied only to interpolation categories, using new methods required for the non-interpolation setting of the Delannoy category.

Core claim

The simple commutative algebras in the Delannoy category are precisely those corresponding to certain transitive G-sets, where G is the oligomorphic group of automorphisms of the totally ordered set (R, <).

What carries the argument

Transitive G-sets for the automorphism group G of (R, <), which parametrize and generate all simple commutative algebras in the category.

Load-bearing premise

The new methods developed for the non-interpolation case suffice to rule out every simple commutative algebra not arising from a transitive G-set.

What would settle it

Exhibiting even one simple commutative algebra in the Delannoy category that does not correspond to any transitive G-set would disprove the result.

read the original abstract

The Delannoy category is an interesting pre-Tannakian category associated to the oligomorphic group $\mathbb{G}$ of automorphisms of the totally ordered set $(\mathbf{R}, <)$. By construction, it admits some obvious simple commutative algebras, corresponding to certain transitive $\mathbb{G}$-sets. We show that these account for all of the simple commutative algebras in the Delannoy category. Previous results of this kind have been limited to interpolation categories; since the Delannoy category cannot be obtained by interpolation, new methods are required.

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 / 3 minor

Summary. The manuscript classifies all simple commutative algebras in the Delannoy category, a pre-Tannakian category associated to the oligomorphic group G of order-automorphisms of (R, <). It establishes that these algebras are precisely the obvious ones arising from transitive G-sets, by developing new techniques to handle the non-interpolation setting (in which the Delannoy category cannot be realized).

Significance. If the classification holds, the result extends prior work on simple commutative algebras from interpolation categories to a genuinely non-interpolating example, using novel methods that rule out additional algebras. The explicit construction from transitive G-sets and the exhaustiveness argument constitute a concrete advance in the study of tensor categories attached to oligomorphic groups.

minor comments (3)
  1. [Introduction] Introduction, paragraph 2: the distinction between the Delannoy category and interpolation categories is stated but would benefit from a one-sentence reminder of why interpolation techniques fail here.
  2. [Section 3] Section 3, after Definition 3.4: the verification that the algebras coming from transitive G-sets are indeed simple and commutative is clear, but a short table summarizing the correspondence would improve readability.
  3. [Theorem 5.1] Theorem 5.1: the statement is precise, yet the proof sketch could explicitly flag the single place where the new non-interpolation technique is applied, to make the logical structure easier to follow.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. We are pleased that the novelty of the techniques for the non-interpolation setting and the classification result are recognized as a concrete advance.

Circularity Check

0 steps flagged

No significant circularity; derivation uses independent new methods

full rationale

The paper defines the Delannoy category from the oligomorphic group of automorphisms of the reals and notes the obvious simple commutative algebras arising from transitive G-sets. It then develops new techniques specifically for the non-interpolation setting to prove that these exhaust all possibilities. The central classification result rests on this exclusion argument rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The derivation is self-contained against external benchmarks in representation theory and does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result depends on the standard definition of the Delannoy category as a pre-Tannakian category associated to the oligomorphic group G and on the existence of the obvious algebras from transitive G-sets.

axioms (1)
  • domain assumption The Delannoy category is a pre-Tannakian category associated to the oligomorphic group of automorphisms of (R, <).
    Stated directly in the abstract as the setting of the work.

pith-pipeline@v0.9.0 · 5605 in / 1125 out tokens · 85633 ms · 2026-05-21T19:30:11.239007+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 · 10 canonical work pages · 2 internal anchors

  1. [1]

    P. Deligne. La cat\'egorie des repr\'esentations du groupe sym\'etrique S_t , lorsque t n’est pas un entier naturel. In: Algebraic Groups and Homogeneous Spaces, in: Tata Inst. Fund. Res. Stud. Math., Tata Inst. Fund. Res., Mumbai, 2007, pp. 209--273. \\ Available at: ://www.math.ias.edu/files/deligne/Symetrique.pdf

    work page 2007

  2. [2]

    Tensor categories

    Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik. Tensor categories. Mathematical Surveys and Monographs, 205. American Mathematical Society, Providence, RI, 2015

    work page 2015

  3. [3]

    Classification of simple algebras in Deligne category $Rep(S_t)$

    Nate Harman, Daniil Kalinov. Classification of simple algebras in Deligne category Rep(S_t) . J.\ Algebra 549 (2020), pp. 215--248. doi:10.1016/j.jalgebra.2019.12.010 arXiv:1901.05080

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jalgebra.2019.12.010 2020

  4. [4]

    Harman, A

    Nate Harman, Andrew Snowden. Oligomorphic groups and tensor categories. arXiv:2204.04526

    work page arXiv

  5. [5]

    Pre-Galois categories and Fr\"aiss\'e's theorem

    Nate Harman, Andrew Snowden. Pre-Galois categories and Fr\"aiss\'e's theorem. arXiv:2301.13784

    work page arXiv

  6. [6]

    Discrete pre-Tannakian categories

    Nate Harman, Andrew Snowden. Discrete pre-Tannakian categories. arXiv:2304.05375

    work page arXiv

  7. [7]

    Classical interpolation categories

    Nate Harman, Andrew Snowden. Classical interpolation categories. arXiv:2507.12216

    work page arXiv

  8. [8]

    The Delannoy category

    Nate Harman, Andrew Snowden, Noah Snyder. The Delannoy category. Duke Math.\ J. 173 (2024), no. 16, pp. 3219--3291. doi:10.1215/00127094-2024-0012 arXiv:2211.15392

    work page doi:10.1215/00127094-2024-0012 2024

  9. [9]

    Simple commutative algebras in Deligne's categories Rep($S_t$)

    Luke Sciarappa. Simple commutative algebras in Deligne's categories Rep(S_t) . arXiv:1506.07565

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    A characterization of the Delannoy category by Adams operations

    Andrew Snowden, Noah Snyder. A characterization of the Delannoy category by Adams operations. arXiv:2511.05768

    work page arXiv