{"id":"a493b9a7-40e7-48cb-89dc-fcf8571f0983","arxiv_id":"2506.03125","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a finite-dimensional Lie algebra g, U(g) is a braided commutative Yetter-Drinfeld module algebra over any Hopf algebra H containing the adjoint matrix coefficients, making H smash U(g) a scalar extension Hopf algebroid over U(g)^op and U(g).","lead":"This paper builds explicit algebraic versions of noncommutative phase spaces: it puts a Hopf algebroid structure on smash products of a universal enveloping algebra with function or functional algebras. The key mechanism is the adjoint action, which lets the authors switch between left and right invariant derivations without using infinite tensor products.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.1's proof of the load-bearing identities (26)-(27) is incomplete: (26) is checked only against the Lie algebra generators X_s, and (27) is stated without proof, leaving the finite-dual coaction not fully established.","rationale":"The reader correctly identified the matrix identities (15)-(17) and (26)-(27) as the structural load-bearing premise. My stress-test agrees with that identification, but sharpens it: in the geometric cases (Theorems 4.12-4.17) the identities are proved in detail and the subsequent Yetter–Drinfeld and coaction arguments are internally coherent. The unprotected spot is the functional case, where Theorem 5.1's proof of (26) only tests against the Lie algebra generators X_s, while equality in the finite dual requires pairing with every element of U(g). Moreover, (27) is asserted without proof. Both identities are necessary for Proposition 5.3's definition of λ and hence for the main finite-dual Hopf algebroid conclusion. This is a proof-completeness concern rather than a demonstrated counterexample: the identities are very likely true, since (26) encodes Ad-invariance of the structure constants and (27) follows from S(U)=Ū, but the manuscript does not supply the needed argument. Therefore the appropriate verdict is CONDITIONAL: the paper should be accepted only after the missing verification of (26)-(27) is supplied. If the author provides the induction or a direct proof, the original ACCEPT would stand.","tokens_in":26138,"tokens_out":41501,"duration_ms":435483,"concrete_test":"Verify (26) by pairing both sides with X_a X_b, using the Hopf pairing and the comultiplication formulas ∆(U^i_j) = Σ_k U^i_k ⊗ U^k_j from Theorem 5.1. Concretely, compute ⟨X_a X_b, Σ_{l,m} C^k_{lm} U^l_i U^m_j⟩ = Σ_{l,m} C^k_{lm} [⟨X_a X_b, U^l_i⟩ δ^m_j + ⟨X_a, U^l_i⟩⟨X_b, U^m_j⟩ + ⟨X_b, U^l_i⟩⟨X_a, U^m_j⟩ + δ^l_i ⟨X_a X_b, U^m_j⟩] and compare with ⟨X_a X_b, Σ_r U^k_r C^r_{ij}⟩. Repeat for all a,b and then induct on monomial length. Separately verify (27) by checking ⟨D, Σ_j U^i_j Ū^j_k − δ^i_k⟩ = 0 for all D ∈ U(g). If these checks pass, the proof gap is fillable; if any fails, the finite-dual coaction is invalid.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The finite-dual example (Section 5) is a central advertised result: for any H with U(g)_min ⊂ H ⊂ U(g)^∘, the smash product H7U(g) is a scalar extension Hopf algebroid. This rests on Proposition 5.3, where λ(X_j) = Σ_i Ū^i_j 7 X_i is asserted to be a well-defined antimultiplicative coaction. As in Theorem 4.14, well-definedness of λ uses the matrix identities (26) and (27) of Theorem 5.1. The proof of (26), however, verifies the claimed equality only after pairing both sides with the basis elements X_s of g: the displayed computation shows ⟨X_s, LHS⟩ = ⟨X_s, RHS⟩ for each s. Since H is a subalgebra of the finite dual U(g)^∘, equality of two elements of H is detected by pairing with all of U(g), not merely with g. The sentence 'The equality is now proven similarly as in calculation (28)' does not supply the required induction over monomials in U(g). Identity (27) is stated as a property of U and Ū but is not proved at all in the text; it presumably follows from S(U) = Ū, yet that consequence is not demonstrated. If (26) or (27) failed, λ would not be well defined and the Yetter–Drinfeld property in Theorem 5.5 would collapse. Thus the paper's second main family of examples is not fully supported by the proof as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs explicit families of scalar extension Hopf algebroids over the universal enveloping algebra U(g). The main mechanism is to show that U(g_L) (or U(g)) is a braided commutative right-left Yetter-Drinfeld module algebra over a Hopf algebra H of representative functions (for affine algebraic groups and Lie groups) or of representative functionals (for the finite dual of U(g)). The necessary structure is encoded in a matrix O of adjoint-representation matrix coefficients (or its finite-dual analogue U), and the paper proves the relevant matrix identities, constructs the coaction, verifies the Yetter-Drinfeld property, and then imports the Hopf algebroid conclusion from the author's earlier scalar extension theorem [22]. Section 7 displays explicit formulas for the Hopf algebroid structure maps in four isomorphic smash-product presentations.","tokens_in":1397,"tokens_out":3635,"duration_ms":149439,"significance":"If the constructions are correct, the paper provides a broad and explicit class of Hopf algebroids with noncommutative base algebras U(g)^op and U(g), covering the algebra of regular differential operators on an affine algebraic group and the finite dual Heisenberg double without completed tensor products. The paper is carefully organized and gives many concrete formulas. Its main strengths are the explicit construction of the minimal Hopf algebras O_min(G) and U(g)_min, the proof of basis-independence, and the reduction of the Hopf algebroid conclusion to checking concrete identities in a Hopf algebra of functions or functionals. The reliance on the author's earlier theorem [22] is appropriate, since the work here verifies the required Yetter-Drinfeld module algebra hypotheses. The central ideas are sound and the presentation is mostly clear, but one load-bearing proof in the finite-dual section is incomplete as written.","major_comments":[{"comment":"The proof of (26) verifies the claimed equality only after pairing both sides with the generators X_s of g, but equality in H, a subalgebra of the finite dual of U(g), is detected by pairing with all of U(g), not merely with g. The sentence 'The equality is now proven similarly as in calculation (28)' does not supply the required induction over monomials in U(g); calculation (28) concerns the well-definedness of U as a functional, which is a related but different assertion. Since Proposition 5.3 and Theorem 5.5 rely on (26) for the well-definedness of the coaction lambda and for the Yetter-Drinfeld property, this gap is load-bearing and should be repaired by an explicit induction over monomials (using multiplicativity of the pairing and the comultiplication formulas for U) or by a direct argument that both sides have the same pairing with every element of U(g).","section":"Theorem 5.1, identity (26)"},{"comment":"Identity (27) is stated without proof. It should follow from the Hopf algebra antipode axiom applied to the relations S(U^i_j) = anti-U^i_j, namely m composed with (S tensor id) composed with Delta = epsilon and m composed with (id tensor S) composed with Delta = epsilon, but the text does not make this deduction. The authors should add a one-sentence derivation or an explicit reference to the relevant axiom, since (27) is needed for the matrix inversion properties of U and anti-U used in the coaction definitions.","section":"Theorem 5.1, identity (27)"}],"minor_comments":[{"comment":"The definition calls U(g)_min the 'smallest subalgebra' generated by the components of U and anti-U; the following sentence clarifies that it is a Hopf subalgebra, but the definition should say 'smallest Hopf subalgebra' for precision.","section":"Definition 5.2"},{"comment":"In the first sentence of the proof, 'for all X in U(g_L)' should read 'for all X in U(g)'; the notation g_L is not used in Section 5.","section":"Theorem 5.5 proof"},{"comment":"The phrase 'for a Lie algebra G' should be 'for a Lie group G'.","section":"Section 1.2.2"},{"comment":"The formulas contain expressions of the form sum_i C^i_ij in the target, counit, and antipode maps; since the trace of the adjoint representation vanishes over any field, these sums are zero, but the notation is confusing and should either be explained or removed (unless a different convention is intended).","section":"Section 7.2 tables"},{"comment":"There are several typographical errors that should be corrected during revision: 'diferential' in the proof of Proposition 4.5, 'finite-dimesional' in the abstract, 'componets' in Section 6, and 'for for' in the proof of Theorem 5.5.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper's main construction is sound in its geometric part (Section 4) and the finite-dual construction is very likely correct, but the proof of Theorem 5.1 as written is not complete at a technically load-bearing point. The gaps are local and apparently fixable, so I do not recommend rejection. The paper relies substantially on the author's own previous theorem [22], which is acceptable in context, but the referee should verify that the revised proof of Theorem 5.1 actually establishes the identities in the finite dual before acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this is a useful, careful example-construction paper, and the finite-dual section has a real but fillable proof gap that the stress-test note correctly identifies.\n\nWhat is genuinely new: the scalar extension Hopf algebroid structure is carried out without completions for affine algebraic groups over any field, for the finite dual U(g)^\\circ, and for any intermediate Hopf algebra H containing the matrix coefficients. The unified Theorem 6.1 and the explicit structure maps in four smash product presentations are not in the earlier dissertation or in [21]. The paper is also honest about what is inherited: O_min, U_min, and U(g)^\\circ were in the first author's dissertation, and the Hopf algebroid conclusion is imported from [22]. That self-citation is legitimate.\n\nWhat the paper does well: the matrix identities are derived from the adjoint representation, the Yetter–Drinfeld checks are done on generators with induction steps sketched, and the basis independence claim is addressed. The proofs are mostly explicit and the strategy is sound. The duplicated Proposition 5.4 is a typo, not a mathematical issue.\n\nWhere the soft spots are: the stress-test note is right. In Theorem 5.1, identity (26) is only verified against the Lie algebra generators X_s, and the text says \"similarly as in calculation (28)\" without supplying the induction over monomials in U(g) that would justify equality as functionals on all of U(g). Identity (27) is stated but not proved; it does follow from S(U) = \\bar U and the antipode axiom, but that consequence is not drawn. These are load-bearing for the finite-dual coaction, so the proof as written is incomplete. However, the identities are true: (26) is the statement that ad is a Lie algebra representation, and (27) is the antipode relation. A referee should ask for the missing arguments, not reject the paper. The same style of delegated \"analogous\" proofs appears elsewhere but is less concerning because the arguments are more routine.\n\nWho this is for: people working on Hopf algebroids, scalar extensions, and noncommutative phase spaces. It deserves a serious referee and likely acceptance after a revision that fills the finite-dual gaps.","headline":"Solid example-construction paper with a real but fillable proof gap in the finite-dual section; the advertised Hopf algebroid results are very likely correct but need fuller proofs.","tokens_in":26981,"tokens_out":5250,"would_cite":true,"duration_ms":52336,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16T10","16S40","16T05","16T99"],"pacs":[],"model":"deepseek-v4-flash","headline":"The adjoint representation's matrix coefficients give the universal enveloping algebra a Yetter–Drinfeld module structure, making function–enveloping smash products into scalar-extension Hopf algebroids without completed tensor products.","keywords":["Hopf algebroid","scalar extension","Yetter-Drinfeld module algebra","universal enveloping algebra","adjoint representation","regular differential operators","noncommutative phase space","representative functions"],"falsifier":"Take a finite-dimensional Lie algebra $\\mathfrak{g}$ and define functionals $U_i^j$ by $\\langle X_k, U_i^j\\rangle = C^i_{kj}$, then compute whether identity (26), $\\sum_{l,m} C^k_{lm}U^l_iU^m_j = \\sum_r U^k_rC^r_{ij}$, holds; a single structure-constant matrix where it fails would give a Hopf algebra $U(\\mathfrak{g})_{\\min}$ for which the proposed coaction $\\lambda(X_j)=\\sum_i \\bar U^i_j\\otimes X_i$ does not descend to $U(\\mathfrak{g})$, and the smash product would not be a Hopf algebroid by this construction.","tokens_in":25949,"feed_emoji":"🧮","tokens_out":14889,"duration_ms":130506,"temperature":0.7,"pith_summary":"This paper proves that, for an affine algebraic group $G$ over any field, the universal enveloping algebra $U(\\mathfrak{g}_L)$ of left-invariant derivations is a braided commutative right-left Yetter–Drinfeld module algebra over the Hopf algebra $O(G)$ of regular functions, with the coaction defined by the matrix of the adjoint representation. As a result, the smash product $O(G) \\# U(\\mathfrak{g}_L)$ — the tensor product with multiplication twisted by the Hopf action, isomorphic to the algebra of regular differential operators on $G$ — carries the structure of a Hopf algebroid (a bialgebroid with an antipode, the algebraic counterpart of a groupoid) over the two, generally noncommutative, base algebras $U(\\mathfrak{g}_R)$ and $U(\\mathfrak{g}_L)$. The same construction works for any Hopf algebra $H$ of representative functions containing the minimal Hopf subalgebra $O_{\\min}(G)$ generated by the adjoint matrix coefficients, for Lie groups with smooth functions or germs, and for the finite dual $U(\\mathfrak{g})^{\\circ}$ in place of functions. The point is that everything is done with ordinary tensor products and algebraic smash products, avoiding the completed tensor products and formal completions that earlier, physics-motivated versions of such noncommutative phase-space Hopf algebroids required.","feed_headline":"Adjoint matrix builds Hopf algebroids without completions","feed_subtitle":"For any affine group or Lie algebra, the smash product of functions and enveloping algebra carries a Hopf algebroid structure.","key_machinery":"The central object is the matrix $O$ of the adjoint representation (and its functional analogue $U$), with components $O_i^j$ viewed as representative functions on $G$. The load-bearing identities (15)–(17) say that applying a left-invariant derivation to $O_i^j$ gives the structure constant $C^i_{kj}$, that the matrix intertwines the structure constants ($COO=OC$), and that $O$ and $\\bar O$ are mutual inverses; together they encode that $\\operatorname{Ad}_g$ is a Lie algebra automorphism whose inverse is supplied by the antipode. The coaction $\\lambda:U(\\mathfrak{g}_L)\\to H \\# U(\\mathfrak{g}_L)$, $\\lambda(X_j)=\\sum_i \\bar O_i^j \\otimes X_i$, is what carries the argument: it converts the adjoint action into a comodule structure, and the identities are exactly what is needed for $\\lambda$ to respect the Lie bracket and for the Yetter–Drinfeld and braided-commutativity axioms to hold.","core_discovery":"The central claim is that the adjoint representation mediates between left- and right-invariant differential operators and thereby supplies the coaction that makes the enveloping algebra a Yetter–Drinfeld module algebra over functions. Concretely, for a basis of the Lie algebra, let $O_i^j$ be the matrix coefficients of the adjoint action and $\\bar O_i^j$ their inverse; if these coefficients lie in a Hopf algebra $H$ of representative functions, then $\\lambda(X_j)=\\sum_i \\bar O_i^j \\otimes X_i$ extends to an antimultiplicative left coaction on $U(\\mathfrak{g}_L)$, the right action $D \\triangleright f=\\sum \\langle D_{(1)},f\\rangle D_{(2)}$ is a Hopf action, and the Yetter–Drinfeld and braided-commutativity axioms hold. In the functional picture, the same role is played by functionals $U_i^j$ whose pairing with Lie algebra generators reproduces the structure constants. The conclusion is that $H \\# U(\\mathfrak{g}_L) \\cong U(\\mathfrak{g}_R) \\# H$ is a scalar-extension Hopf algebroid over $U(\\mathfrak{g}_R),U(\\mathfrak{g}_L)$, and the finite dual smash product $U(\\mathfrak{g})^{\\circ} \\# U(\\mathfrak{g})$ is one over $U(\\mathfrak{g})^{\\mathrm{op}},U(\\mathfrak{g})$.","pith_inferences":["Because only the identities (15)–(17) (or (26)–(27)) are used, any Hopf algebra equipped with elements playing the role of adjoint matrix coefficients would yield the same Hopf algebroid construction even without an underlying classical group or Lie algebra.","The construction can be read as an algebraic, completion-free replacement for the fully completed Heisenberg double of $U(\\mathfrak{g})$; testing whether $U(\\mathfrak{g})_{\\min} \\# U(\\mathfrak{g})$ already detects all information of the completed version would clarify how much of the completed structure is genuinely needed.","In the functional case, the matrix $U$ is determined by the structure constants, so the Hopf algebroid structure on $U(\\mathfrak{g})^{\\circ} \\# U(\\mathfrak{g})$ is an invariant of the Lie algebra $\\mathfrak{g}$ itself; this suggests a route to computing the antipode and counit explicitly in structure-constant terms for concrete Lie algebras."],"forward_implications":["The algebra of regular differential operators $\\operatorname{Diff}(G) \\cong O(G) \\# U(\\mathfrak{g}_L)$ is a scalar-extension Hopf algebroid over $U(\\mathfrak{g}_R),U(\\mathfrak{g}_L)$, and with the mirror coaction also over $U(\\mathfrak{g}_L),U(\\mathfrak{g}_R)$.","For any Hopf algebra $H$ of representative functions on an affine algebraic group or Lie group satisfying $O_{\\min}(G) \\subset H \\subset O(G)$ (or $H \\subset C^\\infty(G)\\cap R$ in the Lie group case), the smash product $H \\# U(\\mathfrak{g}_L)$ is such a Hopf algebroid.","The finite dual Heisenberg double $U(\\mathfrak{g})^{\\circ} \\# U(\\mathfrak{g})$ is a scalar-extension Hopf algebroid over $U(\\mathfrak{g})^{\\mathrm{op}},U(\\mathfrak{g})$, with minimal version $U(\\mathfrak{g})_{\\min} \\# U(\\mathfrak{g})$.","The construction and all structure-map formulas are independent of the chosen basis of the Lie algebra $\\mathfrak{g}$.","As a corollary, for a finite-dimensional Leibniz algebra $\\mathfrak{h}$, the smash product $O(\\operatorname{Aut}(\\mathfrak{h})) \\# U(\\operatorname{Der}(\\mathfrak{h}))$ is a scalar-extension Hopf algebroid over $U(\\operatorname{Der}(\\mathfrak{h}))^{\\mathrm{op}},U(\\operatorname{Der}(\\mathfrak{h}))$."],"supporting_citations":[{"why":"It supplies the theorem that a braided commutative Yetter–Drinfeld module algebra yields a scalar-extension Hopf algebroid, used in Corollaries 4.18 and 5.6.","marker":"[22]"},{"why":"It introduced Hopf algebroids over noncommutative base algebras and the smash-product bialgebroid construction that this paper specializes.","marker":"[14]"},{"why":"It provides the bialgebroid and Yetter–Drinfeld formalism on which the scalar-extension construction rests.","marker":"[6]"},{"why":"It gives the basic theory of left- and right-invariant derivations and finite-dimensional differentiations used for affine algebraic groups.","marker":"[11]"},{"why":"It supplies the earlier Lie-algebra-type noncommutative phase space Hopf algebroids whose completed version the present construction avoids.","marker":"[16]"},{"why":"It gives the related example of an enveloping algebra as a Yetter–Drinfeld module algebra over the automorphism group, with the matrix that $O$ generalizes.","marker":"[21]"},{"why":"It is the source of the matrices $O$ and $U$ in the completed internal Hopf algebroid setting, expanded here without completions.","marker":"[23]"}],"fun_headline_variants":["Adjoint coaction builds Hopf algebroids without completions","Adjoint representation constructs scalar extension Hopf algebroids","Hopf algebroids from adjoint action without completions","Adjoint action yields Hopf algebroids over enveloping algebra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the Hopf algebra $H$ contains the matrix coefficients of the adjoint representation and of its inverse, with these coefficients satisfying identities (15)–(17) (or (26)–(27) in the functional case) that encode that conjugation by a group element is a Lie algebra automorphism; if those identities fail, the coaction $\\lambda$ is not an algebra homomorphism and the Yetter–Drinfeld structure collapses.","fun_headline_variants_meta":{"raw":{"variants":["Adjoint coaction builds Hopf algebroids without completions","Adjoint representation constructs scalar extension Hopf algebroids","Hopf algebroids from adjoint action without completions","Adjoint action yields Hopf algebroids over enveloping algebra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000294,"raw_usage":{"total_tokens":1675,"prompt_tokens":874,"completion_tokens":801,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":490,"completion_tokens_details":{"reasoning_tokens":725}},"tokens_in":490,"tokens_out":801,"duration_ms":7533,"temperature":1.0,"reasoning_tokens":725,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:09:40.903526+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a finite-dimensional Lie algebra $\\mathfrak{g}$ and define functionals $U_i^j$ by $\\langle X_k, U_i^j\\rangle = C^i_{kj}$, then compute whether identity (26), $\\sum_{l,m} C^k_{lm}U^l_iU^m_j = \\sum_r U^k_rC^r_{ij}$, holds; a single structure-constant matrix where it fails would give a Hopf algebra $U(\\mathfrak{g})_{\\min}$ for which the proposed coaction $\\lambda(X_j)=\\sum_i \\bar U^i_j\\otimes X_i$ does not descend to $U(\\mathfrak{g})$, and the smash product would not be a Hopf algebroid by this construction.","supporting_citations":[{"cited_title":"Bialgebroids, $\\times_{A}$-bialgebras and duality","cited_arxiv_id":"math/0012164","evidence_quote":"It provides the bialgebroid and Yetter–Drinfeld formalism on which the scalar-extension construction rests."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It gives the basic theory of left- and right-invariant derivations and finite-dimensional differentiations used for affine algebraic groups."},{"cited_title":"Enveloping algebra is a Yetter--Drinfeld module algebra over Hopf algebra of regular functions on the automorphism group of a Lie algebra","cited_arxiv_id":"2308.15467","evidence_quote":"It gives the related example of an enveloping algebra as a Yetter–Drinfeld module algebra over the automorphism group, with the matrix that $O$ generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It is the source of the matrices $O$ and $U$ in the completed internal Hopf algebroid setting, expanded here without completions."}],"review_version":1}