無限次元多様体の幾何学とトポロジー

\(\R \) 上 (\(\bbC \) 上) の有限次元ベクトル空間は, \(\R ^n\) (\(\bbC ^n\)) と同一視できるので, 有限次元多様体の場合は次元だけ考えればよかった。 ところが無限次元ベクトル空間は, 同じ可算次元のものでも様々な位相 (norm) が入るので, 位相ベクトル空間として考えないといけない。 つまりモデルとするベクトル空間に canonical なものが無いのである。

無限次元多様体については, まず Palais の論文[Pal66] を見るべきだろう。Kriegl と Michor の解説 [KM91; KM97] もある。 Lang の多様体の本 [Lan85] は無限次元の場合も含めて書いてある。

• 位相ベクトル空間 \(V\) を model とする位相多様体の定義
• 第1可算公理をみたす locally convex topological vector space を model とする位相多様体は locally metrizable
• Locally convex topological vector space \(V\) を model とする位相多様体が metrizable であるための必要十分条件は, \(V\) が第1可算公理をみたし, paracompact であることである。
• Hilbert manifold
• Banach manifold
• Fredholm manifold

Palais は, [Pal66] で metrizable manifold について詳しく調べている。 例えば, 次の結果を得ている。

• Metrizable manifold は, simplicial complex で dominate される。
• \(M\) と \(N\) が metrizable manifold のとき, 任意の弱ホモトピー同値 \(f :M \to N\) はホモトピー同値である。

Ramras [Ram11] は, 無限次元の場合も含め, 群の作用を持つ多様体の invariant submanifold に対し, invariant tubular neighborhood の存在を考えている。

無限次元球面はあまり面白くない。

• \(S^{\infty }\) は可縮である。

無限次元多様体の例として重要なものに, loop空間を始めとした, 有限次元多様体の間の写像の成す空間がある。Pressly と Segal の loop群の本 [PS86] にも書いてはあるが, Stacy の解説 [Sta] が詳しい。Stacey は, [Sta09] で各種 loop空間が smooth manifold の構造を持つための条件を考えている。これらの Stacey の論文によると, Kriegel と Michor の [KM97] が基本的な文献らしい。 Galatius と Madsen と Tillmann と Weiss の cobordism category の分類空間の研究 [Gal+09] でも参照されている。

Loop群とも関連するが, 無限次元多様体の例として, 無限次元 Grassmann多様体も重要である。 \(K\)理論はもちろん, KdV方程式など様々な場面で使われる。 Abbondandolo と Majer の [AM09] で色々調べられている。

多様体の中の (無限個の場合も含む) 点の configuration space を考えているのが, Albeverio, Kondratiev, Röckner の [AKR98a; AKR98b] である。ただし, 異なる cardinality のものを合せて考えているという点で, どちらかというと, Ran space に近いかもしれない。

\(C^*\)-algebraの視点から, Connes の noncommutative geometry のテクニックを導入することにより, 無限次元の多様体のトポロジーを調べようというのが Dumitrascu と Trout の [DT]である。その Introduction には簡単に有限次元の場合の review があり, それをどのように一般化するか書いてある。 アイデアは, 有限次元の多様体で filtration を入れて, その \(C^*\)-algebra の direct limit を考えるというものである。それにより \(K\)-theory を (定義しょう) 調べようというのである。

多様体の定義を, 別の視点から無限次元のものも含むように拡張するという試みもある。

• 多様体の概念の様々な一般化

References

[AKR98a]

S. Albeverio, Yu. G. Kondratiev, and M. Röckner. “Analysis and geometry on configuration spaces”. In: J. Funct. Anal. 154.2 (1998), pp. 444–500. url: http://dx.doi.org/10.1006/jfan.1997.3183.

[AKR98b]

S. Albeverio, Yu. G. Kondratiev, and M. Röckner. “Analysis and geometry on configuration spaces: the Gibbsian case”. In: J. Funct. Anal. 157.1 (1998), pp. 242–291. url: http://dx.doi.org/10.1006/jfan.1997.3215.

[AM09]

Alberto Abbondandolo and Pietro Majer. “Infinite dimensional Grassmannians”. In: J. Operator Theory 61.1 (2009), pp. 19–62. arXiv: math/0307192.

[DT]

Dorin Dumitrascu and Jody Trout. On \(C^*\)-algebras and \(K\)-theory for infinite-dimensional Fredholm Manifolds. arXiv: math/0411495.

[Gal+09]

Søren Galatius, Ulrike Tillmann, Ib Madsen, and Michael Weiss. “The homotopy type of the cobordism category”. In: Acta Math. 202.2 (2009), pp. 195–239. arXiv: math/0605249. url: http://dx.doi.org/10.1007/s11511-009-0036-9.

[KM91]

Andreas Kriegl and Peter W. Michor. “Aspects of the theory of infinite-dimensional manifolds”. In: Differential Geom. Appl. 1.2 (1991), pp. 159–176. url: http://dx.doi.org/10.1016/0926-2245(91)90029-9.

[KM97]

Andreas Kriegl and Peter W. Michor. The convenient setting of global analysis. Vol. 53. Mathematical Surveys and Monographs. Providence, RI: American Mathematical Society, 1997, pp. x+618. isbn: 0-8218-0780-3.

[Lan85]

Serge Lang. Differential manifolds. Second. New York: Springer-Verlag, 1985, pp. ix+230. isbn: 0-387-96113-5. url: http://dx.doi.org/10.1007/978-1-4684-0265-0.

[Pal66]

Richard S. Palais. “Homotopy theory of infinite dimensional manifolds”. In: Topology 5 (1966), pp. 1–16.

[PS86]

Andrew Pressley and Graeme Segal. Loop groups. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1986, pp. viii+318. isbn: 0-19-853535-X.

[Ram11]

Daniel A. Ramras. “Invariant tubular neighborhoods in infinite-dimensional Riemannian geometry, with applications to Yang-Mills theory”. In: Arch. Math. (Basel) 96.6 (2011), pp. 589–599. arXiv: 1006.0063. url: http://dx.doi.org/10.1007/s00013-011-0239-0.

[Sta]

Andrew Stacey. The differential topology of loop spaces. arXiv: math/0510097.

[Sta09]

Andrew Stacey. “Constructing smooth manifolds of loop spaces”. In: Proc. Lond. Math. Soc. (3) 99.1 (2009), pp. 195–216. arXiv: math/0612096. url: http://dx.doi.org/10.1112/plms/pdn058.