Affine web of type Q

LinLiang Song; Xingyu Wang

REVIEW 3 major objections 5 minor 1 cited by

Affine web of type Q

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

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

Pith's one-line read The affine web category of type $Q$ has an integral basis of elementary chicken-foot diagrams, and its $n$-strand endomorphism algebra is the affine Sergeev superalgebra.

desk verdict Solid new basis theorem for affine type Q webs, but the spanning proof has a load-bearing omitted verification in Lemma 5.3. read the letter →

arxiv 2506.09729 v2 pith:GSWRC7L4 submitted 2025-06-11 math.RT math.QA

Linliang Song , Xingyu Wang This is my paper

classification math.RTmath.QA MSC 17B1018M05

keywords affinewebcategorytypeQwebschickenfootdiagramsSergeevsuperalgebraLieq_nmonoidalsupercategoryintegralbasistheoremsupersymmetricpowers

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 introduces a diagrammatic monoidal supercategory, the affine web category of type $Q$, and proves that every morphism space has an explicit $k$-basis of elementary chicken-foot diagrams, valid over any commutative ring in which $2$ is invertible. If the claim is right, the category is a complete combinatorial model for the endofunctors of $q_n$-supermodules generated by tensoring with supersymmetric powers of the natural module, and the algebra of diagrams on $n$ strands is exactly the affine Sergeev superalgebra. The proof has two halves: a rewriting argument that pushes arbitrary dotted webs into normal form, and an independence argument that reads off the highest-degree term of each basis diagram through partially symmetric polynomials on a generic Verma module. The paper thus aims to show that the affinization of the type-$Q$ web category is not just a formal construction but a computationally tractable presentation.

What carries the argument

The load-bearing object is the elementary dot packet $g_{\nu,\eta} = \omega^\circ_{\bar\nu}\,\omega_\eta$ placed on a strand of thickness $a$: $\omega_\eta$ is a product of black-dot operators indexed by a partition $\eta$, and $\omega^\circ_{\bar\nu}$ is a product of white-dot operators indexed by the shifted strict partition $\bar\nu = (\nu_1-1,\dots,\nu_k-1)$. Placing one such packet on each leg of a reduced chicken-foot diagram produces exactly the family $\mathrm{SParMat}_{\lambda,\mu}$. The packet does the representation-theoretic work: under the generic Verma module action, the black-dot part produces elementary symmetric polynomials in variables $y_i$, the white-dot part produces Vandermonde determinants, and the combined leading term is a product $\Delta\, g_\nu\, e_\eta$. The spanning half of the proof uses congruence relations modulo lower-degree terms to move dots through merges, splits, and crossings, while the independence half isolates these leading polynomials and proves them independent by a dominance-order induction in the appendix.

What would settle it

Verify the omitted half of the appendix lemma for the smallest nontrivial case by rotating the proven direction through the $180^\circ$ diagram automorphism; if the two halves are exchanged by this symmetry, the reduction is sound, whereas an explicit dotted diagram in $\operatorname{Hom}_{QWeb^\bullet}(1,2)$ that is not a linear combination of elementary dot packets modulo lower-degree terms would falsify the spanning half and hence the basis theorem.

Watch

Extended reading notes

Core claim

The central claim is that for any strict compositions $\lambda$ and $\mu$ of the same integer $m$, the morphism space $\operatorname{Hom}_{QWeb^\bullet}(\mu,\lambda)$ is free over $k$ with basis $\mathrm{SParMat}_{\lambda,\mu}$: reduced chicken-foot diagrams in which every thin leg of thickness $a$ carries an elementary dot packet $g_{\nu,\eta} = \omega^\circ_{\bar\nu}\,\omega_\eta$, with $\nu$ a strict partition and $\eta$ a partition whose parts do not exceed $a$. The non-affine category $QWeb$ is the subcategory whose diagrams carry at most one white dot and no black dots per leg, and the same basis theorem holds there. Because the bases are integral, they specialize to every coefficient ring of characteristic not two. A direct corollary is the isomorphism of $\operatorname{End}_{QWeb^\bullet}(1^n)$ with the affine Sergeev superalgebra, and the existence of the monoidal functor $F: QWeb^\bullet \to \operatorname{End}(q_n\text{-smod})$ sending the object $a$ to $-\otimes S^a(V)$, the tensor product with the $a$-th supersymmetric power of the natural $q_n$-supermodule.

