Clifford and Weyl algebras in symmetric tensor categories

Pavel Etingof

Clifford and Weyl algebras in symmetric tensor categories

T0 review · 0 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read In any Frobenius exact symmetric tensor category over a field of characteristic ≠ 2, the Weyl algebra of a symplectic object with finite symmetric algebra is central Azumaya, embedding a symplectic Witt group into the 2-torsion Brauer group

desk verdict Main result is a genuine reduction to Ver_p plus a new symplectic Witt group invariant; the dependence on the published [CEO] theorem is real, but the paper is sound and worth refereeing. read the letter →

arxiv 2607.16910 v1 pith:JRNYNABX submitted 2026-07-18 math.RT math.CTmath.QAmath.RA

Pavel Etingof This is my paper · ORCID

classification math.RTmath.CTmath.QAmath.RA MSC 18M0516H0511E81

keywords symmetrictensorcategoriesWeylalgebrasCliffordAzumayaBrauergroupsymplecticWittVerlindecategoryStiefel-Whitneyclasses

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 builds a categorical version of Clifford and Weyl algebras — the associative algebras that quantize exterior and symmetric algebras. Its aim is to show that in a Frobenius exact symmetric tensor category (a well-behaved categorical setting over a field of characteristic not 2), any symplectic object whose symmetric algebra has finite length has a Weyl algebra that is central and Azumaya, meaning it behaves like a matrix algebra over the category. From that, the author defines a symplectic Witt group, a home for Morita classes of such algebras, and proves it injects into the 2-torsion of the Brauer group. For super-representations of a finite group, the image is computed exactly in terms of second Stiefel-Whitney classes of orthogonal representations. This gives a common home for classical Witt-group invariants and Brauer-theoretic invariants in a single categorical framework.

What carries the argument

The central object is the Weyl algebra A(V), defined as the quotient of the enveloping algebra of the Heisenberg object V ⊕ 1 by the relation that identifies the central generator with the unit; the Clifford algebra is the same construction for a symmetric form, and tensoring with a super-line (an invertible object of categorical dimension −1) exchanges the two. The argument is carried by three mechanisms: the PBW theorem, which says the associated graded algebra is the symmetric algebra SV (or the exterior algebra in the Clifford case); the contraction maps D_B that turn SV into a Poisson algebra and yield the Moyal–Weyl product, an associative product formed by summing contracted symmetric

What would settle it

Look for a Frobenius exact symmetric tensor category of moderate growth over an algebraically closed field of characteristic p > 2 containing a symplectic object V with S^N V = 0 for some N, and check whether A(V) ⊗ A(V)^op → End(A(V)) is an isomorphism; if it fails, the main corollary collapses. Equally decisive: exhibit such a category with no exact symmetric fiber functor to Ver_p or to super-vector spaces, since the paper proves the Azumaya property only via that reduction.

Watch

Extended reading notes

Core claim

The paper's central result is that in a Frobenius exact symmetric tensor category C over k, char k ≠ 2, the Weyl algebra A(V) of any symplectic object V with finite-length symmetric algebra SV is central Azumaya: A(V) ⊗ A(V)^op ≅ End(A(V)). The proof combines the PBW theorem (gr A(V) ≅ SV) with a simplicity argument; outside the classical super-vector-space case it reduces to the Verlinde category Ver_p via an external classification theorem, where the simple summands have S^p L_i = 0 and the form splits into known pieces. Consequently V ↦ A(V) defines an injective group homomorphism from the symplectic Witt group SW(C) into the 2-torsion Brauer group. When C = Rep(G) ⊠ sVec and |G| is copri

Load-bearing premise

The load-bearing premise is an external classification theorem the paper cites: every Frobenius exact symmetric tensor category of moderate growth admits an exact symmetric fiber functor to the Verlinde category (or to super-vector spaces in characteristic 0); the Azumaya property is proved only through that reduction.

Editorial extensions

If this is right

In any Frobenius exact symmetric tensor category, symplectic objects with finite symmetric algebra supply central simple algebras, so their Morita classes are 2-torsion elements of the Brauer group.
The symplectic Witt group SW(C) embeds into the 2-torsion Brauer group, making Witt equivalence of forms a Brauer-theoretic invariant.
For C = Rep(G) ⊠ sVec with |G| coprime to char(k), the image of the embedding is exactly SW(G) × K × μ_2; surjectivity holds for abelian G and fails for some metacyclic groups.
Clifford and Weyl algebras remain filtered quantizations of (super)symmetric algebras in arbitrary symmetric tensor categories, and the parity-change correspondence between Clifford and Weyl algebras survives.
In the Verlinde category, the Weyl algebra of L_{p−2k+1} is a queer algebra built from a spin representation, linking categorical Witt classes to spin geometry.

