10
votes
1answer
286 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 ...
12
votes
1answer
505 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 ...
20
votes
1answer
846 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 ...
19
votes
4answers
1k views

Does $(x^2 - 1)(y^2 - 1) = c z^4$ have a rational point, with z non-zero, for any given rational c?

I need this result for something else. It seems fairly hard, but I may be missing something obvious. Just one non-trivial solution for any given $c$ would be fine (for my application).
11
votes
1answer
348 views

Symmetric functions on three parameters being perfect squares

Is it possible for $x+y+z, xy+yz+zx$, and $xyz$ to be perfect squares at the same time for positive integer values of $x,y,z$?
7
votes
2answers
577 views

Polarizations of K3 surfaces over finite fields

Suppose that $X$ is a (projective) K3 surface over a field $k$. A polarization of $X$ is an element $\lambda\in Pic_X(k)$ that is represented over an algebraic closure $\overline{k}$ by an ample line ...
7
votes
4answers
1k views

Sums of four fourth powers

Apologies in advance if this is a naive question. If I understand correctly, it's well-known that the Fermat quartic surface $X = \lbrace w^4 +x^4+y^4+z^4 =0 \rbrace \subset \mathbf{P}^3$ has ...
13
votes
4answers
883 views

K3 surfaces with good reduction away from finitely many places

Let S be a finite set of primes in Q. What, if anything, do we know about K3 surfaces over Q with good reduction away from S? (To be more precise, I suppose I mean schemes over Spec Z[1/S] whose ...