{"id":"93a6a82a-d8b4-4cfc-80be-e05446c573d3","arxiv_id":"2507.09456","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For every finite type quantum symmetric pair, the braid group action and a PBW basis descend to the DCKP-type integral form and, via semiclassical limits, yield Poisson automorphisms and explicit Poisson brackets on the Poisson homogeneous space.","lead":"Quantum symmetric pairs generalize quantum groups to include an involution. This paper proves that relative braid group symmetries and PBW bases exist on a canonical integral form of the ıquantum group, and derives explicit Poisson brackets on the associated Poisson homogeneous spaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.2's claim that the constants c from [Su23, Thm 3.5] lie in A' is not established; in type B_n the denominator [−a_ij]_i! can be [2]_1! = q+q^{-1}, which is not invertible in A'.","rationale":"The reader's weakest_assumption correctly located Proposition 3.2 as the load-bearing step: the integrality proof depends on the claim that the constants c from [Su23, Thm 3.5] lie in A'. My reading sharpens this into an explicit obstruction: the authors assert that [−a_ij]_i! is invertible in A', but for type B_n, [−a_{n−1,n}]_{n−1}! = q+q^{-1}, which is not a unit in the localization A' because it vanishes at q=i while all inverted factors are nonzero there. Therefore the proof of Proposition 3.2 does not currently justify its conclusion. This does not show the final theorems are false; it shows the written argument has a concrete gap at the point identified by the reader. Since Proposition 3.2 feeds into Proposition 3.5, Theorem 3.7, Theorem 3.11, and the semiclassical consequences, the original CONDITIONAL verdict remains appropriate: the paper should be accepted only after the B_n computation is supplied or the argument is repaired. I would not move the verdict to ACCEPT or REJECT on the basis of this concern alone, so the reader's verdict is unchanged.","tokens_in":32377,"tokens_out":16969,"duration_ms":187099,"concrete_test":"Work in type B_2 (C_2) with Cartan matrix [[2,−2],[−1,2]] and ε_1=1, ε_2=2. Take β=α_1+α_2, the first non-simple root, and extract the constant c from [Su23, Thm 3.5] in the expression r̃{F}_β = cM. Reduce c to lowest terms and test membership in A' by specializing q=i: if c contains a factor (q+q^{-1})^{-1}, then c∉A', disproving the 'easily checked' claim in Proposition 3.2. Independently, attempt to write F_{α_1+α_2} directly as an A'-linear combination of rescaled q-commutators of F_1 and F_2; a failure at this minimal case would show Proposition 3.2's generation statement itself is false, while a successful explicit formula would repair the proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims Theorem 3.7 (relative braid symmetries preserve U^ı_{A'}) and Theorem 3.11 (rescaled PBW basis) are driven by Proposition 3.5, whose proof relies on Proposition 3.2. Proposition 3.2 asserts that U^-_{A'} is generated by the Fi via rescaled q-commutators. Its proof cites [Su23, Thm 3.5] to write a root vector as cM and states that c∈A' because the only denominators are [−a_ij]_i!, 'easily checked to be invertible in A''. This check is not merely terse; it is factually wrong for the ring A' defined in Section 2.3. In type B_n, take the pair (n−1,n) with a_{n−1,n}=−2 and a_{n,n−1}=−1. Symmetrization gives ε_{n−1}=1 and ε_n=2, so for i=n−1 we have [−a_ij]_i! = [2]_1! = q+q^{-1}. This element is not a unit in A' = Z[q^{±1/2}, (1+q)^{-1}, [ε_i]!^{-1}]: at q=i it vanishes, while every localized factor (1+q), [ε_n]! = q^2+q^{-2}, and the remaining [ε_j]! is nonzero. Hence the stated reason for c∈A' fails. Since Proposition 3.2 is used to prove finite generation (Proposition 3.5) and then integrality of the relative braid symmetries, this is load-bearing. The theorems may still be true through a different cancellation, but the proof as written does not establish the claimed integrality.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the DCKP-type integral form U^ı_{A'} of an ıquantum group for arbitrary finite type. Its main theorems assert that the relative braid group symmetries T_i preserve U^ı_{A'} (Theorem 3.7) and that the rescaled monomials B^a F^c_• E^d_• K^μ form an A'-basis for U^ı_{A'} (Theorem 3.11). The authors then pass to the semiclassical limit q^{1/2} ↦ 1, obtaining a polynomial Poisson algebra P with a braid group action, a Poisson isomorphism with the coordinate algebra of K^⊥\\G^*, and a geometric description of the symmetries in the quasi-split case. Explicit Poisson brackets are computed for several examples, including the Dubrovin–Ugaglia bracket.","tokens_in":32633,"tokens_out":12141,"duration_ms":143627,"significance":"These are natural and potentially important results: they extend the De Concini–Procesi integral-form framework to quantum symmetric pairs and connect it with Poisson geometry, cluster theory, and known Poisson structures such as the Dubrovin–Ugaglia brackets. The overall strategy is attractive: establish finite generation of U^ı_{A'} by rescaled q-commutators, reduce integrality of T_i to finitely many generator checks, and then specialize to Poisson automorphisms. The paper is also explicit about correcting a formula in [WZ23] for type CII4. However, the proof contains a genuine ring-theoretic gap in the local generation step, and the same obstruction reappears in the Appendix's rank-one verification; the main theorems are therefore not fully established as written.","major_comments":[{"comment":"The assertion that the constants c obtained from [Su23, Theorem 3.5] lie in A′ because the denominators [−a_{ij}]_i! are invertible in A′ is false. In type B_n, take i = n−1 and j = n; then ε_{n−1} = 1 and a_{n−1,n} = −2, so [−a_{n−1,n}]_{n−1}! = [2]_1! = q + q^{−1}. At q = i this element vanishes, while each factor that is inverted in the definition of A′ in Section 2.3 — namely (1+q), [1]_1!, and [2]_2! = q^2 + q^{−2} — is nonzero at q = i. Hence q + q^{−1} is not a unit in A′, so the stated reason for c ∈ A′ is invalid. Since Proposition 3.2 is used in Propositions 3.4 and 3.5, and these provide the finite-generation input for Theorems 3.7 and 3.11, this is a load-bearing gap. The theorems may still be true, but the proof as written does not establish them.","section":"§3.2, proof of Proposition 3.2"},{"comment":"The rank-one verification that the root vectors B_β belong to U^ı_{A′} also divides by q + q^{−1}, which is not a unit of A′. For example, in type BII the formula for B_{β_n} is reduced to {F_n, B_{β_{n−1}}}_{q^2}/(q + q^{−1}), and the text concludes membership in U^ı_{A′} by Lemma 3.3 and Proposition 2.6. Lemma 3.3 only provides closure under rescaled q-commutators, i.e., division by q − 1; it does not justify division by q + q^{−1}. Since A′ does not contain (q + q^{−1})^{−1}, the asserted membership is not established. This is the base case used in Proposition 3.10 and hence feeds directly into Theorem 3.11.","section":"Appendix A.6–A.7"}],"minor_comments":[{"comment":"There are spacing and capitalization typos: 'P airs' in the title and 'F uture work' in Section 1.5; in Section 2.3, 'surjecitve' should be 'surjective'.","section":"Title and §1.5"},{"comment":"The displayed rescaled generator formula contains an apparent typo: the denominator should involve q_{i_k} − q_{i_k}^{−1}, not q_{i_k} − q_{i_k}.","section":"§3.2"},{"comment":"Since the invertibility of q-binomial denominators is central to Proposition 3.2, it would be helpful to state explicitly which factors [m]_i! are invertible in A′ and which are not.","section":"§2.3"},{"comment":"The shorthand notation s_{1⋯n⋯1} and similar expressions is used before being explained; a one-sentence definition would improve readability.","section":"Table 2 and Appendix A"}],"recommendation":"major_revision","confidential_remarks":"The main obstruction is the localization issue in Proposition 3.2 and Appendix A. If the authors can either prove the required integrality with a correct denominator argument or enlarge the ring A′ in a way that does not damage the semiclassical and Poisson-geometric applications, I would support acceptance. The rest of the argument is coherent and the results would be valuable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on Song-Zhang. The paper does something genuinely new: it attacks the DCKP-type integral form for ıquantum groups uniformly for all finite types, establishes invariance under relative braid symmetries, a rescaled PBW basis, and then gets Poisson automorphisms and explicit brackets on K^⊥\\G^*. The quasi-split geometric description (Theta-fixed locus) and the examples (Dubrovin-Ugaglia, AIV2, AIII3, CI2) are concrete and useful, and the authors are honest that they work over the localized ring A' rather than A. That part is good.\n\nBut there is a load-bearing gap. Proposition 3.2 claims that the constants c coming from [Su23, Thm 3.5] lie in A', on the stated grounds that the only denominators are [−a_{ij}]_i!, which are 'easily checked to be invertible in A''. That check is actually false. In type B_n, take i=n−1, j=n: a_{n−1,n}=−2, ε_{n−1}=1, so [−a_{ij}]_i! = [2]_1! = q+q^{−1}. The ring A' = Z[q^{±1/2}, (1+q)^{−1}, [ε_k]!^{−1}] does not invert q+q^{−1}: at q=i it vanishes while none of the localized factors do. So the stated reason fails. The same denominator appears in the paper's own Appendix A.6 for type BII, where B_{β_n} is defined by dividing a rescaled q-commutator by q+q^{−1} and then asserted to lie in U^ı_{A'}. No divisibility argument is given.\n\nThis is not a cosmetic issue. Proposition 3.2 drives the finite generation statement (Prop 3.5) used in the proof of the main integrality theorem (3.7) and the PBW basis (3.11). The theorems may still be true — the fix is probably to enlarge the localization to invert all [m]_i! for the relevant m, or to prove the numerators are divisible — but as written the proof does not establish the claimed result. The reader's conditional verdict is fair, but I'd call the gap sharper than 'clarification needed': it is a concrete false claim.\n\nWorth sending to a referee? Yes. The results are important enough and the gap is likely patchable. But a referee should insist on seeing the constants c or a corrected localization before the paper is accepted.","headline":"Genuinely new finite-type results for the DCKP integral form, but a key generation lemma rests on an invertibility claim that is false as stated; fixable but currently not proven.","tokens_in":33317,"tokens_out":8518,"would_cite":false,"duration_ms":95432,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","17B63"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that for every finite-type quantum symmetric pair, the rescaled integral form $U^\\imath_{A'}$ is preserved by relative braid group symmetries and has an explicit PBW basis; passing to $q=1$, these symmetries become…","keywords":["quantum symmetric pairs","i-quantum groups","DCKP integral form","braid group symmetries","PBW bases","Poisson algebras","dual Poisson-Lie groups","Dubrovin-Ugaglia Poisson bracket"],"falsifier":"Check the missing coefficient check in a concrete rank-two case: take a Cartan datum from Table 1 with $-a_{ij}>\\varepsilon_i$, write the corresponding root vector $F_\\beta$ using the cited identity of $[\\mathrm{Su}23]$, Theorem 3.5, as $cM$ with $M$ a rescaled $q$-commutator monomial, and test whether $c$ lies in $A'=\\mathbb{Z}[q^{\\pm1/2},(1+q)^{-1},[\\varepsilon_i]!^{-1}]$. If any such $c$ has a denominator not inverted by $A'$, Proposition 3.2 and the proof of Theorem 3.7 collapse; if every rank-two coefficient in Lemma 3.6 and Appendix A lies in $A'$, the missing check is supplied and the argument stands.","tokens_in":32041,"feed_emoji":"🪢","tokens_out":13546,"duration_ms":149076,"temperature":0.7,"pith_summary":"For any finite-type quantum symmetric pair $(\\mathbf U,\\mathbf U^\\imath)$, this paper seeks to prove that the De Concini\\,–\\,Kac\\,–\\,Procesi-type integral form $\\mathbf U^\\imath_{A'}$ is stable under the relative braid group symmetries $T_i$ and carries an explicit rescaled PBW basis. The reason to care is that the semiclassical limit of this integral form is the coordinate algebra of a Poisson homogeneous space $K^\\perp\\backslash G^*$, so these quantum-level structures become, at $q=1$, polynomial generators and Poisson automorphisms for that space. The paper carries out the necessary rank-by-rank checks and gives closed formulas for the induced Poisson brackets, recovering the Dubrovin\\,–\\,Ugaglia bracket in the type AI example. If the claims are right, they give a uniform, intrinsic route to braid symmetries and polynomial descriptions of Poisson structures associated with arbitrary symmetric pairs.","feed_headline":"Braid symmetries preserved on quantum symmetric pair integral forms","feed_subtitle":"The symmetries descend at q=1 to Poisson automorphisms and polynomial generators on the dual Poisson–Lie homogeneous space","key_machinery":"The engine of the proof is the rescaled $q$-commutator $\\{A,B\\}_{q^a}=(AB-q^aBA)/(q-1)$, a $q$-deformed version of the Poisson bracket. Proposition 3.2 asserts that the integral form $\\mathbf U^-_{A'}$ is generated from the simple root vectors by these operations alone, and Lemma 3.3 transfers this closure to $\\mathbf U^\\imath_{A'}$. Because the relative braid symmetries commute with rescaled $q$-commutators, Theorem 3.7 reduces to checking $T_i$ on the finite set of generators $B_i,k_i,F_j,E_j,K_j$; the rank-two cases are then verified by explicit formulas from Lemma 3.6 and the rank-one root vectors in Appendix A. The same rescaled commutator calculus, together with the Letzter projection, turns the PBW construction of $[\\mathrm{LYZ24}]$ into an $A'$-basis and ultimately into polynomial generators of the Poisson algebra.","core_discovery":"The central discovery is that the DCKP-type integral form is not merely a construction but a robust algebraic object: Theorem 3.7 shows that for every $i\\in I^\\circ$ the relative braid symmetries $T_i$ and their inverses send $\\mathbf U^\\imath_{A'}$ to itself, and Theorem 3.11 exhibits an $A'$-basis of $\\mathbf U^\\imath_{A'}$ consisting of monomials $B^a F^c_\\bullet E^d_\\bullet K^\\mu$ built from the rescaled root vectors. In the semiclassical limit these results become: the Poisson algebra $P$ (an integral model of $C[K^\\perp\\backslash G^*]$) is a polynomial ring over its torus part $P^0$, generated by the images of the root vectors; and the braid symmetries descend to Poisson automorphisms $\\sigma^\\imath_i$ satisfying the braid relations of the relative Weyl group. In the quasi-split case, the paper identifies $\\sigma^\\imath_i$ geometrically as the unique Poisson automorphism lifting the known symmetry $\\sigma_{r_i}$ of $G^*$ through an embedding of $K^\\perp\\backslash G^*$ into the fixed locus of a symmetric Poisson group involution $\\Theta$. Finally, Section 5 writes the Poisson brackets explicitly in several low-rank examples.","pith_inferences":["One immediate test the paper leaves open is whether the localization $A'$ can be removed in quasi-split cases: if the integrality proof can be run over $A=\\mathbb{Z}[q^{\\pm1/2}]$, the braid symmetries would survive without inverting $(1+q)$ or the quantum Cartan integers, and Remark 3.8 indicates this is expected.","The polynomial generators and braid automorphisms are natural ingredients for a cluster structure on $K^\\perp\\backslash G^*$; the paper lists cluster realization as future work, and a concrete next step would be to check whether the rescaled PBW generators are cluster variables in the type AI cluster structure of $U^\\imath$.","The $\\Theta$-fixed-locus description strongly suggests that for non-quasi-split types the algebraic Poisson automorphisms $\\sigma^\\imath_i$ should also admit a geometric description via a symmetric Poisson group embedding, with the quasi-split theorem serving as the first instance; the paper does not claim this.","Following the DCKP analogy, the braid symmetries and the integral form should allow the Poisson algebra $P$ to be identified with a central subalgebra of an $\\imath$-quantum group at roots of unity; the authors announce this only as a sequel, so it is a conjecture rather than a consequence."],"forward_implications":["For every finite-type quantum symmetric pair, the braid group $\\mathrm{Br}(W_\\bullet)\\rtimes \\mathrm{Br}(W^\\circ)$ acts on $\\mathbf U^\\imath_{A'}$ by integral algebra automorphisms, upgrading a previously function-field-level action to an integral one.","The rescaled PBW monomials $B^a F^c_\\bullet E^d_\\bullet K^\\mu$ form an $A'$-basis of $\\mathbf U^\\imath_{A'}$, so the integral form is finitely generated over $A'$ by the root vectors appearing in the basis.","The semiclassical limit $P$ is a polynomial algebra over $Z'[Y^\\imath]$ with generators indexed by $R^+(w_0)\\sqcup R^+_\\bullet$, and its relative braid group action passes to Poisson automorphisms of $K^\\perp\\backslash G^*$.","In the quasi-split case the induced Poisson automorphism $\\sigma^\\imath_i$ is the unique lift of the geometric braid symmetry $\\sigma_{r_i}$ on $G^*$ through the embedding $\\psi$, giving explicit formulas on $H^{\\theta 0}\\times U^-$.","For type AI the explicit bracket on $P$ reproduces the Dubrovin\\,–\\,Ugaglia bracket, showing the construction unifies existing sporadic examples."],"supporting_citations":[{"why":"introduces the DCKP-type integral form $U^\\imath_A = U^\\imath \\cap U_A$ and proves its semiclassical limit is $C[K^\\perp\\backslash G^*]$, the target this paper studies.","marker":"[So24b]"},{"why":"constructs the relative braid group symmetries $T_i$ on $U^\\imath$ for arbitrary finite type and supplies the rank-two formulas used in Lemma 3.6.","marker":"[WZ23]"},{"why":"provides the PBW construction of $U^\\imath$ and the root vectors $B_\\beta$ whose linear independence underlies Theorem 3.11.","marker":"[LYZ24]"},{"why":"establishes the DCKP integral form for $U_q(\\mathfrak{g})$, its invariance under braid symmetries, its rescaled PBW basis, and its specialization to $C[G^*]$, the template being generalized.","marker":"[DCP93]"},{"why":"gives the product-formula identity expressing each root vector $F_\\beta$ as $c$ times a monomial built by $q$-commutators, which Proposition 3.2 uses to prove finite generation.","marker":"[Su23]"},{"why":"provides the Letzter projection map $\\pi^\\imath$ and its graded isomorphism, used to transfer generation from $U_P$ to $U^\\imath_{A'}$ in Proposition 3.4.","marker":"[KY21]"},{"why":"defines the geometric braid group symmetries $\\sigma_i$ on $G^*$ whose lifts are compared with the quantum symmetries in Theorem 4.6.","marker":"[DCKP92]"},{"why":"supplies the theory of symmetric Poisson groups and Dirac submanifolds used to identify $K^\\perp\\backslash G^*$ with the $\\Theta$-fixed locus in Proposition 4.5.","marker":"[Xu03]"}],"fun_headline_variants":["Braid symmetries on integral forms of quantum pairs","Quantum pair braid actions on Poisson algebras","Semiclassical braid symmetries from quantum pairs","Braid group symmetries on quantum pair integral forms","Poisson braid actions preserved by integrality"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is Proposition 3.2's assertion that the root vectors of the integral form can be obtained from simple root vectors by rescaled $q$-commutators with coefficients in the localized ring $A'$; the proof cites an external identity and says the only denominators are quantum factorials that are 'easily checked' to be invertible in $A'$, without displaying that check. If any of those coefficients leaves $A'$, the finite-generation step fails, and with it the proof that the braid symmetries preserve the integral form.","fun_headline_variants_meta":{"raw":{"variants":["Braid symmetries on integral forms of quantum pairs","Quantum pair braid actions on Poisson algebras","Semiclassical braid symmetries from quantum pairs","Braid group symmetries on quantum pair integral forms","Poisson braid actions preserved by integrality"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000197,"raw_usage":{"total_tokens":1383,"prompt_tokens":986,"completion_tokens":397,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":602,"completion_tokens_details":{"reasoning_tokens":323}},"tokens_in":602,"tokens_out":397,"duration_ms":5057,"temperature":1.0,"reasoning_tokens":323,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:57:31.625145+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the missing coefficient check in a concrete rank-two case: take a Cartan datum from Table 1 with $-a_{ij}>\\varepsilon_i$, write the corresponding root vector $F_\\beta$ using the cited identity of $[\\mathrm{Su}23]$, Theorem 3.5, as $cM$ with $M$ a rescaled $q$-commutator monomial, and test whether $c$ lies in $A'=\\mathbb{Z}[q^{\\pm1/2},(1+q)^{-1},[\\varepsilon_i]!^{-1}]$. If any such $c$ has a denominator not inverted by $A'$, Proposition 3.2 and the proof of Theorem 3.7 collapse; if every rank-two coefficient in Lemma 3.6 and Appendix A lies in $A'$, the missing check is supplied and the argument stands.","supporting_citations":[],"review_version":1}