Teoría de representación

La teoría de la representación es una rama de las matemáticas que estudia estructuras algebraicas mediante su representación de sus elementos como transformaciones lineales de espacios vectoriales,^[1]​ y estudia módulos sobre estas estructuras algebraicas abstractas.^[2]​^[3]​ En esencia, una representación hace que un objeto algebraico abstracto sea más concreto al describir sus elementos mediante matrices y sus operaciones algebraicas (por ejemplo, suma de matrices, multiplicación de matrices). La teoría de matrices y operadores lineales se comprende bien, por lo que las representaciones de objetos más abstractos en términos de objetos familiares de álgebra lineal ayudan a obtener propiedades y, a veces, simplifican los cálculos en teorías más abstractas.

Los objetos algebraicos susceptibles de tal descripción incluyen grupos, álgebras asociativas y álgebras de Lie. El más destacado de ellos (e históricamente el primero) es la teoría de la representación de grupos, en la que los elementos de un grupo están representados por matrices invertibles de tal manera que la operación de grupo es la multiplicación de matrices.^[4]​^[5]​

La teoría de la representación es un método útil porque reduce los problemas de álgebra abstracta a problemas de álgebra lineal, un tema que se comprende bien.^[6]​ Además, el espacio vectorial en el que se representa un grupo (por ejemplo) puede ser de dimensión infinita y, al permitir que sea, por ejemplo, un espacio de Hilbert, los métodos de análisis se pueden aplicar a la teoría de grupos.^[7]​^[8]​ La teoría de la representación también es importante en física porque, por ejemplo, describe cómo el grupo de simetría de un sistema físico afecta las soluciones de ecuaciones que describen ese sistema.^[9]​

La teoría de la representación es omnipresente en todos los campos de las matemáticas por dos razones. Primero, las aplicaciones de la teoría de la representación son diversas:^[10]​ además de su impacto en el álgebra, la teoría de la representación:

• ilumina y generaliza el análisis de Fourier a través del análisis armónico,^[11]​
• está conectada a la geometría a través de la teoría invariante y el programa Erlangen,^[12]​
• tiene un impacto en la teoría de números a través de formas automórficas y el programa Langlands.^[13]​

En segundo lugar, existen diversos enfoques de la teoría de la representación. Los mismos objetos pueden ser estudiados utilizando métodos de la geometría algebraica, teoría de módulos, la teoría analítica de números, la geometría diferencial, teoría de operadores, combinatoria algebraica y topología.^[14]​

El éxito de la teoría de la representación ha dado lugar a numerosas generalizaciones. Uno de los más generales es el de la teoría de categorías.^[15]​ Los objetos algebraicos a los que se aplica la teoría de la representación pueden verse como tipos particulares de categorías, y las representaciones como functores de la categoría de objeto a la categoría de espacios vectoriales.^[5]​ Esta descripción apunta a dos generalizaciones obvias: primero, los objetos algebraicos pueden ser reemplazados por categorías más generales; en segundo lugar, la categoría objetivo de espacios vectoriales puede ser reemplazada por otras categorías bien entendidas.

Ramas y temas

La teoría de la representación destaca por el número de ramas que tiene y la diversidad de enfoques para estudiar las representaciones de grupos y álgebras. Aunque todas las teorías tienen en común los conceptos básicos ya discutidos, difieren considerablemente en los detalles. Las diferencias son al menos tres:

• La teoría de la representación depende del tipo de objeto algebraico que se representa. Hay varias clases diferentes de grupos, álgebras asociativas y álgebras de Lie, y todas sus teorías de representación tienen un sabor individual.
• La teoría de la representación depende de la naturaleza del espacio vectorial en el que se representa el objeto algebraico. La distinción más importante es entre las representaciones de dimensión finita y las de dimensión infinita. En el caso de dimensión infinita, las estructuras adicionales son importantes (por ejemplo, si el espacio es un espacio de Hilbert, un espacio de Banach, etc.). También se pueden imponer estructuras algebraicas adicionales en el caso de dimensión finita.
• La teoría de la representación depende del tipo de campo sobre el que se define el espacio vectorial. Los casos más importantes son el campo de los números complejos, el campo de los números reales, los campos finitos y los campos de los números p-ádicos. Surgen dificultades adicionales para campos de característica positiva y para campos que no están cerrados algebraicamente.

Definiciones y conceptos

Sea V un espacio vectorial en el campo F.^[6]​ Por ejemplo, suponiendo que V es Rⁿ o Cⁿ, el espacio n-dimensional estándar de vectores columna en los números reales o complejos, respectivamente. En este caso, la idea de la teoría de la representación es hacer concreta al álgebra abstracta utilizando n &veces; n matrices de números reales o complejos.

