はじめに
これは統治行為論アドベントカレンダー2024、9日目の記事です。
はじめに2
修論で気が狂っていたらいつの間にか自分の番になっていて、内容を何にも考えていませんでした。
修論ではケーラー曲面の退化について書いているのですが、重要な先行研究の結果にリー環の表現論を使います。統治行為論さんは表現論がお好きみたいなので、今回は修論でお世話になっている偉い先人の結果について書いていきます。
はじめに3
一般論を色々と準備するのは面倒なので、今回はに話を限って説明をします。これはDynkin 図形で言うと型に対応する話で、同様の結果が型、型に対しても成り立つことが知られています(そして、本質的にはこのADE型で起こる現象が、曲面の場合を尽くしていることも知られています)。
さて、あらためての定義を確認しておきましょう。
以降はもう体はしか使わないので、単にと書いてしまいます。いま、は次の正方行列全体の部分集合なので、交換子積
が定義できますが、は交換子積に関して閉じていることが分かります。以降は、にはこの交換子積でリー環の構造が入っているものとしておきましょう。さて、の場合にはルート系やカルタン部分代数などが手で具体的に計算できます:
とおくと、これはの可換な部分リー環となっています。また、行列要素(成分だけがで、他の成分がすべてであるような行列)に対して、をぶつけると、
が直接計算することでわかります。ところでたちはベクトル空間としての基底となっているので、加群としての分解
が得られます。
はじめに4
リー環 と次の巡回群には切っても切れない深い縁があります。このことを少し観察してみましょう。の既約表現をで定めます。ここでは生成元とし、はの原始乗根としてとっておきます。有限群の既約表現は共役類の個数と一致し、はアーベル群なのでたちがの既約表現を尽くしているとわかります。また、を上の表現として、で定めます(以降はこの表現を通してとみなします)。このとき、行列を
により定めます。このとき、行列はに対応する拡大Dynkin図形を記述するカルタン行列となっていることが手で計算するとわかります。特に、の単純ルート(≒大変良い基底) との既約表現の間に自然な一対一対応が作れることが分かります。
はじめに5
以上の準備の下でさっそく重力インスタントンを構成していきます。さて、次のような空間を考えます:
ここで、は既約分解がある(これは手でやればできる)ので、これが直交分解になるようにに内積を入れておく。すると、がに自然に作用する(側には自明に作用させる)。このとき、を、への自然な作用と可換な元からなる部分群とし、上の値関数をいい感じの斉次二次式で定めます。疲れてきちゃったので以降は大体で書きます。このとき、とおくと、にはから降ってくるハイパーケーラー多様体としての構造が入ることが知られています。このハイパーケーラー構造を重力インスタントンと呼びます。
おわりに
なんかいきなりよくわからない空間を作り出したなという感じがするので、以下のようにして、詳しくのことを観察していきます。まず、定義からがわかります。したがって特に、
と分解し、これはの作用の分解でもあることが分かります。また、のパラメータ空間はの既約表現との単純ルートとの対応により、自然とと同型であることもわかります。詳しくは自分で考えてください、あなたたちは頭がいいのできっとわかるはずです。
おわりに2
ケーラー曲面の退化は本質的に重力インスタントンの解析に帰着させられるのではないかと業界の間では期待されています。詳しくは数か月以内にarxivに挙がるはずの私の修論を読んでください。
おわりに3
リー環を用いた重力インスタントンの構成は中島啓先生による箙多様体の理論のプロトタイプであることが知られています。
おわりに4
最期に参考文献をあげておきます。
はじめに3,4の詳細は松澤淳一先生の教科書「特異点とルート系」を参照してください。はじめに5以降の内容はKronheimerによる原論文"The construction of ALE spaces as hyperkahler quotients"を読んでください。