{"id":"ae079c4b-18aa-4246-a3ba-a8c5146d8891","arxiv_id":"2411.18453","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A braided module category is nondegenerate exactly when it is factorizable; in the Hopf case, the representation category B-FdMod is nondegenerate exactly when the quasitriangular comodule algebra B is factorizable.","lead":"This paper extends a 2019 theorem of Shimizu about the many equivalent ways a braided tensor category can be nondegenerate to module categories, the categories that braided tensor categories act on. It defines nondegenerate and factorizable braided module categories, proves the two notions are equivalent, and gives an explicit algebraic test in the Hopf algebra case.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main equivalence rests on two unproved technical results: Proposition 4.17 (proof deferred to v1 appendix) and Lemma 5.13 (left to reader). Their failure would break the diagram chase identifying factorizability with nondegeneracy.","rationale":"Read in good faith, the paper's central claim is plausible and the definitions are well-chosen: in the regular case they reduce to Shimizu's theorem, and the Hopf-level map θ_B is explicit enough to be checked directly. The concern raised here is not about novelty or about disagreement with external consensus; it is that the proof of the main module-category theorem is assembled from two results the paper does not prove in the current version. Proposition 4.17 is not a peripheral observation: it is the bridge between the reflective center E_C(M) and the EM-category C_C-Mod(M), and the commuting-diagram proof of Theorem 5.12 uses it as an equivalence before identifying the two functors. Lemma 5.13 similarly carries the only step where the braiding of M is matched to the EM-action. Because the proof of Proposition 4.17 is explicitly deferred and Lemma 5.13 is explicitly left to the reader, the current manuscript does not yet provide a complete verification of its headline theorem. This supports the reader's CONDITIONAL verdict: the architecture is coherent, but acceptance should wait until the deferred proofs are supplied and checked.","tokens_in":37991,"tokens_out":7339,"duration_ms":70576,"concrete_test":"Reconstruct the v1 appendix proof of Proposition 4.17 in full, verifying that HC and pHC are mutually inverse and that the proposed ξ^{CC}_M satisfies the EM axioms (4.3); then verify Lemma 5.13 by direct expansion using (3.2), (3.7), and naturality of s. A minimal computational check is to instantiate M = Creg with F = id and s = id, where Lemma 5.13 must reduce to a braid/rigidity identity compatible with Example 5.7. If either check fails, Theorem 5.12 does not follow from the supplied proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Theorem 5.12, the identification of G_M with pHC∘ResθM∘HM is the whole proof. That identification requires Proposition 4.17, whose proof the paper explicitly defers (\"We leave the proof to the reader; detailed computations can be found in the appendix of the ArXiv version 1\"), and Lemma 5.13, whose proof is also left to the reader. If Proposition 4.17 fails, the theorem only shows nondegeneracy is equivalent to an EM-condition, not to factorizability; if Lemma 5.13 fails, the object-level equality e^{F(M)}_X = s_{X,M} F(e_{X,M}) s^{-1}_{X,M} is unsupported. The same scaffold also depends on Proposition 4.12 applying [BV07, Theorem 3.14] to the non-rigid category Fun(M,M); this is asserted rather than proved in the text. These are not conceptual objections: the regular-module reduction and the Hopf-level Theorem 6.19 are independent evidence for the framework. The missing proofs sit exactly at the point where the central claim is assembled.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes module-theoretic analogues of nondegeneracy and factorizability for braided finite tensor categories. For a braided left C-module category M (Hypothesis 5.1: nonzero, exact, indecomposable, finite), the authors define nondegeneracy as the isomorphism property of θ_M : E_C^* → E_M (Definition 5.9) and factorizability as the equivalence property of G_M : M ⊠ Fun_C|(M,M) → E_C(M) (Definition 5.5). The main theorem, Theorem 5.12, asserts that these two properties are equivalent. The proof combines a monadicity result (Proposition 4.12), category equivalences (Propositions 4.16 and 4.17), a restriction-functor criterion (Lemma 4.11), and a claimed commutation diagram. The paper also studies weak factorizability and trivial symmetric center (Definitions 5.14 and 5.18), proving nondegeneracy ⇒ weak factorizability ⇒ trivial symmetric center (Lemma 5.16, Theorem 5.21). In the Hopf setting, the authors introduce factorizable quasitriangular left H-comodule algebras (Definition 6.15) and prove that B-FdMod is nondegenerate over H-FdMod if and only if (B,K) is factorizable (Theorem 6.19), with explicit descriptions of the copairing and θ_M (Propositions 6.20 and 6.21).","tokens_in":38121,"tokens_out":2841,"duration_ms":28131,"significance":"If the central results hold, the paper gives a meaningful extension of Shimizu's theorem to braided module categories, with clear relevance to quantum symmetric pairs, reflective centers, and applications to braided module categories in quantum character variety theory. The Hopf-algebraic part is particularly valuable: Theorem 6.19 and Proposition 6.20 give explicit, checkable formulas, and the examples (including reflective algebras in Example 6.25) provide concrete tests. The framework also suggests a module-theoretic route toward understanding nondegeneracy for module categories, and the new monadicity statement for non-rigid endofunctor categories is potentially useful beyond this paper. However, the significance is conditional because the proof of Theorem 5.12 rests on two deferred or sketched technical results (Propositions 4.17 and 5.13), and the claimed application of Hopf-monad theory to the non-rigid category Fun(M,M) is not fully verified in the text.","major_comments":[{"comment":"Proposition 4.17 is a load-bearing ingredient: in the proof of Theorem 5.12, the identification of the composite pHC ∘ ResθM ∘ HM with GM requires H_C to be an equivalence. The proof is omitted, with the text saying 'We leave the proof to the reader; detailed computations can be found in the appendix of the ArXiv version 1.' A journal submission cannot defer a central equivalence to an appendix of an earlier preprint version. The authors must include a complete proof or a precise pointer to a published, accessible source; otherwise Theorem 5.12 is unsupported.","section":"§4.5, Proposition 4.17"},{"comment":"Lemma 5.13 is stated without proof ('the proof is left to the reader') yet it supplies the crucial interchange identity that converts the expression involving ξ_{F(M)} into s_{X,M} F(e_{X,M}) s^{-1}_{X,M}. This is exactly where the object-level equality e^{F(M)}_X = s_{X,M} F(e_{X,M}) s^{-1}_{X,M} is established. A proof or a full derivation should be included; as written, the main theorem depends on an unverified equality.","section":"§5.3, Lemma 5.13"},{"comment":"Proposition 4.12(b) invokes [BV07, Theorem 3.14] to conclude that the adjunction ρ ⊣ ρ_ra is Hopf monoidal, even though the codomain Fun(M,M) is not rigid. The text asserts that the conditions of [BV07, Theorem 3.14] are satisfied, but it does not verify the specific hypotheses (e.g., the relevant rigidity or Hopf-monad axioms) for this non-rigid situation. Since this is the paper's declared novelty, the verification should be spelled out or replaced by a reference that explicitly covers non-rigid codomains. Without this, Proposition 4.12 and hence the equivalences built on it are not fully justified.","section":"§4.3, Proposition 4.12"}],"minor_comments":[{"comment":"The title contains spurious spacing: 'NONDEGENERA TE MODULE CA TEGORIES' should read 'NONDEGENERATE MODULE CATEGORIES'. The same OCR-like artifact appears in the abstract. Please correct these.","section":"Title/Abstract"},{"comment":"The notation 'eX,M ⊠ pF,sq :=\"eX,M ⊠ idpF,sq\" in Proposition 5.6(a) is confusing; the braiding on the Deligne product should be defined more explicitly, because a braided module category structure on a Deligne product is not immediate.","section":"Throughout"},{"comment":"The proof relies on a long chain of equalities in which several steps are labeled only 'level ex.' or use unstated naturality. This is acceptable as a computation sketch, but for a journal version the authors should either expand the derivation or provide a diagram that makes the level-exchange steps precise.","section":"§5.3, proof of Theorem 5.12"},{"comment":"The reference [Shi19b] is cited for the statement that H-FdMod is nondegenerate iff (H,R) is factorizable, but the bibliography lists only the conference proceedings; please provide the full publication data if the version is published, or cite the relevant section of [KL01] or [Rad12] more precisely.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The core issue is not the plausibility of the results but the completeness of the proof of Theorem 5.12. Proposition 4.17 and Lemma 5.13 must be proven in the manuscript; the reference to an arXiv v1 appendix is not sufficient for a journal. The Hopf-algebraic part (Theorem 6.19) appears to be self-contained and is a strong selling point. I would be willing to evaluate a revised version that includes the missing proofs and verifies the Hopf-monad hypotheses."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something genuinely new: it defines nondegenerate and factorizable braided module categories, proves they are equivalent (Theorem 5.12), and then gives a concrete Hopf-algebra incarnation where a quasitriangular comodule algebra is factorizable iff its representation category is nondegenerate (Theorem 6.19). The definitions are anchored by examples: for the regular module category they reduce to Shimizu's conditions, and the Hopf map theta_B is explicit enough to check by hand. The paper is also honest about its scope—one-directional implications, open questions, and the caveat that Definition 5.18 may need modification.\n\nThe soft spots are exactly where the reader's stress-test lands. Proposition 4.17, the equivalence between the reflective center E_C(M) and the Eilenberg-Moore category C_C-Mod(M), is stated with \"we leave the proof to the reader\" and deferred to the v1 appendix. Lemma 5.13, the technical identity used in the proof of Theorem 5.12, is also left to the reader. Those two results are not decorative: the diagram chase in Theorem 5.12 identifies the factorizability functor G_M with pH_C circle Res_thetaM circle H_M, and that identification uses both. If either fails, the theorem reduces to a statement about an EM-condition, not factorizability. Proposition 4.12 also invokes [BV07, Theorem 3.14] for a Hopf monad on a non-rigid functor category; the hypotheses are asserted rather than demonstrated in the text.\n\nThat said, I do not think the paper is circular or sloppy in its citation pattern. The reliance on [LWY23] for reflective centers is real, but [LWY23] supplies constructions, not the main equivalence. And the regular-case reductions and the Hopf-level theorem are independent evidence that the framework is the right one. The missing proofs are likely routine but lengthy—the v1 appendix exists—and a referee can verify them. The structural argument is coherent.\n\nThis paper deserves a serious referee, but the referee should insist that the deferred proofs be included or at least explicitly and verifiably referenced. I would send it to peer review with that condition. A reader working on braided module categories, quantum symmetric pairs, or non-semisimple TQFTs will want this on hand.","headline":"A genuine extension of Shimizu's nondegeneracy framework to braided module categories, with a checkable Hopf-level payoff, but the main equivalence currently rests on two deferred proofs and an asserted monadicity step.","tokens_in":38842,"tokens_out":2399,"would_cite":true,"duration_ms":23097,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18M15","16T05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a braided module category is nondegenerate if and only if it is factorizable, extending Shimizu's theorem to module categories.","keywords":["braided module category","nondegenerate module category","factorizable module category","monadicity","quasitriangular comodule algebra","factorizable comodule algebra","reflective center"],"falsifier":"Find an exact indecomposable braided left C-module category M over a braided finite tensor category C (for instance, a module category of B-FdMod for a non-semisimple H-comodule algebra B) for which θ_M is an isomorphism but G_M is not an equivalence, or vice versa; the theorem predicts this never happens. A direct check of the deferred proof of Proposition 4.17 would also settle the matter: if the claimed equivalence between the reflective center E_C(M) and the Eilenberg-Moore category C_C-Mod(M) fails for any such M, the commuting-diagram argument breaks.","tokens_in":37592,"feed_emoji":"🌀","tokens_out":5797,"duration_ms":45107,"temperature":0.7,"pith_summary":"The paper proves that, for braided module categories over a braided finite tensor category, two separate-looking conditions coincide: nondegeneracy (an explicit morphism θ_M built from a universal copairing is an isomorphism) and factorizability (a functor G_M comparing the module category to its reflective center is an equivalence). This is the module-category analogue of Shimizu's theorem that several nondegeneracy conditions are equivalent for braided finite tensor categories. In the Hopf setting, the equivalence becomes a concrete algebra-level criterion: a quasitriangular left H-comodule algebra is factorizable precisely when its category of finite-dimensional representations is nondegenerate as a module category over H-modules. The proof rests on a new monadicity result for module categories.","feed_headline":"Nondegenerate = factorizable for braided module categories","feed_subtitle":"A Shimizu-style equivalence extends from tensor categories to module categories, with a Hopf-algebra translation.","key_machinery":"The load-bearing machinery is the monadic adjunction ρ ⊣ ρ_ra (Proposition 4.12), where ρ(X) = X ⋉ (−) sends an object of C to the endofunctor of M it induces, and ρ_ra(F) = ∫_M Hom(M, F(M)) is its right adjoint. Although the codomain Fun(M,M) is not a rigid category, the paper shows the adjunction is monadic and yields equivalences H_M: M ⊠ Fun_C|(M,M) → E_M-Mod(M) and H_C: E_C(M) → C_C-Mod(M). These equivalences turn the question of whether G_M is an equivalence into the question of whether the restriction functor Res_{θ_M} is an equivalence, which holds exactly when θ_M is an isomorphism. The universal copairing ω_M and the end algebras E_M and E_C are the objects that enter the nondegeneracy condition.","core_discovery":"The central discovery is Theorem 5.12: under the standing hypotheses that M is nonzero, exact, indecomposable, and finite, M is factorizable as a left C-module category if and only if it is nondegenerate. Factorizability means the functor G_M: M ⊠ Fun_C|(M,M) → E_C(M) is an equivalence of braided module categories; nondegeneracy means the morphism θ_M: E_C^* → E_M, defined via the universal copairing ω_M, is an isomorphism in C. The proof commutes a diagram whose vertices are M ⊠ Fun_C|(M,M), E_C(M), E_M-Mod(M), and E_C^*-Mod(M), using the equivalences H_M and H_C from the new monadicity theorem. In the Hopf case (Theorem 6.19), this reproduces an explicit linear-algebra condition: B-FdMod is nondegenerate over H-FdMod if and only if the map θ_B: H^* → E(H,B), f ↦ [h ↦ ⟨f, S(S(h_(1)))K_i h_(2)⟩] K^i, is an isomorphism, i.e., B is factorizable as a quasitriangular comodule algebra.","pith_inferences":["The monadicity result may apply to other settings where the endofunctor category is not rigid, suggesting that Hopf-monad techniques could be used to prove analogous nondegeneracy–factorizability equivalences for other enrichments.","The explicit formula for θ_B in the Hopf case gives a practical computational criterion: to test whether a comodule algebra is factorizable, one only needs to check injectivity of a single map, and the paper's dimension equality reduces that to testing that the map is nonzero on all basis elements.","A possible testable extension: verify whether the one-way implications in Lemma 5.16 and Theorem 5.21 become equivalences under a modified definition of trivial symmetric center, since the paper notes that Definition 5.18 may need adjustment."],"forward_implications":["Nondegeneracy and factorizability can be used interchangeably for braided finite module categories, so results proved for one condition transfer to the other.","Every reflective center E_C(M) of an exact indecomposable module category is nondegenerate if and only if it is factorizable, giving a large class of examples.","In the Hopf case, factorizability of a quasitriangular comodule algebra is detected by an explicit injectivity (or bijectivity) of the map θ_B, which is checkable by dimension count since dim_k E(H,B) = dim_k H.","The theorem opens the door to a module-category version of Shimizu's full equivalence: weak factorizability and trivial symmetric center are one-way implications here, and Question 5.23 asks when the converses hold."],"supporting_citations":[{"why":"Establishes that nondegeneracy, weak factorizability, factorizability, and trivial symmetric center are equivalent for braided finite tensor categories; the paper extends this to module categories.","marker":"[Shi19a, Theorem 1.1]"},{"why":"Provides the exactness and faithfulness of the right adjoint ρ_ra, the basis for the monadicity result in Proposition 4.12.","marker":"[Shi20, Theorem 3.4]"},{"why":"Shows that a bimonad whose underlying adjunction is monoidal is a Hopf monad, used to endow Fun(M,M) with the monoidal structure needed for the monadicity argument.","marker":"[BV07, Theorem 3.14]"},{"why":"The equivalence Fun_C|(Mod-A(C), M) ≅ A-Mod(M) is a key step in the proof of the equivalence H_M in Proposition 4.16.","marker":"[DN13, Lemma 3.2]"},{"why":"Supplies the result that the end object E_M is a commutative algebra in the Drinfeld center and that the comparison functor κ is monoidal, used in Proposition 4.12.","marker":"[BLV11, Theorem 6.6]"},{"why":"Introduces quasitriangular comodule algebras and their K-matrices, the framework for the Hopf-case factorizability notion.","marker":"[Kol20]"},{"why":"Identifies reflective centers with module categories over reflective algebras R_H(A), providing the main family of factorizable comodule algebras in Proposition 6.24.","marker":"[LWY23, Theorem 6.6]"},{"why":"Gives the explicit description of the end object E(H,B) and associated structure maps, used in the proof of Theorem 6.19.","marker":"[BM21a, §4.2]"},{"why":"Provides the descriptions of internal Homs and co/action maps for B-FdMod used to compute the copairing ω_B.","marker":"[Shi23, §4.4]"}],"fun_headline_variants":["Nondegenerate iff factorizable for braided module categories","Shimizu-style equivalence for braided module categories","Braided module categories: nondegenerate equals factorizable","Factorizable comodule algebras match nondegenerate representations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that the Hopf-monadic machinery imported from Shimizu's work still functions when the category of endofunctors Fun(M,M) is not rigid, and that two auxiliary equivalences (one with proof deferred to an appendix) and a technical lemma are valid; if any of these fails, the commutative-diagram proof equating factorizability with nondegeneracy collapses.","fun_headline_variants_meta":{"raw":{"variants":["Nondegenerate iff factorizable for braided module categories","Shimizu-style equivalence for braided module categories","Braided module categories: nondegenerate equals factorizable","Factorizable comodule algebras match nondegenerate representations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000481,"raw_usage":{"total_tokens":2369,"prompt_tokens":926,"completion_tokens":1443,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":542,"completion_tokens_details":{"reasoning_tokens":1377}},"tokens_in":542,"tokens_out":1443,"duration_ms":10033,"temperature":1.0,"reasoning_tokens":1377,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:13:43.795889+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find an exact indecomposable braided left C-module category M over a braided finite tensor category C (for instance, a module category of B-FdMod for a non-semisimple H-comodule algebra B) for which θ_M is an isomorphism but G_M is not an equivalence, or vice versa; the theorem predicts this never happens. A direct check of the deferred proof of Proposition 4.17 would also settle the matter: if the claimed equivalence between the reflective center E_C(M) and the Eilenberg-Moore category C_C-Mod(M) fails for any such M, the commuting-diagram argument breaks.","supporting_citations":[],"review_version":1}