angela.gibney@gmail.com

**Publications and preprints**

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.

*with Chiara Damiolini and Nicola Tarasca) (arXiv)*Modules over conformal vertex algebras give rise to sheaves of coinvariants and conformal blocks on moduli of stable pointed curves. Here we prove the factorization conjecture for these sheaves. Our results apply in arbitrary genus and for a large class of vertex algebras. As an application, sheaves defined by finitely generated admissible modules over vertex algebras satisfying natural hypotheses are shown to be 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.

*M}_g,n (with Chiara Damiolini and Nicola Tarasca) submitted*

*(arxiv )*

We show that coinvariants of modules over conformal vertex 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.

*M}*from Gromov-Witten theory (with Prakash Belkale) IMRN 2019 (arxiv, journal

_{0,n }Basepoint free cycles on the moduli space of stable n-pointed rational curves, defined using Gromov-Witten invariants of smooth projective homogeneous spaces X are studied. Intersection formulas to find classes are given, with explicit examples for X a projective space, and X a smooth projective quadric hypersurface. When X is projective space, divisors are shown equivalent to conformal blocks divisors for type A at level one, giving maps from $\overline{M}_{0,n}$ to birational models constructed as GIT quotients, parametrizing configurations of weighted points supported on (generalized) Veronese curves.

For C a stable curve of arithmetic genus g ≥ 2, and D the determinant of cohomology line bundle on Bun_{SL(r)}(C), we show the section ring for the pair (BunSL(r)(C), D) is finitely generated. Three applications are given.

Here we consider higher Chern classes of vector bundles of conformal blocks on the moduli space of stable pointed curves of genus zero, giving explicit formulas for them, and extending various results that hold for first Chern classes to them. We use these classes to form a full dimensional subcone of the Pliant cone on $\overline{M}_{0,n}$.

_{g,n }(with Prakash Belkale and Anna Kazanova), Mathematische Zeitschrift, 2016, (arxiv, journal))

By way of intersection theory on the moduli space of curves, we show that geometric interpretations for conformal blocks, as sections of ample line bundles over projective varieties, do not have to hold at points on the boundary. We show such a translation would imply certain recursion relations for first Chern classes of these bundles. While recursions can fail, geometric interpretations are shown to hold under certain conditions.

*M}*(with Prakash Belkale and Swarnava Mukhopadhyay), Transformation Groups, 2016 (BGMB, journal)

_{0,n}We introduce and study the problem of finding necessary and sufficient conditions under which a conformal blocks divisor on the moduli space of curves is nonzero. We give necessary conditions in type A, which are sufficient when theta and critical levels coincide. We show that divisors are subject to additive identities, dependent on ranks of the underlying bundle. These identities amplify vanishing and nonvanishing results and have other applications.

Conformal block divisors in type A on the moduli space of stable pointed rational curves are shown to satisfy new symmetries when levels and ranks are interchanged in non-standard ways. A connection with the quantum cohomology of Grassmannians reveals that these divisors vanish above the critical level.

_{0,n}, (with Valery Alexeev, and David Swinarski), Proceedings of the Edinburgh Mathematical Society, 2014, (arxiv, journal)

We study a family of semiample divisors on the moduli space of stable pointed rational curves defined using conformal blocks and analyze their associated morphisms.

_{0,n}and conformal blocks, (with Dave Jensen, Han-Bom Moon, and David Swinarski), the Michigan Mathematical Journal, 2013, (arxiv, journal)

The moduli space of Deligne-Mumford stable n-pointed rational curves admits morphisms to spaces recently constructed by Giansiracusa, Jensen, and Moon that we call Veronese quotients. We study divisors associated to these maps and show that they arise as first Chern classes of vector bundles of conformal blocks.

_{g,n}, Mathematisches Forschungsinstitut Oberwolfach, Moduli Spaces in Algebraic Geometry 2013, (Abstract)

This is an abstract of a talk given at Oberwolfach.

We prove that the type A, level one, conformal blocks divisors on the moduli space of stable pointed rational curves span a finitely generated, full-dimensional subcone of the nef cone. Each such divisor induces a morphism from the moduli space, and we identify its image as a GIT quotient parameterizing configurations of points supported on a flat limit of Veronese curves. We show how scaling GIT linearizations gives geometric meaning to certain identities among conformal blocks divisor classes. This also gives modular interpretations, in the form of GIT constructions, to the images of the hyperelliptic and cyclic trigonal loci under an extended Torelli map.

