arXiv subjects

Nicola Tarasca

Publications and source records attributed to Nicola Tarasca.

At least 19 recordsLinked to original sources

arXiv2026

On gluing and splitting series invariants of plumbed 3-manifolds

We study series invariants for plumbed 3-manifolds and knot complements twisted by a root lattice. Our series recover recent results of Gukov-Pei-Putrov-Vafa, Gukov-Manolescu, Park, and Ri and apply more generally to 3-manifolds which are not necessarily negative definite. We show that our series verify certain gluing and splitting properties related to the corresponding operations on 3-manifolds. We conclude with an explicit description of the case of lens spaces and Brieskorn spheres.

math.GT↗

arXiv2026

Root lattices and invariant series for plumbed 3-manifolds

We study formal series which are invariants of plumbed 3-manifolds twisted by root lattices. These series extend the BPS $q$-series $\widehat{Z}(q)$ recently defined in Gukov-Pei-Putrov-Vafa, Gukov-Manolescu, Park, and further refined in Ri. We show that the series $\widehat{Z}(q)$ is unique in an appropriate sense and decomposes as the average of related series which are themselves invariant under the five Neumann moves amongst plumbing trees. Explicit computations are presented in the case of Brieskorn spheres and a non-Seifert manifold.

math.GT↗

arXiv2026

Heisenberg vertex algebras and abelian varieties

Here we construct spaces of coinvariants for Heisenberg vertex algebras on abelian varieties and show that these globalize to twisted $\mathscr{D}$-modules on the moduli space of abelian varieties. Remarkably, we recover the standard construction of these sheaves over the Torelli locus. As an example, in the case of commutative Heisenberg vertex algebras we show that the realization of coinvariants on curves as polynomial functions on one-forms extends to arbitrary abelian varieties.

math.AG↗

arXiv2024

Coinvariants of metaplectic representations on moduli of abelian varieties

We construct spaces of coinvariants at principally polarized abelian varieties with respect to the action of an infinite-dimensional Lie algebra. We show how these spaces globalize to twisted $\mathcal{D}$-modules on moduli of principally polarized abelian varieties, and we determine the Atiyah algebra of a line bundle acting on them. We prove analogous results on the universal abelian variety. An essential aspect of our arguments involves analyzing the Atiyah algebra of the Hodge and canonical line bundles on moduli of abelian varieties and the universal abelian variety.

math.AG↗

arXiv2023

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↗

arXiv2023

Du Val curves and the pointed Brill-Noether Theorem

We show that a general curve in an explicit class of what we call Du Val pointed curves satisfies the Brill-Noether Theorem for pointed curves. Furthermore, we prove that a generic pencil of Du Val pointed curves is disjoint from all Brill-Noether divisors on the universal curve. This provides explicit examples of smooth pointed curves of arbitrary genus defined over Q which are Brill-Noether general. A similar result is proved for 2-pointed curves as well using explicit curves on elliptic ruled surfaces.

math.AG↗

arXiv2022

A pointed Prym-Petri Theorem

We construct pointed Prym-Brill-Noether varieties parametrizing line bundles assigned to an irreducible étale double covering of a curve with a prescribed minimal vanishing at a fixed point. We realize them as degeneracy loci in type D and deduce their classes in case of expected dimension. Thus, we determine a pointed Prym-Petri map and prove a pointed version of the Prym-Petri theorem implying that the expected dimension holds in the general case. These results build on work of Welters and De Concini-Pragacz on the unpointed case. Finally, we show that Prym varieties are Prym-Tyurin varieties for Prym-Brill-Noether curves of exponent enumerating standard shifted tableaux times a factor of $2$, extending to the Prym setting work of Ortega.

math.AG↗

arXiv2022

Incidence varieties in the projectivized $k$-th Hodge bundle over curves with rational tails

Over the moduli space of pointed smooth algebraic curves, the projectivized $k$-th Hodge bundle is the space of $k$-canonical divisors. The incidence loci are defined by requiring the $k$-canonical divisors to have prescribed multiplicities at the marked points. We compute the classes of the closure of the incidence loci in the projectivized $k$-th Hodge bundle over the moduli space of curves with rational tails. The classes are expressed as a linear combination of tautological classes indexed by decorated stable graphs with coefficients enumerating appropriate weightings. As a consequence, we obtain an explicit expression for some relations in tautological rings of moduli of curves with rational tails.

math.AG↗

arXiv2022

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↗

arXiv2021

$k$-canonical divisors through Brill-Noether special points

Inside the projectivized $k$-th Hodge bundle, we construct a collection of divisors obtained by imposing vanishing at a Brill-Noether special point. We compute the classes of the closures of such divisors in two ways, using incidence geometry and restrictions to various families, including pencils of curves on K3 surfaces and pencils of Du Val curves. We also show the extremality and rigidity of the closure of the incidence divisor consisting of smooth pointed curves together with a canonical or 2-canonical divisor passing through the marked point.

