Skip to main content

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
3 votes
0 answers
195 views

The definition of complex multiplication on K3 surfaces

I am reading this paper on the complex multiplication of K3 surfaces. It seems that this is only defined for complex K3 surfaces, or K3 surfaces over number fields. Is there a more general defintion ...
Ja_1941's user avatar
  • 131
3 votes
0 answers
264 views

Isomorphism between two K3 surfaces in characteristic $11$ and the action of $\operatorname{PSL}(2, \, \mathbb{F}_{11}) $

We work over a field $k$ with $\operatorname{char}(k)=11$. In the paper [1], Lemma 3.5, it is shown that the K3 surface $X_0$ defined as the weighted projective hypersurface of degree $12$ $$X_0=V(t_0^...
Francesco Polizzi's user avatar
6 votes
1 answer
364 views

Why do symmetries of K3 surfaces lie in the Mathieu group $M_{24}$?

I'm having trouble following some steps of this argument from the appendix of Eguchi, Ooguri and Tachikawa's paper Notes on the K3 surface and the Mathieu group M24: Now let us recall that the ...
John Baez's user avatar
  • 21.8k
1 vote
0 answers
152 views

Formula for Pushforward of structure sheaf for branched coverings

I have some questions of same flavour about two following constructions in Daniel Huybrechts's notes on K3 surfaces. Construction 1: Kummer surface (Example 1.3 (iii), page 8) Let $k$ be a field of $...
user267839's user avatar
  • 5,780
1 vote
0 answers
189 views

Action on Enriques surface by sections of Jacobian fibration

A question about a statement in Shigeyuki Kondo's paper Enriques surfaces with finite automorphism groups: The setup: Let $\pi: Y \to \mathbb{P}^1$ be a special elliptic pencil of complex Enriques ...
user267839's user avatar
  • 5,780
1 vote
0 answers
51 views

Picard number of Hilbert modular surfaces

Hilbert modular surfaces are discussed in various papers by Hirzebruch. Following [HZ] (and their notations), one obtains Hilbert modular surfaces by the action of Hilbert modular group on $\mathcal{H}...
SeoyoungK's user avatar
4 votes
2 answers
311 views

Is the set of points on an abelian surface which project to rational points on the Kummer surface a subgroup?

Let $C$ be a hyperelliptic curve of genus 2 defined over $\mathbb{Q}$, let $J$ be its Jacobian, and let $X$ be the Kummer surface associated to $J$ (i. e. $X$ is the singular Kummer surface which ...
Vik78's user avatar
  • 538
6 votes
0 answers
289 views

Exceptional quartic K3 surfaces

Recall that a $K3$ surface is called exceptional if its Picard number is 20. The Fermat quartic $K3$ surface in $\mathbb P^3$ is exceptional. My question is, Are there infinitely many non-...
Basics's user avatar
  • 1,821
2 votes
1 answer
370 views

$K3$ surfaces can't be uniruled

Let $S$ be a uniruled surface, ie admits a dominant map $ f:X \times \mathbb{P}^1$. Why then it's canonical divisor $\omega_X$ cannot be trivial? Motivation: I want to understand why $K3$ surfaces ...
user267839's user avatar
  • 5,780
2 votes
0 answers
99 views

Explicit Lagrangian fibrations of a K3 surface

I would like to look at the behaviour of the fibres of a Lagrangian fibration (such that at least some fibres are not special Lagrangian) $X\to\mathbb{CP}^1$ under the mean curvature flow (in relation ...
Quaere Verum's user avatar
7 votes
0 answers
244 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
1 vote
0 answers
132 views

complex K3 surfaces with automorphisms of given orders

Concerning complex K3 surfaces, there are various methods to show the non-existence of an automorphism of certain orders. The usually way is to investigate the action of the automorphism on the space $...
user avatar
7 votes
1 answer
499 views

Do non-projective K3 surfaces have rational curves?

Define a compact Kähler surface $X$ to be a K3 surface if $X$ is simply connected, $K_X \simeq \mathcal{O}_X$, and $h^{0,1}=0$. If $X$ is projective, then a theorem typically attributed to Bogomolov ...
AmorFati's user avatar
  • 1,369
1 vote
1 answer
257 views

One-dimensional family of complex algebraic K3 surfaces

Let $X$ be an algebraic complex K3 surface, we know that $X$ is deformation equivalent to a smooth quartic surface or more generally a K3 surface with Picard number $1$ (a very general K3 surface in ...
user avatar
6 votes
0 answers
190 views

Isotopy classes of $CP^1$ in 4-manifolds

Let $S_1$, $S_2$ be homologous embedded 2-spheres in a compact smooth 4-manifold. Under which additional conditions are they smoothly isotopic? I am interested in the state of the art picture when $...
Misha Verbitsky's user avatar
3 votes
0 answers
148 views

Moduli space with exceptional Mukai vector and tangent spaces at strictly semistable bundles

Assume we work (over $\mathbb{C}$) on a polarized K3 surface $(X,L)$ with a line bundle $M$ on $X$ such that $M^2=-6$ and $ML=0$ as well as $h^0(M)=h^2(M)=0$ and thus $h^1(M)=1$. Then $E=\mathcal{O}_X\...
Bernie's user avatar
  • 1,025
3 votes
0 answers
285 views

K3 surfaces in Fano threefolds

By K3 surfaces and Fano threefolds, I mean smooth ones. If a K3 surface $S$ is an anticanonical section of a Fano threefold $V$ of Picard rank one (hence, $Pic(V)=\mathbb Z H_V$ for some ample divisor ...
Basics's user avatar
  • 1,821
3 votes
0 answers
267 views

A K3 cover over a Del Pezzo surface

Let $V \rightarrow \mathbb P^2$ be the blow-up at two distinct points. ($V$ is a Del Pezzo surface of degree 7.) Choose a smooth curve $C$ from the linear system $|-2K_V|$ and let $S \rightarrow V$ be ...
Basics's user avatar
  • 1,821
6 votes
1 answer
435 views

automorphism group of K3 surfaces

It is known that smooth complex hypersurfaces with degree bigger than 2 and dimension bigger than 1 have finite automorphism groups, except for K3 surfaces. But the group of polarised automorphisms ...
user avatar
3 votes
0 answers
97 views

Are supersingular K3 surfaces unirational?

There is a conjecture due to Artin, Rudakov, Shafarevich, Shioda that supersingular K3 surfaces over a finite field are unirational. This paper claims to prove this result but it has had a recent ...
Asvin's user avatar
  • 7,716
2 votes
0 answers
160 views

Automorphisms of finite order on $K3$ surfaces

Is there a $K3$ surface (algebraic, complex) that has infinitely many automorphisms of finite order? Many K3 surfaces have infinite automorphism groups. In particular, all K3 surfaces of Picard ...
Basics's user avatar
  • 1,821
2 votes
0 answers
175 views

Automorphisms of a K3 surface

I was studying the following algebraic surface in $\mathbb{P}^5$ defined by the following three quadrics: \begin{cases} x^2 + xy + y^2=w^2\\ x^2 + 3xz + z^2=t^2\\ y^2 + 5yz + z^2=s^2. \...
did's user avatar
  • 617
2 votes
0 answers
268 views

Example of a K3 surface with two non-symplectic involutions

$\DeclareMathOperator\Pic{Pic}$Let $X$ be a K3 surface (algebraic, complex). An involution $\sigma:X\rightarrow X$ is called non-symplectic if it acts as multiplication by $-1$ on $H^{2,0}(X)=\Bbb{C}\...
Basics's user avatar
  • 1,821
1 vote
0 answers
138 views

Obstruction in construction of some lattices, related with $K3$ surfaces

I am considering a certain $K3$ surface that is lattice-polarized in two ways. This leads to the following simple problem in lattice theory: (Let me borrow notations for lattice from Ch.14 of this ...
Basics's user avatar
  • 1,821
2 votes
1 answer
182 views

Concrete descriptions of $S^1$-bundles over smooth manifold $Y$ underying a K3 surface

Let $Y$ be the smooth manifold underlying a K3 surface. As a manifold, $Y$ is diffeomorphic to $\{[x_0:x_1:x_2:x_3]\in\mathbb{C}P^3\colon X_0^4+x_1^4+X_2^4+X_3^4=1\}$. It is well known that $H^2(Y,\...
James's user avatar
  • 133
1 vote
1 answer
264 views

$K3$ surfaces in $\mathbb P^1 \times \mathbb P^1 \times \mathbb P^1$

I am considering $K3$ surfaces in $\mathbb P^1 \times \mathbb P^1 \times \mathbb P^1$ with an automorphism that preserves an ample divisor class. For an automorphism $\rho$ of a $K3$ surface, let ${\...
Basics's user avatar
  • 1,821
6 votes
0 answers
352 views

Quantifying the failure of geometric formality in K3 surfaces

It is known that K3 surfaces are never geometrically formal [1]. That is, the wedge product of two harmonic forms on an arbitrary K3 surface is in general not harmonic, or equivalently, the space $\...
Arpan Saha's user avatar
1 vote
1 answer
489 views

Understand the Mukai vector

Let $S$ be a K3 surface and $h:=c_1(i^*\mathcal{O}_{\mathbb{P^3}}(1))$, then we can compute that $c_1(S)=0,c_2(S)=6h^2$. Hence \begin{align} \sqrt{\text{td}(S)}=1+\frac{c_2(S)}{24}=1+\frac{1}{4}h^2 \...
user avatar
2 votes
0 answers
190 views

rational curves over K3 surfaces over $\mathbb{Q}$

There are many partial results towards the following conjecture: Every projective K3 surface over an algebraically closed field contains infinitely many integral rational curves. My question is: is ...
did's user avatar
  • 617
8 votes
3 answers
1k views

Seeking concrete examples of "generic" elliptic fibrations of K3 surfaces

For me a K3 surface will be a smooth complex projective variety of dimension 2 that is simply-connected and has trivial canonical bundle. Given a K3 surface $X$, an elliptic fibration $\pi \colon X \...
John Baez's user avatar
  • 21.8k
3 votes
1 answer
230 views

Irrationality of some threefolds

Consider a smooth projective threefold $\overline W$, constructed in section 4 of this paper. This threefold is a resolution of singularities of the quotient of a product of a K3 surface and $\mathbb ...
Basics's user avatar
  • 1,821
5 votes
1 answer
364 views

K3 surfaces with small Picard number and symmetry

I am looking for examples of K3 surfaces that have a low Picard rank and at least one holomorphic involution. Here, low is no mathematically precise concept. I want to do computations with Monad ...
user505117's user avatar
6 votes
1 answer
961 views

Reference request: Generic k3 surface has Picard number 1

I keep running into the statement that "the generic k3 surface has Picard rank 1". For instance the answer of this question (end) and this paper (following Example 1.1) or this paper (proof ...
user147163's user avatar
3 votes
0 answers
217 views

Toric degeneration of Kummer Surface

I am wondering if there are any explicit examples of a toric degeneration of a Kummer surface (e.g. as a family of projective varieties say), and what the central fibre can look like? (I am working ...
Evgeny T's user avatar
  • 205
1 vote
0 answers
119 views

Does the Mukai's lemma hold for non-algebraic $K3$ surfaces?

In Huybrechts' book Fourier-Mukai Transforms in Algebraic Geometry I found the following result due to Mukai (Page 232, Lemma 10.6) Let $X$ and $Y$ be two $K3$ surfaces. Then the Mukai vector of any ...
Zhaoting Wei's user avatar
  • 8,767
1 vote
0 answers
142 views

Global section of unstable vector bundles comparing with (semi)stable vector bundles

Let $X$ be a smooth projective variety, say it is a K3 surface. Fix a Chern character $(ch_0,ch_1,ch_2)$. Then if we consider the global sections of all the possible (semi)stable vector bundles and ...
Peter Liu's user avatar
  • 253
6 votes
0 answers
180 views

Find an explicit quasi-smooth embedding $X_{38} \subset \mathbb P(5, 6, 8, 19)$

This question is not quite about research-level mathematics, so I apologize for bringing it here. I asked it in Math.SE first, but I got no answers, and only a suggestion to ask it here. Consider the ...
isekaijin's user avatar
  • 183
2 votes
0 answers
100 views

Amoeba for a K3 surface in $\mathbb {CP}^3$

Let $X=X_\Delta$ be the toric variety associated to a reflexive polyhedron $\Delta$. Consider a Calabi-Yau hypersurface $Y\subset X$, and the image of $Y$ under the moment map $\mu:X\to \Delta$ has ...
Hang's user avatar
  • 2,739
9 votes
2 answers
797 views

Do singular fibers determine the elliptic K3 surface, generically?

General elliptic K3 surfaces. Consider K3 surfaces of Picard rank two with Neron-Severi lattice isomorphic to $$\left[\begin{array}{cc} 2d & t \\ t & 0 \end{array}\right]$$ for some positive ...
Evgeny Shinder's user avatar
3 votes
1 answer
391 views

Mordell–Weil rank of some elliptic $K3$ surface

Consider a finite field $\mathbb{F}_q$ such that $q \equiv 1 \pmod3$ (i.e., $\omega \mathrel{:=} \sqrt[3]{1} \in \mathbb{F}_q$ for $\omega \neq 1$) and an element $b \in (\mathbb{F}_q^*)^2 \setminus (\...
Dimitri Koshelev's user avatar
2 votes
1 answer
301 views

Very general quartic hypersurface in $\mathbb{P}^3$ has Picard group $\mathbb{Z}$

I am looking for a reference from which I can cite the following statement: The Picard group of a very general quartic hypersurface $X\subset\mathbb{P}^3$ is generated by the class of a hyperplane ...
Hans's user avatar
  • 2,927
2 votes
0 answers
168 views

Degree $4$ curves on K3 double covers of Del-Pezzo surfaces

Let $S$ be a smooth del-Pezzo surface and $\pi : X \longrightarrow S$ be the double cover of $S$ ramified in a smooth section of $-2K_S$. Going through the classification of del-Pezzo surfaces, one ...
Libli's user avatar
  • 7,250
2 votes
1 answer
128 views

Fixed locus in the linear system associated to the ramification locus of a K3 double cover of a Del Pezzo surface

Let $X$ be a (smooth) del Pezzo surface over $\mathbb{C}$. Let $\Delta_0$ be a (smooth irreducible) generic curve in the linear system $|-2K_X|$. Let $\rho : S \rightarrow X$ be the double cover of $X$...
Libli's user avatar
  • 7,250
1 vote
0 answers
134 views

Automorphic representation of weight 3 eigenforms

Let $f$ be a weight 3 eigenform with rational Fourier coefficients. As shown by Elkies and Schutt, $f$ is associated to a singular K3 surface over $\mathbb{Q}$. A construction of Shioda and Inose ...
Goro's user avatar
  • 167
3 votes
0 answers
206 views

2 K3s and cubic fourfolds containing a plane

Two K3 surfaces show up when talking about cubic fourfolds containing a plane. Let $P\subset X\subset \mathbb{P}^5$ be the plane inside the cubic. Since $P$ is cut out by 3 linear equations then $X$ ...
IMeasy's user avatar
  • 3,737
7 votes
0 answers
231 views

Does there exists a compact Ricci-flat K3 surface whose metric tensor is expressed in explicit formula?

Yau's theorem showed the existence. But I had difficulty finding examples other than complex tori. Any information will be appreciated.
clvolkov's user avatar
  • 323
4 votes
1 answer
297 views

Kummer surfaces which are not projective

This is a question from an online note. Let $A$ be a two-dimensional $\mathbb C$-torus. And there is an involution on $A$: $A\to A, x\mapsto -x$. The action has 16 fixed points. Let $Y:=A/\{\pm1\}$, ...
6666's user avatar
  • 343
5 votes
2 answers
547 views

density of singular K3 surfaces

By singular K3 I mean a smooth complex K3 with Néron-Severi rank equal to 20. Are singular K3 surfaces dense in the moduli space of polarized K3 surfaces?
IMeasy's user avatar
  • 3,737
4 votes
0 answers
88 views

Is there a way to calculate the Picard $\mathbb{F}_q$-number of an (rational or K3) elliptic surface?

Consider a finite field $\mathbb{F}_{q}$ and an elliptic surface $$ \mathcal{E}\!: y^2 + a_1(t)xy + a_3(t)y = x^3 + a_2(t)x^2 + a_4(t)x + a_6, $$ where $a_i(t) \in \mathbb{F}_{q}[t]$. Is there a way ...
Dimitri Koshelev's user avatar
1 vote
0 answers
88 views

Picard numbers of isogenous K3 surfaces over a non-closed field

Let $S_1, S_2$ be K3 surfaces defined over a field $k$ and $\phi\!: S_1 \dashrightarrow S_2$ a dominant rational $k$-map (so-called isogeny). It is known that $\rho(S_1) = \rho(S_2)$ for the complex ...
Dimitri Koshelev's user avatar