Cocompletions for non-abelian vertex tensor categories

Cris Negron; Robert McRae

arxiv: 2606.07987 · v1 · pith:LBSAZ5DTnew · submitted 2026-06-06 · 🧮 math.QA · math-ph· math.CT· math.MP· math.RT

Cocompletions for non-abelian vertex tensor categories

Robert McRae , Cris Negron This is my paper

Pith reviewed 2026-06-27 19:09 UTC · model grok-4.3

classification 🧮 math.QA math-phmath.CTmath.MPmath.RT

keywords vertex operator algebrasC1-cofinite modulesbraided monoidal categoriesfiltered colimitscocompletiongeneralized modulesmonoidal structure extension

0 comments

The pith

The braided monoidal structure on C1-cofinite modules extends uniquely to their filtered colimit completion inside generalized modules.

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

This paper shows that a braided monoidal structure previously defined on C1-cofinite modules for a vertex operator algebra extends uniquely to a natural braided monoidal structure on the completion of that category under filtered colimits. The completion is taken inside the larger category of all generalized modules for the algebra. The extension is vertex algebraically natural and does not require the original category to be abelian or its objects to be compact. This matters because many vertex operator algebras appear as objects in such completions, so the result applies directly to their representation theory and to extensions of vertex operator algebras. The authors also prove a general abstract result about extending monoidal structures along dense inclusions into cocomplete categories.

Core claim

The central claim is that the braided monoidal structure on the category of C1-cofinite modules for any vertex operator algebra V extends uniquely to a vertex algebraically natural braided monoidal structure on the filtered colimit completion of this category, taken inside the ambient category of all generalized V-modules. This extension does not rely on the category being abelian or on the C1-cofinite modules being compact objects in the cocompletion. The authors demonstrate that the naturality survives the colimit process and provide a general theorem for extending monoidal structures along dense inclusions from essentially small monoidal categories to well-structured cocomplete targets.

What carries the argument

The filtered colimit completion of the category of C1-cofinite V-modules within generalized V-modules, which carries the uniquely extended vertex-algebraically natural braided monoidal structure.

If this is right

Many vertex operator algebras realized as objects in the completion now have a well-defined braided monoidal structure on their modules.
The structure applies to the representation theory of vertex operator algebra extensions.
The extension preserves vertex algebraic naturality in the larger category.
The general result on monoidal extensions applies to other essentially small dense monoidal categories in cocomplete targets.

Where Pith is reading between the lines

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

This approach may enable tensor product constructions for modules obtained as filtered colimits of C1-cofinite ones.
The abstract theorem could extend monoidal structures in other areas of algebra where abelianness fails.
Concrete examples with specific vertex operator algebras could test the extension's properties in practice.

Load-bearing premise

The braided monoidal structure on C1-cofinite modules remains vertex-algebraically natural when passing to the filtered colimit completion without the category being abelian or objects being compact.

What would settle it

Construction of a vertex operator algebra where the braided monoidal structure on C1-cofinite modules does not extend uniquely or naturally to the filtered colimit completion in generalized modules.

read the original abstract

It was recently shown by Huang that the category of $C_1$-cofinite modules for any vertex operator algebra $V$ admits a natural braided monoidal structure. Here, we show that this structure extends uniquely to a vertex algebraically natural braided monoidal structure on the completion of the category of $C_1$-cofinite $V$-modules under filtered colimits, within the ambient category of all generalized $V$-modules. A critical point here is that we do not assume the category of $C_1$-cofinite $V$-modules is abelian or that $C_1$-cofinite modules are compact in the cocompletion, since these properties are not known to hold in general. Our results have many applications in the representation theory of vertex operator algebra extensions, since many vertex operator algebras can be realized as objects in the filtered colimit completion of the category of $C_1$-cofinite modules for a vertex operator subalgebra. Generalizing from the specific vertex algebraic setting, we also establish existence and uniqueness for extensions of monoidal structures along a dense inclusion $\mathscr{C}_0 \to \mathscr{C}$ from an abstract, essentially small monoidal category into a well-structured cocomplete target.

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.

Desk Editor's Note private letter to a colleague

The paper shows Huang's braided monoidal structure on C1-cofinite V-modules extends uniquely to the filtered colimit completion inside generalized modules without abelian or compact assumptions, via a general theorem on monoidal extensions along dense inclusions.

read the letter

