{"id":"312527d8-5cf2-4c8a-aa2f-eb605355d982","arxiv_id":"2506.16241","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A finite braided tensor category is fully dualizable in the Morita 4-category of braided pre-tensor categories whenever its symmetric center is separable.","lead":"This mathematics paper shows that a broad class of finite braided tensor categories, those whose symmetric center is separable, can be used as fully dualizable objects in a 4-category of monoidal categories. This unifies two earlier dualizability results and, through the cobordism hypothesis, produces fully extended 4-dimensional topological field theories from these categories.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The relative universal Hopf algebra reconstruction (Prop 2.3.1, deferred to [LM24]) is the load-bearing step: if it fails, Theorems A-D collapse. Its hypotheses deserve an independent check.","rationale":"The reader identified the Tannaka reconstruction of F_{E/A} as the weakest assumption; I agree that this is the single most load-bearing point. The paper's Proposition 2.3.1 is explicitly a sketch, and the Hopf algebra structure is imported from [LM24]. Theorems A, B, C, and D all depend on the existence of F_{E/A} as a Hopf algebra in A and on the monoidal equivalence Comod_A(F_{E/A}) ≃ A ⊠_E A^mop. If the cited reconstruction theorems do not apply to T_{E/A}, the relative pairing, relative invertibility criterion, and full dualizability result would lose their main tool. The concern is credible but not fatal as stated: the paper cites a published source ([LM24], Canadian J. Math.) and gives a plausible outline. A concrete check of the hypotheses of [LM24, Theorem 6.17] would settle the matter. I found no other point in the proof of Theorem 4.3.1 that is more load-bearing; the factorization of the coevaluation into three 1-morphisms and the use of separability are standard and appear internally consistent. The self-acknowledged incomplete extension to perfect fields in Remark 3.2.2 does not affect the stated algebraically closed field results. Therefore the reader's ACCEPT verdict remains appropriate, with the noted moderate confidence and medium correctness risk.","tokens_in":35259,"tokens_out":24007,"duration_ms":247284,"concrete_test":"Independently verify that the hypotheses of [LM24, Theorem 6.17] are satisfied for the adjunction T_{E/A} ⊣ T^R_{E/A}: check that T_{E/A}: A ⊠_E A^mop → A is an exact, faithful tensor functor of finite tensor categories compatible with the left A-module structures, and that the Hopf algebra F_{E/A} produced there has underlying coalgebra isomorphic to T_{E/A}T^R_{E/A}(1) from Proposition 2.2.1. In particular, confirm that the antipode is a morphism in A and that the equivalence Comod_A(F_{E/A}) ≃ A ⊠_E A^mop is monoidal. If this check passes, the keystone is solid; if not, the full dualizability theorem lacks a key ingredient.","verdict_should_be":"UNCHANGED","load_bearing_attack":"All four main theorems rest on the reconstruction of the relative universal Hopf algebra F_{E/A}. Proposition 2.3.1 only sketches the proof and delegates the Hopf algebra structure, especially the antipode, to [LM24, Theorems 6.11 & 6.17]. If the tensor functor T_{E/A}: A ⊠_E A^mop → A does not satisfy the hypotheses of those theorems (e.g., if the required exactness, faithfulness, or left A-module compatibility fails, or if the comonad is not represented by a Hopf algebra in A), then the key equivalence Comod_A(F_{E/A}) ≃ A ⊠_E A^mop as tensor categories fails. This would undermine the exact sequence of Theorem 2.4.3, the descent of the canonical pairing in Proposition 2.5.1, the relative factorizability/cofactorizability characterizations in Propositions 3.3.2 and 3.4.2, and finally Theorem 3.5.1 and Theorem 4.3.1. The issue is not that the cited theorems are wrong; it is that the application of them is load-bearing and is not fully verified in the manuscript. This is therefore the point where the central argument is least self-contained, even though no internal contradiction is apparent.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a relative (E-enriched) version of Shimizu's characterizations of non-degeneracy for finite braided tensor categories. For a finite symmetric tensor category E and an E-enriched finite braided tensor category A that is faithfully flat, the author constructs a relative universal Hopf algebra F_{E/A} in A, establishes an exact sequence F_E → F_A → F_{E/A}, and shows that the canonical pairing on F_A descends to a pairing on F_{E/A}. The main results are: (Theorem B) equivalence of E-non-degeneracy, E-factorizability, E-cofactorizability, and non-degeneracy of the relative pairing; (Theorem 3.5.1 / Corollary C) an E-enriched finite braided tensor category is invertible in Mor^pre_2(Pr_E) iff it is E-non-degenerate; and (Theorem D) a finite braided tensor category with separable symmetric center is fully dualizable in Mor^pre_2(Pr). Applications include descriptions of relative Witt groups and a partial converse in characteristic zero.","tokens_in":35459,"tokens_out":8534,"duration_ms":93118,"significance":"If the results are correct, Theorem D is a substantial common generalization of the full dualizability results of Brochier–Jordan–Snyder and Brochier–Jordan–Safronov–Snyder, and Corollary C provides a useful relative invertibility criterion in higher Morita categories. The paper also gives a new description of the kernel of the canonical pairing (Corollary 3.3.3) and answers a question from [BJSS21] about Drinfeld centers in the finite Witt group (Proposition 4.2.1). The proofs are structurally explicit, with the Frobenius–Perron dimension argument in Theorem 3.2.1 being particularly clean, and the paper is honest about its limitations, including the incomplete reduction to perfect fields in Remark 3.2.2 and the conjectural converse in Conjecture 4.3.6. No internal circularity is apparent. The main caveat is that several load-bearing tools are imported from recent preprints, especially the relative Tannaka reconstruction in Proposition 2.3.1.","major_comments":[{"comment":"The existence of the relative universal Hopf algebra F_{E/A} and, crucially, the tensor-category equivalence Comod_A(F_{E/A}) ≃ A ⊠_E A^mop are the foundation for Theorem A, Proposition 2.5.1, all of Section 3, and Theorem 4.3.1. The proof given in the text constructs the multiplication but delegates the antipode and the verification that the functor T_{E/A} satisfies the hypotheses of [LM24, Theorems 6.11 and 6.17] to the cited reference. Please either state the cited theorems in full and check their hypotheses explicitly for T_{E/A} (exactness, faithfulness, compatibility with left A-module structures, and representability of the relevant comonad by a Hopf algebra in A), or include a complete proof. As written, the main theorems are conditional on an unverified application of an external reconstruction theorem.","section":"Section 2.3, Proposition 2.3.1"},{"comment":"The step transferring invertibility from Mor_2(Pr_E) to Mor_2(Pr) uses [Kin24, Lemma 2.22] (which builds on [Hau23]) to obtain a forgetful functor, but the lemma is not stated and its hypotheses are not checked in the manuscript. This transfer is load-bearing: it is what makes the 1-morphism A : A ⊠_E A^rev ↛ E invertible in Mor_2(Pr), and hence what supplies the adjoints needed for full dualizability. Please state the lemma and verify that it applies to the specific 1-morphism being factored. The same request applies to the use of [Kin24, Proposition 3.13] in Lemma 2.1.4, which supplies the explicit description of T_{E/A} used later.","section":"Section 4.3, proof of Theorem 4.3.1"}],"minor_comments":[{"comment":"There is a typo: 'locally finite presnetable' should be 'locally finitely presentable'.","section":"Section 1.6"},{"comment":"There is a typo: 'full dualizbale' should be 'fully dualizable'.","section":"Definition 1.6.2"},{"comment":"The notation F_E is used for two different objects: a commutative algebra T_E T_E^R(1) in E in Lemma 2.1.4, and a Hopf algebra in A in Theorem 2.4.3. This is confusing and should be disambiguated, for example by writing F_E^E or F_{E,alg} for the former.","section":"Lemma 2.1.4 and Theorem 2.4.3"},{"comment":"In the example E = Vec_R and A = Vec_C, it would be helpful to spell out why the induced map on monoidal units, namely C ⊗_R C → C, is not faithful; this is the point of the remark but the reader has to supply the computation.","section":"Remark 2.2.2"},{"comment":"The reference [Bru00] contains typographical errors ('Mathematishe Annalen' and the year '200'); please proofread the bibliography. Also, [DSPS21] lists 'Mem. Amer. Math. Soc. AMS' without a volume number.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is mathematically strong and the central claims appear sound, but it relies heavily on several recent preprints at exactly the load-bearing points: [LM24] for the relative universal Hopf algebra, [SY24]/[CSZ25] for exact commutative algebras, and [Kin24] for the forgetful functor in Theorem 4.3.1. If the editor is willing to accept such external dependencies without the hypotheses being verified in the text, the remaining issues are minor. For a journal publication, however, I would want the application of [LM24, Theorems 6.11 and 6.17] and of [Kin24, Lemma 2.22] to be stated explicitly and checked, since a failure there would affect Theorems A, B, C, and D."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know this is a serious and mostly convincing paper. The main result, Theorem D, gives full dualizability in Mor^pre_2(Pr) for every finite braided tensor category with separable symmetric center, over algebraically closed fields. That answers [BJSS21, Remark 3.11] and covers cases neither [BJS21] nor [BJSS21] handled, including slightly degenerate categories and positive-characteristic examples. The relative universal Hopf algebra F_{E/A}, the exact sequence F_E -> F_A -> F_{E/A}, the descent of the canonical pairing, and the relative characterizations are genuinely new and well organized. The proofs are detailed in the parts that are done: the Frobenius-Perron argument in Theorem 3.2.1 is clean, and the identifications in Propositions 3.3.2 and 3.4.2 are carefully assembled from the commutative diagrams. I agree with the reader that there is no circularity burden: the relative objects are constructed, not assumed, and the results extend rather than presuppose the cited non-relative theorems.\n\nThe main soft spot is exactly what the stress-test flags. Proposition 2.3.1, which produces F_{E/A} as a Hopf algebra in A with Comod_A(F_{E/A}) equivalent to A \\boxtimes_E A^mop, imports the antipode and the monoidal identification from [LM24, Theorems 6.11 and 6.17], and the proof in the paper is only a sketch. Theorems A, B, C, and D all sit on this. It is not a red flag by itself: the cited results are relevant and the setup seems tailored to them. But it is load-bearing. A referee should check that [LM24]'s hypotheses hold for the functor T_{E/A}, especially faithfulness/exactness and left A-module compatibility. If something is missing there, the rest collapses. Related: the paper leans on several other recent preprints ([SY24], [CSZ25], [Kin24], [DS25]), so there is some fragility in the literature support. A minor issue: the perfect-field extension of Theorem 3.2.1 is explicitly incomplete in Remark 3.2.2. The main theorems are stated over algebraically closed fields, so this reduces scope rather than breaking the statements.\n\nI would bring this to the reading group and would cite it if I worked in the area. The right referee should focus on Section 2.3 and the transfer from [LM24]. If that check passes, I would be happy to see the paper published essentially as is. My own verdict: the paper deserves a serious referee and a fair chance.","headline":"Strong paper: the main theorem is genuinely new and the proofs are careful, but everything rests on a Tannaka reconstruction imported from [LM24], so the referee should pressure-test Section 2.3.","tokens_in":36095,"tokens_out":2158,"would_cite":true,"duration_ms":24261,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18M15","16T05","57R56"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that every finite braided tensor category with separable symmetric center is fully dualizable in the Morita 4-category of braided pre-tensor categories, hence yields a fully extended framed 4-dimensional topological field…","keywords":["braided tensor categories","relative universal Hopf algebra","symmetric center","Morita 4-category","full dualizability","cobordism hypothesis","relative Witt group","canonical pairing"],"falsifier":"Compute the relative canonical pairing $\\omega_{E/A}$ for a finite braided tensor category whose symmetric center is $\\mathrm{sVec}$—for example one of the slightly degenerate quantum-group categories described in the paper—and check whether the functor $A \\boxtimes_E A^{mop} \\to Z(A,E)$ is an equivalence. The theorem predicts both the non-degeneracy of the pairing and the equivalence; finding a nonzero kernel or a functor that fails to be an equivalence for any such category would refute the main claim.","tokens_in":34975,"feed_emoji":"🧮","tokens_out":14691,"duration_ms":151125,"temperature":0.7,"pith_summary":"This paper aims to prove that a large class of finite braided tensor categories—those whose symmetric center is separable—are fully dualizable objects in the Morita 4-category of braided pre-tensor categories. Full dualizability is exactly what the cobordism hypothesis requires for such a category to define a fully extended, framed 4-dimensional topological field theory. The route goes through a relative version of the classical non-degeneracy theory: fixing a finite symmetric tensor category $E$, the paper constructs a relative universal Hopf algebra $F_{E/A}$ inside a finite braided tensor category $A$, shows its canonical pairing descends from the absolute one, and proves the pairing is non-degenerate precisely when $A$ is $E$-non-degenerate. It then shows $E$-non-degeneracy is equivalent to invertibility in the $E$-enriched Morita 4-category, which yields the dualizability theorem by taking $E$ to be the category's own symmetric center.","feed_headline":"A separable center makes braided tensor categories fully dualizable","feed_subtitle":"Each such category defines a fully extended framed 4-dimensional topological field theory.","key_machinery":"The load-bearing object is the relative universal Hopf algebra $F_{E/A}$, a Hopf algebra inside $A$ characterized by an equivalence of tensor categories $\\mathrm{Comod}_A(F_{E/A}) \\simeq A \\boxtimes_E A^{mop}$; it generalizes the absolute universal Hopf algebra, which is recovered when $E = \\mathrm{Vec}$. The paper shows the absolute universal Hopf algebra $F_A$ fits into an exact sequence $F_E \\hookrightarrow F_A \\twoheadrightarrow F_{E/A}$, and that the canonical pairing on $F_A$ descends to a pairing $\\omega_{E/A}$ on $F_{E/A}$. Non-degeneracy of this pairing is the pivot: it is shown equivalent to relative factorizability, relative cofactorizability, and $E$-non-degeneracy, and through the Morita category it becomes equivalent to invertibility. Throughout, the comparison runs through the (co)module categories of $F_{E/A}$, with the relative Deligne tensor product and the relative Drinfeld center as the categorical side of the correspondence.","core_discovery":"Over an algebraically closed field, the paper's central claim is a chain of equivalences. For a finite braided tensor category $A$ enriched over a finite symmetric tensor category $E$, the following are equivalent: the enrichment functor $E \\to Z^{(2)}(A)$ is an equivalence; $A$ is $E$-factorizable, meaning $A \\boxtimes_E A^{rev}$ is equivalent to the relative Drinfeld center $Z(A,E)$; $A$ is $E$-cofactorizable, meaning the relative Harish-Chandra category is equivalent to the endomorphism category of $E$-enriched functors; and the relative canonical pairing $\\omega_{E/A}$ on $F_{E/A}$ is non-degenerate. Because the paper proves that $E$-non-degeneracy is precisely invertibility in the Morita 4-category of $E$-enriched braided pre-tensor categories, these algebraic criteria become a higher-categorical invertibility criterion. Applying the criterion with $E$ equal to the symmetric center of $A$ gives the main theorem: if that center is separable, $A$ is fully dualizable in the Morita 4-category of braided pre-tensor categories. In characteristic zero, the paper also establishes the converse: a fully dualizable finite braided tensor category must have finite semisimple, hence separable, symmetric center.","pith_inferences":["Editorial extension: if the expected converse over perfect fields holds, full dualizability in the Morita 4-category of braided pre-tensor categories would be classified exactly by separability of the symmetric center, making the main theorem a complete classification rather than a sufficient condition.","Editorial extension: the exact sequence $F_E \\hookrightarrow F_A \\twoheadrightarrow F_{E/A}$ suggests a relative Tannaka-Krein picture in which the symmetric center is systematically quotiented out; this could make slightly degenerate categories a natural test bed for non-semisimple 4-manifold invariants, since fully extended semisimple theories are expected not to detect exotic smooth structures.","Editorial extension: the non-degeneracy criterion gives a practical algebraic recipe in positive characteristic: to test whether a finite braided tensor category is invertible relative to its symmetric center, one can compute the kernel of $\\omega_{E/A}$ instead of analyzing Drinfeld centers directly."],"forward_implications":["Every finite braided tensor category whose symmetric center is separable becomes a fully dualizable object of the Morita 4-category of braided pre-tensor categories; the previously known separable case is a special case of this result.","By the cobordism hypothesis, each such category determines a fully extended framed 4-dimensional topological field theory valued in the Morita 4-category.","In characteristic zero, the characterization is sharp: a finite braided tensor category is fully dualizable exactly when its symmetric center is finite semisimple.","Slightly degenerate categories—those whose symmetric center is just super vector spaces—now count as fully dualizable, a case not covered by the earlier separable and non-degenerate theorems.","The Picard group of the separable $E$-enriched Morita 4-category is identified with the relative Witt group of $E$-non-degenerate separable braided tensor categories, giving a higher-categorical construction of those Witt groups."],"supporting_citations":[{"why":"supplies the absolute non-degeneracy characterizations (factorizability, cofactorizability, non-degenerate pairing) that the paper relativizes, plus the coend computations reused for normality.","marker":"[Shi19]"},{"why":"provides the general invertibility criterion in the Morita 4-category and the invertibility of non-degenerate braided tensor categories that Corollary C generalizes.","marker":"[BJSS21]"},{"why":"constructs the Morita 4-category of braided pre-tensor categories and proves that separability implies full dualizability, the result Theorem D extends; also supplies the dualizability machinery for locally finitely presentable categories.","marker":"[BJS21]"},{"why":"supplies the Tannaka reconstruction theorem that produces the relative universal Hopf algebra as a Hopf algebra in A; this is the load-bearing imported tool.","marker":"[LM24]"},{"why":"constructs the absolute universal Hopf algebra F_A and the equivalence Comod_A(F_A) equivalent to A boxtimes A^mop that the relative construction generalizes.","marker":"[Lyu99]"},{"why":"defines the canonical pairing on F_A and studies its kernel; the relative pairing omega_{E/A} is obtained by descent from this pairing.","marker":"[Lyu95c]"},{"why":"introduces the relative Witt groups and relative Drinfeld centers whose higher-categorical description is the Picard group theorem of Section 4.1.","marker":"[DNO13]"},{"why":"supplies the finiteness, Frobenius-Perron dimension, and exact-algebra framework used throughout the proofs.","marker":"[EGNO15]"}],"fun_headline_variants":["Separable center leads to full dualizability in Morita 4-category","Non-degenerate pairing means invertible relative tensor category","Finite braided categories: invertible iff non-degenerate","Separable symmetric center gives fully dualizable categories","Equivalences tied to factorizability and cofactorizability"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the imported Tannaka reconstruction theorem asserting that every faithfully flat $E$-enriched finite braided tensor category $A$ (faithfully flat meaning the inclusion of $E$ into the symmetric center is fully faithful) has a relative universal Hopf algebra $F_{E/A}$ in $A$ whose comodule category is $A \\boxtimes_E A^{mop}$; the paper's proof of this fact is only a sketch. If that reconstruction failed for even one relevant category, the relative pairing, the invertibility criterion, and the full dualizability theorem would lose their main tool.","fun_headline_variants_meta":{"raw":{"variants":["Separable center leads to full dualizability in Morita 4-category","Non-degenerate pairing means invertible relative tensor category","Finite braided categories: invertible iff non-degenerate","Separable symmetric center gives fully dualizable categories","Equivalences tied to factorizability and cofactorizability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000273,"raw_usage":{"total_tokens":1749,"prompt_tokens":1175,"completion_tokens":574,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":791,"completion_tokens_details":{"reasoning_tokens":491}},"tokens_in":791,"tokens_out":574,"duration_ms":6724,"temperature":1.0,"reasoning_tokens":491,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T23:45:29.452391+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the relative canonical pairing $\\omega_{E/A}$ for a finite braided tensor category whose symmetric center is $\\mathrm{sVec}$—for example one of the slightly degenerate quantum-group categories described in the paper—and check whether the functor $A \\boxtimes_E A^{mop} \\to Z(A,E)$ is an equivalence. The theorem predicts both the non-degeneracy of the pairing and the equivalence; finding a nonzero kernel or a functor that fails to be an equivalence for any such category would refute the main claim.","supporting_citations":[],"review_version":1}