arXiv subjects
Publications and source records attributed to Andreas Leopold Knutsen.
Let $S \subset \mathbb{P}^g$ be a smooth $K3$ surface of degree $2g-2$, $g \geq 3$. We classify all the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) \neq 0$ and the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) < h^0(\mathcal{N}_{C/\mathbb{P}^{g-1}}(-2))$ for $C \subset \mathbb{P}^{g-1}$ a general canonical curve section of $S$.
Primitively polarized genus $g$ Nikulin surfaces $(S,M,H)$ are of two types, that we call standard and non-standard depending on whether the lattice embedding $\mathbb{Z}[H] \oplus_{\perp} \mathbf{N} \subset \rm{Pic}(S)$ is primitive. Here $H$ is the genus $g$ polarization and $\mathbf{N}$ is the Nikulin lattice. We concentrate on the non-standard case, which only occurs in odd genus. In particular, we study the birational geometry of the moduli space of non-standard Nikulin surfaces of genus $g$ and prove its rationality for $g=7,11$ and the existence of a rational double cover of it when $g=9$. Furthermore, if $(S,M,H)$ is general in the above moduli space and $(C,M|_C)$ is a general Prym curve in $|H|$, we determine the dimension of the family of non-standard Nikulin surfaces of genus $g$ containing $(C, M|_C)$ for $3\leq g\leq 11$; this completes the study of the Prym-Nikulin map initiated in our previous work.
Let F^N_g be the moduli space of polarized Nikulin surfaces (Y,H) of genus g and let P^N_g be the moduli of triples (Y,H,C), with C in |H| a smooth curve. We study the natural map χ_g:P^N_g -> R_g, where R_g is the moduli space of Prym curves of genus g. We prove that it is generically injective on every irreducible component, with a few exceptions in low genus. This gives a complete picture of the map χ_g and confirms some striking analogies between it and the Mukai map m_g: P_g ->M_g for moduli of triples (Y,H,C), where (Y,H) is any genus g polarized K3 surface. The proof is by degeneration to boundary points of a partial compactification of F^N_g. These represent the union of two surfaces with four even nodes and effective anticanonical class, which we call half Nikulin surfaces. The use of this degeneration is new with respect to previous techniques.
We consider modular properties of nodal curves on general $K3$ surfaces. Let $\mathcal{K}_p$ be the moduli space of primitively polarized $K3$ surfaces $(S,L)$ of genus $p\geqslant 3$ and $\mathcal{V}_{p,m,δ}\to \mathcal{K}_p$ be the universal Severi variety of $δ$--nodal irreducible curves in $|mL|$ on $(S,L)\in \mathcal{K}_p$. We find conditions on $p, m,δ$ for the existence of an irreducible component $\mathcal{V}$ of $\mathcal{V}_{p,m,δ}$ on which the moduli map $ψ: \mathcal{V}\to \mathcal{M}_g$ (with $g= m^2 (p -1) + 1-δ$) has generically maximal rank differential. Our results, which for any $p$ leave only finitely many cases unsolved and are optimal for $m\geqslant 5$ (except for very low values of $p$), are summarized in Theorem 1.1 in the introduction.
In this note we address the following kind of question: let X be a smooth, irreducible, projective surface and D a divisor on X$satisfying some sort of positivity hypothesis, then is there some multiple of D depending only on X which is effective or movable? We describe some examples, discuss some conjectures and prove some results that suggest that the answer should in general be negative, unless one puts some really strong hypotheses either on D or on X.
We extend the results of Pareschi on the constancy of the gonality and Clifford index of smooth curves in a complete linear system on Del Pezzo surfaces of degrees $\geq 2$ to the case of Del Pezzo surfaces of degree 1, where we explicitly classify the cases where the gonality and Clifford index are not constant. We also classify all cases of exceptional curves on Del Pezzo surfaces, which turn out to be the smooth plane curves and some other cases with Clifford dimension 3. Moreover, the property of being exceptional holds for all curves in the complete linear system. Furthermore, we relate the Clifford index and gonality of smooth curves in $|L|$ to the higher order embedding properties of $|L+K_S|$. More precisely, we show that for a nef line bundle $L$ on a Del Pezzo surface, $L+K_S$ is birationally $k$-very ample if and only if all the smooth curves in $|L|$ have gonality $\geq k+2$, and we also find numerical criteria for birational $k$-very ampleness.
Rational curves on Hilbert schemes of points on $K3$ surfaces and generalised Kummer manifolds are constructed by using Brill-Noether theory on nodal curves on the underlying surface. It turns out that all wall divisors can be obtained, up to isometry, as dual divisors to such rational curves. The locus covered by the rational curves is then described, thus exhibiting algebraically coisotropic subvarieties that deform to general small deformations of the manifold. This provides strong evidence for a conjecture by Voisin concerning the Chow ring of irreducible holomorphic symplectic manifolds. Some general results concerning the birational geometry of irreducible holomorphic symplectic manifolds are also proved, such as a non-projective contractibility criterion for wall divisors.
Severi varieties and Brill-Noether theory of curves on K3 surfaces are well understood. Yet, quite little is known for curves on abelian surfaces. Given a general abelian surface $S$ with polarization $L$ of type $(1,n)$, we prove nonemptiness and regularity of the Severi variety parametrizing $δ$-nodal curves in the linear system $|L|$ for $0\leq δ\leq n-1=p-2$ (here $p$ is the arithmetic genus of any curve in $|L|$). We also show that a general genus $g$ curve having as nodal model a hyperplane section of some $(1,n)$-polarized abelian surface admits only finitely many such models up to translation; moreover, any such model lies on finitely many $(1,n)$-polarized abelian surfaces. Under certain assumptions, a conjecture of Dedieu and Sernesi is proved concerning the possibility of deforming a genus $g$ curve in $S$ equigenerically to a nodal curve. The rest of the paper deals with the Brill-Noether theory of curves in $|L|$. It turns out that a general curve in $|L|$ is Brill-Noether general. However, as soon as the Brill-Noether number is negative and some other inequalities are satisfied, the locus $|L|^r_d$ of smooth curves in $|L|$ possessing a $g^r_d$ is nonempty and has a component of the expected dimension. As an application, we obtain the existence of a component of the Brill-Noether locus $\mathcal{M}^r_{p,d}$ having the expected codimension in the moduli space of curves $\mathcal{M}_p$. For $r=1$, the results are generalized to nodal curves.
Let $(S,H)$ be a general primitively polarized $K3$ surface. We prove the existence of curves in $|\mathcal O_S(nH)|$ with $A_k$-singularities and corresponding to regular points of the equisingular deformation locus. Our result is optimal for $n=1$. As a corollary, we get the existence of elliptic curves in $|\mathcal O_S(nH)|$ with a cusp and nodes or a simple tacnode and nodes. We obtain our result by studying the versal deformation family of the $m$-tacnode. Finally, we give a regularity condition for families of curves with only $A_k$-singularities in $|\mathcal O_S(nH)|.$
We give necessary and sufficient criteria for a smooth Enriques surface S in P^r to be scheme-theoretically an intersection of quadrics. Moreover we prove in many cases that, when S contains plane cubic curves, the intersection of the quadrics containing S is the union of S and the 2-planes spanned by the plane cubic curves. We also give a new (very quick) proof of the projective normality of S if the degree of S is at least 12.
We complete our study of linear series on curves lying on an Enriques surface by showing that, with the exception of smooth plane quintics, there are no exceptional curves on Enriques surfaces, that is, curves for which the Clifford index is not computed by a pencil.
In this paper we study the gonality of the normalizations of curves in the linear system $|H|$ of a general primitively polarized complex $K3$ surface $(S,H)$ of genus $p$. We prove two main results. First we give a necessary condition on $p, g, r, d$ for the existence of a curve in $ |H|$ with geometric genus $g$ whose normalization has a $g^ r_d$. Secondly we prove that for all numerical cases compatible with the above necessary condition, there is a family of \emph{nodal} curves in $|H|$ of genus $g$ carrying a $g^1_k$ and of dimension equal to the \emph{expected dimension} $\min\{2(k-1),g\}$. Relations with the Mori cone of the hyperkähler manifold $\Hilb^ k(S)$ are discussed.
In this paper we study the gonality of the normalizations of curves in the linear system $|H|$ of a general primitively polarized $K3$ surface $(S,H)$ of genus $p$. We prove two main results. First we give a necessary condition on $p, g, k$ for the existence of a curve in $|H|$ with geometric genus $g$ whose normalization has a $g^ 1_k$. Secondly we prove that for $p$ even and all numerical cases compatible with the above necessary condition, there is a family of \emph{nodal} curves $|H|$ with the given $g,k$ and of dimension equal to the \emph{expected dimension} $\min\{2(k-1),g\}$. For odd $p$ the result is only slightly less sharp. Relations with the Mori cone of the hyperkähler manifold $\Hilb^ k(S)$ and with conjectures by Hassett-Tschinkel and by Huybrechts-Sawon are discussed. This version is superseded by the new submission arXiv:1204.4838 where Theorem 0.1 is improved to include the missing case and the degeneration argument in its proof is made considerably simpler. Since the degeneration argument in the present version is of a different type, and may be useful for other purposes, we choose to keep this submission as well.
We show the existence of smooth isolated curves of different degrees and genera in Calabi-Yau threefolds that are complete intersections in homogeneous spaces. Along the way, we classify all degrees and genera of smooth curves on BN general K3 surfaces of low genera. By results of Mukai, these are the K3 surfaces that can be realised as complete intersections in certain homogeneous spaces.
We compute Seshadri constants $\eps(X):= \eps(Ø_X(1))$ on $K3$ surfaces $X$ of degrees 6 and 8. Moreover, more generally, we prove that if $X$ is any embedded $K3$ surface of degree $2r-2 \geq 8$ in $\PP^r$ not containing lines, then $1 < \eps(X) <2$ if and only if the homogeneous ideal of $X$ is not generated by only quadrics (in which case $\eps(X)=3/2$).
Let $X$ be a smooth projective $n$-fold such that $q(X)=0$ and $L$ a globally generated, big line bundle on $X$ such that $h^0(K_X+(n-2)L) >0$. We give necessary and sufficient conditions for the adjoint systems $|K_X+kL|$ to be birational for $k \geq n-1$. In particular, for Calabi-Yau $n$-folds we generalize and prove parts of a conjecture of Gallego and Purnaprajna.
Let M be a smooth complex projective variety and let L be a line bundle on it. Rays-positive manifolds, namely pairs (M,L) such that L is numerically effective and L\cdotR > 0 for all extremal rays R on M, are studied. Several illustrative examples and some applications are provided. In particular, projective varieties with crepant singularities and of small degree with respect to the codimension are classified, and the non-negativity of the sectional genus g(M,L) is proven, describing as well the pairs with g(M,L) = 0,1.
In the week 3--9, October 2010, the Mathematisches Forschungsinstitut at Oberwolfach hosted a mini workshop Linear Series on Algebraic Varieties. These notes contain a variety of interesting problems which motivated the participants prior to the event, and examples, results and further problems which grew out of discussions during and shortly after the workshop. A lot of arguments presented here are scattered in the literature or constitute folklore. It was one of our aims to have a usable and easily accessible collection of examples and results.