Load-bearing premise

The spanning reduction depends on an appendix lemma about moving dotted operators through a merge; one half of that lemma is proved and the other half is dismissed with a 'Similarly' and an omitted proof, so if that symmetric computation fails, arbitrary diagrams cannot be shown to reduce to elementary chicken-foot diagrams.

Editorial extensions

If this is right

Every morphism space of $QWeb^\bullet$ is a free $k$-module with a specified basis of elementary chicken-foot diagrams over every commutative ring with $2$ invertible.
The endomorphism algebra $\operatorname{End}_{QWeb^\bullet}(1^n)$ is the affine Sergeev superalgebra, so the web calculus gives a diagrammatic presentation and basis for that algebra.
The monoidal functor to $\operatorname{End}(q_n\text{-smod})$ is compatible with the basis, making $QWeb^\bullet$ a combinatorial model for the endofunctor category generated by tensoring with supersymmetric powers of the natural $q_n$-supermodule.
The finite web category $QWeb$ embeds in $QWeb^\bullet$, and its basis is the restricted family with at most one white dot and no black dots per leg, recovering the earlier type-$Q$ basis over $\mathbb{C}$.

Reading between the lines

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

The appendix's polynomial-independence lemma is strong enough to stand alone; it could likely prove basis theorems for other diagrammatic categories whose dot packets are indexed by strict and ordinary partitions.
If the basis theorem is correct, the functor $F$ is a faithful model, so future work could use $QWeb^\bullet$ to certify relations among endofunctors of $q_n$-supermodules, a consequence the paper does not spell out.
The cyclotomic quotients the paper looks toward should yield diagrammatic presentations of higher-level queer Schur superalgebras; a concrete test is to write out the one-strand quotient and compare it with the known algebra.

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

Two things to know up front. First, this is a real piece of work: a new diagrammatic category QWeb^•, a simplified presentation over C, and a basis theorem for its Hom-spaces, with the endomorphism algebra on n strands recovering the affine Sergeev superalgebra. The proof of independence uses partially symmetric polynomials and an explicit dominance induction (Lemmas 5.7–5.12) that is genuinely new. Second, the spanning half of the basis theorem rests on Lemma 5.3, and that lemma has two inclusions, one of which is dismissed with 'We omit this proof for simplicity.' That is the soft spot, and it is not cosmetic.

The paper does a lot well. Definition 2.3 is clean, the category is defined before any representation theory, and the functor to End(q_n-smod) is used only for independence, so there is no circularity. Theorem 3.7 (the simplified presentation) is proved with explicit functors. The basis theorem extends to any commutative ring of characteristic not 2 by base change from Z, which is nice. The partially symmetric polynomial independence (Lemma 5.12) is the real technical core, and it looks correct; I didn't find a hidden assumption.

The problem: Proposition 4.3 reduces arbitrary dotted webs to elementary chicken foot diagrams, and the Type Y (merge) case invokes Lemma 5.4, which is proved by double induction and uses both inclusions of Lemma 5.3. The proof of Lemma 5.3 proves the first inclusion in detail, then says the second is similar and omits it, for k=1 and again for k≥2. The ÷ automorphism likely swaps the two inclusions, but the manuscript never checks that ÷ preserves E_{a+1}, the ≡ relation, and the relevant degree. If that check goes through, the gap closes; if not, the spanning argument is unsupported. As written, it's a load-bearing hole in an otherwise careful proof. That's the main thing I'd want fixed.

Other soft spots are minor: the paper leans on [Mut21] (unpublished notes) for relation (3.13), on [STA] (a Math StackExchange post) for the determinant identity (4.14), and on the in-preparation [DKMZ25] for an announced analogous basis theorem. None of these is fatal, but they make the novelty claim slightly harder to adjudicate.

