Questions about K3 surfaces, which are smooth complex surfaces $X$ with trivial canonical bundle and vanishing $H^1(O_X)$. They are examples of Calabi-Yau varieties of dimension $2$.

learn more… | top users | synonyms

2
votes
1answer
219 views

Training towards research on k3 surfaces

I am a graduate student learning basic algebraic geometry (from Hartshorne, Shafarevich). I'm planning to work in k3 surfaces (arithmetic and geometric properties, in my guide's words). I came to know ...
8
votes
1answer
338 views

Non-algebraic K3 surfaces in characteristic $p$

I have a very naive question. Recall that over the field of complex numbers, there exist non-algebraic K3 surfaces. Namely, smooth non-projective simply connected compact complex surfaces with ...
19
votes
1answer
439 views

$\int_0^\infty x \, [J_0(x)]^5 \, dx$: source and context, if any?

QUESTION Numerical calculation with gp (first to the default 38-digit precision, then tripled) supports the conjecture that $$ \int_0^\infty x \, [J_0(x)]^5 \, dx = \frac{\Gamma(1/15) \, \Gamma(2/15) ...
1
vote
1answer
174 views

Infinitely many rational nt multisection in elliptic K3 surfaces by deformation theory

I'm trying to read this paper of Bogomolov and Tschinkel http://arxiv.org/pdf/math/9902092.pdf about potential density of rational points on elliptic K3 Surfaces. I got quite stuck in Corollary 3.27 ...
11
votes
0answers
433 views

Why are solutions to $\sqrt[k]{x_1^k+x_2^k+x_3^k+x_4^k}$ for $k=2,3$ curiously smooth?

Given an integer solution $s_m$ to the system, $$x_1^2+x_2^2+\dots+x_n^2 = y^2$$ $$x_1^3+x_2^3+\dots+x_n^3 = z^3$$ and define the function, $$F(s_m) = x_1+x_2+\dots+x_n$$ For $n\geq3$, using an ...
5
votes
0answers
130 views

Are all these K3 surfaces supersingular?

Consider all the smooth K3 surfaces given by $X^4+W^2X^2+XW^3 = f(Y,Z,W)$ or $X^4+XW^3 = g(Y,Z,W)$ over $\mathbb F_{2}$ with $f$ or $g$ homogenous of degree 4. There are a lot of choices for $f$ and ...
2
votes
2answers
313 views

Is every algebraic $K3$ surface a quartic surface? [closed]

Algebraic $K3$ surface means the $K3$ surface admits an ample line bundle. So the question is equivalent to asking whether every algebraic $K3$ surface can be embedded in $\mathbb{P}^3$.
19
votes
0answers
534 views

Enriques surfaces over $\mathbb Z$

Does there exist a smooth proper morphism $E \to \operatorname{Spec} \mathbb Z$ whose fibers are Enriques surfaces? By a theorem of, independently, Fontaine and Abrashkin, combined with the ...
4
votes
1answer
281 views

Singular models of K3 surfaces

Let us work over a ground field of characteristic zero. As is well-known, a K3 surface is a smooth projective geometrically integral surface $X$ whose canonical class $\omega_X$ is trivial and for ...
1
vote
0answers
273 views

Cubic fourfold and K3 surface: geometric constructions of Hodge isometry

Hodge structure on K3 surface (the middle line of Hodge diamond is 1 20 1) is similar to the Hodge structure of cubic fourfold (the middle line of Hodge diamond of primitive cohomology is 0 1 20 1 0). ...
1
vote
1answer
110 views

Characterization of $d$-gonal curves on a K3 surface

Let $X$ be a K3 surface and $C$ a curve on $X$. We say that $C$ is $d$-gonal if it admits a pencil of degree $d$ (and none of smaller degree). I am wondering if there exist characterizations of ...
11
votes
0answers
260 views

Am I missing something about this notion of Mirror Symmetry for abelian varieties?

This is a continuation of my recent question: Mirror symmetry for polarized abelian surfaces and Shioda-Inose K3s. In the comments of the question, I was directed to the paper ...
7
votes
0answers
232 views

Mirror symmetry for polarized abelian surfaces and Shioda-Inose K3s

It is well known (cf. Dolgachev) that there is a beautiful notion of mirror symmetry for lattice-polarized K3 surfaces. That is, if we are given a rank $r$ lattice $M$ of signature $(1, r - 1)$ and a ...
5
votes
1answer
221 views

On the cohomology ring of the Hilbert scheme of points on k3 or abelian surfaces

There are many results on the cohomology of the Hilbert scheme of points of a surface. Gottsche calcaluted the Betti numbers and Nakajima got the generators of the cohomology. Also there are results ...
3
votes
1answer
166 views

When will the mirror of a K3 surface be an elliptic K3?

Let $f:Y\rightarrow\mathbb{P}^1$ be an elliptic $K3$ surface, then the holomorphic 2-form $\Omega_Y$ vanishes when restricted to an elliptic fiber $f^{-1}(b)$ with $b\in\mathbb{P}^1$. After a ...
10
votes
1answer
360 views

K3 surfaces that correspond to rational points of elliptic curves

In his work on mirror symmetry (http://arxiv.org/pdf/alg-geom/9502005v2.pdf) Igor Dolgachev has considered families of K3 surfaces of Picard rank at least 19 with the base given by $X_0(n)^+$, the ...
3
votes
0answers
148 views

Integral cohomology of the hilbert scheme of points on a k3

i'm reading the famous article "Varietes kahleriennes dont la premiere classe de chern est nulle" by Beauville, in particular proposition 6, which characterizes the second cohomology group for the ...
2
votes
1answer
212 views

SYZ mirror symmetry for K3 surfaces

My question is essentially related to this post, but let me formulate it again. Let $f:S \rightarrow \mathbb{P}^1$ be an elliptic fibration, then this can be a SLAG fibration with respect to another ...
12
votes
1answer
612 views

Curves on K3 and modular forms

The paper of Bryan and Leung "The enumerative geometry of $K3$ surfaces and modular forms" provides the following formula. Let $S$ be a $K3$ surface and $C$ be a holomorphic curve in $S$ representing ...
0
votes
1answer
135 views

Linear system on an abelian surface

On a K3 surface $S$, a linear system $|C|$ is said to be hyperelliptic if the corresponding map is of degree 2 and the image is of degree $g_a(C)-1$ in $\mathbb P^{g_a}$. For $g_a(C) > 2$, if ...
3
votes
1answer
153 views

Spectral sequence associated to elliptic fibration degenerates?

Let $\phi:S\rightarrow \mathbb{CP}^1$ be an elliptic fibration of a K3 surface. When is the Leray spectral sequence associated to the fibration $E_2$-degenerate? Are there any good criteria for the ...
6
votes
2answers
232 views

adjacency matrix of a graph and lines on quartic surfaces

Suppose you are given a smooth quartic surface $X$ in $\mathbb P^3$. I would like to find an upper bound for the number of lines on $X$ in the case that there is no plane intersecting the curves in ...
4
votes
1answer
150 views

Euler number for base change of a K3 surface

Suppose you have a K3 surface $S$ containing a smooth rational curve $C$ and suppose you have an elliptic fibration $S \rightarrow \mathbb P^1$ that restricts to a morphism $C \rightarrow \mathbb P^1$ ...
1
vote
2answers
206 views

An ample line bundle on a K3 surface

Let $X$ be a K3 surface obtained as a double covering of $\mathbb{P}^1 \times \mathbb{P}^1$ branching along a $(4,4)$-divisor. I think the natural line bundle $\pi^*\mathcal{O}_{\mathbb{P}^1\times ...
7
votes
2answers
315 views

Necessary condition on Calabi-Yau manfiold to be a hypersurface in a Fano manifold

Let $X$ be a smooth projective Calabi-Yau threefold. Are there any known obstructions to it being a member of a base-point-free linear system in a nef-Fano fourfold? What, in anything, is known ...
5
votes
1answer
236 views

Positivity question on K3 surfaces

Let $X$ be a smooth projective complex K3 surface and $L, D$ two effective divisors, $L^2\geq0$ and $D^2\geq0$. (Q1). do we have $L\cdot D\geq0$ ? If either one has positive self-intersection, the ...
5
votes
1answer
222 views

Does $h^1(D)=0$ imply numerical connectedness on K3 surfaces?

Let $X$ be a complex K3 surface and $D$ an effective divisor on $X$. We shall say: $D$ is connected if its support is connected. $D$ is numerically connected if for any non-trivial effective ...
3
votes
1answer
223 views

K3 surface with $D_{14}$ singular fiber

Let $X$ be an elliptic K3 surface with $D_{14}$ singular fiber. Do you know an explicit equation for such $X$? Also, how many disjoint sections such fibration admits? Any reference would be greatly ...
2
votes
1answer
131 views

Weyl group of a K3 surface

I am wondering wether the action of the Weyl group $W_X$ of a K3 surface $X$ is transitive on the sets of curves of fixed genus. Suppose $W_X$ is non-trivial. Given two curves $C,C'$ of genus ...
5
votes
0answers
149 views

on the automorphisms of the transcendental Hodge structure of a K3 surface

Let $S$ be a complex projective K3 surface and consider the sub-Hodge structure $$ T(S) \subset H^2(S, \mathbb{Q}) $$ consisting of transcendental cycles. Let $\varphi$ be an automorphism of Hodge ...
2
votes
1answer
174 views

Are singular rational curves on K3 surfaces rigid?

Let $S$ be a K3 surface over the complex numbers $\mathbb{C}$. If $C\subset S$ is a smooth rational curve, the normal bundle $N_{C/S}$ is isomorphic to $\mathbb{O}(-2)$ and thus $C$ is rigid. What ...
0
votes
2answers
178 views

K3 surface with a non-symplectic involution: a basic question

Let $X$ be a K3 surface (algebraic, complex). An involution $\sigma:X\rightarrow X$ is called non-symplectic if it acts trivially on $H^{2,0}(X)=\Bbb{C}\omega_X$ $\ $ (where $\omega_X$ is any nowhere ...
2
votes
0answers
297 views

Semistable minimal model of a $K3$-surface and the special fibre

Suppose that $K$ is a $p$-adic field, that is a field of characteristic $0$ whose ring of integers is a complete discrete valuation ring $\mathcal O_K$ and with residue field $k$ (algebraic closed) of ...
5
votes
0answers
181 views

Non minimal K3 surfaces as hypersurfaces of weighted projective spaces

I recently learnt that the hypersurface $$ S:=(x^2+y^3+z^{11}+w^{66}=0) \subset \mathbb{P}(33,22,6,1) $$ is birational to a K3 surface. This is surprising because the surface is quasi-smooth, ...
2
votes
2answers
341 views

Nefness on a K3 surface

Let $D$ be a divisor on a (complex) K3 surface. Suppose $D^2\geq0$. In general, $D$ is nef if $D\cdot C\geq0$ for all irreducible curves on the surface. Is in our case sufficient to check this for ...
20
votes
1answer
945 views

Monstrous moonshine for $M_{24}$ and K3?

An important piece of Monstrous moonshine is the j-function, $$j(\tau) = \frac{1}{q}+744+196884q+21493760q^2+\dots\tag{1}$$ In the paper "Umbral Moonshine" (2013), page 5, authors Cheng, Duncan, and ...
5
votes
2answers
369 views

Action of automorphisms of a $K3$ surface on its $(-2)$-curves

Consider a complex $K3$ surface $X$ and take its group of automorphisms $Aut(X)$. It is a known fact that the action of $Aut(X)$ on the set of rational $-2$ curves of $X$ has only finite number of ...
4
votes
2answers
331 views

Reference for Automorphisms of K3 surfaces

I am looking for some introductory reference concerning Automorphisms (of finite order) on K3 surfaces. Any suggestion?
0
votes
0answers
108 views

K3 surface minus finite set

Let $S$ be a complex K3 surface, and $P\subset S$ a finite set of points in $S$. It is known that $$ H^i(S,\mathbb{Z})\cong H^i(S\setminus P,\mathbb{Z}) $$ for $0\le i \le 2$. Then the Euler ...
1
vote
0answers
165 views

Moduli space of K3 surfaces and Bogomolov-Tian-Todorov theorem

The famous Bogomolov-Tian-Todorov theorem says that the moduli space of Calabi-Yau manifold is smooth, that is locally a complex manifold. Doesn't this contradicts to the fact that the moduli space ...
2
votes
1answer
193 views

Existence of logarithmic structures and d-semistability

I am reading a paper ( Kawamata, Y.; Namikawa, Y. Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi-Yau varieties. Invent. math. 1994, 118, 395–409.) I have a ...
9
votes
0answers
414 views

Torelli-like theorem for K3 surfaces on terms of its étale cohomology

Is there a proof of a Torelli-like Theorem for a K3-surface over any field (non complex) in terms of its etale or crystalline cohomology? For example: If $K\ne \mathbb{C} $ and $X\rightarrow ...
7
votes
1answer
239 views

A question on an elliptic fibration of the Enriques surface

Let $S$ be an Enriques surface over complex numbers. It is known that $S$ admits an elliptic fibration over $\mathbb{P}^1$ with $12$ nodal singular fibers and $2$ double fibers. How can I see this ...
4
votes
2answers
241 views

Algebraic cycles on a K3 surface after hyperKahler rotation.

I would like to find a gap in the following observation. I found a suspicious part but cannot prove it wrong. I would appreciate your assistance. Let $M$ be a lattice of signature $(1,t)$ and $S$ be ...
4
votes
0answers
370 views

Possible automorphism groups of a K3 surface

Which finite groups are automorphism groups of polarized K3 surfaces (let's say over ℂ)? ...and does the answer change is I remove "polarized"? (polarized = equipped with an ample line bundle)
1
vote
1answer
103 views

A question on real surfaces on K3 surfaces.

Let $X$ be a K3 surface and $\omega$ be a nowhere vanishing 2-form on $X$. Suppose $Y\subset X$ be a smooth real surface. How can one see that $\omega|_Y=0$ implies $Y$ is a complex submanifold (a ...
4
votes
1answer
415 views

Rookie questions about k3's

Hi everyone, I am trying to go through parts of Saint-Donat's 1974 paper 'Projective Models of K3-surfaces', and have been stuck on a few claims for a while now - I'd appreciate some help explaining ...
3
votes
2answers
339 views

Line bundles on K3 surfaces

Let $L$ be a line bundle on an (algebraic) K3 surface over a field $k$. The Riemann-Roch theorem specializes to $$ \chi(X, L)=\frac{1}{2}(L\cdot L)+2 $$ which can be rewritten as $$ h^0(X, ...
1
vote
1answer
284 views

Picard group of a K3 surface generated by a curve

In Lazarsfeld's article "Brill Noether Petri without degenerations" he mentions the fact that for any integer $g \geq 2$, one may find a K3 surface $X$ and a curve $C$ of genus $g$ on $X$ such that ...
1
vote
1answer
167 views

Is this an embedding of $S^{[2]}$?

The intersection of 3 quadrics in $P^5$ is a K3 surface $S$. There is a natural map $S^{[2]} \to G(1,5)$ well defined everywhere, because a generic K3 doesn't contain any line and this family is ...