1 El tema que se habla puede ser discutido en varios niveles diferentes. Yo parten de un punto de vista muy ingenuo.

Si tenemos una matriz sobre un campo arbitrario, se puede reducir a la primaria transformaciones de sus columnas y las las de la forma 67, donde E es la unidad. Pero suponer que tenemos una matriz dividida en partes n por n 1 l neas verticales, y la pregunta es: en qu forma podemos reducir esta matriz por todas las escuelas primarias transformaciones de e sus las y por las transformaciones elementales de sus columnas slo dentro de cada parte, pero o no a travs de las l e neas. Para n = 2 este problema es trivial, para n = 3 no es dif cil, para n = 4, tales clasicacin se realiz de forma independiente en diferentes formas por Nazarova [1] y por o o Gelfand, Ponomarev [2]. Por 77 > 4 este problema no se resuelve y contiene la clsico problema a sin resolver de la clasicacin de los pares de alcaldes operai lineal. Por supuesto que podemos o dividir en bloques de una matriz no slo vertical, sino tambin por l o e neas horizontales. Adems a podemos permitir que adems de las columnas de los diferentes bloques, por ejemplo, de izquierda a a derecha, pero no en la otra direccin, y as sucesivamente. Todo el mundo puede construir como o muchos de los problemas de la matriz como la que l quiere. Estos problemas a menudo surgen en e todas las ramas de la teor de la representacin. Por ejemplo, el problema que se hablan, para a o n = 49 por primera vez en la conexin con la clasicacin de las representaciones integrante del o o grupo c clico de orden 4 (Klein de 4 grupos). Las representaciones de tiembla que voy a denir a continuacin fue presentado por Gabriel [3] para describir las lgebras nito dimensional con o a plaza radical 0, con un nmero nito de representaciones indescomponible. Las representaciones u de conjuntos parcialmente ordenados (Posets) fue presentado por Nazarova y yo [4] en relacin con o el segundo Brauer- Thrall conjetura que fue probado por nosotros [5] en el caso de campo perfecto. Esta conjetura fue: si un lgebra de dimensin nita sobre un campo innito tiene innitamente a o indcomposables muchos entonces existen un nmero innito de dimensiones tal que para cada uno e u de ellos hay un nmero innito de indcomposables. Bondarenko, Drozd, por un lado y Ringel en u e el otro lado recientemente se han dado de forma independiente respuesta denitiva a la pregunta para la cual los grupos nitos, es posible clasicar a todos sus representaciones modulares. Utilizan mtodos similares a los mtodos de discutir aqu Pero los problemas surgen de la matriz no slo en e e . o la teor de la representacin. En primer lugar debo mencionar aqu el notable trabajo de Szekeres a o [6] que ya en 1949 se enumeran todos los grupos nitos abelianos que contienen un subgrupo normal de ndice de riesgo, realmente mediante la resolucin de un problema de matriz muy importante y o dif Este problema se puede formulado como el problema de la clasicacin de los pares (A9B) cil. o de operadores lineales tales que AB = BA = 0. Es muy interesante que el problema de la matriz misma se levant y fue independiente resuelto (en una situacin algo ms general) por Gelfand y o o a Ponomarev [7] para describir el Harish-Chandra mdulos del grupo de Lorentz. En su informe a el o Congreso de Niza Gelfand declar que la clasicacin de la Harish-Chandra mdulos de SL(2, R) o o o es igual a un problema de la matriz, que fue resuelto por Nazarova y yo en [8]. EN Bernstein, IM Gelfand y Gelfand SI han demostrado recientemente que la clasicacin de los mdulos de o o Harish-Chandra para todos los grupos es equivalente a un problema de lgebra lineal. En algunos a

