0909.3665v2Flatness of Tensor Products and Semi-Rigidity for $C_2$-cofinite Vertex Operator Algebras.pdf

arXiv: [] 28 Jul 2010
yohssI o vr irreducible every For I: Hypothesis
δ
nue aoia homomorphism canonical a induced
uhta Hom that such
seuvln oteeitneof existence the to equivalent is
ntecase the In
iigoeao of operator intertwining jective
modules
Let Introduction 1
dim
:
W
Since
lteso esrPout n eiRgdt for Semi-Rigidity and Products Tensor of Flatness
V
V
0
fnnsm-ipemdls easm htteei a is there that assume We modules. non-semi-simple of
Hom
a hw n[] an [5], in shown has
V
a oti suotaefntos nti ae,w assum we paper, this In functions. pseudo-trace contain may
iercmiaino rc ucin ie opseudo-trac no all (. that functions trace bination linear
oolr formi hoe,sc nobfl oe e model orbifold an such theorem, main our of corollary
perin appear
→
) Since 1). =
=
fartoa O fCTtp a oped-rc ucin in functions pseudo-trace no has type CFT of VOA rational a of
Let
W
W
V
V
⊕
(
1
V
is
C
and
Q
hr id where ,
n ∞
V
V
′
=0
C
⊠
∼
=
V
2
mdlsaesm-ii n l rc ucin Ψ functions trace all and semi-rigid are -modules
S
easimple a be
V
2
(
cfiieVre prtrAgba II Algebras Operator Vertex -cofinite
V
U
(Ψ
(
cfiie h soitvt ffso rdcshlsads Hypoth so and holds products fusion of associativity the -cofinite,
V
W
n
V
f
′
hnw a aearsrce dual restricted a take can we then ,
V ,
V tr
swl-enda aia ntl generated finitely maximal a as well-defined is
easimple a be
′
⊠
.A uha xml,w hwta a that show we example, an such As ).
⊠
V
)
U
V , W
f
W
.Ltu osdrataefnto Ψ function trace a consider us Let 0. 6=
is
eoe h dniympon map identity the denotes
′
)
C
S
C
⊠
-transformation
2
)
2
cfiie uinproduct fusion a -cofinite,
nttt fMathematics, of Institute
0. 6=
cfiieVAo F yeadw td h properties the study we and type CFT of VOA -cofinite
W
nvriyo Tsukuba, of University
aaioMiyamoto Masahiko
skb,35Japan 305 Tsukub