The main takeaway is that this work gives a systematic extension of Huang's braided structure to the filtered colimit completion of C1-cofinite modules inside generalized V-modules, and it does so without assuming the source category is abelian or that objects are compact. That avoidance is the key technical move, since those properties often fail for vertex algebras.

What stands out is the general existence-uniqueness theorem for extending monoidal structures from an essentially small monoidal category along a dense inclusion into a cocomplete target. The VOA application follows from that theorem plus the claim that the extension preserves vertex-algebraic naturality. This organizes constructions for VOA extensions that previously had to be handled case by case.

The argument appears to rest on Huang's prior result plus standard categorical density, with no visible circularity in the stated conditions. The stress-test note confirms the load-bearing assumption holds on its own terms. The only soft spot is that full verification of how naturality survives the colimits would need the detailed lemmas in the body; the abstract states the outcome but does not show the steps.

This is aimed at researchers working on representation theory of vertex operator algebras, particularly those studying module categories for extensions. A reader already familiar with Huang's work and categorical completions will get the most out of it. The result is grounded enough and addresses a real gap, so it deserves a serious referee even if some details need tightening in revision.

Referee Report

1 major / 1 minor

Summary. The paper proves that Huang's braided monoidal structure on the category of C1-cofinite modules for a vertex operator algebra V extends uniquely to a vertex-algebraically natural braided monoidal structure on the filtered colimit completion of that category inside the category of all generalized V-modules. The extension is constructed without assuming the source category is abelian or that the C1-cofinite modules are compact. A general existence-uniqueness theorem is also established for extending monoidal structures along dense inclusions from an essentially small monoidal category C0 into a well-structured cocomplete target category C.

Significance. If the central claims hold, the result is significant for VOA representation theory because many vertex operator algebras arise as objects in such filtered colimit completions of C1-cofinite module categories for subalgebras; the construction therefore supplies braided monoidal structures on categories that were previously inaccessible. The general categorical theorem is a useful contribution to the study of monoidal structures on non-abelian cocompletions and avoids the usual compactness or abelian hypotheses that often fail in this setting.

major comments (1)

[Abstract / general theorem statement] The manuscript states that the braided monoidal structure on C1-cofinite modules is 'vertex algebraically natural' and that this property survives the passage to the filtered colimit completion, but the precise definition of this naturality condition (and the verification that it is preserved) is not visible from the abstract; if this is only checked in a later section, the load-bearing step for the VOA application should be highlighted explicitly.

minor comments (1)

[Abstract] The abstract mentions applications to VOA extensions but does not indicate whether any concrete new example is computed in the paper; adding a brief sentence on this point would help readers assess immediate utility.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive recommendation of minor revision and for identifying a point that will improve the clarity of the abstract. We address the comment below.

read point-by-point responses

Referee: [Abstract / general theorem statement] The manuscript states that the braided monoidal structure on C1-cofinite modules is 'vertex algebraically natural' and that this property survives the passage to the filtered colimit completion, but the precise definition of this naturality condition (and the verification that it is preserved) is not visible from the abstract; if this is only checked in a later section, the load-bearing step for the VOA application should be highlighted explicitly.

Authors: We agree that the abstract would benefit from a more explicit highlight of the naturality condition and its preservation. The term 'vertex algebraically natural' is defined in Definition 3.2, and the key extension result (including preservation under filtered colimits) is stated and proved as Theorem 4.5, which is the central step for the VOA applications. We will revise the abstract to add a short parenthetical clause or sentence that points to this definition and theorem, thereby foregrounding the load-bearing verification without changing the overall length or technical content. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via external theorem and general categorical result

full rationale

The central claim extends Huang's braided monoidal structure on C1-cofinite modules to a filtered colimit completion using a general existence/uniqueness theorem for monoidal extensions along dense inclusions C0 → C. This general theorem is proved in the paper itself as an abstract categorical result independent of the vertex algebra setting. No load-bearing steps reduce by definition, by fitting parameters, or by self-citation chains; Huang's result is cited as external input, and the extension avoids abelian/compact hypotheses by design. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper starts from Huang's existence of a braided monoidal structure and standard facts about filtered colimits and dense inclusions in cocomplete categories; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption Category of C1-cofinite V-modules admits a natural braided monoidal structure (Huang)
Invoked as the starting point for the extension result.
standard math Filtered colimits exist in the ambient category of generalized V-modules
Standard assumption in the ambient category theory setting.

pith-pipeline@v0.9.1-grok · 5762 in / 1263 out tokens · 25980 ms · 2026-06-27T19:09:29.763537+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 3 linked inside Pith

