{"id":"e69269b0-d24a-4756-ba54-7cc2fb0a2983","arxiv_id":"2608.06333","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For odd r not dividing n, the weight modules of the restricted unrolled quantum group of osp(2|2n) form a relative modular category, giving new decorated TQFTs.","lead":"This paper constructs a new family of relative modular categories from the quantum group of the Lie superalgebra osp(2|2n). If correct, the result yields new 3-dimensional topological quantum field theories and connects them to q-series 3-manifold invariants.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Stabilization coefficient computation in Section 3.6 drops a factor of r; the printed Delta_+ value is off by a factor of r and should be corrected.","rationale":"I read the paper in good faith and found the main existence argument, including the generic semisimplicity proof of Theorem 3.13, to be substantially sound. The reader's weakest assumption about typicality is largely protected by the definition of the critical set X: if a Kac module were not simple, a composition factor of dimension smaller than r^{n^2} 2^{2n} would put its class into X, so the Wedderburn argument does not need a separate classification of typical weights beyond existence of the Kac modules. The concrete defect I find instead is in Section 3.6, where the stated value of Delta_+ does not follow from the authors' own preceding computation: the factor r obtained after summing over the alpha_0 direction is lost when substituting the sp(2n-2) Gauss sum. This is checkable by a direct finite computation for n=1, r=3. Since the paper explicitly advertises the stabilization coefficients and these coefficients enter the normalization of the decorated TQFT, the full claim as stated needs correction. I do not see a fatal flaw in the existence theorem itself, so the appropriate adjustment is CONDITIONAL acceptance pending correction of this arithmetic error, rather than rejection.","tokens_in":23819,"tokens_out":40095,"duration_ms":464697,"concrete_test":"For n=1 (osp(2|2)) and r=3, compute the finite sum defining Delta_+ directly: Sum_{a,b=0}^{2} q^{-(-2ab+4b^2)} with q = e^{2 pi i / 3}. The displayed final formula of Section 3.6 predicts the value 1 (up to the common q-exponential factor), while the derivation in the same section forces the sum to be 3. If the direct computation yields 3, the stabilization coefficient formula is off by a factor of r; re-derive Section 3.6 with this factor included and propagate the corrected Delta_+ and Delta_- through the TQFT normalization.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Section 3.6 derives the stabilization coefficient via a finite Gauss sum over I_osp(2|2n). The displayed computation first obtains Sum_{k in I_osp} q^{-<k,k>} = r * Sum_{k in I_sp(2n-2)} q^{-<k,k>}, using the identity Sum_{l=0}^{r-1} q^{2lk_1} = r delta_{k_1,0} for odd r. Substituting the stated Gauss sum for sp(2n-2), namely epsilon(r,n-1) r^{(n-1)/2}, gives epsilon(r,n-1) r^{(n+1)/2}, not the printed epsilon(r,n-1) r^{(n-1)/2}. The displayed formula for Delta_+ is therefore missing one factor of r. The omission is not a matter of convention: for the smallest case n=1, r=3, the sum over (a,b) in (Z/3)^2 of q^{-(-2ab+4b^2)} equals 3, since Sum_a q^{2ab} = 3 delta_{b,0}; the printed formula gives 1 up to the common q-exponential factor. Because Delta_+ and Delta_- are part of the relative modular data and enter the normalization of De Renzi's decorated TQFT, the paper's advertised explicit stabilization coefficients are incorrect as written. The existence statement Theorem 3.29 may still survive after correcting this scalar, but the full claim, including explicit stabilization coefficients, is not correct without that correction.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs relative modular categories from the restricted unrolled quantum group U^H_q(osp(2|2n)) at odd roots of unity q = e^{2πi/r} with r not dividing n. The main theorem (Theorem 3.29) states that the category C(r,n) of weight modules over U^H_q(osp(2|2n)) admits a relative modular structure with relative modularity parameter ζ = r^{n+1}. The proof proceeds by establishing generic semisimplicity with respect to a grading by h^∨/Λ_R, constructing a ribbon structure via a truncated Yamane R-matrix, proving unimodularity and the existence of a modified trace, and then verifying relative modularity. The paper also provides explicit ribbon twists, modified quantum dimensions of generic Kac modules, and explicit stabilization coefficients Δ_±, which feed into De Renzi's construction of decorated 3-dimensional TQFTs.","tokens_in":24081,"tokens_out":8774,"duration_ms":97717,"significance":"If correct, this is the first construction of relative modular categories for the orthosymplectic family osp(2|2n), completing the Type I basic classical superalgebra picture after the earlier treatment of sl(n|m). The construction is genuinely non-parametric in the sense that no free parameters are fitted: the relative modularity parameter ζ = r^{n+1} is derived from the representation theory, and the ribbon twists and modified dimensions are given by explicit formulas. The paper also connects the resulting TQFT to the program comparing non-semisimple invariants with BPS q-series, giving a concrete family of new examples for that comparison. The main weakness is not the existence argument but the explicit stabilization coefficients, which contain a numerical error; this does not appear to invalidate Theorem 3.29 itself, but it does affect the advertised explicit TQFT normalization.","major_comments":[{"comment":"The displayed computation of Δ_+ is missing a factor of r. The manuscript correctly derives Sum_{k∈I_osp} q^{-<k,k>} = r · Sum_{k∈I_sp(2n-2)} q^{-<k,k>}, using Sum_{l=0}^{r-1} q^{2lk_1} = r δ_{k_1,0} for odd r. Substituting the stated sp(2n-2) Gauss sum ε(r,n-1) r^{(n-1)/2} then yields ε(r,n-1) r^{(n+1)/2}, not the printed ε(r,n-1) r^{(n-1)/2}. The omission is not a harmless convention choice: for the smallest case n=1, r=3, a direct check of the sum over (a,b)∈(Z/3)^2 gives 3, while the printed formula gives a value of modulus 1 up to the common q-exponential factor. Because Δ_+ and Δ_- enter the normalization of De Renzi's decorated TQFT, the explicit stabilization coefficients advertised in the introduction and computed in Section 3.6 are incorrect as written. The existence claim Theorem 3.29 may survive after correcting this scalar, but the full claim of explicit stabilization coefficients requires the correction.","section":"Section 3.6, stabilization coefficients"}],"minor_comments":[{"comment":"The symbol I is reused: in the proof of Theorem 3.29 it denotes a set of representatives of Λ_R/Λ_Z, while in Section 3.6 it is defined as Λ_R/rΛ_R. Please use different notation to avoid confusion.","section":"Section 3.6"},{"comment":"The equality |Λ_R/Λ_Z| = r^{n+1} is used implicitly when summing over the set I of representatives. This follows from Lemma 3.2 together with the fact that r is odd, but it would be helpful to state this one-line justification explicitly.","section":"Theorem 3.29, proof"},{"comment":"The statement that the set Y is \"open and dense\" in h^∨ uses a topology that is never specified. Please clarify that this is meant in the analytic topology, or reformulate in Zariski terms.","section":"Lemma 3.11"}],"recommendation":"major_revision","confidential_remarks":"The factor-of-r error in Section 3.6 is genuine and should be fixed before publication. I do not see evidence that it invalidates the existence theorem, since the relative modularity parameter ζ = r^{n+1} is obtained independently of the stabilization coefficients; the correction appears local. However, because the paper explicitly advertises the stabilization coefficients as one of its concrete outputs, and because those coefficients enter the normalization of the TQFT, I cannot recommend acceptance until the formula is corrected and the affected statements are updated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Hi — my take on arXiv:2608.06333: the main theorem is real and the paper is worth engaging with, but check Section 3.6 carefully. The displayed stabilization coefficient Δ+ is off by a factor of r. The derivation correctly writes Σ_{k∈I_osp(2|2n)} q^{-⟨k,k⟩} = r Σ_{k∈I_sp(2n-2)} q^{-⟨k,k⟩}, but the final answer substitutes the sp(2n-2) Gauss sum without the prefactor r. So the printed value ε(r,n-1) r^{(n-1)/2} should be ε(r,n-1) r^{(n+1)/2}. For n=1, r=3, direct evaluation gives 3, not 1 up to the q-exponential. This matters because Δ± enter the normalization of De Renzi's TQFT, but it is a localized scalar fix, not a structural flaw.\n\nWhat is genuinely new: this is the first construction of relative modular categories for the osp(2|2n) family, completing the Type I list (sl(m|n) was done, psl(n|n) and osp(2|2n) were open). The paper gives explicit ribbon twists, modified dimensions, and the relative modularity parameter ζ=r^{n+1}, and the proof of existence follows the established unrolled-quantum-group strategy. The argument for ζ is independent of the stabilization coefficients and looks solid. I found no circularity or fitted parameters; the cited prior results do not already contain the osp(2|2n) theorem.\n\nSoft spots, in proportion: the proofs of generic semisimplicity and the braiding truncation are compressed and lean on Zhang/Yamane/GKP22, so independent verification of every cited step was too much for one reading. That is typical for this area and not disqualifying. The garbled passage in Section 1.6 is a genuine readability defect that should be cleaned before publication, but it is not a scientific error. The typicality assumptions from [Zha93]/[GP13] are the main risk: if they fail at roots of unity, the dimension count in Theorem 3.13 would not go through. Nothing in the paper suggests they do, but the authors should be asked to spell out the root-of-unity dependence explicitly.\n\nWho this is for: anyone working in non-semisimple quantum topology, relative modular categories, or decorated TQFTs. It deserves a serious referee; with the stabilization coefficient corrected and the text cleaned, it should be accepted. I'd send it out.","headline":"First relative modular categories for osp(2|2n), with a real but fixable scalar error in the stabilization coefficient.","tokens_in":24656,"tokens_out":6520,"would_cite":true,"duration_ms":68504,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","57R56"],"pacs":[],"model":"deepseek-v4-flash","headline":"Weight modules over the unrolled quantum group of the superalgebra osp(2|2n) at an odd root of unity form a relative modular category, yielding new decorated three-dimensional topological quantum field theories.","keywords":["relative modular categories","unrolled quantum groups","Lie superalgebras","osp(2|2n)","modified traces","topological quantum field theory","Kac modules","root of unity"],"falsifier":"For a small case such as $n=1$ and $r=3$ or $5$, compute the Kac modules $K(\\lambda)$ at weights $\\lambda$ outside the critical set with the typicality product nonzero; if any $K(\\lambda)$ is not simple, or if the projective cover of the trivial module is not self-dual, the relative modular structure fails. Alternatively, verify the relative modularity equation with $\\zeta = r^{n+1}$ for a specific pair of generic classes and generic Kac modules.","tokens_in":23586,"feed_emoji":"🌀","tokens_out":12558,"duration_ms":118547,"temperature":0.7,"pith_summary":"This paper constructs a new family of relative modular categories from the representation theory of the unrolled quantum group of the orthosymplectic Lie superalgebra $\\mathfrak{osp}(2|2n)$ at a root of unity. A relative modular category is a non-semisimple generalization of a modular tensor category, and the construction from [DR22] turns one into a decorated three-dimensional topological quantum field theory. The paper proves that, for $q = e^{2\\pi i/r}$ with $r$ odd and $r \\nmid n$, the category of weight modules over $U^H_q(\\mathfrak{osp}(2|2n))$ is generically semisimple, ribbon, and unimodular, with relative modularity parameter $\\zeta = r^{n+1}$. If correct, this supplies the missing Type I family $\\mathfrak{osp}(2|2n)$ beyond the previously treated $\\mathfrak{sl}(m|n)$, yielding decorated TQFTs that can distinguish homotopy classes of lens spaces, a strength that invariants from modular tensor categories lack. The paper also provides explicit ribbon twists, modified quantum dimensions, and stabilization coefficients, making the resulting invariants computable.","feed_headline":"osp(2|2n) quantum groups yield new 3-manifold invariants","feed_subtitle":"A root-of-unity category now powers TQFTs that can distinguish lens spaces.","key_machinery":"The load-bearing objects are the Kac modules $K(\\lambda) = U^H_q(\\mathfrak{osp}(2|2n)) \\otimes_{U^H_q(\\mathfrak{p})} S_0(\\lambda)$, induced from simple modules of the bosonic subalgebra; these are simultaneously the generic simple objects and the projectives used to establish semisimplicity and to normalize the modified trace. The category is graded by $G = \\mathfrak{h}^\\vee/\\Lambda_R$, with generic semisimplicity meaning that each non-critical grading class is semisimple and dominated by finitely many Kac modules up to tensoring with the free realization $Z = \\Lambda_Z \\times \\mathbb{Z}/2\\mathbb{Z}$ of one-dimensional modules. The pivotal element is $K_\\pi$ with $\\pi = 2r\\rho_0 - 2\\rho$, and the braiding is the truncated and specialized $h$-adic $R$-matrix of [Yam94], built from $q$-exponentials over positive roots. The relative modularity parameter $\\zeta = r^{n+1}$ is extracted from the modified trace of a transparent morphism, and the stabilization coefficients are reduced to quadratic Gauss sums.","core_discovery":"The central claim is Theorem 3.29: for $q = e^{2\\pi i/r}$ with $r$ odd and $r \\nmid n$, the category $\\mathcal{C}(r,n)$ of weight modules over the restricted unrolled quantum group $U^H_q(\\mathfrak{osp}(2|2n))$ carries a relative modular structure. The proof shows that $\\mathcal{C}(r,n)$ is generically semisimple with respect to the grading by $G = \\mathfrak{h}^\\vee/\\Lambda_R$: away from a small symmetric set $X$ of critical classes, every simple object is a Kac module of dimension $r^{n^2}2^{2n}$ induced from a simple Verma module of the even subalgebra. A braiding is obtained by truncating the universal $R$-matrix of the $h$-adic quantum group [Yam94] and specializing to $q$, while the pivotal structure comes from the element $K_\\pi$ with $\\pi = 2r\\rho_0 - 2\\rho$. Unimodularity supplies a nondegenerate modified trace, and the relative modularity parameter is computed to be $\\zeta = r^{n+1}$. Explicit formulas are given for the ribbon twists, modified quantum dimensions of generic Kac modules, and the stabilization coefficients $\\Delta_\\pm$.","pith_inferences":["If the typicality criterion used here holds more broadly, the same strategy should produce relative modular categories for the other Type II superalgebras with semisimple classical representation theory, notably $\\mathfrak{osp}(1|2n)$, where the paper notes that Kac modules are typically not simple.","The equality $\\zeta = r^{n+1}$ matches the number of inequivalent highest-weight lifts in the finite-dimensional quotient $U^{[\\lambda]}_q$, hinting that the relative modularity condition is essentially counting simple objects in a generic grading class.","The Gauss-sum evaluation of $\\Delta_\\pm$ implies a direct formula for the TQFT's action on mapping tori, which could be tested numerically against known invariants for small $r$ and $n$.","A natural next step is to attempt the analogous unrolled construction for $\\mathfrak{psl}(n|n)$, using the paper's control of the critical set $X$ as a model for handling atypical weights."],"forward_implications":["Via the TQFT construction from [DR22], the relative modular structure produces a decorated 3-dimensional TQFT $Z_{\\mathcal{C}(r,n)}$ whose invariants can be evaluated using the explicit twists, modified dimensions and stabilization coefficients.","The resulting 3-manifold invariants are strictly stronger than invariants from modular tensor categories: they distinguish homotopy classes of lens spaces.","With the $\\mathfrak{sl}(m|n)$ case already known, this completes all but the $\\mathfrak{psl}(n|n)$ family among the Type I basic classical Lie superalgebras as sources of relative modular categories.","The explicit stabilization coefficients $\\Delta_\\pm$ and the value $\\zeta = r^{n+1}$ make the invariants computable on plumbed 3-manifolds and circle bundles over closed surfaces.","The category gives the 3-manifold invariants needed to compare with the $\\hat{Z}$-invariants for $\\mathfrak{osp}(2|2n)$ discussed in [Cha21]."],"supporting_citations":[{"why":"Supplies the decorated TQFT construction that converts a relative modular category into 3-manifold invariants; this is the paper's main application.","marker":"[DR22]"},{"why":"The $\\mathfrak{sl}(m|n)$ analogue whose method (generic semisimplicity, truncated braiding, modified traces) is adapted; the proof of Theorem 3.13 is explicitly a modification of its proof.","marker":"[AGPM21]"},{"why":"Provides the universal $R$-matrix of the $h$-adic quantum group of $\\mathfrak{osp}(2|2n)$ that is truncated and specialized to give the braiding on $\\mathcal{C}(r,n)$.","marker":"[Yam94]"},{"why":"Supplies the typicality criterion for Kac modules (Proposition 3.8) and the commutation of $\\Gamma_\\pm$ with the even subalgebra, both used throughout.","marker":"[Zha93]"},{"why":"Gives the characterization of simple Verma modules for the bosonic subalgebra and topological invariants from nonrestricted quantum groups, used in generic semisimplicity.","marker":"[GP13]"},{"why":"Establishes the Kirby-color and stabilization-coefficient formalism that the paper uses to define and compute $\\Delta_\\pm$.","marker":"[CGPM14]"},{"why":"Provides the existence of modified traces on the projective ideal of a unimodular pivotal category, from which the nondegenerate trace follows via Proposition 3.20.","marker":"[GKP22]"},{"why":"The criterion cited to conclude that $\\mathcal{C}$ is a ribbon category once braiding, pivot and semisimplicity are in place.","marker":"[GP18]"}],"fun_headline_variants":["osp(2|2n) quantum groups yield relative modular categories","Relative modular categories from osp(2|2n) at roots of unity","New relative modular categories from osp(2|2n)","Superalgebra osp(2|2n) gives relative modular TQFTs","Root-of-unity osp(2|2n) categories for 3-manifold invariants"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's generic semisimplicity rests on the assumption that, for generic highest weights, the Verma modules of the even subalgebra are simple and the Kac modules are simple exactly when the product over odd roots of the $q$-numbers $\\{\\langle \\lambda+\\rho,\\alpha\\rangle\\}_q$ does not vanish; if these typicality facts fail at the restricted root of unity, the dimension-$D$ simple modules would not exist and the main theorem would collapse.","fun_headline_variants_meta":{"raw":{"variants":["osp(2|2n) quantum groups yield relative modular categories","Relative modular categories from osp(2|2n) at roots of unity","New relative modular categories from osp(2|2n)","Superalgebra osp(2|2n) gives relative modular TQFTs","Root-of-unity osp(2|2n) categories for 3-manifold invariants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000343,"raw_usage":{"total_tokens":1832,"prompt_tokens":835,"completion_tokens":997,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":451,"completion_tokens_details":{"reasoning_tokens":896}},"tokens_in":451,"tokens_out":997,"duration_ms":9397,"temperature":1.0,"reasoning_tokens":896,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:04:26.781432+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a small case such as $n=1$ and $r=3$ or $5$, compute the Kac modules $K(\\lambda)$ at weights $\\lambda$ outside the critical set with the typicality product nonzero; if any $K(\\lambda)$ is not simple, or if the projective cover of the trivial module is not self-dual, the relative modular structure fails. Alternatively, verify the relative modularity equation with $\\zeta = r^{n+1}$ for a specific pair of generic classes and generic Kac modules.","supporting_citations":[],"review_version":1}