arXiv subjects

Luca Battistella

Publications and source records attributed to Luca Battistella.

17 recordsLinked to original sources

arXiv2026

Vector bundles on Olsson fans

Artin fans are algebro-geometric incarnations of cone complexes. We study weakly convex Olsson fans, generalising Artin fans in two ways: first, they admit lineality spaces, thus including tropical tori as well; second, they are defined over a base logarithmic scheme, thus providing a relative version of equivariant toric geometries. We determine conditions under which Olsson fans are well-behaved, in the sense that their geometry is determined combinatorially. We undertake the study of quasicoherent sheaves, and in particular vector bundles, on Olsson fans: we describe their moduli stack in the case of a (subdivided) cone, and some failures of algebraicity in the general case; Weyl convexity shows up naturally in this context.

math.AG↗

arXiv2025

Integral Chow rings of modular compactifications of $\mathcal{M}_{1,n\leq 6}$

For $n\leq 6$, we compute the integral Chow ring of every modular compactification of $\mathcal{M}_{1,n}$ parametrising only Gorenstein curves with smooth, distinct markings. These include the Deligne--Mumford, Schubert, and Smyth compactifications, and many more. They can all be excised from the stack of log-canonically polarised Gorenstein curves. The Chow ring of the latter admits a simple, combinatorial description, which we compute by patching along a natural stratification by core level. We further deduce that all these modular compactifications satisfy the Chow-K\"{u}nneth generation property, that the cycle class map is an isomorphism, and for $n=4$ we study whether the Getzler's relation hold integrally.

math.AG↗

arXiv2025

Euler characteristics of higher rank double ramification loci in genus one

Double ramification loci parametrise marked curves where a weighted sum of the markings is linearly trivial; higher-rank loci are obtained by imposing several such conditions simultaneously. We obtain closed formulae for the orbifold Euler characteristics of double ramification loci, and their higher-rank generalisations, in genus one. The rank-one formula is a polynomial, while the higher-rank formula involves greatest common divisors of matrix minors. The proof is based on a recurrence relation, which allows for induction on the rank and number of markings.

math.AG↗

arXiv2024

Wall-crossing integral Chow rings of $\overline{\mathcal M}_{1,n}$

We compute the integral Chow rings of $\overline{\mathcal M}_{1,n}$ for $n=3,4$. For $n\leq 6$, these stacks can be obtained by a sequence of weighted blow-ups and blow-downs from a simple stack, either a weighted projective space or a Grassmannian. Our strategy consists in inductively computing all the integral Chow rings of the alternative compactifications introduced by Smyth and studied by Lekili-Polishchuk.

math.AG↗

arXiv2024

Gorenstein curve singularities of genus three

We classify the analytic germs of isolated Gorenstein curve singularities of genus three, and relate them to the connected components of strata of abelian differentials.

math.AG↗

arXiv2024

Logarithmic negative tangency and root stacks

We study stable maps to normal crossings pairs with possibly negative tangency orders. There are two independent models: punctured Gromov-Witten theory of pairs and orbifold Gromov-Witten theory of root stacks with extremal ages. Exploiting the tropical structure of the punctured mapping space, we define and study a new virtual class for the punctured theory. This arises as a refined intersection product on the Artin fan, and produces a distinguished sector of punctured Gromov-Witten invariants. Restricting to genus zero, we show that these invariants coincide with the orbifold invariants, first for smooth pairs, and then for normal crossings pairs after passing to a sufficiently refined blowup. This builds on previous work to provide a complete picture of the logarithmic-orbifold comparison in genus zero, which is compatible with splitting and thus allows for the wholesale importation of orbifold techniques, including boundary recursion and torus localisation. Contemporaneous work of Johnston uses the comparison to give a new proof of the associativity of the Gross-Siebert intrinsic mirror ring.

math.AG↗

arXiv2023

Hyperelliptic Gorenstein curves and logarithmic differentials

We produce a flexible tool for contracting subcurves of logarithmic hyperelliptic curves, which is local around the subcurve and commutes with arbitrary base-change. As an application, we prove that hyperelliptic multiscale differentials determine a sequence of Gorenstein contractions of the underlying nodal curve, whose dualising bundle they descend to generate. This is the first piece of evidence for a more general conjecture about limits of differentials.

math.AG↗

arXiv2023

Gromov-Witten theory via roots and logarithms

Orbifold and logarithmic structures provide independent routes to the virtual enumeration of curves with tangency orders for a simple normal crossings pair $(X|D)$. The theories do not coincide and their relationship has remained mysterious. We prove that the genus zero orbifold theories of multi-root stacks of strata blowups of $(X|D)$ converge to the corresponding logarithmic theory of $(X|D)$. With fixed numerical data, there is an explicit combinatorial criterion that guarantees when a blowup is sufficiently refined for the theories to coincide. There are two key ideas in the proof. The first is the construction of a naive Gromov-Witten theory, which serves as an intermediary between roots and logarithms. The second is a smoothing theorem for tropical stable maps; the geometric theorem then follows via virtual intersection theory relative to the universal target. The results import new computational tools into logarithmic Gromov-Witten theory. As an application, we show that the genus zero logarithmic Gromov-Witten theory of a pair is determined by the absolute Gromov-Witten theories of its strata.

