Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

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

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read The paper proves that the subspace underlying the P(z)-tensor product of twisted modules consists exactly of the functionals satisfying the P(z)-compatibility and P(z)-local-grading-restriction conditions.

desk verdict A serious analytic step toward G-crossed tensor categories of twisted modules, but the central equality rests on an omitted proof that should not be waved through. read the letter →

arxiv 2501.15003 v2 pith:BBGHYB5K submitted 2025-01-25 math.QA hep-th

classification math.QAhep-th MSC 17B6918M1581T40
keywords vertexoperatoralgebratwistedmodulesintertwiningoperatorsP(z)-tensorproductG-crossedbraidedtensorcategoryP(z)-compatibilityconditionlocalgradingrestrictionorbifoldconformalfieldtheory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper works inside the representation theory of vertex operator algebras and tries to give a tensor product for twisted modules—modules twisted by automorphisms of the algebra—evaluated at an arbitrary nonzero complex number $z$. Its central object is the most general twisted intertwining operator, a map that packages the correlation functions between twisted modules without forcing them to have the explicit algebraic form used in earlier work. Using these operators, the paper defines a $P(z)$-tensor product, proves the skew-symmetry and contragredient isomorphisms that let two factors be exchanged or dualized, and constructs $G$-crossed commutativity and braiding isomorphisms. The culminating claim is analytic: a linear functional on $W_1 \otimes W_2$ lies in the subspace $W_1 \, P(z) \, W_2$ building the tensor product exactly when it satisfies a $P(z)$-compatibility condition and a $P(z)$-local-grading-restriction condition.

What carries the argument

The load-bearing machinery is the general twisted intertwining operator $Y: W_1 \otimes W_2 \to W_3\{x\}[\log x]$, defined by lower truncation, a duality property phrased through maximally extended multivalued analytic functions on $M^2$ with regular singularities, convergence for products with more than one twisted vertex operator, and the $L(-1)$-derivative property. On top of this sit the skew-symmetry isomorphisms $\Omega_\pm$ and contragredient isomorphisms $A_\pm$ between spaces of twisted intertwining operators. The second construction is analytic: the $P(z)$-compatibility condition, in which each $\lambda$ is assigned the functions $f_l$ on $M^l(0,z)$ whose branches reproduce the series $\lambda(Y^{g_1}(u_1, z_1 - z) w_1 \otimes w_2)$ and $\lambda(w_1 \otimes Y^{g_2}(u_1,z_1) \cdots Y^{g_2}(u_l,z_l) w_2)$, and the local-grading-restriction condition controlling $L'_{P(z)}(0)$ and the generated space $W_\lambda$. The equality $W_1 \, P(z) \, W_2 = \mathrm{COMP} \cap \mathrm{LGR}$ is what makes the analytic conditions a complete description.

What would settle it

Exhibit a vertex operator algebra, automorphisms $g_1$, $g_2$, and grading-restricted twisted modules for which either some element of $W_1 \, P(z) \, W_2$ fails to have the required analytic functions $f_l$, or a functional satisfying the $P(z)$-compatibility and $P(z)$-local-grading-restriction conditions cannot be realized by a twisted $P(z)$-intertwining map; either observation would falsify $W_1 \, P(z) \, W_2 = \mathrm{COMP} \cap \mathrm{LGR}$.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 5.10: for grading-restricted twisted modules $W_1$, $W_2$, an element $\lambda$ of $(W_1 \otimes W_2)^*$ belongs to $W_1 \, P(z) \, W_2$ if and only if $\lambda$ satisfies the $P(z)$-compatibility condition and the $P(z)$-local-grading-restriction condition, so $W_1 \, P(z) \, W_2 = \mathrm{COMP} \cap \mathrm{LGR}$. The $P(z)$-compatibility condition asks that certain multivalued analytic functions $f_l$ on $M^l(0,z)$ exist with regular singularities and prescribed convergence to the series in (5.9) and (5.10); the local-grading-restriction condition asks that $\lambda$ is a finite sum of generalized eigenvectors of $L'_{P(z)}(0)$ and that the module $W_\lambda$ generated from $\lambda$ by vertex-operator coefficients is grading restricted and lower bounded. The theorem also proves that $W_\lambda$ with the twisted vertex operator $Y^{(g_1g_2)^{-1}}_{P(z)}$ is a grading-restricted $(g_1g_2)^{-1}$-twisted module. The converse direction constructs, from such a $\lambda$, a twisted $P(z)$-intertwining map $I$ whose associated functional is $\lambda$ itself, realizing $\lambda$ as an element of $W_1 \, P(z) \, W_2$.