Bottom line: this deserves a serious referee. The construction is important for the affine web program, and the basis theorem is the kind of result people will cite. I'd send it out, but with a specific request: fill the omitted symmetric computation in Lemma 5.3, or prove explicitly that ÷ swaps the two inclusions and preserves all the auxiliary structures. With that patched, I'd expect it to be publishable.

Referee Report

3 major / 5 minor

Summary. The paper introduces a new diagrammatic k-linear monoidal supercategory QWeb^•, the affine web category of type Q, obtained by adjoining black dots to the type-Q web category QWeb of Brown and Kujawa. Over a field of characteristic zero it proves a simplified presentation (Theorem 3.7), constructs a strict monoidal functor to the endofunctor category of q_n-supermodules (Proposition 4.6), and establishes diagrammatic integral bases of elementary chicken foot diagrams for all Hom spaces (Theorem 4.14), together with the finite version for QWeb (Theorem 4.16) and an isomorphism between End_{QWeb^•}(1^n) and the affine Sergeev superalgebra (Corollary 4.18). The proof splits into a spanning half, which reduces arbitrary dotted web diagrams to elementary chicken foot diagrams using appendix relations, and an independence half, which uses the generic Verma module action and a new linear-independence lemma for partially symmetric polynomials (Lemma 5.12).

Significance. If the main theorem is correct, the paper provides complete combinatorial control over the monoidal supercategory generated by tensoring with supersymmetric powers of the natural q_n-supermodule, and it is a genuine type-Q analogue of the affine web category. The strongest features are the explicit integral basis statement, the reduction of the independence problem to a concrete polynomial lemma, and the independent check of the affine Sergeev endomorphism algebra against the known basis of [Kle05]. The paper also gives credit to and builds on external benchmarks such as [BK21], [HKS09], and [Mac15]. The main reservation is that the spanning half relies on an omitted computation in Lemma 5.3, so the significance is conditional on that proof being completed; there is no evidence of a circularity problem, because the category is defined by generators and relations before representation theory is introduced.

major comments (3)

[Lemma 5.3 (Eq. (5.3))] The second inclusion in (5.3) is asserted without proof. After the k=1 case the text says 'Similarly, when k=1, we can prove the second inclusion by induction ... We omit this proof for simplicity,' and for k≥2 it says 'the second one is similar.' Lemma 5.4 is proved by double induction and uses both inclusions to eliminate double legs, and Proposition 4.3 (the spanning half of Theorem 4.14) explicitly invokes Lemma 5.4 and Lemma 5.6. The omitted computation is therefore load-bearing, not a presentational shortcut. The paper's ÷ automorphism might reduce the second inclusion to the first, but the manuscript never verifies that ÷ preserves E_{a+1}, the ≡-filtration, and the relevant dot order. Please supply the missing proof or a complete symmetry check.
[Lemma 3.9 / Theorem 3.7] In the proof of Lemma 3.9, the second relation of (2.12) is dismissed with 'the second holds by the symmetry ÷.' Since Theorem 3.7 asserts an isomorphism between QWeb^• and the simplified category QWeb^{•′}, and the two equations in (2.12) are distinct relations, the symmetry argument requires verifying that the 180-degree rotation preserves the relations (3.14)–(3.15) and the defining data of the simplified presentation. This verification is not included. Without it, the simplified presentation, and consequently the use of (3.14) in Proposition 4.6, is not fully supported. Please add the verification or a direct proof of the second relation.
[Lemma 5.4] The reduction of the n=0 case to (5.4) is dismissed with 'By the similar method of [SW24a, Lemma 2.13].' Because Lemma 5.4 is the main engine for the Type Y spanning argument and depends at every stage on Lemma 5.3, the analogy to the type-A setting should be spelled out, at least by naming the exact statements in [SW24a] that are adapted and explaining how the white-dot relations of type Q are handled. As written, a load-bearing step of the spanning proof is delegated to a citation rather than proved.

minor comments (5)

