REVIEW 2 major objections 4 minor 1 cited by
How are pseudo-$q$-traces related to (co)ends?
T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read Pseudo-q-traces and categorical ends describe the same linear space of torus conformal blocks.
desk verdict Serious capstone paper that proves two open conjectures, but its algebra structure on the end rests on an unproved injectivity lemma imported from a companion paper. 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 load-bearing object is the end $\mathbb{E}=\int_{M\in\mathrm{Mod}(\mathbb{V})} M\otimes_{\mathbb{C}} M'$, realized geometrically as the fusion product of the trivial module along the default two-pointed sphere. The argument is carried by the sewing-factorization theorem, which identifies contractions of conformal blocks with composition, and by the canonical conformal block $\omega$, whose partial injectivity converts equality of contractions into equality of maps. These ingredients produce the associative multiplication on $\mathbb{E}$, the idempotent decomposition making $\mathbb{E}$ an almost unital finite-dimensional (AUF) algebra, and finally the pseudo-$q$-trace isomorphism.
What would settle it
Choose a $C_2$-cofinite vertex operator algebra for which the vacuum torus conformal block space is explicitly known, and compute the dimension of $\mathrm{SLF}(\mathrm{End}_{\mathbb{V}}(G)^{\mathrm{opp}})$ for a projective generator $G$. If the pseudo-$q$-trace map of the main theorem is not bijective, or if different projective generators give incompatible identifications of that space with the torus blocks, the central claim is false.
Extended reading notes
Core claim
On the paper's own terms, the discovery is that the end $\mathbb{E}=\int_{M\in\mathrm{Mod}(\mathbb{V})} M\otimes_{\mathbb{C}} M'$ -- the universal $\mathbb{V}^{\otimes 2}$-module into which every pair $(M,M')$ maps -- is not just a categorical bookkeeping device. It is an associative $\mathbb{C}$-algebra, compatible with its $\mathbb{V}^{\otimes 2}$-module structure, and the category of coherent left modules over this algebra is linearly equivalent to $\mathrm{Mod}(\mathbb{V})$. Consequently the space $\mathrm{SLF}(\mathbb{E})$ of symmetric linear functionals on $\mathbb{E}$ is linearly isomorphic to the space of vacuum torus conformal blocks. Composing this with pseudotrace theory for almos
Load-bearing premise
The argument assumes the imported sewing-factorization theorem with its analytic convergence, and relies on the partial injectivity of the canonical conformal block $\omega$ to conclude that two maps are equal whenever their contractions against $\omega$ agree; if either of these gives way, the associative algebra structure on the end is not established.
Editorial extensions
If this is right
- The pseudo-$q$-trace construction is a special case of pseudotraces on an almost unital finite-dimensional algebra, so its analytic properties follow from a finite-dimensional algebraic theory.
- Every grading-restricted generalized $\mathbb{V}$-module carries a canonical module structure over the end algebra, and the end algebra's coherent modules form an abelian category linearly equivalent to $\mathrm{Mod}(\mathbb{V})$.
- For any finite-dimensional algebra $A$ whose finite-dimensional modules match $\mathrm{Mod}(\mathbb{V})$, the space of symmetric linear functionals on $A$ is linearly isomorphic to the vacuum torus conformal blocks of $\mathbb{V}$.
- The isomorphism is explicit and does not require rationality or self-duality of the vertex operator algebra, so it applies to logarithmic and other non-semisimple models.
- The main theorem provides a concrete route from the endomorphism algebra of a projective generator to the vacuum torus conformal blocks.
Reading between the lines
- Different choices of projective generator $G$ should yield compatible identifications of $\mathrm{SLF}$ with the same torus block space; checking this compatibility is a direct test of naturality.
- The algebra structure on the end may descend to the quotient algebras $\mathrm{A}_n(\mathbb{V})$ and to mode transition algebras, giving those algebraic truncations a concrete cobordism-geometric origin; the paper gestures at this but leaves it open.
- If the equivalence between coherent modules over the end and $\mathrm{Mod}(\mathbb{V})$ is appropriately algebraic, the end could serve as a finite-dimensional invariant of the representation category, useful for distinguishing non-semisimple vertex operator algebras.
- In the rational case the pseudo-$q$-trace should reduce to an ordinary trace, so the theorem should recover classical genus-one modular identifications; comparing the two on a rational example would test the boundary behaviour of the result.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the end E = ∫_{M∈Mod(V)} M ⊗_C M' for an N-graded C2-cofinite vertex operator algebra V, not assumed rational or self-dual. Using the sewing-factorization theorem of [GZ25a], it endows E, denoted bNC, with an associative C-algebra structure (Cor. 2.12) and shows that bNC is an almost-unital finite-dimensional (AUF) algebra with an involution (Cor. 2.22, Thm. 2.8). It then proves a linear category equivalence Coh_L(bNC) ≅ Mod(V) (Thm. 2.29), identifies bNC with the end in Mod(V^{⊗2}) (Thm. 2.33), and identifies the space SLF(bNC) of symmetric linear functionals with a space of torus conformal blocks (Thm. 2.36). Combining the sewing-factorization isomorphism with the pseudotrace theory of [GZ25b], the paper proves the Gainutdinov–Runkel conjecture: for a projective generator G, the pseudo-q-trace gives a linear isomorphism SLF(End_V(G)^{op}) ≅ T*_{Tz,q}(V) (Thm. 3.7). The Arike–Nagatomo conjecture is derived as a corollary (Thm. 0.1).
Significance. If the imported inputs are valid, this is a significant contribution. It gives a categorical/geometric explanation of pseudo-q-traces in terms of ends and proves a conjecture central to the non-semisimple Verlinde formalism. The paper's own mathematical contributions — the AUF algebra structure on bNC, the category equivalence, the end identification, and the explicit identification of the composed isomorphism with the pseudo-q-trace — are clearly valuable. The proofs are generally clear, and the graphical calculus is effective; the category-equivalence proof is elegantly organized. The principal caveat is that the central theorems depend on substantive results in the companion preprints [GZ25a] and [GZ25b], and in particular on a partial-injectivity property of the canonical conformal block ω that is not proved in this paper. The final computation in Thm. 3.7 is explicit and appears correct, but its assumptions need to be made precise and verifiable.
major comments (2)
- [§3.2, Thm. 3.7; (3.2), (3.5)] The associativity identity (2.28), the equality of left and right multiplication, and the module-action identities (2.35)–(2.36) are all concluded by 'applying twice the partial injectivity of the canonical conformal block ω (cf. Rem. 1.39)' after establishing equality of double contractions, e.g. (2.30) and (2.38)–(2.39). This partial injectivity is not stated as a theorem or proved in the present text; it is imported from [GZ25a]. The property is required for the specific conformal-block spaces (2.2)/(2.3), for arbitrary W ∈ Mod(V^{⊗N}), with all sewing moduli equal to 1. If [GZ25a] proves only a weaker statement — for scalar-valued blocks or under different sewing radii — then (2.28), Prop. 2.11, and Thm. 2.13 lack support, and the downstream results Cor. 2.22, Thm. 2.29, Thm. 2.33, Thm. 2.36, and Thm. 3.7 inherit the failure. The authors should either prove the required injectivity i
- [§3.2, Thm. 3.7; (3.2), (3.5)] The proof of the main theorem is a composition of two external theorems: the sewing-factorization isomorphism (3.2) from [GZ25a] and the pseudotrace isomorphism (3.5) from [GZ25b, Thm. 9.4 and 10.4]. Neither is proved or independently checked here, and the manuscript does not state the exact forms of these theorems being used, including the analytic convergence assertions imported from Thm. 1.34. Since [GZ25a] and [GZ25b] are preprints, a reader cannot verify Thm. 3.7 from this paper alone. I do not regard dependence on companion papers as an error in itself, but the authors should clearly list the specific external theorems and, where feasible, isolate the genuinely new computation (the identification of the composed isomorphism with the pseudo-q-trace).
minor comments (4)
- [Notation throughout] The letter N is overloaded: it denotes the natural numbers, the number of tensor factors in Mod(V^{⊗N}), and the distinguished 2-pointed sphere N of Def. 1.26. This is a recurring source of confusion, especially in Section 2. A different symbol for the sphere would help.
- [Intro, §0.4] In the proof of Thm. 0.1, the equivalence Mod(V)^{op} ≅ Mod(V) via contragradient modules is asserted without comment. This is standard for grading-restricted generalized modules with finite-dimensional generalized weight spaces, but it should be stated explicitly with a reference or a one-line justification.
- [References; §1.6, §3.2] The paper relies on [GZ25a] and [GZ25b] at several load-bearing points, but the references only give arXiv numbers. It would be much easier for the reader if each invocation named the relevant theorem (e.g. [GZ25a, Thm. X] for the sewing-factorization theorem, [GZ25b, Thm. Y] for the pseudotrace isomorphism).
- [Throughout] There are several typographical artifacts that should be cleaned before publication: e.g. 'appendex' in §0.6, 'nNC' for 'bNC' in the proof of Prop. 2.11, and some corrupted placeholder symbols in Remarks 1.3 and 1.8 and Section 1.5. These do not affect the mathematics but should be fixed.
Circularity Check
No significant circularity: the central new step is a computation showing that the composition of two independently stated prior isomorphisms equals the pseudo-q-trace map.
full rationale
The paper's derivation chain for Theorem 3.7 has three components: (i) an associative AUF algebra structure on the end bNC, established here using the SF theorem and the partial injectivity of the canonical conformal block ω imported from [GZ25a]; (ii) the pseudotrace isomorphism SLF(End_V(G)^op) ≅ SLF(bNC) imported from [GZ25b, Thm 9.4/10.4]; and (iii) the SF isomorphism SLF(bNC) ≅ T*_{Tz,q}(V) imported from [GZ25a]. The genuinely new claim is that the composed map is exactly the pseudo-q-trace φ ↦ Tr_φ(Y_G(·,z) q^{L(0)}), verified by the explicit computation in the proof of Theorem 3.7. This is not an instance where a predicted quantity is defined in terms of the fitted target, and no fitted parameter appears anywhere in the paper. The cited theorems are parameter-free statements whose stated assumptions (C2-cofinite VOA; finite-dimensional AUF algebra) do not include the Gainutdinov–Runkel conjecture, so they function as genuine external evidence rather than circular support. The repeated use of 'partial injectivity of ω' (Remark 1.39) is load-bearing for the algebra structure on bNC, but it is a lemma from the authors' prior sewing-factorization work, not a restatement of the conclusion of Theorem 3.7; its correctness is a scientific risk, not circularity. For the same reason, dependence on [GZ25a] and [GZ25b] does not reduce the main theorem to its own assumptions by construction.
Assumptions & free parameters
assumptions (5)
- domain assumption Sewing-factorization theorem for C2-cofinite VOAs (Thm 1.38, from [GZ25a])
- domain assumption Pseudotrace theory of AUF algebras ([GZ25b], Thm 9.4 and 10.4)
- domain assumption Existence and uniqueness of (dual) fusion products (Def 1.10; [GZ23] Thm 3.31; Thm 1.13)
- domain assumption C2-cofinite VOA module category is finite abelian with a tensor category structure (Hua09, HLZ14)
- ad hoc to paper Partial injectivity of the canonical conformal block ω (Rem 1.39)
Cite this review
Pith. "Pith review of How are pseudo-$q$-traces related to (co)ends?." pith.science (2026). https://pith.science/paper/T32QV7VU
@misc{pith2026250804532,
author = {Pith},
title = {Pith review of: How are pseudo-$q$-traces related to (co)ends?},
year = {2026},
howpublished = {\url{https://pith.science/paper/T32QV7VU}},
note = {Machine review of arXiv:2508.04532}
}
abstract
Let $\mathbb V$ be an $\mathbb N$-graded $C_2$-cofinite vertex operator algebra (VOA), not necessarily rational or self-dual. Using a special case of the sewing-factorization theorem from [GZ25a], we show that the end $\mathbb E=\int_{\mathbb M\in\mathrm{Mod}(\mathbb V)}\mathbb M\otimes_{\mathbb C}\mathbb M'$ in $\mathrm{Mod}(\mathbb{V}^{\otimes2})$ (where $\mathbb{M}'$ is the contragredient module of $\mathbb{M}$) admits a natural structure of associative $\mathbb C$-algebra compatible with its $\mathbb{V}^{\otimes2}$-module structure. Moreover, we show that a suitable category $\mathrm{Coh}_{\mathrm{L}}(\mathbb E)$ of left $\mathbb E$-modules is isomorphic, as a linear category, to $\mathrm{Mod}(\mathbb V)$, and that the space of vacuum torus conformal blocks is isomorphic to the space $\mathrm{SLF}(\mathbb E)$ of symmetric linear functionals on $\mathbb E$. Combining these results with the main theorem of [GZ25b], we prove a conjecture of Gainutdinov-Runkel: For any projective generator $\mathbb G$ in $\mathrm{Mod}(\mathbb V)$, the pseudo-$q$-trace construction yields a linear isomorphism from $\mathrm{SLF}(\mathrm{End}_{\mathbb V}(\mathbb{G})^{\mathrm{opp}})$ to the space of vacuum torus conformal blocks of $\mathbb V$. In particular, if $A$ is a unital finite-dimensional $\mathbb C$-algebra such that the category of finite-dimensional left $A$-modules is equivalent to $\mathrm{Mod}(\mathbb V)$, then $\mathrm{SLF}(A)$ is linearly isomorphic to the space of vacuum torus conformal blocks of $\mathbb V$. This confirms a conjecture of Arike-Nagatomo.
Forward citations
Cited by 1 Pith paper
-
One-point functions for $C_2$-cofinite VOAs: pseudo-traces and trace spaces of projective modules
Proves surjectivity of the Gainutdinov-Runkel map from symmetric functions on the endomorphism algebra of a projective generator to one-point functions for C2-cofinite VOAs, with injectivity under separated conformal ...
Reference graph
Works this paper leans on
-
[1]
Duality structures for module categories of vertex operator algebras and the Feigin Fuchs boson
[ALSW21] Robert Allen, Simon Lentner, Christoph Schweigert, and Simon Wood. Duality structures for module categories of vertex operator algebras and the Feigin Fuchs boson. Preprint, arXiv:2107.05718 [math.QA] (2021),
work page Pith review arXiv 2021
-
[6]
[GZ25a] Bin Gui and Hao Zhang. Analytic conformal blocks of � 2-cofinite vertex operator algebras III: The sewing-factorization theorems. arXiv:2503.23995,
-
[8]
[HLZ12a] Yi-Zhi Huang, James Lepowsky, and Lin Zhang. Logarithmic tensor category theory, ii: Loga- rithmic formal calculus and properties of logarithmic intertwining operators. arXiv:1012.4196,
-
[10]
[HLZ12c] Yi-Zhi Huang, James Lepowsky, and Lin Zhang. Logarithmic tensor category theory, iv: Con- structions of tensor product bifunctors and the compatibility conditions. arXiv:1012.4198,
-
[11]
[HLZ12d] Yi-Zhi Huang, James Lepowsky, and Lin Zhang. Logarithmic tensor category theory, v: Convergence condition for intertwining maps and the corresponding compatibility condition. arXiv:1012.4199,
-
[12]
[HLZ12e] Yi-Zhi Huang, James Lepowsky, and Lin Zhang. Logarithmic tensor category theory, vi: Expan- sion condition, associativity of logarithmic intertwining operators, and the associativity isomor- phisms. arXiv:1012.4202,
-
[13]
[HLZ12f] Yi-Zhi Huang, James Lepowsky, and Lin Zhang. Logarithmic tensor category theory, vii: Convergence and extension properties and applications to expansion for intertwining maps. arXiv:1110.1929,
work page Pith review arXiv 1929
-
[14]
[HLZ12g] Yi-Zhi Huang, James Lepowsky, and Lin Zhang. Logarithmic tensor category theory, viii: Braided tensor category structure on categories of generalized modules for a conformal vertex algebra. arXiv:1110.1931,
arXiv 1931
Show all 20 references
-
[1988]
The definition of conformal field theory
[Seg04] Graeme Segal. The definition of conformal field theory. In Topology, geometry and quantum field theory. Proceedings of the 2002 Oxford symposium in honour of the 60th birthday of Graeme Segal, Oxford, UK, June 24–29, 2002, pages 421–577. Cambridge: Cambridge University Press,
2002
-
[1996]
On rationality for � 2-cofinite vertex operator algebras
[McR21] Robert McRae. On rationality for � 2-cofinite vertex operator algebras. Preprint, arXiv:2108.01898 [math.QA] (2021),
2021
-
[2005]
[Seg88] G. B. Segal. The definition of conformal field theory. Differential geometrical methods in theoret- ical physics, Proc. 16th Int. Conf., NATO Adv. Res. Workshop, Como/Italy 1987, NATO ASI Ser., Ser. C 250, 165-171 (1988).,
1987
-
[2010]
Vertex operator algebra and parenthesized braid operad
[Mor22] Yuto Moriwaki. Vertex operator algebra and parenthesized braid operad. Preprint, arXiv:2209.10443,
-
[2012]
Logarithmic tensor category theory, iii: Inter- twining maps and tensor product bifunctors
[HLZ12b] Yi-Zhi Huang, James Lepowsky, and Lin Zhang. Logarithmic tensor category theory, iii: Inter- twining maps and tensor product bifunctors. arXiv:1012.4197,
-
[2013]
Morita equivalences for Zhu’s algebra
[DGK24] Chiara Damiolini, Angela Gibney, and Daniel Krashen. Morita equivalences for Zhu’s algebra. Preprint, arXiv:2403.11855 [math.RT] (2024),
2024 arXiv
-
[2014]
Modular functors from non-semisimple 3d TFTs
[HR24] Aaron Hofer and Ingo Runkel. Modular functors from non-semisimple 3d TFTs. Preprint, arXiv:2405.18038 [math.QA] (2024),
2024 arXiv
-
[2019]
Modular functors from conformal blocks of rational vertex operator algebras
[DW25] Chiara Damiolini and Lukas Woike. Modular functors from conformal blocks of rational vertex operator algebras. Preprint, arXiv:2507.05845 [math.QA] (2025),
2025 arXiv
-
[2021]
Deligne tensor products of categories of modules for vertex operator algebras
[McR23] Robert McRae. Deligne tensor products of categories of modules for vertex operator algebras. 2304.14023v1,
-
[2023]
Analytic conformal blocks of � 2-cofinite vertex operator algebras II: Convergence of sewing and higher genus pseudo-�-traces
62 [GZ24] Bin Gui and Hao Zhang. Analytic conformal blocks of � 2-cofinite vertex operator algebras II: Convergence of sewing and higher genus pseudo-�-traces. arXiv:2411.07707,
-
[2024]
[GZ23] Bin Gui and Hao Zhang
Id/No 2350007. [GZ23] Bin Gui and Hao Zhang. Analytic conformal blocks of � 2-cofinite vertex operator algebras I: Propagation and dual fusion products. arXiv:2305.10180,
-
[2025]
Pseudotraces on almost unital and finite-dimensional algebras
[GZ25b] Bin Gui and Hao Zhang. Pseudotraces on almost unital and finite-dimensional algebras. arXiv:2508.00431,
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.