| Project/Area Number |
19K14535
|
|---|
| Research Category |
Grant-in-Aid for Early-Career Scientists
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Basic Section 11020:Geometry-related
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2019-04-01 – 2023-03-31
|
| Project Status |
Completed (Fiscal Year 2022)
|
| Budget Amount *help |
¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2021: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2020: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2019: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
|
|---|
| Keywords | ホモトピー論 / ファイバーワイズホモトピー論 / A無限大空間 / crossed module / A無限大構造 / ホモトピー正規性 / ホモトピー可換性 / 高次ホモトピー構造 / An写像 / 高次ホモトピー正規性 / ファイバーワイズホモトピー / uniform Roe algebra / ファイバーワイズA無限大構造 / ユニタリ群 / 代数的位相幾何学 / 位相的複雑さ |
|---|
| Outline of Research at the Start |
本研究の目的はファイバーワイズA無限大空間に関する基礎理論の構築と，関連する不変量の計算手法の確立である．
高次ホモトピー構造は写像の族で記述されるため，一般に障害などの不変量が記述しづらいが，通常のA無限大空間の場合には，射影空間とよばれる空間が関手的に構成され，これを用いて古典的なホモトピー論の手法で不変量が記述される．本研究では射影空間のファイバーワイズ版についての基礎理論の構築を目的とする．
さらに，射影空間のコホモロジーの計算を通して，位相的複雑さなどのファイバーワイズホモトピー論の不変量との関係の解明および計算手法を確立することも目的とする．
|
| Outline of Final Research Achievements |
The most important result of this project is the development of the theory of higher homotopy normality using fiberwise A-infinity structures. Though higher homotopy normality has been studied by several people, there are no theory of ``essentially higher'' homotopy normality. The theory established in this project is a candidate for such theory. It enables us to determine when a given homomorphism has higher homotopy normality by the classical technique in the fiberwise homotopy theory. Indeed, the p-local higher homotopy normality of the inclusions SU(m) -> SU(n) are determined for some m,n and p.
We also obtained some results on the homotopy type of the unitary groups of some uniform Roe algebras in a joint work. Comparing to Roe algebras, uniform Roe algebras tend to have huge K-theory. We could determine the homotopy type of the unitary groups of uniform Roe algebras on Z and Z^2.
|
| Academic Significance and Societal Importance of the Research Achievements |
高次ホモトピー正規性はこれまでにも研究されてきたが，「本質的に高次の」ホモトピー正規性の理論は得られていなかった．得られた理論では古典的なファイバーワイズホモトピー論の技術を用いて，準同型が高次ホモトピー正規性を持つかどうか調べられる点が強みである．実際，包含写像SU(m) -> SU(n)のp-局所的なホモトピー正規性をいくつかの場合に決定した．このように扱いやすさも実証できており，今後の発展が期待できる．
一様Roe代数のユニタリ群は巨大なホモトピー群を持つ（一様Roe代数のK群と一致）ため難解であるが，実際にホモトピー型を調べる手法を与えた．距離を考慮したトポロジーへの応用も期待できる．
|
