Questions tagged [k3-surfaces]

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

Filter by
Sorted by
Tagged with
8 votes
1 answer
2k views

Mirror symmetry for hyperkahler manifold

Hi there, I have some questions about the mirror symmetry of hyperkahler manifold and K3 surface. The well-known result said: the mirror symmetry for K3 surface is just given by its hyperkahler ...
Jay's user avatar
  • 583
1 vote
1 answer
756 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 ...
Youloush's user avatar
  • 355
66 votes
1 answer
2k views

Is there an octonionic analog of the K3 surface, with implications for stable homotopy groups of spheres?

The infamous K3 surface has many constructions in many fields ranging from algebraic geometry to algebraic topology. Its many properties are well known. For this question I am really interested in the ...
Chris Schommer-Pries's user avatar
33 votes
1 answer
1k 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) ...
Noam D. Elkies's user avatar
23 votes
2 answers
4k views

construct the elliptic fibration of elliptic k3 surface

Hi all, As we know, every elliptic k3 surface admits an elliptic fibration over $P^1$, but generally how do we construct this fibration? For example, how to get such a fibration for Fermat quartic? ...
Jay's user avatar
  • 583
19 votes
1 answer
747 views

Vector field on a K3 surface with 24 zeroes

In https://mathoverflow.net/a/44885/4177, Tilman points out that one can use a $K3$ surface minus the zeroes of a generic vector field to build a nullcobordism for $24[SU(2)]$. Given that a) this is a ...
David Roberts's user avatar
  • 33.2k
9 votes
2 answers
752 views

Is the mirror of a hyperkaehler manifold always a hyperkaehler manifold?

Is the mirror of a hyperkaehler manifold always a hyperkaehler manifold? What I know so far is as follows: In this paper (https://arxiv.org/pdf/hep-th/9512195.pdf) by Verbitsky, it is claimed that ...
Mtheorist's user avatar
  • 1,105
8 votes
0 answers
392 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 ...
Simon Rose's user avatar
  • 6,242
7 votes
1 answer
406 views

Is there a purely inseparable covering $\mathbb{A}^2 \to K$ of a Kummer surface $K$ over $\mathbb{F}_{p^2}$?

Let $E_i\!: y_i^2 = x_i^3 + a_4x_i + a_6$ be two copies ($i = 1$, $2$) of a supersingular elliptic curve over a finite field $\mathbb{F}_{p^2}$, for odd prime $p > 3$. Consider the Kummer surface $...
Dimitri Koshelev's user avatar
5 votes
2 answers
1k 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 ...
R.P.'s user avatar
  • 4,665
3 votes
0 answers
609 views

Intuition behind RDP (Rational Double Points)

Let $S$ be a surface (so a $2$-dimensional proper $k$-scheme) and $s$ a singular point which is a rational double point. One common characterisation of a RDP is that under sufficient conditions there ...
user267839's user avatar
  • 5,716
3 votes
1 answer
353 views

(1/2) K3 surface or half-K3 surface: Ways to think about it?

I heard from string theorists thinking of the so-called "(1/2) K3 surface" or "half-K3 surface" as follows: Let $T^2 \times S^1$ be a 3-torus with spin structure periodic in all directions. $T^2 \...
wonderich's user avatar
  • 10.3k
0 votes
2 answers
474 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 ...
Heitor's user avatar
  • 761