Searcharxiv⌕ Search

arXiv subjects

Eduardo Esteves

Publications and source records attributed to Eduardo Esteves.

At least 19 recordsLinked to original sources

Continuous Linear Series

We parameterize by a fine moduli space all degenerations of linear series to a singular curve which is the union of two smooth components meeting transversally at a single point. For this we introduce a novel object in the study of degenerations of linear series, which is the continuous linear series. Our moduli space can be regarded as a Hilbert quotient, in the terminology introduced by Kapranov, and is a new compactification of Osserman moduli space of exact limit linear series, and consequently, of Eisenbud and Harris moduli space of refined limit linear series on the curve.

math.AG↗

Polymatroidal tilings and the Chow class of linked projective spaces

Linked projective spaces are quiver Grassmanians of constant dimension one of certain quiver representations, called linked nets, over special class of quivers, called $\mathbb{Z}^n$-quivers. They were recently introduced as a tool for describing schematic limits of families of divisors. They are subschemes of products of projective spaces of the same dimension. It is an open question whether they are degenerations of the (small) diagonal. We show that they have the Chow class of the diagonal.

math.AG↗

Degenerations of maps to projective spaces

Degenerations of linear series on smooth projective varieties approaching multicomponent varieties $X$ give rise to certain quiver representations in the category of linear series over $X$, which yield rational maps from $X$ to the corresponding quiver Grassmannians of codimension 1 subspaces. We describe these quiver Grassmannians for the case of the simplest quiver, arising when $X$ has only two components. We prove that they are reduced, local complete intersections whose components are rational of the same dimension. Also, we show that they are limits of projective spaces when they do arise from degenerations, and thus are special fibers of certain Mustafin varieties. Finally, we address a Riemann--Roch question for these quiver representations.

math.AG↗

Limit canonical series

We describe the limits of canonical series along families of curves degenerating to a nodal curve which is general for its topology, in the weak sense that the branches over nodes on each of its components are in general position. We define a fan structure on the space of edge lengths on the dual graph of the limit curve, and construct a projective variety parametrizing the limits, organized in strata associated to the cones of this fan. This extends to all topologies the works by Eisenbud-Harris (Invent. Math. 87: 496-515, 1987) on curves of compact type and Esteves-Medeiros (Invent. Math. 149: 267-338, 2002) on two-component curves.

math.AG↗

Quiver representations arising from degenerations of linear series, II

We describe all the schematic limits of families of divisors associated to a given family of rank-$r$ linear series on a one-dimensional family of projective varieties degenerating to a connected reduced projective scheme $X$ defined over any field, under the assumption that the total space of the family is regular along $X$. More precisely, the degenerating family gives rise to a special quiver $Q$, called a \emph{$\mathbb{Z}^n$-quiver}, a special representation $\mathfrak L$ of $Q$ in the category of line bundles over $X$, called a \emph{maximal exact linked net}, and a special subrepresentation $\mathfrak V$ of the representation $H^0(X,\mathfrak L)$ induced from $\mathfrak L$ by taking global sections, called a \emph{pure exact finitely generated linked net} of dimension $r+1$. Given $\mathfrak g=(Q,\mathfrak L,\mathfrak V)$ satisfying these properties, we prove that the quiver Grassmanian $\mathbb{LP}(\mathfrak{V})$ of subrepresentations of $\mathfrak{V}$ of pure dimension 1, called a \emph{linked projective space}, is local complete intersection, reduced and of pure dimension $r$. Furthermore, we prove that there is a morphism $\mathbb{LP}(\mathfrak{V})\to\text{Hilb}_X$, and that its image parameterizes all the schematic limits of divisors along the degenerating family of linear series if $\mathfrak g$ arises from one.

math.AG↗

Residue polytopes

A level graph is the data of a pair $(G,π)$ consisting of a finite graph $G$ and an ordered partition $π$ on the set of vertices of $G$. To each level graph on $n$ vertices we associate a polytope in $\mathbb R^n$ called its residue polytope. We show that residue polytopes are compatible with each other in the sense that if $π'$ is a coarsening of $π$, then the polytope associated to $(G,π)$ is a face of the one associated to $(G,π')$. Moreover, they form all the faces of the residue polytope of $G$, defined as the polytope associated to the level graph with the trivial ordered partition. The results are used in a companion work to describe limits of spaces of Abelian differentials on families of Riemann surfaces approaching a stable Riemann surface on the boundary of the moduli space.

math.CO↗

Tropicalization of linear series and tilings by polymatroids

We show that tropicalization of linear series on curves gives rise to two-parameter families of tilings by polymatroids, with one parameter arising from the theory of divisors on tropical curves and the other from the reduction of linear series of rational functions in non-Archimedean geometry. In order to do this, we introduce a general framework that produces tilings of vector spaces and their subsets by polymatroids. We furthermore show that these tilings are regular and relate them to work by Kapranov and Lafforgue on Chow quotients of Grassmannians.

math.AG↗

Quiver representations arising from degenerations of linear series, I

We give a local characterization for when certain quiver representations in semisimple Abelian categories are semisimple, among them those arising from degenerations of linear series. This paper is the first of two, aimed to describe all the schematic limits of families of divisors associated to a given family of linear series on a one-dimensional family of projective varieties degenerating to a connected reduced projective scheme $X$ defined over any field, under the assumption that the total space of the family is regular along $X$, by means of certain quiver Grassmannians.

math.AG↗

Voronoi tilings, toric arrangements and degenerations of line bundles III