[1]

Ji˘ r´ ı Ad´ amek and Ji˘ r´ ı Rosick´ y,Locally Presentable and Accessible Categories, London Math- ematical Society Lecture Note Series189, Cambridge University Press, Cambridge, 1994, xiv+316 pp

1994
[2]

1472, vi+181 pp

Thomas Creutzig, Shashank Kanade and Robert McRae, Tensor categories for vertex operator superalgebra extensions,Memoirs of the American Mathematical Society295(2024), no. 1472, vi+181 pp

2024
[3]

2, Paper No

Thomas Creutzig, Robert McRae and Jinwei Yang, Direct limit completions of vertex tensor categories,Communications in Contemporary Mathematics24(2022), no. 2, Paper No. 2150033, 60 pp

2022
[4]

Thomas Creutzig, Gurbir Dhillon and Shigenori Nakatsuka, The Kazhdan-Lusztig category ofW-algebras of simply-laced Lie algebras at irrational levels, arXiv:2603.04667

arXiv
[5]

Yi-Zhi Huang,C 1-cofiniteness and vertex tensor categories, arXiv:2509.20737

arXiv
[6]

and James Lepowsky, Braided tensor categories and extensions of vertex operator algebras,Communications in Mathematical Physics337(2015), no

Yi-Zhi Huang, Alexander Kirillov, Jr. and James Lepowsky, Braided tensor categories and extensions of vertex operator algebras,Communications in Mathematical Physics337(2015), no. 3, 1143–1159

2015
[7]

Yi-Zhi Huang, James Lepowsky and Lin Zhang, Logarithmic tensor category theory for gen- eralized modules for a conformal vertex algebra, I: Introduction and strongly graded algebras and their generalized modules,Conformal Field Theories and Tensor Categories, 169–248, Math. Lect. Peking Univ., Springer, Heidelberg, 2014. 38

2014
[8]

Yi-Zhi Huang, James Lepowsky and Lin Zhang, Logarithmic tensor category theory for gener- alized modules for a conformal vertex algebra, II: Logarithmic formal calculus and properties of logarithmic intertwining operators, arXiv:1012.4196

Pith/arXiv arXiv
[9]

Yi-Zhi Huang, James Lepowsky and Lin Zhang, Logarithmic tensor category theory for gen- eralized modules for a conformal vertex algebra, III: Intertwining maps and tensor product bifunctors, arXiv:1012.4197

Pith/arXiv arXiv
[10]

Yi-Zhi Huang, James Lepowsky and Lin Zhang, Logarithmic tensor category theory for gen- eralized modules for a conformal vertex algebra, VIII: Braided tensor category structure on categories of generalized modules for a conformal vertex algebra, arXiv:1110.1931

Pith/arXiv arXiv 1931
[11]

Masaki Kashiwara and Pierre Schapira,Categories and Sheaves, Grundlehren der mathema- tischen Wissenschaften332, Springer-Verlag, Berlin, 2006, x+497 pp

2006
[12]

Gregory Maxwell Kelly,Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Note Series64, Cambridge University Press, Cambridge-New York, 1982, 245 pp

1982
[13]

Jacob Lurie, Kerodon,kerodon.net, accessed 2025

2025
[14]

Saunders Mac Lane.Categories for the Working Mathematician, 2nd edition, Graduate Texts in Mathematics5, Springer-Verlag, New York, 1998, xii+314 pp

1998
[15]

2, 439–473

Fyodor Malikov, Vadim Schechtman and Arkady Vaintrob, Chiral de Rham complex,Com- munications in Mathematical Physics204(1999), no. 2, 439–473

1999
[16]

Masahiko Miyamoto,C 1-cofiniteness and fusion products of vertex operator algebras,Con- formal Field Theories and Tensor Categories, 271–279, Math. Lect. Peking Univ., Springer, Heidelberg, 2014

2014
[17]

25-26, 3693–3702

Werner Nahm, Quasi-rational fusion products,International Journal of Modern Physics B 8(1994), no. 25-26, 3693–3702

1994
[18]

The Stacks Project authors, Stacks Project,stacks.math.columbia.edu, accessed 2025. Yau Mathematical Sciences Center, Tsinghua University, Beijing 100084, China Email address:rhmcrae@tsinghua.edu.cn Department of Mathematics, University of Southern California, Los Angeles, CA 90007 Email address:cnegron@usc.edu

2025

[1] [1]