Load-bearing premise

Everything rests on the existence, for each candidate functional $\lambda$, of the multivalued analytic functions $f_l$ on $M^l(0,z)$ with regular singularities that converge to the prescribed series in (5.9) and (5.10); the proof that actual elements of $W_1 \, P(z) \, W_2$ produce these functions is only sketched, and the reverse direction in Theorem 5.10 uses the same existence.

Editorial extensions

If this is right

  • If the equality in Theorem 5.10 is correct, the $P(z)$-tensor product of two twisted modules is completely described by two analytic conditions, giving a second, independent construction of the tensor product.
  • The skew-symmetry and contragredient isomorphisms imply that spaces of twisted intertwining operators of related types are linearly isomorphic, so fusion-rule dimensions are invariant under these transformations.
  • The constructed $G$-crossed commutativity and braiding isomorphisms supply the structural maps needed for a $G$-crossed braided tensor category on the category of twisted modules.
  • The paper's analytic formulation of compatibility, replacing a Jacobi-identity-based condition, is intended to support a future proof of associativity of twisted intertwining operators and an associativity isomorphism for the $P(z)$-tensor product bifunctors.
  • Under finite fusion-rule assumptions, the paper shows the space $W_1 \, P(z) \, W_2$ is itself a grading-restricted twisted module, so the tensor product bifunctor stays inside the desired category.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper leaves open the strength of Proposition 5.1: its proof is omitted, yet the claim that elements of $W_1 \, P(z) \, W_2$ satisfy the $P(z)$-compatibility condition depends on exactly that existence of the analytic functions $f_l$; a counterexample to that existence for actual twisted modules would break the equality and the second construction.
  • Because the paper's modules allow logarithms and non-semisimple $L(0)$ from the outset, the same analytic compatibility scheme may transfer to logarithmic twisted modules; testing $\mathrm{COMP} \cap \mathrm{LGR}$ on a concrete affine or lattice orbifold example would show whether the conditions are practically verifiable.
  • The construction of $G$-crossed braiding suggests that associativity of twisted intertwining operators, not commutativity, is the next bottleneck; if the $P(z)$-compatibility functions satisfy a higher-valence analogue, the $G$-crossed braided tensor category conjecture would follow the same route as the untwisted case.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. This paper develops a general analytic framework for twisted intertwining operators among (generalized) twisted modules of a vertex operator algebra and uses it to construct P(z)-tensor products. After introducing a notion of twisted intertwining operator whose correlation functions are not required to have the explicit form used in earlier work, the authors prove skew-symmetry and contragredient isomorphisms, define P(z)-tensor products under Assumption 4.4, construct G-crossed commutativity and braiding isomorphisms, and characterize the space W1 P(z)W2 by two analytic conditions. The central result is Theorem 5.10, which asserts that W1 P(z)W2 = COMP ∩ LGR, where COMP is the P(z)-compatibility condition and LGR is the P(z)-local-grading-restriction condition.

Significance. If the analytic assertions in Section 5 are fully established, this is a substantial step toward a logarithmic tensor-category theory for twisted modules and toward the G-crossed braided tensor category conjecture for orbifold conformal field theory. The paper's strengths are its careful setup of multivalued analytic correlation functions, the detailed proofs of Theorems 3.1 and 3.3 for the skew-symmetry and contragredient isomorphisms, the functorial construction of the P(z)-tensor product in Theorem 4.6, the finiteness criterion in Theorem 4.8, and the substantial convergence lemma in Appendix A. The proposed characterization W1 P(z)W2 = COMP ∩ LGR is conceptually clean and, if correct, would give a complete analytic description of the tensor-product space. The main weakness is that several load-bearing analytic statements, especially Proposition 5.1 and Proposition 5.8, are asserted without proof.

