Вы находитесь на странице: 1из 58

Formas canónicas de

hipersuperficies proyectivas
Dedicado a
mi familia

I
Agradecimientos

Le doy gracias a mis padres por apoyarme en todo momento, por los va-
lores que me han inculcado, y por haberme dado la oportunidad de tener
una excelente educación en el transcurso de mi vida. Sobre todo por ser un
excelente ejemplo de vida a seguir.

A mis hermanos por ser parte importante de mi vida ya que también han
sido ejemplos a seguir y por el apoyo incondicional que me han brindado.

Le agradezco la conanza, apoyo y dedicación de tiempo a mis profesores


y también por haber compartido conmigo sus conocimientos y sobre todo su
amistad. En especial le agradezco al Dr. Israel Moreno Mejía por haberme
apoyado durante un largo tiempo para poder nalizar este trabajo.

Y a mis amistades que me alentaron durante este período y estuvieron


cerca de mí.

II
Índice general

Agradecimientos II
Introducción IV
1. Módulos de diferenciales 1
2. Formas Diferenciales Racionales 19
3. r-Formas Diferenciales 29
A. Divisores 44
Bibliografía 49
Glosario de notaciones 50

III
Introducción

El objetivo de esta tesis es encontrar la dimensión del espacio de n−formas


diferenciales regulares en una hipersupercie no singular que está contenida
en el espacio proyectivo de dimensión n + 1 (teorema 3.3). Para entender es-
te problema consideraremos primero dos casos particulares de este teorema,
en el primer caso veremos que la dimensión del espacio de 1−formas dife-
renciales regulares de una curva elíptica es 1 y encontraremos el generador
de este espacio. En el segundo caso veremos que la dimensión del espacio de
1−formas diferenciales regulares de una hipersupercie contenida en P2k gene-
rada por una ecuación de grado cuatro es 3 y encontraremos sus generadores.

En Cohomología se conoce de manera general la dimensión de los espa-


cios mencionados anteriormente, sin embargo; con los resultados obtenidos
en este trabajo podemos conocer propiedades intrínsecas de los espacios. Un
ejemplo es que si un grupo actúa en la hipersupercie, entonces el grupo
induce una acción en el espacio de formas diferenciales, en base a esto; po-
dríamos estudiar cuál es la acción inducida en el espacio.

Asumimos que el lector está familiarizado con los resultados básicos de


Geometría Algebraica como por ejemplo el contenido del capítulo uno de [1].
Esta tesis comprende tres capítulos los cuales describiremos a continuación.

En el primer capítulo empezaremos por denir las R-derivaciones siendo


R un anillo conmutativo con identidad, para después poder denir los mó-
dulos de formas diferenciales relativas, a su vez daremos una construcción de
estos módulos. También veremos explícitamente como es el módulo de formas
diferenciales relativas de un anillo de polinomios en r variables R[x1 , ..., xr ] y
demostraremos las proposiciones de "la primera sucesión exacta"(proposición
1.8) y "la segunda sucesión exacta"(proposición 1.9). Estas proposiciones nos

IV
Introducción

ayudarán a poder entender otros módulos de formas diferenciales relativas


como es el módulo de formas diferenciales relativas de un anillo de polinomios
haciendo cociente con un ideal y el módulo de formas diferenciales relativas
de la localización de un R-álgebra con un sistema multiplicativo. También
describiremos los módulos de formas diferenciales relativas de los productos
tensoriales de R-álgebras y del anillo de polinomios sobre un R-álgebra S ,
S[x1 , ..., xr ].

En el capítulo dos deniremos el espacio de 1-formas diferenciales racio-


nales de una variedad quasi-proyectiva sobre un campo, y demostraremos que
este espacio lo podemos identicar con la localización del módulo de formas
diferenciales regulares del anillo local de un punto de la variedad respecto al
ideal cero. Deniremos el espacio de 1-formas diferenciales regulares de una
variedad y veremos que para una curva elíptica este espacio tiene dimensión
1 (teorema 2.9).

En el tercer capítulo deniremos el espacio de r-formas diferenciales racio-


nales de una variedad quasi-proyectiva para posteriormente denir el espacio
de r-formas diferenciales regulares en nuestra variedad. En este último ca-
pítulo veremos cuál es la dimensión del espacio de n−formas diferenciales
regulares en una hipersupercie irreducible no singular que está contenida
en el espacio proyectivo de dimensión n + 1 (teorema 3.3), en esta demostra-
ción utilizaremos las deniciones y resultados de nuestro apéndice referente
a divisores.

V
Capítulo 1

Módulos de diferenciales

Diferenciales de Kähler
Sea R un anillo conmutativo con identidad, sea A un R-álgebra, y M un
A-módulo.
Denición 1.1. Una R-derivación de A en M es un homomorsmo d : A →
M tal que:

(1) d es aditivo.
(2) d(aa0 ) = ada0 + a0 da (regla de Leibniz)
(3) dr = 0 para toda r ∈ R.

El conjunto de todas las R-derivaciones es denotado por DerR (A, M ).

Denición 1.2. Se dene el módulo de formas diferenciales relativas de A


sobre R como un A-módulo ΩA/R junto con una R-derivación d : A → ΩA/R
que satisface la siguiente propiedad universal: para cada A-módulo M, y para
cada R-derivación d0 : A → M , existe un único homomorsmo de A-módulos
f : ΩA/R → M tal que d0 = f ◦ d.

d
A Ω A/R

f
d’

1
Módulos de diferenciales

Una forma de construir tal módulo ΩA/R es tomar el A-módulo libre F


generado por los símbolos {da|aA}, y dividir el submódulo generado por
todas las expresiones de la forma:

(1) d(a + a0 ) − da − da0 para a, a0 A


(2) d(aa0 ) − ada0 − a0 da para a, a0 A
(3) dr para rR.

La derivación d : A → ΩA/R está denida enviando a a da. De esta manera


se puede ver que ΩA/R existe. Se sigue de la denición que el par hΩA/R , di
es único salvo un único isomorsmo. Como un corolario de esta construcción
se puede ver que ΩA/R es generado como un A-módulo por {da|aA}.
Proposición 1.3. Sea A un R-álgebra. Sea f : A⊗R A → A el homomorsmo
diagonal denido por f (a ⊗ a0 ) = aa0 y sea I = kerf . Considerar A ⊗R A
como un A-módulo con multiplicación de A por la izquierda. Entonces I/I 2
hereda una estructura de A-módulo. Denir un homomorsmo d : A → I/I 2
por da = 1 ⊗ a − a ⊗ 1 (modulo I 2 ). Entonces hI/I 2 , di es el módulo de
diferenciales relativas de A sobre R.
Para demostrar la proposición, se necesitan de algunas observaciones.
Observación 1.4. El núcleo I de f es el ideal de A ⊗R A generado por los
elementos (1 ⊗ a − a ⊗ 1), aA.
Demostración:

Se tiene que f (1 ⊗ a − a ⊗ 1) = 0. Por otra parte si a1 ⊗ a0i está en


P
I , podemos escribir:

a1 ⊗ a0i = (ai ⊗ a0i ) − (ai a0i ) ⊗ 1 = (ai ⊗ 1)(1 ⊗ a0i − a0i ⊗ 1)


P P P P

ya que ai a0i = 0.
P
i

Observación 1.5. I/I 2 está generado como un A-módulo por los elementos
(1 ⊗ a − a ⊗ 1)(mod-I 2 ).

Demostración:

2
Módulos de diferenciales

Como (A ⊗R A)-módulo, I está generado por los elementos de la forma


1⊗a−a⊗1, nótese que siendo I/I 2 un (A⊗R A)-módulo, hereda una estructu-
ra de A-módulo con multiplicación inducida por a(a1 ⊗a2 ) = (a⊗1)(a1 ⊗a2 ) =
(aa1 ⊗a2 ). Ahora como A-módulo, I está generado por elementos de la forma:
(a00 ⊗a0 )(1⊗a−a⊗1). Así I/I 2 está generdo como A-módulo por los elementos:

(a00 ⊗ a0 )(1 ⊗ a − a ⊗ 1) (mod I 2 )


≡[(a00 a0 ⊗ 1) + (a00 ⊗ 1)(1 ⊗ a0 − a0 ⊗ 1)](1 ⊗ a − a ⊗ 1) (mod I 2 )
≡ (a0 a00 ⊗ 1)(1 ⊗ a − a ⊗ 1) (mod I 2 )
≡ a0 a00 (1 ⊗ a − a ⊗ 1) (mod I 2 )

Por lo tanto I/I 2 esta generado por elementos de la forma (1 ⊗ a − a ⊗ 1)


mod I 2 .
Observación 1.6. Como A es un R-álgebra, consideremos el homomorsmo
estructural γ : R −→ A y sea M un A-módulo. Podemos dar al conjunto
A ⊕ M una estructura de anillo conmutativo deniendo la suma y producto
como sigue:

(a, m) + (a0 , m0 ) = (a + a0 , m + m0 )

(a, m)(a0 , m0 ) = (aa0 , am0 + a0 m)

Si a, a0 ∈ A y m, m0 ∈ M , el elemento uno en A ⊕ M es (1, 0), también se


puede dar a A ⊕ M una estructura de A-álgebra con homomorsmo estruc-
tural la inyección i : A −→ A ⊕ M tal que i(a) = (a, 0).

Por otro lado A ⊕ M tiene estructura de R-álgebra por medio de i ◦ γ .

Si ρ es la proyección (a, m) 7→ a de A ⊕ M sobre A, entonces tenemos


una sucesión exacta de A-módulos

ρ
→ A ⊕ M −→ A −→ 0.
i
0 −→ M −

Sean i1 e i2 los homomorsmos de R-álgebras de A en A ⊗R A denidos


por: i1 (a) = a ⊗ 1 e i2 (a) = 1 ⊗ a.

3
Módulos de diferenciales

Damos a A ⊗R A estructura de A-álgebra con homomorsmo estructural


i1 , de esta forma A⊗R A se convierte en un R-álgebra con morsmo estructural
i1 ◦ γ , también se observa que el homomorsmo diagonal f : A ⊗R A −→ A
es homomorsmo de A-álgebras, suprayectivo y también es homomorsmo
de R-álgebras.
Para la demostración de la proposición 1.3 sólo basta probar que d es una
R-derivación y que (I/I 2 , d) cumple la propiedad universal de los módulos
de diferenciales, ya que por las observaciones anteriores se probó que I/I 2 es
un A-módulo.

Se mostrará que d es una R-derivación:

Se tiene que

d(a1 + a2 ) ≡ [1 ⊗ (a1 + a2 ) − (a1 + a2 ) ⊗ 1] (mod I 2 ) ≡ (1 ⊗ a1 + 1 ⊗


a2 − a1 ⊗ 1 − a2 ⊗ 1) (mod I 2 ) ≡ d(a1 ) + d(a2 ).

Para r ∈ R se tiene que

d(r · 1) ≡ [1 ⊗ (r · 1) − (r · 1) ⊗ 1] (mod I 2 ) ≡ (r · 1 ⊗ 1 − r · 1 ⊗ 1) (mod I 2 ).

Ahora denotemos f1 = a1 d(a2 ) + a2 d(a1 ) = a1 ⊗ a2 − a1 a2 ⊗ 1 + a2 ⊗


a1 − a2 a1 ⊗ 1 y f2 = d(a1 a2 ) = 1 ⊗ a1 a2 − a1 a2 ⊗ 1. Entonces sólo hace falta
vericar que f1 − f2 está en I 2 . Para esto:

