arXiv subjects
Publications and source records attributed to Thomas Dedieu.
The aim of these notes is to explain various enumerative results about $K3$ surfaces without assuming familiarity with Gromov--Witten theory. The enumerative results in question are due to Beauville, Bryan and Leung, Pandharipande, Maulik, Thomas, and others, and confirm conjectures made by Yau--Zaslow, G\"ottsche, and Katz--Klemm--Vafa.
We discuss, following Mikhalkin, Brugall\'e, and many others, the counting of curves on toric surfaces with prescribed genus, Newton polygon, and intersection pattern with the toric boundary divisor, both at assigned and unassigned points. The first lecture is dedicated to the proof of a correspondence theorem (for plane curves) with the counting of floor diagrams, using a degeneration of the projective plane to a chain of rational ruled surfaces. This is due to Brugall\'e and does not involve any tropical geometry. The second lecture explores the relations with tropical geometry, and contains an introduction to toric varieties and tropical geometry. We discuss the correspondence theorem of Mikhalkin, and show how the corresponding tropical enumerative problem can be formulated in terms of the combinatorial problem of counting floor diagrams. We give many examples throughout, inspired by the study of the enumerative geometry of $K3$ surfaces, by degeneration to unions of rational surfaces with dual complex a tiling of the $\mathbf{S}^2$ sphere.
The goal of this text is to present the computation by Salmon, in the second half of the XIXth century, of various numbers enumerating planes with a prescribed tangency pattern with a sufficiently general surface $S$ in $\mathbf{P}^3$ (or, equivalently, of hyperplane sections of $S$ with prescribed singularities). Emblematic among these are the number of tritangent planes, and the number of planes cutting out a curve with a tacnode.
This text is a presentation of a set of formulae, first found by Vainsencher (for $\delta \leq 6$) and shortly after improved by Kleiman and Piene, counting $\delta$-nodal curves in a complete linear system on a smooth surface, if $\delta \leq 8$ and the corresponding line bundle is sufficiently positive. We also discuss a complement by Qviller, and related results due to Kazarian, Ohmoto, and others.
Severi varieties are the parameter spaces for curves with prescribed homology class and genus on a smooth surface. We describe their limits along degenerations of surfaces, with a view towards the enumeration of curves. This includes a complete proof of the Caporaso-Harris recursive formula, with all the necessary background on deformations of curves and singularities.
We study and classify linearly normal surfaces in $\mathbf{P}^n$, of degree $d$ and sectional genus $g$, such that $d\geq 2g-1$.
We classify linearly normal surfaces $S \subset \mathbf{P}^{r+1}$ of degree $d$ such that $4g-4 \leq d \leq 4g+4$, where $g>1$ is the sectional genus (it is a classical result that for larger $d$ there are only cones). We apply this to the study of the extension theory of pluricanonical curves and genus $3$ curves, whenever they verify Property $N_2$, using and slightly expanding the theory of integration of ribbons of the authors and E.~Sernesi. We compute the corank of the relevant Gaussian maps, and we show that all ribbons over such curves are integrable, and thus there exists a universal extension. We carry out a similar program for linearly normal hyperelliptic curves of degree $d\geq 2g+3$. We classify surfaces having such a curve $C$ as a hyperplane section, compute the corank of the relevant Gaussian maps, and prove that all ribbons over $C$ are integrable if and only if $d=2g+3$. In the latter case we obtain the existence of a universal extension.
Mukai varieties are Fano varieties of Picard number one and coindex three. In genus seven to ten they are linear sections of some special homogeneous varieties. We describe the generic automorphism groups of these varieties. When they are expected to be trivial for dimensional reasons, we show they are indeed trivial, up to three interesting and unexpected exceptions in genera 7, 8, 9, and codimension 4, 3, 2 respectively. We conclude in particular that a generic prime Fano threefold of genus g has no automorphisms for 7 $\le$ g $\le$ 10. In the Appendix by Y. Prokhorov, the latter statement is extended to g = 12.
Let $(S,L)$ be a general polarized Enriques surface, with $L$ not numerically 2-divisible. We prove the existence of regular components of all Severi varieties of irreducible $\delta$-nodal curves in the linear system $|L|$, with $0\leq \delta\leq p_a(L)-1$. This solves a classical open problem and gives a positive answer to a recent conjecture of Pandharipande--Schmitt, under the additional condition of non-2-divisibility.
We prove that certain Severi varieties of nodal curves of positive genus on general blow-ups of the twofold symmetric product of a general elliptic curve are non-empty and smooth of the expected dimension. This result, besides its intrinsic value, is an important preliminary step for the proof of nonemptiness of Severi varieties on general Enriques surfaces in arXiv:2109.10735.
Let $C$ be a smooth projective curve of genus $g \geq 11$, non-tetragonal, considered in its canonical embedding in $\mathbf{P}^{g-1}$. We prove that $C$ is a linear section of an arithmetically Gorenstein normal variety $Y$ in $\mathbf{P}^{g+r}$, not a cone, with $\dim(Y)=r+2$ and $ω_Y=\mathcal{O}_Y(-r)$, if the Gauss--Wahl map of $C$ has corank larger or equal than $r+1$. This relies on previous work of Wahl and Arbarello-Bruno-Sernesi; a partial converse is given via a theorem of Lvovski. We derive a similar result for $K3$ surfaces: Let $(S,L)$ be a polarized $K3$ surface of genus $g \geq 11$, non-tetragonal, and considered in its embedding in $|L|^\vee \cong \mathbf{P}^g$. It is a linear section of a variety $Y$ as above if $H^1(T_S \otimes L^\vee)$ has dimension larger or equal than $r$. We give various applications, including one to the following forgetful modular map: Let $\mathcal{K}_g$ be the moduli space of polarized $K3$ surfaces of genus $g$, and $\mathcal{KC}_g$ the space of pairs $(S,C)$ with $C$ a smooth curve on $S$ and $(S,\mathcal{O}_S(C)) \in \mathcal{K}_g$; we consider the map $c_g: (S,C) \in \mathcal{K}_g \mapsto C \in \mathcal{M}_g$. If $g \geq 11$, we show that this map has smooth fibres over the locus of non-tetragonal curves, with fibre-dimension over non-tetragonal $C$ the corank of the Gauss--Wahl map of $C$ minus one.
We study the existence of deformations of all $14$ Gorenstein weighted projective spaces $\mathbf P$ of dimension $3$ by computing the number of times their general anticanonical divisors are extendable. In favorable cases (8 out of 14), we find that $\mathbf P$ deforms to a $3$-dimensional extension of a general non-primitive polarized $K3$ surface. On our way we show that each such $\mathbf P$ in its anticanonical model satisfies property $N_2$, and we compute the deformation space of the cone over $\mathbf P$. This gives as a byproduct the exact number of times $\mathbf P$ is extendable.
Let $\mathcal{KC}_g ^k$ be the moduli stack of pairs $(S,C)$ with $S$ a $K3$ surface and $C\subset S$ a genus $g$ curve with divisibility $k$ in $\mathrm{Pic}(S)$. In this article we study the forgetful map $c_g^k:(S,C) \mapsto C$ from $\mathcal{KC}_g ^k$ to $\mathcal{M}_g$ for $k>1$. First we compute by geometric means the dimension of its general fibre. This turns out to be interesting only when $S$ is a complete intersection or a section of a Mukai variety. In the former case we find the existence of interesting Fano varieties extending $C$ in its canonical embedding. In the latter case this is related to delicate modular properties of the Mukai varieties. Next we investigate whether $c_g^k$ dominates the locus in $\mathcal{M}_g$ of $k$-spin curves with the appropriate number of independent sections. We are able to do this only when $S$ is a complete intersection, and obtain in these cases some classification results for spin curves.
In this paper we consider double covers of the projective space in relation with the problem of extensions of varieties, specifically of extensions of canonical curves to $K3$ surfaces and Fano 3-folds. In particular we consider $K3$ surfaces which are double covers of the plane branched over a general sextic: we prove that the general curve in the linear system pull back of plane curves of degree $k\geq 7$ lies on a unique $K3$ surface. If $k\leq 6$ the general such curve is instead extendable to a higher dimensional variety. In the cases $k=4,5,6$, this gives the existence of singular index $k$ Fano varieties of dimensions 8, 5, 3, and genera 17, 26, 37 respectively. For $k = 6$ we recover the Fano variety $\mathbf{P}(3, 1, 1, 1)$, one of only two Fano threefolds with canonical Gorenstein singularities with the maximal genus 37, found by Prokhorov. We show that the latter variety is no further extendable. For $k=4$ and $5$ these Fano varieties have been identified by Totaro. We also study the extensions of smooth degree 2 sections of $K3$ surfaces of genus 3. In all these cases, we compute the co-rank of the Gauss--Wahl maps of the curves under consideration. Finally we observe that linear systems on double covers of the projective plane provide superabundant logarithmic Severi varieties.
In this short note, I point out that results of Ballico and Kool--Shende--Thomas together imply that on $K3$, Enriques, and Abelian surfaces, if $L$ is a very ample and $(2p_a(L)-2g-1)$-spanned line bundle, then the equigeneric Severi variety $V_{g}(L)$ of all curves in $|L|$ having genus $g$ is non-empty, irreducible, of the expected dimension, and its general member is a $(p_a(L)-g)$-nodal curve.
Let $(S,L)$ be a polarized $K3$ surface of genus $p \geqslant 11$ such that $\mathrm{Pic}(S)=\mathbf{Z}[L]$, and $δ$ a non-negative integer. We prove that if $p\geqslant 4δ-3$, then the Severi variety of $δ$-nodal curves in $|L|$ is irreducible.
We prove that the locus of Prym curves $(C,\eta)$ of genus $g \geq 5$ for which the Prym-canonical system $|\omega_C(\eta)|$ is base point free but the Prym--canonical map is not an embedding is irreducible and unirational of dimension $2g+1$.
We compute the number of moduli of all irreducible components of the moduli space of smooth curves on Enriques surfaces. In most cases, the moduli maps to the moduli space of Prym curves are generically injective or dominant. Exceptional behaviour is related to existence of Enriques--Fano threefolds and to curves with nodal Prym-canonical model.