major comments (3)
  1. [§5, Proposition 5.1] The proof of Proposition 5.1 is omitted with the sentence "This result can be easily verified... We omit the details." This proposition is the forward half of Theorem 5.10 and is the only source of the analytic functions f_l in the P(z)-compatibility condition. It must prove that for λ_{I,w'_3}, the functions in (5.1) exist on M^l(0,z), that they have poles at z_i = z_j rather than merely regular singularities, and that the branch identifications (5.4), (5.5), (5.9), and (5.10) hold. Definition 2.7(3) only guarantees regular singularities for products with more than one twisted vertex operator, and a regular singularity in the sense of Definition 2.5 may contain logarithmic terms, whereas Proposition 5.1(1)(a) requires a pole. This gap is load-bearing: if logarithmic terms occur at z_i - z_j for some logarithmic twisted module, then λ_{I,w'_3} is not in COMP and the forward inclusion in Theorem 5.10 fails as stated.
  2. [§5, Proposition 5.8] The proof of Proposition 5.8 is also omitted, with the explanation "The proof of this result is a straightforward verification." This proposition asserts that W_{λ_{I,w'_3}}, equipped with Y_{P(z)}^{(g1g2)^{-1}}, is a generalized (g1g2)^{-1}-twisted V-module in C. This assertion is needed to show that elements of W1 P(z)W2 satisfy the P(z)-local-grading-restriction condition and to justify the existence of the (g1g2)^{-1}-action used in the forward direction of Theorem 5.10. Because the module structure is generated by the coefficients of Y_{P(z)}^{(g1g2)^{-1}}, the verification must include the equivariance property, the duality property for products with more than one vertex operator, and the L(0)-grading condition. These properties do not follow formally from Proposition 5.5, so a complete proof is necessary.
  3. [§5, Theorem 5.10, reverse direction] The reverse direction of Theorem 5.10 constructs the twisted intertwining operator Y_I and requires the assertion, stated as "easy to see," that Y_{P(z)}^{(g1g2)^{-1}} is an intertwining operator of the indicated type when W'_λ, W1, and W2 are viewed as modules for the fixed point subalgebra V^{⟨g1,g2⟩}. The proof of this assertion is not given. The subsequent argument also relies on analytic continuation of the right-hand side of (5.56) to a multivalued analytic function on M^k(0,z) after the substitutions ξ_i = z z_i z_k^{-1}, but the convergence and the regularity of the resulting function at ξ_i = 0, ξ_i = z, and ξ_i = ξ_j are not verified. Since this is the second construction of the P(z)-tensor product and the "if" direction of the characterization, these analytic steps need a full proof rather than a sketch.
minor comments (5)
  1. [Throughout] There are numerous typographical errors, including "staisfying" in Theorem 1.1, "natrual" in the introduction, "isomorphsims" in the abstract and Section 3, and "geralized" in the references.
  2. [§5, Equations (5.4)–(5.5) and (5.9)–(5.10)] In the substitution formulas for the series, the variable in the exponent is written as z1 in several places where the intended variable is z_i; for example, x_i^n = e^{n l0(z1)} should read x_i^n = e^{n l0(z_i)}.
  3. [§5, Equation (5.8)] The product in condition 1(a) of the P(z)-compatibility condition is written as ∏_{1≤i<j≤n}(z_i - z_j)^{M_{ij}}, but the function is f_l with l variables; the index n should be l.
  4. [§5, Proof of Theorem 5.10] In the convergence discussion for products with k variables, the text refers to the region M^{k-1}(0,z), but the context and the preceding displayed formula indicate that the region should be M^k(0,z).
  5. [§2, Definition 2.7(3)] In condition 3 of Definition 2.7, the symbol π_{k-1}Y(w1,z2) appears where the last variable should be z_k; this likely is a typo for π_{k-1}Y(w1,z_k).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 5.10 is a genuine characterization whose reverse direction constructs a new twisted module, not a definitional restatement.

full rationale

I walked the derivation chain from Definitions 2.1 and 2.7 through the skew-symmetry and contragredient isomorphisms (Section 3), the P(z)-tensor product construction (Section 4), and the compatibility/grading-restriction characterization (Section 5). The central equality W1P(z)W2 = COMP ∩ LGR (Theorem 5.10) is not circular: the P(z)-compatibility condition is an independently formulated analytic condition (existence of multivalued functions f_l with pole/regular-singularity and branch/convergence properties (5.6)–(5.10)), not a restatement of membership in W1P(z)W2. The reverse direction of Theorem 5.10 constructs W_λ and Y_I from the compatibility and local-grading-restriction hypotheses and proves that Y_I is a twisted intertwining operator, so the identification is substantive. The forward direction does rely on Proposition 5.1 and Proposition 5.8, both of which are asserted with 'We omit the details'; that is a proof gap, not a circular reduction. The paper also leans on the authors' prior work, e.g., [H9], [H12], and [HLZ2]–[HLZ5], including the use of (5.85) and (5.110) from [HLZ3] to obtain L'_{P(z)}(0). Those citations are to independent published constructions with stated assumptions, and none is used to define the target set COMP ∩ LGR as W1P(z)W2 by fiat. No step exhibits the required pattern of a fitted input being renamed as a prediction, a uniqueness theorem being imported from the authors' own prior work to forbid alternatives, or a known result being merely relabeled. The main correctness risk is the omitted analytic verification in Propositions 5.1 and 5.8, not circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted. The central construction rests on analytic regularity axioms for twisted intertwining operators, on Assumption 4.4 and the finiteness conditions of Theorem 4.8, and on the P(z)-compatibility and local-grading-restriction conditions introduced in Section 5. The paper also invokes results from the authors' prior work and the unpublished thesis [D]. No new physical entities are postulated.

assumptions (5)
  • domain assumption Definition 2.7(3): products of more than one twisted vertex operator with a twisted intertwining operator converge and extend to multivalued analytic functions on M^k with only regular singularities.
    This convergence and analytic extension axiom is assumed in the definition of twisted intertwining operator and is used throughout. If it fails for interesting vertex operator algebras, the tensor product construction collapses.
  • ad hoc to paper Assumption 4.4: W1 P(z) W2 is in C, contragredients of objects are in C, and double contragredients are equivalent to the original objects.
    The tensor product construction depends on this assumption. Theorem 4.8 gives sufficient conditions, but Assumption 4.4 is not proved in full generality.
  • domain assumption Conditions in Theorem 4.8: finitely many inequivalent irreducible grading-restricted g-twisted V-modules, complete reducibility of objects, and finite fusion rules.
    Standard finiteness assumptions in vertex operator algebra representation theory; they are used to prove that W1 P(z) W2 is in the category C.
  • ad hoc to paper P(z)-compatibility and P(z)-local-grading-restriction conditions for λ.
    These conditions are introduced in Section 5 and Theorem 5.10 asserts they characterize W1 P(z) W2. They are new analytic axioms specific to this paper.
  • standard math The results of [HLZ3] on the vertex operator Y'_{P(z)}(ω,x) acting on (W1 ⊗ W2)* are applicable to the fixed-point subalgebra V^{⟨g1,g2⟩}.
    The proof of Proposition 5.9 and parts of Theorem 5.10 rely on applying cited results from [HLZ3] without reproving them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Twisted intertwining operators and tensor products of (generalized) twisted modules." pith.science (2026). https://pith.science/paper/BBGHYB5K

@misc{pith2026250115003,
  author       = {Pith},
  title        = {Pith review of: Twisted intertwining operators and tensor products of (generalized) twisted modules},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BBGHYB5K}},
  note         = {Machine review of arXiv:2501.15003}
}
abstract

