数学において、ループ群は、最も一般的なリー理論的な意味では、円S 1からリー群Gへの滑らかな写像の群LG = C ∞ ( S 1 , G )であり、乗法は点ごとに定義されます。[ 1 ] Gがコンパクト リー群の場合、 LG は、リー代数L 𝔤 = C ∞ ( S 1 , 𝔤)を持つ無限次元リー群の基本的な例です。[ 2 ] [ 3 ]
基底ループの部分群Ω Gはホモトピー理論において基本的である一方、ループ群の中心拡張とその射影表現はアフィン Kac–Moody 代数、共形場理論、およびVerlinde 公式と密接に関連している。[ 1 ] [ 4 ]代数幾何学では、 LG ( R ) = G ( R (( t )))で定義される代数ループ群と、それに関連するアフィン Grassmann多様体およびアフィンフラグ多様体も研究される。[ 5 ]
G を位相群とする。円からGへの連続写像の集合C ( S 1 , G )は、コンパクト開位相を備えた点ごとの乗算の下で位相群となる。[ 6 ] S 1はコンパクトであるため、これは一様収束位相と同じである。[ 6 ]
リー理論では、通常、グループを考察する。
有限次元リー群Gにおける滑らかなループの集合。これは滑らかなコンパクト開位相、すなわち反復接線写像によって誘導される初期位相を備えている。
この位相では、LGは無限次元のリー群である。[ 7 ] [ 2 ]
そのリー代数は
点ごとの括弧付き。S 1 はコンパクトであるため、上の滑らかなコンパクト開位相はは、 S 1上のすべての導関数の一様収束のフレシェ位相です。同等に、 S 1上の角度座標と\mathfrak g上のノルムを選択した後、半ノルムによって定義されます。
Gの自由ループ群はLG自身です。基底ループ群は
評価マップの核
したがって、Ω GはLGの閉じた正規部分群である。定数ループを含めるとev 1が分裂するため、分裂完全列が存在する。
したがって、半直接積分解
位相空間として、Ω GはGの基底ループ空間である。その点ごとの積と基底ループの通常の連結は異なる演算であるが、ホモトピーを除いて同じ乗算を誘導する。これはエックマン-ヒルトンの議論の現れである。[ 1 ]
評価マップの分割
定数ループによってLGはG × ΩGを位相空間として識別する。
したがって、 LGのトポロジーは、Gと基底ループ空間Ω Gのトポロジーによって決定される。[ 1 ]
特に、LGの連結成分は以下のように分類されます。
Gが連結している場合、、 それで
したがって、Gが単連結であるときはいつでもLGも連結である。[ 1 ]
より一般的には、各k ≥ 1に対して、
したがって、ループ群のホモトピー群は、Gのホモトピー群を 1 度ずらしたものとG自身のホモトピー群によって決定される。[ 1 ]
これらの基本的な同一視は、ループ群が代数トポロジーにおいて重要である理由の一つである。ユニタリの場合、ループ群はボット周期性と密接に関連しており、均質空間LG / G ≅ Ω Gの Segal のグラスマンモデルはこの関係を明確にしている。[ 2 ]
ループ群は、点ごとの乗算に加えて、パラメータを回転させることで円の自然な動作を実現します。
これにより、半直接生成物を形成できる。
ここでT rotは回転によってLGに作用する。 [ 2 ]
この動作は、正エネルギー表現の理論の出発点です。LG の表現は、T rotの正の動作を備え、LGの表現である場合に正エネルギーを持つと言われます。シーガルの定式化では、正の値となるのは、スペクトルが下限を持つ演算子Aの場合。 [ 2 ]
コンパクトGの場合、既約正エネルギー表現はループ群の射影表現の特別なクラスです。これらは複素化されたループ群に正則的に拡張され、有限次元エネルギー固有空間に分解されます。[ 2 ]このため、コンパクトGのループ群の表現論はコンパクト群の表現論によく似ています。
Gが有限次元リー群である場合、 G内の適切なループ空間は無限次元多様体構造を継承する。滑らかなループの場合、LGはフレシェリー群であり、そのリー代数はループ代数である。
ポイントごとの括弧付き
指数写像は、Gの指数写像から点ごとに誘導される。
コンパクトGの場合、ループ群は無限次元リー群の最も単純でよく研究されている例の一つです。[ 2 ]
ループ群上の微分幾何学を展開するには、ソボレフ完備化L s Gがよく用いられる。特に、コンパクト、連結、単連結、単純リー群を基底とするループ群は、ヒルベルト多様体設定におけるケーラー計量を含む自然な幾何学的構造を持つ。[ 3 ]
定数ループの部分群としてGが埋め込まれた商LG / Gは、Ω Gと同一視できる。この均質空間の観点は、ループ群の幾何学において中心的な役割を果たす。[ 2 ] [ 3 ]
Gがコンパクトであり、G ℂがその複素化である場合、複素化されたループ群LG ℂ は、バーコフ分解やブルハット分解に類似した因数分解現象を許容します。これらの分解は、ループ群の幾何学、トープレッツ作用素の理論、および可積分系の解の構成において重要な役割を果たします。[ 1 ] [ 3 ] [ 10 ]
ループ群に付随する多くの自然な表現は、LGの正確な表現ではなく、円群U (1)によるLGの中心的な拡張の表現である。[ 1 ] [ 4 ]
コンパクトリー群Gの場合、 H 4 ( BG ; Z )の整数クラスは、越境によってループ群の中心拡張を生み出します。このような拡張は、しばしばレベルによって記述されます。[ 4 ]対応する射影ユニタリ表現には、積分可能な最高ウェイト表現または正エネルギー表現が含まれ、これらは関連するアフィン Kac–Moody 代数の表現と密接に関連しています。[ 1 ] [ 4 ]
ループ群の表現論は、フェルリンデ環およびねじれ同変K理論とも関連している。フリード、ホプキンス、テレマンの研究では、正エネルギー表現のフェルリンデ環は、 Gの適切なねじれ同変K群と同一視されている。[ 4 ]
σ を有限位数mのGの自己同型とする。対応するねじれループ群は、以下の条件を満たす滑らかな写像γ: R → Gから構成される。
同様に、円に移行した後、ねじれたループはモノドロミーσを持つS 1上の束のセクションとみなすことができる。[ 5 ]
ねじれループ群は、アフィン・ディンキン図の理論、表現論、アフィン・フラッグ多様体の理論において自然に現れる。これらには、リー代数的な対応物としてねじれアフィン・カッツ・ムーディー型が含まれる。[ 5 ]
代数幾何学と算術幾何学では、滑らかなループをローラン級数に置き換える。Gが体k上の代数群である場合、その代数ループ群は関手である。
k-環R上では、関連する正のループ群は
これらの対象はアフィン・グラスマン多様体の理論の基礎となる。
そして、幾何学的表現論、幾何学的ラングランズ・プログラム、志村多様体の局所モデルの理論の中心となるアフィン旗多様体。[ 5 ]
Gが複素化G Cを持つコンパクト リー群である場合、滑らかなループ群LG は複素化を持つ
これは無限次元リー群の中でもループ群の特別な特徴の一つである。[ 2 ]
密接に関連する役割は、 S 1で囲まれたディスクの 1 つを正則的に横切るループの部分群によって果たされます。単位ディスクをD 、その外部をD *とすると、正則写像D → G \mathbf CおよびD * → G Cの境界値からなる部分群L + G CおよびL - G Cが定義されます。[ 1 ] [ 2 ]
これらの正則部分群は、ビルコフの因数分解定理に含まれ、それによれば、適切な層では、 G \mathbf Cのループは次の形式で記述できる。
ここで、γ − \in L − G C、γ + \in L + G C、λ: S 1 → Tは極大トーラスへの準同型写像である。[ 2 ]この因数分解はブルハット分解の無限次元版であり、ループ群の同質空間の幾何学の多くを支えている。[ 1 ]
正則表現法は表現論にも取り入れられている。セガルのボレル・ワイルの図では、正エネルギー表現はループ群に付随する同質空間上の線束の正則切断の空間として実現され、すべての既約正エネルギー表現は複素化されたループ群の正則表現に拡張される。[ 2 ]
最も単純な非自明な例はG = S 1です。この場合、滑らかなループは、その巻き数によって連結成分まで分類されます。より一般的には、 T がリー代数𝔱とコ指標格子を持つトーラスである場合、
するとループ群は正準分解を持つ
どこ
特に、LTの連結成分は次のようにインデックス付けされます。T = S 1の場合、これは次のようになります。
したがって、 LS 1のコンポーネントは整数によってインデックス付けされます。[ 11 ]
ループ群は、いくつかの関連する方法で指数理論に導入されます。最も初期のものの1つは、ループ群に関連付けられた無限次元グラスマン多様体の行列式線束を介したものです。Pressley、Segalらが使用したグラスマン多様体モデルでは、この線束はループ群の基本中心拡大と、その表現の幾何学的実現に結び付けられています。[ 2 ] [ 12 ]
解析的指数理論は、トープレッツ作用素の族やスペクトル流を通して現れる。トーラスの場合、フリード、ホプキンス、テレマンは、スペクトル流がループ群表現に関連付けられたねじれK理論クラスの構成に必要な基本位相クラスを与えるディラック作用素の族を記述している。[ 4 ]
ループ群の正エネルギー表現に付随するディラック族から、より深い繋がりが生まれます。フリード、ホプキンス、テレマンの研究では、このようなフレドホルム演算子の族がねじれ同変K理論のクラスを生成し、この構成は、ヴェルリンデ環をGのねじれ同変K理論と同一視する要素の一つとなっています。[ 4 ]
これらの指数理論的な構成は、ループ群表現論を幾何学的量子化、中心拡大、および群G自体のトポロジーと結びつける。[ 4 ]
ループ群は、数学および数理物理学のいくつかの分野で出現する。
ループ群は、可積分系の現代理論において中心的な役割を果たしている。非線形発展方程式の大きなクラスは、複素スペクトルパラメータλを持つLaxペア形式またはゼロ曲率形式で記述できる。係数がλに対して有理関数的またはローラン多項式的に依存し、リー代数𝔤の値をとる場合、それらはループ代数L𝔤の要素と見なすことができる。ループ代数を正の部分と負の部分に分割し、対応するループ群で因数分解すると、可換な流れの階層と解生成手順が生成される。[ 13 ]
基本的な例として、KdV階層があります。SegalとWilsonは、KdV型の方程式の研究において、ループ群に関連付けられた無限次元グラスマン多様体の点から、大きなクラスの解を構築できることを示しました。この図では、可換フローは正のループ部分群の作用によって誘導され、対応する解はBaker関数とτ関数sで記述されます。[ 12 ]
ループ群の因数分解は、ドレッシング変換とバックルンド変換の基礎にもなっている。TerngとUhlenbeckは、ループ群作用の共通フレームワーク内で、特に非線形シュレディンガー方程式、修正KdV方程式、n波方程式を含むZS–AKNS階層について、保存則、散乱理論、階層、バックルンド変換を定式化した。[ 14 ]
微分幾何学でも同様の手法が用いられています。ループ群構成は、リー群や対称空間への調和写像、カイラルモデル、定平均曲率や等温曲面などの幾何積分可能なシステムの範囲に用いられます。[ 13 ] [ 15 ]コンパクトな場合、大域的なバーコフ型および岩澤型の分解はドレッシング法を強化し、いくつかの幾何積分可能なシステムに対して大域的なワイエルシュトラス型の表現をもたらします。[ 16 ]
ループ群は、ホッジ理論とのより特殊な相互作用においても現れる。ジェレミー・ダニエルの研究では、ループホッジ構造は、ループ群の幾何学的特徴を取り入れたホッジ構造の無限次元類似物として定義され、ループホッジ構造の変種は調和束と等価であることが示されている。[ 17 ]
この観点から、非可換ホッジ理論は、ループ群構成に関連する無限次元周期領域の値を持つ周期マップで表現することができる。[ 17 ]
カレント群はループ群を一般化したもので、円を滑らかな多様体Mに置き換えたものです。したがって、カレント群はMからGへの滑らかな写像の群であり、乗法は点ごとに定義されます。
より一般的には、シーガルはマッピンググループについて説明した。コンパクト多様体Xはループ群の高次元類似物であり、数理物理学では電流群やゲージ群として現れることに注意する。[ 18 ]
Gが位相群である場合、連続写像空間C ( M , G )はコンパクト開位相を持つ位相群となる。滑らかな写像の場合、通常は滑らかなコンパクト開位相が用いられる。[ 19 ] MとGに関する適切な仮定の下で、これによりC∞(M,G)は自然な無限次元リー群構造を持つ。そのリー代数は対応するカレント代数である。
点ごとのリー括弧付き。[ 20 ]
非コンパクト多様体の場合、コンパクト台を持つ電流群C ∞ c ( M , G )、あるいはより一般的にはM上のリー群の束の切断群Γ c ( M ,𝒢)を研究することが多い。主束のゲージ群は次の形式である。Ξ → Mが主G束である場合、そのゲージ群は切断群Γ( M ,Ad(Ξ))と同型であり、コンパクト台を持つゲージ群はΓ c ( M ,Ad(Ξ))と同型である。[ 21 ]
電流群は量子場理論やゲージ理論に自然に現れる。しかし、ループ群と比較すると、その一般的な表現論は十分に発展していない。最近の研究の多くは、中心拡張や、ゲージ群の有界表現や正エネルギー表現などの特殊なクラスの表現に焦点を当てている。[ 18 ] [ 21 ]