SearcharxivSearch

arXiv subjects

Chiara Damiolini

Publications and source records attributed to Chiara Damiolini.

18 recordsLinked to original sources

Conformal blocks in algebraic geometry

These notes survey the theory of (twisted) conformal blocks from an algebro-geometric perspective and have two main goals. The first one is to summarize the construction of conformal blocks from vertex operator algebras, and to describe their fundamental properties -- such as factorization and sewing -- which imply that conformal blocks define vector bundles on moduli spaces of curves whose ranks and Chern classes can be computed explicitly. The second aim is to describe how line bundles on moduli of principal bundles over a curve -- and their sections -- can be understood via (twisted) conformal blocks for (twisted) affine Lie algebras.

math.AG

Line bundles on the moduli stack of parahoric bundles

In this paper we investigate line bundles on $\mathrm{Bun}_{\mathcal{G}}$ the moduli stack of parahoric Bruhat--Tits bundles over a smooth projective curve. Translating this problem into one concerning twisted conformal blocks, we are able to establish criteria that detect when line bundles on an appropriate flag variety descend to $\mathrm{Bun}_{\mathcal{G}}$. Along the way we establish a conjecture of Pappas and Rapoport which describes sections of line bundles on $\mathrm{Bun}_{\mathcal{G}}$ using representation-theoretical means. We conclude the paper with examples where our methods allow us to explicitly determine the Picard group of $\mathrm{Bun}_{\mathcal{G}}$.

math.AG

Modular functors from conformal blocks of rational vertex operator algebras

For a vertex operator algebra $V$, one may naturally define spaces of conformal blocks following a construction of Frenkel-Ben-Zvi generalized by Damiolini-Gibney-Tarasca. If $V$ is strongly rational, these spaces of conformal blocks form vector bundles over a suitable moduli space of algebraic curves. In this article, we establish, under the same assumptions, the widely expected topological result that the spaces of conformal blocks produce a modular functor, i.e. a modular algebra over an extension of the surface operad. This entails that the category $\mathcal{C}_V$ of admissible $V$-modules inherits from the topology of genus zero surfaces a ribbon Grothendieck-Verdier structure that leads even to the structure of a modular fusion category whose structure comes directly from the spaces of conformal blocks of $V$. As a direct consequence, we prove that the modular functor from conformal blocks extends to a three-dimensional topological field theory and comes with a description in terms of factorization homology.

math.QA

Wonderful compactifications and rational curves with cyclic action

We prove that the moduli space of rational curves with cyclic action, constructed in our previous work, is realizable as a wonderful compactification of the complement of a hyperplane arrangement in a product of projective spaces. By proving a general result on such wonderful compactifications, we conclude that this moduli space is Chow-equivalent to an explicit toric variety (whose fan can be understood as a tropical version of the moduli space), from which a computation of its Chow ring follows.

math.AG

Morita equivalences for Zhu's algebra

Through the introduction of new ideals, and with the assistance of the $d$-th mode transition algebras $\mathfrak{A}_d$, for $d\in \mathbb{N}$, we show how Zhu's associative algebra $\mathsf{A}$, conventionally valued for tracking information about the degree $0$ part of an $\mathbb{N}$-graded module over a vertex operator algebra $V$, also contains information about components of higher degree. As an application, equivalent conditions are given for rationality of $V$, and explicit presentations for higher-level Zhu algebras are given, including for a large class of non-rational VOAs.

math.RT

Projectivity of good moduli spaces of vector bundles on stacky curves

Moduli of vector bundles on stacky curves behave similarly to moduli of vector bundles on curves, except there are additional numerical invariants giving many different notions of stability. We apply the existence criterion for good moduli spaces of stacks to show that the moduli stack of semistable vector bundles on a stacky curve has a proper good moduli space. We moduli-theoretically prove that a natural determinantal line bundle on this moduli space is ample, thus proving this moduli space is projective. Our methods give effective bounds for when a power of this line bundle is basepoint-free. As a special case, we obtain new and effective constructions of moduli spaces of parabolic bundles.

math.AG

Conformal blocks on smoothings via mode transition algebras

Here we define a series of associative algebras attached to a vertex operator algebra $V$, called mode transition algebras, showing they reflect both algebraic properties of $V$ and geometric constructions on moduli of curves. One can define sheaves of coinvariants on pointed coordinatized curves from $V$-modules. We show that if the mode transition algebras admit multiplicative identities with certain properties, these sheaves deform as wanted on families of curves with nodes (so $V$ satisfies smoothing). Consequently, coherent sheaves of coinvariants defined by vertex operator algebras that satisfy smoothing form vector bundles. We also show that mode transition algebras give information about higher level Zhu algebras and generalized Verma modules. As an application, we completely describe higher level Zhu algebras of the Heisenberg vertex algebra for all levels, proving a conjecture of Addabbo--Barron.

math.QA

Multimatroids and rational curves with cyclic action

We study the connection between multimatroids and moduli spaces of rational curves with cyclic action. Multimatroids are generalizations of matroids and delta-matroids introduced by Bouchet, which naturally arise in topological graph theory. The vantage point of moduli of curves provides a tropical framework for studying multimatroids, generalizing the previous connection between type-A permutohedral varieties (Losev--Manin moduli spaces) and matroids, and the connection between type-B permutohedral varieties (Batyrev--Blume moduli spaces) and delta-matroids. Specifically, we equate a combinatorial nef cone of the moduli space with the space of $\mathbb{R}$-multimatroids, a slight generalization of multimatroids, and we introduce the independence polytopal complex of a multimatroid, whose volume is identified with an intersection number on the moduli space. As an application, for the generating set of the Chow ring of the moduli space consisting of all psi-classes and their pullbacks along certain forgetful maps, we give a combinatorial formula for their intersection numbers by relating to the volumes of independence polytopal complexes of multimatroids.