f 1 − f 2 = a1 ⊗ a2 − a1 a2 ⊗ 1 + a2 ⊗ a1 − a2 a1 ⊗ 1 − 1 ⊗ a1 a2 + a1 a2 ⊗ 1 =
a1 ⊗ a2 + a2 ⊗ a1 − a2 a1 ⊗ 1 − 1 ⊗ a1 a2 = (a1 ⊗ 1)(1 ⊗ a2 ) + (a2 ⊗ 1)(1 ⊗ a1 ) −
(a2 ⊗ 1)(a1 ⊗ 1) − (1 ⊗ a1 )(1 ⊗ a2 ) = −[−(a1 ⊗ 1) + (1 ⊗ a1 )](1 ⊗ a2 ) + [(1 ⊗
a1 ) − (a1 ⊗ 1)](a2 ⊗ 1) = [(1 ⊗ a1 ) − (a1 ⊗ 1)](a2 ⊗ 1 − 1 ⊗ a2 ) ∈ I 2

de esta manera d es una R-derivación.

Ahora se mostrará que (I/I 2 , d) cumple la propiedad universal de módu-


los de diferenciales.

Sea D ∈ Derk (A, M ), denimos ϕ : A ⊗R A −→ A ⊕ M por 0


Pϕ(a ⊗ 0a ) =
0 0
, entonces ϕP
(aa , aD(a ))P es homomorsmo de R-álgebras y si P ai ⊗ ai ∈ I ,
entonces f ( ai ⊗ a0i ) = ai a0i = 0, por tanto ϕ( ai ⊗ a0i ) = (0, ai D(a0i ))
P

4
Módulos de diferenciales

y así de esta forma ϕ manda I en M ⊂ A ⊕ M . Entonces ϕ |I induce un


homomorsmo de A-módulos τ : I/I 2 −→ M , pues si a ∈ I , ϕ(a) = (0, 0).
2

Sea ΠM : A ⊕ M −→ M la proyección natural, se puede ver que:

τ (d(a0 )) = ΠM ◦ ϕ(1 ⊗ a0 − a0 ⊗ 1) = ΠM ◦ ϕ(1 ⊗ a0 ) − ΠM ◦ ϕ(a0 ⊗ 1) =


D(a0 ) − a0 D(1) = D(a0 )

Entonces tenemos el siguiente diagrama conmutativo:

d
A I / I2
τ
D

Ahora veremos que d es único.

Sabemos que I/I 2 está generado por el conjunto {d(a) (mod I 2 ) | a ∈ A},
entonces τ está determinado de forma única por las imágenes de los elemen-
tos D(a0 ) = τ (d(a0 )).

De esta manera (I/I 2 , d) es el módulo de diferenciales relativas de A sobre


R.

Proposición 1.7. Si A = R[x1 , ..., xr ], el anillo de polinomios en r variables,


r
entonces ΩA/R = Adxi el módulo libre generado por los símbolos abstractos
L
i=1
dx1 , ..., dxr .
r
Demostración: Sea la aplicación d : A −→ Adxi denida por d(p) =
L
i=1
r
∂p
)(dxi ), de esta forma d es una R-derivación. Si f : A −→ M es una
P
( ∂xi
i=1
r
R-derivación, entonces f (p) = ∂p
)(f (xi )), de esta manera existe un único
P
( ∂xi
i=1
r
homomorsmo µ : Adxi −→ M tal que:
L
i=1

5
Módulos de diferenciales

r r
∂p ∂p
)(f (xi )),
P P
µ( ( ∂xi
)(dxi )) = ( ∂xi
i=1 i=1

r
por lo tanto f = µ◦d. De esta manera Adxi cumple la propiedad universal
L
i=1
r
del módulo de diferenciales ΩA/R , por lo cual ΩA/R = Adxi .
L
i=1

Proposición 1.8. (Primera sucesión exacta). Sean R −−ϕ→ A −−ψ→ B homo-


morsmos de anillos. Entonces existe una sucesión exacta de B-módulos:

(1.1)
V U
ΩA/R ⊗A B −→ ΩB/R −→ ΩB/A −→ 0
Demostración: Para denir V , construiremos el siguiente diagrama:

V
Ω A/R A B Ω B/R
dB/R
i V’ τ B
dA/R ψ
Ω A/R A

donde dA/R , dB/R son las derivaciones naturales y τ = dB/R ◦ ψ es una R-


derivación, entonces por la propiedad universal de ΩA/R existe V 0 tal que
V 0 ◦ dA/R = τ = dB/R ◦ ψ , por lo anterior podemos construir un homomor-
smo A-bilineal l : ΩA/R × B −→ ΩB/R tal que (x, b) 7→ b · V 0 (x) y con esto
inducir un homomorsmo V : ΩA/R ⊗A B −→ ΩB/R en el que, para genera-
dores, tenemos V (dA/R (a) ⊗ b) = b · dB/R (ψ(a)).

Para denir U considerar el siguiente diagrama:

U
Ω B/R Ω B/A

d B/R d B/A
B

donde dB/A es la A-derivación natural, pero como A es un R-álgebra y


dB/A (r) = 0 si r ∈ R, entonces dB/A es también una R-derivación, así por
la propiedad universal de ΩB/R existe el homomorsmo U tal que si b ∈ B

6
Módulos de diferenciales

entonces U (dB/R (b)) = dB/A (b).


n
Notar que U es suprayectivo, ya que si αi dB/A (bi ) ∈ ΩB/A con αi , bi ∈
P
i=1
B ; entonces:
n
P n
P n
P
αi dB/A (bi ) = αi U (dB/R (bi )) = U ( αi dB/R (bi ))
i=1 i=1 i=1
n
con αi dB/R (bi ) ∈ ΩB/R .
P
i=1

Ahora para ver que la sucesión es exacta basta probar que la sucesión
U∗ V∗
0 −→ HomB (ΩB/A , T ) −−→ HomB (ΩB/R , T ) −−→ HomB (ΩA/R ⊗A B, T )

es exacta para todo B-módulo T. Pero, por la propiedad universal de los


módulos de formas diferenciales relativas, para ver que esta sucesión es exac-
ta se mostrará que la sucesión inferior del siguiente diagrama es exacta.

U* V*
HOMB(Ω B/A ,T) HOMB(Ω B/R ,T) HOMB(Ω A/R A
B,T)
h1 ~ h2 ~ ~
U*T V*T
DerA (B,T) DerR (B,T) DerR (A,T)

Notar que U ∗ está denido por U ∗ (α) = α ◦ U si α ∈HomB (ΩB/A , T ) y V ∗


está dada por V ∗ (β) = β ◦ V si β ∈ HomB (ΩB/R , T ). Por otro lado tenemos
que:
∼ ∼
HomB (ΩA/R ⊗a B, T ) −→ HomA (ΩA/R , T ) −→ DerR (A, T )

Para α ∈ HomB (ΩB/A , T ) se tiene que h1 (α) = α ◦ dB/A y para β ∈


HomB (ΩB/R , T ) h2 (β) = β ◦ dB/R .

Por otro lado los homomorsmos inducidos UT∗ y VT∗ están dados por

UT∗ (α ◦ dB/A ) = α ◦ U ◦ dB/R = h2 (α ◦ U ) y VT∗ (β◦B/R ) = β ◦ V ◦ i ◦ dA/R

y se puede vericar que esta última igualdad es lo mismo que β ◦ dB/R ◦ ψ ,

7
Módulos de diferenciales

es decir; para D ∈ DerR (B, T ) VT∗ (D) = D ◦ ψ .

Para ver la exactitud en la sucesión inferior del diagrama anterior, veamos


primero que VT∗ ◦ UT∗ = 0.

Sea D ∈ DerA (B, T ), por la propiedad universal de ΩB/A , D se puede


escribir de manera única como D = α ◦ dB/A con α ∈ HomB (ΩB/A , T ), en-
tonces para toda a ∈ A se tiene lo siguiente:

VT∗ (UT∗ (D))(a) = VT∗ (α ◦ U ◦ dB/R )(a) = α ◦ U ◦ dB/A ◦ ψ(a) = 0 por ser
dB/A una A-derivación, de ahí que VT∗ ◦ UT∗ = 0.

Ahora sea D0 ∈ DerR (B, T ) tal que VT∗ (D0 ) = 0, veamos que existe
D ∈ DerA (B, T ) tal que D0 = UT∗ (D). Se tiene que VT∗ (D0 ) = D0 ◦ ψ = 0 y
como ψ : A −→ B , vemos que D0 ∈ DerA (B, T ).

Ahora veamos que UT∗ (D0 ) = D0 , como D0 ∈ DerA (B, T ), si D0 = h1 (α)


para alguna α , entonces D0 = α ◦ dB/A = D0 .
Proposición 1.9. (Segunda sucesión exacta). Sea A un R-álgebra, sea I
un ideal de A y B = A/I . Entonces existe una sucesión exacta natural de
B-módulos:
δ V
I/I 2 −→ ΩA/R ⊗A B −→ ΩB/R −→ 0
(1.2)
donde para culquier a ∈ I , si a es su imagen en I/I 2 , entonces δ(a) = da ⊗ 1.
En particular I/I 2 tiene una estructura natural de B-módulo y δ es un B-
homomorsmo, incluso éste está denido vía la derivación dA/R .

Demostración: Primero notar que I/I 2 es un B-módulo con la multipli-


cación B × I/I 2 −→ I/I 2 (a, i) −
7 → a · i. Ahora consideremos el siguiente
diagrama:
2 δ
I/I Ω A/R A B

ΠI 2 τ

8
Módulos de diferenciales

Como ΠI 2 es el cociente, denotemos ΠI 2 (a) = a, denimos τ como un


homomorsmo de B-módulos donde τ (a) = dA/R (a) ⊗ 1. Se probará primero
que τ induce el homomorsmo B-lineal δ : I/I 2 −→ ΩA/R ⊗A B .
Utilizando la propiedad universal del cociente, basta probar que τ (I 2 ) =
0, tomemos a1 , a2 ∈ I entonces: τ (a1 a2 ) = dA/R (a1 a2 ) ⊗ 1 = a1 dA/R (a2 ) ⊗ 1 +
a2 dA/R (a1 ) ⊗ 1 = dA/R (a2 ) ⊗ a1 + dA/R (a1 ) ⊗ a2 = 0 ya que B=A/I.

De esta manera se tiene que δ está bien denida como homomorsmo de


A-módulos, y el diagrama conmuta, sólo basta probar que δ es B-lineal:

Sea b ∈ B , entonces b = a0 para algún a0 ∈ A y si a ∈ I entonces:

δ(a0 a) = δ(a0 a) = dA/R (a0 a) ⊗ 1 = dA/R (a) ⊗ a0 + dA/R (a0 ) ⊗ a = a0 δ(a)


ya que dA/R (a0 ) ⊗ a = 0, por lo tanto δ es B-lineal.

El homomorsmo V es el mismo de la proposición anterior, es decir si


a00 ∈ A y b ∈ B tenemos V (dA/R (a00 ) ⊗ b) = bdB/R (ψ(a00 )) donde dB/R es la
derivación natural y ψ : A −→ B el homomorsmo de paso al cociente.

Notar que ψ es suprayectivo, como la sucesión (1.1) es exacta, y ΩB/A = 0


ya que B=A/I, entonces se tiene que V es suprayectiva.

También V ◦ δ = 0 pues para a ∈ I , V ◦ δ(a) = V (dA/R (a) ⊗ 1) =


dB/R (ψ(a)) = 0.

Para probar que la sucesión (1.2) es exacta, basta probar la exactitud de


la sucesión siguiente para un B-módulo T arbitrario.:
V∗ δ∗
HomB (ΩB/R , T ) −−→ HomB (ΩA/R ⊗ B, T ) −−→ HomB (I/I 2 , T ).

Notar que V ∗ está dado de la siguiente manera: para β ∈ HomB (ΩB/R , T )


V (β) = β ◦ V y si γ ∈ HomB (ΩA/R ⊗ B, T ) tenemos que δ ∗ (γ) = γ ◦ δ .

Antes de continuar la demostración, haremos la siguiente observación:

Observación Hom A (I, T ) = HomB (I/I 2 , T ).


9
Módulos de diferenciales

Demostración: Como T es un B-módulo, T admite estructura de A-


módulo. Ahora, si g ∈ HomA (I, T ) se tiene que para toda a, a0 ∈ I g(a · a0 ) =
a · g(a0 ) = 0 · g(a0 ) = 0, es decir g(I 2 ) = 0; así que por la propiedad universal
del cociente existe un único β que hace conmutar el siguiente diagrama:
g
I T
ΠI 2

β
2
I/I

donde ΠI 2 es el cociente natural. En principio β es un homomorsmo de


A-módulos pero se verica facilmente que también es un homomormos de
B-módulos. Recíprocamente, dado β ∈ HomB (I/I 2 , T ) se dene g = β ◦ ΠI 2 .
Esto nos da la biyección buscada.

Ahora, por la observación anterior, consideremos el siguiente diagrama:

V* δ* 2
HOMB(Ω B/R ,T) HOMB(Ω A/R A B,T) HOMB(I/I ,T)
h2 h3

V*T δ*
T
DerR (B,T) DerR (A,T) HOMA (I,T)

donde h2 (β) = β ◦ dB/R , h3 (η) = η ◦ i ◦ dA/R donde i : ΩA/R −→ ΩA/R ⊗A B


es el homomorsmo inclusión.

Los homomorsmos inducidos VT∗ y δT∗ están dados por VT∗ (β ◦ dB/R ) =
β ◦ V ◦ i ◦ dA/R = β ◦ dB/R ◦ ψ y para D ∈ DerR (A, T ), δT∗ (D) = D |I .
Notar que D |I es homomormo de A-módulos, pues por ser T un B-módulo
si a ∈ I y a0 ∈ A entonces δT∗ (D)(a · a0 ) = aD(a0 ) + a0 D(a) = a0 D(a).

Ahora δT∗ ◦ VT∗ = 0 por la funtorialidad de Hom y por que V ◦ δ = 0. Fi-


nalmente, sea D0 ∈ DerR (A, T ) tal que δT∗ (D0 ) = 0. A continuación veremos
que existe un D00 ∈ DerR (B, T ) tal que D0 = VT∗ (D00 ).

Como δT∗ (D0 ) = D0 |I = 0 entonces existe D00 tal que el siguiente diagrama
conmuta:

10
Módulos de diferenciales

D’
A T
ψ

D ’’

A/I

de esta manera D0 = D00 ◦ ψ = VT∗ (D00 ) por lo cual la sucesión (1.2) es


exacta.
Proposición 1.10. Sea S = R[x1 , ..., xr ]/I un R-álgebra nitamente gene-
rada y si I = (f1 , ..., fs ), entonces:

= ⊕Sdxi /d(I).
ΩS/R ∼

Demostración: Por la proposición 1.7 se tiene que:

S ⊗R ΩR[x1 ,...,xr ]/R = S ⊗R (⊕R[x1 , ..., xr ]dxi ) = ⊕Sdxi

es un S-módulo libre con generadores dxi . Ahora por la proposición 1.9 te-
nemos la siguiente sucesión exacta:
δ V
I/I 2 −→ ΩR[x1 ,...,xr ]/R ⊗R[x1 ,...,xr ] S −→ ΩS/R −→ 0

la cual la podemos identicar con la siguiente sucesión exacta:


δ V
I/I 2 −→ ⊕Sdxi −→ ΩS/R −→ 0

Por ser V suprayectivo se tiene que ΩS/R ∼


= ⊕Sdxi /KerV , y como la
sucesión es exacta KerV = Imδ pero por otra parte Imδ ∼= d(I), por lo
tanto:

= ⊕Sdxi /d(I).
ΩS/R ∼

Ejemplo 1.11. Para la proposición anterior consideremos:


S = R[x, y, t]/(y 2 − x2 (t2 − x)), entonces:

ΩS/R = hdx, dy, dti/((32 − 2xt2 )dx + (2y)dy − (2x2 t)dt)

11
Módulos de diferenciales

tomando en cuenta que hdx, dy, dti es un S-módulo.


n
Proposición 1.12. (Productos tensoriales) Si T = , donde las Si son
N
R Si
i=1
R-álgebras, entonces:
n n
ΩT /R ∼
L L
= (T ⊗Si ΩSi /R ) = ((⊗R,j6=i Sj ) ⊗R ΩSi /R )
i=1 i=1

por un isomorsmo α que satisface:

α : d(1 ⊗ 1 ⊗ ... ⊗ bi ⊗ ... ⊗ 1 ⊗ 1) 7→ (0, 0, ..., 1 ⊗ dbi , ..., 0, 0)

donde bi ∈ Si se encuentra en el i-ésimo lugar en cada expresión.


Demostracióxn: Para justicar la igualdad de la derecha, obsérvese que:
T ⊗Si ΩSi /R = (⊗R,j6=i Sj ) ⊗ Si ⊗Si ⊗ΩSi ,R = (⊗R,j6=i Sj ) ⊗R ΩSi /R

Para probar el isomorsmo, sea


Ω := ⊕i ((⊗j6=i Sj ) ⊗R ΩSi /R )

la suma directa, donde escribimimos ⊗ en lugar de ⊗R . Sean di : Si −→ ΩSi /R


la derivación natural en Si . Cualquier elemento c ∈ T puede ser escrito como
una suma nita de términos ⊗bi con bi ∈ Si y solamente un número nito de
bi son distintos de 1. Así sólo un número nito de morsmos

1 ⊗ di : T = (⊗j6=i Sj ) ⊗ Si −→ (⊗j6=i Sj ) ⊗R ΩSi /R

son distintos de cero en c P


por lo que se puede denir un homomorsmo
γ : T −→ Ω siendo la suma 1 ⊗ di . Dado que cada homomorsmo 1 ⊗ di es
i
una derivación, γ también lo es. Así existe un homomorsmo de T-módulos
α : ΩT /R −→ Ω que manda d(⊗i dbi ) a γ(⊗i bi ).

Notemos que para cada Si la composición del homomorsmo natural


Si −→ T con la derivación natural de T es una R-derivación Si −→ ΩT /R y
así induce un Si -homomorsmo ΩSi /R −→ ΩT /R que manda dbi a d(1 ⊗ bi ),
donde 1 es la identidad de (⊗j6=i Sj ). Esto lo extendemos a T-homomorsmos
βi : T ⊗R ΩSi /R −→ ΩT /R

12
Módulos de diferenciales

con
βi : 1 ⊗ di bi 7−→ d(1 ⊗ bi )
estos βi nos dan un homomorsmo Ω −→ ΩT /R que es el inverso de α.
Corolario 1.13. Si T := S[x1 , ..., xr ] es un anillo de polinomios sobre un
R-álgebra S entonces
ΩT /R ∼
= T ⊗S ΩS/R ⊕ [⊕i T dxi ].
Demostración: Sea T 0 = R[x1 , ..., xr ]. Escribiendo T como S ⊗R T 0 , pode-
mos aplicar la proposición anterior y obtenemos ΩT /R ∼ = T ⊗S ΩS/R ⊕ T ⊗T 0
ΩT 0 /R . Por la proposición 1.7, T ⊗T 0 ΩT 0 /R = T ⊗T 0 ⊕i T 0 dxi = ⊕i T dxi .
Proposición 1.14. Si A y B son R-álgebras y C = B ⊗R A, entonces:
a) ΩC/A ∼
= ΩB/R ⊗ A ∼
= ΩB/R ⊗B C.
b) Si S es un sistema multiplicativo en A, entonces Ω[A]S /R ∼
= [ΩA/R ]S .
Demostración:

a) Se mostrará primero que para cualesquiera R-álgebras A y B con ho-


momorsmos estructurales α y β respectivamente y con d la R-derivación
natural de B en ΩB/R y d0 la A-derivación natural de C en ΩC/A existe un
diagrama conmutativo:
d’
C=A R B Ω C/A
η
Id A d

A R Ω B/R
con η homomorsmo de C-módulos.

Primero notemos que A ⊗A B es una R-álgebra mediante el homomor-


smo inclusión A −→ A ⊗R B , donde para a ∈ A, i(a) = a ⊗ 1, ahora sea
IdA ⊗ d : A ⊗A B −→ A ⊗R ΩB/R tal que (IdA ⊗ d)(a ⊗ b) = a ⊗ d(b), notemos
que IdA ⊗ d es una A-derivación pues (IdA ⊗ d)(a ⊗ 1) = 0, asi que existe un
homomorsmo η : ΩC/A −→ A ⊗R ΩB/R tal que η(d0 (a ⊗ b)) = a ⊗ d(b).

Para construir la inversa de η considerar la siguiente composición:

13
Módulos de diferenciales

i α⊗1 d0
τ :B−
→ R ⊗R B −−−→ A ⊗A B −→ ΩC/A

notemos que τ (b) = d0 (1 ⊗ b), entonces τ es una R-derivación puesto que


d es una A-derivación y A es un R-álgebra, esto es
0

τ (b1 + b2 ) = d0 (1 ⊗ (b1 + b2 ))d0 (1 ⊗ b1 + 1 ⊗ b2 ) = d0 (1 ⊗ b1 ) + d0 (1 ⊗ b2 )

τ (b1 b2 ) = d0 (1 ⊗ b1 b2 ) = d0 ((1 ⊗ b1 )(1 ⊗ b2 )) =


(1 ⊗ b1 )d0 (1 ⊗ b2 ) + (1 ⊗ b2 )d0 (1 ⊗ b1 ) = b1 τ (b2 ) + b2 τ (b1 ).

Para toda r ∈ R

τ (r · 1) = τ (β(r)) = d0 (1 ⊗ β(r)) = d0 (1 ⊗ r · 1) = d0 (r · 1 ⊗ 1) = 0

por ser d0 una R-derivación.

Entonces por la propiedad universal de ΩB/R existe un homomorsmo de


B-módulos h : ΩB/R −→ ΩC/A tal que h(db) = d0 (1 ⊗ b), esto quiere decir que
el siguiente diagrama es conmutativo:
d
B Ω B/R
h
τ

Ω C/A

Notemos que A ⊗R ΩB/R es un (A ⊗R B)-módulo deniendo el producto


(a ⊗ b)(a0 ⊗ db0 ) = aa0 ⊗ bdb0 ∈ A ⊗R ΩB/R .

Ahora, por la propiedad universal del producto tensorial podemos cons-


truir un homomorsmo de B-módulos ϕ : A ⊗R ΩB/R −→ ΩC/A tal que
ϕ(a ⊗ d(b)) = a · h(d(b)).

Se vericará que η y ϕ son homomorsmos inversos:

η ◦ ϕ(a ⊗ db) = η(a · h(db)) = η[(a ⊗ 1)d0 (1 ⊗ b)] = (a ⊗ 1)η(d0 (1 ⊗ b)) =


(a ⊗ 1)(1 ⊗ db) = a ⊗ db.

ϕ ◦ η(d0 (a ⊗ b)) = ϕ(a ⊗ db) = a · h(db) = (a ⊗ 1)d0 (1 ⊗ b) + (1 × b)d0 (a ⊗ 1) =


(a ⊗ 1)d0 (1 ⊗ b) + 0 = d0 ((a ⊗ 1)(1 ⊗ b)) = d0 (a ⊗ b).

14
Módulos de diferenciales

Ahora se mostrará que ΩB/R ⊗ A ∼


= ΩB/R ⊗B C . Primero observe que
como ΩB/R es un B-módulo entonces ΩB/R ⊗B B ∼
= ΩB/R de esta manera
tenemos que:
ΩB/R ⊗B C = ΩB/R ⊗B (A ⊗R B) = ΩB/R ⊗B (B ⊗R A) =
(ΩB/R ⊗B B) ⊗R A ∼
= ΩB/R ⊗R A.

b) Tenemos lo siguiente:
ϕ ψ
R −−→ A −−→ [A]S ,

entonces por la proposición 1.8 existe la siguiente sucesión:

(1.2)
V U
ΩA/R ⊗A [A]S −−→ Ω[A]S /R −−→ Ω[A]S /A −→ 0.
Ahora tenemos que

[ΩA/R ]S ∼
= ΩA/R ⊗A [A]S (1.3)
(ver [4, pág 39]).

