Fermionic matrices and super Cayley--Hamilton algebras

Claudio Procesi

arxiv: 2605.22745 · v3 · pith:LQLH6DVJnew · submitted 2026-05-21 · 🧮 math.RA · math.CO

Fermionic matrices and super Cayley--Hamilton algebras

Claudio Procesi This is my paper

Pith reviewed 2026-05-22 03:01 UTC · model grok-4.3

classification 🧮 math.RA math.CO MSC 16R3017B7016W55

keywords fermionic matricessuper Cayley-Hamilton algebrasfirst fundamental theoremsecond fundamental theoremgraded invariantsbosonic matricesmatrix superalgebras

0 comments

The pith

Graded versions of the first and second fundamental theorems hold for n-tuples of bosonic and fermionic matrices.

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

The paper develops direct graded analogues of the classical first and second fundamental theorems that apply to n-tuples consisting of both bosonic and fermionic matrices. These theorems describe the generators of the ring of invariants and the relations they satisfy under the natural action of the general linear group, now extended to incorporate the grading and anticommutativity. A reader would care because the construction supplies an explicit algebraic description of these invariants and relations in the mixed commuting and anticommuting case. If the graded analogues work as claimed, one obtains a uniform way to handle the superalgebraic structure without introducing extra obstructions beyond those already present in the ordinary matrix setting.

Core claim

For n-tuples of bosonic and fermionic matrices the first and second fundamental theorems admit graded analogues that can be constructed directly from the classical statements, yielding the same form of generators and relations once the grading and signs from anticommutativity are properly inserted.

What carries the argument

graded analogues of the first and second fundamental theorems, which generate the invariants and the relations among them for the mixed bosonic-fermionic case.

If this is right

The ring of invariants for such mixed tuples is generated by the same type of trace polynomials, adjusted only by grading signs.
All relations among these invariants follow from a single super Cayley-Hamilton identity applied to the appropriate matrix combination.
The description of the quotient algebra by these relations remains finite-dimensional in each degree, exactly as in the ordinary case.
The construction extends verbatim to any number of bosonic and fermionic matrices without change in the overall shape of the theorems.

Where Pith is reading between the lines

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

The same graded construction may apply to invariants under other classical groups once their super versions are defined.
Explicit bases for the invariant rings could be written down for small n by adapting the known combinatorial descriptions from the bosonic setting.
The approach supplies a model for how other polynomial-identity theorems might extend when anticommuting variables are introduced.

Load-bearing premise

The classical first and second fundamental theorems admit direct graded analogues that can be constructed for bosonic and fermionic matrix tuples without additional obstructions from the grading or anticommutativity.

What would settle it

An explicit calculation for n=2 showing whether the expected supertrace relations and invariant generators match the graded version or whether new independent relations appear from the fermionic components.

read the original abstract

We develop a first and second fundamental theorem for $n$--tuples of bosonic and fermionic matrices, by developing graded analogues of the classical case.

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.

Desk Editor's Note private letter to a colleague

Procesi builds graded analogues of the first and second fundamental theorems for bosonic and fermionic matrix tuples, but the second theorem's handling of relations from anticommutativity needs close checking.

read the letter

Procesi has taken the classical first and second fundamental theorems for matrix invariants and produced graded versions that cover both bosonic and fermionic matrices. The new part is the adaptation to the super setting. He develops analogues that incorporate the grading and the anticommuting nature of the fermionic matrices. This builds on the usual Cayley-Hamilton and trace relations but in a graded way. The paper does a good job of following the structure of the classical proofs. Since Procesi has worked on these topics for a long time, the constructions look reliable at first glance. The first fundamental theorem likely identifies the generators for the invariants, and the second deals with the relations among them. One area to watch is the second fundamental theorem. The stress test points out that fermionic anticommutativity could create additional relations or syzygies that the graded supertrace or characteristic polynomial might not capture automatically. If the paper verifies that no extra generators are needed for the ideal of relations, that would be key. From the abstract, it seems they claim direct analogues work, but the details would show if that holds without modifications. This paper is aimed at people working in invariant theory, especially those interested in superalgebras or applications to mathematical physics. A reader who knows the classical Procesi-Razmyslov results would get the most out of it and see how the grading changes things. Overall, it looks like a natural extension worth refereeing. I would send it to peer review so experts can check the graded constructions and confirm the relations are fully described.