[Proposition 4.3] The two cases (3) and (4) are both labelled 'Type Y', which is confusing; the merge and split cases should have distinct names, such as 'Type M' and 'Type S'.
[Lemma 3.3] The verification of relation (3.7) is ended with 'can be checked in a similar way'; providing the two or three line computation would make the proof of Theorem 3.2 easier to check.
[Proposition 4.6] The proof of the second relation in (3.14) is stated as 'The second one is similar.' Since this relation is used to define the functor F, a direct computation or an explicit reference to the first case would improve the exposition.
[Lemma 5.7] There is a typo: 'exsits' should be 'exists'. Similar typographical issues appear in the author byline and in the table of contents ('typeQoverC11'), which should be corrected.
[References] The reference [STA] points to a StackExchange page; the determinant identity (4.14) is standard and could be cited to [Mac15] or proved in a sentence, avoiding a non-archival citation.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the basis theorem is supported by independent representation-theoretic and polynomial-independence arguments; only minor self-citation for proof strategy and one admitted omitted symmetry proof.

full rationale

QWeb^• is defined by explicit generators and relations, and the claimed basis SParMat_{λ,μ} is an explicit combinatorial set; the basis theorem is not an input of the definition. The spanning half (Proposition 4.3) is an internal diagram reduction using Lemmas 5.1–5.6. Where the appendix invokes [SW24a], it does so as a proof template for the type A affine web category, not as an assertion of the type Q basis; the central type Q content (dot packets, Lemma 5.6, and Proposition 4.3) is carried out in this paper. The independence half is independent of the spanning half: the functor F is checked against external results [BK21, HKS09], and the key Lemma 5.12 is a standalone statement about partially symmetric polynomials proved from Macdonald [Mac15], not from the category. No fitted parameter is relabeled as a prediction, and no uniqueness theorem is imported. Two non-circular caveats: Lemma 5.3 states two inclusions but proves only the first fully, ending the second with 'Similarly... We omit this proof for simplicity'; this is an omitted symmetry argument rather than a circular one, but it is load-bearing for Lemma 5.4 and hence Proposition 4.3, so it should be supplied. Likewise, Lemma 5.4's phrase 'By the similar method of [SW24a, Lemma 2.13]' delegates a reduction step; again this is proof-incompleteness, not circularity. These caveats affect confidence in the spanning proof but do not make the derivation equivalent to its inputs.

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

No constants are fitted; the paper constructs a formal category by generators and relations. The external theorems listed are standard or from cited prior work. The only genuinely new object, the category QWeb^• itself, is introduced by explicit definition and receives independent support from the basis theorem and the representation functor.

assumptions (9)

domain assumption The ground ring k is a commutative ring with 2 invertible.
Assumed throughout; needed in Lemma 2.5 to divide by 2, and in the definition of the supercategory QWeb^•.
standard math PBW theorem and the stated basis of the generic Verma module M^gen (Eq. 4.6).
Used in Section 4.2 to compute leading terms of the action of elementary dot packets on M^gen tensor S^a(V).
domain assumption [HKS09, Theorem 7.4.1]: the element Omega is an even U(q)-supermodule homomorphism and satisfies the braid relation (3.15).
External theorem used in Proposition 4.6 to define the functor F and to check the relation (3.15).
domain assumption [BK21, Proposition 5.3]: there is an essentially surjective functor Psi from q-Web to q_n-ModS with the stated actions.
External result used in Proposition 4.6 and Remark 4.5; the affine category is modeled on this representation.
standard math [Kle05, Theorem 14.2.2]: the affine Sergeev superalgebra A_n has the stated PBW-type basis.
Used in Corollary 4.18 to identify End_{QWeb^•}(1^n) with A_n via basis comparison.
standard math Determinant identity (4.14): det(e_{j-1}(x_1,...,hat{x}_i,...,x_s)) equals the Vandermonde determinant.
Used in Proposition 4.11 to compute minors in the partially symmetric polynomial independence proof; cited to [STA].
standard math Macdonald dominance properties of elementary symmetric polynomials, including (5.9) and (1.16) from [Mac15].
Used in Lemmas 5.7, 5.11, and 5.12 for the dominance induction.
domain assumption [Mut21]: the relations (2.2) and (3.10) imply (3.13).
Used in Lemma 3.5 to prove that the functor beta is well-defined; the cited source is an unpublished personal note.
domain assumption [BCK19, Lemma 5.1]: left action of e^epsilon_{ij} on M^gen has filtered degree 1 for i <= j and degree 0 for i > j.
Used in Lemma 4.8 to identify leading terms of the action of omega^1_a on M^gen tensor S^a(V).

