Searcharxiv⌕ Search

arXiv subjects

Ilya Tyomkin

Publications and source records attributed to Ilya Tyomkin.

At least 19 recordsLinked to original sources
arXiv2026

Scrollar invariants of singular curves on toric surfaces

Given a curve on a toric surface, a monomial projection induces a map from the normalization of the curve to the projective line. We determine the associated scrollar invariants for general integral curves of fixed geometric genus for a large class of toric surfaces. This generalizes a combinatorial formula to calculate such scrollar invariants for smooth curves in characteristic zero due to Castryck and Cools. We describe an expected behaviour for any toric surface, but provide examples where this fails at least on some irreducible component of the corresponding Severi variety.

math.AG↗
arXiv2026

The irreducibility of Hurwitz spaces and Severi varieties on toric surfaces

In 1969, Fulton introduced classical Hurwitz spaces parametrizing simple d-sheeted coverings of the projective line in the algebro-geometric setting. He established the irreducibility of these spaces under the assumption that the characteristic of the ground field is greater than d, but the irreducibility problem in smaller characteristics remained open. We resolve this problem in the current paper and prove that the classical Hurwitz spaces are irreducible over any algebraically closed field. On the way, we establish the irreducibility of Severi varieties in arbitrary characteristic for a rich class of toric surfaces, including all classical toric surfaces. Our approach to the irreducibility problems comes from tropical geometry, and the paper contains two more results of independent interest - a lifting result for parametrized tropical curves and a strong connectedness property of the moduli spaces of parametrized tropical curves.

math.AG↗
arXiv2026

Balancing properties of tropical moduli maps

Given a family of parameterized algebraic curves over a strictly semistable pair, we show that the simultaneous tropicalization of the curves in the family forms a family of parameterized tropical curves over the skeleton of the strictly semistable pair. We show that the induced tropical moduli map satisfies a certain balancing condition, which allows us to describe properties of its image and deduce a new liftability criterion.

math.AG↗
arXiv2025

A note on elliptic curves on toric surfaces

In this paper, we study the Severi varieties parametrizing integral curves of geometric genus one on polarized toric surfaces in characteristic zero and describe their irreducible components. We show that the irreducible components are in natural bijection with certain affine sublattices of the lattice of characters of the toric surface. The sublattices are described explicitly in terms of the polygon defining the polarization of the toric surface.

math.AG↗
arXiv2024

The Geometry of Severi Varieties

In this appendix, we summarize known results on the geometry of Severi varieties on toric surfaces - the varieties parameterizing integral curves of a given geometric genus in a given linear system. Till the last decade, Severi varieties were studied exclusively in characteristic zero. In particular, in the 80-s, Zariski proved that a general plane curve of a given genus is necessarily nodal and gave a dimension-theoretic characterization of the Severi varieties. A few years later, Harris showed that the classical Severi varieties are irreducible. The geometry of Severi varieties is much subtler on general toric surfaces, especially in positive characteristic. In the appendix, we discuss in particular recent examples of reducible Severi varieties and of components of Severi varieties parameterizing non-nodal curves in positive characteristic. We explain the new tools coming from tropical geometry that allowed us to generalize the theorems of Zariski and Harris to arbitrary characteristic in the classical case of curves on the projective plane. Finally, we discuss the results about the adjacency of Severi varieties for different genera.

math.AG↗
arXiv2023

On the Severi problem in arbitrary characteristic

In this paper, we show that Severi varieties parameterizing irreducible reduced planar curves of a given degree and geometric genus are either empty or irreducible in any characteristic. Following Severi's original idea, this gives a new proof of the irreducibility of the moduli space of smooth projective curves of a given genus in positive characteristic. It is the first proof that involves no reduction to the characteristic zero case. As a further consequence, we generalize Zariski's theorem to positive characteristic and show that a general reduced planar curve of a given geometric genus is nodal.

math.AG↗
arXiv2022

Degeneration of curves on some polarized toric surfaces

We address the following question: Given a polarized toric surface (S,L), and a general integral curve C of geometric genus g in the linear system |L|, do there exist degenerations of C in |L| to general integral curves of smaller geometric genera? We give an affirmative answer to this question for surfaces associated to h-transverse polygons, provided that the characteristic of the ground field is large enough. We give examples of surfaces in small characteristic, for which the answer to the question is negative. In case the answer is affirmative, we deduce that a general curve C as above is nodal. In characteristic 0, we use the result to show irreducibility of Severi varieties of a large class of polarized toric surfaces with h-transverse polygon.

math.AG↗
arXiv2022

Reduction and lifting problem for differential forms on Berkovich curves

Given a complete real-valued field $k$ of residue characteristic zero, we study properties of a differential form $ω$ on a smooth proper $k$-analytic curve $X$. In particular, we associate to $(X,ω)$ a natural tropical reduction datum combining tropical data of $(X,ω)$ and algebra-geometric reduction data over the residue field $\widetilde{k}$. We show that this datum satisfies natural compatibility condition, and prove a lifting theorem asserting that any compatible tropical reduction datum lifts to an actual pair $(X,ω)$. In particular, we obtain a short proof of the main result of a work [BCGGM20] by Bainbridge, Chen, Gendron, Grushevsky, and Möller.

math.AG↗
arXiv2020

A note on the Severi problem for toric surfaces

In this note, we make a step towards the classification of toric surfaces admitting reducible Severi varieties. We generalize the results of [Lan19, Tyo13, Tyo14], and provide two families of toric surfaces admitting reducible Severi varieties. The first family is general, and is obtained by a quotient construction. The second family is exceptional, and corresponds to certain narrow polygons, which we call kites. We introduce two types of invariants that distinguish between the components of the Severi varieties, and allow us to provide lower bounds on the numbers of the components. The sharpness of the bounds is verified in some cases, and is expected to hold in general for ample enough linear systems. In the appendix, we establish a connection between the Severi problem and the topological classification of univariate polynomials.

