{"id":"92f74a93-d32c-41eb-aa43-e86711442e4b","arxiv_id":"2506.09729","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The affine web category of type Q is defined, given a simplified presentation over C, and shown to have an integral diagrammatic basis indexed by elementary chicken foot diagrams.","lead":"This paper builds a new diagrammatic calculus, the affine web category of type Q, for manipulating tensor products of supersymmetric powers of the natural module of the queer Lie superalgebra. It proves that every morphism space has an explicit integral basis and gives a representation-theoretic model in terms of endofunctors of type Q supermodules.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The spanning half of Theorem 4.14 rests on Lemma 5.3, whose second inclusion is explicitly omitted ('We omit this proof for simplicity'); if that computation is not symmetric under the paper's ÷ automorphism, Lemma 5.4 and Proposition 4.3 lack support.","rationale":"The reader's weakest-assumption analysis identifies exactly the point I would stress: Lemma 5.3 is the unverified link in the spanning chain. My independent read of the manuscript did not find a false statement in the main theorems, and the linear-independence side (Theorem 4.14, via the generic Verma module and Lemma 5.12) is considerably more developed than the spanning side; the use of partially symmetric polynomial independence in Lemma 5.12 appears coherent, and the base-change step from C to k is standard if formulated over Z[1/2] since the presentation is integral and 2 is inverted. The construction is explicit and parameter-free, and the endomorphism algebra on n strands matching the affine Sergeev superalgebra provides a useful sanity check. The main reason I do not move the verdict to ACCEPT is completeness: the spanning proof relies on appendix lemmas whose proofs contain explicit omissions and on [SW24a, Prop 3.6] (an arXiv preprint) for the double-leg reduction. The omitted second inclusion in Lemma 5.3 is the sharpest such point because Lemma 5.4 uses both inclusions and Proposition 4.3 has no fallback if it fails. This is addressable: a short verification or a proof of ÷-symmetry would close the gap. Because the concern is about a missing verification rather than a demonstrated contradiction, CONDITIONAL with moderate-to-medium correctness risk is the right verdict; I agree with the reader and recommend no change.","tokens_in":34496,"tokens_out":23363,"duration_ms":246063,"concrete_test":"Write out the omitted second inclusion of Lemma 5.3 (both k=1 and k≥2 cases) using relations (2.10), (2.15), (2.27), (2.28), (5.1), (5.2), or prove formally that the ÷ automorphism of §2.4 exchanges the two inclusions while preserving E_{a+1} and ≡. If the derivation succeeds, the spanning proof is complete; if the two inclusions are not exchanged and the computation cannot be completed, Lemma 5.4 and hence Proposition 4.3 fail.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 4.3 proves the spanning half of the basis theorem (Theorem 4.14) by reducing arbitrary dotted web diagrams to elementary chicken foot diagrams; the Type Y/merge case explicitly invokes Lemmas 5.4 and 5.6 to eliminate double legs. Lemma 5.4 is proved by double induction and depends at every stage on Lemma 5.3, whose statement (5.3) contains two inclusions. The proof of Lemma 5.3 proves only the first inclusion for k≥1; for k=1 the second inclusion is dismissed with 'Similarly... We omit this proof for simplicity', and for k≥2 the second inclusion is again left to 'similar'. Lemma 5.4 uses both inclusions, so this is not a cosmetic omission. The paper's ÷ automorphism may indeed swap the two inclusions, but the manuscript never checks that ÷ preserves E_{a+1}, the ≡ relation, and the relevant dot order; the pattern of repeated 'similarly' elsewhere (e.g. Lemma 3.3 (3.7), Proposition 4.6 second relation in (3.14)) shows symmetric verifications are a recurring weak point. If the omitted computation fails, the double-leg reduction breaks and the spanning result is unsupported. I found no independent contradiction in the rest of the independence argument (Lemmas 5.7–5.12), and the known affine Sergeev basis gives a partial external check of Corollary 4.18.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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).","tokens_in":34770,"tokens_out":5357,"duration_ms":61436,"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":[{"comment":"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.","section":"Lemma 5.3 (Eq. (5.3))"},{"comment":"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.","section":"Lemma 3.9 / Theorem 3.7"},{"comment":"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.","section":"Lemma 5.4"}],"minor_comments":[{"comment":"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'.","section":"Proposition 4.3"},{"comment":"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.","section":"Lemma 3.3"},{"comment":"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.","section":"Proposition 4.6"},{"comment":"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.","section":"Lemma 5.7"},{"comment":"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.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"I agree with the reader's conditional assessment. The independence half of the basis theorem appears sound and is well supported by Lemma 5.12, but the spanning half depends on the omitted proof in Lemma 5.3 and on several 'similarly' reductions. If the authors supply the missing computations or a verified symmetry argument, the main theorem is likely to stand. The manuscript is within the scope of the journal and the result is worth publishing after revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nThe 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.\n\nOther 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.\n\nBottom 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.","headline":"Solid new basis theorem for affine type Q webs, but the spanning proof has a load-bearing omitted verification in Lemma 5.3.","tokens_in":35360,"tokens_out":4371,"would_cite":true,"duration_ms":46244,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B10","18M05"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["affine web category","type Q webs","chicken foot diagrams","affine Sergeev superalgebra","Lie superalgebra q_n","monoidal supercategory","integral basis theorem","supersymmetric powers"],"falsifier":"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.","tokens_in":34247,"feed_emoji":"🐔","tokens_out":19227,"duration_ms":178116,"temperature":0.7,"pith_summary":"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.","feed_headline":"Chicken-foot diagrams give an explicit basis for affine webs of type Q","feed_subtitle":"Every morphism space gets an explicit basis, and the n-strand algebra is the affine Sergeev superalgebra.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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}$."],"supporting_citations":[{"why":"It supplies the reduced chicken-foot diagram format and the rung relations used to carry the spanning proof.","marker":"[BEAEO20]"},{"why":"It introduces the type Q web category and the functor to supersymmetric powers $S^\\lambda(V)$ of the $q_n$-natural module, which $QWeb^\\bullet$ affinizes and models.","marker":"[BK21]"},{"why":"It provides the affinization blueprint of black-dot Jucys-Murphy operators and the generic Verma module leading-term strategy for linear independence that the paper adapts to type Q.","marker":"[SW24a]"},{"why":"It supplies the element $\\Omega$ and the affine Hecke-Clifford action used to define the representation $F$ on $q_n$-supermodules and to verify the black-dot relations.","marker":"[HKS09]"},{"why":"It gives the presentation and PBW-style basis of the affine Sergeev superalgebra used to identify $\\operatorname{End}_{QWeb^\\bullet}(1^n)$.","marker":"[Kle05]"},{"why":"It provides the dominance order and raising-operator facts for elementary symmetric polynomials on which the appendix's polynomial-independence lemma rests.","marker":"[Mac15]"},{"why":"It gives the earlier $\\mathbb{C}$-basis of the finite type Q web category with which the new basis $\\mathrm{SParMat}^1_{\\lambda,\\mu}$ is compared.","marker":"[Bro19]"}],"fun_headline_variants":["Affine web supercategory gets explicit diagram basis","Chicken-foot diagrams basis all Hom-spaces of affine Q-webs","Affine Q-webs: explicit basis from chicken-foot diagrams","Affine web supercategory: integral bases from chicken-foot diagrams","Chicken-feet give explicit basis for affine webs of type Q"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Affine web supercategory gets explicit diagram basis","Chicken-foot diagrams basis all Hom-spaces of affine Q-webs","Affine Q-webs: explicit basis from chicken-foot diagrams","Affine web supercategory: integral bases from chicken-foot diagrams","Chicken-feet give explicit basis for affine webs of type Q"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000839,"raw_usage":{"total_tokens":3653,"prompt_tokens":939,"completion_tokens":2714,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":555,"completion_tokens_details":{"reasoning_tokens":2628}},"tokens_in":555,"tokens_out":2714,"duration_ms":21970,"temperature":1.0,"reasoning_tokens":2628,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:43:10.026943+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}