A matematikában a Cartan-mátrix kifejezésnek három jelentése van. Mindegyiket Elie Cartan francia matematikusról nevezték el . Valójában a Cartan mátrixait a Lie algebrák kontextusában először Wilhelm Killing tárta fel , míg a Killing forma Cartannek köszönhető.
Az általánosított Cartan-mátrix egy négyzetes mátrix , olyan egész számokkal
Például a G 2 Cartan-mátrixa a következőképpen bontható fel:
A harmadik feltétel nem független, és az első és negyedik feltétel következménye.
Mindig választhatjuk a pozitív átlós elemekkel rendelkező D -t. Ebben az esetben, ha S a bővítésben pozitív határozott , akkor A -t Cartan-mátrixnak mondjuk .
Az egyszerű Lie algebra Cartan-mátrixa egy olyan mátrix, amelynek elemei skaláris szorzatok
(néha Cartan egész számoknak nevezik ), ahol r i az algebra gyökérrendszere . Az elemek a gyökérrendszer egyik tulajdonsága miatt egész számok . Az első feltétel a definícióból következik, a második abból, hogy for egy gyök, amely r i és r j egyszerű gyökök lineáris kombinációja , pozitív együtthatóval r j -re , majd az r i együtthatónak nem kell lennie . -negatív. A harmadik feltétel az ortogonalitási reláció szimmetriája miatt igaz . És végül hagyjuk és . Mivel az egyszerű gyökök lineárisan függetlenek, ezért S a Gram-mátrixuk (2-es tényezővel), ezért pozitív határozott.
És fordítva, ha egy általánosított Cartan-mátrixot adunk meg, akkor megtalálhatjuk a megfelelő Lie algebrát (lásd a részleteket a Kac-Moody Algebra cikkben ).
Egy A méretű mátrix felbontható , ha létezik olyan nem üres részhalmaz , hogy mindenre és . A felbonthatatlan , ha ez a feltétel nem teljesül.
Legyen A egy felbonthatatlan általánosított Cartan-mátrix. Azt mondjuk, hogy A véges típusú , ha minden főmollja pozitív, A affin típusú , ha az összes tulajdonképpeni főmoll pozitív és A determinánsa 0, egyébként pedig A határozatlan típusú .
A véges típusú felbonthatatlan mátrixok véges dimenziójú (típusú ) egyszerű Lie csoportokat osztályoznak , míg az affin típusú felbonthatatlan mátrixok affin Lie algebrákat (néhány algebrailag zárt 0 karakterisztikájú mező felett).
Cartan-mátrixok meghatározói egyszerű Lie algebrákhozAz egyszerű Lie-algebrák Cartan-mátrixainak determinánsait a táblázat tartalmazza.
, | , | , | , | |||
n +1 | 2 | 2 | négy | 9- n | egy | egy |
Ennek a determinánsnak egy másik tulajdonsága, hogy egyenlő a hozzá tartozó gyökérrendszer indexével, azaz egyenlő -val , ahol a súlyrácsot , illetve a gyökérrácsot jelöli.
A moduláris reprezentációk elméletében és a véges dimenziós asszociatív algebrák reprezentációinak általánosabb elméletében , amelyek nem félig egyszerűek , a Cartan-mátrixot a fő felbonthatatlan modulok véges) halmazának figyelembevételével határozzák meg. és az kompozíciósorozatot írjuk nekik prímmodulok alapján , így egész számokból álló mátrixot kapunk, amely tartalmazza a prímmodul előfordulásai számát.
Az M-elméletben a geometriát két ciklus határaként ábrázolhatjuk, amelyek véges számú pontban metszik egymást, mivel a két ciklus területe nulla. A határértékben egy lokális szimmetriacsoport keletkezik . A kétciklusú bázis metszésponti indexeinek mátrixa hipotetikusan ennek a lokális szimmetriacsoportnak a Lie algebrájának Cartan-mátrixa [1] .
Ez a következőképpen magyarázható: az M-elméletben léteznek szolitonok , amelyek kétdimenziós felületek, amelyeket membránoknak vagy 2-bránoknak neveznek . A 2-bránok feszültek , ezért hajlamosak zsugorodni, de két cikluson keresztül körbetekerhetők, hogy megakadályozzák a membránok nullára való összeesését.
Lehetőség van egy dimenziós tömörítés , amelyben az összes két ciklus és azok metszéspontjai találhatók, és nullára vesszük azt a határt, amelynél a méret összeesik, ezáltal csökkentve ezt a méretet. Ezután megkapjuk az IIA típusú húrelméletet az M-elmélet határaként kétciklusú tekercselő 2-bránokkal, amelyeket most D-bránok között kifeszített nyitott húrokként ábrázolnak . Minden D-bránhoz létezik egy U(1) lokális szimmetriacsoport , amely hasonló az átirányítás nélküli mozgás szabadsági fokaihoz. Az a határ, ahol két ciklus területe nulla, az a határ, ahol ezek a D-bránok egymáson vannak.
A két D-brán közé feszített nyitott karakterlánc egy Lie algebra generátort reprezentál , két ilyen generátor kommutátora pedig a harmadik generátor, amelyet egy nyitott karakterlánc ábrázol, amelyet a két nyitott húr éleinek összeragasztásával kaphatunk. A különböző nyitott húrok közötti további kapcsolatok attól függnek, hogy az eredeti M-elméletben a 2-bránok milyen módon metszhetik egymást, vagyis a kétciklusú metszéspontok számától. Így a Lie algebra teljes mértékben ezektől a metszéspontszámoktól függ. A Cartan mátrixszal való kapcsolat azért javasolt, mert leírja azokat az egyszerű gyökérkommutátorokat , amelyek a választott bázis két ciklusához kapcsolódnak.
Figyeljük meg, hogy a Cartan-algebrában a generátorokat nyitott húrok képviselik, amelyek egy D-brán és ugyanazon brán között vannak megfeszítve.