En consecuencia tenemos lo siguiente:

(1.4)
V
[ΩA/R ]S −−→ Ω[A]S /R .

A continuación sea D : [A]S → ΩA/R ⊗A [A]S un homomorsmo de


R−módulos tal que D( as ) := (sdA/R (a) − adA/R (s)) ⊗ s12 . Primero proba-
remos que D está bien denido.

Sean a1 a2
,
s1 s2
∈ [A]S tales que a1
s1
= a2
s2
, entonces existe u ∈ S tal que

u(a1 s2 − a2 s1 ) = 0 en A, (1.5)

por lo cual

(a1 s2 − a2 s1 ) ⊗ 1 = 0 en A ⊗ [A]S . (1.6)


Aplicando dA/R a la ecuación (1.5) tenemos:

15
Módulos de diferenciales

udA/R (a1 s2 − a2 s1 ) + (a1 s2 − a2 s1 )du = 0,

entonces si multiplicamos por u obtenemos


u2 dA/R (a1 s2 − a2 s1 ) + u(a1 s2 − a2 s1 )du = 0,

y por (1.5) podemos reescribir esta ecuación de la siguiente manera:


u2 dA/R (a1 s2 − a2 s1 ) = 0;

esto nos implica que

u2 dA/R (a1 s2 − a2 s1 ) ⊗ 1 = 0 en ΩA/R ⊗ [A]S

⇒ (a1 dA/R (s2 ) + s2 dA/R (a1 ) − a2 dA/R (s1 ) − s1 dA/R (a2 )) ⊗ 1 = 0.

Ahora por la ecuación (1.6) tenemos:


1
(s22 [s1 dA/R (a1 ) − a1 dA/R (s1 )] − s21 [s2 dA/R (a2 ) − a2 dA/R (s2 )]) ⊗ s1 s2
= 0,

Multiplicando 1
s1 s2
por la derecha
1
(s22 [s1 dA/R (a1 ) − a1 dA/R (s1 )] − s21 [s2 dA/R (a2 ) − a2 dA/R (s2 )]) ⊗ s21 s22
=0

1 1
⇒ (s1 dA/R (a1 ) − a1 dA/R (s1 )) ⊗ s21
− (s2 dA/R (a2 ) − a2 dA/R (s2 )) ⊗ s22
=0

⇒ D( as11 ) − D( as22 ) = 0,

Por lo tanto D( as11 ) = D( as22 ), con esto hemos probado que D está bien
denido. Ahora probaremos que D es una R-derivación.

Probaremos la aditividad para a1 a2


,
s1 s2
∈ [A]S :

D( as11 + a2
s2
) = D( a1 ss21+a
s2
2 s1
)

1
= (s1 s2 dA/R (a1 s2 + a2 s1 ) − (a1 s2 + a2 s1 )dA/R (s1 s2 )) ⊗ s21 s22

1
= (s1 s22 dA/R (a1 ) − a1 s22 dA/R (s1 ) + s21 s2 dA/R (a2 ) − a2 s21 dA/R (s2 )) ⊗ s21 s22

16
Módulos de diferenciales

= (s1 s22 dA/R (a1 ) − a1 s22 dA/R (s1 )) ⊗ s21s2 + (s21 s2 dA/R (a2 ) − a2 s21 dA/R (s2 )) ⊗ s21s2
1 2 1 2

1 1
= (s1 dA/R (a1 ) − a1 dA/R (s1 )) ⊗ s21
+ (s2 dA/R (a2 ) − a2 dA/R (s2 )) ⊗ s22

= D( as11 ) + D( as22 ).

A continuación probaremos la regla de Leibniz:

D( as11 · a2
s2
) = D( as11 as22 )

1
= (s1 s2 dA/R (a2 s2 ) − a2 s2 dA/R (s1 s2 )) ⊗ s21 s22

= (a2 s1 s2 dA/R (a1 ) − a1 a2 s2 dA/R (s1 ) + a1 s1 s2 dA/R (a2 ) − a1 a2 s1 dA/R (s2 )) ⊗ s21s2
1 2

= (a2 s1 s2 dA/R (a1 )−a1 a2 s2 dA/R (s1 ))⊗ s21s2 +(a1 s1 s2 dA/R (a2 )−a1 a2 s1 dA/R (s2 ))⊗ s21s2
1 2 1 2

a2 a1
= (s1 dA/R (a1 ) − a1 dA/R (s1 )) ⊗ s21 s2
+ (s2 dA/R (a2 ) − a2 dA/R (s2 )) ⊗ s1 s22

1 a2 1 a1
= (s1 dA/R (a1 ) − a1 dA/R (s1 ) ⊗ )
s21 s2
+ (s2 dA/R (a2 ) − a2 dA/R (s2 ) ⊗ )
s22 s1

= D( as11 ) · a2
s2
+ D( as22 ) · a1
s1

Ahora para r ∈ R

D( 1r ) = (1 · dA/R (r) − rdA/R (1)) ⊗ 1


12
= 0 ⊗ 1 = 0,

por lo tanto D es una R-derivación.

Entonces por la propiedad universal de Ω[A]s /R existe un homomorsmo


f : Ω[A]s /R → ΩA/R ⊗A [A]S de [A]S −módulos tal que el f ◦ d[A]S /R = D, esto
quiere decir que el siguiente diagrama conmuta:
d [A]s /R
[A]s Ω [A] s /R
f
D

Ω A/R A [A]s .

17
Módulos de diferenciales

Ahora si probamos que f ◦ V = IdΩA/R ⊗A [A]S y que V ◦ f = IdΩ[A]S /R


entonces tendríamos que

ΩA/R ⊗A [A]S ∼
= Ω[A]S /R .

Sea dA/R (a0i ) ⊗ ai


, entonces
P
si

a0
ai
d[A]S /R ( 1i ), por lo cual
P ai
V ( dA/R (a0i ) ⊗
P
si
) = si

ai a0
f (V ( dA/R (a0i ) ⊗ = f ( asii d[A]S /R ( 1i ))
P P
si
))
P ai a0 P ai ai
(dA/R (a0i ) ⊗ 1) = dA/R (a0i ) ⊗
P
= si
f (d[A]S /R ( 1i )) = si si
.

Para los generadores d[A]S /R ( as ) de Ω[A]S /R tenemos lo siguiente:

f (d[A]S /R ( as )) = D( as ) = (sdA/R (a) − adA/R (s)) ⊗ 1


s2
,

entonces

V (f (d[A]S /R ( as ))) = V (sdA/R (a) − adA/R (s) ⊗ 1


s2
)

= 1
s2
(sd[A]s /R (a) − ad[A]s /R (s)) = d[A]s /R ( as ).

= Ω[A]S /R , y por la ecuación (1.3)


Con esto concluimos que ΩA/R ⊗A [A]S ∼
nos implica que:

[ΩA/R ]S ∼
= Ω[A]S /R .

18
Capítulo 2

Formas Diferenciales Racionales

Denición 2.1. Sea V ⊆ Pnk una variedad quasi-proyectiva con campo de


funciones racionales k(V ), denimos el espacio de 1-formas diferenciales ra-
cionales de V sobre k como:
Ω(V ) := Ωk(V )/k
el módulo de formas diferenciales relativas de k(V ) sobre k .
Proposición 2.2. Sea V ⊆ Pnk una variedad quasi-proyectiva y p ∈ V . En-
tonces podemos identicar el espacio de 1-formas diferenciales racionales de
V sobre k con la localización del módulo de diferenciales ΩOV,p /k con respecto
al ideal cero (0) del anillo local OV,p de V en p, es decir:
Ω(V ) = [ΩOV,p /k ](0)
Demostración:

Sea p ∈ V , considérese un cubriente afín de V = ∪Vi , entonces p ∈ Vj


para algún j.

Ahora como podemos identicar OV,p con OVi ,p (ver [3, pág 78]) y se tiene
que OVi ,p = k[Vi ]Mp con Mp el ideal maximal de p en k[Vi ], entonces:

[OVi ,p ](0) = [k[Vi ]mp ](0) = k(Vi ) = k(V ),


por lo cual [OV,p ](0) = k(V ),por la proposición 1.14 esto implica que:

19
Formas Diferenciales Racionales

Ω(V ) = Ωk(V )/k = Ω[OV,p ](0) /k = [ΩOV,p /k ](0)

lo que se quería mostrar.

Denición 2.3. Se dice que F ∈ Ω(V ) es regular en p ∈ V si F ∈ ΩOV,p /k y


que F es una forma diferencial global en V si para todo p ∈ V , F es regular
en p.
Observación 2.4. Sea d : k(V ) −→ Ω(V ) la derivación natural, sabemos
que Ω(V ) = hdf | f ∈ k(V )i como k(V )-módulo, entonces F ∈ Ω(V ) es
regular en p ∈ V si y sólo si existen f1 , ..., fs , α1 , ..., αs en OV,p tales que:
s
P
F = αi dfi .
i=1

Denición 2.5. Sea H 0 (V, Ω(V )) := {F ∈ Ω(V ) | F es forma diferencial


global en V } denimos a H 0 (V, Ω(V )) como el espacio de 1-formas diferen-
ciales regulares de V .
Teorema 2.6. H 0 (V, Ω(V )) es un espacio vectorial sobre k de dim < ∞ si
V es proyectiva.

Denición 2.7. Denimos una curva elíptica como una curva cúbica en P2k
no singular.
Teorema 2.8. Si V es una curva elíptica, entonces V es proyectivamente
equivalente a la curva:

zy 2 − x3 + (1 + λ)x2 z − λxz 2 = 0 (λ 6= 0, 1) (ver[3, pg132]) (2.1)

Probaremos lo siguiente:
Teorema 2.9. Si V es una curva elíptica entonces dimH 0 (V, Ω(V )) = 1.
Para demostrar el teorema, primero se dará un ejemplo explícito de co-
mo hallar una forma diferencial gobal en H 0 (V, Ω(V )) siendo V una curva
elíptica.

20
Formas Diferenciales Racionales

Ejemplo 2.10. Sea V ⊆ P2k una curva elíptica con cubriente afín V =
V0 ∪ V1 ∪ V2 donde Vi = V ∩ {(x : y : z) | la i-ésima coordenada es distinta de
cero } (Por conveniencia usamos x, y, z pero x0 = x, x1 = y, x2 = z ). Por el
teorema 2.8 sabemos que cualquier curva elíptica es equivalente a la ecuación
2.1.
Primero consideraremos el caso donde λ = −1. Entonces tenemos la si-
guiente ecuación:

zy 2 − x3 + z 2 x = 0 (2.2)
Queremos encontrar F ∈ Ω(V ) tal que F ∈ ΩOV,p /k para toda p ∈ V.

Pero por otra parte se tiene que H 0 (V2 , Ω(V2 )) = ΩOV2 ,p /k . Así que
T
p∈V2
basta encontrar F ∈ H 0 (V2 , Ω(V2 )) tal que F ∈ ΩOV,q /k donde q = (0 : 1 :
0) ∈ V, ya que V = V2 ∪ {q}.

Para encontrar F usaremos que Ω(V ) ∼ = Ω(V2 ) y que Ω(V2 ) = [Ωk[V2 ]/k ](0) .
Ahora, V2 está dada por (en las coordenadas anes de V2 ⊆ A2k ):

y 2 − x3 + x = 0 (2.3)

entonces:

Ωk[V2 ]/k = Ω(k[x,y]/(y2 −x3 +x))/k

= hdx, dyi/d(y 2 − x3 + x) = hdx, dyi/(2ydy − 3x2 dx + dx)

= hdx, dyi/((1 − 3x2 )dx + 2ydy),

la segunda igualdad es por la proposición 1.10 y hdx,dyi es un k[V2 ]-módulo.

De esto se tiene que (1 − 3x2 )dx + 2ydy = 0 lo cual implica que:


dx dy
=− en Ωk(V2 )/k (2.4)
2y 1 − 3x2