Reading between the lines

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

One likely extension is to compute symplectic Witt groups for other tensor categories, such as representations of finite group schemes or fusion categories; the same formula may expose new Brauer classes not visible from orthogonal representations.
The finite-length assumption on SV may be relaxable to weaker growth conditions; if so, the Azumaya conclusion would hold for a broader class of infinite-dimensional objects in these categories.
A direct test in a small case, such as a type-1 split metacyclic group where SW(G) ≠ H^2(G,k^×)[2], would exhibit an explicit Brauer class not represented by any symplectic object, clarifying exactly how much information the categorical Witt group captures.
The stabilization step used to compute β_X suggests a homological reformulation: symplectic Witt classes may be seen as twisted equivariant Clifford-module classes, which could generalize beyond the coprime assumption on |G|.

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.

Desk Editor's Note

read the letter

Short version: the paper is better than its title suggests. It does three real things: (1) reduces simplicity and Azumaya-ness of Weyl algebras in Frobenius exact symmetric tensor categories to a computation in Ver_p; (2) computes the Weyl algebra of L_{p−2k+1} as Q(S_k); (3) defines a symplectic Witt group and, for Rep(G)⊠sVec, identifies its image in the Brauer group via second Stiefel–Whitney classes. The PBW theorem is not new, and Remark 2.3 says so honestly, since it follows from the author's earlier [E, Ex. 4.8(2)]. The novelty is in Section 3, and that is where the value is.

The reduction in Corollary 3.4(iii) is the load-bearing step. It goes through [CEO]'s theorem that a moderate-growth Frobenius exact category admits a fiber functor to Ver_p, and the Ver_p bookkeeping is coherent: isotypic decomposition, S^p L_i = 0, parity of forms, and the appeal to Corollary 3.3 all check out. I did not find a hidden assumption. So the main theorem is as solid as [CEO] is — a published Annals result, so a dependency, not a defect. Lemma 3.5 is compressed but correct in outline; the symmetrizer argument is the right way to get finite growth degree.

Two soft spots, both minor. First, the PBW proof in §2.3 has an "It is easy to see" associativity identity for the Moyal–Weyl product. Since the proposition is already covered by [E], this is not a gap in the central argument, but a referee should ask for the identity to be spelled out or the proof shortened to the citation. Second, Lemma 3.6's Frobenius claim is checked in Ver_p by reference to the tautological object k_j; likely right, but more telegraphic than the rest of the paper. The external [GKT] input in Corollary 3.14(iii) is also used without much hand-holding.

The citation pattern is fine. Self-citations go to published, independently verifiable results; the paper is explicit about what is new. No circularity. No invented entities — the symplectic Witt group is defined and the Stiefel–Whitney description is proved, not assumed.

For someone inside tensor-category theory: yes, this deserves serious referee time. It gives a clean uniform criterion for Azumaya Weyl algebras and a new invariant that is actually computable. I would send it out, expecting minor revisions on exposition rather than on the mathematics.

Referee Report

0 major / 5 minor

Summary. The paper develops a theory of Clifford and Weyl algebras attached to objects of a symmetric tensor category equipped with a symmetric or skew-symmetric bilinear form. It establishes a PBW theorem, proves simplicity and the Azumaya property under finite-length assumptions on the symmetric algebra, and introduces the symplectic Witt group SW(C) as a subgroup of the Brauer group. The main structural result, Corollary 3.4, is proved by reducing via the external fiber-functor theorems of [De] and [CEO] to sVec and the Verlinde category Ver_p, where explicit computations are carried out. For C = Rep(G) ⊠ sVec with |G| coprime to char(k), the paper gives a detailed description of ι(SW(C)) in terms of second Stiefel–Whitney classes of orthogonal G-representations, and gives criteria for surjectivity onto Br_2(C).

Significance. This is a substantial contribution. It extends classical Clifford/Weyl algebra theory to arbitrary symmetric tensor categories, including non-Tannakian and positive-characteristic settings, and it produces a new invariant, the symplectic Witt group, inside the Brauer group. The final computation for Rep(G) ⊠ sVec is concrete and checkable: Proposition 3.10 and Corollary 3.14 give explicit formulas and criteria, and the direct Ver_p computations in §3.4 are a clear strength. The heavy reliance on the external theorem [CEO] is legitimate and is explicitly identified in the proof rather than hidden; the internal reduction to Ver_p is coherent. If the cited fiber-functor theorem is accepted, the main claims follow from the arguments presented.

