Researcher profile

Ilya Tyomkin

Ilya Tyomkin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

6 published item(s)

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.

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.