Source author record

Ilya Tyomkin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AC

Catalog footprint

Research overview

11works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

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.

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2016arXiv

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).

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2013arXiv

An example of a reducible Severi variety

We construct a positive-dimensional, reducible Severi variety on a toric surface.

preprint2012arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Ilya Tyomkin

Research overview

Is this your work?

11 publications

On the Severi problem in arbitrary characteristic

Degeneration of curves on some polarized toric surfaces

Reduction and lifting problem for differential forms on Berkovich curves

Enumeration of rational curves with cross-ratio constraints

Ferrand's pushouts for algebraic spaces

On relative birational geometry and Nagata's compactification

Prüfer algebraic spaces

An example of a reducible Severi variety

On Zariski's theorem in positive characteristic

Enriques diagrams, arbitrarily near points, and Hilbert schemes

Tropical geometry and correspondence theorems via toric stacks

See the researcher in context

Building this map preview