{"id":"b57de8a1-0dd5-4764-aa49-288c47c8d654","arxiv_id":"1908.05248","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For parameters of order at least 3, every linear inner faithful action of a generalized Taft algebra on a quantum affine space is a trivial extension of an action on a quantum plane or 3-space, and bosonization rank is at most 2(t−1), with analogous bounds on quantum matrix algebras.","lead":"This paper classifies actions of generalized Taft algebras and bosonizations of quantum linear spaces on quantum affine spaces and quantum matrix algebras, and proves sharp bounds on the rank of the acting Hopf algebra. The results extend a prior classification of Taft algebra actions on quantum planes to higher-dimensional quantum algebras and higher-rank Hopf algebras.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Quantum-matrix classification depends on g_i ∈ H⋊⟨τ⟩, a hypothesis known only for q not a root of unity; the abstract overstates the scope.","rationale":"The reader's weakest assumption identifies the same restriction, and I agree it is the single most load-bearing issue. The affine-space results rest on the monomial automorphism theorem for quantum affine spaces, which is valid for all parameters of order at least 3, so the root-of-unity problem is specific to the matrix-algebra half of the paper. The proofs of Theorems 4.8 and 4.18 are internally coherent given the g_i ∈ H⋊⟨τ⟩ hypothesis; however, because the interesting non-classical regime is q a root of unity, the unqualified abstract claim that the paper classifies actions on quantum matrix algebras goes beyond what is proved. The concrete check determines whether this is a genuine counterexample to the advertised scope or only a missing citation. I did not find an internal inconsistency in the rank bounds themselves, so the existing CONDITIONAL verdict remains appropriate.","tokens_in":36966,"tokens_out":19755,"duration_ms":181811,"concrete_test":"Fix q a primitive ℓ-th root of unity with ℓ ≥ 3 and compute the degree-one preserving automorphism group of O_q(M_2): solve for σ(A),σ(B),σ(C),σ(D) as arbitrary linear combinations of A,B,C,D satisfying the six defining relations, and compare the solution set with H⋊⟨τ⟩. If an automorphism outside H⋊⟨τ⟩ appears, then Theorems 4.8 and 4.18 do not cover all linear inner faithful actions and the abstract's classification claim fails for roots of unity. If no such automorphism exists for ℓ = 3 and ℓ = 5, the gap reduces to a missing justification or citation for the root-of-unity case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central bound theorems for quantum matrix algebras (Theorems 4.8 and 4.18) are explicitly conditional on the hypothesis that each group-like element g_i acts as an element of H⋊⟨τ⟩. This hypothesis is automatic when q is not a root of unity, since [27] proves Aut(O_q(M_N)) ≅ H⋊⟨τ⟩ in that case. But the paper deliberately allows and even features root-of-unity q (q ≠ ±1; e.g., Examples 4.6 and 4.17 take q to be a fifth root of unity), and for such q the cited automorphism result is not available. Thus the statement that the paper classifies actions on quantum matrix algebras under mild conditions is not supported for the root-of-unity regime that motivates the paper. The theorem statements themselves are logically sound conditional statements, so this is a scope/overstatement concern rather than an internal contradiction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies linear, inner faithful actions of bosonizations B(G,g,χ) of quantum linear spaces on quantum affine spaces k_p[u_1,...,u_t] and on quantum matrix algebras O_q(M_N(k)). The main results are rank bounds: θ ≤ 2(t−1) for quantum affine spaces (Theorem 3.13), θ ≤ 3 for O_q(M_2) (Theorem 4.8), and θ ≤ 2N−2 for O_q(M_N) with N≥3 (Theorem 4.18), under hypotheses including parameter orders at least 3 and, for the matrix algebras, each g_i acting as an element of H⋊⟨τ⟩. The paper also classifies generalized Taft algebra actions in the relevant settings (Propositions 3.1, 4.4, 4.11), gives sharpness examples (Examples 3.14, 4.6, 4.17), and studies invariants, quantum exterior algebras, quantized Weyl algebras, and O_q(SL_N)/O_q(GL_N).","tokens_in":37172,"tokens_out":15790,"duration_ms":142577,"significance":"If the results stand, they represent a substantial advance in the understanding of pointed Hopf algebra actions on quantum algebras, extending the earlier Taft algebra classifications to higher-rank bosonizations and higher-dimensional algebras. The rank bounds are explicit and sharp, with concrete examples attaining them, and the paper gives a useful inner-faithfulness criterion (Proposition 2.6). The overall proof strategy is coherent: the key lemmas build systematically to the main theorems, and the conditional statements are clearly formulated. However, the proof of the main quantum affine space bound has a technical gap in its graph counting argument, and the advertised scope of the quantum matrix algebra classification is broader than what the hypotheses actually support for root-of-unity q. These issues are fixable but require attention.","major_comments":[{"comment":"In the first paragraph of the proof, the graph Γ is defined by drawing an arrow v_j → v_i if the (i,j) entry of some x_k is nonzero, and Γ_1 is declared to be the number of arrows. The assertion 'It is clear that θ ≤ Γ_1' is false under this definition. In Example 3.14, for each k = 1,...,t−1, both x_k and x'_k have the unique nonzero entry (1, k+1), so the graph contains Γ_1 = t−1 arrows while θ = 2(t−1). Thus θ ≤ Γ_1 fails. The proof must either count arrows with multiplicity (one per nonzero entry per x_k) or supply a different argument; if multiplicity counting is intended, the subsequent steps involving 'the target of any arrow is the source of at least one other' must be reworked to handle parallel arrows. This gap affects the proof of the main quantum affine space bound.","section":"Theorem 3.13 proof, Section 3"},{"comment":"The classification of actions on quantum matrix algebras is conditional on the hypothesis that each g_i acts as an element of H ⋊ ⟨τ⟩. This hypothesis is known to be automatic only for q not a root of unity, by the cited automorphism theorem [27]. The paper explicitly allows and features root-of-unity q (e.g., Examples 4.6 and 4.17 use a fifth root of unity), and for such q it does not prove that every automorphism lies in H ⋊ ⟨τ⟩. Consequently, the abstract's statement that the paper classifies actions on quantum matrix algebras under 'mild conditions' overstates the scope. The hypothesis should be stated in the abstract and introduction, or the scope of the matrix algebra claims should be restricted to the q not a root of unity regime.","section":"Abstract and Section 4, Theorems 4.8 and 4.18"}],"minor_comments":[{"comment":"The abstract says 'all actions of generalized Taft algebras are trivial extensions of actions on quantum planes,' but Theorem 3.9 states that every action is a trivial extension of an action on some A_{ij} or A_{ijk}, i.e., a quantum plane or a quantum 3-space. Please align the abstract with the theorem.","section":"Abstract"},{"comment":"The compatibility tables (Table 4.2 and Table 4.5) are asserted to follow from 'basic computations' with no sample derivation or verification method. Since these tables are load-bearing for Theorems 4.8 and 4.18, please include at least one representative computation or provide a reproducible verification file.","section":"Tables 4.2 and 4.5, Section 4"},{"comment":"The bound in Proposition 5.9 is stated as 'rank B ≤ 2(2t − 1)' after applying Theorem 3.13 to the associated graded algebra, which has 2t generators; this is correct but worth a brief parenthetical explanation for readability.","section":"Section 5, Proposition 5.9"}],"recommendation":"major_revision","confidential_remarks":"The paper contains substantial and likely correct mathematics, and the examples are illuminating. The main issue is that the proof of Theorem 3.13 has a concrete gap in the graph-counting argument, and the abstract oversells the quantum matrix algebra classification for root-of-unity q. Both are fixable within the manuscript's scope, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis paper proves sharp bounds on the rank of bosonizations of quantum linear spaces acting on quantum affine spaces (θ ≤ 2(t−1)) and on single-parameter quantum matrix algebras (θ ≤ 3 for N=2, θ ≤ 2N−2 for N≥3), with explicit examples showing the bounds are attained. It also shows that generalized Taft algebra actions on quantum affine spaces are trivial extensions of actions on quantum planes or certain 3-spaces. That is a genuine extension of the Gaddis–Won–Yee Taft classification, and the authors are careful about inner faithfulness and the parameter hypotheses (all orders at least 3).\n\nThe proofs are computational but coherent. Lemma 2.7 is the engine, and Lemmas 3.6, 3.12, 4.9, and 4.11 build the classifications. The sharpness examples 3.14 and 4.17 are explicit and convincing at a skim; I did not independently verify every coefficient in Tables 4.2 and 4.5. Several compatibility checks are delegated to the reader with no derivation. That is a minor-to-moderate completeness concern, not a fatal one.\n\nThe stress-test note is right about the main soft spot: the quantum matrix classification is conditional on each gi acting as an element of H ⋊ ⟨τ⟩. The cited Yakimov result identifying Aut(O_q(M_N)) with H ⋊ ⟨τ⟩ is stated for q not a root of unity. The paper explicitly allows root-of-unity q (Example 4.6 uses q a fifth root of unity), and for such q the automorphism group identification is not known. So Theorems 4.8 and 4.18 are logically sound conditional statements, but the abstract's phrase \"we classify actions on quantum matrix algebras\" understates the hypothesis. The paper also assumes linear actions (preserving the degree-one component), which is stated in Section 2.3 but is not automatic for Hopf actions and should appear in the abstract too.\n\nThe rank bounds themselves look solid under the stated hypotheses. I found no circularity: the bounds come from the algebra relations, not from assuming the target result. The citation pattern is normal, and self-citations to [14] are appropriate.\n\nThis paper is for people working on Hopf algebra actions, pointed Hopf algebras, and automorphisms of quantum algebras. It deserves a serious referee; the main referee tasks are checking the tables and pressing on the root-of-unity automorphism gap. My recommendation: send to peer review, with the expectation that the authors clarify the scope in the abstract and either justify the H ⋊ ⟨τ⟩ hypothesis at roots of unity or restrict the main theorems accordingly.","headline":"Sharp rank bounds for bosonization actions; the quantum-matrix classification is conditional on an automorphism hypothesis not known at root-of-unity q, so the abstract overstates the scope.","tokens_in":37670,"tokens_out":1997,"would_cite":true,"duration_ms":19685,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16T05","16S36","16W50","16W70"],"pacs":[],"model":"deepseek-v4-flash","headline":"Inner faithful linear actions of bosonized quantum linear spaces have rank capped by the number of generators of the algebra: at most 2(t−1), 3, or 2N−2.","keywords":["pointed Hopf algebras","Hopf actions","quantum affine spaces","quantum matrix algebras","bosonizations of quantum linear spaces","generalized Taft algebras","inner faithful actions","rank bounds"],"falsifier":"Find a linear inner faithful action on $k_p[u_1,\\dots,u_t]$ with all parameter orders at least 3 and rank θ > 2(t−1), or on $O_q(M_2(k))$ with $m_i \\ge 3$, each $g_i$ diagonal or transpose, and θ = 4; the paper's Theorems 3.13 and 4.8 would then be wrong. A more targeted check is to search the compatibility table of the eight rank-one $O_q(M_2)$ actions for four pairwise compatible types with all scaling parameters nonzero.","tokens_in":36731,"feed_emoji":"🧮","tokens_out":9251,"duration_ms":84402,"temperature":0.7,"pith_summary":"This paper classifies the quantum symmetries—actions by pointed Hopf algebras—that a bosonization of a quantum linear space can have on two basic families of quantum algebras. It shows that when such an action is linear, inner faithful (no nonzero Hopf ideal kills the algebra), and all parameters are roots of unity of order at least three, the rank θ of the bosonization is severely limited: θ ≤ 2(t−1) for a quantum affine space in t variables, θ ≤ 3 for the 2×2 quantum matrix algebra $O_q(M_2(k))$, and θ ≤ 2N−2 for $O_q(M_N(k))$ with N ≥ 3. These bounds are sharp, with explicit examples reaching them. The rank-one case is classified first: every generalized Taft action on a quantum affine space is a trivial extension of an action on a two- or three-variable subalgebra. The interest is that these are non-semisimple Hopf actions, a much less charted territory than group actions on quantum algebras.","feed_headline":"Quantum symmetries cap at rank 2(t−1) on t variables","feed_subtitle":"For 2×2 quantum matrices the cap is 3; for N×N it is 2N−2—and all caps are reached by explicit examples.","key_machinery":"The load-bearing mechanism is the skew-primitive relation $gx = \\lambda xg$ together with the linearity assumption that both $g$ and $x$ act on the degree-one component. Writing $g \\cdot u_i = \\alpha_i u_i$ and $x \\cdot u_j = \\sum_i \\eta_{ij} u_i$, the relation $(gx - \\lambda xg) \\cdot u_j = 0$ gives $\\eta_{ij}(\\alpha_i - \\lambda \\alpha_j) = 0$ for every pair. This single identity rules out diagonal entries and cross pairs of nonzero entries, forcing the action matrix of $x$ to be a single shift along a row or column. The rank bound for quantum affine spaces comes from drawing a directed graph whose arrows are the nonzero entries of the $x_k$ and counting how many arrows the compatibility lemmas allow; the quantum matrix bounds come from a compatibility table of the eight possible rank-one actions.","core_discovery":"The paper's central discovery is that the size of a bosonization acting on a quantum algebra is controlled by the number of generators of the algebra, through a rank bound that is attained. Concretely, for inner faithful linear actions of $B(G,g,\\chi)$ on $k_p[u_1,\\dots,u_t]$ with all $m_i$ and the orders of the $p_{ij}$ at least 3, the paper proves θ ≤ 2(t−1); for $O_q(M_2(k))$ it proves θ ≤ 3; for $O_q(M_N(k))$ with N ≥ 3 it proves θ ≤ 2N−2. These statements rest on a full classification of the rank-one building blocks: generalized Taft algebra actions on the same algebras, given by explicit matrices. The paper then shows which of these rank-one actions can be patched together inside one bosonization, using the relations $g_i x_j = \\chi_j(g_i) x_j g_i$ and $x_i x_j = \\chi_j(g_i) x_j x_i$ as compatibility conditions. Sharpness is established by explicit rank θ = 2(t−1), θ = 3, and θ = 2N−2 examples.","pith_inferences":["If the automorphism-group identification for $O_q(M_N)$ extends to roots of unity, the same rank bounds should hold without the restrictive hypothesis on the $g_i$; a test is to compute $\\operatorname{Aut}(O_q(M_N))$ at root-of-unity q and check whether any new automorphisms allow a fourth mutually compatible action when N = 2.","Dropping linearity may open the door to higher-rank actions, since the vanishing pattern in Lemma 2.7 is what forces the shift structure; constructing a non-linear inner faithful action would directly probe whether the bounds are a feature of Hopf actions or of linear ones.","The directed-graph counting argument for quantum affine spaces is likely reusable: any connected graded algebra whose automorphisms are monomial and whose relations have parameters of order at least 3 should admit a similar rank bound in terms of its number of generators."],"forward_implications":["Every linear inner faithful action of a generalized Taft algebra on a quantum affine space is a trivial extension of an action on a quantum plane $A_{ij}$ or a quantum 3-space $A_{ijk}$ (Theorem 3.9).","A bosonization of rank θ acting linearly and inner faithfully on $k_p[u_1,\\dots,u_t]$ satisfies θ ≤ 2(t−1), and this bound is achieved by explicit examples (Theorem 3.13, Example 3.14).","On $O_q(M_2(k))$ the rank of a bosonization is at most 3 under the hypotheses, with an example attaining it (Theorem 4.8, Example 4.6).","On $O_q(M_N(k))$ with N ≥ 3 the rank is at most 2N−2, again attained (Theorem 4.18, Example 4.17).","The rank-one classifications imply that the possible shifting parameters λ for a generalized Taft action on $O_q(M_2(k))$ are exactly $q^{\\pm 2}$ and $q^{\\pm 4}$, and that the actions descend to $O_q(SL_N)$ and lift to $O_q(GL_N)$ in the listed cases (Propositions 4.4, 4.11, 5.11)."],"supporting_citations":[{"why":"Supplies the classification of finite-dimensional pointed Hopf algebras of rank one, which organizes the generalized Taft building blocks used throughout.","marker":"[20]"},{"why":"Provides the Taft-algebra action classification on quantum planes and quantum Weyl algebras that the paper generalizes to higher rank and dimension.","marker":"[14]"},{"why":"Gives the monomial-matrix form of automorphisms of quantum affine spaces and the fixed-ring criterion used in Lemma 3.2 and Theorem 5.3.","marker":"[18]"},{"why":"Identifies the automorphism group of $O_q(M_N(k))$ with diagonal scalings and transpose, the hypothesis on each $g_i$ in Theorems 4.8 and 4.18.","marker":"[27]"},{"why":"Provides the lemma that nonzero Hopf ideals contain a nonzero skew-primitive element, used to characterize inner faithfulness.","marker":"[11]"},{"why":"Describes the skew-primitive elements of the bosonization, used in Proposition 2.6 to reduce inner faithfulness to nonzero action of the $x_i$.","marker":"[3]"},{"why":"Classifies derivations and automorphisms of the quantum plane, used for the rank-one actions in Proposition 3.1 and Lemma 3.2.","marker":"[1]"}],"fun_headline_variants":["Quantum symmetries: rank capped at 2(t−1), bound hit","Classified quantum linear actions with optimal rank caps","Sharp rank limits for quantum algebra symmetries","Quantum action ranks: 2(t−1), 3, 2N−2—all achieved","Bosonization ranks capped and realized in quantum actions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The quantum-matrix theorems assume every group-like element $g_i$ acts by a diagonal scaling or the transpose automorphism of $O_q(M_N(k))$—an identification of the automorphism group that the cited source proves only when q is not a root of unity, although the paper's setting includes root-of-unity q; all rank bounds also assume the action is linear, meaning it preserves the degree-one component.","fun_headline_variants_meta":{"raw":{"variants":["Quantum symmetries: rank capped at 2(t−1), bound hit","Classified quantum linear actions with optimal rank caps","Sharp rank limits for quantum algebra symmetries","Quantum action ranks: 2(t−1), 3, 2N−2—all achieved","Bosonization ranks capped and realized in quantum actions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000771,"raw_usage":{"total_tokens":3369,"prompt_tokens":858,"completion_tokens":2511,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":474,"completion_tokens_details":{"reasoning_tokens":2422}},"tokens_in":474,"tokens_out":2511,"duration_ms":18195,"temperature":1.0,"reasoning_tokens":2422,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:20:18.816614+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a linear inner faithful action on $k_p[u_1,\\dots,u_t]$ with all parameter orders at least 3 and rank θ > 2(t−1), or on $O_q(M_2(k))$ with $m_i \\ge 3$, each $g_i$ diagonal or transpose, and θ = 4; the paper's Theorems 3.13 and 4.8 would then be wrong. A more targeted check is to search the compatibility table of the eight rank-one $O_q(M_2)$ actions for four pairwise compatible types with all scaling parameters nonzero.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the classification of finite-dimensional pointed Hopf algebras of rank one, which organizes the generalized Taft building blocks used throughout."},{"cited_title":"Discriminant s of Taft Algebra Smash Products and Applications","cited_arxiv_id":null,"evidence_quote":"Provides the Taft-algebra action classification on quantum planes and quantum Weyl algebras that the paper generalizes to higher rank and dimension."},{"cited_title":"Kirkman, J","cited_arxiv_id":null,"evidence_quote":"Gives the monomial-matrix form of automorphisms of quantum affine spaces and the fixed-ring criterion used in Lemma 3.2 and Theorem 5.3."},{"cited_title":"The Launois-Lenagan conjecture","cited_arxiv_id":null,"evidence_quote":"Identifies the automorphism group of $O_q(M_N(k))$ with diagonal scalings and transpose, the hypothesis on each $g_i$ in Theorems 4.8 and 4.18."},{"cited_title":"On actions of Drinfel’d doubles on finite dimensional algebras","cited_arxiv_id":null,"evidence_quote":"Provides the lemma that nonzero Hopf ideals contain a nonzero skew-primitive element, used to characterize inner faithfulness."},{"cited_title":"Andruskiewitsch and H.-J","cited_arxiv_id":null,"evidence_quote":"Describes the skew-primitive elements of the bosonization, used in Proposition 2.6 to reduce inner faithfulness to nonzero action of the $x_i$."},{"cited_title":"Alev and M","cited_arxiv_id":null,"evidence_quote":"Classifies derivations and automorphisms of the quantum plane, used for the rank-one actions in Proposition 3.1 and Lemma 3.2."}],"review_version":1}