minor comments (5)

[§2.3, proof of Proposition 2.2] The key associativity identity for the Moyal–Weyl product is asserted with the phrase “It is easy to see.” This identity is central to the PBW theorem. The argument is standard, but the manuscript should expand it: explain why E_{13} and E_{23} commute as contraction operators in a symmetric tensor category, and give the usual Leibniz-rule verification of E ∘ (m_0 ⊗ id) = (m_0 ⊗ id) ∘ E_{13}E_{23}. A diagram or two-line calculation would remove the only opaque point in this proof.
[§3.1, proof of Corollary 3.4] The proof invokes [CEO] and [De] without stating the precise theorem or theorem number. Since exactness and faithfulness of the fiber functor are load-bearing, please quote the exact statements used and verify that the tensor-generated subcategory inherits Frobenius exactness from C. This is a verifiability point rather than a mathematical gap.
[§3.6, paragraph after Proposition 3.10] The notation “k dimX −” for the stabilization is ambiguous. It should be written as (k^{dim X})^-, i.e., the direct sum of dim X copies of the sign representation k^- on which t acts by −1. Please clarify this notation in the displayed definition of \tilde X.
[§3.7, Corollary 3.14(iii)] The non-surjectivity example is given by “the type-1 split metacyclic groups occurring in the proof of [GKT, Theorem 2].” This is quite indirect. Please either name an explicit group and class, or give a more precise citation to the specific class constructed in [GKT].
[§3.2, proof of Lemma 3.6(i)] The claim that it suffices to check that S F(V) is Frobenius after applying the fiber functor is valid, but the reader must supply the standard argument that an exact faithful tensor functor reflects non-degenerate pairings and isomorphisms. A brief sentence to that effect would improve clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central Azumaya result is derived by reduction to Ver_p using prior, independent theorems; no step reduces to its own input.

full rationale

I walked the derivation chain. The paper's main structural result, Corollary 3.4, is proved by: (1) reducing to the tensor-generated subcategory; (2) proving moderate growth via Lemma 3.5 using [CEO] growth criteria; (3) invoking the external theorem [CEO] (in char p) or [De] (in char 0) that the category admits a fiber functor to Ver_p or sVec; and (4) doing an explicit, internal computation in Ver_p using decompositions F(V)=⊕ M_i⊗L_i, the vanishing S^p L_i=0, and Corollary 3.3. The Azumaya property in (iii) is then obtained from the isomorphism A(V)⊗A(V)^op ≅ A(V⊕V*) → End(SV) of (ii), not from a definitional identity. The cited [CEO] theorem is a prior published result with its own proof; its assumptions do not include the target Azumaya claim, and it is not equivalent to any statement proved in this paper. The fact that [CEO] and [EO] share authors with the present paper is self-citation, but under the review rules that is not circularity when the cited results are load-bearing but independent. Lemma 3.6 uses Corollary 3.4(ii) and then re-checks the Frobenius property of S V in sVec/Ver_p; this is a reuse of already established internal results, not a circular definition. Proposition 3.7 uses the classification of exact module categories over Ver_p from [EO,Os] as an external input; again independent. The computation of SW(Rep(G)⊠sVec) in Proposition 3.10 is an explicit Clifford-algebra calculation using [DN]'s description of Pic(C); no parameter is fitted and no 'prediction' is secretly used as an input. I found no self-definitional step, no fitted-input-called-prediction step, and no renaming of a known result presented as a derivation. The only genuine vulnerability is that the general Frobenius-exact case depends on the external [CEO] fiber-functor theorem; if that theorem were false or inapplicable, Corollary 3.4 would not follow. That is a correctness/robustness concern, not circularity.

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

The ledger is dominated by standard tensor-category background and the external theorems that the text explicitly relies on. No data-fitting free parameters occur; the only new mathematical object listed is the symplectic Witt group, which is formally constructed rather than postulated from external evidence.

assumptions (6)

