{"id":"6944834f-edfe-422b-9b47-de9309cc2f1b","arxiv_id":"2412.16004","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Small reflection equation algebras of type A at odd roots of unity are presented explicitly as quotients of generic reflection equation algebras by nilpotence and unipotence relations.","lead":"This paper gives explicit generator-and-relation descriptions for the small reflection equation algebras of type GL_n and SL_n at odd roots of unity. These descriptions turn previously abstract finite-dimensional algebras into objects one can compute with, which matters for quantum invariants and factorization homology.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (4.1)'s dual R-matrix has q^{±1/n}, not in I=Z[q,q^{-1}]; without an explicit ring extension the integral-form definitions and Remark 4.17 are unsupported, even though the C-level Theorem 4.15 may survive.","rationale":"Reader's strongest claim is Theorem 4.15 plus integral forms. I agree with the conditional verdict. My concern is not that the algebra relations are wrong over C; the explicit formulas and examples are strong evidence. It is that the proof route through covariantization claims a definition over I/O while the R-matrix lives over an extension. This is an internal consistency gap, not a disagreement with consensus. I also note the missing lemma on ideal correspondence; it is real but secondary and easily supplied if the cocycle twist is an algebra isomorphism. The concrete test isolates the first issue. Because the reader already made the verdict conditional on this and the related gap, I do not change the verdict; if the test shows fractional powers survive, the integral-form part should be rejected, while the C-level theorem might still be true. No ad hominem intended; this is a precision and justification issue.","tokens_in":42953,"tokens_out":17006,"duration_ms":161719,"concrete_test":"For n=3, q a formal variable, compute the covariantized product (2.24) of x^1_1 and x^2_3 in Oint_q(M3) using the literal R from (4.1), and reduce the output to the standard monomial basis of Oint_q(M3) using the relations (3.5)-(3.6). Check whether any coefficient contains q^{±1/3} after cancellation. If it does, Bint_q(M3) is defined only over I[q^{±1/3}], so Definition 4.1 and Remark 4.17 fail as stated; if no such coefficient appears, repeat for a length-3 word x^1_1 x^2_2 x^3_1. This settles the base-ring issue without invoking the unproved twisted-ideal correspondence.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Most load-bearing: the twisting construction is run over the wrong base ring. Definition 4.10 defines bint_ν as the covariantized algebra over O, and Definition 4.1 defines Bint_q(Mn) as the covariantized I-algebra, but the dual R-matrix (4.1) (and inverse (4.2)) contains q^{-1/n} and q^{1/n}, which are not in I. No extension I[q^{±1/n}] is introduced. Thus the braided product (2.24) is a priori over an extension of the base ring, not over I; the existence of the integral form over O and the identification in Remark 4.17 do not follow from the argument. The final relations (4.17)-(4.18) only involve σ_ϵ(λ)∈Z[ϵ,ϵ^{-1}], and the n=2,3 examples show the fractional powers cancel in those special cases, but no general cancellation lemma is proved. The proof of Propositions 4.23 and 4.26 silently cancels powers of q^{1/n} while claiming results in Bint_q(Mn). This matters: e.g. for ℓ=5, n=3, a chosen ϵ^{1/3}=ζ_{15} is not in Q(ζ_5), so the covariantization cannot be an O-algebra via (4.1). A related gap is the missing lemma that twisting the Hopf ideal (3.11) produces the ideal generated by (4.17)-(4.18) in the covariantized algebra; if Ψ is an algebra isomorphism over a suitably extended ring this is automatic, but that isomorphism is not stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper gives explicit finite presentations for the small reflection equation algebras b_epsilon(GLn) and b_epsilon(SLn) at an odd root of unity epsilon, expressing them as quotients of the infinite-dimensional reflection equation algebras by nilpotence and unipotence relations. The proof is based on a twisting map from the small quantum function algebra, with the coefficients in the extra relations given by an explicit combinatorial formula involving compositions; the determinant relation is imported from Jordan-White. The paper also surveys the categorical constructions of FRT and reflection equation algebras and includes an appendix on cocompletions of tensor categories.","tokens_in":43291,"tokens_out":6429,"duration_ms":61970,"significance":"If the main theorem is correct, it provides a complete finite presentation of the small reflection equation algebras of type A, which would be a useful tool for explicit module computations and for studying integral forms over cyclotomic integers. The combinatorial formula for the unipotence relations is explicit, and the derivations of Propositions 4.23 and 4.26 are detailed. The argument is not circular: it relies on known presentations of the small quantum function algebras from Takeuchi and Lusztig and on the generic reflection equation algebra results of Jordan-White. However, the base-ring problem with q^{±1/n} in the dual R-matrix and the missing ideal-correspondence lemma mean that both the integral-form claims and, as written, even the full presentation over C require additional justification.","major_comments":[{"comment":"The dual R-matrix in Eq. (4.1) and its inverse in Eq. (4.2) contain q^{-1/n} and q^{1/n}, which are not elements of I = Z[q,q^{-1}]. Definition 4.1 nonetheless defines B^int_q(M_n) as the covariantized algebra of the I-Hopf algebra O^int_q(M_n), while Definition 2.18 requires a dual R-matrix with values in the base ring. Consequently, the braided product is not defined over I unless one first passes to an explicit ring extension such as Z[q^{±1/n}], and no such extension is introduced. This affects Lemma 4.2, the proofs of Propositions 4.23 and 4.26, and especially Remark 4.17. The n = 2,3 examples show that the fractional powers cancel in those cases, but no general cancellation lemma is proved. The integral-form claims are therefore unsupported as stated; please state the required base ring extension and prove that the final relations are defined over I or O.","section":"§4.1, Eq. (4.1)"},{"comment":"The proof of Theorem 4.15 shows, via Propositions 4.23 and 4.26, that the images under twisting of the defining relations (3.11) of o_epsilon(GL_n) are exactly the relations (4.17)–(4.18). What is not shown is that twisting is compatible with taking the quotient: one needs a lemma that the kernel of the canonical map from the covariantized algebra B_epsilon(GL_n) to b_epsilon(GL_n) is the ideal generated by the twisted relations. Since the twisting map Ψ is only a linear isomorphism and not an algebra homomorphism, this is not automatic, and no spanning or dimension argument is supplied to replace it. Without this step the presentation is not fully established even over C.","section":"§4.2, proof of Theorem 4.15"},{"comment":"In the proof of Proposition 4.23, the factors q^{N(1/n-1)} and q^{N(-1/n+1)} are cancelled, and similar fractional powers appear in the proofs of Propositions 4.24 and 4.26. These cancellations take place in an unspecified extension of the base ring, and over I the intermediate expressions are not defined. Thus the statement that the equality holds in B^int_q(M_n) is technically false as written. This is a concrete manifestation of the base-ring issue raised in the first major comment and should be repaired by either working throughout over an explicit extension and then proving descent, or by proving a direct cancellation lemma.","section":"§4.3, Proposition 4.23"}],"minor_comments":[{"comment":"There is a typo: 'cylotomic integers' should be 'cyclotomic integers'.","section":"§4.2, Definition 4.10"},{"comment":"Remark 4.17 asserts that replacing epsilon by nu gives presentations of the integral forms over O, but this is a consequence of the missing base-ring and cancellation arguments and should either be proved or explicitly labelled as conditional on those arguments.","section":"§4.2, Remark 4.17"},{"comment":"The definition of sigma_q(lambda) as a quotient in (4.16) has denominators that can vanish after specialization to a root of unity; the proof that sigma_q(lambda) lies in I justifies the specialization, but this point is not stated explicitly and could be clarified for the reader.","section":"§4.3, Lemma 4.14"},{"comment":"In the proof of Proposition 4.26, the induction base treats N = 2 and the induction step starts with N ≥ 3; the statement itself says 'for all integers N ≥ 2', which is correct but could be worded more consistently with the proof.","section":"§4.3, Proposition 4.26"},{"comment":"The text contains several typographical issues, including 'the the category', 'FR T algebra', and inconsistent spacing in 'T heorem'; these should be corrected in a final polish.","section":"§2 and Appendix A"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern about q^{±1/n} in Eq. (4.1) is correct and is the main technical obstacle to the integral-form claims. I believe the issues are repairable within the scope of the paper by introducing an explicit ring extension, proving a cancellation/descent lemma, and adding a standalone lemma on the ideal correspondence under twisting. The author overlap with [LWY25] is not used in the proof and does not raise a conflict concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: the main theorem, Theorem 4.15, is a genuinely new presentation for the small reflection equation algebras b_epsilon(GL_n) and b_epsilon(SL_n) at odd roots of unity, and the combinatorial formula for the twisted unipotence relation (4.18) is the real new ingredient. I think the theorem is very likely correct over C, and the detailed twist computations in Section 4.3 support it. People working on RE algebras, factorization homology, or small quantum group invariants will want this.\n\nWhat it does well: it extends the generic-q presentations to the root-of-unity quotients by twisting the known relations for o_epsilon(G), and it gives a clean, explicit formula for the non-obvious diagonal relation. The authors are honest about relying on [Tak92, Lus90, JW20], and I do not see circularity. The proofs of Propositions 4.23 and 4.26 are detailed, and the n=2, l=3,5 examples are useful sanity checks.\n\nThe soft spots, in order of seriousness. First, the integral-form story as written does not go through. Equation (4.1) defines the dual R-matrix with a q^{-1/n} factor, which is not in I=Z[q,q^{-1}]. So the covariantized algebra Bint_q(M_n) of Definition 4.1 is not an I-algebra via that pairing, and \"bint_nu(GL_n)\" as a plain O-algebra in Remark 4.17 is not justified. You may be able to save it by defining the integral form via the presentation and then checking base change, or by working over Z[q^{±1/n}], but neither is said. The stress-test example (l=5, n=3, epsilon^{1/3} not in Q(zeta_5)) hits exactly this. Second, the proof of Theorem 4.15 needs the fact that the twist of the defining Hopf ideal of o_epsilon(G) is the ideal generated by (4.17)-(4.19) in the covariantized algebra. The paper never states this as a lemma; it is asserted in the proof by referencing the twist computations. For experts this is probably a standard cocycle-twist fact, but as written it is a gap. Third, minor: the claim that Psi is an isomorphism of free modules over I is repeated, but the map is only well-defined after fixing the root extension.\n\nOverall: the central theorem over C is solid and worth publishing; the integral-form and ideal-correspondence gaps are fixable and should be fixed before the paper is final. I would recommend sending it to a serious referee with a request to focus on these two points.","headline":"Genuinely new presentation theorem for small RE algebras at roots of unity, but the integral-form claims rest on an unstated root extension and the ideal-twist correspondence is not proved.","tokens_in":43812,"tokens_out":6253,"would_cite":true,"duration_ms":55625,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","16T05","18M05","18M15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves explicit finite presentations for the reflection equation algebras of type $GL_n$ and $SL_n$ at odd roots of unity, obtained by twisting the relations of the small quantum function algebras.","keywords":["reflection equation algebra","small quantum group","quantum function algebra","covariantized Hopf algebra","integral form","root of unity","presentations of algebras","type A"],"falsifier":"For $n=3$, $\\ell=3$, form the algebra presented by (4.6)–(4.9) with $(u^k_l)^{\\cdot 3}=0$ and the relation (4.23) for $k=1,2,3$, and compute its dimension over $\\mathbb{C}$; if it is not $3^9$ for $GL_3$ (or $3^8$ after imposing $\\det_\\epsilon(3)=1$), the presentation over- or under-generates. Checking (4.23) for $k=2$ directly, where the terms $u^2_1 u^1_2 u^2_2$, $u^2_2 u^2_1 u^1_2$, and $u^2_1 u^1_1 u^1_2$ appear, would already test the twisted unipotence identity.","tokens_in":42725,"feed_emoji":"🧮","tokens_out":13823,"duration_ms":108800,"temperature":0.7,"pith_summary":"At an odd root of unity $\\epsilon$, the small quantum group $u_\\epsilon(\\mathfrak{g})$ has a finite-dimensional dual Hopf algebra—the small quantum function algebra $o_\\epsilon(G)$—and applying the reflection-equation (covariantized) product to that dual gives a finite-dimensional algebra $b_\\epsilon(G)$. The paper proves that for $G = GL_n$ and $SL_n$ this algebra is presented by the generators $u^k_l$ of the generic reflection equation algebra, the generic quadratic relations (4.6)–(4.9), and two extra families: off-diagonal generators are nilpotent of order $\\ell$, and each diagonal generator obeys a unipotence relation summed over compositions of $\\ell$ with coefficients $\\sigma_\\epsilon(\\lambda)$ in $\\mathbb{Z}[\\epsilon,\\epsilon^{-1}]$. The same generators and relations, with $\\epsilon$ replaced by the generator of the cyclotomic integers, present the integral forms. This turns an abstractly defined coend into a concrete finite presentation, which is what would make the representation theory and braided tensor products of these algebras computationally accessible.","feed_headline":"Type-A small reflection algebras get full presentations","feed_subtitle":"Explicit relations describe the quantum duals of GL_n and SL_n at odd roots of unity.","key_machinery":"The carrying mechanism is the twisting map $\\Psi$ of (4.3): it fixes generators by $\\Psi(x^i_j)=u^i_j$ and is extended to products through the braided, covariantized product formula (2.24). It converts the quadratic FRT relations of $O_q(M_n)$ into the generic reflection-equation relations (4.6)–(4.9), and converts the small-quantum-function relations $(x^k_l)^\\ell=0$, $(x^k_k)^\\ell=1$ into the nilpotence and unipotence relations (4.17)–(4.18). The unipotence conversion is organised by compositions: for each $\\lambda\\vDash\\ell$ there is a scalar $\\sigma_\\epsilon(\\lambda)\\in\\mathbb{Z}[\\epsilon,\\epsilon^{-1}]$ defined by a product of factors $(1-\\epsilon^{-2m})$, and an index set $V^k(\\lambda)$ that forces the entries of each monomial to return to $k$ only at positions prescribed by the parts of $\\lambda$. Lemma 4.14 provides the recursion making $\\sigma_\\epsilon(\\lambda)$ integral, and Proposition 4.26 carries out the induction identifying the twisted diagonal relation with the composition sum.","core_discovery":"The central result, Theorem 4.15, states that for a primitive $\\ell$-th root of unity $\\epsilon$ with $\\ell$ odd, the small reflection equation algebra $b_\\epsilon(GL_n)$ — the covariantized algebra of the small quantum function algebra $o_\\epsilon(GL_n)$ — is generated by the $u^k_l$ ($1\\le k,l\\le n$) subject to the generic relations (4.6)–(4.9), the nilpotence relations $(u^k_l)^{\\cdot\\ell}=0$ for $k\\neq l$, and the unipotence relations $\\sum_{\\lambda\\vDash \\ell} \\sigma_\\epsilon(\\lambda)\\sum_{\\beta\\in V^k(\\lambda)} u^{\\beta_1}_{\\beta_2}\\cdot\\ldots\\cdot u^{\\beta_\\ell}_{\\beta_{\\ell+1}}=1$. The algebra $b_\\epsilon(SL_n)$ is the quotient of $b_\\epsilon(GL_n)$ by the single relation $\\det_\\epsilon(n)=1$. The proof twists the known presentation of $o_\\epsilon(G)$ by the map that sends $x^i_j$ to $u^i_j$; the nilpotence relations twist cleanly to (4.17), and the relation $(x^k_k)^\\ell=1$ twists to the displayed sum over compositions via an induction whose coefficients are the recursively defined $\\sigma_\\epsilon(\\lambda)$. The same presentation, with $\\epsilon$ replaced by $\\nu\\in \\mathcal{O}$, is asserted for the integral forms $b^{\\mathrm{int}}_\\nu(GL_n)$ and $b^{\\mathrm{int}}_\\nu(SL_n)$.","pith_inferences":["Not stated in the paper, the composition-indexed form of (4.18) suggests a normal-form strategy: with a degree-lexicographic order the leading term of each unipotence relation is $(u^k_k)^{\\cdot\\ell}$, so a Gröbner-style basis for $b_\\epsilon(GL_n)$ could be built from the generic relations plus these reductions, providing a direct combinatorial proof of the dimension.","Not stated in the paper, the fractional powers $q^{\\pm 1/n}$ in the dual R-matrix (4.1) hint that the natural integral version of the twisting map may require a ring slightly larger than $\\mathbb{Z}[q,q^{-1}]$; checking well-definedness over the cyclotomic integers would settle whether the integral presentation is minimal.","Not stated in the paper, the same twisting scheme should apply to other Lie types once the small quantum function algebra relations are known; the composition formula here would then appear as the type-A case of a more general factorisation identity."],"forward_implications":["$b_\\epsilon(GL_n)$ has dimension $\\ell^{n^2}$ and $b_\\epsilon(SL_n)$ has dimension $\\ell^{n^2-1}$, so the presentations describe the finite-dimensional quotients explicitly.","Replacing $\\epsilon$ by the cyclotomic generator $\\nu$ gives presentations of the integral forms $b^{\\mathrm{int}}_\\nu(GL_n)$ and $b^{\\mathrm{int}}_\\nu(SL_n)$ over $\\mathcal{O}=\\mathbb{Z}[\\nu]$.","The single relation $\\det_\\epsilon(n)=1$ cuts $b_\\epsilon(GL_n)$ down to $b_\\epsilon(SL_n)$, and the determinant is central by Theorem 4.5.","For small values, the unipotence relation is explicit: when $k=1$ it is simply $(u^1_1)^{\\cdot\\ell}=1$, and for $n=2$ it collapses to the monomial formula of Corollary 4.19; Equation (4.23) displays the full relation for $\\ell=3$.","The explicit presentations give a route to concrete module computations over braided tensor products of copies of $b_\\epsilon$, the paper's stated motivation."],"supporting_citations":[{"why":"Gives the non-degenerate pairings and the presentations of the (small) quantum function algebras that supply the relations twisted in Theorem 4.15.","marker":"[Tak92]"},{"why":"Provides the covariantized algebra construction, the braided product formula, and the dual R-matrix (4.1) used to define the twisting map.","marker":"[Maj00]"},{"why":"Supplies the center and the closed formula for the quantum determinant in the generic reflection equation algebra, used for the SL_n relation.","marker":"[JW20]"},{"why":"Gives the known presentation of the generic reflection equation algebra B_q(M_n) that Theorem 4.15 extends to the root-of-unity case.","marker":"[DL05]"},{"why":"Defines the small quantum groups and their integral forms, on which the small quantum function algebras and their dimensions rest.","marker":"[Lus90]"},{"why":"Provides the basis, determinant, and Hopf-algebra facts for O_q(M_n) underlying the generic presentations.","marker":"[PW91]"}],"fun_headline_variants":["Explicit relations for small GL_n, SL_n reflection algebras","Small reflection algebras of type A fully presented","Odd-root presentations for small reflection equation algebras","Twisting yields presentations for small GL_n, SL_n algebras","Full presentations for small reflection algebras of types GL_n and SL_n"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument needs the twisting construction, which uses the dual R-matrix with its $q^{\\pm 1/n}$ factors, to be an isomorphism over the chosen ring and to send the defining relations of the small quantum function algebra exactly to relations (4.17)–(4.19).","fun_headline_variants_meta":{"raw":{"variants":["Explicit relations for small GL_n, SL_n reflection algebras","Small reflection algebras of type A fully presented","Odd-root presentations for small reflection equation algebras","Twisting yields presentations for small GL_n, SL_n algebras","Full presentations for small reflection algebras of types GL_n and SL_n"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000251,"raw_usage":{"total_tokens":1571,"prompt_tokens":971,"completion_tokens":600,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":587,"completion_tokens_details":{"reasoning_tokens":521}},"tokens_in":587,"tokens_out":600,"duration_ms":6040,"temperature":1.0,"reasoning_tokens":521,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:53:36.441607+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $n=3$, $\\ell=3$, form the algebra presented by (4.6)–(4.9) with $(u^k_l)^{\\cdot 3}=0$ and the relation (4.23) for $k=1,2,3$, and compute its dimension over $\\mathbb{C}$; if it is not $3^9$ for $GL_3$ (or $3^8$ after imposing $\\det_\\epsilon(3)=1$), the presentation over- or under-generates. Checking (4.23) for $k=2$ directly, where the terms $u^2_1 u^1_2 u^2_2$, $u^2_2 u^2_1 u^1_2$, and $u^2_1 u^1_1 u^1_2$ appear, would already test the twisted unipotence identity.","supporting_citations":[],"review_version":1}