Bimodule and twisted representation of vertex operator algebras

In this paper, for a vertex operator algebra V with an automorphism g of order T, an admissible V-module M and a fixed nonnegative rational number \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n \in \tfrac{1} {T}\mathbb{Z}_ +$$\end{document}, we construct an Ag,n(V)-bimodule Ag,n(M) and study its properties, discuss the connections between bimodule Ag,n(M) and intertwining operators. Especially, bimodule \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A_{g,n - \tfrac{1} {T}} (M)$$\end{document} (M) is a natural quotient of Ag,n(M) and there is a linear isomorphism between the space \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{I}_{M M^j }^{M^k }$$\end{document} of intertwining operators and the space of homomorphisms \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Hom_{A_{g,n} (V)} \left( {A_{g,n} \left( M \right) \otimes _{A_{g,n} (V)} M^j \left( s \right),M^k \left( t \right)} \right)$$\end{document} for s, t ⩽ n, Mj, Mk are g-twisted V modules, if V is g-rational.