arXiv++ Combinatorics

k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop a theory of the fundamental groupoid of a k-graph, and relate it to the fundamental groupoid of an associated graph called the 1-skeleton. We also explore the failure, in general, of k-graphs to faithfully embed into their fundamental groupoids.

k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop the theory of covering spaces for k-graphs, obtaining a satisfactory version of the usual topological classification in terms of subgroups of a fundamental group. We then use this classification to describe the C*-algebras of covering k-graphs as crossed products by coactions of homogeneous spaces, generalizing recent results on the C*-algebras of graphs.

Using the theory of intertwining operators for vertex operator algebras we show that the graded dimensions of the principal subspaces associated to the standard modules for $\hat{\goth{sl}(2)}$ satisfy certain classical recursion formulas of Rogers and Selberg. These recursions were exploited by Andrews in connection with Gordon's generalization of the Rogers--Ramanujan identities and with Andrews' related identities. The present work generalizes the authors' previous work on intertwining operators and the Rogers--Ramanujan recursion.

By using the theory of vertex operator algebras, we gave a new proof of the famous Ramanujan's modulus 5 modular equation from his "Lost Notebook" (p.139 in \cite{R}). Furthermore, we obtained an infinite list of $q$-identities for all odd moduli; thus, we generalized the result of Ramanujan.

We use vertex operator algebras and intertwining operators to study certain substructures of standard $A_1^{(1)}$--modules, allowing us to conceptually obtain the classical Rogers--Ramanujan recursion. As a consequence we recover Feigin-Stoyanovsky's character formulas for the principal subspaces of the level 1 standard $A_1^{(1)}$--modules.

The main result of this paper is a combinatorial description of a basis of standard level 1 module for the twisted affine Lie algebra $A_2^{(2)}.$ This description also gives two new combinatorial identities of Göllnitz (or Rogers--Ramanujan) type. Methods used through the paper are mainly developed by J. Lepowsky, R. L. Wilson, A. Meurman and M. Primc, and the crucial role in constructions plays a vertex operator algebra approach to standard representations of affine Lie algebras.

For each pair of positive integers (k,r) such that k+1,r-1 are coprime, we introduce an ideal $I^{(k,r)}_n$ of the ring of symmetric polynomials. The ideal $I^{(k,r)}_n$ has a basis consisting of Jack polynomials with parameter $β=-(r-1)/(k+1)$, and admits an action of a family of differential operators of Dunkl type including the positive half of the Virasoro algebra. The space $I^{(k,2)}_n$ coincides with the space of all symmetric polynomials in $n$ variables which vanish when $k+1$ variables are set equal. The space $I_n^{(2,r)}$ coincides with the space of correlation functions of an abelian current of a vertex operator algebra related to Virasoro minimal series (3,r+2).

We study a vertex operator algebra (VOA) V related to the M(3,p) Virasoro minimal series. This VOA reduces in the simplest case p=4 to the level two integrable vacuum module of $\hat{sl}_2$. On V there is an action of a commutative current a(z), which is an analog of the current e(z) of $\hat{sl}_2$. Our main concern is the subspace W generated by this action from the highest weight vector of V. Using the Fourier components of a(z), we present a monomial basis of W and a semi-infinite monomial basis of V. We also give a Gordon type formula for their characters.

We introduce self-dual codes over the Kleinian four group $K = \mathbb{Z}_2 \times \mathbb{Z}_2$ for a natural quadratic form on $K^n$ and develop the theory. Topics studied are: weight enumerators, mass formulas, classification up to length 8, neighbourhood graphs, extremal codes, shadows, generalized t-designs, lexicographic codes, the Hexacode and its odd and shorter cousin, automorphism groups, marked codes. Kleinian codes form a new and natural fourth step in a series of analogies between binary codes, lattices and vertex operator algebras. This analogy will be emphasized and explained in detail.