Pith. sign in

REVIEW 3 major objections 3 minor 12 references

Invertible exterior powers

T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read If an object's nth exterior power is invertible, then the object is rigid.

desk verdict A useful paper with a promising central theorem, but the proof's key identity is asserted rather than demonstrated for general n. read the letter →

arxiv 2507.14803 v3 pith:RHHWYJRQ submitted 2025-07-20 math.CT

Kevin Coulembier This is my paper · ORCID
classification math.CT MSC 18M05
keywords exteriorpowerrigidobjectsymmetricmonoidalcategorycategoricaldimension2-rigbosonicfermionicuniversalproperty
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

The paper proves a rigidity criterion for symmetric monoidal categories (tensor-product categories with a symmetry rule). Over any commutative ring in which $n!$ is invertible — in particular over a field of characteristic zero — an object $X$ whose $n$th exterior power $\wedge^n X$ is invertible must itself have a dual, so it is rigid. The proof is constructive: it builds the dual of $X$ from the inverse of $\wedge^n X$ and the skew-symmetrisation idempotent, then renormalises an evaluation map so that the snake relations hold. This matters because an invertible exterior power is a short, checkable condition that guarantees all the dual-dependent structures of tensor categories, such as categorical dimension, exist. In the 2-rig setting (idempotent-complete additive linear symmetric monoidal categories) the author applies the criterion to prove the bosonic and fermionic dimension conjectures, yielding universal descriptions of the representation categories $\mathrm{GL}_n$, $O_m$, $\mathrm{Sp}_{2n}$, $\mathrm{SO}_m$, and $\mathrm{SL}_n$.

What carries the argument

The machinery is the skew-symmetrisation idempotent $e_n = \frac{1}{n!}\sum_{x \in S_n}(-1)^{|x|}x$ acting on $X^{\otimes n}$, used through the maps $\pi$ and $\iota$ that pass between $\wedge^{n-1}X \otimes X$ and $\wedge^n X$. The load-bearing identity is equation (2.2), $\varphi^2 = \frac{1}{n}\mathrm{id}_X \pm \frac{1-n}{n}\varphi$, obtained by diagrammatic manipulation of the braiding and the invertibility of $L = (\wedge^n X)^*$. Once $\varphi$ has an inverse, the evaluation map is renormalised by $\varphi^{-1}$, and the snake relations force the duality.

What would settle it

Work out the composite $\varphi$ in the generic $n=4$ case, where the braiding of $L$ with itself can contribute a sign and the idempotents $e_3$ and $e_4$ interact nontrivially, and check whether $\varphi^2 = \frac{1}{4}\mathrm{id}_X - \frac{3}{4}\varphi$ still holds; a counterexample to this identity would expose the gap in the proof without necessarily disproving the theorem itself.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.1.1: if $X$ is an object of a $K$-linear symmetric monoidal category, $n!$ is invertible in $K$, and the $n$th exterior power $\wedge^n X$ is invertible, then $X$ is rigid. The proof constructs an explicit dual $Y = L \otimes \wedge^{n-1}X$, where $L$ is the inverse of $\wedge^n X$, together with an evaluation map $\epsilon$ and a coevaluation map $\delta$. A composite $\varphi$ formed from these maps satisfies the quadratic identity $\varphi^2 = \frac{1}{n}\mathrm{id} \pm \frac{1-n}{n}\varphi$, so $\varphi$ is invertible; renormalising the evaluation by $\varphi^{-1}$ makes the snake relations hold exactly. Thus one invertible exterior power is enough to force the whole object to have a dual, and the same construction powers the classifications of objects with prescribed bosonic or fermionic dimension.

Load-bearing premise

The proof rests on the identity (2.2), a diagrammatic computation that is demonstrated only for $n=3$ and for a bosonic line object; if the same identity fails for some larger $n$ or for a fermionic line object, the constructed maps would not satisfy the snake relations and Theorem 2.1.1 would not be established by this argument.

Editorial extensions

If this is right

  • Every object of a 2-rig whose exterior power $\wedge^n X$ is a line object has a well-defined categorical dimension, since rigidity follows automatically.
  • $\mathrm{Rep}\,\mathrm{GL}_n$ becomes the universal 2-rig on an object of bosonic dimension $n$, and the supergroup variant $(\mathrm{GL}_n, \epsilon)$ is the universal 2-rig on an object of fermionic dimension $n$.
  • An object has bosonic dimension $n$ exactly when it is rigid of categorical dimension $n$ with $\wedge^n X$ invertible, and then it also has bosonic subdimension $n$.
  • The remaining conjectures on dimensions in symmetric monoidal categories are resolved: $\mathrm{Rep}\,O_m$, $\mathrm{Rep}(\mathrm{Sp}_{2n}, \epsilon)$, $\mathrm{Rep}(O_m, \epsilon)$, $\mathrm{Rep}\,\mathrm{Sp}_{2n}$, $\mathrm{Rep}\,\mathrm{SO}_m$, and $\mathrm{Rep}\,\mathrm{SL}_n$ are classified by bosonic or fermionic dimension together with self-duality or a volume-form datum.
  • For module categories, the theorem re-derives the commutative-algebra fact that a module with invertible top exterior power is finitely generated projective of constant rank.

