REVIEW 3 major objections 3 minor 39 references
Non-Equivalence of Smooth and Nodal Conformal Block Functors in Logarithmic CFT
T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper proves that for every N-graded, C2-cofinite vertex algebra with a non-lowest-generated module, the smooth and nodal conformal block functors are inequivalent, because the dimensions of the relevant spaces on the two-pointed…
desk verdict A genuinely new dimension-jump result for non-rational conformal blocks; the core proof is sound, but the geometric and end consequences lean on companion-paper results that should be flagged as imports. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by three objects and one criterion. The nodal fusion product $\mathbb{A}$ is the object of $\mathrm{Mod}(\mathbb{V}^{\otimes 2})$ representing the nodal conformal block functor $T_B^*(-)$, i.e. $\mathrm{Hom}_{\mathbb{V}^{\otimes 2}}(\mathbb{A},W)\cong T_B^*(W^\dagger)$; the paper proves (Corollary 1.19) that $\mathbb{A}$ is lowest generated as a left $\mathbb{V}$-module. The end $\mathbb{E}=\int_{X\in\mathrm{Mod}(\mathbb{V})}X\otimes X^\dagger$ is the object representing the smooth conformal block functor and is not lowest generated when non-lowest-generated modules exist. The auxiliary object $D$ represents $\mathrm{Hom}_{\mathbb{V}^{\otimes 2}}(\mathbb{A},U\otimes P_W^\dagger)$ as $\mathrm{Hom}_{\mathbb{V}}(D,U)$. The dimension criterion (Proposition 2.1) says that two objects with equal Hom-space dimensions into every module are isomorphic; it converts equal block dimensions into an isomorphism $D\cong P_W$, producing the contradiction.
What would settle it
Take $\mathbb{V}=\mathcal{W}_2$, the smallest triplet algebra, and compute the spaces $T_N^*(X\otimes Y)$ and $T_B^*(X\otimes Y)$ for $X$ the projective cover of the non-lowest-generated module and $Y$ its contragredient. If the dimensions turn out equal for every pair, or if the sheaf on $\overline{\mathcal{M}}_{0,4}$ is locally free despite the existence of a non-lowest-generated module, the central claim is false. More directly, checking that $\mathrm{Hom}_{\mathbb{V}^{\otimes 2}}(\mathbb{A},U\otimes P_W^\dagger)$ fails to be representable for some $U$ would invalidate the proof of Theorem 2.2.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 2.2: assume there exists a module in $\mathrm{Mod}(\mathbb{V})$ that is not lowest generated. Then there exist $X,Y\in\mathrm{Mod}(\mathbb{V})$ such that $\dim T_N^*(X\otimes Y)\neq \dim T_B^*(X\otimes Y)$. The proof is a contradiction argument. Assuming equality for all pairs, for an irreducible $W$ whose projective cover $P_W$ is not lowest generated one writes the nodal block space $T_B^*(U^\dagger\otimes P_W)$ as $\mathrm{Hom}_{\mathbb{V}^{\otimes 2}}(\mathbb{A},U\otimes P_W^\dagger)$, with $\mathbb{A}$ the nodal fusion product, and then as $\mathrm{Hom}_{\mathbb{V}}(D,U)$ by representability. The smooth block space is $\mathrm{Hom}_{\mathbb{V}}(P_W,U)$. If the two dimensions agree universally, Proposition 2.1 forces $D\cong P_W$. But $D$ is lowest generated: the canonical map $\alpha:\mathbb{A}\otimes P_W\to D$ is surjective, and $\mathbb{A}$ is lowest generated as a left $\mathbb{V}$-module (Corollary 1.19), so $D$ is generated by its lowest-weight subspace. This contradicts the choice of $P_W$. The paper then records the consequences: for $N\geq 4$ the conformal-block spaces for $X,Y,\mathbb{V}^{\otimes(N-2)}$ do not form a vector bundle on $\overline{\mathcal{M}}_{0,N}$; the sheaf of coinvariants is not locally free; and in $\mathrm{Mod}(\mathbb{V}^{\otimes 2})$ the end $\mathbb{E}$ is not isomorphic to the mode transition algebra $\mathfrak{A}$.
Load-bearing premise
The proof depends on a borrowed representability theorem: every left-exact linear functor from the finite module category to vector spaces is represented by an object, applied to the nodal conformal block functor and to the auxiliary functor; if that theorem does not apply to these non-rational module categories, or if the representing object $\mathbb{A}$ were not generated by its lowest-weight subspace, the contradiction would collapse.
Editorial extensions
If this is right
- The dimension gap is inherited by higher numbers of marked points: for $N\geq 4$ the spaces of conformal blocks attached to $X$, $Y$, and $\mathbb{V}^{\otimes(N-2)}$ on $\overline{\mathcal{M}}_{0,N}$ do not assemble into a vector bundle.
- The sheaf of coinvariants for these modules on $\overline{\mathcal{M}}_{0,N}$ is not locally free for $N\geq 4$.
- The mode transition algebra $\mathfrak{A}$ is not isomorphic to the end $\mathbb{E}$ in $\mathrm{Mod}(\mathbb{V}^{\otimes 2})$; hence the two objects represent different functors in the logarithmic setting.
- The smooth and nodal conformal block functors are not equivalent, showing that factorization of conformal blocks cannot hold in the form known from the rational case.
Reading between the lines
- A natural next step the paper does not take is to compute the exact dimension difference for the smallest example, the triplet algebra $\mathcal{W}_2$; the mechanism suggests the gap is governed by the conformal-weight gap between the projective cover $P_W$ and its lowest-weight subspace.
- Because the contradiction uses only a single non-lowest-generated projective cover, the same argument should apply to any C2-cofinite VOA whose module category has a projective object whose lowest-weight subspace does not generate it; the class of examples may extend beyond triplets and symplectic fermions.
- The paper's closing remark suggests that any restored equality between nodal and smooth blocks would require a nodal-block definition divorced from the Zhu algebra; one could test this by constructing a modified nodal functor on pseudo-modules and checking whether it satisfies factorization.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies conformal blocks for an N-graded, C_2-cofinite vertex operator algebra V admitting a module that is not generated by its lowest weight subspace. Its main theorem (Theorem 2.2) asserts that, for such V, there exist modules X,Y such that the dimensions of the smooth and nodal two-pointed conformal block spaces differ. From this inequality the author derives that the associated conformal blocks do not form a vector bundle on \overline{M}_{0,N} for N≥4, that the sheaf of coinvariants is not locally free, and that the mode transition algebra is not isomorphic to the end E (Theorem 2.9). The proof of Theorem 2.2 proceeds by contradiction: if the dimensions always matched, a representing object D for a certain Hom functor would be forced to be isomorphic to a non-lowest-generated projective cover P_W, while an explicit surjection from A⊗P_W to D would force D to be lowest generated.
Significance. If the main theorem and its consequences are fully established, the paper gives a clean negative answer to a natural question raised in [DGK25b] and [DW25]: unlike in the rational case, smooth and nodal conformal block functors are not equivalent for general C_2-cofinite VOAs, and the vector-bundle property fails. The internal contradiction argument for Theorem 2.2 is coherent and the use of lowest generation as the key invariant is elegant. The paper also gives explicit examples (triplet algebras and even symplectic fermion VOAs) where the hypothesis holds. However, several load-bearing inputs are imported from companion preprints or cited without verification, so the advertised consequences are not yet fully proven in this manuscript.
major comments (3)
- [§1.4, Eq. (1.8), and §2.2, Eq. (2.6)] The representing objects A and D are obtained solely by citing [DSPS19, Cor. 1.10]. That corollary applies only to left exact linear functors, but the paper never verifies that W ↦ T_B^*(W^†) and U ↦ Hom_{V⊗2}(A, U⊗P_W^†) are left exact. The second verification is straightforward because U↦U⊗P_W^† is exact as a functor of vector spaces and Hom_{V⊗2}(A,–) is left exact, but the first requires an argument about contragredients and invariance conditions. Without these checks, the existence of D, and hence the contradiction in Theorem 2.2, is not fully established.
- [§2.2, Rem. 2.4] The passage from the two-pointed inequality (2.3) to the vector-bundle and local-freeness statements on \overline{M}_{0,N} uses propagation of conformal blocks on curves that are explicitly not stable. The remark asserts that the Riemann–Roch proof of [DGT21, Thm. 6.2] still applies because the curves are affine, but it does not provide the argument or a precise statement of the propagation theorem in this setting. Since the curves in (2.13) have components with only two special points, propagation with additional V-insertions is not automatic; this is a load-bearing step for conclusions (a) and (b).
- [§2.3, Prop. 2.8 and Thm. 2.9] The key identification Hom_{V⊗2}(E, X^†⊗Y^†) ≅ T_N^*(X⊗Y) is delegated to the companion preprints [GZ25a, GZ25b], with only a citation to [FSS20, Cor. 2.9]. Consequently, the advertised non-isomorphism E ≇ A is conditional on results that are not proved or even stated in this manuscript. Either include a proof of Proposition 2.8 or explicitly formulate Theorem 2.9 as depending on [GZ25a, GZ25b].
minor comments (3)
- [§1.1 and Introduction] There are typos: 'cardinate' should be 'cardinality' and 'indecomposible' should be 'indecomposable'.
- [Throughout] The mode transition algebra and the nodal fusion product are both denoted by 'A' in the text; please distinguish them consistently (for example, \mathcal{A} versus A) in all displayed formulas, especially in Theorem 2.9 and Remark 2.7.
- [§1.4, Def. 1.16] The definition says 'the nodal conformal block functor associated to X', but no X has been introduced in that context; it should say 'associated to Y'.
Circularity Check
No circularity: Thm 2.2 is proved by contradiction from external representability results; self-citations are not load-bearing.
full rationale
The derivation chain is not circular. Theorem 2.2 assumes the opposite of what it proves (equality of all smooth and nodal dimensions, Eq. (2.4)) and derives a contradiction using representability: Eq. (1.8) is imported from [DSPS19, Cor. 1.10], an external theorem, and Eq. (2.6) is also justified by the same external representability result. The key intermediate object D is shown to be isomorphic to the projective cover P_W by a Yoneda-type argument (Prop. 2.1), and the proof that D is lowest generated uses Cor. 1.19, which is proved internally from the generating property of the canonical conformal block. None of these steps assumes the target inequality dim T_N^* ≠ dim T_B^*. The geometric consequences in Rem. 2.4 depend on an asserted extension of propagation of conformal blocks to non-stable affine curves via the Riemann-Roch argument of [DGT21, Thm. 6.2]; this is an external dependency or correctness concern, not a circular reduction. Similarly, Thm. 2.9 uses Prop. 2.8, whose key cited input is [FSS20, Cor. 2.9], an external theorem; the references to the author's own preprints [GZ25a, GZ25b] supply details but do not smuggle the conclusion into the proof. Self-citations occur, but they are not load-bearing in the sense that the central contradiction and dimension inequality are established from external representability and standard Yoneda identifications. No fitted parameter is renamed as a prediction, and no uniqueness theorem by the author is invoked to force a choice. Therefore the paper earns a score of 0 for circularity.
Assumptions & free parameters
assumptions (6)
- domain assumption V is an N-graded C2-cofinite vertex operator algebra and Mod(V^{otimes N}) is the category of grading-restricted generalized modules.
- standard math C2-cofiniteness implies Mod(V) is a finite abelian category with projective covers of irreducible modules.
- standard math Every left exact linear functor from a finite C-linear category to Vect is representable.
- standard math Miyamoto's weight bound for C2-cofinite VOAs.
- domain assumption Propagation of conformal blocks extends from stable curves to the non-stable affine spheres considered in Remark 2.4.
- domain assumption For the triplet algebras W_p and the even symplectic fermion VOAs SF_d^+, non-lowest-generated modules exist.
Cite this review
Pith. "Pith review of Non-Equivalence of Smooth and Nodal Conformal Block Functors in Logarithmic CFT." pith.science (2026). https://pith.science/paper/UE5EAQ7B
@misc{pith2026250907720,
author = {Pith},
title = {Pith review of: Non-Equivalence of Smooth and Nodal Conformal Block Functors in Logarithmic CFT},
year = {2026},
howpublished = {\url{https://pith.science/paper/UE5EAQ7B}},
note = {Machine review of arXiv:2509.07720}
}
abstract
Let $\mathbb V$ be an $\mathbb N$-graded, $C_2$-cofinite vertex operator algebra (VOA) admitting a non-lowest generated module in $\mathrm{Mod}(\mathbb V)$ (e.g., the triplet algebras $\mathcal{W}_p$ for $p\in \mathbb{Z}_{\geq 2}$ or the even symplectic fermion VOAs $SF_d^+$ for $d\in \mathbb{Z}_+$). We prove that, unlike in the rational case, the spaces of conformal blocks associated to certain $\mathbb V$-modules do not form a vector bundle on $\overline{\mathcal{M}}_{0,N}$ for $N\geq 4$ by showing that their dimensions differ between nodal and smooth curves. Consequently, the sheaf of coinvariants associated to these $\mathbb V$-modules on $\overline{\mathcal{M}}_{0,N}$ is not locally free for $N\geq 4$. It also follows that, unlike in the rational case, the mode transition algebra $\mathfrak A$ introduced by Damiolini-Gibney-Krashen is not isomorphic to the end $\mathbb E=\int_{\mathbb X\in \mathrm{Mod}(\mathbb X)}\mathbb X\otimes \mathbb{X}'$ as an object of $\mathrm{Mod}(\mathbb{V}^{\otimes 2})$.
Reference graph
Works this paper leans on
-
[1]
A Z _2 -orbifold model of the symplectic fermionic vertex operator superalgebra
Toshiyuki Abe. A Z _2 -orbifold model of the symplectic fermionic vertex operator superalgebra. Mathematische Zeitschrift , 255(4):755--792, 2007
work page 2007
-
[2]
On the triplet vertex algebra \( W(p)\)
Dra z en Adamovi \'c and Antun Milas. On the triplet vertex algebra \( W(p)\) . Adv. Math. , 217(6):2664--2699, 2008
work page 2008
-
[3]
A. Beilinson, B. Feigin, and B. Mazur. Introduction to algebraic field theory on curves. Unpublished, 1991
work page 1991
-
[4]
Vertex algebras and teichmüller modular forms
Giulio Codogni. Vertex algebras and teichmüller modular forms. arXiv:1901.03079, 2019
arXiv 1901
-
[5]
Morita equivalences for Zhu 's algebra
Chiara Damiolini, Angela Gibney, and Daniel Krashen. Morita equivalences for Zhu 's algebra. Preprint, arXiv :2403.11855 [math. RT ] (2024), 2024
arXiv 2024
-
[6]
Conformal blocks on smoothings via mode transition algebras
Chiara Damiolini, Angela Gibney, and Daniel Krashen. Conformal blocks on smoothings via mode transition algebras. Comm. Math. Phys. , 406(6):Paper No. 131, 58, 2025
work page 2025
-
[7]
Chiara Damiolini, Angela Gibney, and Daniel Krashen. Factorization presentations. In Higher dimensional algebraic geometry---a volume in honor of V . V . S hokurov , volume 489 of London Math. Soc. Lecture Note Ser. , pages 163--191. Cambridge Univ. Press, Cambridge, 2025
work page 2025
-
[8]
Conformal blocks from vertex algebras and their connections on M _ g, n
Chiara Damiolini, Angela Gibney, and Nicola Tarasca. Conformal blocks from vertex algebras and their connections on M _ g, n . Geom. Topol. , 25(5):2235--2286, 2021
work page 2021
Show all 39 references
-
[9]
On factorization and vector bundles of conformal blocks from vertex algebras
Chiara Damiolini, Angela Gibney, and Nicola Tarasca. On factorization and vector bundles of conformal blocks from vertex algebras. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 57(1):241--292, 2024
2024
-
[10]
Douglas, Christopher Schommer-Pries, and Noah Snyder
Christopher L. Douglas, Christopher Schommer-Pries, and Noah Snyder. The balanced tensor product of module categories. Kyoto J. Math. , 59(1):167--179, 2019
2019
-
[11]
Modular functors from conformal blocks of rational vertex operator algebras
Chiara Damiolini and Lukas Woike. Modular functors from conformal blocks of rational vertex operator algebras. Preprint, arXiv :2507.05845 [math. QA ] (2025), 2025
2025 arXiv
-
[12]
Tensor Categories , volume 205 of Mathematical Surveys and Monographs
Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. Tensor Categories , volume 205 of Mathematical Surveys and Monographs . American Mathematical Society, 2015
2015
-
[13]
Vertex algebras and algebraic curves , volume 88 of Mathematical Surveys and Monographs
Edward Frenkel and David Ben-Zvi. Vertex algebras and algebraic curves , volume 88 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, second edition, 2004
2004
-
[14]
Farsad, A.M
V. Farsad, A.M. Gainutdinov, and I. Runkel. The symplectic fermion ribbon quasi-hopf algebra and the sl(2,z)-action on its centre. Advances in Mathematics , 400:108247, 2022
2022
-
[15]
Eilenberg- W atts calculus for finite categories and a bimodule R adford S^4 theorem
J\"urgen Fuchs, Gregor Schaumann, and Christoph Schweigert. Eilenberg- W atts calculus for finite categories and a bimodule R adford S^4 theorem. Trans. Amer. Math. Soc. , 373(1):1--40, 2020
2020
-
[16]
Gaberdiel and Horst G
Matthias R. Gaberdiel and Horst G. Kausch. A local logarithmic conformal field theory. Nuclear Physics B , 538(3):631--658, 1999
1999
-
[17]
Gainutdinov and Ingo Runkel
Azat M. Gainutdinov and Ingo Runkel. Symplectic fermions and a quasi-hopf algebra structure on U _i sl(2) . Journal of Algebra , 476, 03 2015
2015
-
[18]
Analytic conformal blocks of C_2 -cofinite vertex operator algebras I : Propagation and dual fusion products
Bin Gui and Hao Zhang. Analytic conformal blocks of C_2 -cofinite vertex operator algebras I : Propagation and dual fusion products. arXiv:2305.10180, 2023
2023
-
[19]
Analytic conformal blocks of C_2 -cofinite vertex operator algebras II : Convergence of sewing and higher genus pseudo- q -traces
Bin Gui and Hao Zhang. Analytic conformal blocks of C_2 -cofinite vertex operator algebras II : Convergence of sewing and higher genus pseudo- q -traces. arXiv:2411.07707, 2024
2024 arXiv
-
[20]
Analytic conformal blocks of C_2 -cofinite vertex operator algebras III : The sewing-factorization theorems
Bin Gui and Hao Zhang. Analytic conformal blocks of C_2 -cofinite vertex operator algebras III : The sewing-factorization theorems. arXiv:2503.23995, 2025
2025
-
[21]
How are pseudo- q -traces related to (co)ends? arXiv:2508.0453, 2025
Bin Gui and Hao Zhang. How are pseudo- q -traces related to (co)ends? arXiv:2508.0453, 2025
2025
-
[22]
Cofiniteness conditions, projective covers and the logarithmic tensor product theory
Yi-Zhi Huang. Cofiniteness conditions, projective covers and the logarithmic tensor product theory. J. Pure Appl. Algebra , 213(4):458--475, 2009
2009
-
[23]
Horst G. Kausch. Extended conformal algebras generated by a multiplet of primary fields. Physics Letters B , 259(4):448--455, 1991
1991
-
[24]
Horst G. Kausch. Curiosities at c=-2 , 1995
1995
-
[25]
Symplectic fermions
Horst Kausch. Symplectic fermions. Nuclear Physics B , 583(3):513--541, 2000
2000
-
[26]
Regular representations of vertex operator algebras
Haisheng Li. Regular representations of vertex operator algebras. Commun. Contemp. Math. , 4(4):639--683, 2002
2002
-
[27]
Regular representations and A_n(V) - A_m(V) bimodules
Haisheng Li. Regular representations and A_n(V) - A_m(V) bimodules. arXiv:2205.05481, 2022
2022 arXiv
-
[28]
Deligne tensor products of categories of modules for vertex operator algebras
Robert McRae. Deligne tensor products of categories of modules for vertex operator algebras. 2304.14023v1, 2023
2023 arXiv
-
[29]
Modular invariance of vertex operator algebras satisfying C_2 -cofiniteness
Masahiko Miyamoto. Modular invariance of vertex operator algebras satisfying C_2 -cofiniteness. Duke Math. J. , 122(1):51--91, 2004
2004
-
[30]
Quasi-finite algebras graded by H amiltonian and vertex operator algebras
Atsushi Matsuo, Kiyokazu Nagatomo, and Akihiro Tsuchiya. Quasi-finite algebras graded by H amiltonian and vertex operator algebras. In Moonshine: the first quarter century and beyond , volume 372 of London Math. Soc. Lecture Note Ser. , pages 282--329. Cambridge Univ. Press, C...
2010
-
[31]
Conformal field theories associated to regular chiral vertex operator algebras
Kiyokazu Nagatomo and Akihiro Tsuchiya. Conformal field theories associated to regular chiral vertex operator algebras. I : Theories over the projective line. Duke Math. J. , 128(3):393--471, 2005
2005
-
[32]
The triplet vertex operator algebra w(p) and the restricted quantum group at root of unity
Kiyokazu Nagatomo and Akihiro Tsuchiya. The triplet vertex operator algebra w(p) and the restricted quantum group at root of unity. In Exploring New Structures and Natural Constructions in Mathematical Physics , volume 61 of Advanced Studies in Pure Mathematics , pages 1--49. ...
2011
-
[33]
A braided monoidal category for free super-bosons
Ingo Runkel. A braided monoidal category for free super-bosons. Journal of Mathematical Physics , 55(4):041702, 2014. 59 pp
2014
-
[34]
Conformal field theory on universal family of stable curves with gauge symmetries
Akihiro Tsuchiya, Kenji Ueno, and Yasuhiko Yamada. Conformal field theory on universal family of stable curves with gauge symmetries. Integrable systems in quantum field theory and statistical mechanics, Proc . Symp ., Kyoto / Jap . and Kyuzeso / Jap . 1988, Adv . Stud . Pure ...
1989
-
[35]
The tensor structure on the representation category of the W _p triplet algebra
Akihiro Tsuchiya and Simon Wood. The tensor structure on the representation category of the W _p triplet algebra. Journal of Physics A General Physics , 46, 10 2013
2013
-
[36]
Introduction to conformal field theory with gauge symmetries
Kenji Ueno. Introduction to conformal field theory with gauge symmetries. In Geometry and physics ( A arhus, 1995) , volume 184 of Lecture Notes in Pure and Appl. Math. , pages 603--745. Dekker, New York, 1997
1995
-
[37]
Conformal field theory with gauge symmetry , volume 24 of Fields Institute Monographs
Kenji Ueno. Conformal field theory with gauge symmetry , volume 24 of Fields Institute Monographs . American Mathematical Society, Providence, RI; Fields Institute for Research in Mathematical Sciences, Toronto, ON, 2008
2008
-
[38]
Global vertex operators on Riemann surfaces
Yongchang Zhu. Global vertex operators on Riemann surfaces. Commun. Math. Phys. , 165(3):485--531, 1994
1994
-
[39]
Modular invariance of characters of vertex operator algebras
Yongchang Zhu. Modular invariance of characters of vertex operator algebras. J. Amer. Math. Soc. , 9(1):237--302, 1996
1996
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.