Professional Documents
Culture Documents
clasificación de estructuras
complejas
Seminario Junior de Geometría del CSIC
8 y 15 de noviembre de 2006
Álvaro Antón Sancho. CSIC.
Sirvió a Dios fielmente, como lo habı́a servido su padre, pero de manera distinta.
Richard Dedekind.
F (z) = z k , z ∈ V.
c1 , . . . , cn : Y → P1 .
Extensiones de cuerpos
Extensiones de cuerpos
Teorema. Sean X e Y superficies de Riemann π : X → Y aplicación holomorfa
y propia de grado n. Entonces, el morfismo de cuerpos
π ∗ : M(Y ) → M(X)
Esto dice que cada elemento de M(X) tiene orden ≤ n sobre M(Y ) y, por tanto,
n0 = [M(Y ) : M(X)] ≤ n. Además, es fácil ver que cualquier elemento de
orden n0 genera la extensión. Basta ver, pues, que existe un elemento de orden n.
Esto dice que cada elemento de M(X) tiene orden ≤ n sobre M(Y ) y, por tanto,
n0 = [M(Y ) : M(X)] ≤ n. Además, es fácil ver que cualquier elemento de
orden n0 genera la extensión. Basta ver, pues, que existe un elemento de orden n.
Sea f ∈ M(X) verificando que, para cierto y ∈ Y ordinario para π,
f (x) 6= f (x′ ) para x, x′ antecedentes distintos de y por π (la existencia de esta
aplicación requiere del teorema de existencia de funciones meromorfas que
separan puntos). Entonces, es claro que ningún polinomio mónico con
coeficientes en M(Y ) de grado m < n puede anular f , pues, de haberlo, podemos
suponer que sus coeficientes no tienen polo en y (justificar esto no es sencillo) y,
evaluando sus coeficientes en y, obtendríamos un polinomio en C[T ] de grado m
con n raíces distintas (f (x1 ), . . . , f (xn )).
Superficies de Riemann y clasificación de estructuras complejas – p. 16/4
Extensiones algebraicas de cuerpos y superficies de Riemann
AY
≈ P.
∼
AY
≈ P.
∼
A
≈ P.
∼
A
≈ P.
∼
1. φ0 = φ, φ1 = ψ.
1. φ0 = φ, φ1 = ψ.
2. Para cada t ∈ I existe un entorno T de t, un abierto V ⊆ U con γ(T ) ⊆ V
y f ∈ MY (V ) tales que [f ]γ(t) = φt , t ∈ T .
1. φ0 = φ, φ1 = ψ.
2. Para cada t ∈ I existe un entorno T de t, un abierto V ⊆ U con γ(T ) ⊆ V
y f ∈ MY (V ) tales que [f ]γ(t) = φt , t ∈ T .
φ es p.a. de sí mismo en U .
φ es p.a. de sí mismo en U .
Si ψ es p.a. de φ es U a lo largo de γ, entonces φ es p.a. de ψ en U a lo
largo de −γ.
φ es p.a. de sí mismo en U .
Si ψ es p.a. de φ es U a lo largo de γ, entonces φ es p.a. de ψ en U a lo
largo de −γ.
Si ψ es p.a. de φ es U a lo largo de γ y σ es p.a. de ψ es U a lo largo de δ,
entonces, σ es p.a. de φ es U a lo largo de γ + δ.
φ es p.a. de sí mismo en U .
Si ψ es p.a. de φ es U a lo largo de γ, entonces φ es p.a. de ψ en U a lo
largo de −γ.
Si ψ es p.a. de φ es U a lo largo de γ y σ es p.a. de ψ es U a lo largo de δ,
entonces, σ es p.a. de φ es U a lo largo de γ + δ.
Si b = c y ψ y σ son p.a. de φ en U a lo largo de γ, entonces, ψ = σ.
φ es p.a. de sí mismo en U .
Si ψ es p.a. de φ es U a lo largo de γ, entonces φ es p.a. de ψ en U a lo
largo de −γ.
Si ψ es p.a. de φ es U a lo largo de γ y σ es p.a. de ψ es U a lo largo de δ,
entonces, σ es p.a. de φ es U a lo largo de γ + δ.
Si b = c y ψ y σ son p.a. de φ en U a lo largo de γ, entonces, ψ = σ.
Si A una homotopía en U con A(0, ·) = a, A(1, ·) = b, us (t) = A(t, s) y φ
se p.a. en U a lo largo de todo camino us , entonces el resultado de la
prolongación es independiente de s.
φ es p.a. de sí mismo en U .
Si ψ es p.a. de φ es U a lo largo de γ, entonces φ es p.a. de ψ en U a lo
largo de −γ.
Si ψ es p.a. de φ es U a lo largo de γ y σ es p.a. de ψ es U a lo largo de δ,
entonces, σ es p.a. de φ es U a lo largo de γ + δ.
Si b = c y ψ y σ son p.a. de φ en U a lo largo de γ, entonces, ψ = σ.
Si A una homotopía en U con A(0, ·) = a, A(1, ·) = b, us (t) = A(t, s) y φ
se p.a. en U a lo largo de todo camino us , entonces el resultado de la
prolongación es independiente de s.
Si F ∈ MY (U ) y γ es un camino con γ(0) = a y γ(1) = b, entonces [F ]b
es p.a. a lo largo de γ de [F ]a .
φ es p.a. de sí mismo en U .
Si ψ es p.a. de φ es U a lo largo de γ, entonces φ es p.a. de ψ en U a lo
largo de −γ.
Si ψ es p.a. de φ es U a lo largo de γ y σ es p.a. de ψ es U a lo largo de δ,
entonces, σ es p.a. de φ es U a lo largo de γ + δ.
Si b = c y ψ y σ son p.a. de φ en U a lo largo de γ, entonces, ψ = σ.
Si A una homotopía en U con A(0, ·) = a, A(1, ·) = b, us (t) = A(t, s) y φ
se p.a. en U a lo largo de todo camino us , entonces el resultado de la
prolongación es independiente de s.
Si F ∈ MY (U ) y γ es un camino con γ(0) = a y γ(1) = b, entonces [F ]b
es p.a. a lo largo de γ de [F ]a .
Si U es conexo y simplemente conexo y φ se p.a. en U a lo largo de
cualquier camino, entonces existe F ∈ MY (U ) tal que φ = [F ]a .
Superficies de Riemann y clasificación de estructuras complejas – p. 29/4
Prolongación analítica. F.m.g. y funciones algebraicas
Hemos visto que el par (R, π|R ), donde R es una f.m.g.a.p. es un espacio de
revestimiento de U = π(R) (pues R es separado y π|R es un homeomorfismo
local que levanta caminos) y, si es f.v., π|R es propia.
Hemos visto que el par (R, π|R ), donde R es una f.m.g.a.p. es un espacio de
revestimiento de U = π(R) (pues R es separado y π|R es un homeomorfismo
local que levanta caminos) y, si es f.v., π|R es propia.
Introducimos el siguiente apartado para entender el concepto de función
algebraica, que es un tipo de f.m.g.
Hemos visto que el par (R, π|R ), donde R es una f.m.g.a.p. es un espacio de
revestimiento de U = π(R) (pues R es separado y π|R es un homeomorfismo
local que levanta caminos) y, si es f.v., π|R es propia.
Introducimos el siguiente apartado para entender el concepto de función
algebraica, que es un tipo de f.m.g.
Puntos ordinarios y puntos críticos
Hemos visto que el par (R, π|R ), donde R es una f.m.g.a.p. es un espacio de
revestimiento de U = π(R) (pues R es separado y π|R es un homeomorfismo
local que levanta caminos) y, si es f.v., π|R es propia.
Introducimos el siguiente apartado para entender el concepto de función
algebraica, que es un tipo de f.m.g.
Puntos ordinarios y puntos críticos
Existe una noción de punto crítico en f.m.g. que se va a corresponder con la de
punto de ramificación en aplicaciones propias.
Hemos visto que el par (R, π|R ), donde R es una f.m.g.a.p. es un espacio de
revestimiento de U = π(R) (pues R es separado y π|R es un homeomorfismo
local que levanta caminos) y, si es f.v., π|R es propia.
Introducimos el siguiente apartado para entender el concepto de función
algebraica, que es un tipo de f.m.g.
Puntos ordinarios y puntos críticos
Existe una noción de punto crítico en f.m.g. que se va a corresponder con la de
punto de ramificación en aplicaciones propias.
Definición (punto ordinario). Sea U un abierto conexo de Y y R una f.m.g. en
U . Sea a ∈ U . Se dice que a es un punto ordinario de R si existe un entorno
abierto V de a en U tal que todo germen de R soportado en un punto de V es
arbitrariamente prolongable en V .
Hemos visto que el par (R, π|R ), donde R es una f.m.g.a.p. es un espacio de
revestimiento de U = π(R) (pues R es separado y π|R es un homeomorfismo
local que levanta caminos) y, si es f.v., π|R es propia.
Introducimos el siguiente apartado para entender el concepto de función
algebraica, que es un tipo de f.m.g.
Puntos ordinarios y puntos críticos
Existe una noción de punto crítico en f.m.g. que se va a corresponder con la de
punto de ramificación en aplicaciones propias.
Definición (punto ordinario). Sea U un abierto conexo de Y y R una f.m.g. en
U . Sea a ∈ U . Se dice que a es un punto ordinario de R si existe un entorno
abierto V de a en U tal que todo germen de R soportado en un punto de V es
arbitrariamente prolongable en V .
Los puntos de U que no son ordinarios se llaman críticos.
Hemos visto que el par (R, π|R ), donde R es una f.m.g.a.p. es un espacio de
revestimiento de U = π(R) (pues R es separado y π|R es un homeomorfismo
local que levanta caminos) y, si es f.v., π|R es propia.
Introducimos el siguiente apartado para entender el concepto de función
algebraica, que es un tipo de f.m.g.
Puntos ordinarios y puntos críticos
Existe una noción de punto crítico en f.m.g. que se va a corresponder con la de
punto de ramificación en aplicaciones propias.
Definición (punto ordinario). Sea U un abierto conexo de Y y R una f.m.g. en
U . Sea a ∈ U . Se dice que a es un punto ordinario de R si existe un entorno
abierto V de a en U tal que todo germen de R soportado en un punto de V es
arbitrariamente prolongable en V .
Los puntos de U que no son ordinarios se llaman críticos.
Un punto crítico a es aislado si existe un entorno V de a en U tal que todos los
puntos de V \ {a} son ordinarios.
Superficies de Riemann y clasificación de estructuras complejas – p. 33/4
Prolongación analítica. F.m.g. y funciones algebraicas
es una f.m.g.a.p.
es una f.m.g.a.p.
Funciones meromorfas del tipo F ◦ R. Sea R es una f.m.g.a.p. en U . Sea V un
abierto conexo de C tal que, para cada [f ]a ∈ R, f (a) ∈ V . Sea F ∈ M(V ).
Entonces, el conjunto
F ◦ R = {[F ◦ f ]a : [f ]a ∈ R}
es una f.m.g.a.p.
γ1 γ1
b b
c c
γ2 γ2
V1 V2
γ1 γ1
b b
c c
γ2 γ2
V1 V2
∗
−1
Definimos σ : X \ E → R por σ(x) = f ◦ ρ ρ(x) (obsérvese que ρ es
homeomorfismo local en X \ E). Puesto que ρ∗ p(f ) = 0, f ◦ ρ−1 define una raíz
de p y, por tanto, σ(x) ∈ R∗ . Es sencillo ver que σ es localmente biholomorfa,
inyectiva y sobre, luego es biholomorfa. Entonces, ya vimos un resultado que
garantiza que σ extiende a una aplicación biholomorfa σ : X → R b con π ◦ σ = ρ.
∗
−1
Definimos σ : X \ E → R por σ(x) = f ◦ ρ ρ(x) (obsérvese que ρ es
homeomorfismo local en X \ E). Puesto que ρ∗ p(f ) = 0, f ◦ ρ−1 define una raíz
de p y, por tanto, σ(x) ∈ R∗ . Es sencillo ver que σ es localmente biholomorfa,
inyectiva y sobre, luego es biholomorfa. Entonces, ya vimos un resultado que
garantiza que σ extiende a una aplicación biholomorfa σ : X → R b con π ◦ σ = ρ.
Queda ver que fπ ◦ σ = ρ. Basta ver la igualdad en puntos de x \ E. Si x ∈ X \ E,
fπ ◦ σ(x) = fπ f ◦ ρ ρ(x) = f ◦ ρ−1 (ρ(x)) = f (x).
−1
∗
−1
Definimos σ : X \ E → R por σ(x) = f ◦ ρ ρ(x) (obsérvese que ρ es
homeomorfismo local en X \ E). Puesto que ρ∗ p(f ) = 0, f ◦ ρ−1 define una raíz
de p y, por tanto, σ(x) ∈ R∗ . Es sencillo ver que σ es localmente biholomorfa,
inyectiva y sobre, luego es biholomorfa. Entonces, ya vimos un resultado que
garantiza que σ extiende a una aplicación biholomorfa σ : X → R b con π ◦ σ = ρ.
Queda ver que fπ ◦ σ = ρ. Basta ver la igualdad en puntos de x \ E. Si x ∈ X \ E,
fπ ◦ σ(x) = fπ f ◦ ρ ρ(x) = f ◦ ρ−1 (ρ(x)) = f (x).
−1
Sea AY el conjunto de todas las ternas (X, ρ, f ) con X una superficie de
Riemann, ρ : X → Y una aplicación holomorfa propia y f ∈ M(X) verificando
que existe y ∈ Y tal que f (x) 6= f (x′ ) para cada par de antecedentes distintos de
y por ρ. La relación dada en el teorema de unicidad entre elementos de AY es de
equivalencia y coincide con la ya definida ∼.
Superficies de Riemann y clasificación de estructuras complejas – p. 44/4
Funciones algebraicas y superficies de Riemann
AY
Ψ: →P
∼
que a cada clase de una terna de AY le asigna el polinomio que aporta el teorema
anterior.
AY
Ψ: →P
∼
que a cada clase de una terna de AY le asigna el polinomio que aporta el teorema
anterior.
Hay que ver que Ψ está bien definida viendo que no depende de la clase módulo
∼.
AY
Ψ: →P
∼
que a cada clase de una terna de AY le asigna el polinomio que aporta el teorema
anterior.
Hay que ver que Ψ está bien definida viendo que no depende de la clase módulo
∼. Si (X, ρ, f ) ∼ (Z, τ, g) son elementos de AY y p y q son los polinomios
asociados según el teorema anterior, tomamos σ : X → Z el biholomorfismo que
da ∼. Como τ ◦ σ = ρ y g ◦ σ = f , se tiene que
AY
Ψ: →P
∼
que a cada clase de una terna de AY le asigna el polinomio que aporta el teorema
anterior.
Hay que ver que Ψ está bien definida viendo que no depende de la clase módulo
∼. Si (X, ρ, f ) ∼ (Z, τ, g) son elementos de AY y p y q son los polinomios
asociados según el teorema anterior, tomamos σ : X → Z el biholomorfismo que
da ∼. Como τ ◦ σ = ρ y g ◦ σ = f , se tiene que
AY
Ψ: →P
∼
que a cada clase de una terna de AY le asigna el polinomio que aporta el teorema
anterior.
Hay que ver que Ψ está bien definida viendo que no depende de la clase módulo
∼. Si (X, ρ, f ) ∼ (Z, τ, g) son elementos de AY y p y q son los polinomios
asociados según el teorema anterior, tomamos σ : X → Z el biholomorfismo que
da ∼. Como τ ◦ σ = ρ y g ◦ σ = f , se tiene que
AY
≈ P,
∼
es decir, una parametrización de las estructuras complejas de dimensión 1
(acompañadas de una aplicación propia y una meromorfa) y una interpretación en
términos analíticos (como configuraciones analíticas de funciones algebraicas).
AY
≈ P,
∼
es decir, una parametrización de las estructuras complejas de dimensión 1
(acompañadas de una aplicación propia y una meromorfa) y una interpretación en
términos analíticos (como configuraciones analíticas de funciones algebraicas).
Particularizando al caso en que Y = P1 se obtienen los mismos resultados que se
ya se dedujeron con técnicas algebraico-geométricas.
Yo, por mi parte, siempre he considerado una gran suerte el haber tenido un
alumno como Riemann y aún hoy sigo estando y estaré toda mi vida agradecido a
él por los muchos estímulos que me ha dado y por la alegría que he sentido con su
maravilloso talento y desarrollo.
C. Schmalfuss.