math.AG↗

arXiv2021

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↗

arXiv2021

Motivic classes of degeneracy loci and pointed Brill-Noether varieties

Motivic Chern and Hirzebruch classes are polynomials with K-theory and homology classes as coefficients, which specialize to Chern-Schwartz-MacPherson classes, K-theory classes, and Cappell-Shaneson L-classes. We provide formulas to compute the motivic Chern and Hirzebruch classes of Grassmannian and vexillary degeneracy loci. We apply our results to obtain the Hirzebruch $χ_y$-genus of classical and one-pointed Brill-Noether varieties, and therefore their topological Euler characteristic, holomorphic Euler characteristic, and signature.

math.AG↗

arXiv2021

K-classes of Brill-Noether loci and a determinantal formula

We compute the Euler characteristic of the structure sheaf of the Brill-Noether locus of linear series with special vanishing at up to two marked points. When the Brill-Noether number $ρ$ is zero, we recover the Castelnuovo formula for the number of special linear series on a general curve; when $ρ=1$, we recover the formulas of Eisenbud-Harris, Pirola, and Chan-Martín-Pflueger-Teixidor for the arithmetic genus of a Brill-Noether curve of special divisors. These computations are obtained as applications of a new determinantal formula for the K-theory class of certain degeneracy loci. Our degeneracy locus formula also specializes to new determinantal expressions for the double Grothendieck polynomials corresponding to 321-avoiding permutations, and gives double versions of the flagged skew Grothendieck polynomials recently introduced by Matsumura. Our result extends the formula of Billey-Jockusch-Stanley expressing Schubert polynomials for 321-avoiding permutations as generating functions for flagged skew tableaux.

math.AG↗

arXiv2018

Classes of Weierstrass points on genus 2 curves

We study the codimension n locus of curves of genus 2 with n distinct marked Weierstrass points inside the moduli space of genus 2, n-pointed curves, for n <= 6. We give a recursive description of the classes of the closure of these loci inside the moduli space of stable curves. For n<= 4, we express these classes using a generating function over stable graphs indexing the boundary strata of moduli spaces of pointed stable curves. Similarly, we express the closure of these classes inside the moduli space of curves of compact type for all n. This is a first step in the study of the structure of hyperelliptic classes in all genera.

math.AG↗

arXiv2016

Extremality of loci of hyperelliptic curves with marked Weierstrass points

The locus of genus-two curves with n marked Weierstrass points has codimension n inside the moduli space of genus-two curves with n marked points, for n<=6. It is well known that the class of the closure of the divisor obtained for n=1 spans an extremal ray of the cone of effective divisor classes. We generalize this result for all n: we show that the class of the closure of the locus of genus-two curves with n marked Weierstrass points spans an extremal ray of the cone of effective classes of codimension n, for n<=6. A related construction produces extremal nef curve classes in moduli spaces of pointed elliptic curves.

math.AG↗

arXiv2016

Loci of curves with subcanonical points in low genus

Inside the moduli space of curves of genus three with one marked point, we consider the locus of hyperelliptic curves with a marked Weierstrass point, and the locus of non-hyperelliptic curves with a marked hyperflex. These loci have codimension two. We compute the classes of their closures in the moduli space of stable curves of genus three with one marked point. Similarly, we compute the class of the closure of the locus of curves of genus four with an even theta characteristic vanishing with order three at a certain point. These loci naturally arise in the study of minimal strata of Abelian differentials.

math.AG↗

arXiv2016

Divisors of secant planes to curves

Inside the symmetric product of a very general curve, we consider the codimension-one subvarieties of symmetric tuples of points imposing exceptional secant conditions on linear series on the curve of fixed degree and dimension. We compute the classes of such divisors, and thus obtain improved bounds for the slope of the cone of effective divisor classes on symmetric products of a very general curve. By letting the moduli of the curve vary, we study more generally the classes of the related divisors inside the moduli space of stable pointed curves.

math.AG↗

arXiv2015

Pointed Castelnuovo numbers

The classical Castelnuovo numbers count linear series of minimal degree and fixed dimension on a general curve, in the case when this number is finite. For pencils, that is, linear series of dimension one, the Castelnuovo numbers specialize to the better known Catalan numbers. Using the Fulton-Pragacz determinantal formula for flag bundles and combinatorial manipulations, we obtain a compact formula for the number of linear series on a general curve having prescribed ramification at an arbitrary point, in the case when the expected number of such linear series is finite. The formula is then used to solve some enumerative problems on moduli spaces of curves.

math.AG↗