En matemáticas, un diagrama de Bratteli es una estructura combinatoria: un gráfico compuesto de vértices etiquetados por números enteros positivos ("nivel") y aristas no orientadas entre vértices que tienen niveles que difieren en uno. La noción fue introducida por Ola Bratteli [1] en 1972 en la teoría de álgebras de operadores para describir secuencias dirigidas de álgebras de dimensión finita: jugó un papel importante en la clasificación de Elliott de AF-álgebras y la teoría de subfactores . Posteriormente, Anatoly Vershik asoció sistemas dinámicos con caminos infinitos en tales gráficos. [2]
Definición
Un diagrama de Bratteli viene dado por los siguientes objetos:
- Una secuencia de conjuntos V n ( 'los vértices a nivel n ') marcado por el conjunto entero positivo N . En alguna literatura, cada elemento v de V n está acompañado por un número entero positivo b v > 0.
- Una secuencia de conjuntos E n ('los bordes desde el nivel n hasta n + 1') etiquetados por N , dotados de mapas s : E n → V n y r : E n → V n +1 , tal que:
- Para cada v en V n , el número de elementos e en E n con s ( e ) = v es finito.
- Entonces es el número de e ∈ E n −1 con r ( e ) = v .
- Cuando los vértices tienen marcas con enteros positivos b v , el número a v , v ' de las aristas con s ( e ) = v y r ( e ) = v' para v ∈ V n y v '∈ V n +1 satisface b v a v, v ' ≤ b v' .
Una forma habitual de representar gráficamente los diagramas de Bratteli es alinear los vértices de acuerdo con sus niveles y poner el número b v al lado del vértice v , o usar ese número en lugar de v , como en
- 1 = 2 - 3 - 4 ...
- \ 1 ∠ 1 ∠ 1 ....
Un diagrama de Bratteli ordenado es un diagrama de Bratteli junto con un orden parcial en E n tal que para cualquier v ∈ V n el conjunto { e ∈ E n −1 : r ( e ) = v } está totalmente ordenado. Los bordes que no comparten un vértice de rango común son incomparables. Este orden parcial nos permite definir el conjunto de todos los bordes máximos E max y el conjunto de todos los bordes mínimos E min . Un diagrama de Bratteli con una trayectoria única infinitamente larga en E max y E min se llama esencialmente simple . [3]
Secuencia de álgebras de dimensión finita
Cualquier álgebra semisimple sobre los números complejos C de dimensión finita se puede expresar como una suma directa ⊕ k M n k ( C ) de álgebras matriciales , y los homomorfismos de álgebra C entre dos de tales álgebras hasta los automorfismos internos en ambos lados están completamente determinados por el número de multiplicidad entre los componentes del 'álgebra matricial'. Por lo tanto, un homomorfismo inyectivo de ⊕ k = 1 i M n k ( C ) en ⊕ l = 1 j M m l ( C ) puede representarse mediante una colección de números positivos a k , l satisfaciendo ∑ n k a k , l ≤ m l . (La igualdad se cumple si y solo si el homomorfismo es unital; podemos permitir homomorfismos no inyectivos permitiendo que algunos a k , l sean cero). Esto se puede ilustrar como un gráfico bipartito que tiene los vértices marcados por números ( n k ) k por un lado y los marcados por ( m l ) l por otro lado, y que tiene una k , l bordes entre el vértice n k y el vértice m l .
Así, cuando tenemos una secuencia de álgebras semisimples de dimensión finita A n y homomorfismos inyectivos φ n : A n ' → A n +1 : entre ellos, obtenemos un diagrama de Bratteli poniendo
- V n = el conjunto de componentes simples de A n
(cada uno isomorfo a un álgebra matricial), marcado por el tamaño de las matrices.
- ( E n , r , s ): el número de aristas entre M n k ( C ) ⊂ A n y M m l ( C ) ⊂ A n +1 es igual a la multiplicidad de M n k ( C ) en M m l ( C ) bajo φ n .
Secuencia de álgebras semisimple divididas
Cualquier álgebra semisimple (posiblemente de dimensión infinita) es aquella cuyos módulos son completamente reducibles, es decir, se descomponen en la suma directa de módulos simples . Dejar ser una cadena de álgebras semisimple divididas, y dejar ser el conjunto de indexación para las representaciones irreductibles de . Denotamos por el módulo irreducible indexado por . Por la inclusión, alguna -módulo se restringe a un -módulo. Dejar denotar los números de descomposición
El diagrama de Bratteli para la cadena. se obtiene colocando un vértice por cada elemento de en el nivel y conectando un vértice en el nivel a un vértice en el nivel con bordes.
Ejemplos de
(1) Si , el i-ésimo grupo simétrico , el diagrama de Bratteli correspondiente es el mismo que el retículo de Young . [ cita requerida ]
(2) Si es el álgebra de Brauer o el álgebra de Birman-Wenzl en i hebras, entonces el diagrama de Bratteli resultante tiene particiones de i –2 k (para) con un borde entre particiones en niveles adyacentes si se puede obtener uno del otro sumando o restando 1 de una sola parte.
(3) Si es el álgebra de Temperley-Lieb en i hebras, la Bratteli resultante tiene enteros i -2 k (para) con un borde entre números enteros en niveles adyacentes si uno se puede obtener del otro sumando o restando 1.
Ver también
Referencias
- ^ Bratteli, Ola (1972). "Límites inductivos de C * -álgebras de dimensión finita " . Trans. Amer. Matemáticas. Soc . 171 : 195-234. doi : 10.1090 / s0002-9947-1972-0312282-2 . Zbl 0264.46057 .
- ^ Vershik, AM (1985). "Un teorema sobre la aproximación periódica de Markov en la teoría ergódica". J. Sov. Matemáticas . 28 : 667–674. doi : 10.1007 / bf02112330 . Zbl 0559.47006 .
- ^ Herman, Richard H .; Putnam, Ian F .; Skau, Christian F. (1992). "Diagramas de Bratteli ordenados, grupos de dimensiones y dinámica topológica". Revista Internacional de Matemáticas . 3 (6): 827–864. doi : 10.1142 / S0129167X92000382 .
- Halverson, Tom; Ram, Arun (1995). "Caracteres de álgebras que contienen una construcción básica de Jones: las álgebras de Temperley-Lieb, Okada, Brauer y Birman-Wenzl" . Adv. Matemáticas. 116 (2): 263–321. doi : 10.1006 / aima.1995.1068 . ISSN 0001-8708 . Zbl 0856.16038 .
- Davidson, Kenneth R. (1996). C * -álgebras por ejemplo . Monografías del Fields Institute. 6 . Providence, RI: Sociedad Matemática Estadounidense . ISBN 0-8218-0599-1. Zbl 0958.46029 .
- Rørdam, Mikael; Larsen, Flemming; Laustsen, Niels (2000). Una introducción a la teoría K para C * -álgebras . Textos estudiantiles de la London Mathematical Society. 49 . Cambridge: Cambridge University Press . ISBN 0-521-78334-8. Zbl 0967.19001 .
- Durand, Fabien (2010). "6. Combinatoria sobre diagramas de Bratteli y sistemas dinámicos". En Berthé, Valérie ; Rigo, Michael (eds.). Combinatoria, autómatas y teoría de números . Enciclopedia de Matemáticas y sus Aplicaciones. 135 . Cambridge: Cambridge University Press . págs. 324–372. ISBN 978-0-521-51597-9. Zbl 1272.37006 .