0

重力インスタントンの構成と表現論

78
0

はじめに

これは統治行為論アドベントカレンダー2024、9日目の記事です。

はじめに2

修論で気が狂っていたらいつの間にか自分の番になっていて、内容を何にも考えていませんでした。
修論ではケーラー曲面の退化について書いているのですが、重要な先行研究の結果にリー環の表現論を使います。統治行為論さんは表現論がお好きみたいなので、今回は修論でお世話になっている偉い先人の結果について書いていきます。

はじめに3

一般論を色々と準備するのは面倒なので、今回はslC(n)に話を限って説明をします。これはDynkin 図形で言うとAn型に対応する話で、同様の結果がDn型、En型に対しても成り立つことが知られています(そして、本質的にはこのADE型で起こる現象が、曲面の場合を尽くしていることも知られています)。
 さて、あらためてslC(n)の定義を確認しておきましょう。

slC(n):={XMatn(C)tr(X)=0}

以降はもう体はCしか使わないので、単にsl(n)と書いてしまいます。いま、sl(n)n次の正方行列全体の部分集合なので、交換子積
[X,Y]:=XYYX
が定義できますが、sl(n)は交換子積に関して閉じていることが分かります。以降は、sl(n)にはこの交換子積でリー環の構造が入っているものとしておきましょう。さて、sl(n)の場合にはルート系やカルタン部分代数などが手で具体的に計算できます:
h={Xsl(n)Xは対角行列}とおくと、これはsl(n)の可換な部分リー環となっています。また、行列要素Ei,j((i,j)成分だけが1で、他の成分がすべて0であるような行列)に対して、h=diag(h1,,hn)hをぶつけると、
[h,Ei,j]=(hihj)Ei,j
が直接計算することでわかります。ところでEi,jたちはベクトル空間としてsl(n)の基底となっているので、h加群としての分解
sl(n)=hijCEi,j
が得られます。

はじめに4

リー環sl(n)n次の巡回群Cnには切っても切れない深い縁があります。このことを少し観察してみましょう。Cnの既約表現π0,,πn1πi(a)=ζniで定めます。ここでaCnは生成元とし、ζn1の原始n乗根としてとっておきます。有限群の既約表現は共役類の個数と一致し、Cnはアーベル群なのでπiたちがCnの既約表現を尽くしているとわかります。また、πNC2上の表現として、πN(a)=diag(ζn,ζn1)で定めます(以降はこの表現を通してCnSU(2)とみなします)。このとき、行列A=(aij)
πNπi=aijπj
により定めます。このとき、行列C=2InAhに対応する拡大Dynkin図形を記述するカルタン行列となっていることが手で計算するとわかります。特に、hの単純ルート(≒大変良い基底) とCnの既約表現の間に自然な一対一対応が作れることが分かります。

はじめに5

以上の準備の下でさっそく重力インスタントンを構成していきます。さて、次のような空間を考えます:
V=C2End(C[Cn]).
ここで、C[Cn]は既約分解C[Cn]=πiがある(これは手でやればできる)ので、これが直交分解になるようにC[Cn]に内積を入れておく。すると、U(C[Cn])Vに自然に作用する(C2側には自明に作用させる)。このとき、FU(C[Cn])(Matn(C))を、Vへの自然なCn作用と可換な元からなる部分群とし、M:=VCn上のZ=(Lie(F)sl)3値関数μをいい感じの斉次二次式で定めます。疲れてきちゃったので以降は大体で書きます。このとき、Xζ=μ1(ζ)/Fとおくと、XζにはMから降ってくるハイパーケーラー多様体としての構造が入ることが知られています。このハイパーケーラー構造を重力インスタントンと呼びます。

おわりに

なんかいきなりよくわからない空間を作り出したなという感じがするので、以下のようにして、詳しくXζのことを観察していきます。まず、定義からM=HomCn(C[Cn],C2C[Cn])がわかります。したがって特に、
M=i,jai,jC
と分解し、これはFの作用の分解でもあることが分かります。また、Xζのパラメータ空間ZCnの既約表現とhの単純ルートとの対応により、自然と(h3)と同型であることもわかります。詳しくは自分で考えてください、あなたたちは頭がいいのできっとわかるはずです。

おわりに2

ケーラー曲面の退化は本質的に重力インスタントンの解析に帰着させられるのではないかと業界の間では期待されています。詳しくは数か月以内にarxivに挙がるはずの私の修論を読んでください。

おわりに3

リー環を用いた重力インスタントンの構成は中島啓先生による箙多様体の理論のプロトタイプであることが知られています。

おわりに4

最期に参考文献をあげておきます。
はじめに3,4の詳細は松澤淳一先生の教科書「特異点とルート系」を参照してください。はじめに5以降の内容はKronheimerによる原論文"The construction of ALE spaces as hyperkahler quotients"を読んでください。

投稿日:2024128
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに2
  2. はじめに3
  3. はじめに4
  4. はじめに5
  5. おわりに
  6. おわりに2
  7. おわりに3
  8. おわりに4