Search Results

For all known deformation types of irreducible holomorphic symplectic manifolds (which I call K3, K3$^n$, Kum$^n$, OG$^3$, OG$^5$, the exponent being half the complex dimension), it is known that the …

A preprint by Stefan Schröer came out today with the answer to this question: arXiv:2004.07025. No such Enriques surface exists. In fact, there is no classical Enriques surface over $\mathbb F_2$ wit …

Let $X$ be a hyperkähler variety. In an article (Conjecture 2.1) from some years ago, Markman conjectured that any monodromy operator acting trivially on $H^2(X,\mathbb Z)$ is the identity operator, a …

Let $X$ be the complex Fermat quartic surface defined by the polynomial $x^4+y^4+z^4+w^4$. By results of Sertöz, we know that the surface $X$ admits at least one Enriques involution, i.e. an involuti …

Given a complex elliptic K3 surface $\pi\colon X\rightarrow \mathbb P^1$, its discriminant locus is the divisor $$D = \sum_{i = 1}^s n_i P_i$$ on $\mathbb P^1$ such that $n_i$ is equal to the Euler-Po …

I have a question about the article by Beauville-Donagi called La variété des droites d'une hypersurface cubique de dimension 4 (C. R. Acad. Sc. Paris, t. 301, Série I, n° 14, 1985). Their construct …

An abelian surface $A$ is called singular if it has maximal Picard number $\rho(A) = 4$. By work of Shioda-Mitani, any singular abelian surface $A$ is the product $A = E_1 \times E_2$ of two isogeno …

Let $X$ be an integral scheme of finite type over a field $k$. If $k'\supseteq k$ is a field extension, then $X' = X\otimes_k k'$ is not necessarily integral. Why does each irreducible component o …

To each automorphism of the binary form there correspond actually $d$ lines, not only one. In case $d = 3$, since there are always 6 automorphisms, we get $6\cdot 3 = 18$ lines, which summed to the 9 …

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 fo …

Let $X$ be a projective variety. Why is any surjective morphism from $X$ to itself finite?

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

A base-point free linear system has non-negative self-intersection, so at least one of the two components of $C+D$ must lie in the base locus of $|C+D|$. But if one component were moving it would have …