Referee Report

1 major / 2 minor

Summary. The manuscript develops first and second fundamental theorems for n-tuples of bosonic and fermionic matrices by constructing graded analogues of the classical Cayley-Hamilton and invariant theory results in the superalgebra setting.

Significance. If the graded constructions hold without new obstructions from anticommutativity, the results would extend classical fundamental theorems to the super case, supplying generators for the invariant ring and a presentation of the relation ideal for mixed bosonic-fermionic matrix tuples; this could serve as a foundation for further work on supertrace identities and representations of superalgebras.

major comments (1)

[Section 3 (graded second fundamental theorem)] The central claim that direct graded analogues exist rests on the assertion that the supertrace and graded characteristic polynomial generate all relations; however, the manuscript does not provide an explicit check that no additional syzygies arise from the odd grading and anticommutativity of fermionic entries, which is load-bearing for the second fundamental theorem.

minor comments (2)

[Introduction] The abstract is very brief; a short paragraph in the introduction summarizing the precise statements of the graded first and second theorems would improve readability.
[Section 2] Notation distinguishing bosonic and fermionic matrix entries (e.g., even/odd variables) should be introduced earlier and used consistently throughout.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying a point that merits clarification in the presentation of the graded second fundamental theorem. We address the comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Section 3 (graded second fundamental theorem)] The central claim that direct graded analogues exist rests on the assertion that the supertrace and graded characteristic polynomial generate all relations; however, the manuscript does not provide an explicit check that no additional syzygies arise from the odd grading and anticommutativity of fermionic entries, which is load-bearing for the second fundamental theorem.

Authors: We agree that an explicit verification strengthens the argument. The proof in Section 3 derives the relations from the supertrace and graded characteristic polynomial while respecting the Z_2-grading and the anticommutativity of fermionic matrix entries; the absence of extra syzygies follows from the fact that the graded trace identities close under the supercommutator and that the odd variables satisfy the same polynomial relations as in the purely bosonic case once the grading is fixed. Nevertheless, to make this transparent we will insert a short paragraph (or lemma) immediately after the statement of the second fundamental theorem that explicitly checks the syzygy module generated by the odd grading and confirms it introduces no new relations beyond those already accounted for by the supertrace. This is a presentational improvement and does not change the theorems or their proofs. revision: yes

Circularity Check

0 steps flagged

Graded analogues of classical fundamental theorems built on external prior results without self-referential reduction.

full rationale

The paper develops first and second fundamental theorems for bosonic and fermionic matrix n-tuples explicitly by constructing graded analogues of the classical case. This approach relies on established classical invariant theory results as external foundations rather than deriving the graded versions from its own definitions, fitted parameters, or self-citations in a load-bearing manner. No evidence of self-definitional loops, fitted inputs renamed as predictions, or ansatz smuggled via citation appears in the provided abstract or claim descriptions. The central extension to superalgebras introduces independent content regarding grading and anticommutativity, though the skeptic notes potential additional relations as a substantive (non-circularity) question. This qualifies as a normal, non-circular extension with minor reliance on prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract; the work assumes the existence and constructibility of graded versions of classical theorems without detailing free parameters or new entities.

axioms (1)

domain assumption Classical first and second fundamental theorems for matrices have graded analogues applicable to bosonic and fermionic tuples
Invoked in the abstract as the basis for developing the super versions.

pith-pipeline@v0.9.0 · 5525 in / 1180 out tokens · 45336 ms · 2026-05-22T03:01:01.883226+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We develop a first and second fundamental theorem for n-tuples of bosonic and fermionic matrices, by developing graded analogues of the classical case. ... CH_{e,f}(y1,...,ye,x1,...,xf) := τ_{C_{e,f}}(∑_{σ∈S_{n+1}} ε_σ σ̄)
IndisputableMonolith/Foundation/AlexanderDuality alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The T-ideal of trace relations ... is generated by the trace n+1 trace relations T_{e,f} ... and the n+1 Cayley-Hamilton identities CH_{e,f}

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.