SearcharxivSearch

arXiv subjects

Matthew Szczesny

Publications and source records attributed to Matthew Szczesny.

12 recordsLinked to original sources

Twisted modules and co-invariants for commutative vertex algebras of jet schemes

Let $Z \subset \mathbb{A}^k$ be an affine scheme over $\C$ and $\J Z$ its jet scheme. It is well-known that $\mathbb{C}[\J Z]$, the coordinate ring of $\J Z$, has the structure of a commutative vertex algebra. This paper develops the orbifold theory for $\mathbb{C}[\J Z]$. A finite-order linear automorphism $g$ of $Z$ acts by vertex algebra automorphisms on $\mathbb{C}[\J Z]$. We show that $\mathbb{C}[\J^g Z]$, where $\J^g Z$ is the scheme of $g$--twisted jets has the structure of a $g$-twisted $\mathbb{C}[\J Z]$ module. We consider spaces of orbifold coinvariants valued in the modules $\mathbb{C}[\J^g Z]$ on orbicurves $[Y/G]$, with $Y$ a smooth projective curve and $G$ a finite group, and show that these are isomorphic to $\mathbb{C}[Z^G]$.

math.QA

Representations of Quivers over F1

We define and study the category $\RepQ$ of representations of a quiver in $\VFun$ - the category of vector spaces "over $\Fun$". $\RepQ$ is an $\Fun$-linear category possessing kernels, co-kernels, and direct sums. Moreover, $\RepQ$ satisfies analogues of the Jordan-Hölder and Krull-Schmidt theorems. We are thus able to define the Hall algebra $\HQ$ of $\RepQ$, which behaves in some ways like the specialization at $q=1$ of the Hall algebra of $\on{Rep}(\Q, \mathbf{F}_q)$. We prove the existence of a Hopf algebra homomorphism of $ ρ': \U(\n_+) \rightarrow \HQ$, from the enveloping algebra of the nilpotent part $\n_+$ of the Kac-Moody algebra with Dynkin diagram $\bar{\Q}$ - the underlying unoriented graph of $\Q$. We study $ρ'$ when $\Q$ is the Jordan quiver, a quiver of type $A$, the cyclic quiver, and a tree respectively.

math.QA

Colored trees and noncommutative symmetric functions

Let $\CRF_S$ denote the category of $S$-colored rooted forests, and $\H_{\CRF_S}$ denote its Ringel-Hall algebra as introduced in \cite{KS}. We construct a homomorphism from a $K^+_0 (\CRF_S)$--graded version of the Hopf algebra of noncommutative symmetric functions to $\H_{\CRF_S}$. Dualizing, we obtain a homomorphism from the Connes-Kreimer Hopf algebra to a $K^+_0 (\CRF_S)$--graded version of the algebra of quasisymmetric functions. This homomorphism is a refinement of one considered by W. Zhao in \cite{Z}.

math.QA

Rooted trees, Feynman graphs, and Hecke correspondences

We construct natural representations of the Connes-Kreimer Lie algebras on rooted trees/Feynman graphs arising from Hecke correspondences in the categories $\LRF, \LFG$ constructed by K. Kremnizer and the author. We thus obtain the insertion/elimination representations constructed by Connes-Kreimer as well as an isomorphic pair we term top-insertion/top-elimination. We also construct graded finite-dimensional sub/quotient representations of these arising from "truncated" correspondences.

math.QA

Feynman graphs, rooted trees, and Ringel-Hall algebras

We construct symmetric monoidal categories $\LRF, \FD$ of rooted forests and Feynman graphs. These categories closely resemble finitary abelian categories, and in particular, the notion of Ringel-Hall algebra applies. The Ringel-Hall Hopf algebras of $\LRF, \FD$, $\HH_{\LRF}, \HH_{\FD}$ are dual to the corresponding Connes-Kreimer Hopf algebras on rooted trees and Feynman graphs. We thus obtain an interpretation of the Connes-Kreimer Lie algebras on rooted trees and Feynman graphs as Ringel-Hall Lie algebras.

math.QA

On the structure and representations of the insertion-elimination Lie algebra