math.AG↗
arXiv2019

Tropicalized quartics and canonical embeddings for tropical curves of genus 3

Brodsky, Joswig, Morrison and Sturmfels showed that not all abstract tropical curves of genus $3$ can be realized as a tropicalization of a quartic in the euclidean plane. In this article, we focus on the interior of the maximal cones in the moduli space and classify all curves which can be realized as a faithful tropicalization in a tropical plane. Reflecting the algebro-geometric world, we show that these are exactly those which are not realizably hyperelliptic. Our approach is constructive: For any not realizably hyperelliptic curve, we explicitly construct a realizable model of the tropical plane and a faithfully tropicalized quartic in it. These constructions rely on modifications resp. tropical refinements. Conversely, we prove that any realizably hyperelliptic curve cannot be embedded in such a fashion. For that, we rely on the theory of tropical divisors and embeddings from linear systems, and recent advances in the realizability of sections of the tropical canonical divisor.

math.AG↗
arXiv2016

Enumeration of rational curves with cross-ratio constraints

In this paper we prove the algebraic-tropical correspondence for stable maps of rational curves with marked points to toric varieties such that the marked points are mapped to given orbits in the big torus and in the boundary divisor, the map has prescribed tangency to the boundary divisor, and certain quadruples of marked points have prescribed cross-ratios. In particular, our results generalize the results of Nishinou and Siebert. The proof is very short, involves only the standard theory of schemes, and works in arbitrary characteristic (including the mixed characteristic case).

math.AG↗
arXiv2016

Prüfer algebraic spaces

This is the first in a series of two papers concerned with relative birational geometry of algebraic spaces. In this paper, we study Prüfer spaces and Prüfer pairs of algebraic spaces that generalize spectra of Prüfer rings. As a particular case of Prüfer spaces we introduce valuation algebraic spaces, and use them to establish valuative criterion of universal closedness that sharpens the standard criterion. In the sequel paper, we will introduce a version of Riemann-Zariski spaces, and will prove Nagata compactification theorem for algebraic spaces.

math.AG↗
arXiv2016

Ferrand's pushouts for algebraic spaces

We extend Ferrand's results about pushouts of schemes to the category of algebraic spaces. We call the corresponding class of pushouts Ferrand's pushouts. They will be used in our sequel works to extend the notions of valuation rings and Riemann-Zariski spaces to the category of algebraic spaces, and to obtain a new proof of Nagata's compactification theorem for algebraic spaces.

math.AG↗
arXiv2016

On relative birational geometry and Nagata's compactification

In 2011, the first author introduced (relative) Riemann-Zariski spaces corresponding to a morphism of schemes and established their basic properties. In this paper we clarify that theory and extend it to morphisms between algebraic spaces. As an application, a new proof of Nagata's compactification theorem for algebraic spaces is obtained.

math.AG↗
arXiv2012

On Zariski's theorem in positive characteristic

In the current paper we show that the dimension of a family $V$ of irreducible reduced curves in a given ample linear system on a toric surface $S$ over an algebraically closed field is bounded from above by $-K_S.C+p_g(C)-1$, where $C$ denotes a general curve in the family. This result generalizes a famous theorem of Zariski to the case of positive characteristic. We also explore new phenomena that occur in positive characteristic: We show that the equality $\dim(V)=-K_S.C+p_g(C)-1$ does not imply the nodality of $C$ even if $C$ belongs to the smooth locus of $S$, and construct reducible Severi varieties on weighted projective planes in positive characteristic, parameterizing irreducible reduced curves of given geometric genus in a given ample linear system.

math.AG↗
arXiv2011

Tropical geometry and correspondence theorems via toric stacks

In this paper we generalize correspondence theorems of Mikhalkin and Nishinou-Siebert providing a correspondence between algebraic and parameterized tropical curves. We also give a description of a canonical tropicalization procedure for algebraic curves motivated by Berkovich's construction of skeletons of analytic curves. Under certain assumptions, we construct a one-to-one correspondence between algebraic curves satisfying toric constraints and certain combinatorially defined objects, called "stacky tropical reductions", that can be enumerated in terms of tropical curves satisfying linear constraints. Similarly, we construct a one-to-one correspondence between elliptic curves with fixed $j$-invariant satisfying toric constraints and "stacky tropical reductions" that can be enumerated in terms of tropical elliptic curves with fixed tropical $j$-invariant satisfying linear constraints. Our theorems generalize previously published correspondence theorems in tropical geometry, and our proofs are algebra-geometric. In particular, the theorems hold in large positive characteristic.

math.AG↗
arXiv2011

Enriques diagrams, arbitrarily near points, and Hilbert schemes

Given a smooth family F/Y of geometrically irreducible surfaces, we study sequences of arbitrarily near T-points of F/Y; they generalize the traditional sequences of infinitely near points of a single smooth surface. We distinguish a special sort of these new sequences, the strict sequences. To each strict sequence, we associate an ordered unweighted Enriques diagram. We prove that the various sequences with a fixed diagram form a functor, and we represent it by a smooth Y-scheme. We equip this Y-scheme with a free action of the automorphism group of the diagram. We equip the diagram with weights, take the subgroup of those automorphisms preserving the weights, and form the corresponding quotient scheme. Our main theorem constructs a canonical universally injective map Ψfrom this quotient scheme to the Hilbert scheme of F/Y; further, this map is an embedding in characteristic 0. However, in every positive characteristic, we give an example, in Appendix B, where the map is purely inseparable.

math.AG↗