The divisors on the moduli space of stable curves of genus g that arise as the pullbacks of ample divisors along any extension of the Torelli map to any toroidal compactification of $A_g$ form a 2-dimensional extremal face of the nef cone of $\overline{M}_g$, which is explicitly described.

_{n}level 1 conformal blocks divisors on \overline{M}

_{0,n}, (with M. Arap, J. Stankewicz and D. Swinarski), International Maths. Research Notices, 2011, (arxiv, journal)

We study a family of semi-ample divisors on the moduli space of stable pointed rational curves that come from the theory of conformal blocks for the Lie algebra sl_n and level 1. The divisors we study are invariant under the action of the symmetric group. We compute their classes and prove that they generate extremal rays in the cone of symmetric nef divisors on $\overline{M}_{0,n}$. In particular, these divisors define birational contractions, which we show factor through reduction morphisms to moduli spaces of weighted pointed curves defined by Hassett.

The nef cone of a projective variety Y is an important and often elusive invariant. In this paper we construct two polyhedral lower bounds and one polyhedral upper bound for the nef cone of Y using an embedding of Y into a toric variety. The lower bounds generalize the combinatorial description of the nef cone of a Mori dream space, while the upper bound generalizes the F-conjecture for the nef cone of the moduli space $\overline{M}_{0,n}$ to a wide class of varieties.

We give explicit equations for the Chow and Hilbert quotients of a projective scheme X by the action of an algebraic torus T in an auxiliary toric variety. As a consequence we provide GIT descriptions of these canonical quotients, and obtain other GIT quotients of X by variation of GIT quotient. We apply these results to find equations for the moduli space $\overline{M}_{0,n}$ of stable genus zero n-pointed curves as a subvariety of a smooth toric variety defined via tropical methods.

_{g}to be ample, Compositio Mathematica, 2009, (arxiv, journal)

The moduli space of n−pointed stable curves of genus g is stratified by the topological type of the curves being parametrized: The closure of the locus of curves with k nodes has codimension k. The one dimensional components of this stratification are smooth rational curves (whose numerical equivalence classes are) called F-curves. The F-conjecture asserts that a divisor on $\overline{M}_{g,n}$ is nef if and only if it nonnegatively intersects the F−curves. In this paper the F-conjecture on $\overline{M}_{g,n}$ is reduced to showing that certain divisors in $\overline{M}_{0,N}$ for $N \le g+n$ are equivalent to the sum of the canonical divisor plus an effective divisor supported on the boundary. As an application of the reduction, numerical criteria are given which if satisfied by a divisor D on $\overline{M}_g$, show that D is ample. Additionally, an algorithm is described to check that a given divisor is ample. Using a computer program called Nef Wizard, written by Daniel Krashen, one can use the criteria and the algorithm to verify the conjecture for low genus. This is done for $g\le 24$, more than doubling the known cases of the conjecture, and showing it is true for the first genus such that the moduli space is known to be of general type.

We introduce a smooth projective variety $T_{d,n}$ which compactifies the space of configurations of n distinct points on affine d-space modulo translation and homothety. The points in the boundary correspond to n-pointed stable rooted trees of d-dimensional projective spaces, which for d=1, are (n+1)-pointed stable rational curves. In particular, $T_{1,n}$ is isomorphic to $\overline{M}_{0,n+1}$, the moduli space of such curves. The variety $T_{d,n}$ shares many properties with $\overline{M}_{0,n+1}$. For example, as we prove, the boundary is a smooth normal crossings divisor whose components are products of $T_{d,i}$ for $i

We compute the Mori cone of curves of the moduli space of stable n-pointed curves of genus g in the case when g and n are relatively small. For instance, we show that for $g<14$ every curve in $\overline{M}_g$ is numerically equivalent to an effective sum of 1-strata (loci of curves with 3g-4 nodes). We also prove that the nef cone of $\overline{M}_{0,6}$ is composed of 11 natural subcones all contained in the convex hull of boundary classes. We apply this result to classify the fibrations of the moduli space of rational curves with $n<7$ marked points.

_{g,n}

_{, }(with S. Keel and I. Morrison), J. Amer. Math. Soc. 2002, (arxiv, journal)

In this paper we study the ample cone of the moduli space of stable n-pointed curves of genus g. Our motivating conjecture is that a divisor on $\overline{M}_{g,n}$ is ample iff it has positive intersection with all 1-dimensional strata (the components of the locus of curves with at least 3g+n−2 nodes). This translates into a simple conjectural description of the cone by linear inequalities, and, as all the 1-strata are rational, includes the conjecture that the Mori cone is polyhedral and generated by rational curves. Our main result is that the conjecture holds iff it holds for g=0.