Existen tres tipos de objetos algebraicos sobre los cuales se puede realizar esto: grupo, álgebras asociativas y álgebras de Lie.^[16]​^[5]​

• El conjunto de todas las n matrices invertibles n &veces es un grupo con respecto a la multiplicación de matriz, y la teoría de representación de grupos analiza un grupo mediante la descripción ("representación") de sus elementos en función de sus matrices invertibles.
• La suma y multiplicación de matrices forman un grupo de todas las n matrices n veces en un álgebra asociativa, y por lo tanto existe una teoría de representación de álgebras asociativas correspondiente.

• Si se reemplaza la multiplicación de matriz MN por el conmutador de matriz MN − NM, entonces las n &veces; n matrices se convierten en un álgebra de Lie, conduciendo a una teoría de representación de álgebras de Lie.

Ello es generalizable a todo campo F y todo espacio vectorial V en F, con mapas lineales reemplazando a las matrices y composición reemplazando a la multiplicación de matriz: existe un grupo GL(V,F) de automorfismos de V, un álgebra asociativa End_F(V) de todos los endomorfismos de V, y un álgebra de Lie correspondiente gl(V,F).

Definición

Existen dos maneras de expresar que es una representación.^[17]​ El primero utiliza la idea de una acción, generalizando la manera en que las matrices actúan sobre vectores columna por multiplicación de matriz. Una representación de un grupo G o (asociativo o Lie) álgebra A sobre un espacio vectorial V es un mapa

${\displaystyle \Phi \colon G\times V\to V\quad {\text{or}}\quad \Phi \colon A\times V\to V}$

con dos propiedades. Primero, para todo g en G (o a en A), el mapa

${\displaystyle {\begin{aligned}\Phi (g)\colon V&\to V\\v&\mapsto \Phi (g,v)\end{aligned}}}$

es lineal (sobre F). Segundo, si se introduce la notación g · v para ${\displaystyle \Phi }$ (g, v), entonces para todo g₁, g₂ en G y v en V:

${\displaystyle (1)\quad e\cdot v=v}$

${\displaystyle (2)\quad g_{1}\cdot (g_{2}\cdot v)=(g_{1}g_{2})\cdot v}$

donde e es el elemento identidad de G y g₁g₂ es el producto en G. El requerimiento para álgebras asociativas es análogo, excepto que las álgebras asociativas no siempre tienen un elemento identidad, en cuyo caso la ecuación (1) es ignorada. La Ecuación (2) es una expresión abstracta de la asociatividad de la multiplicación de matriz. Esto no es cierto para el caso del conmutador de matriz y además no existe elemento identidad para el conmutador. Por lo tanto para álgebras de Lie, el único requerimiento es que para todo x₁, x₂ en A y v en V:

${\displaystyle (2')\quad x_{1}\cdot (x_{2}\cdot v)-x_{2}\cdot (x_{1}\cdot v)=[x_{1},x_{2}]\cdot v}$

donde [x₁, x₂] es el paréntesis de Lie, que generaliza el conmutador de matriz MN − NM.

Referencias

Bibliografía

• Alperin, J. L. (1986), Local Representation Theory: Modular Representations as an Introduction to the Local Representation Theory of Finite Groups, Cambridge University Press, ISBN 978-0-521-44926-7 ..
• Bargmann, V. (1947), «Irreducible unitary representations of the Lorenz group», Annals of Mathematics 48 (3): 568-640, JSTOR 1969129, doi:10.2307/1969129 ..
• Borel, Armand (2001), Essays in the History of Lie Groups and Algebraic Groups, American Mathematical Society, ISBN 978-0-8218-0288-5 ..
• Borel, Armand; Casselman, W. (1979), Automorphic Forms, Representations, and L-functions, American Mathematical Society, ISBN 978-0-8218-1435-2 ..
• Curtis, Charles W.; Reiner, Irving (1962), Representation Theory of Finite Groups and Associative Algebras, John Wiley & Sons (Reedition 2006 by AMS Bookstore), ISBN 978-0-470-18975-7, (requiere registro) ..
• Gelbart, Stephen (1984), «An Elementary Introduction to the Langlands Program», Bulletin of the American Mathematical Society 10 (2): 177-219, doi:10.1090/S0273-0979-1984-15237-6 ..
• Folland, Gerald B. (1995), A Course in Abstract Harmonic Analysis, CRC Press, ISBN 978-0-8493-8490-5 ..
• Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (en inglés británico) 129. New York: Springer-Verlag. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103. doi:10.1007/978-1-4612-0979-9. .
• Goodman, Roe; Wallach, Nolan R. (1998), Representations and Invariants of the Classical Groups, Cambridge University Press, ISBN 978-0-521-66348-9 ..
• James, Gordon; Liebeck, Martin (1993), Representations and Characters of Finite Groups, Cambridge: Cambridge University Press, ISBN 978-0-521-44590-0 ..
• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics 222 (2nd edición), Springer, ISBN 978-3319134666 .
• Helgason, Sigurdur (1978), Differential Geometry, Lie groups and Symmetric Spaces, Academic Press, ISBN 978-0-12-338460-7 .
• Humphreys, James E. (1972a), Introduction to Lie Algebras and Representation Theory, Birkhäuser, ISBN 978-0-387-90053-7, (requiere registro) ..
• Humphreys, James E. (1972b), Linear Algebraic Groups, Graduate Texts in Mathematics 21, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90108-4, MR 0396773 .
• Jantzen, Jens Carsten (2003), Representations of Algebraic Groups, American Mathematical Society, ISBN 978-0-8218-3527-2 ..
• Kac, Victor G. (1977), «Lie superalgebras», Advances in Mathematics 26 (1): 8-96, doi:10.1016/0001-8708(77)90017-2 ..
• Kac, Victor G. (1990), Infinite Dimensional Lie Algebras (3rd edición), Cambridge University Press, ISBN 978-0-521-46693-6 ..
• Knapp, Anthony W. (2001), Representation Theory of Semisimple Groups: An Overview Based on Examples, Princeton University Press, ISBN 978-0-691-09089-4 ..
• Kim, Shoon Kyung (1999), Group Theoretical Methods and Applications to Molecules and Crystals: And Applications to Molecules and Crystals, Cambridge University Press, ISBN 978-0-521-64062-6 ..
• Kostrikin, A. I.; Manin, Yuri I. (1997), Linear Algebra and Geometry, Taylor & Francis, ISBN 978-90-5699-049-7 ..
• Lam, T. Y. (1998), «Representations of finite groups: a hundred years», Notices of the AMS 45 (3,4): 361–372 (Part I), 465–474 (Part II) ..
• Yurii I. Lyubich. Introduction to the Theory of Banach Representations of Groups. Translated from the 1985 Russian-language edition (Kharkov, Ukraine). Birkhäuser Verlag. 1988.
• Mumford, David; Fogarty, J.; Kirwan, F. (1994), Geometric invariant theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)] 34 (3rd edición), Berlin, New York: Springer-Verlag, ISBN 978-3-540-56963-3, MR 0214602 .; MR 0719371 (2nd ed.); MR 1304906(3rd ed.)
• Olver, Peter J. (1999), Classical invariant theory, Cambridge: Cambridge University Press, ISBN 978-0-521-55821-1 ..
• Peter, F.; Weyl, Hermann (1927), «Die Vollständigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe», Mathematische Annalen 97 (1): 737-755, S2CID 120013521, doi:10.1007/BF01447892, archivado desde el original el 19 de agosto de 2014 ..
• Pontrjagin, Lev S. (1934), «The theory of topological commutative groups», Annals of Mathematics 35 (2): 361-388, JSTOR 1968438, doi:10.2307/1968438 ..
• Sally, Paul; Vogan, David A. (1989), Representation Theory and Harmonic Analysis on Semisimple Lie Groups, American Mathematical Society, ISBN 978-0-8218-1526-7 ..
• Serre, Jean-Pierre (1977), Linear Representations of Finite Groups, Springer-Verlag, ISBN 978-0387901909, (requiere registro) ..
• Sharpe, Richard W. (1997), Differential Geometry: Cartan's Generalization of Klein's Erlangen Program, Springer, ISBN 978-0-387-94732-7 ..
• Simson, Daniel; Skowronski, Andrzej; Assem, Ibrahim (2007), Elements of the Representation Theory of Associative Algebras, Cambridge University Press, ISBN 978-0-521-88218-7 ..
• Sternberg, Shlomo (1994), Group Theory and Physics, Cambridge University Press, ISBN 978-0-521-55885-3, (requiere registro) ..
• Tung, Wu-Ki (1985). Group Theory in Physics (1st edición). New Jersey·London·Singapore·Hong Kong: World Scientific. ISBN 978-9971966577. 
• Weyl, Hermann (1928), Gruppentheorie und Quantenmechanik (The Theory of Groups and Quantum Mechanics, translated H.P. Robertson, 1931 edición), S. Hirzel, Leipzig (reprinted 1950, Dover), ISBN 978-0-486-60269-1 ..
• Weyl, Hermann (1946), The Classical Groups: Their Invariants and Representations (2nd edición), Princeton University Press (reprinted 1997), ISBN 978-0-691-05756-9 ..
• Wigner, Eugene P. (1939), «On unitary representations of the inhomogeneous Lorentz group», Annals of Mathematics 40 (1): 149-204, JSTOR 1968551, doi:10.2307/1968551 ..