Teoría invariante

La teoría de invariantes es una rama del álgebra abstracta que estudia las acciones de los grupos sobre variedades algebraicas , como los espacios vectoriales, desde el punto de vista de su efecto sobre las funciones. Clásicamente, la teoría se ocupaba de la cuestión de la descripción explícita de funciones polinómicas que no cambian, o son invariantes , bajo las transformaciones de un grupo lineal dado . Por ejemplo, si consideramos la acción del grupo lineal especial SL _n sobre el espacio de n por n matrices mediante multiplicación por la izquierda, entonces el determinante es un invariante de esta acción porque el determinante de AX es igual al determinante de X , cuando A está en SL _n .

Introducción

Sea un grupo , y un espacio vectorial de dimensión finita sobre un cuerpo (que en la teoría clásica de invariantes se suponía generalmente que eran los números complejos ). Una representación de en es un homomorfismo de grupo , que induce una acción de grupo de sobre . Si es el espacio de funciones polinómicas sobre , entonces la acción de grupo de sobre produce una acción sobre mediante la siguiente fórmula: ${\estilo de visualización G}$ ${\estilo de visualización V}$ ${\estilo de visualización k}$ ${\estilo de visualización G}$ ${\estilo de visualización V}$ $\pi :G\a GL(V)$ ${\estilo de visualización G}$ ${\estilo de visualización V}$ $k[V]$ ${\estilo de visualización V}$ ${\estilo de visualización G}$ ${\estilo de visualización V}$ $k[V]$

(g\cdot f)(x):=f(g^{-1}(x))\qquad \para todo x\en V,g\en G,f\en k[V].

Con esta acción es natural considerar el subespacio de todas las funciones polinómicas que son invariantes bajo esta acción de grupo, es decir el conjunto de polinomios tales que para todo . Este espacio de polinomios invariantes se denota . $g\cdot f=f$ $g\en G$ $k[V]^{G}$

Primer problema de la teoría de invariantes : ^[1] ¿Es un álgebra finitamente generada ? $k[V]^{G}$ ${\estilo de visualización k}$

Por ejemplo, si y el espacio de matrices cuadradas, y la acción de sobre está dada por multiplicación izquierda, entonces es isomorfo a un álgebra polinómica en una variable, generada por el determinante. En otras palabras, en este caso, cada polinomio invariante es una combinación lineal de potencias del polinomio determinante. Por lo que en este caso, es finitamente generado sobre . $Estilo de visualización G=SL_{n}$ $V=M_{n}$ ${\estilo de visualización G}$ ${\estilo de visualización V}$ $k[V]^{G}$ $k[V]^{G}$ ${\estilo de visualización k}$

Si la respuesta es sí, entonces la siguiente pregunta es encontrar una base mínima y preguntar si el módulo de las relaciones polinomiales entre los elementos de la base (conocidos como sicigias ) se genera finitamente sobre . $k[V]$

La teoría de invariantes de grupos finitos tiene conexiones íntimas con la teoría de Galois . Uno de los primeros resultados importantes fue el teorema principal sobre las funciones simétricas que describía los invariantes del grupo simétrico que actuaban sobre el anillo polinómico mediante permutaciones de las variables. De manera más general, el teorema de Chevalley-Shephard-Todd caracteriza a los grupos finitos cuya álgebra de invariantes es un anillo polinómico. La investigación moderna en teoría de invariantes de grupos finitos enfatiza los resultados "efectivos", como los límites explícitos sobre los grados de los generadores. El caso de la característica positiva , ideológicamente cercano a la teoría de la representación modular , es un área de estudio activo, con vínculos con la topología algebraica . $Estilo de visualización S_{n}$ $R[x_{1},\ldots ,x_{n}$

La teoría invariante de grupos infinitos está inextricablemente ligada al desarrollo del álgebra lineal , especialmente, las teorías de las formas cuadráticas y determinantes . Otro tema con fuerte influencia mutua fue la geometría proyectiva , donde se esperaba que la teoría invariante desempeñara un papel importante en la organización del material. Uno de los aspectos más destacados de esta relación es el método simbólico . La teoría de la representación de grupos de Lie semisimples tiene sus raíces en la teoría invariante.

El trabajo de David Hilbert sobre la cuestión de la generación finita del álgebra de invariantes (1890) dio como resultado la creación de una nueva disciplina matemática, el álgebra abstracta. Un artículo posterior de Hilbert (1893) abordó las mismas cuestiones de forma más constructiva y geométrica, pero permaneció prácticamente desconocido hasta que David Mumford revivió estas ideas en la década de 1960, en una forma considerablemente más general y moderna, en su teoría geométrica de invariantes . En gran medida debido a la influencia de Mumford, se considera que el tema de la teoría de invariantes abarca la teoría de las acciones de los grupos algebraicos lineales en variedades afines y proyectivas . Gian-Carlo Rota y su escuela han desarrollado una rama distinta de la teoría de invariantes, que se remonta a los métodos constructivos y combinatorios clásicos del siglo XIX. Un ejemplo destacado de este círculo de ideas lo da la teoría de los monomios estándar .

Ejemplos

Ejemplos simples de teoría invariante provienen del cálculo de los monomios invariantes de una acción grupal. Por ejemplo, considere la acción de enviar $\mathbb {Z} /2\mathbb {Z}$ $\mathbb {C}[x,y]$

{\begin{alineado}x\mapsto -x&&y\mapsto -y\end{alineado}}

Entonces, como son los monomios de grado más bajo los que son invariantes, tenemos que $Estilo de visualización x^{2},xy,y^{2}}$

\mathbb {C}[x,y]^{\mathbb {Z} /2\mathbb {Z} }\cong \mathbb {C}[x^{2},xy,y^{2}]\cong {\frac {\mathbb {C}[a,b,c]}{(ac-b^{2})}}

Este ejemplo constituye la base para realizar muchos cálculos.

Los orígenes del siglo XIX

La teoría de los invariantes surgió a mediados del siglo XIX, de forma similar a Minerva : una virgen adulta, revestida con la brillante armadura del álgebra, surgió de la cabeza joviana de Cayley .

Weyl (1939b, pág. 489)

Cayley estableció por primera vez la teoría de los invariantes en su "Sobre la teoría de las transformaciones lineales (1845)". En la introducción de su artículo, Cayley cita un artículo de 1841 de George Boole : "Se me sugirieron investigaciones a partir de un artículo muy elegante sobre el mismo tema... del señor Boole". (El artículo de Boole fue Exposición de una teoría general de las transformaciones lineales, Cambridge Mathematical Journal.) ^[2]

Clásicamente, el término "teoría invariante" se refiere al estudio de formas algebraicas invariantes (equivalentemente, tensores simétricos ) para la acción de transformaciones lineales . Este fue un importante campo de estudio en la última parte del siglo XIX. Las teorías actuales relacionadas con el grupo simétrico y las funciones simétricas , el álgebra conmutativa , los espacios de módulos y las representaciones de los grupos de Lie tienen sus raíces en esta área.

En mayor detalle, dado un espacio vectorial finito-dimensional V de dimensión n podemos considerar el álgebra simétrica S ( S ^r ( V )) de los polinomios de grado r sobre V , y la acción sobre ella de GL( V ). En realidad es más preciso considerar los invariantes relativos de GL( V ), o representaciones de SL( V ), si vamos a hablar de invariantes : esto es porque un múltiplo escalar de la identidad actuará sobre un tensor de rango r en S( V ) a través del r -ésimo 'peso' de la potencia del escalar. El punto es entonces definir el subálgebra de invariantes I ( S ^r ( V )) para la acción. Estamos, en lenguaje clásico, viendo invariantes de r -icos n -arios , donde n es la dimensión de V . (Esto no es lo mismo que encontrar invariantes de GL( V ) en S( V ); este es un problema poco interesante ya que los únicos invariantes de este tipo son constantes.) El caso que más se estudió fue el de los invariantes de formas binarias donde n = 2.

Otros trabajos incluyeron el de Felix Klein en el cálculo de los anillos invariantes de acciones de grupos finitos en (los grupos poliédricos binarios , clasificados por la clasificación ADE ); estos son los anillos de coordenadas de las singularidades de du Val . $\mathbf {C} ^{2}$

Como el fénix árabe que renace de sus cenizas, la teoría de invariantes, declarada muerta a principios del siglo, vuelve a estar a la vanguardia de las matemáticas.

Kung & Rota (1984, pág. 27)

El trabajo de David Hilbert , que demostró que I ( V ) se presentaba finitamente en muchos casos, casi puso fin a la teoría clásica de invariantes durante varias décadas, aunque la época clásica en el tema continuó hasta las publicaciones finales de Alfred Young , más de 50 años después. Se han conocido cálculos explícitos para propósitos particulares en tiempos modernos (por ejemplo, Shioda, con los octavísticos binarios).

