2
votes
2answers
159 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
260 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
209 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
181 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
173 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 ...
5
votes
0answers
129 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
145 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 ...
3
votes
0answers
155 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
141 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
257 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 ...
4
votes
2answers
290 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
286 views

Reference for Automorphisms of K3 surfaces

I am looking for some introductory reference concerning Automorphisms (of finite order) on K3 surfaces. Any suggestion?
2
votes
1answer
125 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
310 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
187 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 ...
3
votes
2answers
225 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 ...
3
votes
0answers
236 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)
4
votes
1answer
366 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
276 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
194 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
155 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 ...
2
votes
1answer
345 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
202 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
266 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
303 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
222 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 ...
2
votes
0answers
100 views

Coherent systems on K3 surfaces

Does anyone know whether the theory of coherent systems on $K3$ surfaces has been studied and, if yes, can you give me a reference? In particular, is there an analogue of Gieseker stability and of ...
5
votes
1answer
321 views

Involution of the Fermat quartic

Let $X\subset\mathbb{P}^{3}$ be the Fermat quartic surface given by $$x^4-y^4-z^4+w^4 = 0$$ and consider the involution $$i:X\rightarrow X,\: (x,y,z,w)\mapsto (y,x,w,z).$$ The surface $X$ can be seen ...
6
votes
1answer
202 views

$K3$ surfaces admitting finite non-symplectic group actions are projective

I have read somewhere that "$K3$ surfaces admitting finite non-symplectic group actions are projective". Could someone remind me of a proof?
9
votes
2answers
611 views

How to compute the Picard rank of a K3 surface?

I'm curious about the following question: Given a K3 surface, how does one proceed to compute its rank? Of course the answer may depend on the form of the input, i.e. how the K3 is "given". So ...
0
votes
0answers
139 views

$T^2$-fibered K3 surface with involution

Let $S$ be a K3 surface and $f:S\rightarrow \mathbb{P}^1$ a $T^2$-fibration (not necessarily holomorphic, I have a special Langrangian fibration in mind). Assume there is a $k$-section, then a fiber ...
2
votes
0answers
239 views

Singular fibers of an elliptic fibered K3 surface.

Let $f:S\rightarrow \mathbb{P}^1$ be an elliptic K3 surface. Assume that $\mathrm{Pic}(S)\cong U$, where $U$ stands for the hyperbolic lattice. I think that the elliptic fibration has only singular ...
5
votes
1answer
393 views

Complex structures on a K3 surface as a hyperkähler manifold

A hyperkähler manifold is a Riemannian manifold of real dimension $4k$ and holonomy group contained in $Sp(k)$. It is known that every hyperkähler manifold has a $2$-sphere $S^{2}$ of complex ...
6
votes
3answers
610 views

2-cycle of K3 surface

Hi there, I want to ask about the 2-cycle of K3 surface. As we know, its betti number $b_2$=22, so there will be 22 2-cycle generators. Is there any topological way to figure out such cycles ...
2
votes
1answer
304 views

Genus two pencil in K3 surface

It is known that smooth $K3$ surface can be obtained as two fold branched cover of rational elliptic surface $E(1) = \mathbb{CP}^2 9 \bar{{\mathbb{{CP}^2}}}$ along the smooth divisor $2F_{E(1)} = 6H - ...
3
votes
2answers
548 views

Question on K3 Surface

Is it possible to realize $K3$ surface as a ramified double cover of rational elliptic surface? If so, is there way to see an elliptic fibration structure on $K3$ from such cover? It seems to me one ...
19
votes
4answers
1k 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).
2
votes
1answer
269 views

Picard/cohomology lattice of surfaces of low degree in $\mathbb P^3$

Let $S_{d>3}\subset\mathbb{P}^3_{\mathbb{C}}$ be a smooth surface of degree $d$. What is known (where to read?) about the Picard/cohomology lattice for small d? e.g. for $d=4$ the cohomology ...
5
votes
2answers
1k views

construct the elliptic fibration of elliptic k3 surface

Hi all, As we know, every elliptic k3 surface admits an elliptic fibration over $P^1$, but generally how do we construct this fibration? For example, how to get such a fibration for Fermat quartic? ...
7
votes
2answers
548 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 ...
2
votes
1answer
239 views

Sheaves with zero Chern classes on a $K3$ surface.

Let $S$ be a $K3$ surface. Is it true that any sheaf on $S$ with zero Chern classes is isomorphic to $\mathcal{O}_S^{\oplus n}$ for some $n$? If not, do you have any counterexample?
6
votes
1answer
427 views

To what extent does Poincare duality hold on moduli stacks?

Poincare duality gives us, for a smooth orientable $n$-manifold, an isomorphism $H^k(M) \to H_{n-k}(M)$ given by $\gamma \mapsto \gamma \frown [M]$ where $[M]$ is the fundamental class of the ...
7
votes
1answer
461 views

Dodecahedral K3?

In pondering this MO question and in particularly its 1st answer, and answers to this one recently posed, I realized there ought to be a dodecahedral K3 surface $X$. This $X$ would fiber as an ...
10
votes
3answers
699 views

A K3 over $P^1$ with six singular $A_1$- fibers?

Hirzebruch, in the paper 'Arrangements of Lines and Algebraic Surfaces' constructs a special $K3$ surface out of a 'complete quadrilateral' in $CP^2$. A complete quadritlateral consists of 4 ...
2
votes
3answers
655 views

cuspidal curves in K3 surfaces

Let $S\subset\mathbb{P}^g$ be a smooth polarized K3 surface of genus $g$. I am interested in the existence of certain cuspidal curves in the linear system. We know a general hyperplane section $H\cap ...
4
votes
1answer
343 views

Is any K3 surface of degree 8 in P^5 the complete intersection of quadrics?

Here the base field is the field of complex numbers.
0
votes
1answer
505 views

Neron-Severi Lattice of Elliptic K3

I'm trying to compute Neron-Severi lattices of some K3 surfaces. They have elliptic fibrations with multiple sections. Setting one section to be the identity section, I can write down a Weierstrass ...
4
votes
1answer
433 views

Period integrals of the fiber of elliptically fibered K3 manifolds

Suppose I have a smooth elliptically fibered K3 manifold over $\mathbb{P}^1$ defined by the Weierstrass equation, \begin{equation} y^2=x^3+f(z)x+g(z) \end{equation} where $x,y,z$ are local ...
3
votes
1answer
211 views

Spherical objects on Kummer surfaces

Spherical objects E in the derived category of coherent sheaves over a K3 surface satisfy: 1) Hom(E,E)=C 2) Ext^2(E,E)=C 3 Ext^i=0 otherwise. Are the structure sheaf O_X and the sheaves associated ...
4
votes
2answers
571 views

Are any two K3 surfaces over C diffeomorphic?

Let $S$ be a K3 surface over $\mathbb{C}$, that is, $S$ is a simply connected compact smooth complex surface whose canonical bundle is trivial. I recall reading somewhere that any two such surfaces ...