4fb545609a0381da.tex
1: \begin{definition}\label{pol}
2: Consider a K3 surface $X$, and
3: let $\Omega\subset H_2(X,\R)$ denote the oriented $2$-dimensional subspace which
4: specifies the complex structure of $X$ according to the Torelli Theorem \mbox{\rm\ref{torellithm}}. 
5: A choice of \textsc{dual K\"ahler class} on $X$ is the choice of some 
6: $\omega\in\Omega^\perp\cap H_2(X,\R)$ with $\langle\omega,\omega\rangle>0$.
7: If the dual K\"ahler class obeys $\omega\in H_2(X,\Z)$, then $\omega$
8: is called a \textsc{polarization} of $X$.
9: 
10: If $X$ is a Kummer surface with underlying torus $T(\Lambda)$, let $\omega_T$ denote
11: the Poincar\'e dual of the standard K\"ahler class induced from  the standard 
12: Euclidean metric on $\C^2$. Then with $\pi_\ast$ as in definition \mbox{\rm\ref{defKummer}},
13: we call $\pi_\ast\omega_T\in\Omega^\perp\cap H_2(X,\R)$ the \textsc{induced dual
14: K\"ahler class on $X$}.
15: \end{definition}
16: