05.06.2013 Views

FUNCIONES THETA DE RIEMANN 1. Introducción El objetivo de ...

FUNCIONES THETA DE RIEMANN 1. Introducción El objetivo de ...

FUNCIONES THETA DE RIEMANN 1. Introducción El objetivo de ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>FUNCIONES</strong> <strong>THETA</strong> <strong>DE</strong> <strong>RIEMANN</strong> 217<br />

<strong>de</strong> dimensión g, es <strong>de</strong>cir, la variedad <strong>de</strong> moduli <strong>de</strong> varieda<strong>de</strong>s abelianas<br />

principalmente polarizadas es:<br />

Ag = Hg/Γg con dim Ag = g(g + 1)/2<br />

3.<strong>1.</strong> Funciones theta <strong>de</strong> superficies <strong>de</strong> Riemann compactas.<br />

Variedad jacobiana. Sea S una superficie <strong>de</strong> Riemann compacta<br />

<strong>de</strong> género g. Fijamos una base canónica {α1, . . . , αg, β1, . . . , βg} <strong>de</strong><br />

H 1 (S, Z) Z 2g tal que la intersección <strong>de</strong>finida a través <strong>de</strong>l producto<br />

cup es:<br />

αi · αj = βi · βj = 0 αi · βj = δij<br />

Sea OS el haz <strong>de</strong> funciones holomorfas sobre S, O ∗ S<br />

el haz <strong>de</strong> funciones<br />

holomorfas sin ceros en S y ΩS el haz <strong>de</strong> diferenciales holomorfas en S.<br />

La sucesión exacta <strong>de</strong> grupos<br />

0 −→ Z −→ C −→ C ∗ −→ 1<br />

z ↦−→ exp(2πiz)<br />

induce una sucesión exacta <strong>de</strong> grupos <strong>de</strong> cohomología:<br />

0<br />

<br />

1 H (S, Z)<br />

j<br />

<br />

1 H (S, OS)<br />

Z 2g H 0 (S, ΩS) ∗<br />

<br />

1 ∗ H (S, OS ) <strong>de</strong>g <br />

2 H (S, Z)<br />

don<strong>de</strong> el morfismo j : H 1 (S, Z) → H 0 (S, ΩS) ∗ esta dado por j(α)(ω) =<br />

<br />

α ω.<br />

Por otro lado, se tiene que el grupo <strong>de</strong> Picard <strong>de</strong> S es:<br />

Pic(S) = H 1 (S, O ∗ S) {fibrados <strong>de</strong> línea en S} / {isomorfismos} <br />

{divisores en S} / {∼}<br />

don<strong>de</strong> dos divisores están relacionados si difieren en el divisor <strong>de</strong> ceros y<br />

polos <strong>de</strong> una función meromorfa. Teniendo en cuenta esta i<strong>de</strong>ntificación,<br />

el morfismo <strong>de</strong>g <strong>de</strong> la sucesión exacta anterior viene dado por:<br />

Pic(S) = H 1 (S, O ∗ S) <strong>de</strong>g<br />

−→ Z<br />

<br />

D = <br />

ns · s ↦−→ <strong>de</strong>gD = ns<br />

finita<br />

Z<br />

<br />

0

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!