0
現代数学
文献あり

記法と注意(特に部分多様体)

262
0

記法と注意

C級)多様体には連結性と第二可算性を課す。単射ではめ込まれた部分多様体を単に「部分多様体」と呼び、「埋め込まれた部分多様体」とは区別する。
多様体(とその上の何か)に対するある性質が局所的であるとは、任意の開被覆{Ui}に対し「i Uiで成立全体で成立」となることとする。

記法

  • 多様体はM,N、部分多様体はι:PMで表す。knは大抵その次元。
  • C級写像、C級関数はϕ,ψ:MNf,g:MRで表し、明記しなければC級性を仮定する。
  • 近傍はどの点の周りかを表してUp,Uqなどと書く。局所座標はτ,σ:URnなどを使い、簡単のため像は常にRd全体とする。

部分多様体

ι:PMについてはめ込み単射なはめ込み埋め込みという論理包含がある。ここではめ込みとは各点の微分が単射であることで、埋め込みとは更に像への同相を課したものであった。普通は後者を部分多様体と定めるが、Frobeniusの定理から来る積分多様体は埋め込みでないから真ん中を部分多様体と呼ぶ。もっと思い出すために簡単な例を軽く紹介する。

はめ込み not 部分多様体

自己交叉するものは全てこれである。

部分多様体 not 埋め込み
  • 8の字のやつ(Rからの単射像だが原点近傍が無限遠方を含む。)
    8の字 8の字
  • トーラスにめっちゃ巻き付くやつ。ι:Rt(exp(2ti),exp(2αti))T2αRQについて考えると、稠密になって滅茶苦茶な絵になる。
    非可換回転 非可換回転
    前者は悪い、後者は良い部分多様体である。これはX:=θ1+αθ2というベクトル場の積分曲線であるが、Frobeniusの定理とは積分曲線の次元を上げた(つまりk個のベクトル場を積分してできるk次元の部分多様体)についての定理である。

部分多様体ι:PMは単射だから、ιとはMの部分集合Pとその上の多様体構造の組と言ってもよい。しかし実際にはPMを指定するだけで「ιC級になるP上の多様体構造は一意」となることが多い。例えば、埋め込まれた多様体は普通(局所的にRkRmに微分同相な)部分集合PMとして定まるが、実際そのようなPについてはそうなっているため単なる部分集合として定義する。一般の部分多様体については次のような反例があるが、Frobeniusの定理から来る極大積分多様体は局所的にRk×{可算部分集合}Rnと微分同相であるから、似た理由でこちらも正しい。

複数の多様体構造が入る部分多様体

M:=R2, Pを8の字とする。図のように二通りRからのC像だと思える:
8の字のやつ 8の字のやつ
が、ι=ιhogeとなるRの微分同相hogeは存在しない。

開集合への制限

開集合UMと部分多様体ι:PMに対し、PU:=ι1(U)Uもそう。

これは当たり前なのだが、(Mについて)局所的な話に持ち込むときに有用。

多様体構造が一意的になる部分集合

まずは逆関数定理を呼び出す。どちらも、ある点の微分がopenな条件を満たす場合に局所的な標準形(自明な線形写像)の存在を保証する。

逆関数定理

ϕ:MNpM, q:=ϕ(p)について
(1) 微分dϕp:TpMTqNが単射なら、ある局所座標(Up,τ),(Uq,σ)が存在し
Rkτ1UpϕUqσRnを標準的な(線形)包含写像とできる。
(2) 微分dϕp:TpMTqNが全射なら、ある局所座標(Up,τ),(Uq,σ)が存在し
Rkτ1UpϕUqσRnを標準的な(線形)全射とできる。

Frobeniusの定理で得られる積分多様体は次の仮定を満たすので、部分多様体を気にせず単に部分集合として書く。

この本の部分多様体は多様体構造が一意的

PMが局所的にRk×{可算}Rnに含まれるとする。つまり、Pの各点pに対しあるM内の局所座標(Up,τ)と可算部分集合DRnkが存在し、τ(UpP)Rk×Dとなっている。このとき、Pが部分多様体となる(つまりι:PMC級かつはめ込みとなる)多様体構造は一意的である。

スライス

ある局所座標(U,τ)dRnkを用いてS:=τ1(Rk×{d})と書ける部分集合SMスライスと呼ぶ。

P上の部分多様体構造を固定する。ι:PMに対し逆関数定理を用いることで、各点pPに対しPに含まれるスライスSMが存在し、そのような開集合SSRk全体がアトラスとなる。しかし、全てのスライスSPがそのPの部分多様体構造の局所座標となるわけではなく、あくまでそいつらの一部が開被覆になるというだけである(8の字参照)。というわけで示すべきことは「(アトラスに)一部を許せば全部入る」である。
実際に示すのはもっと強い命題である(N=Pとすれば、id:PPがどんな二つの多様体構造についてもC級になる)。

自動的C級性

PMが上の仮定を満たすとする。Pを部分多様体とする多様体構造を一つ固定する。ϕ:NPϕ:NMとしてC級なら元のϕC級性。

C級性が局所的性質という理由で、M=Rn,PRk×Dとして良い。Rk×DDの位相を忘れれば自明な多様体構造(と位相)が入るが、これはRnからの相対位相よりも細かい。「PRnの部分多様体ならこの位相について開」と「開なら自動的C級」に分けて示す。
まず、SPとなるスライスは連結性からあるdDSRk×{d}となる。これは微分が消えてないRkからRkへの話だから、SRk×{d}は開である。故に一つ目(とついでにPRk×Dから誘導される多様体構造を持つこと)が分かる。
二つ目はNが連結な場合に示せばいい。同じ理由でϕ(N)Rk×{d}に含まれているとしていい。普通の微積分の話で「Rnを終域として滑らかならRk(Rn)を終域として滑らか」である。

[War]では「P上の位相を決めれば部分多様体とする多様体構造が一意」とかも示していた。

参考文献

[1]
Frank W. Warner, Foundations of Differentiable Manifolds and Lie Groups, Graduate Texts in Mathematics, Springer New York, NY, 1983, 276
[2]
森田 茂之, 微分形式の幾何学, 岩波書店, 2005, 372
[3]
Gijs M. Tuynman., An elementary proof of Lie’s Third Theorem., Publications de l’U.E.R. Mathematiques Pures et Appliquees, I.R.M.A. Univ. Lille, 1994, 4
投稿日:2024829
更新日:202491

この本を高評価した人

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

この本に送られたバッジ

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

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

投稿者

SOFT ANALYSIS

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 記法と注意
  2. 記法
  3. 部分多様体
  4. 多様体構造が一意的になる部分集合
  5. 参考文献
前のページへ
1 / 5
次のページへ
リー群のノートの表紙
次ページへ