domain assumption C is a symmetric tensor category over an algebraically closed field k of characteristic ≠2 (with rigidity and appropriate finiteness), and, in the main theorems, C is Frobenius exact.
Stated in the first lines of the abstract and Section 1; all constructions and claims are confined to this setting.
standard math Every Frobenius exact symmetric tensor category of moderate growth over k admits a symmetric tensor functor to Ver_p (char p>0) or to sVec (char 0), from [CEO] and [De].
Crucial for Corollary 3.4 and Lemma 3.6(ii); imported without proof.
standard math The indecomposable exact module categories over Ver_p are exactly Ver_p and Ver_p^+ (ADET classification), from [EO] and [Os].
Used in Proposition 3.7 to list the simple algebras in Ver_p, which feeds into Proposition 3.8.
standard math For finite symmetric tensor categories, Br(C)≅Pic(C), and Carnovale's computation Pic(Rep(G)⊠sVec)=H^2_*(G×Z/2,k^×)×μ2 holds, from [DN, Theorem 6.5].
Used in §3.5–3.6 to give the explicit form of the symplectic Witt group in Proposition 3.10.
standard math Schur finiteness and growth-degree results from [CEO] (sd(V)<∞ implies ad(V)<∞ and finite alternating degree implies moderate growth).
Used in Lemma 3.5 to derive moderate growth from finite length of SV.
standard math For finite groups, the Stiefel-Whitney subgroup SW(G) may be proper in H^2(G,k^×)[2]; the counterexample groups of [GKT, Theorem 2] are used.
Used in Corollary 3.14(iii) to establish non-surjectivity of ι.

invented entities (1)

symplectic Witt group SW(C)
purpose: Invariant collecting Morita classes of Weyl algebras of symplectic objects V with SV finite length; subgroup of the Brauer group.
Defined in §3.5 via generators and relations; it is a new formal invariant, not an empirical entity, and its only support is the construction and proofs in this paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Clifford and Weyl algebras in symmetric tensor categories." pith.science (2026). https://pith.science/paper/JRNYNABX

@misc{pith2026260716910,
  author       = {Pith},
  title        = {Pith review of: Clifford and Weyl algebras in symmetric tensor categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JRNYNABX}},
  note         = {Machine review of arXiv:2607.16910}
}

abstract

Let $\mathcal C$ be a symmetric tensor category over an algebraically closed field $\mathbf k$ of characteristic $\ne 2$. We study Clifford and Weyl algebras of objects of $\mathcal C$ with a (skew-)symmetric bilinear form. When the form is non-degenerate, we establish simplicity and the Azumaya property for such algebras under suitable assumptions. We also compute Clifford and Weyl algebras in the Verlinde category ${\rm Ver}_p$ and use them to prove that if $\mathcal C$ is Frobenius exact then the Weyl algebra of a symplectic object of $\mathcal C$ with finite symmetric algebra is Azumaya. Using this, we introduce the symplectic Witt group $\mathcal S\mathcal W(\mathcal C)$, the subgroup of the Brauer group ${\rm Br}(\mathcal C)$ consisting of Morita classes of such Azumaya algebras, and when $\mathcal C={\rm Rep}(G)\boxtimes{\rm sVec}$ for a finite group $G$ of order coprime to ${\rm char}(\mathbf k)$, express $\mathcal S\mathcal W(\mathcal C)$ in terms of second Stiefel-Whitney classes of orthogonal representations of $G$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 1 canonical work pages

[1]

Coulembier, P

K. Coulembier, P. Etingof, and V. Ostrik, On Frobenius exact symmetric tensor categories, with an appendix by A. Kleshchev, Ann. of Math. (2) 197 (2023), no. 3, 1235--1279; doi:10.4007/annals.2023.197.3.5; arXiv:2107.02372

arXiv 2023
[2]

Coulembier, P

K. Coulembier, P. Etingof, and J. Newton, Finite symmetric algebras in tensor categories and Verlinde categories of algebraic groups, Adv. Math. 483 (2025), 110677; doi:10.1016/j.aim.2025.110677; arXiv:2502.10598

arXiv 2025
[3]

Coulembier, M

K. Coulembier, M. Stroi\' n ski, and T. Zorman, Simple algebras and exact module categories, arXiv:2501.06629v2 [math.RT] (2025)

arXiv 2025
[4]

Davydov and D

A. Davydov and D. Nikshych, Braided Picard groups and graded extensions of braided tensor categories, Selecta Math. (N.S.) 27 (2021), no. 4, Paper No. 65, 87 pp.; doi:10.1007/s00029-021-00670-1; arXiv:2006.08022

arXiv 2021
[5]

Deligne, Cat\'egories tensorielles, Mosc

P. Deligne, Cat\'egories tensorielles, Mosc. Math. J. 2 (2002), no. 2, 227--248; doi:10.17323/1609-4514-2002-2-2-227-248