21
Formas Diferenciales Racionales

dx
Consideraremos 2.4 como la F buscada, se vericará que es regular
2y
en todo V2 . Estamos asumiendo que V2 ⊆ A2k con V2 = Z(y 2 − x3 + x),
por otra parte tenemos que dx2y
es regular en Z(2y)c y en Z(1 − 3x2 )c con
Z(2y)c = (A2k \ Z(2y)) ∩ V2 y Z(1 − 3x2 )c = (A2k \ Z(1 − 3x2 )) ∩ V2 .
Ahora
(Z(2y)c ∪Z(1−3x2 )c ∪Z(y 2 −x3 +x)c )c = Z(2y)∩Z(1−3x2 )∩Z(y 2 −x3 +x).
(2.5)
Como
Z(2y) = {(x, y) ∈ V2 | y = 0},
Z(1 − 3x2 ) = {(x, y) ∈ V2 | x = √13 }, y
p
Z(y 2 − x3 + x) = {(x, y) ∈ V2 | y = −x(1 − x2 )}
entonces
Z(2y)c ∪ Z(1 − 3x2 )c ∪ Z(y 2 − x3 + x)c = A2k .
Por lo cual F es regular en V2 .

A continuación se verica que F ∈ ΩOV,q /k donde q = (0 : 1 : 0) ∈ V. Esto


es equivalente a probar que F ∈ ΩOV1 ,q /k donde q = (0, 0) ∈ V1 . Con respecto
a las coordenadas (x, z) de V1 ⊆ A2k tenemos
ΩOV1 ,q /k = Ω[k[V1 ]](x,z) /k = [Ωk[V1 ]/k ](x,z) = [Ω(k[x,z]/I(V1 ))/k ](x,z)
Esto por la proposición 1.14. Ahora por (2.1) la ecuación de la curva en
V1 ⊆ A2k está dada por
z − x3 + z 2 x = 0
la cual genera a I(V1 ). Por lo tanto:
ΩOV1 ,q /k = [Ω(k[x,z]/(z−x3 +z2 x))/k ](x,z) = [hdx, dzi/d(z − x3 + z 2 x)](x,z)

= [hdx, dzi/((z 2 − 3x2 )dx + (2zx + 1)dz)](x,z) (2.6)

las dos últimas igualdades son consecuencia de la proposición 1.10 y vemos


hdx, dzi como un k[V1 ]-módulo. De esta ecuación se observa que:

22
Formas Diferenciales Racionales

(z 2 − 3x2 )dx + (2zx + 1)dz = 0

Esto implica que:


dx dz
=− 2 en Ωk(V1 )/k (2.7)
2zx + 1 z − 3x2
Notemos que para V, V1 , V2 , tenemos coordenadas (x : y : z), (x, z), (x, y)
respectivamente. Bajo los siguientes isomorsmos naturales (ver [3, pág 75])

k(V2 ) ∼
= k(V ) ∼
= k(V1 )

Se tiene que:
x x
x 7−→ 7−→ ,
z z
y 1
y 7−→ 7−→ .
z z

Entonces se tienen isomorsmos inducidos

Ωk(V2 )/k ∼
= Ωk(V )/k ∼
= Ωk(V1 )/k

tales que
1 −xdz dx
dx ∈ Ωk(V2 )/k 7−→ d( xz ) = xd( z1 )+ dx = + ∈ Ωk(V1 )/k
z z2 z
y
−dz
d(y) ∈ Ωk(V2 )/k 7−→ d( z1 )= ∈ Ωk(V1 )/k .
z2
Por la ecuación (2.4)
−dz −dz
dy z 2 z2 dz
F =− 7−→ 2 = − 2 =− 2 ∈ Ωk(V1 )/k
1 − 3x2 x 2
z − 3x z 2 z − 3x2
1−3 2
z
por la ecuación (2.7) tenemos:
dz dx
= −
z 2 − 3x2 2zx + 1

23
Formas Diferenciales Racionales

y como q = (0, 0) ∈
/ Z(2zx + 1) esto implica que F es regular en q . Entonces
F ∈ H 0 (V, Ω(V )).

Ahora encontraremos f, g ∈ k[V2 ] tales que F = f dx+gdy . Por otra parte


como V es no singular se tiene que

Z(1 − 3x2 ) ∩ Z(2y) = ∅

por lo cual 1 ∈ I(1 − 3x2 , 2y), esto implica que

1 = P (1 − 3x2 ) + Q(2y) mod I

Entonces encontraremos P y Q de la siguiente manera donde Fx = 1−3x2


y Fy = 2y :

xFx = x − 3x3 =⇒ xFx + 2x = x − 3x3 + 2x y por la ecuación (2.3) se tiene:


3
xFx + 2x = −3y 2 =⇒ xFx + 2x = − Fy2
4
3
=⇒ xFx + Fy2 = −2x
4
3
=⇒ (xFx + Fy2 )2 = (−2x)2
4
3 9
=⇒ x2 Fx2 + xFx Fy2 + Fy4 = 4x2
2 16
3 9 −Fx + 1
=⇒ x2 Fx2 + xFx Fy2 + Fy4 = 4( )
2 16 3
3 3 9
=⇒ [(x2 Fx + xFy2 )Fx + Fy4 ] + Fx = 1
4 2 16
3 3 4 27
=⇒ (x2 Fx + xFy2 + )Fx + ( Fy3 )Fy = 1
4 2 3 64
3 3 4 27 3
Ahora sean P = (x2 Fx + xFy2 + ) y Q = F . Entonces
4 2 3 64 y

24
Formas Diferenciales Racionales

1 = P (1 − 3x2 ) + Q(2y) =⇒ dx = P (1 − 3x2 )dx + Q(2y)dx


2
=⇒ dx
2y
= P (1−3x
2y
)
dx + Qdx

=⇒ F = Qdx − P dy esto por 2.4.

Ejemplo 2.11. Ahora se considerará el caso general en que λ 6= 0, 1 es


arbitrario. Por la ecuación (2.1) se tiene que V2 ⊆ A2k está dada por:

y 2 − x3 + (1 + λ)x2 − λx = 0 (2.8)
Una vez más por la proposición 1.10

Ωk[V2 ]/(y2 −x3 +(1+λ)x2 −λx)/k = hdx, dyi/((2(1 + λ)x − 3x2 − λ)dx + 2ydy)

donde hdx, dyi es un k[V2 ]-módulo libre con base libre {dx, dy}. De esto se
tiene que:

(2(1 + λ)x − 3x2 − λ)dx + 2ydy = 0

lo cual implica

dx dy
=− en Ωk(V2 )/k (2.9)
2y 2(1 + λ)x − 3x2 − λ
Consideraremos (2.9) como la F buscada, se vericará que F es regular en
todo V2 y en q = (0 : 1 : 0). En este caso A2k ⊇ V2 = Z(y 2 −x3 +(1+λ)x2 −λx)
y se tiene que F es regular en Z(2y)c y en Z(2(1 + λ)x − 3x2 − λ)c . Ahora
como:

Z(2y)c ∪ Z(2(1 + λ)x − 3x2 − λ)c ∪ Z(y 2 − x3 + (1 + λ)x2 − λx)c


= Z(2y) ∩ Z(2(1 + λ)x − 3x2 − λ) ∩ Z(y 2 − x3 + (1 + λ)x2 − λx).

pero

Z(2y) = {(x, y) ∈ V2 | y = 0}, √


(1+λ)± 1+λ(λ−1)
2
Z(2(1 + λ)x − 3x − λ) = {(x, y) ∈ V2 | x = 3
}, y
Z(y − x + (1 + λ)x − λx) = {(x, y) ∈ V2 | y = x − (1 + λ)x2 + λx}.
2 3 2
p
3

25
Formas Diferenciales Racionales

Por lo tanto
Z(2y)c ∪ Z(2(1 + λ)x − 3x2 − λ)c ∪ Z(y 2 − x3 + (1 + λ)x2 − λx)c = A2k .

Por lo cual F es regular en V2 .


A continuación se verica que F ∈ ΩOV,q /k donde q = (0 : 1 : 0) ∈ V.
Esto es equivalente a probar que F ∈ ΩOV1 ,q /k donde q = (0, 0) ∈ V1 . En las
coordenadas (x, z) de V1 ⊆ A2k tenemos
ΩOV1 ,q /k = Ω[k[V1 ]](x,z) /k = [Ωk[V1 ]/k ](x,z) = [Ω(k[x,z]/I(V1 ))/k ](x,z)

Esto por la proposición 1.14. Por (2.1) sabemos que V1 está dado por:
z − x3 + (1 + λ)x2 z − λz 2 x = 0

la cual genera a I(V1 ). Por lo tanto:


ΩOV1 ,q /k = [Ω(k[x,z]/(z−x3 +(1+λ)x2 z−λz2 x)/k ](x,z)
=[hdx, dzi/d(z − x3 + (1 + λ)x2 z − λz 2 x](x,z)
= [hdx, dzi/((−3x2 + 2(1 + λ)zx − λz 2 )dx + (1 + (1 + λ)x2 − 2λxz)dz)](x,z) (2.10)

las dos últimas igualdades son consecuencia de la proposición 1.10 y vemos


hdx, dzi como un k[V1 ]-módulo libre con base libre {dx, dz}. De esta ecuación
se observa que:
(−3x2 + 2(1 + λ)zx − λz 2 )dx + (1 + (1 + λ)x2 − 2λxz)dz = 0
dx dz
=⇒ 2
=− en Ωk(V1 )/k
1 + (1 + λ)x − 2λxz −3x + 2(1 + λ)zx − λz 2
2

(2.11)
Por los isomorsmos mencionados en el ejemplo anterior (Ωk(V2 )/k ∼
=
Ωk(V )/k ∼ Ω
= k(V1 )/k ) y por la ecuación (2.9) se tiene:
−dz
dy z2 dz
F =− ∈ Ωk(V )/k 7−→ − 2
= ∈ Ωk(V )/k (2.12)
−3x2 + 2(1 + λ)x − λ 2 −3x2 + 2(1 + λ)xz − λz 2 1
2(1 + λ) x
z
− 3 x2 − λ
z

por la ecuación (2.11) tenemos:

26
Formas Diferenciales Racionales

dz dx
−3x2 +2(1+λ)xz−λz 2
=−
1 + (1 + λ)x2 − 2λxz

y como q = (0, 0) ∈
/ Z(1+(1+λ)x2 −2λxz) esto implica que F es regular en q .

Encontraremos f, g ∈ k[V2 ] tales que F = f dx + gdy . Por otra parte como


V es no singular se tiene que

Z(2(1 + λ)x − 3x2 − λ) ∩ Z(2y) = ∅,

por lo cual 1 ∈ I(2(1 + λ)x − 3x2 − λ, 2y), esto implica que

1 = (2(1 + λ)x − 3x2 − λ)P + (2y)Q.



Para λ = 1± −3
2
, haciendo Fx = 2(1 + λ)x − 3x2 y Fy = 2y , se tiene

P = − 3x+λ+1
(1+λ)λ

y
9
Q = − 4λ(1+λ) Fy .

Para λ 6= 1± −3
2

3 1+λ 2 2(2λ3 −3λ2 −3λ+2) 2(4λ4 −5λ3 −5λ+4)


P = λ2 (λ−1)2
(x + 3
) Fx − 3λ2 (λ−1)2
x − 92 (λ−1)2

y
27Fy3 1+λ 2λ3 +3λ2 +3λ−2
Q= 16λ2 (λ−1)2
+ (x + 3
)Fx Fy − 2λ2 (λ−1)2
Fy

Ahora

1 = P (2(1 + λ)x − 3x2 ) + Q(2y) =⇒ dx = P (2(1 + λ)x − 3x2 )dx + Q(2y)dx

27
Formas Diferenciales Racionales

2
=⇒ dx
2y
= P (1−3x
2y
)
dx + Qdx

=⇒ F = Qdx − P dy esto por 2.9.

A continuación se verica que F genera al espacio H 0 (V, Ω(V )). Sea F2 ∈


H 0 (V, Ω(V )), por ser una 1-forma diferencial global de V, F2 en particular
es regular en V2 . Por lo cual existen h1 , h2 ∈ H 0 (V2 , Ω(V2 )) tales que:

F2 = h1 dx + h2 dy

esto implica que

F2 = h1 dx − h2 Fdyy = (h1 Fy − h2 Fx ) Fdxy = (h1 Fy − h2 Fx )F por 2.9.

Basta vericar que (h1 Fy − h2 Fx ) ∈ ΩOV,q /k donde q = (0 : 1 : 0) ∈ V , pe-


ro es equivalente a probar que (h1 Fy −h2 Fx ) ∈ ΩOV1 ,q /k donde q = (0, 0) ∈ V1 .

Como F2 es regular en V1 existen g1 , g2 ∈ H 0 (V1 , Ω(V1 )) tales que

F2 = (g1 Fz − g2 Fx )F con Fz = 1 + (1 + λ)x2 − 2λxz y


(g1 Fz − g2 Fx ) inΩOV1 ,q /k .

Por 2.10 y 2.11 se tiene que ΩOV1 ,q /k es un k[V1 ]-módulo libre de rango 1
generado por dx.

Por lo cual
h1 Fy − h2 Fx = g1 Fz − g2 Fx ,

esto implica que (h1 Fy − h2 Fx ) es regular en (0 : 1 : 0) ∈ V . Por lo tanto


F genera a H 0 (V, Ω(V )).

Con este resultado queda demostrado el teorema 2.9.

28
Capítulo 3

r-Formas Diferenciales

Denición 3.1. Sea V ⊆ Pnk una variedad quasi-proyectiva, denimos el


espacio de r-formas diferenciales racionales en V como:
Vr
Ωr (V ) := Ω(V )
el r-ésimo producto exterior del espacio de 1-formas diferenciales racionales
de V sobre k .
Denición 3.2. Denimos el espacio de r-formas diferenciales regulares en
V como:
ΩOV,p /k .
Vr
H 0 (V, Ωr (V )) :=
T
p∈V

Teorema 3.3. Sea V ⊆ Pn+1


k una variedad irreducible no singular denida
por la ecuación F (x0 : ... : xn+1 ) = 0, con deg F = m; entonces:
− 1.
dim H 0 (V, Ωn (V )) = mn+1
Antes de probar el teorema, daremos otro ejemplo explícito de como hallar
1-formas diferenciales regulares para una hipersupercie de grado 4.
Ejemplo 3.4. Sea V ⊆ P2k la hipersupercie denida por la ecuación:
x0 x31 + x1 x32 + x2 x30 = 0

con (x0 : x1 : x2 ) la coordenadas en P2k . Entonces:

dy1 −y1 dy1 −y2 dy1 xi


H 0 (V, Ω(V )) = h 2
, 2
, 2
i donde yi = . (3.1)
3y1 y2 + 1 3y1 y2 + 1 3y1 y2 + 1 x0

29
r-Formas Diferenciales

Encontraremos estas 1-formas diferenciales regulares de V de la siguiente


manera.

Como P2k = U0 ∪ U1 ∪ U2 siendo Ui = {(x0 : x1 : x2 ) ∈ P2k | xi 6= 0},


entonces V = V0 ∪ V1 ∪ V2 donde Vi = V ∩ Ui .

Consideremos el abierto afín V0 , el cual está denido por la siguiente


ecuación:

y13 + y1 y23 + y2 = 0 donde yi = xi


x0
.

Ahora como:

Ω(V0 ) = [Ωk[V0 ] /k](0) (3.2)

Ωk[V0 ]/k = hdy1 , dy2 i/d(y13 + y1 y23 + y2 )

= hdy1 , dy2 i/((3y12 + y23 )dy1 + (3y1 y22 + 1)dy2 ) (3.3)

se tiene que
dy1 dy2
2
=− 2 en Ω(V0 ), (3.4)
3y1 y2 + 1 3y1 + y23

llamémosle t0 a la forma en (3.4) . Por otra parte tenemos


9y12 y2 6y1 y22
1=( 7
)(3y12 + y23 ) + ( 7
+ 1)(3y1 y22 + 1) − ( 27y71 y2 )(y13 + y1 y23 + y2 ),

esto nos implica que

Z(3y12 + y23 ) ∩ Z(3y1 y22 + 1) ∩ Z(y13 + y1 y23 + y2 ) = ∅, (3.5)

30
r-Formas Diferenciales

por lo cual t0 es regular en V0 .

Consideraremos el abierto afín V1 . Este espacio tiene coordenadas z1 , z2


donde
x0 x2
z1 = x1
y z2 = x1
.

En términos de las coordenadas de V0


1 y2
z1 = y z2 = . (3.6)
y1 y1
Así:

dy1 = −dz1
z12
y dy2 = z1 dz2 −z2 dz1
z12
.

Sustituyendo estas expresiones en el miembro izquierdo de (3.4), obtene-


mos:
−z1 dz1
t0 = . (3.7)
3z22 + z13
La ecuación de V1 es:

z1 + z23 + z2 z13 = 0. (3.8)


Análogamente al caso V0 , como

Ω(V1 ) = [Ωk[V1 ] /k](0) (3.9)

Ωk[V1 ]/k = hdz1 , dz2 i/d(z1 + z23 + z2 z13 )

= hdz1 , dz2 i/((1 + 3z12 z2 )dz1 + (3z22 + z13 )dz2 ) (3.10)

31
r-Formas Diferenciales

se tiene lo siguiente:
dz1 dz2
=− en Ω(V1 ), (3.11)
3z22 3
+ z1 1 + 3z12 z2

llamaremos t1 a la forma en (3.11), y como


6z2 z12 9z22 z1
1=( 7
+ 1)(1 + 3z2 z12 ) + ( 7
)(3z22 + z13 ) − ( 27z72 z1 )(z1 + z23 + z2 z13 ),

esto nos implica que

Z(1 + 3z2 z12 ) ∩ Z(3z22 + z13 ) ∩ Z(z1 + z23 + z2 z13 ) = ∅, (3.12)

por lo cual t1 es regular en V1 .

Ahora
dz1
H 0 (V1 , Ω(V1 )) = k(V1 ) = k(V1 )t1 (3.13)
3z22 + z13

de (3.7) se tiene que

t0 = −z1 t1 , (3.14)

por lo tanto t0 ∈ H 0 (V1 , Ω(V1 )).

Ahora consideremos el abierto afín V2 , el cual tiene coordenadas w1 , w2 ,


donde:
x0 x1
w1 = x2
y w2 = x2
.

32
r-Formas Diferenciales

En términos de las coordenadas de V1


z1 1
w1 = y w2 = . (3.15)
z2 z2
Así:

dz1 = w2 dw1 −w1 dw2


w22
y dz2 = −dw2
w22
.

Sustituyendo estas expresiones en el miembro derecho de (3.11), tenemos:


dw2
t1 = −w2 (− ). (3.16)
w23 + 3w12
La ecuación de V2 es:

w1 w23 + w2 + w13 = 0. (3.17)


Nuevamente como

Ωk[V2 ]/k = hdw1 , dw2 i/d(w1 w23 + w2 + w13 )

= hdw1 , dw2 i/((w23 + 3w12 )dw1 + (3w1 w22 + 1)dw2 ), (3.18)

se tiene que
dw1 −dw2
2
= 3 en Ω(V2 ). (3.19)
3w1 w2 + 1 w2 + 3w12
Llamaremos t2 a la forma en (3.19). Se tiene
9w12 w2 6w1 w22
1=( 7
)(w23 + 3w12 ) + ( 7
+ 1)(3w1 w22 + 1) − ( 27w71 w2 )(w1 w23 + w2 + w13 ),

esto implica lo siguiente

Z(w23 + 3w12 ) ∩ Z(3w1 w22 + 1) ∩ Z(w1 w23 + w2 + w13 ) = ∅, (3.20)

33
r-Formas Diferenciales

por lo cual t2 es regular en V2 .

Como
−dw2
H 0 (V2 , Ω(V2 )) = k(V2 ) = k(V2 )t2 (3.21)
w23+ 3w12

y de (3.16) se tiene que

t1 = −w2 t2 (3.22)

esto implica que t1 ∈ H 0 (V2 , Ω(V2 )).

Ahora (3.14) y (3.22) implican que:

t0 = −z1 t1 = z1 w2 t2 = w1 t2 (3.23)

por lo tanto t0 ∈H0 (V2 , Ω(V2 )).

Hasta ahora se tiene que t0 ∈ H 0 (V, Ω(V )) por (3.5),(3.14) y (3.23),


t1 ∈ H 0 (V1 , Ω(V1 )) ∪ H 0 (V2 , Ω(V2 )) por (3.12) y (3.22); y t2 ∈ H 0 (V2 , Ω(V2 ))
por (3.20).

Falta probar que t1 ∈ H 0 (V0 , Ω(V0 )) y que t2 ∈ H 0 (V0 , Ω(V0 ))∪H 0 (V1 , Ω(V1 ))
para que t0 , t1 , t2 ∈ H 0 (V, Ω(V )).

De la ecuación (3.6) se tiene lo siguiente:


1 z2
y1 = y y2 = (3.24)
z1 z1

esto implica que

34
r-Formas Diferenciales

−y1 dy1
t1 = = −y1 t0 (3.25)
3y22 y1 + 1

y como
dy1
H 0 (V0 , Ω(V0 )) = k(V0 ) = k(V0 )t0 (3.26)
3y22 y1+1

entonces t1 ∈ H 0 (V0 , Ω(V0 )).

Ahora por (3.15) se tiene


w1 1
z1 = y z2 = (3.27)
w2 w2

por lo cual
−dz2
t2 = z2 ( ) = z2 t1 . (3.28)
1 + 3z12 z2
La ecuación (3.13) implica que t2 ∈ H 0 (V1 , Ω(V1 )).

Además

t2 = z2 t1 = z2 (−y1 t0 ) = −y2 t0 , (3.29)

entonces (3.26) implica que t2 ∈ H 0 (V0 , Ω(V0 )). Con esto se concluye que
t0 , t1 , t2 ∈ H 0 (V, Ω(V )).

Lema 3.5. Sea V ⊆ Am


k una variedad algebraica n-dimensional y p ∈ V un
punto no singular, entonces ΩOV,p /k es un OV,p -módulo libre de rango n.
Demostración: Sea p = (a1 , ..., am ) y mp el ideal maximal de OV,p . Como
IV (p) ⊆ k[V ] y mp = IV (p)IV (p) entonces mp ⊆ k[V ]IV (p) . Por otra parte

35
r-Formas Diferenciales

IV (p) = IAm
k
(p)/I(V ) = (x1 − a1 , ..., xm − am )/I(V ) = (t1 , ..., tm )/I(V ) (3.30)

donde los xi son las coordenadas de Am k y haciendo un cambio de coor-


denadas donde p es el origen se tiene que ti = xi − ai .

Supóngase que I(V ) = hf1 , ..., fr i con fi ∈ k[t1 , ...tm ]. Sea


∂f1 ∂f1
 
∂t1
... ∂tm
J =  ... ..
.
.. 
.

∂fr ∂fr
∂t1
... ∂tm

como p es no singular entonces J(p) tiene rango m − n.

Ahora como OV,p = k[V ]IV (p) entonces

ΩOV,p /k = Ωk[V ]IV (p) /k = Ωk[V ]/k ⊗ k[V ]IV (p) (3.31)
pero como k[V ] = k[t1 , ..., tm ]/I(V ) y por la proposición 1.10 entonces
(3.31) queda de la siguiente forma
m
(3.32)
M
ΩOV,p /k = ( k[V ]dti /d(I(V ))) ⊗ k[V ]IV (p) .
1

En J reordenamos las columnas de modo que las últimas m − n columnas


de J(p) son linealmente independientes y reenumeramos los ti de modo que
   
dt1 df1
J ·  ... =
..
.
   

dtm dfr
A continuación sea M la submatriz de J que tiene por entradas los coe-
cientes de m − n columnas y de m − n renglones linealmente independientes
de J(p) tal que det M 6= 0. Sea N la submatriz de J que tiene por entradas los

36
r-Formas Diferenciales

m − n renglones linealmente independientes de M(p). Como det M 6= 0, esto


implica que M es invertible en una vecindad W de p y M −1 tiene entradas
funciones regulares en W. Entonces las entradas de M −1 son de la forma aij
donde i, j = 1, ..., m − 1 y los aij = srijij con rij , sij ∈ k[V ] y sij (q) 6= 0 para
todo q ∈ W. Entonces la submatriz de M −1 N de tamaño m − n × m − n
donde las columnas son las m − n últimas columnas de la matriz M −1 N es
la matriz identidad. Por lo tanto
 
dt1
M −1 N ·  ..  = Pn j

(3.33)
.  dtj + i=1 αi dti

j=n+1,...,m
dtm

donde αij ∈ k[W ] para j = n + 1, ..., m, i = 1, ..., n. Esto nos implica que en
L m
1 k[V ]dti /d(I(V ))

n
(3.34)
X
dtj = αj dti para j = n + 1, ..., m.
1

Por lo tanto dt1 , ..., dtn generan a ΩOV,p /k .

Consideremos gi dti ∈ ΩOV,p /k tal que gi dti = 0, esto implica que


Pn Pn
1 1

n
(3.35)
X
gi dti ∈ d(I(V ))
1

y por la ecuación (3.33) se tiene que


n
(3.36)
X
d(I(V )) = hdtj + αij dti ij=n+1,...,m ,
i=1

newline por lo tanto


n m n
(3.37)
X X X
gi dti = βj (dtj + αij dti )
1 j=n+1 i=1

37
r-Formas Diferenciales

donde βn+1 , .., βm ∈ OV,p . Esto implica que


n m m
(3.38)
X X j
X
(gi − βj αi )dti − βj dtj = 0,
i=1 j=n+1 j=n+1

pero dt1 , ..., dtm son base libre de m1 k[V ]IV (p) dti , por lo cual (gi −
m j
L P
j=n+1 βj αi )
y βj son ceros, de esto se deduce que los gi = 0 para todo i = 1, ..., n. Esto
implica que dt1 , ..., dtn son base libre de ΩOV,p /k .

Con esto queda demostrado el lema.


Lema 3.6. Cualquier punto no singular de una variedad algebraica irredu-
cible V n-dimensional tiene una vecindad afín U tal que H 0 (U, Ω(U )) es un
k[U]-módulo libre de rango n.
Demostración: Sean y0 ∈ V un punto no singular y u1 , ..., un ∈ my0 tales
que du1 , ..., dun forman una base de ΩOV,y0 /k , donde my0 es el ideal maximal
del anillo local de y0 . Sea U una vecindad afín de de y0 tal que u1 , ..., un
son regulares en U, es decir, ui = whii con wi , hi ∈ k[V ] y hi (y) 6= 0 para todo
y ∈ U e i = 1, ..., n. Primero probaremos que

H 0 (U, Ω(U )) = hdu1 , ..., dun ik[U ] . (3.39)


Como hdu1 , ..., dun ik[U ] ⊆ ΩOU,y /k , para todo y ∈ U , entonces hdu1 , ..., dun ik[U ] ⊆
0
H (U, Ω(U )).

Ahora consideremos G ∈ H 0 (U, Ω(U )), como

my = hu1 − u1 (y), ..., un − un (y)i para todo y ∈ U, (3.40)

esto nos implica que ΩOU,y /k = hdu1 , ..., dun i. Entonces para toda y ∈ U
podemos escribir
n
(3.41)
X
G= giy dui
i=1

38
r-Formas Diferenciales

fiy
donde giy ∈ OU,y y giy = hyi
con fiy , hyi ∈ k[U ] y hyi (y) 6= 0.
Ahora como n
(3.42)
\
y ∈ Vy := D(hyi )
i=1

donde D(hyi ) = {q ∈ U | hyi (q) 6= 0} entonces U = Vyj .


S Sm
y∈U Vy = j=1

En Vyj ∩ Vyk tenemos:


n y n
f j f yk
(3.43)
X X
i i
yj dui = dui ,
h
i=1 i i=1
hyi k
Como n n
y y
(3.44)
\ Y
Vyj = D(hi j ) = D( hi j )
i=1 i=1

se tiene que
n
y
(3.45)
X Y
1= αj hi j con αj ∈ k[U ]
j i=1

esto implica que


n y n n y
f j f j
y
(3.46)
X X Y X
i i
yj dui = αj hi j ( y dui )
h
i=1 i j i=1 i=1
hi j

en donde se puede observar que todos los coecientes de du1 , ..., dun del
miembro de la derecha de la igualdad están en k[U ]. Por lo tanto G ∈
hdu1 , ..., dun ik[U ] , es decir, H 0 (U, Ω(U )) ⊆ hdu1 , ..., dun ik[U ] , con lo cual queda
demostrada la ecuación (3.39). El lema 3.5 implica que du1 , ..., dun forman
una base libre de ΩOU,y0 /k , esto implica que H 0 (U, Ω(U )) es un k[U]-módulo
libre.

39
r-Formas Diferenciales

Lema 3.7. Cualquier punto no singular x ∈ V de una variedad irreducible


n-dimensional tiene una vecindad afín U tal que H 0 (U, Ωr (U )) es un k[U]-
módulo libre de rango nr .
Demostración: Por el lema anterior si demostramos lo siguiente
r
(3.47)
^
H 0 (U, Ωr (U )) = (H 0 (U, Ω(U )))

entonces H 0 (U, Ωr (U )) = r ( ni=1 k[U ]dui ) con lo cual se tendría que H 0 (U, Ωr (U ))
V L
es un k[U ]-módulo libre de rango nr .


Para demostrar 3.47, como H 0 (U, Ω(U )) ⊆ ΩOU,p /k para todo p ∈ U


entonces
r
(3.48)
^
(H 0 (U, Ω(U ))) ⊆ H 0 (U, Ωr (U )).
Por la prueba del lema 3.6 existen funciones regulares u1 , ..., un tales que
du1 , ..., dun forman una base para ΩOU,y /k para todo yV∈ U. Por otra parte
ΩOU,y /k es un OU,y -módulo libre y esto implica que r ΩOU,y /k = hdui1 ∧
... ∧ duir i. Ahora, sea F ∈ H 0 (U, Ωr (U )) esto implica que para todo p ∈ U
podemos escribir

(3.49)
X
F = fip1 ,...,ir dui1 ∧ ... ∧ duir
1≤i1 <...<ir ≤n

hpi
con fip1 ,...,ir ∈ OU,p , nótese que fip1 ,...,ir = 1 ,...,ir
kip
con hpi1 ,...,ir , kip1 ,...,ir ∈ k[U ]
1 ,...,ir
y kip1 ,...,ir (p) 6= 0.

Análogamente a la prueba del lema anterior


(3.50)
\
p ∈ Vp := D(kip1 ,...,ir )
1≤i1 <...<ir ≤n

entonces U = Vpj .
S Sm
p∈U Vp = j=1

40
r-Formas Diferenciales

En Vpj ∩ Vpk tenemos:

p
hi1j,...,ir hpi1k,...,ir
dui1 ∧...∧duir , (3.51)
X X
pj dui1 ∧...∧duir =
1≤i1 <...<ir
k
≤n i1 ,...,ir 1≤i <...<i
k pk
≤n i1 ,...,ir
1 r

Como
p p
(3.52)
\ Y
Vpj = D(ki1j,...,ir ) = D( ki1j,...,ir )
1≤i1 <...<ir ≤n 1≤i1 <...<ir ≤n

se tiene que
p
(3.53)
X Y
1= αj ki1j,...,ir con αj ∈ k[U ]
j 1≤i1 <...<ir ≤n

esto implica que


p p
X hi1j,...,ir X Y p
X hi1j,...,ir
p dui1 ∧...∧duir = αj ki1j,...,ir ( p dui1 ∧...∧duir )
1≤i1 <...<ir
ki1j,...,ir j 1≤i1 <...<ir 1≤i1 <...<ir
ki1j,...,ir
(3.54)

en donde se puede observar que todos los coecientes del miebro de la de-
Vr 0de la igualda de dui1 ∧0 ... ∧r duir están
recha V en k[U ]. Por lo tanto F ∈
(H (U, Ω(U ))), es decir, H (U, Ω (U )) ⊆ r (H 0 (U, Ω(U ))).

Con esto queda demostrado el lema 3.7. Las funciones regulares ui ∈ my


utilizadas en los lemas 3.6 y 3.7 son llamadas parámetros locales en y.

A continuación se demostrará el teorema 3.3.

Consideremos el abierto afín V0 de V donde x0 6= 0. La hipersupercie


V es denida en V0 por G(y1 , ..., yn+1 ) = F (1, y1 , ..., yn+1 ) donde yi = xx0i .
Tomemos las formas
(−1)i ˆ i ∧ ... ∧ dyn+1 ∈ ∧n Ω(V0 ) para i = 1, ..., n + 1.
wi = ∂G/∂yi
dy1 ∧ ... ∧ dy

41
r-Formas Diferenciales

Las formas w1 , ..., wn+1 son iguales, ya que si hacemos producto exterior
de la relación
Pn+1 ∂G
i=1 ∂yi dyi =0

(la cual es válida en Ω(V0 )) con el producto dy1 ∧ ... ∧ dy


ˆ i ∧ ... ∧ dy
ˆ j ∧ ... ∧ dyn+1
y usamos el hecho que dyi ∧ dyi = 0, vemos que wi = wj .

Ahora consideremos el cubriente afín V1 en donde x1 6= 0. Este espacio


tiene coordenadas z1 , ..., zn+1 con

z1 = x0
x1
y zi = xi
x1
para i = 2, ..., n + 1.

En términos de las coordenadas de V0 se tiene

z1 = 1
y1
y zi = yi
y1
para i = 2, ..., n + 1.

Así

dy1 = − dz
z2
1
y dyi = z1 dzi −zi dz1
z12
para i = 2, ..., n + 1.
1

Si sustituimos estas expresiones en wn+1 , y usando el hecho de que dz1 ∧


dz1 = 0, obtenemos
n+1
wn+1 = − zn+1(−1)
(∂G/∂y
dz1 ∧ ... ∧ dzn .
1 n+1 )

La ecuación de V1 es

H(z1 , ..., zn+1 ) = 0 donde H = z1m G( z11 , zz21 , ..., zn+1


z1
).

De la siguiente relación
∂H
∂zn+1
= z1m−1 ∂y∂G ( 1 , z2 , ..., zn+1
n+1 z1 z1 z1
) = z1m−1 ∂y∂G
n+1
(y1 , ..., yn+1 )

se sigue que
(−1)n+1
wn+1 = − dz1 ∧ ... ∧ dzn . (3.55)
z1n−m+2 (∂H/∂zn+1 )
Ahora como

42
r-Formas Diferenciales

1
H 0 (V1 , Ωn (V1 )) = k[V1 ] ∂H/∂z n+1
dz1 ∧, ..., ∧dzn

y de la ecuación anterior se tiene que

wn+1 ∈ H 0 (V1 , Ωn (V1 )).

Así en V1 tenemos que div wn+1 = −(n − m + 2)div(z1 ), por otra parte
div(z1 ) en V1 es el divisor de la forma x0 en V . En consecuencia tenemos la
siguiente relación

div wn+1 = (m − n − 2)div(x0 ).

Ahora determinaremos H 0 (V, Ωn (V )). Escribiendo cualquier forma η =


ϕwn+1 , vemos que η ∈ H 0 (V, Ωn (V )) si y sólo si ϕ ∈ L((m − n − 2)div(x0 )).
Esto es equivalente a ϕ = P (z1 , ..., zn ), donde P es un polinomio y

degP ≤ m − n − 2. (3.56)
De esto es fácil calcular la dimensión de H 0 (V, Ωn (V )). Sean P, Q ∈
k[y1 , ..., yn+1 ] satisfaciendo (3.56), entonces denen diferentes elementos de
k[V ]. Así la dimensión de H 0 (V, Ωn (V )) es igual a la dimensión del espacio
de polinomios P satisfaciendo (3.56). Esta dimensión es igual al coeciente
binomial mn+1 − 1.
Así
− 1.
dimH 0 (V, Ωn (V )) = mn+1

43
Apéndice A

Divisores

Denición A.1. Sea K un campo. Una valoración discreta en K es un


morsmo de grupos suprayectivo v de K ∗ en Z tal que:

1) v(xy) = v(x) + v(y)


2) v(x + y) ≥ min(v(x), v(y)).

