株式会社極東書店トップ ＞ 商品一覧 ＞ Smooth Homotopy of Infinite-Dimensional $C^{\infty }$-Manifolds.
商品詳細
Smooth Homotopy of Infinite-Dimensional $C^{\infty }$-Manifolds.
・ISBN 978-1-4704-6542-1 paper US$ 85.00
￥19,915.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Kihara, Hiroshi, |
|---|---|
| シリーズ | Memoirs of the American Mathematical Society |
| 出版社 | (American Mathematical Society, US) |
| 出版年月 | 2023 |
| ページ数 | 129 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-15815＞ |
解説
In this paper, we use homotopical algebra (or abstract homotopical methods) to study smooth homotopical problems of infinite-dimensional C$C^{\infty }$-manifolds in convenient calculus. More precisely, we discuss the smoothing of maps, sections, principal bundles, and gauge transformations.
We first introduce the notion of hereditary C$C^{\infty }$-paracompactness along with the semiclassicality condition on a C$C^{\infty }$-manifold, which enables us to use local convexity in local arguments. Then, we prove that for C$C^{\infty }$-manifolds M and N, the smooth singular complex of the diffeological space C$C^{\infty }$(M,N) is weakly equivalent to the ordinary singular complex of the topological space C0(M,N) under the hereditary C$C^{\infty }$-paracompactness and semiclassicality conditions on M. We next generalize this result to sections of fiber bundles over a C$C^{\infty }$-manifold M under the same conditions on M. Further, we establish the Dwyer-Kan equivalence between the simplicial groupoid of smooth principal G-bundles over M and that of continuous principal G-bundles over M for a Lie group G and a C$C^{\infty }$-manifold M under the same conditions on M, encoding the smoothing results for principal bundles and gauge transformations.
For the proofs, we fully faithfully embed the category C$C^{\infty }$ of C$C^{\infty }$-manifolds into the category D of diffeological spaces and develop the smooth homotopy theory of diffeological spaces via a homotopical algebraic study of the model category D and the model category C0 of arc-generated spaces, also known as ?-generated spaces. Then, the hereditary C$C^{\infty }$-paracompactness and semiclassicality conditions on M imply that M has the smooth homotopy type of a cofibrant object in D. This result can be regarded as a smooth refinement of the results of Milnor, Palais, and Heisey, which give sufficient conditions under which an infinite-dimensional topological manifold has the homotopy type of a CW-complex. We also show that most of the important C$C^{\infty }$-manifolds introduced and studied by Kriegl, Michor, and their coauthors are hereditarily C$C^{\infty }$-paracompact and semiclassical, and hence, results can be applied to them.
We first introduce the notion of hereditary C$C^{\infty }$-paracompactness along with the semiclassicality condition on a C$C^{\infty }$-manifold, which enables us to use local convexity in local arguments. Then, we prove that for C$C^{\infty }$-manifolds M and N, the smooth singular complex of the diffeological space C$C^{\infty }$(M,N) is weakly equivalent to the ordinary singular complex of the topological space C0(M,N) under the hereditary C$C^{\infty }$-paracompactness and semiclassicality conditions on M. We next generalize this result to sections of fiber bundles over a C$C^{\infty }$-manifold M under the same conditions on M. Further, we establish the Dwyer-Kan equivalence between the simplicial groupoid of smooth principal G-bundles over M and that of continuous principal G-bundles over M for a Lie group G and a C$C^{\infty }$-manifold M under the same conditions on M, encoding the smoothing results for principal bundles and gauge transformations.
For the proofs, we fully faithfully embed the category C$C^{\infty }$ of C$C^{\infty }$-manifolds into the category D of diffeological spaces and develop the smooth homotopy theory of diffeological spaces via a homotopical algebraic study of the model category D and the model category C0 of arc-generated spaces, also known as ?-generated spaces. Then, the hereditary C$C^{\infty }$-paracompactness and semiclassicality conditions on M imply that M has the smooth homotopy type of a cofibrant object in D. This result can be regarded as a smooth refinement of the results of Milnor, Palais, and Heisey, which give sufficient conditions under which an infinite-dimensional topological manifold has the homotopy type of a CW-complex. We also show that most of the important C$C^{\infty }$-manifolds introduced and studied by Kriegl, Michor, and their coauthors are hereditarily C$C^{\infty }$-paracompact and semiclassical, and hence, results can be applied to them.