{"id":"be78e684-d766-4f66-943e-f712479c03ad","arxiv_id":"2501.10735","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Assuming the vertex algebra category is a finite rigid braided tensor category with matching Frobenius-Perron dimensions, the logarithmic Kazhdan-Lusztig correspondence is derived from a Nichols algebra reconstruction.","lead":"This paper gives a conditional proof of the logarithmic Kazhdan-Lusztig correspondence, a conjectured equivalence between representation categories of small quantum groups and of certain vertex operator algebras. The argument reconstructs the vertex algebra side algebraically from extension data, assuming the difficult analytic tensor structure and a dimension-matching condition.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The dimension equality FPdim(A)=dim B(q) is the load-bearing premise of Theorem 6.6, but Section 7.2 checks it only over the singlet subalgebra, so the W_p(g) case in Corollary 1.4 remains conditional on an unverified quantum-dimension ratio.","rationale":"The reader's weakest_assumption already identifies the dimension equality FPdim(A) = dim B(q) as the load-bearing numerical premise. I agree and add a precise locus: Section 7.2 computes quantum dimensions over the singlet subalgebra, while Corollary 1.4 needs them in Rep(W_p(g)). Since the paper itself presents Theorem 6.6 and Theorem 7.3 as conditional on exactly this equality, the concern does not reveal an internal error; it identifies the unverified premise that separates a conditional proof from the announced Feigin-Tipunin application. The categorical scaffolding in Sections 3–5, including the Schauenburg functor and Nichols algebra reconstruction, is a coherent reduction: if the finiteness, rigidity, and FPdim hypotheses hold, the argument goes through as written. No machine-checked proof is present, and several external deep results are imported, so moderate confidence and a CONDITIONAL verdict are appropriate. The proposed concrete check—computing the full W_p(g) quantum-dimension ratio—would settle whether the premise is at least plausibly true; a failure would not disprove the conditional theorem but would empty Corollary 1.4 of verified instances. Therefore I recommend keeping the reader's verdict unchanged.","tokens_in":33426,"tokens_out":18660,"duration_ms":200150,"concrete_test":"Use the character formula quoted in Section 7.1 (Sug21, eqs. 141–142) to compute the full quantum dimension of A = V_Λ as a W_p(g)-module: evaluate lim_{τ→i∞} χ_{V_Λ}(q)/χ_{W_p(g)}(q) with q = e^{2πiτ}, without intersecting with the singlet subalgebra. If the limit is not p^{|Φ^+(g)|}, the FPdim(A) = dim B(q) premise of Theorem 7.3/Corollary 1.4 fails for W_p(g); if it is, the remaining analytic/categorical FPdim coincidence stated in Theorem 7.3 still needs a separate check.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The numerical switch that turns the injection B(q) → N from Corollary 6.4 into an equivalence is Lemma 6.5. Its hypothesis FPdim(B') = FPdim(A)FPdim(D_loc^A), applied to B' = Mod(B(q))(C) with D_loc^A = C = Vect_{Λ*/Λ}, is exactly FPdim(A) = dim B(q), because FPdim(Mod(B(q))(C)) = dim B(q)·FPdim(C). Section 7.2 does not prove this equality. Formulas (1)–(2) compute limits of χ_{H^k(ξ_λ)∩F_0} after restriction to the singlet subalgebra W_p(g)∩F_0, obtaining p^{|Φ^+(g)|} for the Fock module A. The premise of Theorem 7.3, however, is the quantum dimension of A in Rep(W_p(g)) itself, i.e. lim_{τ→i∞} χ_{V_Λ}(q)/χ_{W_p(g)}(q), and the equality of that analytic quantum dimension with the categorical Frobenius-Perron dimension. Restriction to the singlet changes the unit: the restriction of W to the singlet is not the singlet unit, so the ratio need not survive. This is an openly stated assumption rather than an internal inconsistency, but it is the single point on which the W_p(g) application of Corollary 1.4 depends.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a conditional algebraic proof of the logarithmic Kazhdan-Lusztig correspondence. Working in a finite braided rigid monoidal category D = Rep(W) containing a commutative algebra A = V_Λ, the author reconstructs the category of A-modules from Ext^1 data. Using a Tannaka-Krein reconstruction theorem (Theorem 4.1, Lemma 4.10) and classification results for Nichols algebras of diagonal type (Theorems 5.6, 5.10), the paper shows that the splitting subcategory B_split is equivalent to Comod(N)(C), where N is the Nichols algebra of the object ⊕_a Ext^1_B(C_a, 1) C_a. For kernels of screenings in lattice vertex algebras, Lemma 6.3 produces nonzero Ext^1 classes, yielding an injection B(q) → N (Corollary 6.4). Under the additional assumption FPdim(A) = dim B(q), Lemma 6.5 upgrades this injection to an equivalence, and Theorem 6.6 concludes D_A ≅ Mod(B(q))(C) and D ≅ Z_C(Mod(B(q))(C)). For simply-laced Feigin-Tipunin algebras, Section 7 uses character asymptotics from [BM17] to compute quantum dimensions over the singlet subalgebra and, assuming these coincide with categorical Frobenius-Perron dimensions, obtains Corollary 1.4 identifying Rep(W_p(g)) with representations of a quasi-Hopf version of the small quantum group.","tokens_in":33727,"tokens_out":16769,"duration_ms":166794,"significance":"If the stated hypotheses are satisfied, the paper gives a substantial structural reduction of the logarithmic Kazhdan-Lusztig correspondence: it replaces by-hand computation of the abelian category and fusion products with a check of Ext^1 groups plus a dimension equality. The reconstruction of the Nichols algebra from Ext^1 (Theorem 5.12) is a clean and valuable result, and the conditional statements are carefully worded, with explicit counterexamples in Section 8 showing the limits of the method. However, the load-bearing numerical premise FPdim(A) = dim B(q) is not derived; Section 7 only computes quantum dimensions after restriction to the singlet subalgebra and assumes that analytic quantum dimensions equal categorical Frobenius-Perron dimensions. Thus the W_p(g) application remains conditional in exactly the dimension-theoretic aspect that is a shadow of the desired equivalence, so the paper's contribution is a reduction rather than a complete proof of the correspondence.","major_comments":[{"comment":"The hypothesis FPdim(A) = dim B(q) required by Theorem 6.6 is not established for W_p(g). Formulas (1) and (2) compute, following [BM17], the asymptotic characters of modules restricted to the singlet subalgebra W_p(g) ∩ F_0; the unit of this subalgebra is not the restriction of the unit of W_p(g), and the ratio χ_{V_Λ ∩ F_0}/χ_{W_p(g) ∩ F_0} need not equal the categorical quantum dimension of A = V_Λ in Rep(W_p(g)). The additional assumption in Theorem 7.3 that analytic quantum dimensions coincide with Frobenius-Perron dimensions is an assumption, not a proved statement. Consequently Corollary 1.4 does not follow from Theorem 6.6 unless the missing verification of FPdim(A) = dim B(q) for the full Feigin-Tipunin algebra is supplied.","section":"Section 7.2, Eqs. (1)–(2) and Theorem 7.3"},{"comment":"The equality FPdim(A) = dim B(q) is a dimension-level shadow of the desired equivalence: via Corollary 2.18 it is equivalent to FPdim(D_A) = FPdim(C)/dim B(q), where D_A is precisely the category being reconstructed. The theorem therefore reduces the logarithmic Kazhdan-Lusztig correspondence to a matching of global dimensions rather than deriving that matching from the vertex algebra side. This status should be stated prominently in the abstract and introduction; the current phrasing in Section 1.3 ('we can prove the logarithmic Kazhdan Lusztig correspondence in all cases related to simply-laced Lie algebras') overstates the degree to which the dimension equality has been verified.","section":"Theorem 6.6 and Corollary 1.4"}],"minor_comments":[{"comment":"The name 'Knishnik-Zomolochikov' should be 'Knizhnik-Zamolodchikov'.","section":"Section 1.2"},{"comment":"The statement says 'DA is nondegenerate', but the proof concludes that 'D has a nondegenerate braiding'; the wording should be aligned to avoid confusion about which category is being declared nondegenerate.","section":"Lemma 6.5"},{"comment":"The symbol χ_{H^k(ξ_λ) ∩ F_0} is used for the cohomology module character in Eq. (1) and then for the Fock module in Eq. (2); please clarify which module's character is being computed in each formula.","section":"Section 7.2, Eq. (2)"},{"comment":"In the equalizer defining N_prim, the term 'id_{B(M)} ⊗ η_N' should presumably be 'id_N ⊗ η_N'; the current notation is inconsistent.","section":"Section 5.1"},{"comment":"The result stated as Theorem 1.3 in the introduction appears later as Corollary 6.4; the numbering and cross-references should be made consistent.","section":"Section 1.3 and Corollary 6.4"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its conditional status, but the gap between Theorem 6.6 and Corollary 1.4 is significant: the main numerical hypothesis is unverified in the W_p(g) case, and Section 7.2 only computes quantum dimensions over the singlet subalgebra. If the journal is interested in conditional structural theorems with explicitly stated open assumptions, the paper is publishable after revision; if it requires a complete proof of the logarithmic Kazhdan-Lusztig correspondence for W_p(g), the current form is not sufficient."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing: this is a serious paper, and the conditional claim is exactly what the title says. It does not prove the logarithmic Kazhdan-Lusztig correspondence; it gives a new way to prove it, conditional on analytic tensor-category properties and a dimension equality. The conditional theorem is stated honestly, and the algebraic framework is worth serious attention.\n\nWhat is genuinely new: the reconstruction of the twisted module category from Ext^1 groups. Prior work (CLR23) needed the abelian category by hand; here the Nichols algebra is recovered from Ext^1 data plus known classification results for finite-dimensional Nichols algebras of diagonal type. The Hopf-algebra reconstruction via Tannaka-Krein and the Schauenburg functor step are coherent, and the use of Angiono's results on Nichols algebras is appropriate. The Section 8 counterexamples are a real asset: they show the author knows where the method breaks down. Citations are appropriate; the paper builds on a lot of recent work and does not hide it.\n\nThe soft spots are exactly where the reader and stress test put them. Theorem 6.6 assumes FPdim(A) = dim B(q). That equality is not derived; it is the numerical heart of the proof. Lemma 6.5 turns the injection B(q) → N into an equivalence only if that equality holds. Section 7.2 tries to compute quantum dimensions using character asymptotics from BM17, but it computes the ratio after restriction to the singlet subalgebra. The unit changes under that restriction, so the ratio need not survive in the full category. Corollary 1.4 for W_p(g) therefore depends on an unverified claim about quantum dimensions in Rep(W_p(g)) itself, plus the assumed HLZ rigidity and the assumed coincidence of analytic quantum dimension with categorical Frobenius-Perron dimension. These are openly stated assumptions, not hidden gaps, but they are load-bearing.\n\nAlso worth saying: the circularity burden is mild but real. The dimension equality is a dimension-level shadow of the desired equivalence. The algebraic reconstruction does not need it, so the framework has value even if the equality is hard; but the main application does rest on it.\n\nWho is this for: specialists in vertex algebras and tensor categories who want a road map for proving KL correspondences, and who are willing to check the analytic side. I would cite it as a conditional reduction, not as a proof of the conjecture.\n\nRecommendation: send it to a serious referee. The paper deserves a real review, not a desk reject. A good referee can help clarify the status of the dimension assumption and possibly point to existing results that could verify it. Yes, accept for review.","headline":"A genuinely new conditional framework for logarithmic KL, but the main application still rests on an unverified dimension equality.","tokens_in":34233,"tokens_out":2512,"would_cite":true,"duration_ms":26769,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","17B69","18M15","81R10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under one dimension equality, the paper derives the logarithmic Kazhdan-Lusztig correspondence: the vertex algebra's representation category becomes the category of a quasi-Hopf small quantum group.","keywords":["logarithmic Kazhdan-Lusztig correspondence","vertex operator algebras","Nichols algebras","small quantum groups","Frobenius-Perron dimension","relative Drinfeld center","screening operators","braided tensor categories"],"falsifier":"Take a kernel-of-screenings vertex algebra satisfying all the categorical assumptions and compute the categorical Frobenius-Perron dimension of $A=V_\\Lambda$ directly from its fusion rules; if it differs from $\\dim B(q)$, or if $\\mathrm{Ext}^1$ contains a class not generated by the screenings, then the claimed equivalence fails.","tokens_in":33215,"feed_emoji":"⚛️","tokens_out":10008,"duration_ms":94233,"temperature":0.7,"pith_summary":"This paper claims a conditional proof of the logarithmic Kazhdan-Lusztig correspondence, the conjectural equivalence between representations of certain vertex operator algebras and representations of small quantum groups. The proof is algebraic in spirit: the unknown non-semisimple category on the vertex-algebra side is reconstructed from its $\\mathrm{Ext}^1$-groups, which assemble into a Nichols algebra, and then a single numerical equality is used to finish. If the Frobenius-Perron dimension of the lattice vertex algebra over the kernel of screenings equals the dimension of the corresponding diagonal Nichols algebra, the full braided tensor category is shown to be the relative Drinfeld center of modules over that Nichols algebra. For simply-laced Feigin-Tipunin algebras this yields the logarithmic Kazhdan-Lusztig correspondence, conditional on finiteness, rigidity, and matching of analytic quantum dimensions with categorical ones.","feed_headline":"Dimension match proves small quantum group duality","feed_subtitle":"A single Frobenius-Perron equality turns vertex-algebra representations into small quantum group representations.","key_machinery":"The argument is carried by the subcategory $B^{\\mathrm{split}}$ of objects in $B = D_A$ whose composition series lies in the local category $C = D_A^{\\mathrm{loc}}$. A Tannaka-Krein reconstruction result with a tensor-functor section realizes $B^{\\mathrm{split}}$ as $\\mathrm{Comod}(N)(C)$ for a connected Hopf algebra $N$ in $C$; Hochschild cohomology identifies C-split extensions between trivial comodules with primitive elements of $N$, so $\\mathrm{Ext}^1(C_a, 1)$ feeds directly into the primitive space. When $C = \\mathrm{Vect}^Q_\\Gamma$, the classification of finite-dimensional Nichols algebras of diagonal type (no nontrivial liftings, generation in degree one) forces $N$ to be the Nichols algebra $B(\\bigoplus_a \\mathrm{Ext}^1(C_a,1) C_a)$, where a Nichols algebra is the universal connected graded Hopf algebra in a braided category whose degree-one part is a prescribed object. The Schauenburg functor then embeds $D$ into the relative Drinfeld center of the module category, and the Frobenius-Perron dimension equality upgrades the embedding to an equivalence.","core_discovery":"The central claim is Theorem 6.6: let $W$ be a kernel of screening operators in a lattice vertex algebra $V_\\Lambda$, assume $\\mathrm{Rep}(W)$ is a finite braided rigid monoidal category via logarithmic tensor product theory, and assume $\\mathrm{FPdim}(V_\\Lambda \\text{ over } W) = \\dim B(q)$. Then the category of $V_\\Lambda$-modules inside $\\mathrm{Rep}(W)$ is equivalent to $\\mathrm{Mod}(B(q))(\\mathrm{Vect}^Q_\\Gamma)$, and $\\mathrm{Rep}(W)$ is equivalent to the relative Drinfeld center $\\mathcal{Z}_C(\\mathrm{Mod}(B(q)))$, i.e. to representations of a generalized quasi-Hopf small quantum group. For the simply-laced Feigin-Tipunin algebras $W_p(g)$ with $p > h^\\vee - 1$, Corollary 1.4 concludes this equivalence under the additional analytic hypothesis that the quantum dimensions computed from character asymptotics equal the categorical Frobenius-Perron dimensions.","pith_inferences":["Editorial extension: the method suggests a clean test for when a kernel-of-screenings algebra cannot satisfy the correspondence—if $\\mathrm{Ext}^1$ reveals a primitive element outside the screening algebra, as in the paper's $p=1$, $\\mathfrak{sl}_3$ example, then the category is forced to be infinite-dimensional or non-$C_2$-cofinite.","Editorial extension: because rigidity is used only in the Frobenius-Perron comparison, replacing $\\mathrm{FPdim}$ by a submultiplicative $\\mathrm{C}_1$-dimension would likely extend the equivalences to vertex categories that are only Grothendieck-Verdier, not fully rigid, which the paper flags as a problem but does not solve.","Editorial extension: the same reconstruction should apply to conformal embeddings other than lattice screenings, provided the $\\mathrm{Ext}^1$-groups between local modules are computable and a matching dimension can be found."],"forward_implications":["Once the dimension equality is verified, the vertex-algebra representation category is completely determined by its $\\mathrm{Ext}^1$-groups together with a single number, without computing full tensor products.","The twisted modules over $W$ are exactly the modules over the screening Nichols algebra $B(q)$; the paper's methods rule out additional indecomposables beyond the extensions detected in $\\mathrm{Ext}^1$.","For simply-laced $W_p(g)$ satisfying the analytic hypotheses, the logarithmic Kazhdan-Lusztig correspondence holds: $\\mathrm{Rep}(W_p(g))$ is equivalent to the category of the quasi-Hopf small quantum group $\\widetilde{u}_q(g)$.","The same framework covers generalized quantum groups attached to arbitrary diagonal braidings, including exceptional Nichols-algebra cases beyond quantum groups of Lie type.","The dimension equality also implies nondegeneracy of the braiding of $\\mathrm{Rep}(W)$, so the relative center is nondegenerate and the categorical reconstruction is full."],"supporting_citations":[{"why":"supplies the algebraic framework and Schauenburg functor comparing D with the relative Drinfeld center of D_A.","marker":"[CLR23]"},{"why":"supplies the Tannaka-Krein reconstruction theorem that realizes B^split as comodules over a Hopf algebra N.","marker":"[ML24]"},{"why":"supplies the Frobenius-Perron dimension formalism and the inequalities used to upgrade embeddings to equivalences.","marker":"[EGNO15]"},{"why":"rules out nontrivial liftings of Nichols algebras of diagonal type, forcing N to be the Nichols algebra.","marker":"[AKM15]"},{"why":"shows finite-dimensional pointed Hopf algebras with abelian coradical are generated in degree one, so N is generated by its primitive space.","marker":"[Ang13]"},{"why":"provides the logarithmic tensor product construction that is assumed to make Rep(W) a braided tensor category.","marker":"[HLZ06]"},{"why":"defines the Feigin-Tipunin algebras W_p(g) as kernels of screenings and states the conjecture.","marker":"[FT10]"},{"why":"computes quantum dimensions via false theta functions and asymptotics, giving the dimension equality used in Section 7.","marker":"[BM17]"},{"why":"proves the flag-variety character formula and simplicity results for W_p(g) modules used to access analytic quantum dimensions.","marker":"[Sug21]"},{"why":"identifies the algebra of screening operators with the Nichols algebra of the relevant diagonal braiding.","marker":"[Len21]"}],"fun_headline_variants":["Logarithmic Kazhdan-Lusztig: proof via character asymptotics","Conditional proof: dimension equality links quantum groups to VOAs","Frobenius-Perron equality proves logarithmic duality conditionally","Algebraic proof: character asymptotics yields quantum group-VOA duality","Dimension equality conditionally proves logarithmic Kazhdan-Lusztig"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the numerical equality $\\mathrm{FPdim}(A) = \\dim B(q)$; if the Frobenius-Perron dimension of the lattice vertex algebra over $W$ does not equal the Nichols-algebra dimension, the injection $B(q)\\to N$ established in the paper need not be an equivalence.","fun_headline_variants_meta":{"raw":{"variants":["Logarithmic Kazhdan-Lusztig: proof via character asymptotics","Conditional proof: dimension equality links quantum groups to VOAs","Frobenius-Perron equality proves logarithmic duality conditionally","Algebraic proof: character asymptotics yields quantum group-VOA duality","Dimension equality conditionally proves logarithmic Kazhdan-Lusztig"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001883,"raw_usage":{"total_tokens":7336,"prompt_tokens":848,"completion_tokens":6488,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":464,"completion_tokens_details":{"reasoning_tokens":6398}},"tokens_in":464,"tokens_out":6488,"duration_ms":43503,"temperature":1.0,"reasoning_tokens":6398,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T19:02:22.605366+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a kernel-of-screenings vertex algebra satisfying all the categorical assumptions and compute the categorical Frobenius-Perron dimension of $A=V_\\Lambda$ directly from its fusion rules; if it differs from $\\dim B(q)$, or if $\\mathrm{Ext}^1$ contains a class not generated by the screenings, then the claimed equivalence fails.","supporting_citations":[],"review_version":1}