**4**

votes

**2**answers

252 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 ...

**6**

votes

**0**answers

508 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

**1**answer

104 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

**1**answer

427 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

**2**answers

373 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, L)+h^0(...

**1**

vote

**1**answer

336 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

**1**answer

167 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

**0**answers

114 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

**1**answer

345 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

**1**answer

268 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

**1**answer

1k 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

**1**answer

361 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 $g$...

**3**

votes

**1**answer

256 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

**2**answers

320 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 ...

**4**

votes

**1**answer

360 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

**1**answer

290 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 ...

**1**

vote

**0**answers

180 views

### Moduli Space of an Algebraic K3 surface with singularities.

Suppose that $X$ is an algebraic K3 surface (say polarized). If the singular divisor of $X$ is normal crossing... Do we have a moduli space parametrizing such $K3$ surfaces? If yes do we have a ...

**2**

votes

**0**answers

106 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 ...

**0**

votes

**1**answer

280 views

### Non Smooth K3 surface?

Hi,
My question is related to Algebraic Surfaces. I have seen that we always consider K3 surfaces which are smooth, but I wonder how can we define a non-smooth K3 surface.
The problem I see is on ...

**4**

votes

**1**answer

464 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 ...

**3**

votes

**0**answers

140 views

### Topology of K3 as a sum of two abelian fibrations.

Let $E$ be a blow-up of $\mathbb{P}^2$ at 9-points in the bases locus of a pencil of elliptic curves (A $T^2$ fibration over $S^2$).
K3 surfaces is obtained by removing a fiber from two copies of $E$ ...

**6**

votes

**1**answer

221 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?

**11**

votes

**2**answers

968 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

**0**answers

147 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

**0**answers

338 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

**1**answer

526 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

**3**answers

662 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 direct?...

**3**

votes

**1**answer

446 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

**2**answers

659 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

**4**answers

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).

**11**

votes

**1**answer

358 views

### Symmetric functions on three parameters being perfect squares

Is it possible for $x+y+z, xy+yz+zx$, and $xyz$ to be perfect squares at the same time for positive integer values of $x,y,z$?

**2**

votes

**1**answer

296 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 ...

**1**

vote

**1**answer

324 views

### holomorphic sections on elliptic K3 surface

Hi all,
I want to ask something about the holomorphic sections on elliptic K3:
Is there any obstruction for an ellptic K3 (as an elliptic fibration) to have holomorphic sections? Is that always some ...

**10**

votes

**2**answers

2k 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

**2**answers

672 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

**1**answer

257 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?

**7**

votes

**1**answer

509 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 manifold,...

**2**

votes

**1**answer

413 views

### Kuga-Satake with p-adic methods

Is it possible to construct the Kuga-Satake abelian variety attached to a K3 surfaces (over a local field) only using p-adic methods?
If the K3 surface is defined over a local field, the Kuga-...

**9**

votes

**1**answer

508 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

**3**answers

927 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 ...

**7**

votes

**4**answers

1k views

### Sums of four fourth powers

Apologies in advance if this is a naive question.
If I understand correctly, it's well-known that the Fermat quartic surface
$X = \lbrace w^4 +x^4+y^4+z^4 =0 \rbrace \subset \mathbf{P}^3$
has ...

**2**

votes

**3**answers

769 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

**1**answer

438 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

**1**answer

645 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

**1**answer

495 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

**0**answers

339 views

### The surface $ x^2 y^2 + 1 = (x^2 + y^2) z^2 $

Hi, I'm trying to find all rational points on the surface of the title, in connection with the Euler Brick (AKA Rational Box) problem.
This surface is equivalent to $ x^2 z^2 - 1 = (x^2 - z^2) y^2 $, ...

**14**

votes

**1**answer

1k views

### M24 moonshine for K3

There are recent papers suggesting that the elliptic genus of K3 exhibits moonshine for the Mathieu group $M_{24}$ (http://arXiv.org/pdf/1004.0956). Does anyone know of constructions of $M_{24}$ ...

**3**

votes

**1**answer

252 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

**2**answers

630 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 ...

**9**

votes

**2**answers

899 views

### What classes am I missing in the Picard lattice of a Kummer K3 surface?

Constructing the Kummer K3 of an Abelian surface $A$, we have an obvious 22-dimensional collection of classes in $H^2(K3, \mathbb{Z})$ given by the 16 (-2)-curves (which by construction do not ...