pith. sign in

arxiv: 2606.22135 · v1 · 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-26 10:53 UTC · model grok-4.3

classification 🧮 math.QA
keywords vertex operator algebrasinternal Homrestricted modulesfusion rulesC1-cofinitenesstensor category
0
0 comments X

The pith

The generalized module H(W1, W2) realizes the internal Hom object in the tensor category of restricted modules over a vertex operator algebra.

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

The paper constructs a generalized V-module H(W1, W2) for restricted modules W1 and W2 that satisfies universal properties making it the internal hom. This construction agrees with logarithmic extensions of earlier modules and connects to dual products via canonical isomorphisms. Under the C1-cofiniteness condition, it yields finiteness results for the dual and associated fusion rules. A sympathetic reader would care because internal homs enable closed tensor categories, which are foundational for studying representations and fusion in vertex operator algebras.

Core claim

The authors construct the generalized V-module H(W1, W2) characterized by canonical universal properties. Under suitable hypotheses, this module realizes the internal Hom object in the tensor category of restricted V-modules. It agrees with the natural logarithmic generalization of Li's module Delta(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)' is naturally isomorphic to W1 ⊠ (W2)' and the corresponding fusion rules are finite.

What carries the argument

The generalized V-module H(W1, W2) with canonical universal properties, which serves as the candidate for the internal Hom.

If this is right

  • H(W1, W2) realizes the internal Hom in the tensor category of restricted V-modules.
  • There is a canonical isomorphism H(W1, (W2)') ≅ W1 ⊠_{P(z0)} W2.
  • Under C1-cofiniteness there is a natural isomorphism H(W1, W2)' ≅ W1 ⊠ (W2)' and the 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 construction may allow explicit calculations of spaces of intertwining operators in logarithmic settings.
  • Finiteness of fusion rules under C1-cofiniteness suggests the category behaves like a finite tensor category for many examples.
  • Compatibility with the P(z0)-dual product indicates that different approaches to the tensor structure on restricted modules can be unified.

Load-bearing premise

The modules W1 and W2 must be restricted V-modules, and V must satisfy the axioms that make the category of restricted modules a tensor category; finiteness requires the additional C1-cofiniteness condition on the modules.

What would settle it

A concrete counterexample would be a vertex operator algebra V and restricted modules W1, W2 where no module satisfies the universal property claimed for H(W1, W2), or where under C1-cofiniteness the fusion rules are infinite.

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

0 major / 3 minor

Summary. The paper constructs a generalized V-module Σ(W^{1}, W^{2}) for restricted V-modules W^{1} and W^{2} that is characterized by canonical universal properties. It proves that, under suitable hypotheses, this object realizes the internal Hom in the tensor category of restricted V-modules, agrees with the natural logarithmic generalization of Li's module Δ(W^{1}, W^{2}), and is canonically isomorphic to the P(z_{0})-dual product W^{1} ⊠_{P(z_{0})} W^{2} of Du and Huang. Under the C_{1}-cofiniteness condition the authors establish finiteness properties, including a natural isomorphism Σ(W^{1}, W^{2})' ≅ W^{1} ⊠ (W^{2})' and finiteness of the associated fusion rules.

Significance. If the derivations hold, the work supplies a universal-property construction of the internal Hom functor for restricted modules, a central missing piece for the tensor-category structure of logarithmic VOAs. The explicit agreement with Li's and Du-Huang's prior objects, together with the C_{1}-cofiniteness finiteness theorems, directly strengthens the foundations for fusion-rule computations in this setting. The approach via universal properties is clean and potentially extensible.

minor comments (3)
  1. Notation for the constructed object alternates between script H and plain H in the abstract and early sections; a single consistent symbol should be adopted throughout.
  2. The introduction should contain a short paragraph explicitly comparing the new universal-property construction with Li's original definition, rather than deferring the comparison entirely to a later section.
  3. Several displayed equations in the finiteness section would benefit from an additional sentence clarifying which hypotheses (restrictedness, C_{1}-cofiniteness, etc.) are active at each step.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments appear in the report, so there are no points requiring point-by-point response or revision.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs the generalized module H(W1, W2) explicitly via canonical universal properties and verifies that it satisfies the defining adjunction for the internal Hom in the tensor category of restricted V-modules. It then proves agreement with the logarithmic generalization of Li's Δ(W1, W2) and a canonical isomorphism to the independently constructed P(z0)-dual product of Du and Huang. Under the external C1-cofiniteness hypothesis it derives finiteness of fusion rules and an isomorphism to the fusion product. All load-bearing steps rest on the standard axioms for vertex operator algebras and restricted modules plus prior external constructions; no self-citations appear, no parameters are fitted, and no step reduces by definition or renaming to its own inputs. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claims rest on standard domain assumptions from vertex operator algebra theory rather than new free parameters or invented entities; full text would be needed to list any additional technical assumptions in the proofs.

axioms (3)
  • domain assumption V is a vertex operator algebra
    Invoked throughout as the base object whose restricted modules form the category under study.
  • domain assumption W1 and W2 are restricted V-modules
    Required for the definition and universal properties of H(W1, W2).
  • domain assumption The category of restricted V-modules admits a tensor structure
    Needed for the internal Hom to be realized inside that category.

pith-pipeline@v0.9.1-grok · 5761 in / 1575 out tokens · 32559 ms · 2026-06-26T10:53:00.657433+00:00 · methodology

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 · 1 linked inside Pith

  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

    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

    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

    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

    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

    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