Note 1
Kac-Moody Lie Algebra
1 <Cartan matrix>
Base field K
Finite index set I
Square matrix that has elements by integer A = ( aij )i, j ∈ I
Matrix that satisfies the next is called Cartan matrix.
i, j ∈ I
(1) aii = 2
(2) aij ≤ 0 ( i ≠j )
(3) aij = 0 ⇔ aji = 0
2 <Fundamental root data>
Finite dimension vector space h
Linearly independent subset of h {hi}i∈I
Dual space of
h*= HomK (h, K )
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image002.gif)
Linearly independent subset of h* {αi} i∈I
Φ = {h, {hi}i∈I, {αi} i∈I }
Cartan matrix A = {αi(hi)} I, j∈I
Φis called fundamental root data of A that is Cartan matrix.
3 <Lie algebra>
Cartan matrix A = {αi(hi)} I, j∈I
Fundamental root data Φ what A is Cartan matrix Φ = {h, {hi}i∈I, {αi} i∈I }
Lie algebra that is generated by {ah}h∈h ∪{
i ,
i }i∈I
(Φ)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image004.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image006.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image008.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image008.gif)
h, h’ ∈ h c ∈ K i, j ∈ I
ah + ah’ = ah+h’
cah = ach
[ah, ah’] = 0
[ah,
i] = αi(h)
i
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image004.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image004.gif)
[ah,
i] = -αi(h)
i
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image010.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image012.gif)
[
i ,
i] =
ijahi
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image004.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image006.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image014.gif)
4 <Kac-Moody Lie algebra>
Subset of
(Φ) {ad(
i)1-aij(
j), ad(
i)1-aij(
j)|i,j∈I, i ≠j }
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image008.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image004.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image004.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image016.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image016.gif)
Ideal of the subset r0(Φ)
r0(Φ) = r0+(Φ) ⊕ r0-(Φ)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image017.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image017.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image017.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image017.gif)
![](file:///C:/Users/master/Documents/My%20Web%20Sites/SRFL/SekinanLinguisticField/KMLANote1KacMoodyLieAlgebra.files/image017.gif)