**2**

votes

**1**answer

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

**1**answer

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

**1**answer

438 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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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