doi:10.17323/1609-4514-2002-2-2-227-248 2002
[6]

Etingof, Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic, Adv

P. Etingof, Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic, Adv. Math. 327 (2018), 128--160; doi:10.1016/j.aim.2017.06.014; arXiv:1603.08133

arXiv 2018
[7]

Etingof, S

P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor categories, Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, Providence, RI, 2015; doi:10.1090/surv/205

doi:10.1090/surv/205 2015
[8]

Etingof, D

P. Etingof, D. Nikshych, and V. Ostrik, with an appendix by E. Meir, Fusion categories and homotopy theory, Quantum Topol. 1 (2010), no. 3, 209--273; doi:10.4171/QT/6; arXiv:0909.3140

arXiv 2010

Show all 13 references

[9]

Etingof and V

P. Etingof and V. Ostrik, Module categories over representations of SL_q(2) and graphs, Math. Res. Lett. 11 (2004), no. 1, 103--114; doi:10.4310/MRL.2004.v11.n1.a10; arXiv:math/0302130

2004 arXiv
[10]

Etingof, V

P. Etingof, V. Ostrik, and S. Venkatesh, Computations in symmetric fusion categories in characteristic p , Int. Math. Res. Not. IMRN 2017 (2017), no. 2, 468--489; doi:10.1093/imrn/rnw024; arXiv:1512.02309

2017 arXiv
[11]

Gunarwardena, B

J. Gunarwardena, B. Kahn, and C. B. Thomas, Stiefel--Whitney classes of real representations of finite groups, J. Algebra 126 (1989), no. 2, 327--347; doi:10.1016/0021-8693(89)90309-8

1989 doi
[12]

Ostrik, Module categories over representations of SL_q(2) in the non-semisimple case, Geom

V. Ostrik, Module categories over representations of SL_q(2) in the non-semisimple case, Geom. Funct. Anal. 17 (2008), no. 6, 2005--2017; doi:10.1007/s00039-007-0637-4; arXiv:math/0509530

2008 arXiv
[13]

Van Oystaeyen and Y

F. Van Oystaeyen and Y. H. Zhang, The Brauer group of a braided tensor category, J. Algebra 202 (1998), no. 1, 96--128; doi:10.1006/jabr.1997.7295

1998

Pith tools

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

[1] [1]

Coulembier, P

K. Coulembier, P. Etingof, and V. Ostrik, On Frobenius exact symmetric tensor categories, with an appendix by A. Kleshchev, Ann. of Math. (2) 197 (2023), no. 3, 1235--1279; doi:10.4007/annals.2023.197.3.5; arXiv:2107.02372

arXiv 2023

[2] [2]

Coulembier, P

K. Coulembier, P. Etingof, and J. Newton, Finite symmetric algebras in tensor categories and Verlinde categories of algebraic groups, Adv. Math. 483 (2025), 110677; doi:10.1016/j.aim.2025.110677; arXiv:2502.10598

arXiv 2025

[3] [3]

Coulembier, M

K. Coulembier, M. Stroi\' n ski, and T. Zorman, Simple algebras and exact module categories, arXiv:2501.06629v2 [math.RT] (2025)

arXiv 2025

[4] [4]

Davydov and D

A. Davydov and D. Nikshych, Braided Picard groups and graded extensions of braided tensor categories, Selecta Math. (N.S.) 27 (2021), no. 4, Paper No. 65, 87 pp.; doi:10.1007/s00029-021-00670-1; arXiv:2006.08022

arXiv 2021

[5] [5]

Deligne, Cat\'egories tensorielles, Mosc

P. Deligne, Cat\'egories tensorielles, Mosc. Math. J. 2 (2002), no. 2, 227--248; doi:10.17323/1609-4514-2002-2-2-227-248

doi:10.17323/1609-4514-2002-2-2-227-248 2002

[6] [6]

Etingof, Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic, Adv

P. Etingof, Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic, Adv. Math. 327 (2018), 128--160; doi:10.1016/j.aim.2017.06.014; arXiv:1603.08133

arXiv 2018

[7] [7]

Etingof, S

P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor categories, Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, Providence, RI, 2015; doi:10.1090/surv/205

doi:10.1090/surv/205 2015

[8] [8]

Etingof, D

P. Etingof, D. Nikshych, and V. Ostrik, with an appendix by E. Meir, Fusion categories and homotopy theory, Quantum Topol. 1 (2010), no. 3, 209--273; doi:10.4171/QT/6; arXiv:0909.3140

arXiv 2010