リー群論において、指数写像(しすうしゃぞう、英: exponential map)は、リー群のリー環から局所的な群構造を取り出せるような、リー環からリー群への写像である。指数写像の存在はリー環のレベルでリー群を研究することの主要な正当性の1つである。
解析学の通常の指数関数は G が正の実数の乗法群(そのリー環は実数全体のなす加法群)のときの指数写像という特別な場合である。リー群の指数写像は通常の指数関数の性質と類似の多くの性質を満たすが、しかしながら、多くの重要な面において異なりもする。
をリー群とし
を︵
の単位元における接空間として考える︶そのリー環とする。指数写像 (exponential map) は以下のようにいくつかの異なる方法で定義できる写像
である‥
●
。ただし
は単位元における接ベクトルが
に等しいような
の唯一の1パラメータ部分群︵英語版︶である。チェインルールから
が容易に従う。写像
は
に伴う右あるいは左不変なベクトル場の積分曲線として構成することができる。すべての実パラメータに対して積分曲線が存在することは 0 の近くでの解を右または左移動することによって従う。
●平行移動が左移動によって与えられるような G上の標準的な左不変なアフィン接続の指数写像。つまり、
ただし
は始点が単位元で︵接ベクトルと考える︶始速度が Xの唯一の測地線である。
●G の標準的な右不変なアフィン接続の指数写像。これは通常標準的な左不変な接続とは異なるが、どちらの接続も同じ測地線︵左または右からの積によって作用する1パラメータ部分群の軌道︶を持つので同じ指数写像を与える。
●
が行列リー群であれば、指数写像は行列の指数関数と一致し、通常の級数展開によって与えられる‥
︵ここで
は単位行列である︶。
●G がコンパクトであれば、左及び右移動で不変なリーマン計量を持ち、指数写像はこのリーマン計量の指数写像︵英語版︶である。
●リー群とリー環の対応︵英語版︶もまた定義を与える‥
の元 Xに対し、
はリー環準同型
に対応する唯一のリー群準同型である。︵注‥
︶
●複素平面で中心が 0 にある単位円は、1における接空間が複素平面の虚数直線
と同一視できるリー群である︵円群と呼ばれる︶。このリー群の指数写像は
つまり、通常の複素指数関数と同じ公式で与えられる。
●分解型複素数平面
において、虚数直線
は単位双曲線︵英語版︶群
のリー環をなす、なぜならば指数写像は
によって与えられるからだ。
●四元数 Hにおいて 0 を中心とする単位3次元球面 S3は1での接空間が純虚四元数の空間
と同一視できるリー群︵特殊ユニタリ群 SU(2) と同型︶である。この基本的な表現におけるこのリー群の指数写像は
によって与えられる。この写像は純虚四元数の中の半径 Rの2次元球面を
,
のとき半径
の2次元球面、にうつす︵cf. パウリベクトルの指数関数︵英語版︶。︶これを上の最初の例と比較せよ。
●V を有限次元実ベクトル空間としそれを加法的なリー群と見る。すると Vを 0 での接空間と同一視することで
であり、指数写像
は恒等写像である。
●すべての
に対して、写像
は、単位元における接ベクトルが Xであるような Gの唯一の1パラメータ部分群である。したがって
●
●
●指数写像
は滑らかな写像︵英語版︶である。単位元における微分
は︵通常の同一視によって︶恒等写像である。したがって指数写像は適当に制限すると
における 0 のある近傍から Gにおける1のある近傍への微分同相となる。
●しかしながら指数写像は一般には被覆写像ではない。すべての点において局所微分同相とはなっていないのである。例えば、so(3) から SO(3) への写像は被覆写像でない。この不成立に関してはcut locus︵英語版︶も参照。
●指数写像の像は常に Gの単位成分︵英語版︶に入る。G がコンパクトなときには、指数写像は単位元成分への全射である。
●一般に、指数写像は以下の場合に全射である‥ Gは連結かつコンパクト、G は連結かつ冪零、
。
●連結だがコンパクトでない群 SL2(R) の指数写像の像は群全体ではない。その像は固有値が正か絶対値1の C-対角化可能な行列と固有値1の対角化可能でない三角化可能行列からなる。
●写像
は Xに伴う右左両方不変なベクトル場の単位元を通る積分曲線である。
●X に伴う左不変ベクトル場
の
を通る積分曲線は
によって与えられる。同様に、右不変ベクトル場
の gを通る積分曲線は
によって与えられる。ベクトル場
によって生成されるフロー
は次で与えられることが従う‥
●
●
これらのフローは大域的に定義されているから、G 上のすべての左及び右不変ベクトル場は完備︵英語版︶である。
●
をリー群準同型とし、
をその単位元における微分とする。すると以下の図式は可換である‥
●とくに、群 Gのリー群の随伴表現に適用すると、
●
●
- Hazewinkel, Michiel, ed. (2001), “Exponential mapping”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Exponential_mapping
- Helgason, Sigurdur (2001), Differential geometry, Lie groups, and symmetric spaces, Graduate Studies in Mathematics, 34, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2848-9, MR1834454 .
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, Vol. 1 (New ed.), Wiley-Interscience, ISBN 0-471-15733-3 .