We study the general twisted intertwining operators (intertwining operators among twisted modules) for a vertex operator algebra $V$. We give the skew-symmetry and contragredient isomorphisms between spaces of twisted intertwining operators and also prove some other properties of twisted intertwining operators. Using twisted intertwining operators, we introduce a notion of $P(z)$-tensor product of two objects for $z\in \mathbb{C}^{\times}$ in a category of suitable $g$-twisted $V$-modules for $g$ in a group of automorphisms of $V$ and give a construction of such a $P(z)$-tensor product under suitable assumptions. We also construct $G$-crossed commutativity isomorphisms and $G$-crossed braiding isomorphisms. We formulate a $P(z)$-compatibility condition and a $P(z)$-grading-restriction condition and use these conditions to give another construction of the $P(z)$-tensor product.

Figures

Figures reproduced from arXiv: 2501.15003 by the authors.

Figure 1
Figure 1. The loop for b12 [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. The loop for b23 at 0 (see [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. The loop for b13 For δ ∈ (C ∪ {∞}) n , we say that (ζ1, . . . , ζn) = δ is a component-isolated singularity of f(z1, . . . , zn) if (ζ1, . . . , ζn) = δ is a component-isolated singularity of g(ζ1, . . . , ζn). Remark 2.4 Notice that (ζ1, . . . , ζn)(= (z1, . . . , zn)A − β) = δ being a component-isolated singularity of a function is not equivalent to (z1, . . . , zn) = δA−1 + βA−1 being a component￾isolated singula… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Cofiniteness for Twisted Fusion Products in Vertex Operator Algebra Theory

    math.QA 2025-11 conditional novelty 7.0 of 10

    Fusion of two C1-cofinite twisted modules of a vertex operator algebra preserves C1-cofiniteness and produces a generalized twisted module satisfying the universal fusion property.

Reference graph

Works this paper leans on

43 extracted references · 34 canonical work pages · cited by 1 Pith paper

  1. [1]

    Carnahan, M

    S. Carnahan, M. Miyamoto, Regularity of fixed-point vertex operator subalgebras, to appear; arXiv:1603.05645

  2. [2]

    Dixon, J

    L. Dixon, J. Harvey, C. Vafa and E. Witten, Strings on orbifolds, Nucl. Phys. B261 (1985), 678--686

  3. [3]

    Dixon, J

    L. Dixon, J. Harvey, C. Vafa and E. Witten, Strings on orbifolds, II, Nucl. Phys. B274 (1986), 285--314

  4. [4]

    Du, Ph.D

    J. Du, Ph.D. thesis, Rutgers University, in preparation

  5. [5]

    van Ekeren, S

    J. van Ekeren, S. M\" o ller, N. R. Scheithauer, Construction and classification of holomorphic vertex operator algebras. J. Reine Angew. Math. 759 (2020), 61--99

  6. [6]

    Frenkel, J

    I. Frenkel, J. Lepowsky and A. Meurman, A natural representation of the Fischer-Griess Monster with the modular function J as character, Proc. Natl. Acad. Sci. USA 81 (1984), 3256--3260

  7. [7]

    Frenkel, J

    I. Frenkel, J. Lepowsky and A. Meurman, Vertex operator calculus, in: Mathematical Aspects of String Theory, Proc. 1986 Conference, San Diego, ed. by S.-T. Yau, World Scientific, Singapore, 1987, 150--188

  8. [8]

    I. B. Frenkel, J. Lepowsky and A. Meurman, Vertex Operator Algebras and the Monster , Pure and Appl. Math., Vol. 134, Academic Press, Boston, 1988

Show all 43 references
  1. [9]

    Huang, A theory of tensor products for module categories for a vertex operator algebra, IV, J

    Y.-Z. Huang, A theory of tensor products for module categories for a vertex operator algebra, IV, J. Pure Appl. Alg. 100 (1995) 173--216

  2. [10]

    Huang, Generalized rationality and a Jacobi identity for intertwining operator algebras, Selecta Math

    Y.-Z. Huang, Generalized rationality and a Jacobi identity for intertwining operator algebras, Selecta Math. 6 (2000), 225--267

  3. [11]

    Huang, Differential equations and intertwining operators, Comm

    Y.-Z. Huang, Differential equations and intertwining operators, Comm. Contemp. Math. 7 (2005), 375--400

  4. [12]

    Huang, Differential equations, duality and modular invariance, Comm

    Y.-Z. Huang, Differential equations, duality and modular invariance, Comm. Contemp. Math. 7 (2005), 649--706

  5. [13]

    Huang, Vertex operator algebras and the Verlinde conjecture, Comm

    Y.-Z. Huang, Vertex operator algebras and the Verlinde conjecture, Comm. Contemp. Math. 10 (2008), 103--154

  6. [14]

    Huang, Rigidity and modularity of vertex tensor categories, Comm

    Y.-Z. Huang, Rigidity and modularity of vertex tensor categories, Comm. Contemp. Math. 10 (2008), 871--911

  7. [15]

    Huang, Generalized twisted modules associated to general automorphisms of a vertex operator algebra, Comm

    Y.-Z. Huang, Generalized twisted modules associated to general automorphisms of a vertex operator algebra, Comm. Math. Phys. 298 (2010), 265--292

  8. [16]

    Huang, On the applicability of logarithmic tensor category theory, arXiv:1702.00133

    Y.-Z. Huang, On the applicability of logarithmic tensor category theory, arXiv:1702.00133

  9. [17]

    Huang, Intertwining operators among twisted modules associated to not-necessarily-commuting automorphisms, J

    Y.-Z. Huang, Intertwining operators among twisted modules associated to not-necessarily-commuting automorphisms, J. Alg. 493 (2018), 346--380

  10. [18]

    Y.-Z. Huang, Some open problems in mathematical two-dimensional conformal field theory, in: Proceedings of the Conference on Lie Algebras, Vertex Operator Algebras, and Related Topics, held at University of Notre Dame, Notre Dame, Indiana, August 14-18, 2015 , ed. K. Barron, E...

  11. [19]

    Huang, Twist vertex operators for twisted modules, J

    Y.-Z. Huang, Twist vertex operators for twisted modules, J. Alg. 539 (2019), 53--83

  12. [20]

    Huang, A construction of lower-bounded generalized twisted modules for a grading-restricted vertex (super)algebra, Comm

    Y.-Z. Huang, A construction of lower-bounded generalized twisted modules for a grading-restricted vertex (super)algebra, Comm. Math. Phys. 377 (2020), 909-945

  13. [21]

    Huang, Generators, spanning sets and existence of twisted modules for a grading-restricted vertex (super)algebra, Selecta Math

    Y.-Z. Huang, Generators, spanning sets and existence of twisted modules for a grading-restricted vertex (super)algebra, Selecta Math. 26 (2020), Paper no. 62

  14. [22]

    Huang, Lower-bounded and grading-restricted geralized twisted modules for affine vertex (operator) algebras, J

    Y.-Z. Huang, Lower-bounded and grading-restricted geralized twisted modules for affine vertex (operator) algebras, J. Pure Appl. Alg. 225 (2021), Paper no. 106618

  15. [23]

    Huang, Representation theory of vertex operator algebras and orbifold conformal field theory, in: Lie groups, number theory, and vertex algebras , ed

    Y.-Z. Huang, Representation theory of vertex operator algebras and orbifold conformal field theory, in: Lie groups, number theory, and vertex algebras , ed. by D. Adamovic, A. Dujella, A. Milas and P. Pandzic, Contemp. Math., Vol. 768, Amer. Math. Soc., Providence, RI, 2021, 221–252

  16. [24]

    Huang and J

    Y.-Z. Huang and J. Lepowsky, Tensor products of modules for a vertex operator algebras and vertex tensor categories, in: Lie Theory and Geometry, in honor of Bertram Kostant, ed. R. Brylinski, J.-L. Brylinski, V. Guillemin, V. Kac, Birkh\" a user, Boston, 1994, 349--383

  17. [25]

    Huang and J

    Y.-Z. Huang and J. Lepowsky, A theory of tensor products for module categories for a vertex operator algebra, I, Selecta Mathematica (New Series) 1 (1995), 699--756

  18. [26]

    Huang and J

    Y.-Z. Huang and J. Lepowsky, A theory of tensor products for module categories for a vertex operator algebra, II, Selecta Mathematica, New Series , 1 (1995), 757--786

  19. [27]

    Huang and J

    Y.-Z. Huang and J. Lepowsky, A theory of tensor products for module categories for a vertex operator algebra, III, J. Pure. Appl. Alg. , 100 (1995), 141--171

  20. [28]

    Huang, J, Lepowsky and L

    Y.-Z. Huang, J, Lepowsky and L. Zhang, Logarithmic tensor category theory, II: Logarithmic formal calculus and properties of logarithmic intertwining operators, arXiv:1012.4196

  21. [29]

    Huang, J, Lepowsky and L

    Y.-Z. Huang, J, Lepowsky and L. Zhang, Logarithmic tensor category theory for generalized modules for a conformal vertex algebra, III: Intertwining maps and tensor product bifunctors, arXiv: 1012.4197

  22. [30]

    Huang, J, Lepowsky and L

    Y.-Z. Huang, J, Lepowsky and L. Zhang, Logarithmic tensor category theory for generalized modules for a conformal vertex algebra, IV: Constructions of tensor product bifunctors and the compatibility conditions, arXiv:1012.4198

  23. [31]

    Huang, J, Lepowsky and L

    Y.-Z. Huang, J, Lepowsky and L. Zhang, Logarithmic tensor category theory for generalized modules for a conformal vertex algebra, V: Convergence condition for intertwining maps and the corresponding compatibility condition, arXiv:1012.4199

  24. [32]

    Huang, J, Lepowsky and L

    Y.-Z. Huang, J, Lepowsky and L. Zhang, Logarithmic tensor category theory for generalized modules for a conformal vertex algebra, VI: Expansion condition, associativity of logarithmic intertwining operators, and the associativity isomorphisms, arXiv:1012.4202

  25. [33]

    Kirillov, Jr., Modular categories and orbifold models, Comm

    A. Kirillov, Jr., Modular categories and orbifold models, Comm. Math. Phys. 229 (2002), 183--227

  26. [34]

    Kirillov, Jr., On modular categories and orbifold models II; arXiv:math/0110221

    A. Kirillov, Jr., On modular categories and orbifold models II; arXiv:math/0110221

  27. [35]

    Kirillov, Jr, On G -equivariant modular categories; arXiv:math/0401119

    A. Kirillov, Jr, On G -equivariant modular categories; arXiv:math/0401119

  28. [36]

    McRae, Twisted modules and G -equivariantization in logarithmic conformal field theory, Comm

    R. McRae, Twisted modules and G -equivariantization in logarithmic conformal field theory, Comm. in Math. Phys. 383 (2021), 1939--2019

  29. [37]

    o ller. A cyclic orbifold theory for holomorphic vertex operator algebras and applications, Ph.D. thesis, Technische Universit\

    S. M\" o ller. A cyclic orbifold theory for holomorphic vertex operator algebras and applications, Ph.D. thesis, Technische Universit\" a t Darmstadt, 2016; arXiv:1704.00478

  30. [38]

    Moore and N

    G. Moore and N. Seiberg, Classical and quantum conformal field theory, Comm. Math. Phys. 123 (1989), 177--254

  31. [39]

    M\" u ger, Galois extensions of braided tensor categories and braided crossed G-categories, J

    M. M\" u ger, Galois extensions of braided tensor categories and braided crossed G-categories, J. Algebra 277 (2004), 256--281

  32. [40]

    M\" u ger, Conformal orbifold theories and braided crossed G -categories, Comm

    M. M\" u ger, Conformal orbifold theories and braided crossed G -categories, Comm. Math. Phys. 260 (2005), 727--762

  33. [41]

    Reshetikhin and V

    N. Reshetikhin and V. Turaev, Invariants of 3 -manifolds via link polynomials and quantum groups, Invent. Math. 103 (1991), 547--598

  34. [42]

    Turaev, Modular categories and 3 -manifold invariants, Int

    V. Turaev, Modular categories and 3 -manifold invariants, Int. J. Mod. Phys. B6 (1992), 1807--1824

  35. [43]

    Turaev, Homotopy field theory in dimension 3 and crossed group-categories, arxiv:math.GT/0005291

    V. Turaev, Homotopy field theory in dimension 3 and crossed group-categories, arxiv:math.GT/0005291

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.