We review our recent results on computation of the higher genus characters for vertex operator superalgebras modules. The vertex operator formal parameters are associated to local parameters on Riemann surfaces formed in one of two schemes of (self- or tori- ) sewing of lower genus Riemann surfaces. For the free fermion vertex operator superalgebra we present a closed formula for the genus two continuous orbifold partition functions (in either sewings) in terms of an infinite dimensional determinant with entries arising from the original torus Szeg? kernel. This partition function is holomorphic in the sewing parameters on a given suitable domain and possesses natural modular properties. Several higher genus generalizations of classical (including Fay’s and Jacobi triple product) identities show up in a natural way in the vertex operator algebra approach.
In this paper (based on several conference talks of the author) we review our recent results [1-5] on construction and computation of correlation functions of vertex operator superalgebras with a formal parameter associated to local coordinates on a self-sewn Riemann surface of genus which forms a genus surface. In particular, we review result presented in the papers [1-5] accomplished in collaboration with M. P. Tuite (National University of Ireland, Galway, Ireland).
A Vertex Operator Superalgebra (VOSA) [6-10] is a quadruple:
,
, is a superspace, is a linear map
so that for any vector (state) we have
, ,
, -parity.
The linear operators (modes) satisfy creativity
and lower truncation
conditions for and.
These axioms identity impy locality, associativity, commutation and skew-symmetry:
for and integers,
.
The vacuum vector is such that, , and the conformal vector satisfies
where form a Virasoro algebra for a central charge
satisfies the translation property
describes a grading with
, and
Definition 1 A -module for a VOSA is a pair, is a -graded vector space, , for all and.
,
for each,., and for the conformal vector
where,. The module vertex operators satisfy the Jacobi identity:
Recall that. The above axioms imply that satisfies the Virasoro algebra for the same central charge and that the translation property
We next define the notion of a twisted -module [8,11]. Let be a -automorphism, i.e., a linear map preserving and such that
for all. We assume that can be decomposed into -eigenspaces
where denotes the eigenspace of with eigenvalue.
Definition 2 A -twisted -module for a VOSA
is a pair, , ,
, for all, and., the vector space of ()-valued formal series in with arbitrary complex powers of. For
with, , sufficiently large.
,
where,. The -twisted vertex operators satisfy the twisted Jacobi identity:
for.
We define the notion of creative intertwining operators in [
Definition 3 A Creative Intertwining Vertex Operator for a VOA -module is defined by a linear map
for with modes; satisfies creativity
for and lower truncation
for, and. The intertwining vertex operators satisfy the Jacobi identity:
for all and.
These axioms imply that the intertwining vertex operators satisfy translation, locality, associativity, commutativity and skew-symmetry:
for, , and integers.
Consider the Heisenberg vertex operator algebra[
.
In [
We introduce an extra operator which is canonically conjugate to the zero mode, i.e.,
The state is created by the action of on the state. Using -conjugation and associativity properties, we explicitly construct in [
Theorem 1 (Tuite-Z) The creative intertwining operators for are generated by -conjugation of vertex operators of. For a Heisenberg state,
The operators with some extra cocycle structure satisfy a natural extension from rational to complex parameters of the notion of a Generalized VOA as described by Dong and Lepowsky [7,12]. We then prove in [
Theorem 2 (Tuite-Z) satisfy the generalized Jacobi identity
for all.
The definitions of invariant forms [8,13] for a VOSA and its -twisted modules were given by Scheithauer [
We are interested in the Möbius map
associated with the sewing condition so thatwith. We prove in [
Theorem 3 (Tuite-Z) The invariant form on is symmetric, unique and invertible with
Consider the Vertex Operator Super Algebra (VOSA) generated by
for two vectors with modes satisfying anti-commutation relations
The VOSA vector space is a Fock space with basis vectors
of weight
where and with for all.
The conformal vector is
whose modes generate a Virasoro algebra of central charge 1. has -weight. The weight subspace of is, for normalized Heisenberg bosonic vector, the conformal vector, and the Virasoro grading operator are
For standard homology basis, with on a genus Riemann surface [15,16] consider the normalized differential of the second kind which is a symmetric meromorphic form with, has the form
A normalized basis of holomorphic 1-forms, the period matrix, and normalized differential of the third kind are given by
where, for,.
is symmetric with positive imaginary part i.e., the Siegel upper half plane. The canonical intersection form on cycles is preserved under the action of the symplectic group where
This induces the modular action on
Consider two oriented tori with
for for, the complex upper half plane. For the closed disk
is contained in provided
where
Introduce a sewing parameter and excise the disks and where
Identify the annular regions and via the sewing relation
gives a genus two Riemann surface parameterized by the domain
In [
Define the annuli, centered at and of with local coordinates and respectively. We use the convention,
. Take the outer radius of to be
.
Introduce a complex parameter,. Take inner radius to be, with., must be sufficiently small to ensure that the disks do not intersect. Excise the disks
to form a twice-punctured surface
Identify the annular regions,
as a single region via the sewing relation
to form a compact genus two Riemann surface
parameterized by
The Weierstrass -function periodic in with periods and is
for,. We define for,
Then
.
has periodicities
The Eisenstein series is equal to for odd, and for
where is the th Bernoulli number. If
then is a holomorphic modular form of weight on
for all, where. is a quasimodular form
having the exceptional transformation law.
We recall the definition of the theta function with real characteristics [
for
,
for.
Let denote a pair of modulus one complex parameters with for. For and we define “twisted” Weierstrass functions for [19,20]
for where means we omit if
.
converges absolutely and uniformly on compact subsets of the domain [
Lemma 1 (Mason-Tuite-Z) For,
is periodic in with periods and with multipliers and respectively.
Define the standard left action of the modular group for
on with
We also define a left action of on
Then we obtain:
Theorem 4 (Mason-Tuite-Z) For we have
We introduce twisted Eisenstein series for,
where means we omit if and where is the Bernoulli polynomial defined by
In particular
.
Note that
the standard Eisenstein series for even, whereas
for odd.
Theorem 5 (Mason-Tuite-Z) We have
Theorem 6 (Mason-Tuite-Z) For,
is a modular form of weight where
In particular,
where
and
There exists a (nonsingular and odd) character such that [18,21,22]
Let
be a holomorphic 1-form, and let denote the form of weight on the double cover of.
We define the prime form
The prime form is anti-symmetic,
and a holomorphic differential form of weight
onand has multipliers and along the
and cycles in [
Conversely, we can also express the prime form in terms of by [
The prime form on torus [
for and and where
.
We have
has periodicities
The Szegö Kernel [18,21,22] is defined by
with, , ,
, where is the genus prime form. The Szegö kernel has multipliers along the and cycles in given by and respectively and is a meromorphic -form on
where and.
Finally, we describe the modular invariance of the Szegö kernel under the symplectic group where we find [
with, ,
where denotes the diagonal elements of a matrix.
Finally, we describe the modular invariance of the Szegö kernel under the symplectic group where we find [
where, for
where denotes the diagonal elements of a matrix.
On the torus the Szegö kernel for is
where
for
, and
for.
Yamada (1980) described how to compute the period matrix and other structures on a genus Riemann surface in terms of lower genus data.
can be determined from on each torus in Yamada’s sewing scheme [17,23]. For a torus the differential is
for Weierstrass function
and Eisenstein series for
vanishes for odd and is a weight modular form for. is a quasi-modular form. Expanding
we compute in the sewing scheme in terms of the following genus one data,
Consider the infinite matrix where is the infinite identity matrix and define by
as a formal power series in [
a) The infinite matrix
is convergent for.
b) is non-vanishing and holomorphic on.
Furthermore we may obtain an explicit formula for the genus two period matrix on [
Theorem 8 (Mason-Tuite) is holomorphic on and is given by
Here refers to the -entry of a matrix.
We may compute for in the sewing scheme in terms of the genus one data
is described in terms of the infinite matrix for
a) The infinite matrix is convergent forb) is non-vanishing and holomorphic on.
It is convenient to define by.
Then we prove [
for where is defined for, by
with similar expression for for.
Let, for and integer. We introduce the moments for:
with associated infinite matrix. We define also half-order differentials
and let and, denote the infinite row vectors indexed by,. From the sewing relation we have
for, depending on the branch of the double cover of chosen. It is convenient to define
with an infinite diagonal matrix
Defining by the formal power series in
we prove in [
a) is convergent forb) is non-vanishing and holomorphic in on.
Theorem 12 (Tuite-Z) is given by
For a VOA of central charge define the genus one partition (trace or characteristic) function by
for the Heisenberg VOA commutation relations with modes
We define the genus one partition function for the VOSA by the supertrace
where.
More generally, we can construct a -twisted module for any automorphism generated by the Heisenberg state. We introduce the second automorphism and define the orbifold -twisted trace by
to find for,
Each orbifold 1-point function can found from a generalized Zhu reduction formulas as a determinant.
Theorem 13 (Mason-Tuite-Z) For a Fock vector
where for
In general, we can define the genus one orbifold n-point function for by
Every orbifold n-point function can be computed using generalized Zhu reduction formulas in terms of a determinant with entries arising from the basic 2-point function for [
To reduce an -point function to a sum of -point functions we need:
The supertrace property
Borcherds commutation formula:
expansions for -functions:
Theorem 14 (Mason-Tuite-Z) For any we have
where is given by
The generating two-point function (for) is given by
Theorem 15 (Mason-Tuite-Z)
Theorem 16 (Mason-Tuite-Z) For Fock vectors
and
for and with
. Then for the corresponding -point functions are non-vanishing provided
and
where is certain parity factor. Here is the block matrix
with
for with and
for with and. is the sign of the permutation associated with the reordering of to the alternating ordering.
Furthermore, the -point function is an analytic function in and converges absolutely and uniformly on compact subsets of the domain.
As in ordinary (non-intertwined) case [2,19,20,24-29] we construct in [
Let, , be VOSA automorphisms commuting with. For and the states we define the intertwined -point function [
where, , ,
;, for variables associated to the local coordinates on the torus, and is dual for with respect to the invariant form on. The supertrace over a -module is defined by
For an element of a VOSA -twisted -module we introduce also the differential form
associated to the torus intertwined -point function.
The rank two free fermionic VOSA, [
is generated by with
The rank two free fermion VOSA intertwined torus
-point function is parameterized by, , and, [2, 4] where
for real valued, , ,.
For and,
we obtain [
We then consider the differential form
associated to the torus intertwined -point function
with alternatively inserted states and states distributed on the resulting genus two Riemann surface at points. We then prove in [
Theorem 17 (Tuite-Z) For the rank two free fermion vertex operator superalgebra and for the generating form is given by
is the basic intertwined two-point function on the torus, and -matrix
with elements given by parts of the Szegö kernel.
We define the genus two partition function in the earlier sewing scheme in terms of data coming from the two tori, namely the set of 1-point functions for all. We assume that has a nondegenerate invariant bilinear form—the Li-Zamolodchikov metric. Define
The inner sum is taken over any basis and is dual to wrt to the Li-Zamolodchikov metric.
We can compute using a combinatorial-graphical technique based on the explicit Fock basis and recalling the infinite matrices.
Theorem 18 (Mason-Tuite) a) The genus two partition function for the rank one Heisenberg VOA is
;
b) is holomorphic on the domain;
c) is automorphic of weight;
d) has an infinite product formula.
Following the definition for the bosonic VOA we define for,
The inner sum is taken over any basis and is dual to with respect to the Li-Zamolodchikov square bracket metric. is the genus one orbifold 1-point function. Recall that the non-zero 1-point functions arise for Fock vectors
such that
,
The Li-Zamolodchikov metric dual to the Fock vector is
Recalling the infinite matrix we find
a) The genus two orbifold partition function is
b) is holomorphic on the domain;
c) has natural modular properties under the action of.
Let be automorphisms, and be twisted -modules of a vertex operator superalgebra. For
with and,
, we define the genus two -point function [
where, where (respectively)
denotes the pair, (respectively,). The sum is taken over any -basis.
In particular, we introduce the genus two partition function
where is the genus one intertwined two point function.
Remark 1 We can generalize the genus two -point function by introducing and computing the differential form associated to the torus -point function containing several intertwining operators in the supertrace as well as corresponding genus two -point functions.
Similar to the ordinary genus two case [
, ,
The genus one orbifold partition function can be alternatively computed by decomposing the VOSA into Heisenberg modules indexed by integer eigenvalues, i.e., a lattice [
Then ther genus one twisted partition function is given by
Comparing to the fermionic product formula we obtain the classical Jacobi triple product formula:
The genus two partition function can similarly be computed in the bosonized formalism to obtain a genus two version of the Jacobi triple product formula for the genus two Riemann theta function [
for an appropriate character valued genus two Riemann theta function
Comparing with the fermionic result we thus find that on
Recall Fay’s trisecant identity [
for, , where is the Jacobian of the curve.
In a similar fashion we can compute the general - generating function in the bosonic setting to obtain:
Comparing this to fermionic expressions for we obtain the classical Frobenius elliptic function version of generalized Fay’s trisecant identity
[
Corollary 1 (Mason-Tuite-Z) For we have
We may generalize these identities using [
Comparing this to the expression for -point functions we obtain a new elliptic generalization of Fay’s trisecant identity:
Corollary 2 (Mason-Tuite-Z) For we have
Here is the block matrix
with the matrix
for and, and -functions are given by the expansion
In [
Theorem 22 (Tuite-Z) Let be twisted -modules for the rank two free fermion vertex operator superalgebra. Let. Then the partition function on a genus two Riemann surface obtained in the -self-sewing formalism of the torus is a non-vanishing holomorphic function on given by
where is the intertwined module torus basic two-point function, and is some function.
We may similarly compute the genus two partition function in the -formalism for the original rank one fermion VOSA in which case we can only construct a -twisted module. Then we have [
Corollary 3 (Tuite-Z) Let be the rank one free fermion vertex operator superalgebra and, , be automorphisms. Then the partition function for -module on a genus two Riemann surface obtained from formalism of a self-sewn torus is given by
where is the rank one fermion intertwined partition function on the original torus.
In [
and are finite matrices indexed by, for; is semi-infinite with rows indexed by and columns indexed by and and is semi-infinite with rows indexed by and and with columns indexed by. We then prove
with,.
Introduce the differential form
associated to the rank two free fermion VOSA genus two -point function
with alternatively inserted states and states. The states are distributed on the genus two Riemann surface at points. Then we have Theorem 23 (Tuite-Z) All -point functions for rank two free fermion VOSA twisted modules on self-sewn torus are generated by the differential form
where the elements of the matrix
and is the genus two partition function.
Following the ordinary case [20,27,40] we would like to describe modular properties of genus two “intertwined” partition and -point generating functions. As in [
is generated by, and with relations
.
We also define where with elements
Together these groups generate
.
From [
We then define [
for:
with the standard action and, and
and the torus multiplier, [1,19]. Then we have [
Theorem 24 (Tuite-Z) The torus intertwined twopoint function for the rank two free fermion VOSA is a modular form (up to multiplier) with respect to
where.
The action of the generators, and is given by [
.
In a similar way we may introduce the action of on the genus two partition function [
We may now describe the modular invariance of the genus two partition function for the rank two free fermion VOSA under the action of. Define a genus two multiplier for in terms of the genus one multiplier as follows
for the generator. We then find [
Theorem 25 (Tuite-Z) The genus two partition function for the rank two VOSA is modular invariant with respect to with the multiplier system, i.e.,
Finally, we can also obtain modular invariance for the generating form
for all genus two -point functions [
is modular invariant with respect to with a multiplier.
The author would like to express his deep gratitude to the organizers of the Conference “Algebra, Combinatorics, Dynamics and Applications”, Belfast, UK, August 27-30, 2012.