同境
微分位相幾何学において、同境(読み:どうきょう、英: cobordism、独: Kobordismus、仏: cobordisme、露: Бордизм、中: 配边)とはコンパクト可微分多様体におけるひとつの同値関係である。もし二つのコンパクト可微分多様体とが或るコンパクト多様体の境界 のような境界のようになることを与えるならば、それらは同境な(形容詞:仏: cobordant)または同境である(仏: cobordisme)。がとからのひとつの同境を実現しても、このような多様体がとからのひとつの同境である。そのような同境についての存在はとが同じ次元であることに関係する。
厳密にいうと、同境は同値関係ではない、なぜなら或る一定の次元の可微分多様体における類別は集合ではない。しかしながら、二つの多様体とが同境であるにはこれらの多様体の微分同相の同値類での同一性に依存することが与えられている。同境は、微分同相を除いて区別する次元の可微分多様体における集合での同値関係を定める。
規約しだいで、或る多様体は可算コンパクトを満たす。各々のコンパクトは局所地図 (フランス語: carte locale )の領域の有限な個数において覆われることを与えられ、そして各々の領域はの開集合で一体化する。或る可微分多様体はこのようにして連続体濃度である。次元の可微分多様体の類は実数の集合における次元の可微分多様体の集合のひとつの商として得られるのに似た微分同相により同一視される。
向き付けられた可微分多様体についての同境であるところの、より詳細な関係がある。境界をもつ或る多様体における或る向き付けはその境界における或る向き付けから得られる。に連結する向き付け可能な可微分多様体について、異なった二つの向き付けが存在する。この向け付けが取り挙げられることにおいて一つあれば、は向き付けられると呼ばれる。二番目の向き付けの負の多様体をで記す。コンパクトな境界を持った或る多様体が存在し、とにおける直和が境界となるような向き付けが存在すれば、二つの向き付けられたコンパクト多様体とは互いに同境と呼ばれる。はとによって向き付けられた同境であると呼ばれる。
記事冒頭において取り上げるべきその他の同境についての概念も同じく存在する。
同境の例
0次元
0次元のコンパクト多様体はまさしく点の有限集合である[要出典]。微分同相は全単射である。微分同相を除いて、それらは基数によって分類される。コンパクトな境界をもつ1次元のひとつの多様体は分かれた、区間における複写物(仏: copy)ならびに円周の複写物の、単なる集まりである。区間の利用は幾つかの点の対を無効にする或る同境に対して可能にされる。これに対し、ひとつの点は点の対に対して同境ではない。実際、二つの有限集合はそれらが同じ偶奇性をもつ基数であるならば同境である。
関係する多様体のすべてのように、(またはの)記号をもって記される、二つの向き付けを或る点は確かに有する。0次元の向き付けられたコンパクト多様体は記号との有限な集まりである。向き付けられた区間の複写物を使うことは、記号とを取り消す、もしくは記号とを生み出すことに逆な、向き付けられた同境を可能にする。数学で謂うところの署名(英語版)を呼び出す、記号の個数から記号の個数を差し引いたものは、向き付けられた同境についての不変量である。
1次元
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/47/Pants.png/220px-Pants.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2a/Stef57_Cobordisme_en_dim_1.jpg/220px-Stef57_Cobordisme_en_dim_1.jpg)
1次元に結合された唯一のコンパクト多様体は円周に似た微分同相のものである。実際、1次元のコンパクト可微分多様体は分かれた有限個の円周の寄せ集めである。数学で謂うところのズボン(英語版)はひとつの円周と二つの円周のひとつの合併による或る同境を実現する(反対側の図を見よ)。いわば、分かれた有限個の円周の全部の合併は、ひとつの円周におけるその一周との同境である。1次元の同境はいかなる情報も与えない。
高次元
- におけるコンパクトな超曲面のすべては、或るコンパクトな領域を境界づける。そのような領域からひとつの球状のものを取り去ったならば、におけるコンパクトな超曲面のすべては、球面と同境となる。
- 二次元の向き付け可能なコンパクトな曲面のすべてはにおける或るコンパクトな超曲面のようなものになる。先の例は二次元の向き付け可能な曲面のすべては同境であることをしめす。その同境は種数についての情報を与えない。
- 三次元の向け付け可能なコンパクト多様体のすべては球面のようなもの(もしくは空集合、それは同様になる)と同境になる。その結果は高次元においては成り立たない。
制約条件
二つの可微分多様体が同境にあることを妨げるホモロジー的性質の制約条件がある。この制約条件は特性類を用いる[1]
スティーフェル・ホイットニー数
- における係数によるすべての特性類は(正規化の手法により)そのスティーフェル・ホイットニー類に関する或る多項式のように記述される。
- 次元可微分多様体のすべてにおいて、の分割のすべては、におけるスティーフェル・ホイットニー数に結び付けられる。
ポントリャーギンの定理 ― 同じ次元の二つの可微分多様体がもし同境であれば、それらは同じスティーフェル・ホイットニー数を持つ。
トムの定理 ― 同じ次元の二つの可微分多様体が同じスティーフェル・ホイットニー数を持ては、それらは同境である。
h‐同境理論
h‐同境理論は'再定義'(仏: recollements)および位相的構成の用語での同境における理解を与える[脚注 1]。その証明はモース関数 (フランス語: fonction de Morse )とモース理論の基礎の利用においてそれ自体を成り立たせる。
接触多様体における同境
接触多様体(フランス語版)は、が或る体積形式であるところの微分形式をもつ、奇数次元のコンパクト可微分多様体である。それらは次のようである:
- 範囲内の'リュービル場'(仏: champ de Liouville )に存在するものである、近傍 でのの境界での連結成分の集まりの場合の、次元シンプレクティック多様体の凸面の境界;
- 範囲内のリュービル場に存在するものである、近傍でのの境界での連結成分の集まりの場合の、次元シンプレクティク多様体の凹面の境界;
それらが境界にあるシンプレクティック多様体に存在する、ともに同境である二つの接触多様体と は、各々順に凹面と凸面の境界のようになる、との直和である。
脚注
引用文献
- Thom, R. (1954). “Quelques propriétés globales des variétés différentiables” (フランス語). Commentarii Mathematici Helvetici: 17 - 86. ISSN 0010-2571. https://link.springer.com/content/pdf/10.1007%2FBF02566923.pdf.
- Stong, Robert (2016 (first edition, 1968)) (英語). Notes on Cobordism theory. Princeton: Princeton University Press. ISBN 978-0-691-64901-6