math.CO

On factorization and vector bundles of conformal blocks from vertex algebras

Representations of vertex operator algebras define sheaves of coinvariants and conformal blocks on moduli of stable pointed curves. Assuming certain finiteness and semisimplicity conditions, we prove that such sheaves satisfy the factorization conjecture and consequently are vector bundles. Factorization is essential to a recursive formulation of invariants, like ranks and Chern classes, and to produce new constructions of rational conformal field theories and cohomological field theories.

math.AG

Local types of $(Γ,G)$-bundles and parahoric group schemes

Let $G$ be a simple algebraic group over an algebraically closed field $k$. Let $Γ$ be a finite group acting on $G$. We classify and compute the local types of $(Γ, G)$-bundles on a smooth projective $Γ$-curve in terms of the first non-abelian group cohomology of the stabilizer groups at the tamely ramified points with coefficients in $G$. When $\text{char}(k)=0$, we prove that any generically simply-connected parahoric Bruhat--Tits group scheme can arise from a $(Γ,G_{\text{ad}})$-bundle. We also prove a local version of this theorem, i.e. parahoric group schemes over the formal disc arise from constant group schemes via tamely ramified coverings.

math.AG

Projectivity and effective global generation of determinantal line bundles on quiver moduli

We give a moduli-theoretic treatment of the existence and properties of moduli spaces of semistable quiver representations, avoiding methods from geometric invariant theory. Using the existence criteria of Alper--Halpern-Leistner--Heinloth, we show that for many stability functions, the stack of semistable representations admits an adequate moduli space, and prove that this moduli space is proper over the moduli space of semisimple representations. We construct a natural determinantal line bundle that descends to a semiample line bundle on the moduli space and provide new effective bounds for global generation. For an acyclic quiver, we show that this line bundle is ample, thus giving a modern proof of the fact that the moduli space is projective.

math.AG

Factorization presentations

Modules over a vertex operator algebra V give rise to sheaves of coinvariants on moduli of stable pointed curves. If V satisfies finiteness and semi-simplicity conditions, these sheaves are vector bundles. This relies on factorization, an isomorphism of spaces of coinvariants at a nodal curve with a finite sum of analogous spaces on the normalization of the curve. Here we introduce the notion of a factorization presentation, and using this, we show that finiteness conditions on V imply the sheaves of coinvariants are coherent on moduli spaces of pointed stable curves without any assumption of semisimplicity.

math.AG

Vertex algebras of CohFT-type

Representations of certain vertex algebras, here called of CohFT-type, can be used to construct vector bundles of coinvariants and conformal blocks on moduli spaces of stable curves [DGT2]. We show that such bundles define semisimple cohomological field theories. As an application, we give an expression for their total Chern character in terms of the fusion rules, following the approach and computation in [MOPPZ] for bundles given by integrable modules over affine Lie algebras. It follows that the Chern classes are tautological. Examples and open problems are discussed.

math.AG

Conformal blocks from vertex algebras and their connections on $\overline{\mathcal{M}}_{g,n}$

We show that coinvariants of modules over vertex operator algebras give rise to quasi-coherent sheaves on moduli of stable pointed curves. These generalize Verlinde bundles or vector bundles of conformal blocks defined using affine Lie algebras studied first by Tsuchiya-Kanie, Tsuchiya-Ueno-Yamada, and extend work of a number of researchers. The sheaves carry a twisted logarithmic D-module structure, and hence support a projectively flat connection. We identify the logarithmic Atiyah algebra acting on them, generalizing work of Tsuchimoto for affine Lie algebras.

math.AG

On equivariant bundles and their moduli spaces

Let $G$ be an algebraic group and $Γ$ a finite subgroup of automorphisms of $G$. Fix also a possibly ramified $Γ$-covering $\widetilde{X} \to X$. In this setting one may define the notion of $(Γ,G)$-bundles over $\widetilde{X}$ and, in this paper, we give a description of these objects in terms of $\mathcal{H}$-bundles on $X$, for an appropriate group $\mathcal{H}$ over $X$ which depends on the local type of the $(Γ,G)$-bundles we intend to parametrize. This extends, and along the way clarifies, an earlier work of Balaji and Seshadri.

math.AG

Conformal blocks attached to twisted groups

The aim of this paper is to generalize the notion of conformal blocks to the situation in which the Lie algebra they are attached to is not defined over a field, but depends on covering data of curves. The result will be a sheaf of conformal blocks on the Hurwitz stack parametrizing Galois coverings of curves. Many features of the classical sheaves of conformal blocks are proved to hold in this more general setting, in particular the fusion rules, the propagation of vacua and the WZW connection.

math.AG

Permutohedral complexes and rational curves with cyclic action

We define a moduli space of rational curves with finite-order automorphism and weighted orbits, and we prove that the combinatorics of its boundary strata are encoded by a particular polytopal complex that also captures the algebraic structure of a complex reflection group acting on the moduli space. This generalizes the situation for Losev-Manin's moduli space of curves (whose boundary strata are encoded by the permutohedron and related to the symmetric group) as well as the situation for Batyrev-Blume's moduli space of curves with involution, and it extends that work beyond the toric context.

math.AG