El conjunto formado por el 0 y todos los x ∈ K ∗ tales que v(x) ≥ 0 es


un anillo, llamado el anillo de valoración de v . Un dominio entero A es un
anillo de valoración discreta si existe una valoración discreta v de su campo
de fracciones K tal que A es el anillo de valoración de v . A es un anillo local,
y su ideal maximal m es el conjunto de todas las x ∈ K tales que v(x) > 0.

Si a 6= 0 es un ideal en A, existe por lo menos un entero k tal que


v(x) = k para algún x ∈ a. Se deduce que A contiene cada y ∈ A con
v(y) ≥ k , y por tanto los únicos ideales distintos de 0 en A son los ideales
mk = {y ∈ A | v(y) ≥ k}. Éstos forman una cadena única m ⊃ m2 ⊃ m3 ⊃ ...
y por tanto A es Noetheriano.

Además, puesto que v : K ∗ → Z es suprayectiva, entonces existe x ∈ m


tal que v(x) = 1, y entonces m(x), y mx = (xk )(k ≥ 1). Por lo tanto m
es el único ideal primo distinto de cero de A, y A es así un dominio local
Noetheriano de dimensión uno en que cada ideal distinto de cero es una
potencia del ideal maximal.
Lema A.2. Si A es un anillo local regular, entonces Ap es regular para
cualquier ideal primo p de A.

