BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Michael P. Tuite appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We compute the partition and correlation generating functions for the Heisenberg intertwiner generalized vertex operator algebra on a genus $g$ Riemann surface in the Schottky uniformization. These are expressed in terms of differential forms of the first, second and third kind, the prime form and the period matrix and are computed by combinatorial methods using a generalization of the MacMahon Master Theorem.
We consider correlation functions for a vertex operator algebra on a genus two Riemann surface formed by sewing two tori together. We describe a generalisation of genus one Zhu recursion where we express an arbitrary genus two $n$--point correlation function in terms of $(n-1)$--point functions. We consider several applications including the correlation functions for the Heisenberg vertex operator algebra and its modules, Virasoro correlation functions and genus two Ward identities. We derive novel differential equations in terms of a differential operator on the genus two Siegel upper half plane for holomorphic $1$--differentials, the normalised bidifferential of the second kind, the projective connection and the Heisenberg partition function. We prove that the holomorphic mapping from the sewing parameter domain to the Siegel upper half plane is injective but not surjective. We also demonstrate that genus two differential equations arising from Virasoro singular vectors have holomorphic coefficients.
We consider exceptional vertex operator algebras and vertex operator superalgebras with the property that particular Casimir vectors constructed from the primary vectors of lowest conformal weight are Virasoro descendents of the vacuum. We show that the genus one partition function and characters for simple ordinary modules must satisfy modular linear differential equations. We show the rationality of the central charge and module lowest weights, modularity of solutions, the dimension of each graded space is a rational function of the central charge and that the lowest weight primaries generate the algebra. We also discuss conditions on the reducibility of the lowest weight primary vectors as a module for the automorphism group. Finally we analyse solutions for exceptional vertex operator algebras with primary vectors of lowest weight up to 9 and for vertex operator superalgebras with primary vectors of lowest weight up to 17/2. Most solutions can be identified with simple ordinary modules for known algebras but there are also four conjectured algebras generated by weight two primaries and three conjectured extremal vertex operator algebras generated by primaries of weight 3, 4 and 6 respectively.
We define and compute the continuous orbifold partition function and a generating function for all $n$-point correlation functions for the rank two free fermion vertex operator superalgebra on a genus two Riemann surface formed by self-sewing a torus. The partition function is proportional to an infinite dimensional determinant with entries arising from torus Szego kernel and the generating function is proportional to a finite determinant of genus two Szego kernels. These results follow from an explicit analysis of all torus $n$-point correlation functions for intertwiners of the irreducible modules of the Heisenberg vertex operator algebra. We prove that the partition and $n$-point correlation functions are holomorphic on a suitable domain and describe their modular properties. We also describe an identity for the genus two Riemann theta series analogous to the Jacobi triple product identity.
We consider the partition function of a general vertex operator algebra $V$ on a genus two Riemann surface formed by sewing together two tori. We consider the non-trivial degeneration limit where one torus is pinched down to a Riemann sphere and show that the genus one partition function on the degenerate torus is recovered up to an explicit universal $V$-independent multiplicative factor raised to the power of the central charge.
We consider the extension of the Heisenberg vertex operator algebra by all its irreducible modules. We give an elementary construction for the intertwining vertex operators and show that they satisfy a complex parametrized generalized vertex operator algebra. We illustrate some of our results with the example of integral lattice vertex operator superalgebras.
We continue our program to define and study $n$-point correlation functions for a vertex operator algebra $V$ on a higher genus compact Riemann surface obtained by sewing surfaces of lower genus. Here we consider Riemann surfaces of genus 2 obtained by attaching a handle to a torus. We obtain closed formulas for the genus two partition function for free bosonic theories and lattice vertex operator algebras $V_L$. We prove that the partition function is holomorphic in the sewing parameters on a given suitable domain and describe its modular properties. We also compute the genus two Heisenberg vector $n$-point function and show that the Virasoro vector one point function satisfies a genus two Ward identity. We compare our results with those obtained in the companion paper, when a pair of tori are sewn together, and show that the partition functions are not compatible in the neighborhood of a two-tori degeneration point. The \emph{normalized} partition functions of a lattice theory $V_L$ \emph{are} compatible, each being identified with the genus two theta function of $L$.
We define the partition and $n$-point correlation functions for a vertex operator superalgebra on a genus two Riemann surface formed by sewing two tori together. For the free fermion vertex operator superalgebra we obtain a closed formula for the genus two continuous orbifold partition function in terms of an infinite dimensional determinant with entries arising from torus Szegö kernels. We prove that the partition function is holomorphic in the sewing parameters on a given suitable domain and describe its modular properties. Using the bosonized formalism, a new genus two Jacobi product identity is described for the Riemann theta series. We compute and discuss the modular properties of the generating function for all $n$-point functions in terms of a genus two Szegö kernel determinant. We also show that the Virasoro vector one point function satisfies a genus two Ward identity.
We consider a number of generalizations of the $β$-extended MacMahon Master Theorem for a matrix. The generalizations are based on replacing permutations on multisets formed from matrix indices by partial permutations or derangements over matrix or submatrix indices.
We consider all genus zero and genus one correlation functions for the Virasoro vacuum descendants of a vertex operator algebra. These are described in terms of explicit generating functions that can be combinatorially expressed in terms of graph theory related to derangements in the genus zero case and to partial permutations in the genus one case.
We define the partition and $n$-point functions for a vertex operator algebra on a genus two Riemann surface formed by sewing two tori together. We obtain closed formulas for the genus two partition function for the Heisenberg free bosonic string and for any pair of simple Heisenberg modules. We prove that the partition function is holomorphic in the sewing parameters on a given suitable domain and describe its modular properties for the Heisenberg and lattice vertex operator algebras and a continuous orbifolding of the rank two fermion vertex operator super algebra. We compute the genus two Heisenberg vector $n$-point function and show that the Virasoro vector one point function satisfies a genus two Ward identity for these theories.
The leitmotif of these Notes is the idea of a vertex operator algebra (VOA) and the relationship between VOAs and elliptic functions and modular forms. This is to some extent analogous to the relationship between a finite group and its irreducible characters; the algebraic structure determines a set of numerical invariants, and arithmetic properties of the invariants provides feedback in the form of restrictions on the algebraic structure. One of the main points of these Notes is to explain how this works, and to give some reasonably interesting examples.
We consider exceptional vertex operator algebras for which particular Casimir vectors constructed from the primary vectors of lowest conformal weight are Virasoro descendants of the vacuum. We discuss constraints on these theories that follow from an analysis of appropriate genus zero and genus one two point correlation functions. We find explicit differential equations for the partition function in the cases where the lowest weight primary vectors form a Lie algebra or a Griess algebra. Examples include the Wess-Zumino-Witten model for Deligne's exceptional Lie algebras and the Moonshine Module. We partially verify the irreducible decomposition of the tensor product of Deligne's exceptional Lie algebras and consider the possibility of similar decompositions for tensor products of the Griess algebra. We briefly discuss some conjectured extremal vertex operator algebras arising in Witten's recent work on three dimensional black holes.
We consider the application of permutation orbifold constructions towards a new possible understanding of the genus zero property in Monstrous and Generalized Moonshine. We describe a theory of twisted Hecke operators in this setting and conjecture on the form of Generalized Moonshine replication formulas.
We consider orbifoldings of the Moonshine Module with respect to the abelian group generated by a pair of commuting Monster group elements with one of prime order $p=2,3,5,7$ and the other of order $pk$ for $k=1$ or $k$ prime. We show that constraints arising from meromorphic orbifold conformal field theory allow us to demonstrate that each orbifold partition function with rational coefficients is either constant or is a hauptmodul for an explicitly found modular fixing group of genus zero. We thus confirm in the cases considered the Generalised Moonshine conjectures for all rational modular functions for the Monster centralisers related to the Baby Monster, Fischer, Harada-Norton and Held sporadic simple groups. We also derive non-trivial constraints on the possible Monster conjugacy classes to which the elements of the orbifolding abelian group may belong.
We verify the Generalised Moonshine conjectures for some irrational modular functions for the Monster centralisers related to the Harada-Norton, Held, $M_{12}$ and $L_3(3)$ simple groups based on certain orbifolding constraints. We find explicitly the fixing groups of the hauptmoduls arising in each case.
We consider the relationship between the conjectured uniqueness of the Moonshine Module, ${\cal V}^\natural$, and Monstrous Moonshine, the genus zero property of the modular invariance group for each Monster group Thompson series. We first discuss a family of possible $Z_n$ meromorphic orbifold constructions of ${\cal V}^\natural$ based on automorphisms of the Leech lattice compactified bosonic string. We reproduce the Thompson series for all 51 non-Fricke classes of the Monster group $M$ together with a new relationship between the centralisers of these classes and 51 corresponding Conway group centralisers (generalising a well-known relationship for 5 such classes). Assuming that ${\cal V}^\natural$ is unique, we then consider meromorphic orbifoldings of ${\cal V}^\natural$ and show that Monstrous Moonshine holds if and only if the only meromorphic orbifoldings of ${\cal V}^\natural$ give ${\cal V}^\natural$ itself or the Leech theory. This constraint on the meromorphic orbifoldings of ${\cal V}^\natural$ therefore relates Monstrous Moonshine to the uniqueness of ${\cal V}^\natural$ in a new way.