{"id":"e5af6e4c-d95a-40a8-8bf6-aac678eb374b","arxiv_id":"2501.06763","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For cyclotomic Hecke-Clifford superalgebras whose parameters satisfy a new polynomial separateness condition, the paper explicitly builds all simple modules and proves semisimplicity.","lead":"The authors construct explicit simple modules for cyclotomic Hecke-Clifford superalgebras and prove that these algebras are semisimple whenever a certain polynomial in the parameters is nonzero. A generalist reader may care because the construction gives a concrete tableaux-based description of the simple modules for an algebra family tied to queer Lie superalgebra duality, and it reduces a semisimplicity question to checking a polynomial condition.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The braid-relation check in Theorem 4.5 rests on an unstated identity that may be circular; as written, the proof that the action (4.7) satisfies T_i T_{i+1} T_i = T_{i+1} T_i T_{i+1} is incomplete.","rationale":"The reader identified the omitted braid-relation identity as the weakest assumption; my stress-test concurs and sharpens the concern. The identity is stated as an equality in H_Δ(n), where both sides vanish by previously established relations, so it cannot, without an independent operator-level proof, justify moving from (4.10) to the desired braid relation on D(λ). This is a genuine logical gap in the proof of Theorem 4.5, not merely a missing computational detail. The rest of the paper—the separate-parameters polynomial, the dimension comparisons, and the combinatorics of strict partitions—appears internally consistent and the stated theorems are plausible. The dimension computation in Theorem 4.10 Case 3 also contains a possible missing-exponent typo, but the braid-relation gap is more directly load-bearing. The manuscript's claims are likely correct, but the proof as written is incomplete at the central construction. This supports the conditional verdict: the authors should supply the omitted operator calculation or an independent verification. No change to the reader's verdict is needed.","tokens_in":34009,"tokens_out":17669,"duration_ms":165308,"concrete_test":"Use a computer algebra system to instantiate the operators in (4.5)-(4.7) for a small case, e.g., n = 3, • = 0, m = 1, with generic q and Q such that P^{(0)}_3(q^2,Q) ≠ 0, on D(λ) for λ = (2,1) or (1,1,1). Symbolically check (T_1 T_2 T_1 - T_2 T_1 T_2) z = 0 on every simultaneous eigenvector z of X_1, X_2, X_3, and separately verify the asserted identity after (4.10) as an operator identity on D(λ). If the identity or the braid action fails, Theorem 4.5 and hence Theorem 1.1 are false; if both hold for several shapes and parameter tuples, the gap is expositional and can be filled by supplying the omitted calculation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim Theorem 1.1 depends on Theorem 4.5, whose hardest step is verifying the Hecke braid relation on the module D(λ). In Case II of the proof, after (4.10), the authors assert without proof: 'A tedious calculation shows that ~Φ_i ~Φ_{i+1} ~Φ_i - ~Φ_{i+1} ~Φ_i ~Φ_{i+1} = (T_i T_{i+1} T_i - T_{i+1} T_i T_{i+1}) Z'. This is load-bearing because it is exactly the step converting the verified relation for the auxiliary operators into the required braid relation for the T_i action. As stated for elements of H_Δ(n), the identity is vacuous: the left side vanishes by the known braid relation (3.20) for ~Φ_i, and the right side vanishes by the defining braid relation (3.1) for T_i. To be useful, it must be an identity for the operators defined by (4.7) before the braid relation is known to hold; otherwise the argument is circular. The text provides no such operator-level calculation, and the corresponding checks for relations (3.4), (3.5), and (3.7) are also omitted, with some deferred as 'similar and easier'. The degenerate analogue Theorem 5.18 is stated as provable 'in a similar way' and inherits the same gap. This does not prove the theorem false, but it leaves the central construction unsupported at its most delicate point.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs explicit irreducible modules D(λ) for the non-degenerate cyclotomic Hecke-Clifford superalgebras H_f^Δ(n) associated with the three polynomial types f^(0), f^(s), f^(ss), under the parameter condition P_n^{(•)}(q^2,Q) ≠ 0. A dimension comparison using standard tableaux for multipartitions, strict partitions, and doubled strict partitions is then used to prove that these modules exhaust the simples and that the algebra is semisimple. The same program is carried out for the degenerate (Sergeev) case, with a parallel condition P_n^{(•)}(1,Q) ≠ 0. The main statements are Theorem 1.1, Theorem 4.10, and Theorem 5.21; genericity corollaries are derived in Example 3.16, Remark 4.15, and Example 5.16.","tokens_in":34202,"tokens_out":6143,"duration_ms":55615,"significance":"If the construction is correct, the paper delivers a Young-tableaux model for a full set of simple modules in a large parameter region of cyclotomic Hecke-Clifford superalgebras, gives a sufficient semisimplicity criterion, and proves generic semisimplicity in both the non-degenerate and degenerate settings. The explicit dimension formula (4.3), the transparent dimension count via Lemma 4.8, and the polynomial criterion of Proposition 3.11 are valuable and checkable components. However, the central verification that the proposed operators satisfy the Hecke braid relation is not supplied in the manuscript, and this gap is load-bearing for Theorems 1.1 and 4.10; the degenerate analogue Theorem 5.18 inherits the same issue.","major_comments":[{"comment":"The verification of the braid relation T_i T_{i+1} T_i = T_{i+1} T_i T_{i+1} for the module action (4.7) is incomplete. The asserted identity \"~Φ_i ~Φ_{i+1} ~Φ_i − ~Φ_{i+1} ~Φ_i ~Φ_{i+1} = (T_i T_{i+1} T_i − T_{i+1} T_i T_{i+1}) Z′\" is not proved. Read as an identity inside H_Δ(n), it is vacuous because the left side vanishes by (3.20) and the right side by (3.1); read as an identity for the operators defined by (4.7), it must be checked before the braid relation is known to hold, and no such operator-level calculation is given. Moreover, the preceding use of (3.20) to rewrite the products of ~Φ's is circular in this context, since (3.20) is itself derived from the T-braid relation in H_Δ(n). This is not a mere presentation issue: the braid relation is exactly the step that turns the auxiliary operator calculation (4.10) into the required relation for the T_i action, so the proof of Proposition 4.7(1) and hence of Theorem 1.1 and Theorem 4.10 depends on this missing computation.","section":"§4.1, Theorem 4.5, Case II after Eq. (4.10)"},{"comment":"The proof also omits the verification of relation (3.5), T_i X_{i+1} = X_i T_i + ǫ(1 + C_i C_{i+1})X_{k+1}, and of one half of relation (3.7), stating only that they follow by \"similar and easier\" calculations. Given that the delicate braid check is already left unproved, the omitted relation checks should either be written out or reduced to an explicit calculation. The same omission appears in the degenerate Theorem 5.18, which is asserted to follow as in [Wa, Theorem 4.5] without showing the braid verification for s_i s_{i+1} s_i = s_{i+1} s_i s_{i+1} on the module D(λ).","section":"§4.1, Theorem 4.5, relations (3.5) and (3.7)"},{"comment":"Theorem 5.18 is stated as provable \"in a similar way\" and inherits the missing braid-relation verification from the non-degenerate case. Since Theorem 5.21 and its corollaries depend on Theorem 5.18, the degenerate semisimplicity result should not be considered established until the braid-relation check for the action (5.26) is supplied.","section":"§5.5, Theorem 5.18"}],"minor_comments":[{"comment":"The displayed computation begins with ∑_{λ∈P^m_n} dim D(λ), but the subsequent equalities use (dim D(λ))^2; this should be corrected to (dim D(λ))^2.","section":"§4.2, Theorem 4.10, Case 1"},{"comment":"The statement reads \"q(res(t)) ≠ q(res(t)) if t ≠ t′\"; it should read \"q(res(t)) ≠ q(res(t′))\".","section":"§5.5, Lemma 5.15"},{"comment":"The notation \"End_{H_Δ(n)}(D(λ))\" should presumably be \"End_{H_Δ^f(n)}(D(λ))\" to match the cyclotomic algebra; the same notational slip appears in the surrounding text.","section":"§4.1, Proposition 4.7(2)"},{"comment":"The sentence \"the eigenvalue of X_k acting on ... is b±(rest(k)\" has an unmatched parenthesis and should read b±(rest(k)).","section":"§3.3, Lemma 3.8"},{"comment":"The notation P_n^{(•)}(q^2,Q) and P_n^•(q^2,Q) is used interchangeably; standardizing the superscript notation would improve readability.","section":"Throughout, §3 and §5"}],"recommendation":"major_revision","confidential_remarks":"The braid-relation gap in Theorem 4.5 is genuine and central: the proof as written either invokes the T-braid relation circularly or relies entirely on an unstated algebraic identity. The rest of the argument is coherent and the dimension comparison is explicit, so the result is plausibly correct, but the missing computation must be supplied before the central claim can be considered proven. If the identity cannot be established, the construction of D(λ) as an H_Δ^f(n)-module collapses; this should be the first point checked by the authors."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper gives the first explicit tableau construction of simple modules for cyclotomic Hecke-Clifford superalgebras under a separate-parameters condition, with a dimension comparison that forces semisimplicity. The construction generalizes Wan's earlier work and the combinatorics are checkable. But the proof of the braid relation in Theorem 4.5 has a real gap: the identity \"~Phi_i~Phi_{i+1}~Phi_i - ~Phi_{i+1}~Phi_i~Phi_{i+1} = (T_iT_{i+1}T_i - T_{i+1}T_iT_{i+1})Z'\" is either vacuous (as an algebra identity, both sides are zero by the known braid relations) or an unproved operator identity on D(lambda). The text calls it a tedious calculation and moves on. That is load-bearing because it is exactly how the braid relation for the T-action is established. The omitted checks for (3.4), (3.5), (3.7) are probably routine, but they add to the sense of a proof not fully written out. Lemma 3.13 is dense and a bit sketchy but plausible.\n\nThe dimension comparison in Theorem 4.10 is explicit and algebraically checkable; the three cases (M, Q types) are handled cleanly. The degenerate analogue follows the same scheme, so it inherits the same gap. I don't see a detected error, and the statements are plausible. The authors likely have the missing details. But as written the central theorem rests on an unverified calculation.\n\nThis deserves a serious referee. The referee should ask for the braid-relation calculation spelled out as an operator identity on D(lambda), or a reference to a version with full details. If that is supplied, the paper would be a solid contribution. I'd engage with it.","headline":"The explicit tableau construction and dimension count are real advances, but the braid-relation check in Theorem 4.5 has a genuine gap that needs a filled-in calculation.","tokens_in":34835,"tokens_out":4517,"would_cite":true,"duration_ms":39840,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20C08","17B10","05E10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs all simple modules of cyclotomic Hecke-Clifford superalgebras explicitly, and shows these algebras split when a parameter polynomial is nonzero.","keywords":["cyclotomic Hecke-Clifford superalgebras","affine Sergeev algebra","semisimple superalgebras","simple module construction","standard tableaux","separate parameters","completely splittable representations"],"falsifier":"Work in the affine algebra $H_\\Delta(3)$ and expand both sides of the displayed identity after (4.10) in the standard basis $X^\\alpha C^\\beta T_w$; the identity must hold identically for generic $q$. Equivalently, choose $\\lambda = ((1,1,1))$ with $\\bullet = 0$ and $n = 3$, build $D(\\lambda)$ by (4.7), and compute the matrix of $T_1 T_2 T_1 - T_2 T_1 T_2$ on an explicit simultaneous eigenvector of $X_1, X_2, X_3$; any nonzero entry would disprove the braid relation and with it the theorem.","tokens_in":33684,"feed_emoji":"🧮","tokens_out":8552,"duration_ms":71611,"temperature":0.7,"pith_summary":"The paper gives an explicit construction of every simple module of the non-degenerate and degenerate cyclotomic Hecke-Clifford superalgebras, over algebraically closed fields of characteristic not equal to 2, under a concrete condition on the defining parameters $q$ and $Q$. The modules are indexed by multipartitions—with one or two strict partitions attached according to the form of the cyclotomic polynomial—and are built from standard tableaux and their residue sequences. A dimension comparison then shows that these modules exhaust all irreducibles, so the algebra is split semisimple whenever the relevant parameter polynomial is nonzero. As a byproduct, the generic versions of both the non-degenerate and degenerate algebras are semisimple.","feed_headline":"Polynomial condition proves Hecke-Clifford superalgebras semisimple","feed_subtitle":"Explicit tableaux modules exhaust the irreducibles whenever the parameter polynomial is nonzero.","key_machinery":"The central object is the completely splittable module $D(\\lambda)$: a direct sum, over permutations $\\tau$ that take the initial standard tableau $t_\\lambda$ to another standard tableau, of the twisted irreducible $A_n$-modules $L(\\mathrm{res}(t_\\lambda))^\\tau$, where $L(\\mathrm{res}(t))$ is the module on which $X_k$ acts with eigenvalues $b_\\pm(\\mathrm{res}_t(k))$. The $T_i$ action is defined through two explicit operators $\\widetilde{\\Xi}_i$ and $\\widetilde{\\Omega}_i$, and the verification that the braid relations hold uses the intertwining elements $\\widetilde{\\Phi}_i$. This module construction is what carries the semisimplicity theorem, which is completed by a dimension comparison using standard-tableaux counting formulas.","core_discovery":"Theorem 1.1 states that for $q \\neq \\pm 1$ and $Q = (Q_1,\\dots,Q_m) \\in (K^*)^m$, if $f = f_Q^{(\\bullet)}$ with $\\bullet \\in \\{0,s,ss\\}$ and $P_n^{(\\bullet)}(q^2,Q) \\neq 0$, then $H_{\\Delta}^{f}(n)$ is a split semisimple superalgebra. The modules $D(\\lambda)$, one for each $\\lambda$ in $P_n^{\\bullet,m}$, form a complete set of pairwise non-isomorphic irreducible modules; $D(\\lambda)$ is of type M exactly when $\\#D_\\lambda$ is even and of type Q exactly when $\\#D_\\lambda$ is odd. The degenerate analogue, for cyclotomic Sergeev algebras, holds with $P_n^{(\\bullet)}(1,Q) \\neq 0$ in place of $P_n^{(\\bullet)}(q^2,Q)$.","pith_inferences":["Going beyond the paper: if the authors' conjecture that $P_n^{(\\bullet)}(q^2,Q) \\neq 0$ is also necessary for semisimplicity is true, the semisimplicity of these superalgebras becomes a decidable condition on given $q$ and $Q$, parallel to the classical criterion for cyclotomic Hecke algebras.","Going beyond the paper: the explicit tableaux realization gives a natural path to cellular or seminormal bases for these superalgebras, and hence to modular branching rules for spin representations of symmetric groups in a deformed setting.","Going beyond the paper: the same 'separation prevents degeneracy' mechanism might supply simple-module constructions for other cyclotomic superalgebras of types A and C, since only the residue separation and the intertwiner identities are used."],"forward_implications":["Whenever $P_n^{(\\bullet)}(q^2,Q) \\neq 0$, the irreducible modules of $H_{\\Delta}^{f}(n)$ are explicitly parameterized by the multipartitions in $P_n^{\\bullet,m}$, with dimension formula $2^{n-\\lfloor \\#D_\\lambda/2 \\rfloor}|\\mathrm{Std}(\\lambda)|$.","The center of a semisimple cyclotomic Hecke-Clifford algebra is spanned by symmetric polynomials in $X_i + X_i^{-1}$ (or in $x_i^2$ in the degenerate case), with dimension equal to the number of such multipartitions.","For generic parameters—$q$ and $Q_i$ algebraically independent over $\\mathbb{Z}$—both the non-degenerate and degenerate cyclotomic Hecke-Clifford superalgebras are semisimple.","Under the same polynomial condition every irreducible module is completely splittable: $X_1,\\dots,X_n$ act semisimply.","The same construction and dimension argument work for degenerate cyclotomic Sergeev algebras, with the polynomial $P_n^{(\\bullet)}(1,Q)$ replacing $P_n^{(\\bullet)}(q^2,Q)$."],"supporting_citations":[{"why":"Supplies the algebra presentation, PBW-type basis, and the intertwining identities (3.15)–(3.20) on which the module construction rests.","marker":"[BK1]"},{"why":"Introduced the affine Hecke-Clifford algebra and the q-analogue Young symmetrizers whose intertwining relations are used to define the $T_i$ action.","marker":"[JN]"},{"why":"Provided the completely splittable irreducible module construction and the operator form that this paper generalizes to the cyclotomic case.","marker":"[Wa]"},{"why":"Gave the polynomial semisimplicity criterion for cyclotomic Hecke algebras that motivates the separate-parameter polynomial $P_n^{(\\bullet)}$.","marker":"[Ar1]"},{"why":"Supplies the multipartition standard-tableau counting formula used in the dimension comparison.","marker":"[DJM]"},{"why":"Supplies the shifted-tableau counting formula for strict partitions used in the dimension comparison.","marker":"[Sa]"}],"fun_headline_variants":["Tableaux modules settle Hecke-Clifford semisimplicity","Nonzero polynomial forces semisimple Hecke-Clifford algebras","Explicit irreducibles for cyclotomic Hecke-Clifford superalgebras","Semisimplicity via dimension comparison in Hecke-Clifford case"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that the proposed $T_i$ action satisfies the braid relation depends on an identity stated without proof as a 'tedious calculation': $\\widetilde{\\Phi}_i \\widetilde{\\Phi}_{i+1} \\widetilde{\\Phi}_i - \\widetilde{\\Phi}_{i+1} \\widetilde{\\Phi}_i \\widetilde{\\Phi}_{i+1}$ equals $(T_i T_{i+1} T_i - T_{i+1} T_i T_{i+1}) Z'$ on the relevant eigenvectors, and if this identity fails the module construction and the semisimplicity conclusion would not be established.","fun_headline_variants_meta":{"raw":{"variants":["Tableaux modules settle Hecke-Clifford semisimplicity","Nonzero polynomial forces semisimple Hecke-Clifford algebras","Explicit irreducibles for cyclotomic Hecke-Clifford superalgebras","Semisimplicity via dimension comparison in Hecke-Clifford case"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000225,"raw_usage":{"total_tokens":1411,"prompt_tokens":840,"completion_tokens":571,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":456,"completion_tokens_details":{"reasoning_tokens":491}},"tokens_in":456,"tokens_out":571,"duration_ms":5434,"temperature":1.0,"reasoning_tokens":491,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:50:09.248486+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Work in the affine algebra $H_\\Delta(3)$ and expand both sides of the displayed identity after (4.10) in the standard basis $X^\\alpha C^\\beta T_w$; the identity must hold identically for generic $q$. Equivalently, choose $\\lambda = ((1,1,1))$ with $\\bullet = 0$ and $n = 3$, build $D(\\lambda)$ by (4.7), and compute the matrix of $T_1 T_2 T_1 - T_2 T_1 T_2$ on an explicit simultaneous eigenvector of $X_1, X_2, X_3$; any nonzero entry would disprove the braid relation and with it the theorem.","supporting_citations":[],"review_version":1}