invented entities (1)

The monoidal supercategory QWeb^• and its black dot generator independent evidence
purpose: Affinization of the type Q web category; provides the combinatorial model for endofunctors of q_n-supermodules generated by tensoring with supersymmetric powers.
The category is introduced by explicit generators and relations, but it is anchored outside the definition by the basis theorem and by the isomorphism End_{QWeb^•}(1^n) isomorphic to A_n with the known affine Sergeev superalgebra (Corollary 4.18).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Affine web of type Q." pith.science (2026). https://pith.science/paper/GSWRC7L4

@misc{pith2026250609729,
  author       = {Pith},
  title        = {Pith review of: Affine web of type Q},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GSWRC7L4}},
  note         = {Machine review of arXiv:2506.09729}
}

abstract

We introduce a new diagrammatic $\Bbbk$-linear monoidal supercategory $QWeb^\bullet$, the affine web supercategory of type $Q$, where $\Bbbk$ is a commutative ring of characteristic not two. This category is the affinization of the web category of type $Q$, originally introduced by Brown and Kujawa. It serves as the type $Q$ analog of the affine web category introduced by Davidson, Kujawa, Muth and Zhu, and independently by Wang and one of the authors. We obtain diagrammatic integral bases for the Hom-spaces of this category. We show that $QWeb^\bullet$ provides a combinatorial model for a natural monoidal supercategory of endosuperfunctors for Lie superalgebras of type $Q$. .

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Higher-level degenerate spin affine Hecke superalgebras
math.RT 2026-07 accept novelty 5.5 of 10

Higher-level degenerate spin affine Hecke superalgebras are isomorphic (after Clifford tensor) to higher-level degenerate affine Hecke–Clifford superalgebras, hence Morita superequivalent.

Reference graph

Works this paper leans on

19 extracted references · 16 canonical work pages · cited by 1 Pith paper

[1]

A basis theorem for the degenerate affine oriented B rauer– C lifford supercategory

Jonathan Brundan, Jonathan Comes, and Jonathan Robert Kujawa. A basis theorem for the degenerate affine oriented B rauer– C lifford supercategory. Canadian Journal of Mathematics , 71(5):1061–1101, 2019

work page 2019
[2]

Semisimplification of the category of tilting modules for GL_ n

Jonathan Brundan, Inna Entova-Aizenbud, Pavel Etingof, and Victor Ostrik. Semisimplification of the category of tilting modules for GL_ n . Adv. Math. , 375:107331, 37, 2020

work page 2020
[3]

Elijah Bodish, Ben Elias, David E. V. Rose, and Logan Tatham. Type C webs. arXiv:2103.14997, 2021

arXiv 2021
[4]

Brown and Jonathan R

Gordon C. Brown and Jonathan R. Kujawa. Webs of type Q . Algebr. Comb. , 4(6):1027--1072, 2021

work page 2021
[5]

Gordon C. Brown. Webs for permutation supermodules of type Q . Communications in Algebra , 47(11):4763--4790, 2019

work page 2019
[6]

Orthogonal webs and semisimplification

Elijah Bodish and Daniel Tubbenhauer. Orthogonal webs and semisimplification. arXiv:2401.00704, 2024

work page Pith review arXiv 2024
[7]

Webs for the quantum orthogonal group

Elijah Bodish and Haihan Wu. Webs for the quantum orthogonal group. arXiv:2309.03623, 2023

arXiv 2023
[8]

Webs and quantum skew H owe duality

Sabin Cautis, Joel Kamnitzer, and Scott Morrison. Webs and quantum skew H owe duality. Math. Ann. , 360(1-2):351--390, 2014

