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
1 vote
0 answers
127 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,938
1 vote
0 answers
186 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,938
1 vote
0 answers
46 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
296 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
  • 477
6 votes
0 answers
268 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
349 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,938
2 votes
0 answers
89 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
236 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
131 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
465 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,349
1 vote
1 answer
243 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
5 votes
0 answers
116 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
145 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,015
3 votes
0 answers
265 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
264 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
376 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
93 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,608
2 votes
0 answers
155 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
171 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
  • 595
2 votes
0 answers
251 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
135 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
178 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
251 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
348 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
427 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
183 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
  • 595
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.3k
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
329 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
883 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
195 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
117 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,657
1 vote
0 answers
135 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
97 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,719
9 votes
2 answers
749 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
380 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
281 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,863
2 votes
0 answers
166 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,210
2 votes
1 answer
123 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,210
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
2 votes
0 answers
194 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,707
7 votes
0 answers
214 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
  • 193
4 votes
1 answer
272 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
535 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,707
4 votes
0 answers
87 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
86 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
2 votes
1 answer
370 views

Fixed part of a line bundle on a K3 surface

This question comes from Huybrechts' lecture notes on K3 surfaces, more specifically, chapter 2. Let $ X $ be a K3 surface (over an algebraically closed field $ k $) and $ L $ a line bundle on $ X $. ...
Cranium Clamp's user avatar
3 votes
1 answer
362 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
2 votes
0 answers
141 views

Is there a way to explicitly find any rational $\mathbb{F}_p$-curve on the Kummer surface?

Consider a finite field $\mathbb{F}_p$ (where $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$), $\mathbb{F}_{p^2}$-isomorphic elliptic curves (of $j$-invariant $0$) $$ E\!:y_1^2 = ...
Dimitri Koshelev's user avatar