Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Dynkin Diagrams
Search
USAMI Kosuke
April 13, 2019
Science
0
1.8k
Dynkin Diagrams
※ Docswell に移行しました
https://www.docswell.com/s/usami-k/598YNW-dynkin-diagrams
USAMI Kosuke
April 13, 2019
Tweet
Share
More Decks by USAMI Kosuke
See All by USAMI Kosuke
Onsager代数とその周辺 / Onsager algebra tsudoi
usamik26
0
650
Apple HIG 正式名称クイズ結果発表 / HIG Quiz Result
usamik26
0
190
ゆめみ大技林製作委員会の立ち上げの話 / daigirin project
usamik26
0
340
@ViewLoadingプロパティラッパの紹介と自前で実装する方法 / @ViewLoading property wrapper implementation
usamik26
0
490
これからUICollectionViewを実践活用する人のためのガイド / Guide to UICollectionView
usamik26
1
760
Xcodeとの最近の付き合い方のはなし / Approach To Xcode
usamik26
2
680
UICollectionView Compositional Layout
usamik26
0
810
Coding Swift with Visual Studio Code and Docker
usamik26
0
520
Swift Extension for Visual Studio Code
usamik26
2
1.1k
Other Decks in Science
See All in Science
白金鉱業Meetup Vol.16_数理最適化案件のはじめかた・すすめかた
brainpadpr
4
2k
論文紹介 音源分離:SCNET SPARSE COMPRESSION NETWORK FOR MUSIC SOURCE SEPARATION
kenmatsu4
0
310
機械学習 - 授業概要
trycycle
PRO
0
240
機械学習 - pandas入門
trycycle
PRO
0
310
データベース03: 関係データモデル
trycycle
PRO
1
260
AI(人工知能)の過去・現在・未来 —AIは人間を超えるのか—
tagtag
1
120
KH Coderチュートリアル(スライド版)
koichih
1
46k
地表面抽出の方法であるSMRFについて紹介
kentaitakura
1
870
学術講演会中央大学学員会府中支部
tagtag
0
300
テンソル分解による糖尿病の組織特異的遺伝子発現の統合解析を用いた関連疾患の予測
tagtag
2
240
データベース11: 正規化(1/2) - 望ましくない関係スキーマ
trycycle
PRO
0
940
2025-06-11-ai_belgium
sofievl
1
150
Featured
See All Featured
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
252
21k
YesSQL, Process and Tooling at Scale
rocio
173
14k
Why Our Code Smells
bkeepers
PRO
339
57k
We Have a Design System, Now What?
morganepeng
53
7.8k
Unsuck your backbone
ammeep
671
58k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
23
1.4k
Being A Developer After 40
akosma
90
590k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
marktimemedia
31
2.5k
The Language of Interfaces
destraynor
161
25k
Fantastic passwords and where to find them - at NoRuKo
philnash
52
3.4k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
12
1.1k
Thoughts on Productivity
jonyablonski
70
4.8k
Transcript
ディンキン図形を知る (ルート系とディンキン図形) 宇佐見 公輔 2019 年 4 月 13 日
1
ディンキン図形とは何か 「ルート系(root system) 」と呼ばれる対象を図であらわしたもの が「ディンキン図形(Dynkin diagram) 」です。 Example (ディンキン図形) 2
ルート系とは何か 実ベクトル空間の部分集合で、ある特定の条件(これはもう少し 後で述べます)を満たすものを「ルート系(root system) 」と呼 びます。 Example (ルート系) 3
なぜルート系を考えるのか ルート系は、リー代数(Lie algebra)を分類する研究の中であら われました。 • 複素数体上の有限次元単純リー代数は、ルート分解という直 和分解ができます。 • そこに出てくるルート(root)というベクトルの集合は、あ る一定の性質を持っています。
• この性質をルート系の定義として、ルート系の分類をするこ とでリー代数の分類ができます。 その後、数学の様々な分野でルート系が登場することが知られる ようになりました。 4
ルート系の定義の準備:鏡映 E を有限次元実ベクトル空間、v, w ∈ E の内積を (v|w) とします。 Definition
(超平面) v ∈ E に対して Pv := {w ∈ E | (v|w) = 0} と定義し、v と直交す る超平面(hyperplane)と呼びます。 Definition (鏡映) v ∈ E と x ∈ E に対して、 c(x, v) := 2(x|v) (v|v) と定義し、写像 σv : E → E を以下で定義します。 x → x − c(x, v)v σv を、超平面 Pv に関する鏡映(reflection)と呼びます。 5
ルート系の定義 Definition (ルート系) ∆ ⊂ E がルート系(root system)であるとは、以下を満たすこと です。 1.
∆ は 0 を含まない有限集合で、E を張る。 2. c ∈ R、v ∈ ∆、cv ∈ ∆ のとき、c = ±1 である。 3. v ∈ ∆ のとき、σv(∆) = ∆ である。 4. v, w ∈ ∆ のとき、c(v, w) ∈ Z である。 また、ルート系の元をルート(root)と呼びます。 条件 4 が少し分かりにくいですが、言葉でいえば、 「v の鏡映 σv で w を移したときの差分が v の整数倍になる」という感じになり ます。 6
ルート系の例 Example (2 次元空間のルート系) 7
2 つのルートの関係 ベクトル v, w のなす角を θ とします。 c(v, w)
の定義から c(v, w)c(w, v) = 4 cos2 θ が導けます。 ここで v, w をルートとし、それらが線型独立とすると、 c(v, w) ∈ Z から、 c(v, w)c(w, v) = 0, 1, 2, 3 となることが分かります。 また、θ のとりうる値は以下です。 π 2 , π 3 , 2π 3 , π 4 , 3π 4 , π 6 , 5π 6 8
ルート系の底 ルート系には、基底のようなものが存在しています。 Proposition (ルート系の底) ∆ ⊂ E をルート系とします。以下を満たす Π ⊂
∆ が存在します。 1. Π は E の基底である。 2. v ∈ ∆ を v = e∈Π cee とすると、ce は全て 0 以上の整数、 または全て 0 以下の整数となる。 Π を ∆ の底(base)と呼びます。 9
ディンキン図形の定義 Definition (ディンキン図形) ∆ を n 次元空間のルート系、Π を ∆ の底とします。
以下のように構成されるグラフを ∆ のディンキン図形(Dynkin diagram)と呼びます。 1. n 個のノードを持つ。各ノードは Π の元でラベルづけされる。 2. ノードとノードを何本かの辺で結ぶ。その本数は c(v, w)c(w, v) とする。 (したがって、0〜3 本である) 3. 辺で結ばれたノードについて、(v|v) と (w|w) が異なる場合、 大きいほうのノードから小さいほうのノードへ矢印をつける。 補足:c(v, w)c(w, v) = 1 のときは (v|v) = (w|w) であるため、矢 印がつくのは辺が 2 本または 3 本のときとなります。 10
ディンキン図形の例 Example (2 次元空間のルート系のディンキン図形) 11
なぜディンキン図形を考えるのか ルート系の性質をディンキン図形の性質に置きかえると、簡単な 性質になります。例えば、以下のような性質が導けます。 • ループを持たない。 • 分岐は多くともひとつしかない。 • ひとつのノードから出る辺は 3
本以内である。 また、分岐がある場合にそれぞれの分岐はどのくらいの長さが可 能か、といった議論もできます。 これらを使って可能なディンキン図形を分類することで、ルート 系の分類ができます。 12
ディンキン図形の分類 Theorem (ディンキン図形の分類) ディンキン図形は以下のいずれかと一致する。また、以下のディ ンキン図形に対応するルート系が存在する。 • An (n ≥ 1)
• Bn (n ≥ 2) • Cn (n ≥ 3) • Dn (n ≥ 4) • En (n = 6, 7, 8) • F4 • G2 具体的な図は次ページ以降で。 13
ディンキン図形:古典型 An Bn Cn Dn 14
ディンキン図形:例外型 E6 E7 E8 F4 G2 15
ルート系とディンキン図形の面白さ 個人的に思う、ルート系とディンキン図形の面白さは以下のよう なところです。 • ルート系の性質が簡単なグラフ上の性質に置き換わる • 分類結果が多すぎず少なすぎず、ちょうどいいくらいの種類 • 例外型に感じられるロマン •
いろいろな分野に顔を出す意外性 決して難しい理論ではないので、ぜひ触れてみてください。 また、拡大ディンキン図形など、類似の図形もいろいろあるので、 調べてみると面白いかと思います。 16