アフィンルート系
数学において，アフィンルート系（英: affine root system）はユークリッド空間上のアフィン線型写像のルート系である．それらはアフィンリー代数や超代数，半単純 p-進代数群の分類において用いられ，マクドナルド多項式の族に対応する．被約アフィンルート系はカッツとムーディによってカッツ・ムーディ代数についての彼らの研究において用いられた．被約とは限らないアフィンルート系は Macdonald (1972) と Bruhat & Tits (1972) によって導入され分類された（これら2つの論文は誤ってディンキン図形 
を省いていたことを除いて）．
定義
[編集] | この節には内容がありません。 (September 2011) |
分類
[編集]アフィンルート系 A1 = B1 = B∨
1 = C1 = C∨
1 は同じであり，また B2 = C2, B∨
2 = C∨
2, A3 = D3 である．
表で与えられている軌道の個数はワイル群の下での単純ルートの軌道の個数である．ディンキン図形において，被約でない単純ルート α（で 2α がルートのもの）は緑色に塗られている．系列の最初のディンキン図形は他のと同じ規則に従わないことがある．
| アフィンルート系 | 軌道の個数 | ディンキン図形 |
|---|---|---|
| An (n ≥ 1) | 2 if n = 1; 1 if n ≥ 2 |  ,   ,   ,  , ...
|
| Bn (n ≥ 3) | 2 |  ,  ,, ...
|
| B∨ n (n ≥ 3) |
2 | , ,, ...
|
| Cn (n ≥ 2) | 3 | , , , ...
|
| C∨ n (n ≥ 2) |
3 | , , , ...
|
| BCn (n ≥ 1) | 2 if n = 1; 3 if n ≥ 2 |  , , , , ...
|
| Dn (n ≥ 4) | 1 |  , , , ...
|
| E6 | 1 |  
|
| E7 | 1 |  
|
| E8 | 1 |
|
| F4 | 2 |
|
| F∨ 4 |
2 |
|
| G2 | 2 | 
|
| G∨ 2 |
2 | 
|
| (BCn, Cn) (n ≥ 1) | 3 if n = 1; 4 if n ≥ 2 | , , , , ...
|
| (C∨ n, BCn) (n ≥ 1) |
3 if n = 1; 4 if n ≥ 2 | , , , , ...
|
| (Bn, B∨ n) (n ≥ 2) |
4 if n = 2; 3 if n ≥ 3 | , , ,, ...
|
| (C∨ n, Cn) (n ≥ 1) |
4 if n = 1; 5 if n ≥ 2 | , , , , ...
|
階数による既約アフィンルート系
[編集]- Rank 1: A1, BC1, (BC1, C1), (C∨
1, BC1), (C∨
1, C1). - Rank 2: A2, C2, C∨
2, BC2, (BC2, C2), (C∨
2, BC2), (B2, B∨
2), (C∨
2, C2), G2, G∨
2. - Rank 3: A3, B3, B∨
3, C3, C∨
3, BC3, (BC3, C3), (C∨
3, BC3), (B3, B∨
3), (C∨
3, C3). - Rank 4: A4, B4, B∨
4, C4, C∨
4, BC4, (BC4, C4), (C∨
4, BC4), (B4, B∨
4), (C∨
4, C4), D4, F4, F∨
4. - Rank 5: A5, B5, B∨
5, C5, C∨
5, BC5, (BC5, C5), (C∨
5, BC5), (B5, B∨
5), (C∨
5, C5), D5. - Rank 6: A6, B6, B∨
6, C6, C∨
6, BC6, (BC6, C6), (C∨
6, BC6), (B6, B∨
6), (C∨
6, C6), D6, E6, - Rank 7: A7, B7, B∨
7, C7, C∨
7, BC7, (BC7, C7), (C∨
7, BC7), (B7, B∨
7), (C∨
7, C7), D7, E7, - Rank 8: A8, B8, B∨
8, C8, C∨
8, BC8, (BC8, C8), (C∨
8, BC8), (B8, B∨
8), (C∨
8, C8), D8, E8, - Rank n (n>8): An, Bn, B∨
n, Cn, C∨
n, BCn, (BCn, Cn), (C∨
n, BCn), (Bn, B∨
n), (C∨
n, Cn), Dn.
応用
[編集]- Macdonald (1972) はアフィンルート系がマクドナルド恒等式を添え字付けることを示した．
- Bruhat & Tits (1972) はアフィンルート系を用いて p-進代数群を研究した．
- 被約アフィンルート系はアフィンカッツ・ムーディ代数を分類し，被約でないアフィンルート系はアフィンリー超代数と対応する．
- Macdonald (2003) はアフィンルート系がマクドナルド多項式の族を添え字付けることを示した．
参考文献
[編集]- Bruhat, F.; Tits, Jacques (1972), “Groupes réductifs sur un corps local”, Publications Mathématiques de l'IHÉS 41: 5–251, doi:10.1007/bf02715544, ISSN 1618-1913, MR0327923
- Macdonald, I. G. (1972), “Affine root systems and Dedekind's η-function”, Inventiones Mathematicae 15: 91–143, doi:10.1007/BF01418931, ISSN 0020-9910, MR0357528
- Macdonald, I. G. (2003), Affine Hecke algebras and orthogonal polynomials, Cambridge Tracts in Mathematics, 157, Cambridge: Cambridge University Press, pp. x+175, doi:10.2277/0521824729, ISBN 978-0-521-82472-9, MR1976581