44
APÉNDICE A. DIVISORES

Demostración: (ver [2, pág 139]).


Lema A.3. Si S y T son dos subconjuntos multiplicativos de A con S ⊂ T ,
entonces escribimos T 0 para la imagen de T en AS , así tenemos (AS )T 0 = AT
Demostración: (ver [5, pág 24]).
Denición A.4. Sea A un anillo local Noetheriano con ideal maximal m y
campo de residuos k = A/m. A es un anillo local regular si dimk m/m2 =
dim A.

Proposición A.5. Sea A un dominio local Noetheriano de dimension uno,


con ideal maximal m, k = A/m su campo de residuo. Entonces las siguientes
condiciones son equivalentes:

i) A es un anillo de valoración discreta;


ii) A es enteramente cerrado;
iii) m es un ideal principal;
iv) A es un anillo local regular;
v) Cada ideal distinto de cero es una potencia de m;
vi) Existe x ∈ A tal que cada ideal distinto de cero es de la forma (xk ),
k ≥ 0.

Demostración:(ver [4, pág 94]).

Denición A.6. Sea X una variedad irreducible, se dene como un divisor


primo a una subvariedad irreducible C de X de codimensión 1 con multipli-
cidad 1.
Denición A.7. Se dene como un divisor de Weil D de X a una combi-
nación lineal de divisores primos, es decir:

D = k1 C1 + ... + kr Cr (A.1)

donde los ki ∈ Z y los Ci son divisores primos.

45
APÉNDICE A. DIVISORES

Si todos los ki = 0, escribimos D = 0. Si todos los ki ≥ 0 y algún ki > 0,


entonces escribimos D > 0; en este caso D es llamado efectivo. Si todos los
ki 6= 0, entonces la variedad C1 ∪ ... ∪ Cr es llamada el soporte de D y es
denotada por Supp D.

Deniremos una operación suma en divisores. Si tenemos:

D = k1 C1 + ... + kr Cr y D0 = k10 C1 + ... + kr0 Cr

con la misma colección de divisores primos C1 , ...Cr . Entonces por deni-


ción,

D + D0 = (k1 + k10 )C1 + ... + (kr + kr0 )Cr .

Estos divisores en X forman un grupo igual al Z-módulo libre con sub-


variedades irreducibles de codimensión 1, C de X como generadores. Este
grupo es llamado el grupo de Weil y es denotado por Div X. En este trabajo
nos referiremos a los divisores de Weil únicamente como divisores.

Sea C un divisor primo, a cada f ∈ k(X) asignaremos un entero vC (f ). Si


X = Ak1 entonces vC (f ) es el orden de cero o polo de una función en un punto.

Asumamos que X es no singular en codimensión 1. Sea C ⊂ X una


variedad irreducible de codimensión 1, podemos cubrir a X por conjuntos
anes, X = Ui . Ahora como I(Ci ) ⊂ mi ⊆ k[Ui ] con mi ideal maximal y
S
Ci = C ∩ Ui , implica que I(Ci )mi ⊂ k[Ui ]mi donde I(Ci )mi es un ideal primo
y k[Ui ]mi es un anillo local para algún punto p ∈ Ui . Por lo cual por el lema
A.3 se tiene que:

[k[Ui ]mi ]I(Ci )mi = k[Ui ]I(Ci ) ,

con esta igualdad y utilizando el lema A.2 se tiene que k[Ui ]I(Ci ) es un anillo
local regular. Entonces la proposición A.5 implica que k[Ui ]I(Ci ) es un anillo de
valoración discreta, por lo cual existe una valoración discreta vC : k(Ui ) → Z
donde k(Ui ) es el campo de residuos de k[Ui ]I(Ci ) . Para f ∈ k(X), como po-
demos identicar a k(X) con k(Ui ), existe m ∈ Z tal que vC (f ) = m.

Probaremos que para una función dada f ∈ k(X), existe solamente un


número nito de subvariedades irreducibles de codimensión 1, C tal que

46
APÉNDICE A. DIVISORES

vC (f ) 6= ∅. Sea X = Ui un cubriente nito afín de X . Entonces cual-


S
quier subvariedad C intersecta al menos un Ui , de modo que vC (f ) 6= 0 sólo
para C que está en la cerradura de una subvariedad irreducible de codimen-
sión 1, C 0 ⊂ Ui para algún i, con vC 0 (f ) 6= 0 en Ui . Dado que sólo existe
un número nito de Ui y un número nito de C 0 en cada Ui , existe sólo un
número nito de C con vC (f ) 6= 0. Así podemos considerar el divisor:

(A.2)
X
vC (f )C

donde la suma es sobre todos los divisores primos C tales que vC (f ) 6= 0.


Este divisor es llamado el divisor de f y es denotado por div f.

Un divisor de la forma DP= div f para algún f ∈ k(X) es llamado un


divisor principal. Si div f = ki Ci , entonces los divisores

ki Ci y div∞ f =
P P
div0 f = i|ki >0 i|ki <0 −ki Ci

son llamados respectivamente el divisor de ceros y el divisor de polos de f .

Para un divisor arbitrario D en una variedad no singular X , consideremos


el conjunto que consiste del 0 junto con funciones no ceros f ∈ k(X) tales
que

div f + D ≥ 0.

Este conjunto es un espacio vectorial sobre k bajo las operaciones alge-


braicas usuales en funciones. Este espacio de funciones es llamado el espacio
vectorial asociado de D, o el espacio de Riemann-Roch de D y es denotado
por L(D) o L(X, D).

La dimensión de L(D) es llamada la dimensión de D, y es denotada por


l (D).

Ahora consideraremos n-formas diferenciales racionales en una variedad


no singular n-dimensional X . En alguna vecindad U de un punto x ∈ X ,
una forma puede ser escrita como w = gdu1 ∧ dun con g ∈ k[U ] y ui son
parámetros locales de x en U. Podemos cubrir a X por conjuntos anes Ui

47
APÉNDICE A. DIVISORES

tales que en cada Ui tenemos una expresión w = g (i) du(i)


1 ∧...∧dun . Tenemos
(i)

que:

hrs dus con hrs ∈ k[Uj ].


(i) Pn (j)
dur = s=1

En la intersección Ui ∩ Uj se cumple lo siguiente:


(i) (i)
u1 , ..., un
g (j)
= g J((i)
(j) (j)
) (A.3)
u1 , ...un

(i) (i)
donde J( uu1(j),...,u
,...u
(j) ) := det | hrs (x) |.
n

1 n

Sea C ⊂ X una subvariedad irreducible de codimensión 1. Si C ∩ Ui 6= ∅


denimos
vC (w) := vc (g (i) ).

Veremos que vC (w) es independiente del afín Ui . Supóngase que C ∩ Uj 6=


∅, para i 6= j , entonces vC (w) = vC (g (j) ), y por (A.3)
(i) (i) (i) (i)
u1 ,...,un u1 ,...,un
vC (g (j) ) = vC (g (i) J( (j) (j) )) = vC (g (i) ) + vC (J( (j) (j) ))
u1 ,...un u1 ,...un

(i) (i) (i) (i)


Como J( uu1(j),...,u
,...u
(j) ) ∈ OUi ,x ∩ OUj ,x , entonces vC (J( (j)
n
(j) )) = 0. Por lo
u1 ,...,un
u ,...u
1 n 1 n

cual vC (g (j) ) = vc (g (i) ). Con esto queda probado que vC (w) está bien denida.

Por la denición de vC (w) existe un número nito de divisores primos C


tales que vC (w) 6= 0, entonces consideremos el siguiente divisor

(A.4)
X
vC (w)C

donde nuevamente la suma es sobre todos los divisores primos C tales que
vC (w) 6= 0. Este divisor es llamado el divisor de w y es denotado por div w.

48
Bibliografía

[1] Hartshorne, Robin , Algebraic Geometry, Springer-Verlag 1977.


[2] Matsumura, Hydeyuki, Commutative Algebra, The Benja-
min/Cummings Publishing Company, Inc. 1980.
[3] Hulek Klaus , Elementary Algebraic Geometry, American Mathemati-
cal Society, 2003.
[4] Atiyah, M. F. y Mcdonald, I. G , Introduction to Conmmutative Al-
gebra, Addison-Wesley, 1969.
[5] Matsumura, , Commutative Ring Theory, The Benja-
Hydeyuki
min/Cummings Publishing Company, Inc. 1980.

49
Glosario de notaciones

Derk (A, M ) Conjunto de todas las R-derivaciones de A en M


ΩA/R Módulo de formas diferenciales relativas de A
sobre R
R[x1 , ..., xr ] Anillo de polinomios en r variables
[A]S Localización de A con respecto al sistema multi-
plicativo S
Pnk n-espacio proyectivo sobre k
K[V ] Anillo coordenado de una variedad afín V
K(V ) Campo de funciones racionales de una variedad
quasi-proyectiva V
Ω(V ) Módulo de formas diferenciales relativas de una
variedad quasi-proyectiva V
OV,p Anillo local de una variedad quasi-proyectiva V
en un punto p
H 0 (V, Ω(V )) Espacio de 1-formas diferenciales regulares de una
variedad quasi-proyectiva V
Ank n-espacio afín sobre k
Z(f ) Conjunto de ceros de f
I(V ) Ideal de una variedad afín V
Ωr (V ) Espacio de r-formas diferenciales racionales en
una variedad quasi-proyectiva V
H 0 (V, Ωr (V )) Espacio de r-formas diferenciales regulares en una
variedad quasi-proyectiva V
mp Ideal maximal de OV,p
Supp D Soporte de un divisor D
Div X Grupo de Weil en una variedad proyectiva irredu-
cible X

50
Glosario de notaciones

L(X, D) Espacio vectorial asociado a un divisor D


l (D) Dimensión de L(X, D)
div w Divisor de una forma diferencial racional w

51