Reading between the lines

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

  • If the identity (2.2) holds in full generality, the same dual-pair construction yields an explicit, uniform recipe for the dual of $X$ for every $n$ and for both bosonic and fermionic line objects, not just the $n=3$ bosonic case displayed in the appendix.
  • The quadratic relation $\varphi^2 = \alpha\,\mathrm{id} + \beta\,\varphi$ is the only structural input needed, so the argument may transfer to other Schur functors whose idempotents satisfy an analogous quadratic identity.
  • The bosonic and fermionic dimension theorems are two faces of one rigidity phenomenon: the parity is decided by whether $\wedge^n X$ or $S^n X$ is a bosonic line, while the dual is produced by the same theorem in both cases.
  • Because the theorem is stated for arbitrary $K$-linear symmetric monoidal categories before passing to Cauchy completions, it may apply to categories without finite direct sums or idempotent splitting, where duals are otherwise hard to certify.
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

3 major / 3 minor

Summary. The paper claims to prove that in a symmetric monoidal category over a field of characteristic zero, an object with an invertible exterior power is rigid (Theorem 2.1.1). The proof constructs a candidate dual Y = L ⊗ ∧^{n−1}X for X, where L is the dual of ∧^nX, and reduces the snake relations to a quadratic identity (2.2) involving the composite ϕ, plus an asserted analogue for ψ. The author then applies this theorem to prove universality results for Rep(GL_n), Rep(GLn, ε), Rep(O_m), Rep(Sp_{2n}), Rep(SO_m), and Rep(SL_n), thereby confirming Conjectures 8.6 and 8.8 of Baez–Moeller–Trimble and Conjectures 34–37 of Baez–Trimble. The arguments rely on Deligne's categories and the author's prior work on tensor ideals.

Significance. If Theorem 2.1.1 is correct, it is a clean and useful result: it gives a categorical rigidity criterion from a single invertible exterior power, with immediate applications to dimension theory in 2-rigs. The paper also resolves several explicit conjectures, which is valuable. The overall strategy is natural and the intended applications are credible. However, the central proof is presented in compressed form, with the key computation (2.2) asserted for all n and only verified in the appendix for the n = 3, bosonic-line case; this currently leaves the main theorem not fully demonstrated as written. The paper would be a solid contribution once the computation is supplied in full generality.

major comments (3)
  1. [Theorem 2.1.1 and §1] The theorem is stated for an arbitrary K-linear symmetric monoidal category, but the proof uses ∧^{n−1}X as an object in C and also uses idempotent-splitting implicitly (via the definition of exterior powers as summands of X^{⊗n}). This requires the category to be additive and idempotent complete, i.e. a 2-rig over K as defined in the preliminaries. As stated, the theorem is ill-posed: in a general symmetric monoidal category an exterior power need not exist as an object. The statement should either assume C is a 2-rig or explicitly pass to the idempotent completion.
  2. [Proof of Theorem 2.1.1, Eq. (2.2) and Appendix A] Equation (2.2) is the load-bearing identity of the proof: it is used to invert ϕ and also, via the 'immediate analogue' for ψ, to complete the second snake relation. But the paper only proves (2.2) for n = 3 and for a bosonic line object, in Appendix A. For general n the text simply says 'Subsequently applying (2.1) then shows (2.2)', with no computation. The ψ-analogue is asserted without proof. Since every subsequent theorem depends on Theorem 2.1.1, a failure of (2.2) for some n, or for the fermionic sign, would invalidate the central claim. The proof is therefore incomplete as written; a full derivation for arbitrary n (including the sign cases) must be supplied.
  3. [Proof of Theorem 2.1.1, paragraph before Eq. (2.2)] The argument replaces id_{L⊗L} by ±σ_{L,L} using only that L is invertible. This is not valid in general: for an invertible object L in a symmetric monoidal category, σ_{L,L} is an automorphism of L⊗L, but it need not be ± id_{L⊗L} unless End(1) is a field or has no nontrivial idempotents. Since the sign appearing in (2.2) depends on this replacement, the derivation needs an additional justification (or a restriction on End(1)), otherwise the scalar in the identity is not determined.
minor comments (3)
  1. [Throughout] There are several typos: 'whch' in the preliminaries, 'extesnsion' in the proof of Theorem 2.2.4, 'exludeded' in the same proof, 'anddiscussions' in the acknowledgement, and the section title 'V ariations' has an extra space. These should be corrected.
  2. [Footnote 1] The footnote introducing the non-standard 'universality' convention for (Rep GL)_t is helpful, but the contrast with the earlier notion for Sym and Rep M_n could confuse readers; consider stating the convention more prominently before it is first used.
  3. [Appendix A] The appendix states that 'We remove the idempotents e2 ⊗ X from the diagrams', but the justification for this removal is not spelled out; a sentence explaining why the sandwiched idempotents make this legitimate would improve clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity found: Theorem 2.1.1 is derived from snake relations and an explicit diagrammatic computation, while the author self-citations to [Co] are independent published support rather than circular inputs.

full rationale

