{"id":"f3e7c5b8-266d-4dc4-a831-0a7b5962d493","arxiv_id":"2412.20339","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every indecomposable module of a finite-dimensional quasitriangular Hopf algebra has exactly two lifts to its formal ribbon extension, and the extended category is described in terms of the original one.","lead":"This paper studies a standard construction that turns any finite-dimensional quasitriangular Hopf algebra into a ribbon Hopf algebra of twice the size. It proves that every indecomposable representation of the original algebra has exactly two lifts to the extended algebra, and works out the extended representation theory for doubled Nichols Hopf algebras.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.1.2's proof of 'exactly two lifts' only classifies indecomposable summands of M ⊕ tilde-v M; it omits the reduction of an arbitrary lift to one of those summands. This missing step is the load-bearing link in the central claim.","rationale":"The theorem is the core of the paper, and its 'exactly two' statement is the strongest and most quoted claim. The proof as printed has a logical gap: uniqueness of decompositions of M ⊕ tilde-v M does not by itself classify all lifts. The gap is not a false statement, since a short argument fills it, but it is load-bearing because the representation-theoretic description in Section 3 and the applications in Section 4 rest on this count. The model-theoretic square-root lemma flagged by the reader is, on inspection, sound: φ_n is a first-order sentence in the language of rings, ACF0 is complete, and the complex case is handled by the finite-dimensional functional calculus. The field hypothesis is explicit, so failure outside algebraically closed fields is not a defect of the stated theorem. The paper also has minor issues in Section 4, including a one-sentence proof of Proposition 4.3.4 and a false inference in Remark 4.3.1 that one simple module implies semisimplicity, but these do not touch the central claim. Since the central proof gap is real but repairable, the reader's CONDITIONAL verdict remains appropriate; no change in verdict is needed.","tokens_in":21930,"tokens_out":25670,"duration_ms":271627,"concrete_test":"For the smallest non-semisimple case, e.g. the doubled Nichols Hopf algebra DK_1, enumerate every H-endomorphism T of each indecomposable H-module M satisfying T^2 = uS(u) acting on M; form the resulting tilde-H modules and check that every indecomposable lift is isomorphic to M^+ or M^-. Independently, verify the algebraic identity T = A or T = −A from (T−A)(T+A) = 0. If a third lift appears, the 'exactly two' statement fails; if not, the theorem stands and the proof only needs the added paragraph.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 3.1.2. As written, its 'precisely two' assertion does not follow from the displayed argument. The proof constructs M^+ and M^- from a square root A of B = uS(u) acting on M supplied by Lemma 3.1.1 and shows M ⊕ tilde-v M ≅ M^+ ⊕ M^- via F. It then invokes uniqueness of decompositions of M ⊕ tilde-v M. That conclusion only classifies indecomposable direct summands of this particular module; nothing in the proof shows that an arbitrary lift N (with tilde-v action T) is isomorphic to a direct summand of M ⊕ tilde-v M. Thus a third indecomposable lift is not explicitly ruled out. This is the real load-bearing gap. The reader's concern about algebraic closedness is not where the weakness sits: Lemma 3.1.1 is first-order (sentence φ_n for each matrix size) and the theory ACF0 is complete, so the complex functional-calculus proof does transfer; also the construction only needs the stated field hypothesis. The missing uniqueness step is repairable: T commutes with B, hence with A; indecomposability of N forces T to have a single eigenvalue; if that eigenvalue agrees with A's, then T−A is nilpotent and T+A is invertible, so (T−A)(T+A) = T^2 − A^2 = 0 gives T = A, and if it is the opposite square root, the same equation gives T = −A. But this argument is absent from the manuscript and should be added.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the formal ribbon extension \\tilde H of a finite-dimensional quasitriangular Hopf algebra H, obtained by adjoining a central element \\tilde v with \\tilde v^2 = uS(u). It develops two decompositions of \\tilde H (a tensor product with F[Z2] in the ribbon case and a cocycled crossed product in general), and its central result, Theorem 3.1.2, asserts that every finite-dimensional H-module M admits a compatible \\tilde H-action, with exactly two such actions up to isomorphism when M is indecomposable. Building on this, the author proves results about simple, projective, and M\\\"uger central \\tilde H-modules, identifies the semisimple case with the pivotalization/sphericalization construction of Etingof\\--Nikshych\\--Ostrik, and analyzes the formal ribbon extension of odd-index doubled Nichols Hopf algebras DK_n, including a presentation and explicit representation-theoretic computations. Several conjectures are formulated and clearly separated from proved statements.","tokens_in":22251,"tokens_out":16614,"duration_ms":174477,"significance":"If Theorem 3.1.2 is correct, it gives a complete organizational principle for Rep(\\tilde H) in terms of Rep(H) together with a Z2 sign, thereby extending sphericalization to non-semisimple braided tensor categories and providing nontrivial examples of non-semisimple ribbon categories. The paper has genuine strengths: Lemma 3.1.1 is proved both by holomorphic functional calculus and by an elementary polynomial/CRT argument in Remark 3.1.1, and the Section 4 calculations are explicit and testable. The significance is conditional, however, because the proof of the central uniqueness statement currently omits an essential reduction, and because the example section relies heavily on the author's unpublished preprint [6] for the classification and fusion rules of DK_n-modules.","major_comments":[{"comment":"The proof of 'precisely two' does not go through as written. After constructing A and the two lifts M^+ and M^-, the argument shows only that M ⊕ \\tilde v M ≅ M^+ ⊕ M^-; from this isomorphism one can conclude that every indecomposable direct summand of M ⊕ \\tilde v M is isomorphic to M^+ or M^-, but an arbitrary \\tilde H-lift N with N|_H ≅ M is not shown to be a direct summand of M ⊕ \\tilde v M. The displayed proof therefore does not rule out a third indecomposable lift. This is load-bearing for Theorem 3.1.2 and for all later uses of 'precisely two'. The gap is repairable: since T = \\tilde v· on N centralizes B = uS(u)· and A commutes with the centralizer of B, T commutes with A; indecomposability of N forces T to have a single eigenvalue; comparing eigenvalues with the two square roots of B and using nilpotence of T−A or T+A (together with T^2 = A^2) gives T = ±A. I recommend inserting this reduction explicitly into the proof.","section":"§3.1, Theorem 3.1.2"},{"comment":"The example section is not self-contained at a load-bearing point. Propositions 4.3.1 and 4.3.2 rely on [6, Thm. 7.2.4 and 7.2.5] as black boxes, including the classification of DK_n-modules, the fusion rules, and the Cartan matrix; since [6] is an arXiv preprint, the needed statements should at least be summarized or clearly marked as imported. More seriously, Proposition 4.3.4, which is the paper's explicit demonstration that Rep(\\widetilde{DK_n}) does not factor as Rep(DK_n) ⊠ Vec^-_{Z2}, is justified only by the sentence 'One can verify that such an equivalence cannot simultaneously preserve both Isomorphisms (6) and (8).' Because this proposition is the payoff of the example, the verification should be supplied or the result should be labelled as conditional on the cited classification.","section":"§4.3, Propositions 4.3.1, 4.3.2, and 4.3.4"}],"minor_comments":[{"comment":"The example refers to 'Theorem 2.3.1', but the surrounding statement is Proposition 2.3.1; the cross-reference should be corrected.","section":"§2.3, Example 2.3.3"},{"comment":"The displayed formula and its proof appear to disagree on whether the summation over ℓ begins at 0 or at 1; the 'Note' acknowledges this, but the derivation should be made consistent because the formula feeds directly into Lemma 4.2.3.","section":"§4.2, Lemma 4.2.2"},{"comment":"The proof asserts rather than verifies that the functors F and G are braided monoidal and mutually inverse; at least the key naturality and monoidality checks should be summarized, especially the computation that φ_N is H-linear and satisfies φ_N^{**}∘φ_N = Φ.","section":"§3.2, Theorem 3.2.4"},{"comment":"The converse implication is compressed: a sentence explaining why dim \\tilde H = Σ (dim simple \\tilde H-module)^2 for the lifted simples forces H to be semisimple would make the argument easier to follow.","section":"§3.1, Corollary 3.1.5"},{"comment":"The displayed Isomorphisms (4) contain a duplicated formula: the second occurrence appears to be identical to the first, and it should be checked whether one of the two should involve V^s_{\\bar K} V^t_{K\\bar K} instead.","section":"§4.3, Proposition 4.3.2"}],"recommendation":"major_revision","confidential_remarks":"For the editor: the main theorem's uniqueness proof has a repairable but genuine gap, which is why I recommend major revision rather than minor revision. The example section depends on the author's own unpublished preprint [6]; if that paper is not yet published or accepted, the editors may wish to ask for the needed classification statements to be reproduced or for the example to be labelled conditional. I did not see any other novelty or attribution concerns beyond this dependence on [6]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Kolt's paper does something useful: for any finite-dimensional quasitriangular Hopf algebra H, it analyzes representations of the formal ribbon extension H~ (built by adjoining a square root of uS(u)). The main new content is Theorem 3.1.2 — every H-module lifts to an H~-module, and an indecomposable H-module has exactly two lifts — plus the projective cover restriction theorem (3.1.6) and the worked example for odd doubled Nichols Hopf algebras, showing the category does not factor as Rep(DK_n) ⊠ Vec^-_{Z2}. The semisimple comparison with ENO pivotalization (Theorem 3.2.4) is a nice observation. These are real results, and they are stated cleanly.\n\nThe core of Section 3 is mostly sound. Lemma 3.1.1 is proved twice (functional calculus plus constructive polynomial argument), and the model-theoretic transfer is legitimate because the statement is first-order for each matrix size. The reader's worry about algebraic closedness is a non-issue; the field hypothesis is exactly what's needed.\n\nThe soft spots are real but not fatal. The proof of Theorem 3.1.2 does not actually prove 'exactly two' as written. It constructs two lifts M^+ and M^- and shows M ⊕ v~M ≅ M^+ ⊕ M^-. That only classifies direct summands of that particular module. To rule out a third lift, you need to show an arbitrary lift N is a summand of M ⊕ v~M, or give a direct argument that its v~-action equals ±A. The missing step is repairable: if T is the action of v~ on N, then T commutes with A, and T^2 = A^2 = B; indecomposability forces T and A to each have a single eigenvalue, and the no-opposite-pair property forces those eigenvalues to agree, so T-A is nilpotent and T+A is invertible, hence (T-A)(T+A)=0 gives T=A; the other sign gives T=-A. But that argument is not in the manuscript. This needs to be added.\n\nIn Section 4, Proposition 4.3.4 has a one-sentence proof — 'one can verify' — which is too thin for a central disproof of a plausible factorization. And Remark 4.3.1 contains a false inference: a Hopf algebra with one simple module need not be semisimple. Neither breaks the main theorem, but both should be fixed.\n\nThe paper leans heavily on the author's previous classification of DK_n modules; that's acceptable if the results are correct, but the reader should be able to check the fusion rules without chasing too many black boxes.\n\nWho is this for: anyone working on ribbon categories, non-semisimple TQFTs, or Hopf algebra lifts. It deserves a serious referee. My recommendation: send to peer review, require the Theorem 3.1.2 gap to be closed and Section 4 tidied.","headline":"Solid, useful representation theory for formal ribbon extensions; main theorem's proof has a repairable gap and Section 4 has a couple of soft spots, but the paper is worth serious refereeing.","tokens_in":22797,"tokens_out":5523,"would_cite":true,"duration_ms":48506,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16T05","18M15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every finite-dimensional quasitriangular Hopf algebra can be formally extended to a ribbon Hopf algebra of twice the dimension, and each indecomposable module of the original algebra admits exactly two compatible actions of the extended…","keywords":["ribbon Hopf algebra","quasitriangular Hopf algebra","formal ribbon extension","representation category","pivotalization","sphericalization","doubled Nichols Hopf algebra","finite tensor category"],"falsifier":"Take $H = DK_3$ and its indecomposable projective module $P_1$. Enumerate the linear operators $X$ on $P_1$ satisfying $X^2 = uS(u)$ and $Xh = hX$ for every $h \\in DK_3$; Theorem 3.1.2 predicts exactly two isomorphism classes of such lifts, the $X$ and $-X$ actions, so finding a third non-isomorphic square root would refute the central claim.","tokens_in":21703,"feed_emoji":"🎀","tokens_out":10360,"duration_ms":104171,"temperature":0.7,"pith_summary":"Every finite-dimensional quasitriangular Hopf algebra $H$ over an algebraically closed field of characteristic $0$ can be formally extended to a ribbon Hopf algebra $\\tilde H$ of twice the dimension, obtained by adjoining one central element $\\tilde v$ with $\\tilde v^2 = uS(u)$. The paper's central theorem is that every finite-dimensional $H$-module $M$ admits a compatible $\\tilde H$-module structure, and when $M$ is indecomposable there are exactly two such structures up to isomorphism, written $M^+$ and $M^-$. If this is right, the representation theory of $\\tilde H$ is completely described by pairs $(M,\\text{sign})$, and simple and projective modules pass between the two algebras in a controlled way. The paper also shows that in the semisimple case the construction coincides with pivotalization/sphericalization, and that for odd-index doubled Nichols Hopf algebras the extension differs genuinely from a tensor product with the sign category.","feed_headline":"Exactly two ribbon lifts exist for every indecomposable module","feed_subtitle":"Adjoining one formal square root to a quasitriangular Hopf algebra groups its representations into paired modules.","key_machinery":"The central object is the formal ribbon extension $\\tilde H = H \\oplus H\\tilde v$, where $\\tilde v$ is central, $\\tilde v^2 = uS(u)$ with $u$ the Drinfeld element, and $\\Delta(\\tilde v) = (R_{21}R)^{-1}(\\tilde v \\otimes \\tilde v)$. The workhorse is Lemma 3.1.1, which asserts that any invertible operator $B$ on a finite-dimensional space over an algebraically closed field of characteristic $0$ has a square root $A$ commuting with the centralizer of $B$ and having no eigenvalue paired with its negative. That $A$ produces the two lifts $M^+$ and $M^-$ by letting $\\tilde v$ act as $A$ or $-A$; the no-opposite-eigenvalue condition makes the two lifts non-isomorphic, and the uniqueness result follows from decomposing $M \\oplus \\tilde v M$ as an $\\tilde H$-module.","core_discovery":"On the paper's own terms, the discovery is that the formal ribbon extension is representation-theoretically tame: Theorem 3.1.2 says each indecomposable $H$-module $M$ has exactly two non-isomorphic $\\tilde H$-module lifts $M^+$ and $M^-$, the two choices coming from the two signs of the action of $\\tilde v$. The direct sum $M^+ \\oplus M^-$ is isomorphic to the induced module $M \\oplus \\tilde v M$. Simple $\\tilde H$-modules restrict to simple $H$-modules, projective covers restrict to projective covers, and membership in the M\\\"uger center (the objects that braid trivially with everything) passes between $H$ and $\\tilde H$ without change. In the semisimple case, $\\mathrm{Rep}(\\tilde H)$ is isomorphic, as a braided fusion category, to the pivotalization/sphericalization of $\\mathrm{Rep}(H)$ built by adjoining a square root of the double dual functor.","pith_inferences":["The square-root construction is phrased by the paper for extensions with $a^2 = b$, but the same pattern should extend to adjoining an $n$-th root with $a^n = b$, producing $n$ lifts per indecomposable module; testing this on the explicit presentation of $\\widetilde{DK_n}$ would be a direct next step.","Since $\\mathrm{Rep}(\\tilde H)$ always contains a nontrivial M\\\"uger-central sign subcategory, these extensions can never be modular; that makes them natural test cases for non-semisimple TQFTs that do not require a modular category.","The explicit four-sign modules $V^\\pm_1$, $V^\\pm_{K\\bar K}$, $V^\\pm_K$, and $V^\\pm_{\\bar K}$ in Section 4 give a small computable family in which to check whether indecomposable $\\tilde H$-modules always restrict to indecomposable $H$-modules, the paper's Conjecture 3.1.8."],"forward_implications":["Every finite-dimensional quasitriangular Hopf algebra embeds in a ribbon Hopf algebra of twice the dimension whose representation category is known from $\\mathrm{Rep}(H)$: each indecomposable module splits into exactly two paired lifts.","For semisimple $H$, the construction recovers the pivotalization/sphericalization of $\\mathrm{Rep}(H)$, so it supplies a non-semisimple extension of that spherical-structure construction.","For factorizable $H$, the M\\\"uger center of $\\mathrm{Rep}(\\tilde H)$ is exactly $\\mathrm{Vec}^-_{\\mathbb{Z}_2}$, tensor-generated by the sign module $V^-_1$; consequently $\\mathrm{Rep}(\\tilde H)$ is never modular.","For odd $n$, the formal ribbon extension of $DK_n$ has eight simple modules and the Cartan matrix recorded in Proposition 4.3.1, so the category does not factor as $\\mathrm{Rep}(DK_n) \\boxtimes \\mathrm{Vec}^-_{\\mathbb{Z}_2}$.","The exact sequence $\\mathrm{Vec}_{\\mathbb{Z}_2} \\to \\mathrm{Rep}(\\tilde H) \\to \\mathrm{Rep}(H)$ makes $\\mathrm{Rep}(\\tilde H)$ a braided finite tensor category with a canonical $\\mathbb{Z}_2$ subcategory, so it is a ready source of non-semisimple ribbon categories."],"supporting_citations":[{"why":"Introduces ribbon Hopf algebras and gives the original construction of the formal ribbon extension by adjoining a formal square root of $uS(u)$.","marker":"[21]"},{"why":"Records Sommerh\\\"auser's observation that the extension factors as a cocycled crossed product of $H$ and the group algebra of $\\mathbb{Z}_2$, which underpins Theorem 2.3.5 and the exact-sequence picture.","marker":"[3]"},{"why":"Defines pivotalization/sphericalization of fusion categories and supplies the construction that Theorem 3.2.4 shows agrees with $\\mathrm{Rep}(\\tilde H)$ in the semisimple case.","marker":"[13]"},{"why":"Provides the exact-sequence formalism for tensor categories used in Corollary 2.3.6.","marker":"[5]"},{"why":"Supplies the classification of simple and projective modules and the fusion rules for doubled Nichols Hopf algebras used throughout Section 4.","marker":"[6]"},{"why":"Defines cocycled crossed products and proves the algebra-structure lemma used in the Sommerh\\\"auser decomposition.","marker":"[4]"},{"why":"Gives the Hopf-algebra conditions for cocycled crossed products, used in Theorem 2.3.5.","marker":"[2]"},{"why":"Provides the criterion that a Drinfeld double is ribbon exactly when the relevant grouplike element has a grouplike square root, used to prove $DK_n$ is not ribbon for odd $n$.","marker":"[17]"}],"fun_headline_variants":["Two ribbon lifts exist for each indecomposable module","Formal ribbon extension yields exactly two lifts per module","Every indecomposable module has two compatible ribbon actions","Ribbon extension pairs each module with two non-isomorphic lifts","Twice the dimension, two lifts: formal ribbon extension"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Theorem 3.1.2 rests on Lemma 3.1.1: every invertible operator $B$ on a finite-dimensional space over an algebraically closed field of characteristic $0$ has a square root $A$ that commutes with the centralizer of $B$ and has no eigenvalue paired with its negative. If some finite-dimensional $H$-module has $uS(u)$ acting without such an $A$, the \"exactly two lifts\" claim fails.","fun_headline_variants_meta":{"raw":{"variants":["Two ribbon lifts exist for each indecomposable module","Formal ribbon extension yields exactly two lifts per module","Every indecomposable module has two compatible ribbon actions","Ribbon extension pairs each module with two non-isomorphic lifts","Twice the dimension, two lifts: formal ribbon extension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000693,"raw_usage":{"total_tokens":3103,"prompt_tokens":880,"completion_tokens":2223,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":496,"completion_tokens_details":{"reasoning_tokens":2157}},"tokens_in":496,"tokens_out":2223,"duration_ms":15432,"temperature":1.0,"reasoning_tokens":2157,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:24:57.406892+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $H = DK_3$ and its indecomposable projective module $P_1$. Enumerate the linear operators $X$ on $P_1$ satisfying $X^2 = uS(u)$ and $Xh = hX$ for every $h \\in DK_3$; Theorem 3.1.2 predicts exactly two isomorphism classes of such lifts, the $X$ and $-X$ actions, so finding a third non-isomorphic square root would refute the central claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces ribbon Hopf algebras and gives the original construction of the formal ribbon extension by adjoining a formal square root of $uS(u)$."},{"cited_title":"Andruskiewitsch, I","cited_arxiv_id":null,"evidence_quote":"Records Sommerh\\\"auser's observation that the extension factors as a cocycled crossed product of $H$ and the group algebra of $\\mathbb{Z}_2$, which underpins Theorem 2.3.5 and the exact-sequence picture."},{"cited_title":"Etingof, D","cited_arxiv_id":null,"evidence_quote":"Defines pivotalization/sphericalization of fusion categories and supplies the construction that Theorem 3.2.4 shows agrees with $\\mathrm{Rep}(\\tilde H)$ in the semisimple case."},{"cited_title":"Brugui` eres and S","cited_arxiv_id":null,"evidence_quote":"Provides the exact-sequence formalism for tensor categories used in Corollary 2.3.6."},{"cited_title":"Modular data of non-semisimple modular categories","cited_arxiv_id":"2404.09314","evidence_quote":"Supplies the classification of simple and projective modules and the fusion rules for doubled Nichols Hopf algebras used throughout Section 4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines cocycled crossed products and proves the algebra-structure lemma used in the Sommerh\\\"auser decomposition."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Hopf-algebra conditions for cocycled crossed products, used in Theorem 2.3.5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the criterion that a Drinfeld double is ribbon exactly when the relevant grouplike element has a grouplike square root, used to prove $DK_n$ is not ribbon for odd $n$."}],"review_version":1}