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$.
1
vote
0answers
214 views
Cubic fourfold and K3 surface: geometric constructions of Hodge isometry
Hodge structure on K3 surface (the middle line of Hodge diamond is 1 20 1) is similar to the Hodge structure of cubic fourfold (the middle line of Hodge diamond of primitive cohomology is 0 1 20 1 0). ...
1
vote
1answer
100 views
Characterization of $d$-gonal curves on a K3 surface
Let $X$ be a K3 surface and $C$ a curve on $X$. We say that $C$ is $d$-gonal if it admits a pencil of degree $d$ (and none of smaller degree).
I am wondering if there exist characterizations of ...
11
votes
0answers
238 views
Am I missing something about this notion of Mirror Symmetry for abelian varieties?
This is a continuation of my recent question: Mirror symmetry for polarized abelian surfaces and Shioda-Inose K3s.
In the comments of the question, I was directed to the paper ...
7
votes
0answers
207 views
Mirror symmetry for polarized abelian surfaces and Shioda-Inose K3s
It is well known (cf. Dolgachev) that there is a beautiful notion of mirror symmetry for lattice-polarized K3 surfaces. That is, if we are given a rank $r$ lattice $M$ of signature $(1, r - 1)$ and a ...
4
votes
0answers
138 views
On the cohomology ring of the Hilbert scheme of points on k3 or abelian surfaces
There are many results on the cohomology of the Hilbert scheme of points of a surface.
Gottsche calcaluted the Betti numbers and Nakajima got the generators of the cohomology. Also
there are results ...
3
votes
1answer
122 views
When will the mirror of a K3 surface be an elliptic K3?
Let $f:Y\rightarrow\mathbb{P}^1$ be an elliptic $K3$ surface, then the holomorphic 2-form $\Omega_Y$ vanishes when restricted to an elliptic fiber $f^{-1}(b)$ with $b\in\mathbb{P}^1$. After a ...
10
votes
1answer
320 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 ...
3
votes
0answers
135 views
Integral cohomology of the hilbert scheme of points on a k3
i'm reading the famous article "Varietes kahleriennes dont la premiere classe de chern est nulle" by Beauville, in particular proposition 6, which characterizes the second cohomology group for the ...
2
votes
1answer
169 views
SYZ mirror symmetry for K3 surfaces
My question is essentially related to this post, but let me formulate it again. Let $f:S \rightarrow \mathbb{P}^1$ be an elliptic fibration, then this can be a SLAG fibration with respect to another ...
12
votes
1answer
572 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 ...
0
votes
1answer
126 views
Linear system on an abelian surface
On a K3 surface $S$, a linear system $|C|$ is said to be hyperelliptic if the corresponding map is of degree 2 and the image is of degree $g_a(C)-1$ in $\mathbb P^{g_a}$.
For $g_a(C) > 2$, if ...
3
votes
1answer
150 views
Spectral sequence associated to elliptic fibration degenerates?
Let $\phi:S\rightarrow \mathbb{CP}^1$ be an elliptic fibration of a K3 surface. When is the Leray spectral sequence associated to the fibration $E_2$-degenerate? Are there any good criteria for the ...
6
votes
2answers
214 views
adjacency matrix of a graph and lines on quartic surfaces
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 ...
4
votes
1answer
143 views
Euler number for base change of a K3 surface
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$ ...
1
vote
2answers
195 views
An ample line bundle on a K3 surface
Let $X$ be a K3 surface obtained as a double covering of $\mathbb{P}^1 \times \mathbb{P}^1$ branching along a $(4,4)$-divisor. I think the natural line bundle $\pi^*\mathcal{O}_{\mathbb{P}^1\times ...
7
votes
2answers
300 views
Necessary condition on Calabi-Yau manfiold to be a hypersurface in a Fano manifold
Let $X$ be a smooth projective Calabi-Yau threefold. Are there any known obstructions to it
being a member of a base-point-free linear system in a nef-Fano fourfold?
What, in anything, is known ...
5
votes
1answer
230 views
Positivity question on K3 surfaces
Let $X$ be a smooth projective complex K3 surface and $L, D$ two effective divisors, $L^2\geq0$ and $D^2\geq0$.
(Q1). do we have $L\cdot D\geq0$ ?
If either one has positive self-intersection, the ...
5
votes
1answer
213 views
Does $h^1(D)=0$ imply numerical connectedness on K3 surfaces?
Let $X$ be a complex K3 surface and $D$ an effective divisor on $X$.
We shall say: $D$ is connected if its support is connected. $D$ is numerically connected if for any non-trivial effective ...
3
votes
1answer
208 views
K3 surface with $D_{14}$ singular fiber
Let $X$ be an elliptic K3 surface with $D_{14}$ singular fiber. Do you know an explicit equation for such $X$? Also, how many disjoint sections such fibration admits? Any reference would be greatly ...
2
votes
1answer
124 views
Weyl group of a K3 surface
I am wondering wether the action of the Weyl group $W_X$ of a K3 surface $X$ is transitive on the sets of curves of fixed genus.
Suppose $W_X$ is non-trivial. Given two curves $C,C'$ of genus ...
5
votes
0answers
140 views
on the automorphisms of the transcendental Hodge structure of a K3 surface
Let $S$ be a complex projective K3 surface and consider the sub-Hodge structure
$$
T(S) \subset H^2(S, \mathbb{Q})
$$ consisting of transcendental cycles. Let $\varphi$ be an automorphism of Hodge ...
2
votes
1answer
165 views
Are singular rational curves on K3 surfaces rigid?
Let $S$ be a K3 surface over the complex numbers $\mathbb{C}$. If $C\subset S$ is a smooth rational curve, the normal bundle $N_{C/S}$ is isomorphic to $\mathbb{O}(-2)$ and thus $C$ is rigid. What ...
1
vote
2answers
153 views
K3 surface with a non-symplectic involution: a basic question
Let $X$ be a K3 surface (algebraic, complex). An involution $\sigma:X\rightarrow X$ is called non-symplectic if it acts trivially on $H^{2,0}(X)=\Bbb{C}\omega_X$ $\ $ (where $\omega_X$ is any nowhere ...
3
votes
0answers
253 views
Semistable minimal model of a $K3$-surface and the special fibre
Suppose that $K$ is a $p$-adic field, that is a field of characteristic $0$ whose ring of integers is a complete discrete valuation ring $\mathcal O_K$ and with residue field $k$ (algebraic closed) of ...
5
votes
0answers
171 views
Non minimal K3 surfaces as hypersurfaces of weighted projective spaces
I recently learnt that the hypersurface
$$
S:=(x^2+y^3+z^{11}+w^{66}=0) \subset \mathbb{P}(33,22,6,1)
$$
is birational to a K3 surface. This is surprising because the surface is quasi-smooth, ...
3
votes
2answers
298 views
Nefness on a K3 surface
Let $D$ be a divisor on a (complex) K3 surface.
Suppose $D^2\geq0$. In general, $D$ is nef if $D\cdot C\geq0$ for all irreducible curves on the surface.
Is in our case sufficient to check this for ...
20
votes
1answer
903 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 ...
5
votes
2answers
346 views
Action of automorphisms of a $K3$ surface on its $(-2)$-curves
Consider a complex $K3$ surface $X$ and take its group of automorphisms $Aut(X)$. It is a known fact that the action of $Aut(X)$ on the set of rational $-2$ curves of $X$ has only finite number of ...
4
votes
2answers
311 views
Reference for Automorphisms of K3 surfaces
I am looking for some introductory reference concerning Automorphisms (of finite order) on K3 surfaces. Any suggestion?
0
votes
0answers
106 views
K3 surface minus finite set
Let $S$ be a complex K3 surface, and $P\subset S$ a finite set of points in $S$. It is known that
$$
H^i(S,\mathbb{Z})\cong H^i(S\setminus P,\mathbb{Z})
$$
for $0\le i \le 2$. Then the Euler ...
1
vote
0answers
134 views
Moduli space of K3 surfaces and Bogomolov-Tian-Todorov theorem
The famous Bogomolov-Tian-Todorov theorem says that the moduli space of Calabi-Yau manifold is smooth, that is locally a complex manifold. Doesn't this contradicts to the fact that the moduli space ...
2
votes
1answer
166 views
Existence of logarithmic structures and d-semistability
I am reading a paper ( Kawamata, Y.; Namikawa, Y. Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi-Yau varieties. Invent. math. 1994, 118, 395–409.) I have a ...
8
votes
0answers
365 views
Torelli-like theorem for K3 surfaces on terms of its étale cohomology
Is there a proof of a Torelli-like Theorem for a K3-surface over any field (non complex) in terms of its etale or crystalline cohomology?
For example: If $K\ne \mathbb{C} $ and $X\rightarrow ...
7
votes
1answer
212 views
A question on an elliptic fibration of the Enriques surface
Let $S$ be an Enriques surface over complex numbers. It is known that $S$ admits an elliptic fibration over $\mathbb{P}^1$ with $12$ nodal singular fibers and $2$ double fibers. How can I see this ...
4
votes
2answers
234 views
Algebraic cycles on a K3 surface after hyperKahler rotation.
I would like to find a gap in the following observation. I found a suspicious part but cannot prove it wrong. I would appreciate your assistance.
Let $M$ be a lattice of signature $(1,t)$ and $S$ be ...
4
votes
0answers
331 views
Possible automorphism groups of a K3 surface
Which finite groups are automorphism groups of polarized K3 surfaces (let's say over ℂ)?
...and does the answer change is I remove "polarized"?
(polarized = equipped with an ample line bundle)
1
vote
1answer
102 views
A question on real surfaces on K3 surfaces.
Let $X$ be a K3 surface and $\omega$ be a nowhere vanishing 2-form on $X$. Suppose $Y\subset X$ be a smooth real surface. How can one see that $\omega|_Y=0$ implies $Y$ is a complex submanifold (a ...
4
votes
1answer
401 views
Rookie questions about k3's
Hi everyone,
I am trying to go through parts of Saint-Donat's 1974 paper 'Projective Models of K3-surfaces', and have been stuck on a few claims for a while now - I'd appreciate some help explaining ...
3
votes
2answers
313 views
Line bundles on K3 surfaces
Let $L$ be a line bundle on an (algebraic) K3 surface over a field $k$. The Riemann-Roch theorem specializes to
$$
\chi(X, L)=\frac{1}{2}(L\cdot L)+2
$$
which can be rewritten as
$$
h^0(X, ...
1
vote
1answer
243 views
Picard group of a K3 surface generated by a curve
In Lazarsfeld's article "Brill Noether Petri without degenerations" he mentions the fact that for any integer $g \geq 2$, one may find a K3 surface $X$ and a curve $C$ of genus $g$ on $X$ such that ...
1
vote
1answer
160 views
Is this an embedding of $S^{[2]}$?
The intersection of 3 quadrics in $P^5$ is a K3 surface $S$.
There is a natural map $S^{[2]} \to G(1,5)$ well defined everywhere, because a generic K3 doesn't contain any line and this family is ...
1
vote
0answers
104 views
Maximally unipotent monodromy point of a K3 surface
I have a question on maximally unipotent monodromy point (or large complex structure limit) of the family of polarized K3 surfaces $(X,L)$. It is known that the moduli space of such pair is given by ...
2
votes
1answer
291 views
Minimal semistable model for K3-surfaces.
I wonder if a semistalbe K3 surface over a $p$-adic field has a minimal semistable model. I guess yes but I do not find any reference.
Also, if we have a semistable K3 surface with a log structure, ...
1
vote
1answer
237 views
Elliptic fibration of K3 surface
Let $X$ be a K3 surface with $U(k) \subset NS(X)$ for some $k$. Here $U$ is the hyperbolic lattice. Can one conclude that $X$ admits an elliptic fibration? If my memory serves, I read somewhere that ...
3
votes
1answer
675 views
Mirror symmetry for hyperkahler manifold
Hi there,
I have some questions about the mirror symmetry of hyperkahler manifold and K3 surface.
The well-known result said: the mirror symmetry for K3 surface is just given by its hyperkahler ...
2
votes
1answer
351 views
Isometry of K3 surface.
Let $S$ be a K3 surface and $\iota$ be anti-symplectic involution of $S$. Suppose that $g$ is a Kahler-Einstein metric on $S$. My question is;
Why $\iota$ is an isometry of $S$ with respect to ...
3
votes
1answer
221 views
Euler characteristic of nodal K3 surfaces (as in singular)
This is probably easy, but I was just wondering if there is a nice and easy formula for the topological Euler characteristic of a K3 surface $X$ with say $k$ nodes. If there is no general formula, is ...
1
vote
2answers
288 views
Isotrivial K3 family and Picard number
Is it true that any family of K3 surfaces over $\mathbb{C}$ whose Picard number is constant is isotrivial? Here isotrivial means locally analytically trivial.
Speculation: Let $\mathcal{M}$ be the ...
3
votes
1answer
321 views
(3,3) abelian surface and k3 surfaces
SOrry for the very specific question, but curiosity bites....
So here's the story: an idecomposable principally polarized abelian surface is embedded in $P^8=|3\Theta |^* $ as a deg 18 surface A. ...
2
votes
1answer
249 views
octic K3s inside cubic 4-folds
From the Thesis of B.Hassett I seem to understand that a smooth cubic 4-fold $X$ containing a $\mathbb{P}^2$ should contain also a octic K3, but I cannot see a natural way by which this K3 octic could ...