Teoremas de Hilbert

Hilbert (1890) demostró que si V es una representación finito-dimensional del grupo algebraico complejo G = SL _n ( C ) entonces el anillo de invariantes de G que actúa sobre el anillo de polinomios R = S ( V ) es finitamente generado. Su demostración utilizó el operador de Reynolds ρ de R a R ^G con las propiedades

ρ (1) = 1
ρ ( una + segundo ) = ρ ( una ) + ρ ( segundo )
ρ ( ab ) = a ρ ( b ) siempre que a sea un invariante.

Hilbert construyó el operador de Reynolds explícitamente usando el proceso omega de Cayley Ω, aunque ahora es más común construir ρ indirectamente de la siguiente manera: para grupos compactos G , el operador de Reynolds se da tomando el promedio sobre G , y los grupos reductivos no compactos se pueden reducir al caso de grupos compactos usando el truco unitario de Weyl .

Dado el operador de Reynolds, el teorema de Hilbert se demuestra de la siguiente manera. El anillo R es un anillo polinómico, por lo que se gradúa por grados, y el ideal I se define como el ideal generado por los invariantes homogéneos de grados positivos. Por el teorema de la base de Hilbert, el ideal I se genera finitamente (como un ideal). Por lo tanto, I se genera finitamente por un número finito de invariantes de G (porque si se nos da cualquier subconjunto S –posiblemente infinito– que genere un ideal I generado finitamente , entonces I ya se genera por algún subconjunto finito de S ). Sea i ₁ ,..., i _n un conjunto finito de invariantes de G que generan I (como un ideal). La idea clave es mostrar que estos generan el anillo R ^G de invariantes. Supóngase que x es algún invariante homogéneo de grado d > 0. Entonces

x = a ₁i ₁ + ... + a _ni _n

para algún a _j en el anillo R porque x está en el ideal I . Podemos suponer que a _j es homogéneo de grado d − deg i _j para cada j (de lo contrario, reemplazamos a _j por su componente homogénea de grado d − deg i _j ; si hacemos esto para cada j , la ecuación x = a ₁i ₁ + ... + a _n i _n seguirá siendo válida). Ahora, aplicando el operador de Reynolds a x = a ₁i ₁ + ... + a _n i _n se obtiene

x = ρ( una ₁ ) yo ₁ + ... + ρ ( una _n ) yo _n

Ahora vamos a demostrar que x se encuentra en el R -álgebra generada por i ₁ ,..., i _n .

Primero, hagamos esto en el caso en que los elementos ρ( a _k ) tengan todos grado menor que d . En este caso, todos están en el R -álgebra generada por i ₁ ,..., i _n (por nuestro supuesto de inducción). Por lo tanto, x también está en este R -álgebra (ya que x = ρ ( a ₁ ) i ₁ + ... + ρ( a _n ) i _n ).

En el caso general, no podemos estar seguros de que todos los elementos ρ( a _k ) tengan grado menor que d . Pero podemos reemplazar cada ρ( a _k ) por su componente homogéneo de grado d − deg i _j . Como resultado, estos ρ( a k ) modificados siguen _siendo G - invariantes (porque cada componente homogéneo de un G -invariante es un G -invariante) y tienen grado menor que d (ya que deg i _k > 0). La ecuación x = ρ( a ₁ ) i ₁ + ... + ρ( a _n ) i _n sigue siendo válida para nuestro ρ( a _k ) modificado, por lo que podemos concluir nuevamente que x se encuentra en el R -álgebra generado por i ₁ ,..., i _n .

Por lo tanto, por inducción en el grado, todos los elementos de R ^G están en el R -álgebra generada por i ₁ ,..., i _n .

Teoría de invariantes geométricos

La formulación moderna de la teoría de invariantes geométricos se debe a David Mumford , y enfatiza la construcción de un cociente por la acción del grupo que debe capturar la información invariante a través de su anillo de coordenadas. Es una teoría sutil, en la que el éxito se obtiene excluyendo algunas órbitas "malas" e identificando otras con órbitas "buenas". En un desarrollo separado se ha rehabilitado el método simbólico de la teoría de invariantes , una notación combinatoria aparentemente heurística.

