2021
DOI: 10.48550/arxiv.2107.06577
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

A general mirror equivalence theorem for coset vertex operator algebras

Abstract: We prove a general mirror duality theorem for a subalgebra U of a simple vertex operator algebra A and its coset V = ComA(U ), under the assumption that A is a semisimple U ⊗ V -module. More specifically, we assume that A ∼ = i∈I Ui ⊗ Vi as a U ⊗ V -module, where the U -modules Ui are simple and distinct and are objects of a semisimple braided ribbon category of U -modules, and the V -modules Vi are semisimple and contained in a (not necessarily rigid) braided tensor category of V -modules. We also assume that… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2021
2021
2021
2021

Publication Types

Select...
1
1

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(3 citation statements)
references
References 23 publications
0
3
0
Order By: Relevance
“…Part (2) was essentially proved in [CJORY,Section 4] and [CY,Section 3]; see also [McR2,Theorem 2.3].…”
Section: And Associativity Isomorphismsmentioning
confidence: 95%
See 1 more Smart Citation
“…Part (2) was essentially proved in [CJORY,Section 4] and [CY,Section 3]; see also [McR2,Theorem 2.3].…”
Section: And Associativity Isomorphismsmentioning
confidence: 95%
“…We will show that Y M 1 ,M 2 ⊗ Y W 1 ,W 2 is a fusion product intertwining operator. To do so, we need a lemma which is a version of [DL,Proposition 13.18] and [ADL,Proposition 2.11]; it is proved the same way as [McR2,Lemma B.1]. In the statement of the lemma, X [h] denotes the generalized L V (0)-eigenspace of eigenvalue h inside a weak U ⊗ V -module X that decomposes into generalized L V (0)-eigenspaces, and P h denotes the projection onto X [h] with respect to the generalized L V (0)-eigenspace decomposition of X.…”
Section: Fusion Product Modulesmentioning
confidence: 99%
“…Thus V is a positiveenergy vertex operator algebra. Moreover, V is simple (see for example [McR3,Theorem 2.5(4)]), so to show that V is self-contragredient, [Li1, Corollary 3.2] implies it is enough to show L V (1)V (1) = 0. In fact, because A is self-contragredient and positive-energy, we have L(1)A (1) = 0, and then for any v ∈ V (1) ⊆ A (1) , we have…”
Section: Applicationsmentioning
confidence: 99%