7
$\begingroup$

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!

$\endgroup$
4
  • 9
    $\begingroup$ 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. $\endgroup$ Jun 29, 2012 at 5:07
  • $\begingroup$ @S'andor -- What about supersingular K3 surfaces? $\endgroup$ Jun 30, 2012 at 16:13
  • 3
    $\begingroup$ I suspect that the questioner was interested in the complex case, but I could be wrong. $\endgroup$ Jun 30, 2012 at 18:59
  • $\begingroup$ 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$. $\endgroup$ Feb 7, 2013 at 8:54

3 Answers 3

16
$\begingroup$

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

$\endgroup$
4
  • 11
    $\begingroup$ 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. $\endgroup$
    – Simon Rose
    Jun 29, 2012 at 21:30
  • $\begingroup$ we lose some data there? $\endgroup$
    – Jay
    Jun 30, 2012 at 14:39
  • 3
    $\begingroup$ 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). $\endgroup$
    – Simon Rose
    Jun 30, 2012 at 17:17
  • $\begingroup$ @SimonRose Do you know how to get your hands on a topological collection of rational generators? That is, is there some way of combining the rational basis above to obtain one which is $E_8$ on the nose? $\endgroup$
    – Prototank
    May 14, 2019 at 17:32
1
$\begingroup$

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.

$\endgroup$
1
$\begingroup$

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!

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.