Una de las motivaciones fue construir espacios de módulos en geometría algebraica como cocientes de esquemas que parametrizaban objetos marcados. En los años 1970 y 1980, la teoría desarrolló interacciones con la geometría simpléctica y la topología equivariante, y se utilizó para construir espacios de módulos de objetos en geometría diferencial , como los instantones y los monopolos .

Véase también

Referencias

^ Borel, Armand (2001). Ensayos sobre la historia de los grupos de Lie y los grupos algebraicos . Vol. Historia de las matemáticas, vol. 21. Sociedad matemática estadounidense y sociedad matemática de Londres. ISBN 978-0821802885.
^ Wolfson, Paul R. (2008). "George Boole y los orígenes de la teoría de invariantes". Historia Mathematica . 35 (1). Elsevier BV: 37–46. doi :10.1016/j.hm.2007.06.004. ISSN 0315-0860.

Dieudonné, Jean A. ; Carrell, James B. (1970), "Teoría invariante, antigua y nueva", Advances in Mathematics , 4 : 1–80, doi : 10.1016/0001-8708(70)90015-0 , ISSN 0001-8708, MR 0255525Reimpreso como Dieudonné, Jean A.; Carrell, James B. (1971), "Teoría invariante, antigua y nueva", Advances in Mathematics , 4 , Boston, MA: Academic Press : 1–80, doi : 10.1016/0001-8708(70)90015-0 , ISBN 978-0-12-215540-6, Sr. 0279102
Dolgachev, Igor (2003), Lecciones sobre teoría invariante , London Mathematical Society Lecture Note Series, vol. 296, Cambridge University Press , doi : 10.1017/CBO9780511615436, ISBN 978-0-521-52548-0, Sr. 2004511
Grace, JH; Young, Alfred (1903), El álgebra de invariantes, Cambridge: Cambridge University Press
Grosshans, Frank D. (1997), Espacios homogéneos algebraicos y teoría invariante , Nueva York: Springer, ISBN 3-540-63628-5
Hilbert, David (1890), "Ueber die Theorie der algebraischen Formen", Mathematische Annalen , 36 (4): 473–534, doi :10.1007/BF01208503, ISSN 0025-5831
Hilbert, D. (1893), "Über die vollen Invariantensysteme (Sobre sistemas totalmente invariantes)", Math. Annalen , 42 (3): 313, doi :10.1007/BF01444162
Kung, Joseph PS; Rota, Gian-Carlo (1984), "La teoría invariante de las formas binarias", Boletín de la American Mathematical Society , Nueva serie, 10 (1): 27–85, doi : 10.1090/S0273-0979-1984-15188-7 , ISSN 0002-9904, MR 0722856
Neusel, Mara D .; Smith, Larry (2002), Teoría invariante de grupos finitos , Providence, RI: American Mathematical Society, ISBN 0-8218-2916-5 Un recurso reciente para aprender sobre invariantes modulares de grupos finitos.
Olver, Peter J. (1999), Teoría invariante clásica , Cambridge: Cambridge University Press, ISBN 0-521-55821-2Una introducción a nivel de pregrado a la teoría clásica de invariantes de formas binarias, incluido el proceso Omega a partir de la página 87.
Popov, VL (2001) [1994], "Invariantes, teoría de", Enciclopedia de Matemáticas , EMS Press
Springer, TA (1977), Teoría invariante , Nueva York: Springer, ISBN 0-387-08242-5 Una encuesta antigua pero aún útil.
Sturmfels, Bernd (1993), Algoritmos en teoría invariante , Nueva York: Springer, ISBN 0-387-82445-6 Una hermosa introducción a la teoría de invariantes de grupos finitos y técnicas para calcularlos utilizando bases de Gröbner.
Weyl, Hermann (1939), Los grupos clásicos. Sus invariantes y representaciones, Princeton University Press , ISBN 978-0-691-05756-9, Sr. 0000255
Weyl, Hermann (1939b), "Invariantes", Duke Mathematical Journal , 5 (3): 489–502, doi :10.1215/S0012-7094-39-00540-5, ISSN 0012-7094, MR 0000030

Enlaces externos

H. Kraft, C. Procesi, Teoría clásica de invariantes, una introducción
VL Popov, EB Vinberg, «Teoría de invariantes», en Geometría algebraica . IV. Enciclopedia de ciencias matemáticas, 55 (traducido de la edición rusa de 1989) Springer-Verlag, Berlín, 1994; vi+284 pp.; ISBN 3-540-54682-0