pith. sign in

arxiv: 2606.22135 · v2 · pith:3LEUOEDBnew · submitted 2026-06-20 · 🧮 math.QA

Finiteness and Construction of Internal Hom for Vertex Operator Algebras

Chao Yang , Yiyi Zhu This is my paper

Pith reviewed 2026-06-29 05:26 UTC · model grok-4.3

classification 🧮 math.QA
keywords vertex operator algebrainternal Homrestricted modulesC1-cofinitenessfusion rulesgeneralized modulelogarithmic moduledual product
0
0 comments X

The pith

A generalized module H(W1, W2) realizes the internal Hom in the tensor category of restricted modules over a vertex operator algebra V under suitable hypotheses.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors construct a generalized V-module H(W1, W2) for any two restricted modules W1 and W2 over a vertex operator algebra V. This module is defined by canonical universal properties that position it as the internal Hom object in the tensor category. The construction matches the logarithmic generalization of an earlier module and is shown isomorphic to a dual product from prior work. When the modules satisfy C1-cofiniteness, the object exhibits finiteness properties that produce a natural isomorphism relating duals to fusion products and establish finite fusion rules. A reader cares because this supplies the category with a closed structure that supports direct computation of morphisms between modules.

Core claim

We construct a generalized V-module H(W1, W2) characterized by canonical universal properties. Under suitable hypotheses, H(W1, W2) realizes the internal Hom object in the tensor category of restricted V-modules. Although the construction differs from Li's, it agrees with the natural logarithmic generalization of Li's module Δ(W1, W2). We further establish a canonical isomorphism between H(W1, (W2)') and the P(z0)-dual product W1 ⊠_{P(z0)} W2. Under the C1-cofiniteness condition, we investigate finiteness properties of H(W1, W2) and obtain a natural isomorphism between H(W1, W2)' and W1 ⊠ (W2)', along with finiteness of the corresponding fusion rules.

What carries the argument

The generalized V-module H(W1, W2) characterized by its canonical universal properties as a candidate for the internal Hom.

If this is right

  • H(W1, W2) agrees with the natural logarithmic generalization of Li's module Δ(W1, W2).
  • There is a canonical isomorphism between H(W1, (W2)') and the P(z0)-dual product W1 ⊠_{P(z0)} W2.
  • Under C1-cofiniteness, H(W1, W2) satisfies finiteness properties.
  • There is a natural isomorphism between H(W1, W2)' and W1 ⊠ (W2)'.
  • The corresponding fusion rules are finite.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The internal Hom supplies a candidate for a closed monoidal structure on the category of restricted modules.
  • Finiteness results may allow explicit dimension calculations for Hom spaces in concrete examples of VOAs.
  • The universal-property definition could support adjoint-functor arguments relating tensor products to Homs.

Load-bearing premise

The suitable hypotheses on the vertex operator algebra and its restricted modules hold so that the universal properties of H(W1, W2) identify it as the internal Hom.

What would settle it

A concrete pair of restricted V-modules W1 and W2 for which H(W1, W2) either fails the stated universal properties or is not canonically isomorphic to the P(z0)-dual product would disprove the central identification.

read the original abstract

Let $V$ be a vertex operator algebra, and let $W^1$ and $W^2$ be restricted $V$-modules. We construct a generalized $V$-module $\mathcal{H}(W^1, W^2)$ characterized by canonical universal properties. We show that, under suitable hypotheses, $ \mathcal{H}(W^1, W^2)$ realizes the internal Hom object in the tensor category of restricted $V$-modules. Although our construction differs from Li's, we show that it agrees with the natural logarithmic generalization of Li's module $\Delta(W^1, W^2)$. We further establish a canonical isomorphism between $\mathcal{H} \big(W^1,(W^2 )^\prime \big)$ and the $P(z_0)$-dual product $ W^1 \pzbox_{P(z_0)} W^2 $ recently constructed by Du and Huang. Under the $C_1$-cofiniteness condition, we investigate finiteness properties of $ \mathcal H(W^1, W^2)$. As applications, we obtain a natural isomorphism between $ \mathcal H(W^1, W^2)'$ and $ W^1 \boxtimes (W^2)'$, and prove the finiteness of the corresponding fusion rules.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The paper constructs a generalized V-module ℜ(W^{1}, W^{2}) for restricted V-modules W^{1}, W^{2} of a vertex operator algebra V, characterized by explicit canonical universal properties. It shows that under suitable hypotheses this realizes the internal Hom object in the tensor category of restricted V-modules. The construction agrees with the natural logarithmic generalization of Li's Δ(W^{1}, W^{2}) and yields a canonical isomorphism with Du-Huang's P(z_{0})-dual product W^{1} ⊠_{P(z_{0})} W^{2}. Under the C_{1}-cofiniteness condition the authors establish finiteness properties of ℜ(W^{1}, W^{2}), obtain a natural isomorphism ℜ(W^{1}, W^{2})' ≅ W^{1} ⊠ (W^{2})', and prove finiteness of the corresponding fusion rules.

Significance. If the central claims hold, the work supplies a canonical internal-Hom construction in the tensor category of restricted V-modules via universal properties, together with explicit agreement with two independent prior constructions (Li and Du-Huang). This is a substantive contribution to the structure theory of logarithmic tensor categories. The C_{1}-cofiniteness applications, including the dual isomorphism and fusion-rule finiteness, are concrete and useful. The manuscript ships explicit universal-property characterizations and cross-verifications with existing objects.

major comments (2)
  1. [§3] §3 (main construction): the verification that the universal properties of ℜ(W^{1}, W^{2}) imply the internal-Hom adjointness (i.e., Hom(U ⊗ W^{1}, W^{2}) ≅ Hom(U, ℜ(W^{1}, W^{2}))) must be checked against the precise tensor-product axioms used in the category; the manuscript should state the exact tensor-product functor and the precise form of the adjunction isomorphism.
  2. [Theorem 4.2] Theorem 4.2 (agreement with Du-Huang): the canonical isomorphism ℜ(W^{1}, (W^{2})') ≅ W^{1} ⊠_{P(z_{0})} W^{2} is stated to hold under the listed hypotheses; the proof should explicitly identify which of those hypotheses are used to match the P(z_{0})-product axioms versus which are used only for the subsequent finiteness statements.
minor comments (3)
  1. Notation for the generalized module is introduced as ℜ but occasionally appears as H in the text; standardize throughout.
  2. [§3] The list of suitable hypotheses for the internal-Hom claim should be collected in a single numbered remark or definition early in §3 rather than scattered across lemmas.
  3. Reference to Li's original Δ construction should include the precise statement of the module that is being logarithmically extended.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the recommendation of minor revision. The two major comments concern clarifications on the tensor category structure and the hypotheses in Theorem 4.2. We address each below and will incorporate the requested details in the revised manuscript.

read point-by-point responses

  1. Referee: [§3] §3 (main construction): the verification that the universal properties of ℜ(W¹, W²) imply the internal-Hom adjointness (i.e., Hom(U ⊗ W¹, W²) ≅ Hom(U, ℜ(W¹, W²))) must be checked against the precise tensor-product axioms used in the category; the manuscript should state the exact tensor-product functor and the precise form of the adjunction isomorphism.

    Authors: We agree that an explicit statement of the tensor product functor and the induced adjunction is needed for precision. In the revision we will identify the precise tensor product (the P(z)-tensor product in the category of restricted V-modules) and write out the adjunction isomorphism Hom(U ⊗ W¹, W²) ≅ Hom(U, ℜ(W¹, W²)) together with the verification that the universal properties of ℜ(W¹, W²) imply it. revision: yes

  2. Referee: [Theorem 4.2] Theorem 4.2 (agreement with Du-Huang): the canonical isomorphism ℜ(W¹, (W²)') ≅ W¹ ⊠_{P(z₀)} W² is stated to hold under the listed hypotheses; the proof should explicitly identify which of those hypotheses are used to match the P(z₀)-product axioms versus which are used only for the subsequent finiteness statements.

    Authors: We will revise the proof of Theorem 4.2 to separate the hypotheses explicitly: we will mark which conditions are required to verify that the universal properties match the P(z₀)-product axioms, and which are used only later for the finiteness statements. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation constructs H(W1, W2) from explicit universal properties on restricted V-modules, then verifies agreement with Li's Delta module (logarithmic extension) and Du-Huang's P(z0)-dual product via canonical isomorphisms; the internal-Hom claim holds only under separately stated hypotheses distinct from the C1-cofiniteness used solely for finiteness corollaries. No step reduces by definition or by self-citation to its own input, and all load-bearing identifications rest on external prior constructions rather than self-referential fits or renamings.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Only the abstract is available, so the ledger reflects standard background assumptions in VOA theory rather than paper-specific details; the central claim rests on the existence of a tensor category structure on restricted modules and on prior constructions by Li and Du-Huang.

axioms (2)
  • domain assumption The category of restricted V-modules is a tensor category in which an internal Hom object can be defined via universal properties.
    Required for the statement that H(W1, W2) realizes the internal Hom.
  • domain assumption The P(z0)-dual product constructed by Du and Huang exists and satisfies the stated properties.
    The paper claims a canonical isomorphism with this object.
invented entities (1)
  • The generalized V-module H(W1, W2) no independent evidence
    purpose: Object characterized by universal properties that serves as internal Hom.
    Introduced via the construction in the paper; no independent evidence outside the construction is mentioned.

pith-pipeline@v0.9.1-grok · 5761 in / 1632 out tokens · 37215 ms · 2026-06-29T05:26:20.135464+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

34 extracted references · 5 canonical work pages · 1 internal anchor

  1. [1]

    Rationality, regularity, and C_2 -cofiniteness

    Toshiyuki Abe, Geoffrey Buhl, and Chongying Dong. Rationality, regularity, and C_2 -cofiniteness. Trans. Amer. Math. Soc. , 356(8):3391--3402, 2004

    2004

  2. [2]

    A spanning set for VOA modules

    Geoffrey Buhl. A spanning set for VOA modules. J. Algebra , 254(1):125--151, 2002

    2002

  3. [3]

    Tensor categories for vertex operator superalgebra extensions

    Thomas Creutzig, Shashank Kanade, and Robert McRae. Tensor categories for vertex operator superalgebra extensions. Mem. Amer. Math. Soc. , 295(1472):vi+181, 2024

    2024

  4. [4]

    \(N =1\) super Virasoro tensor categories

    Thomas Creutzig, Robert McRae, Florencia Orosz Hunziker, and Jinwei Yang. \(N =1\) super Virasoro tensor categories. Commun. Math. Phys. , 407(4):62, 2026. Id/No 73

    2026

  5. [5]

    Twisted intertwining operators and tensor products of (generalized) twisted modules

    Jishen Du and Yi-Zhi Huang. Twisted intertwining operators and tensor products of (generalized) twisted modules. Preprint, arXiv :2501.15003 [math. QA ] (2025), 2025

    work page arXiv 2025

  6. [6]

    Regularity of rational vertex operator algebras

    Chongying Dong, Haisheng Li, and Geoffrey Mason. Regularity of rational vertex operator algebras. Adv. Math. , 132(1):148--166, 1997

    1997

  7. [7]

    Modular-invariance of trace functions in orbifold theory and generalized M oonshine

    Chongying Dong, Haisheng Li, and Geoffrey Mason. Modular-invariance of trace functions in orbifold theory and generalized M oonshine. Comm. Math. Phys. , 214(1):1--56, 2000

    2000

  8. [8]

    Fusion products of twisted modules in permutation orbifolds

    Chongying Dong, Haisheng Li, Feng Xu, and Nina Yu. Fusion products of twisted modules in permutation orbifolds. Trans. Am. Math. Soc. , 377(3):1717--1760, 2024

    2024

  9. [9]

    Orbifolds and minimal modular extensions

    Chongying Dong, Siu-Hung Ng, and Li Ren. Orbifolds and minimal modular extensions. Adv. Math. , 462:Paper No. 110103, 43, 2025

    2025

  10. [10]

    On orbifold theory

    Chongying Dong, Li Ren, and Feng Xu. On orbifold theory. Adv. Math. , 321:1--30, 2017

    2017

  11. [11]

    Coset constructions and Kac - Wakimoto Hypothesis

    Chongying Dong, Li Ren, and Feng Xu. Coset constructions and Kac - Wakimoto Hypothesis . Preprint, arXiv :2404.00778 [math. QA ] (2024), 2024

    work page arXiv 2024

  12. [12]

    Tensor categories , volume 205 of Math

    Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. Tensor categories , volume 205 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2015

    2015

  13. [13]

    Frenkel, Yi-Zhi Huang, and James Lepowsky

    Igor B. Frenkel, Yi-Zhi Huang, and James Lepowsky. On axiomatic approaches to vertex operator algebras and modules. Mem. Am. Math. Soc. , 104(494), 1993

    1993

  14. [14]

    Frenkel, James Lepowsky, and Arne Meurman

    Igor B. Frenkel, James Lepowsky, and Arne Meurman. Vertex operator algebras and the monster , volume 134 of Pure Appl. Math., Academic Press . Boston etc.: Academic Press, Inc., 1988

    1988

  15. [15]

    Frenkel and Yongchang Zhu

    Igor B. Frenkel and Yongchang Zhu. Vertex operator algebras associated to representations of affine and V irasoro algebras. Duke Math. J. , 66(1):123--168, 1992

    1992

  16. [16]

    Logarithmic tensor category theory, II: Logarithmic formal calculus and properties of logarithmic intertwining operators

    Yi-Zhi Huang, James Lepowsky, and Lin Zhang. Logarithmic tensor category theory, II : Logarithmic formal calculus and properties of logarithmic intertwining operators. Preprint, arXiv :1012.4196 [math. QA ] (2010), 2010

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  17. [17]

    Differential equations and intertwining operators

    Yi-Zhi Huang. Differential equations and intertwining operators. Commun. Contemp. Math. , 7(3):375--400, 2005

    2005

  18. [18]

    Rigidity and modularity of vertex tensor categories

    Yi-Zhi Huang. Rigidity and modularity of vertex tensor categories. Commun. Contemp. Math. , 10:871--911, 2008

    2008

  19. [19]

    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

  20. [20]

    C_ 1 -cofiniteness and vertex tensor categories

    Yi-Zhi Huang. C_ 1 -cofiniteness and vertex tensor categories. Preprint, arXiv :2509.20737 [math. QA ] (2025), 2025

    work page arXiv 2025

  21. [21]

    Cofiniteness and P(z) -tensor product bifunctors in orbifold theories associated to abelian but not-necessarily-finite groups

    Yi-Zhi Huang. Cofiniteness and P(z) -tensor product bifunctors in orbifold theories associated to abelian but not-necessarily-finite groups. Preprint, arXiv :2601.12834 [math. QA ] (2026), 2026

    work page arXiv 2026

  22. [22]

    Local systems of vertex operators, vertex superalgebras and modules

    Haisheng Li. Local systems of vertex operators, vertex superalgebras and modules. J. Pure Appl. Algebra , 109(2):143--195, 1996

    1996

  23. [23]

    An analogue of the Hom functor and a generalized nuclear democracy theorem

    Haisheng Li. An analogue of the Hom functor and a generalized nuclear democracy theorem. Duke Math. J. , 93(1):73--114, 1998

    1998

  24. [24]

    Determining fusion rules by A(V) -modules and bimodules

    Haisheng Li. Determining fusion rules by A(V) -modules and bimodules. J. Algebra , 212(2):515--556, 1999

    1999

  25. [25]

    Some finiteness properties of regular vertex operator algebras

    Haisheng Li. Some finiteness properties of regular vertex operator algebras. J. Algebra , 212(2):495--514, 1999

    1999

  26. [26]

    Introduction to vertex operator algebras and their representations , volume 227 of Prog

    James Lepowsky and Haisheng Li. Introduction to vertex operator algebras and their representations , volume 227 of Prog. Math. Birkh \"a user, Boston, MA, 2004

    2004

  27. [27]

    A general mirror equivalence theorem for coset vertex operator algebras

    Robert McRae. A general mirror equivalence theorem for coset vertex operator algebras. Sci. China, Math. , 67(10):2237--2282, 2024

    2024

  28. [28]

    On rationality for C_2 -cofinite vertex operator algebras

    Robert McRae. On rationality for C_2 -cofinite vertex operator algebras. Camb. J. Math. , 14(1):1--115, 2026

    2026

  29. [29]

    Weak modules and logarithmic intertwining operators for vertex operator algebras

    Antun Milas. Weak modules and logarithmic intertwining operators for vertex operator algebras. In Recent developments in infinite-dimensional Lie algebras and conformal field theory. Proceedings of an international conference, Charlottesville, VA, USA, May 23--27, 2000 , pages 201--225. Providence, RI: American Mathematical Society (AMS), 2002

    2000

  30. [30]

    Logarithmic intertwining operators and vertex operators

    Antun Milas. Logarithmic intertwining operators and vertex operators. Commun. Math. Phys. , 277(2):497--529, 2008

    2008

  31. [31]

    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

  32. [32]

    \(C_1\) -cofiniteness and fusion products for vertex operator algebras

    Masahiko Miyamoto. \(C_1\) -cofiniteness and fusion products for vertex operator algebras. In Conformal field theories and tensor categories. Proceedings of a workshop held at Beijing International Center for Mathematical Research, Beijing, China, June 13--17, 2011 , pages 271--279. Heidelberg: Springer, 2014

    2011

  33. [33]

    Cofiniteness for twisted fusion products in vertex operator algebra theory

    Chao Yang and Yiyi Zhu. Cofiniteness for twisted fusion products in vertex operator algebra theory. Journal of Algebra , 707:34--64, 2026

    2026

  34. [34]

    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