work page 2014

Show all 19 references

[9]

Kujawa, and Robert Muth

Nicholas Davidson, Jonathan R. Kujawa, and Robert Muth. Webs of type P . Canad. J. Math. , 76(6):1917--1966, 2024

1917
[10]

Superalgebra deformations of web categories II : affine webs

Nicholas Davidson, Jonathan Kujawa, Robert Muth, and Jieru Zhu. Superalgebra deformations of web categories II : affine webs. In preparation, 2025

2025
[11]

Kujawa, and Joshua Sussan

David Hill, Jonathan R. Kujawa, and Joshua Sussan. Degenerate affine H ecke– C lifford algebras and type Q L ie superalgebras. Mathematische Zeitschrift , 268:1091--1158, 2009

2009
[12]

Linear and projective representations of symmetric groups , volume 163 of Cambridge Tracts in Mathematics

Alexander Kleshchev. Linear and projective representations of symmetric groups , volume 163 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2005

2005
[13]

I. G. Macdonald. Symmetric F unctions and H all P olynomials . Oxford Classic Texts in the Physical Sciences. The Clarendon Press, Oxford University Press, New York, second edition, 2015

2015
[14]

Notes on the gl -web category

Robert Muth. Notes on the gl -web category. 2021. https://robmuth.com/wp-content

2021
[15]

The quantum isomeric supercategory

Alistair Savage. The quantum isomeric supercategory. Journal of the Institute of Mathematics of Jussieu , 23(3):1077–1124, 2024

2024
[16]

Webs and q - H owe dualities in types BCD

Antonio Sartori and Daniel Tubbenhauer. Webs and q - H owe dualities in types BCD . Trans. Amer. Math. Soc. , 371(10):7387--7431, 2019

2019
[17]

https://math.stackexchange.com/questions/2900966/elementary-symmetric-polynomials-and-determinant
[18]

Affine and cyclotomic webs

Linliang Song and Weiqiang Wang. Affine and cyclotomic webs. arXiv:2406.13172, 2024

2024
[19]

Affine and cyclotomic S chur categories

Linliang Song and Weiqiang Wang. Affine and cyclotomic S chur categories. arXiv:2407.10119, 2024

2024 arXiv

Pith tools

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

[1] [1]

A basis theorem for the degenerate affine oriented B rauer– C lifford supercategory

Jonathan Brundan, Jonathan Comes, and Jonathan Robert Kujawa. A basis theorem for the degenerate affine oriented B rauer– C lifford supercategory. Canadian Journal of Mathematics , 71(5):1061–1101, 2019

work page 2019

[2] [2]

Semisimplification of the category of tilting modules for GL_ n

Jonathan Brundan, Inna Entova-Aizenbud, Pavel Etingof, and Victor Ostrik. Semisimplification of the category of tilting modules for GL_ n . Adv. Math. , 375:107331, 37, 2020

work page 2020

[3] [3]

Elijah Bodish, Ben Elias, David E. V. Rose, and Logan Tatham. Type C webs. arXiv:2103.14997, 2021

arXiv 2021

[4] [4]

Brown and Jonathan R

Gordon C. Brown and Jonathan R. Kujawa. Webs of type Q . Algebr. Comb. , 4(6):1027--1072, 2021

work page 2021

[5] [5]

Gordon C. Brown. Webs for permutation supermodules of type Q . Communications in Algebra , 47(11):4763--4790, 2019

work page 2019

[6] [6]

Orthogonal webs and semisimplification

Elijah Bodish and Daniel Tubbenhauer. Orthogonal webs and semisimplification. arXiv:2401.00704, 2024

work page Pith review arXiv 2024

[7] [7]

Webs for the quantum orthogonal group

Elijah Bodish and Haihan Wu. Webs for the quantum orthogonal group. arXiv:2309.03623, 2023

arXiv 2023

[8] [8]

Webs and quantum skew H owe duality

Sabin Cautis, Joel Kamnitzer, and Scott Morrison. Webs and quantum skew H owe duality. Math. Ann. , 360(1-2):351--390, 2014

work page 2014