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 ...
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> 219<br />
4. Fórmulas <strong>de</strong> adición <strong>de</strong> funciones theta<br />
Para cualquier τ ∈ Hg, las funciones theta verifican unas relaciones<br />
(fórmulas) <strong>de</strong> adición (Riemann-Weierstrass) que <strong>de</strong>scriben analíticamente<br />
la ley <strong>de</strong> grupo <strong>de</strong> la variedad abeliana X(τ):<br />
θ(2x, 2τ) · θ(2y, 2τ) = 2 −g<br />
y su inversión:<br />
<br />
2σ∈(Z/2Z) g<br />
θ(x + y, τ) · θ(x − y, τ) = <br />
2σ∈(Z/2Z) g<br />
θ[ 0 σ](x + y, τ) · θ[ 0 σ](x − y, τ)<br />
θ[ σ 0](2x, 2τ) · θ[ σ 0](2y, 2τ)<br />
Si τ es la matriz <strong>de</strong> periodos <strong>de</strong> una superficie <strong>de</strong> Riemann compacta,<br />
entonces sus funciones theta verifican ciertas ecuaciones que no satisfacen<br />
las funciones theta asociadas a elementos arbitrarios <strong>de</strong> Hg. Una<br />
<strong>de</strong> ellas es la fórmula <strong>de</strong> adición <strong>de</strong> funciones theta <strong>de</strong> superficies <strong>de</strong><br />
Riemann:<br />
<strong>El</strong> morfismo <strong>de</strong> Abel <strong>de</strong>finido por un punto p0 ∈ S es:<br />
A: S −→ J(S) = C g /(Z g + τZ g )<br />
p p<br />
p ↦−→ A(p) = ( ω1, . . . , ωg)<br />
que como clase <strong>de</strong> equivalencia <strong>de</strong> divisores <strong>de</strong> grado cero consiste en<br />
p ↦→ [p − p0]. Por aditividad, se <strong>de</strong>fine el siguiente morfismo:<br />
m: S 2n −→ J(S)<br />
n<br />
<br />
(x1, y1, . . . , xn, yn) ↦−→ (xi − yi)<br />
Sea E(x, y) la prime-form <strong>de</strong> S construida a partir <strong>de</strong> las funciones theta<br />
<strong>de</strong> S y <strong>de</strong> sus diferenciales holomorfas, que es una sección holomorfa<br />
hemisimétrica <strong>de</strong>l fibrado diagonal sobre S × S con ceros simples a lo<br />
largo <strong>de</strong> la diagonal.<br />
p0<br />
i=1<br />
p0