All Questions

Filter by
Sorted by
Tagged with
30 votes
1 answer
2k 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 Enriques-...
Will Sawin's user avatar
  • 131k
22 votes
1 answer
2k 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 ...
Tito Piezas III's user avatar
20 votes
4 answers
3k 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).
John R Ramsden's user avatar
16 votes
4 answers
1k 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 ...
JSE's user avatar
  • 19.1k
15 votes
1 answer
933 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 ...
IBazhov's user avatar
  • 600
14 votes
1 answer
906 views

Rational curves on the Fermat quartic surface

Let $X$ be the Fermat quartic $x^4+y^4+z^4+w^4=0$ in $\mathbb P^3$. It is known that $X$ contains infinitely many $(-2)$-curves, that is, smooth rational curves. (One way to obtain in infinitely many ...
byu's user avatar
  • 666
12 votes
0 answers
698 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 ...
Tito Piezas III's user avatar
11 votes
1 answer
395 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$?
Hej's user avatar
  • 1,045
10 votes
1 answer
595 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 ...
Lev Borisov's user avatar
  • 5,156
8 votes
4 answers
2k 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 ...
user avatar
7 votes
2 answers
850 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 ...
Keerthi Madapusi's user avatar
7 votes
0 answers
228 views

K3 surfaces with no −2 curves

I seem to remember that a K3 surface with big Picard rank always has smooth rational curves. This question is equivalent to the following question about integral quadratic lattices. Let us call a ...
Misha Verbitsky's user avatar