2 casos, los problemas de la matriz puede ser invariantly se dene en forma muy natural y hermoso. En primer lugar me reero a la nocin de las representaciones aljaba. Carcaj es un conjunto de o puntos conectados por (dirigida) echas. Representacin de un carcaj sobre un cuerpo k se da o si a cada letra i se le asigna un nmero nito dimensiones Vi9 espacio vectorial y cada echa u que va de i a j que se asigna una aplicacin lineal de AFJ-Vt de Vj. Como se sabe, se estremece o con un nmero nito de en las representaciones descomponible corresponden a los diagramas u Dynkin sin doble echas [3], [9], y se estremece de tal manera que sus representaciones se pueden clasicar corresponden a extenderse diagramas Dynkin sin echas dobles [10], [11]. Otra clase de matriz que tiene problemas de denicin invariante buena representaciones de Posets. Tenemos o una representacin de un conjunto parcialmente ordenado S sobre un cuerpo k si hay algo de o dimensin nita espacio vectorial V sobre k y para cada elemento sS corresponde un subespacio o VsaV tal que si j iV entonces Vj. Posets tener un nmero nito de indescomponible representaciones u se describen en [12] y Posets de tal manera que todas sus representaciones se pueden clasicar se describen en [13]. Pero no es tan fcil dar deniciones agradable de todos los problemas de la matriz. a Kleiner y He intentado dar una denicin general de un problema mediante la introduccin de la o o matriz el concepto de representaciones de un diferencial de clasicados categor (DGC) [14]. Una a U categor calicada sobre un cuerpo k es una categor en la que para cada par (a9 b) del a a objetos de la serie H(a9b) es un conjunto terico unin disjunta J10 Hola (a9b), del vector k? o o espacios Hi9 y si /7 libras esterlinas (, e), Hj(b9c) entonces culo Hola +j(a9c). Vamos a decir que esta categor es DGC si por alguna (a9b9i) no es un operador lineal d de Hi (A9b) a Hola a + 1(A9b) tal que la frmula de Leibnitz d(culo) = rf (unl)/? + () dcs arf (J3) tiene, y o d2 = 0. Decimos que DGC es semilibre si es libremente generado por su morsmos de grado 0 y 1. Por cada semilibre DGC U en [14] se construye la categor R (kU 9) de representaciones U sobre a un campo k. Los objetos de R (kU 9) son funtores de la U 0 categor (slo contiene morsmo de a o grado 0 de la U) para la categor V de todos los vectores de dimensin nita espacios sobre k. La a o denicin de morsmos de R (kU 9) no es tan corta, pero voy a tratar de dar un boceto de esta o construccin. Si DGC U tiene slo un conjunto nito de objetos (se mantiene para el problema de la o o matriz real) podemos construir un diferencial de clasicados U9 lgebra cuyos elementos son todos a lineales combinaciones de morsmos en U. La multiplicacin en U es inducida por la composicin o o de morsmos en U cuando la composicin se dene, y mediante el establecimiento de a/? = 0, si o ay son morsmos en U tal que el culo composicin no es se dene en U. Entonces U 0 se lgebra o a de dimensin nita. Podemos construir U 0 bimodule A, que como mdulo de la derecha es U 1U 0 y o o multiplicacin de la izquierda se dene por la frmula uno (y pies) = ( d culo (a) y ay) donde a, y o o U 09L. Cada funtor S:U 0 V induce un homomorsmo de i70 al lgebra de todas las matrices a que acta sobre el espacio vectorial es (i) Si T es otro funtor de U0 a Kthen conjunto Hom (K, u VT) de todos los operadores lineales de Vs a Vt puede ser considerado como bimodule i70. Ahora podemos denir el conjunto de morsmos H(T S9) en la categor R (k U9) como el conjunto de a homomorsmos UQ bimodule de la A a Hom (F, Vt). Para denir la multiplicacin de morsmos o

3 de R (U9k), debemos mencionar que d: U 2 U 1 induce un homomorsmo i70 bimodule 3 de A a A A. Ahora bien, si .. de un y .... denimos culo ... t i = 1 bis morsmos ia) una!) donde a, b son es R (Uk). En cierto sentido la nocin de las representaciones de la DGC se puede considerar un o generalizacin de la nocin de equivalencia natural de funtores. Me parece que el lenguaje DGC o o puede ser conveniente tener en cuenta varios ideas en el papel principal en esta teor Fiist de a. todos en este lenguaje se pueden formular algunas algoritmo que para cada DGC tiene un nmero u nito de representaciones indescomponible da despus de un nmero nito nmero de pasos a la e u u clasicacin de todas estas representaciones. En este algoritmo es muy fcil de probar (ver [14]) la o a primera (pero no el segundo!) conjetura de Brauer-Thrall. Adems por cada DGC se puede denir a de alguna forma cuadrtica similar a la forma cuadrtica introducido tiembla por Gabriel y Tetas a a (ver [3]). Como es sabe que hay una correspondencia entre las representaciones indescomponible de un temblor de tipo nito y las ra ces de su forma cuadrtica, se puede demostrar en una a mano mediante el uso de funtores Coxeter [9] y por otra parte que sigue inmediatamente, como se demostr por Gabriel, de este hecho, que por cada representacin indescomponible su anillo de o o endomorsmos tiene dimensin 1 (para todo el cuerpo k). DGC con este condicin que llamamos o o Shurian y demostr [15] algunas condiciones necesarias y sucientes de DGC libre (ver [14]) que o se Shurian. Termino mencionando que Nazarova y recientemente me han demostrado por cada triangulares regulares libre DGC U de tipo domar [14], que si f (x) = l9 donde es forma cuadrtica a de la U DGC y x es el vector con coecientes enteros, luego en dimensin X es una representacin o o indescomponible de la U y si f (x) = 09 a continuacin, en esta dimensin hay indcomposables o o e innitos. Estoy muy agradecido a Idun Reiten por sus consejos utiles para las matemticas y la a Ingls. e