math.AG↗

arXiv2023

Buildings, valuated matroids, and tropical linear spaces

Affine Bruhat--Tits buildings are geometric spaces extracting the combinatorics of algebraic groups. The building of $\mathrm{PGL}$ parametrizes flags of subspaces/lattices in or, equivalently, norms on a fixed finite-dimensional vector space, up to homothety. It has first been studied by Goldman and Iwahori as a piecewise-linear analogue of symmetric spaces. The space of seminorms compactifies the space of norms and admits a natural surjective restriction map from the Berkovich analytification of projective space that factors the natural tropicalization map. Inspired by Payne's result that the analytification is the limit of all tropicalizations, we show that the space of seminorms is the limit of all tropicalized linear embeddings $ι\colon\mathbb{P}^r\hookrightarrow\mathbb{P}^n$ and prove a faithful tropicalization result for compactified linear spaces. The space of seminorms is in fact the tropical linear space associated to the universal realizable valuated matroid.

math.AG↗

arXiv2022

The local-orbifold correspondence for simple normal crossings pairs

For $X$ a smooth projective variety and $D=D_1+\ldots+D_n$ a simple normal crossings divisor, we establish a precise cycle-level correspondence between the genus zero local Gromov-Witten theory of the bundle $\oplus_{i=1}^n \mathcal{O}_X(-D_i)$ and the maximal contact Gromov-Witten theory of the multi-root stack $X_{D,\vec{r}}$. The proof is an implementation of the rank reduction strategy. We use this point of view to clarify the relationship between logarithmic and orbifold invariants.

math.AG↗

arXiv2021

A geographical study of $\overline{\mathcal M}_{2}(\mathbb{P}^2,4)^{\text{main}}$

We discuss criteria for a stable map of genus two and degree $4$ to the projective plane to be smoothable, as an application of our modular desingularisation of $\overline{\mathcal M}_{2,n}(\mathbb{P}^r,d)^{\text{main}}$ via logarithmic geometry and Gorenstein singularities.

math.AG↗

arXiv2021

Modular compactifications of $\mathcal M_{2,n}$ with Gorenstein singularities

We study the geometry of Gorenstein curve singularities of genus two, and of their stable limits. These singularities come in two families, corresponding to either Weierstrass or conjugate points on a semistable tail. For every $1\leq m <n$, a stability condition - using one of the markings as a reference point, and therefore not $\mathfrak S_n$-symmetric - defines proper Deligne-Mumford stacks $\overline{\mathcal M}_{2,n}^{(m)}$ containing the locus of smooth curves as a dense open substack.

math.AG↗

arXiv2021

A smooth compactification of the space of genus two curves in projective space via logarithmic geometry and Gorenstein curves

We construct a modular desingularisation of $\overline{\mathcal{M}}_{2,n}(\mathbb{P}^r,d)^{\text{main}}$. The geometry of Gorenstein singularities of genus two leads us to consider maps from prestable admissible covers: with this enhanced logarithmic structure, it is possible to desingularise the main component by means of a logarithmic modification. Both isolated and non-reduced singularities appear naturally. Our construction gives rise to a notion of reduced Gromov-Witten invariants in genus two.

math.AG↗

arXiv2021

Curve counting in genus one: elliptic singularities & relative geometry

We construct and study the reduced, relative, genus one Gromov--Witten theory of very ample pairs. These invariants form the principal component contribution to relative Gromov--Witten theory in genus one and are relative versions of Zinger's reduced Gromov--Witten invariants. We relate the relative and absolute theories by degeneration of the tangency conditions, and the resulting formulas generalise a well-known recursive calculation scheme put forward by Gathmann in genus zero. The geometric input is a desingularisation of the principal component of the moduli space of genus one logarithmic stable maps to a very ample pair, using the geometry of elliptic singularities. Our study passes through general techniques for calculating integrals on logarithmic blowups of moduli spaces of stable maps, which may be of independent interest.

math.AG↗

arXiv2020

Relative quasimaps and mirror formulae

We construct and study the theory of relative quasimaps in genus zero, in the spirit of Gathmann. When $X$ is a smooth toric variety and $Y$ is a smooth very ample hypersurface in $X$, we produce a virtual class on the moduli space of relative quasimaps to $(X,Y)$, which we use to define relative quasimap invariants. We obtain a recursion formula which expresses each relative invariant in terms of invariants of lower tangency, and apply this formula to derive a quantum Lefschetz theorem for quasimaps, expressing the restricted quasimap invariants of $Y$ in terms of those of $X$. Finally, we show that the relative $I$-function of Fan-Tseng-You coincides with a natural generating function for relative quasimap invariants, providing mirror-symmetric motivation for the theory.

math.AG↗

arXiv2020

Virtual classes for the working mathematician

This note is intended to be a friendly introduction to virtual classes. We review virtual classes and we give a number of properties and applications. We also include a new virtual push-forward theorem and many computations of virtual classes in simple examples.

math.AG↗

arXiv2018

Reduced invariants from cuspidal maps

We consider genus 1 enumerative invariants arising from the Smyth-Viscardi moduli space of stable maps from curves with nodes and cusps. We prove that these invariants are equal to the Vakil-Zinger reduced invariants for the quintic threefold, providing a modular interpretation of the latter.

math.AG↗