We examine the structure of the insertion-elimination Lie algebra on rooted trees introduced in \cite{CK}. It possesses a triangular structure $\g = \n_+ \oplus \mathbb{C}.d \oplus \n_-$, like the Heisenberg, Virasoro, and affine algebras. We show in particular that it is simple, which in turn implies that it has no finite-dimensional representations. We consider a category of lowest-weight representations, and show that irreducible representations are uniquely determined by a "lowest weight" $λ\in \mathbb{C}$. We show that each irreducible representation is a quotient of a Verma-type object, which is generically irreducible.

math.QA

Supersymmetry of the Chiral de Rham Complex

We present a superfield formulation of the chiral de Rham complex (CDR) of Malikov-Schechtman-Vaintrob in the setting of a general smooth manifold, and use it to endow CDR with superconformal structures of geometric origin. Given a Riemannian metric, we construct an N=1 structure on CDR (action of the N=1 super--Virasoro, or Neveu--Schwarz, algebra). If the metric is K"ahler, and the manifold Ricci-flat, this is augmented to an N=2 structure. Finally, if the manifold is hyperk"ahler, we obtain an N=4 structure. The superconformal structures are constructed directly from the Levi-Civita connection. These structures provide an analog for CDR of the extended supersymmetries of nonlinear sigma-models.

math.QA

Discrete torsion, orbifold elliptic genera, and the chiral de Rham complex

Given a compact complex algebraic variety with an effective action of a finite group $G$, and a class $α\in H^2(G,U(1))$, we introduce an orbifold elliptic genus with discrete torsion $α$, denoted $Ell^α_{orb}(X,G, q, y)$. We give an interpretation of this genus in terms of the chiral de Rham complex attached to the orbifold $[X/G]$. If $X$ is Calabi-Yau and $G$ preserves the volume form, $Ell^α_{orb}(X,G, q, y)$ is a weak Jacobi form. We also obtain a formula for the generating function of the elliptic genera of symmetric products with discrete torsion.

math.AG

Orbifold conformal blocks and the stack of pointed G-covers

Starting with a vertex algebra $V$, a finite group $G$ of automorphisms of $V$, and a suitable collection of twisted $V$--modules, we construct (twisted) $D$--modules on the stack of pointed $G$--covers, introduced by Jarvis, Kaufmann, and Kimura. The fibers of these sheaves are spaces of orbifold conformal blocks defined in joint work with Edward Frenkel. The key ingredient is a $G$--equivariant version of the Virasoro uniformization theorem.

math.AG

Twisted Modules over Vertex Algebras on Algebraic Curves

We extend the geometric approach to vertex algebras developed by the first author to twisted modules, allowing us to treat orbifold models in conformal field theory. Let $V$ be a vertex algebra, $H$ a finite group of automorphisms of $V$, and $C$ an algebraic curve such that $H \subset \on{Aut}(C)$. We show that a suitable collection of twisted $V$--modules gives rise to a section of a certain sheaf on the quotient $X=C/H$. We introduce the notion of conformal blocks for twisted modules, and analyze them in the case of the Heisenberg and affine Kac-Moody vertex algebras. We also give a chiral algebra interpretation of twisted modules.

math.AG

Chiral de Rham Complex and Orbifolds

Suppose that a finite group $G$ acts on a smooth complex variety $X$. Then this action lifts to the Chiral de Rham Complex of $X$ and to its cohomology by automorphisms of the vertex algebra structure. We define twisted sectors for the Chiral de Rham Complex (and their cohomologies) as sheaves of twisted vertex algebra modules supported on the components of the fixed-point sets $X^{g}, g \in G$. Each twisted sector sheaf carries a BRST differential and is quasi-isomorphic to the de Rham complex of $X^{g}$. Putting the twisted sectors together with the vacuum sector and taking $G$--invariants, we recover the additive and graded structures of Chen-Ruan orbifold cohomology. Finally, we show that the orbifold elliptic genus is the partition function of the direct sum of the cohomologies of the twisted sectors.

math.AG

Wakimoto Modules for Twisted Affine Lie Algebras

We construct Wakimoto modules for twisted affine Lie algebras, and interpret the construction in terms of vertex algebras and their twisted modules. Using the Wakimoto realization, we prove the Kac-Kazhdan conjecture on the characters of irreducible modules with generic critical highest weights in the twisted case. We provide explicit formulas for the twisted fields in the case of the twisted affine algebra A^{(2)}_{2}.

math.QA