Professional Documents
Culture Documents
Resumen
un elemento identidad e ∈ G
con cuales G es un grupo. Si G es una variedad afı́n, decimos que G es un grupo alge-
braico afı́n.
1
2
1. H es un subgrupo de G
2. Si H es construible, entonces H = H
Dado que los grupos algebraicos son variedades algebraicas, tiene sentido preguntarse
la naturaleza de sus componentes irreducibles, ası́ enunciamos la siguiente propiedad:
Es fácil ver que Ga es conexo dado que es isomorfo a A1 . Lo mismo sucede con Gm
dado que I(Gm ) es primo.
Para continuar estudiando los grupos algebraicos necesitamos introducir algunos con-
ceptos adicionales:
1K = 1A
Definición (Álgebra afı́n de una variedad). Dada una variedad afı́n X, el álgebra
afı́n de X o el anillo de coordenadas de X denotado por K[X] es el cociente K[x1 , ..., xn ]/I(X).
Dado que K[x1 , ..., xn ] es finitamente generado (por el T. de Hilbert), entonces K[X] =
K[x1 , ..., xn ]/I(X) es finitamente generado. Si X es irreducible, I(X) es primo y por lo
tanto K[X] es un dominio de integridad.
5
Nótese que K[G × X] ∼= K[G] ⊗ K[X], esto es que las funciones polinomiales en el
espacio producto G × X son una combinación lineal de las funciones de la forma p(f )q(x)
donde p es una función polinomial en G y q es una función polinomial en X.
ϕ(e, x) = x ∀x ∈ X
Proposición 7. Sea G un grupo algebraico que actúa mórficamente en una variedad afı́n
X. Entonces cualquier espacio de dimensión finita de funciones en X está contenido en
un espacio de dimensión finita de funciones que es invariante dentro de G.
Demostración. Es suficiente con probar que las traslaciones de una función tiene dimen-
sión finita. Consideremos ϕ : G × F → X. Este mapa induce un homomorfismo de anillos
ϕ∗ : K[X] → K[G × X] = K[G] ⊗ K[X] que lleva f 7→ i ϕi ⊗ fi ası́ ∀g ∈ G y ∀x ∈ X
P
por fi .
Con este resultado estamos listos para probar que todo grupo algebraico afı́n es lineal:
[1] James E. Humphreys, Linear Algebraic Groups, Springer Verlag, New York 2nd edi-
tion, 1995.
[2] Joe Harris, Algebraic Geometry, A first course, Springer Verlag, New York 1992.
[3] David Mumford, The Red Book of Varieties and Schemas, Springer Verlag, New York
2nd edition, 1999.
[4] Armand Borel, Linear Algebraic Groups, Springer Verlag, New York 2nd edition, 1991.