We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This article and the first two that preceded it are the first in a series aimed to explore this new approach. In Part I, we set up the combinatorial framework and showed how graphs weighted with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes associated to the graph itself and to its subgraphs. In Part II, we described the arrangements of toric varieties associated to the tilings of Part I in several ways: using normal fans, as unions of orbits, by equations and as degenerations of tori. In the present Part III, we show how these combinatorial and toric frameworks allow us to describe all stable limits of a family of line bundles along a degenerating family of curves. Our main result asserts that the collection of all these limits is parametrized by a connected 0-dimensional closed substack of the Artin stack of all torsion-free rank-one sheaves on the limit curve. Moreover, we thoroughly describe this closed substack and all the closed substacks that arise in this way as certain torus quotients of the arrangements of toric varieties of Part II determined by the Voronoi tilings of Euclidean spaces studied in Part I.

math.AG↗

Voronoi tilings, toric arrangements and degenerations of line bundles I

We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This paper and its second and third companion parts are the first in a series aimed to explore this new approach. In the present article, we set up the combinatorial framework and show how graphs with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes associated to the graph itself and to certain of its subgraphs. We further provide a description of the combinatorial structure of these polytopes and the way they are glued together in the tiling. In the second part of the series, we describe the arrangements of toric varieties associated to these tilings. These results will be of use in the third part to achieve our goal of describing all stable limits of a family of line bundles along a degenerating family of curves.

math.CO↗

Voronoi tilings, toric arrangements and degenerations of line bundles II

We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This article and its first and third part companion parts are the first in a series aimed to explore this new approach. In the first part, we set up the combinatorial framework and showed how graphs weighted with integer lengths associated to the edges provide tilings of Euclidean spaces by polytopes associated to the graph itself and to its subgraphs. In this part, we describe the arrangements of toric varieties associated to these tilings. Roughly speaking, the normal fan to each polytope in the tiling corresponds to a toric variety, and these toric varieties are glued together in an arrangement according to how the polytopes meet. We provide a thorough description of these toric arrangements from different perspectives: by using normal fans, as unions of torus orbits, by describing the (infinitely many) polynomial equations defining them in products of doubly infinite chains of projective lines, and as degenerations of algebraic tori. These results will be of use in the third part to achieve our goal of describing all stable limits of a family of line bundles along a degenerating family of curves.

math.AG↗

Limits of dual curves via foliations

We develop a method to compute limits of dual plane curves in Zeuthen families of any kind. More precisely, we compute the limit 0-cycle of the ramification scheme of a general linear system on the generic fiber, only assumed geometrically reduced, of a Zeuthen family of any kind.

math.AG↗

Level-$δ$ limit linear series

We introduce the notion of level-$δ$ limit linear series, which describe limits of linear series along families of smooth curves degenerating to a singular curve $X$. We treat here only the simplest case where $X$ is the union of two smooth components meeting transversely at a point $P$. The integer $δ$ stands for the singularity degree of the total space of the degeneration at $P$. If the total space is regular, we get level-1 limit linear series, which are precisely those introduced by Osserman in 2006. We construct a projective moduli space $G^r_{d,δ}(X)$ parameterizing level-$δ$ limit linear series of rank $r$ and degree $d$ on $X$, and show that it is a new compactification, for each $δ$, of the moduli space of Osserman exact limit linear series, an open subscheme $G^{r,*}_{d,1}(X)$ of the space $G^r_{d,1}(X)$ already constructed by Osserman. Finally, we generalize work by Esteves and Osserman by associating to each exact level-$δ$ limit linear series $\mathfrak g$ on $X$ a closed subscheme $\mathbb P(\mathfrak g)\subseteq X^{(d)}$ of the $d$th symmetric product of $X$, and showing that $\mathbb P(\mathfrak g)$ is the limit of the spaces of divisors associated to linear series on smooth curves degenerating to $\mathfrak g$ on $X$, if such degenerations exist. In particular, we describe completely limits of divisors along degenerations to such a curve $X$.

math.AG↗

Semistable modifications of families of curves and compactified Jacobians

Given a family of nodal curves, a semistable modification of it is another family made up of curves obtained by inserting chains of rational curves of any given length at certain nodes of certain curves of the original family. We give comparison theorems between torsion-free, rank-1 sheaves in the former family and invertible sheaves in the latter. We apply them to show that there are functorial isomorphisms between the compactifications of relative Jacobians of families of nodal curves constructed through Caporaso's approach and those constructed through Pandharipande's approach.

math.AG↗

The stable hyperelliptic locus in genus 3: An application of Porteous Formula

We compute the class of the closure of the locus of hyperelliptic curves in the moduli space of stable genus-3 curves in terms of the tautological class $λ$ and the boundary classes $δ_0$ and $δ_1$. The expression of this class is known, but here we compute it directly, by means of Porteous Formula, without resorting to blowups or test curves.

math.AG↗

Degree-2 Abel maps for nodal curves

We present numerical conditions for the existence of natural degree-2 Abel maps for any given nodal curve. Cocoa scripst were written and have so far verified the validity of the conditions for numerous curves.

math.AG↗

Autoduality for curves of compact type

We prove autoduality for curves of compact type and, more generally, treelike curves with planar singularities. More precisely, we produce an isomorphism between the generalized Jacobian of such a curve and the connected component of the identity of the Picard scheme of the compactified Jacobian of the curve.

math.AG↗

Brill-Noether locus of rank 1 and degree g-1 on a nodal curve

In this paper we consider the Brill-Noether locus $W_{\underline d}(C)$ of line bundles of multidegree $\underline d$ of total degree $g-1$ having a nonzero section on a nodal reducible curve $C$ of genus $g\geq2$. We give an explicit description of the irreducible components of $W_{\underline d}(C)$ for a semistable multidegre $\underline d$. As a consequence we show that, if two semistable multidegrees of total degre $g-1$ on a curve with no rational components differ by a twister, then the respective Brill-Noether loci have isomorphic components.

math.AG↗