Ji˘ r´ ı Ad´ amek and Ji˘ r´ ı Rosick´ y,Locally Presentable and Accessible Categories, London Math- ematical Society Lecture Note Series189, Cambridge University Press, Cambridge, 1994, xiv+316 pp

1994

[2] [2]

1472, vi+181 pp

Thomas Creutzig, Shashank Kanade and Robert McRae, Tensor categories for vertex operator superalgebra extensions,Memoirs of the American Mathematical Society295(2024), no. 1472, vi+181 pp

2024

[3] [3]

2, Paper No

Thomas Creutzig, Robert McRae and Jinwei Yang, Direct limit completions of vertex tensor categories,Communications in Contemporary Mathematics24(2022), no. 2, Paper No. 2150033, 60 pp

2022

[4] [4]

Thomas Creutzig, Gurbir Dhillon and Shigenori Nakatsuka, The Kazhdan-Lusztig category ofW-algebras of simply-laced Lie algebras at irrational levels, arXiv:2603.04667

arXiv

[5] [5]

Yi-Zhi Huang,C 1-cofiniteness and vertex tensor categories, arXiv:2509.20737

arXiv

[6] [6]

and James Lepowsky, Braided tensor categories and extensions of vertex operator algebras,Communications in Mathematical Physics337(2015), no

Yi-Zhi Huang, Alexander Kirillov, Jr. and James Lepowsky, Braided tensor categories and extensions of vertex operator algebras,Communications in Mathematical Physics337(2015), no. 3, 1143–1159

2015

[7] [7]

Yi-Zhi Huang, James Lepowsky and Lin Zhang, Logarithmic tensor category theory for gen- eralized modules for a conformal vertex algebra, I: Introduction and strongly graded algebras and their generalized modules,Conformal Field Theories and Tensor Categories, 169–248, Math. Lect. Peking Univ., Springer, Heidelberg, 2014. 38

2014

[8] [8]

Yi-Zhi Huang, James Lepowsky and Lin Zhang, Logarithmic tensor category theory for gener- alized modules for a conformal vertex algebra, II: Logarithmic formal calculus and properties of logarithmic intertwining operators, arXiv:1012.4196

Pith/arXiv arXiv

[9] [9]

Yi-Zhi Huang, James Lepowsky and Lin Zhang, Logarithmic tensor category theory for gen- eralized modules for a conformal vertex algebra, III: Intertwining maps and tensor product bifunctors, arXiv:1012.4197

Pith/arXiv arXiv

[10] [10]

Yi-Zhi Huang, James Lepowsky and Lin Zhang, Logarithmic tensor category theory for gen- eralized modules for a conformal vertex algebra, VIII: Braided tensor category structure on categories of generalized modules for a conformal vertex algebra, arXiv:1110.1931

Pith/arXiv arXiv 1931

[11] [11]

Masaki Kashiwara and Pierre Schapira,Categories and Sheaves, Grundlehren der mathema- tischen Wissenschaften332, Springer-Verlag, Berlin, 2006, x+497 pp

2006

[12] [12]

Gregory Maxwell Kelly,Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Note Series64, Cambridge University Press, Cambridge-New York, 1982, 245 pp

1982

[13] [13]

Jacob Lurie, Kerodon,kerodon.net, accessed 2025

2025

[14] [14]

Saunders Mac Lane.Categories for the Working Mathematician, 2nd edition, Graduate Texts in Mathematics5, Springer-Verlag, New York, 1998, xii+314 pp

1998

[15] [15]

2, 439–473

Fyodor Malikov, Vadim Schechtman and Arkady Vaintrob, Chiral de Rham complex,Com- munications in Mathematical Physics204(1999), no. 2, 439–473

1999

[16] [16]

Masahiko Miyamoto,C 1-cofiniteness and fusion products of vertex operator algebras,Con- formal Field Theories and Tensor Categories, 271–279, Math. Lect. Peking Univ., Springer, Heidelberg, 2014

2014

[17] [17]

25-26, 3693–3702

Werner Nahm, Quasi-rational fusion products,International Journal of Modern Physics B 8(1994), no. 25-26, 3693–3702

1994

[18] [18]

The Stacks Project authors, Stacks Project,stacks.math.columbia.edu, accessed 2025. Yau Mathematical Sciences Center, Tsinghua University, Beijing 100084, China Email address:rhmcrae@tsinghua.edu.cn Department of Mathematics, University of Southern California, Los Angeles, CA 90007 Email address:cnegron@usc.edu

2025