Welcome to MathOverflow

Question

6

3

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?

For example, in the best case, if the K3 surface is elliptic and has a global section, can we use combinations of fibre and section to represent all the 22 2-cycles?

Thanks!

edited Jun 30 at 20:01

Karl Schwede
11.7k●1●14●35

asked Jun 29 at 3:02

Jay
313●6

9

Jay, the fibers and a section of a fibration are algebraic curves, so anything you can generate will be inside the Picard group. So, in any case, the maximum rank you can get this way is 20, but in most cases much smaller. – Sándor Kovács Jun 29 at 5:07

@S'andor -- What about supersingular K3 surfaces? – Jason Starr Jun 30 at 16:13

3

I suspect that the questioner was interested in the complex case, but I could be wrong. – Donu Arapura Jun 30 at 18:59

In the third paragraph of www.math.ens.fr/~wittenberg/transcendental.pdf, you'll find an explicit example of a K3 surface over $\mathbb{Q}$, with an elliptic fibration, such that the rank generated by a section and components of fibers is $20$, that is the maximum in characteristic $0$. – Olivier Benoist Feb 7 at 8:54

David Speyer · Accepted Answer · 2012-06-30 18:31:37Z UTC

14

I think the easiest place to see the $22$ is in a Kummer surface. Let $A$ be an abelian surface, so topologically $(S^1)^4$. This clearly has $h_2 = \binom{4}{2} = 6$, and there are obvious topological repreentatives for the $2$-cycles, given by $(S^1)^2$ in $6$ different ways.

Let $X$ be the quotient of $A$ by negation. This has $16$ singular points; the images of the $16$ $2$-torsion points of $A$. Let $Y$ be $X$ blown up at these $16$ points. Then $H_2(Y)$ is (ADDED rationally, see below) generated by the pushforwards of the $6$ $2$-cycles from $A$, and the $16$ $\mathbb{P}^1$'s introduced by resolving the singularities. $6+16=22$.

edited Jun 30 at 18:31

answered Jun 29 at 16:43

David Speyer
56.3k●3●103●242

10

There is only one problem with this: The (integer) lattice generated by all of these is not all of $H_2(Y)$. The resulting integer lattice of is index $2^{22}$; see the book Compact Complex Surfaces by Barth, Peters and Van de Ven. – Simon Rose Jun 29 at 21:30

we lose some data there? – Jay Jun 30 at 14:39

2

Essentially, yes. This is a great way to find rational generators, but it doesn't give integral ones. One quick way to see that is to look at the intersection form: For a K3 surface, the intersection form is $2E_8 \oplus 3H$, whereas the intersection form for the lattice generated by these classes is much simpler (for example, the 16 singular points are all (-2)-curves which intersect no other classes given). – Simon Rose Jun 30 at 17:17

Kevin Kordek · Answer 2 · 2012-06-30 04:57:57Z UTC

1

You could try Aspinwall's paper:

"K3 Surfaces and String Duality" http://arxiv.org/pdf/hep-th/9611137v5.pdf

Sections 2.3 and 2.5 are relevant to your question.

answered Jun 30 at 4:57

Kevin Kordek
444●3●10

S. Carnahan · Answer 3 · 2013-02-10 08:51:38Z UTC

1

i find a paper by Michael B. Schulz and Elliott F. Tammaro: http://arxiv.org/abs/1206.1070

from page. 11, it gives an explicit description these cycles from the point of view of the resolution of $T^4/Z_2$, seems great!

edited Feb 10 at 8:51

S. Carnahan♦

answered Feb 7 at 1:13

Jay
313●6

2-cycle of K3 surface

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

3 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.