The central theorem (Theorem 2.1.1) is not circular: it constructs a proposed dual Y = L ⊗ ∧^(n−1)X from the dual of ∧nX and reduces the snake relations to the quadratic identity (2.2) for the morphism ϕ. This identity is not an input or a restatement of rigidity; it is the result of a diagrammatic computation. The paper only actually demonstrates (2.2) in Appendix A for n = 3 and a bosonic line object, and asserts the general-n case and the ψ-analogue without proof. This is an omitted proof or correctness gap, not a circular reduction: the theorem is not being assumed by equation (2.2). The applications in Sections 2.2 and 2.4 invoke the author's prior paper [Co] for the classification and uniqueness of maximal tensor ideals and for integrality of t (e.g., [Co, 6.2.3] and [Co, Theorems 7.2.1(ii) and 8.2.1(i)]). These cited results are independent theorems about tensor ideals and Deligne categories; they are parameter-free, do not assume the BMT/BT conjectures, and are not fitted to the present paper's target conclusions, so under the hard rules they constitute real external evidence and do not raise the circularity score. The proof also uses the replacement id_{L⊗L} = ±σ_{L,L}, which is only justified directly when End(1) is connected or L is a line object; this is another correctness subtlety, but it is not a case of a conclusion being equivalent to an input by construction. Overall, the derivation chain does not reduce its conclusions to its own assumptions, so no circularity is present.

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

The paper introduces no new entities or fitted parameters. It relies on standard categorical constructions (Cauchy completion, Schur functors) and on prior results from [BMT, BT, De3, Co, DP, LZ], including the author's own earlier work [Co]. The central theorem is proved directly from the snake relations and a diagrammatic computation; the applications additionally invoke established classification results for Deligne categories.

assumptions (5)
  • standard math Existence and universal property of the Cauchy completion (idempotent completion) of a K-linear symmetric monoidal category.
    Used in Section 1 to define 2-rigs and to justify working in a 2-rig; cited from [AK, §1.2].
  • domain assumption Rep_k M_n is the universal 2-rig on one object on which the skew symmetrizer a_{n+1} vanishes.
    Lemma 1.0.1, proved using [DP, Theorem 4.1/4.2]; used in Example 2.2.2 and Theorem 2.2.4(2).
  • domain assumption The categorical dimension of Λ^nX is given by the binomial coefficient dim(Λ^nX) = binomial(dim X, n).
    Invoked in the proof of Theorem 2.2.4 via [De1, (7.1.2)] to derive the equation t(t-1)...(t-n+1)/n! = ±1.
  • domain assumption Results of [Co] on maximal tensor ideals in Deligne categories and their quotients.
    Used in the proofs of Theorems 2.2.4 and 2.4.1 to identify the kernel of the functor as the unique maximal tensor ideal; from the author's prior published work.
  • domain assumption Universal properties of the Deligne categories (Rep GL)_t and (Rep O)_t, including the quotient description of Rep GL_n and related categories.
    Used throughout Section 2.4; cited from [De3] (Théorème 9.6, 10.4) and [LZ] for the enhanced Brauer category.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Invertible exterior powers." pith.science (2026). https://pith.science/paper/RHHWYJRQ

@misc{pith2026250714803,
  author       = {Pith},
  title        = {Pith review of: Invertible exterior powers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RHHWYJRQ}},
  note         = {Machine review of arXiv:2507.14803}
}
read the original abstract

We present a proof of the fact that in a symmetric monoidal category over a field of characteristic zero, objects with an invertible exterior power are rigid. As an application we prove two recent conjectures on dimensions in symmetric monoidal categories by Baez, Moeller and Trimble and further conjectures by Baez and Trimble.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 6 canonical work pages

  1. [1]

    Andr\'e, B

    Y. Andr\'e, B. Kahn: Nilpotence, radicaux et structures mono\"idales. With an appendix by Peter O'Sullivan. Rend. Sem. Mat. Univ. Padova 108 (2002), 107--291

    work page 2002

  2. [2]

    J.C. Baez, J. Moeller, T. Trimble: 2-Rig Extensions and the Splitting Principle. arXiv:2410.05598

    work page Pith review arXiv

  3. [3]

    Brundan, J

    J. Brundan, J. Comes, D. Nash, A. Reynolds:

    work page

  4. [4]

    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

    2018

  5. [5]

    de Concini, C

    C. de Concini, C. Procesi: A characteristic free approach to invariant theory. Advances in Math. 21 (1976), no. 3, 330--354

    work page 1976

  6. [6]

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

    Deligne: Cat\'egories tensorielles

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

    2002

  8. [8]

    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

    2007

Show all 12 references
  1. [9]

    Etingof, S

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

    2015

  2. [10]

    Etingof, D

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

    arXiv

  3. [11]

    Ramras: Free exterior powers

    M. Ramras: Free exterior powers. J. Algebra 19 (1971), 110--115

    1971

  4. [12]

    Sch\"appi: Uniqueness of fiber functors and universal Tannakian categories

    D. Sch\"appi: Uniqueness of fiber functors and universal Tannakian categories. arXiv:1805.03485

    arXiv

Pith tools

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