| 研究課題/領域番号 |
22K03291
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分11020:幾何学関連
|
|---|
| 研究機関 | 熊本大学 |
|---|
研究代表者 |
北別府 悠 熊本大学, 大学院先端科学研究部(理), 准教授 (50728350)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2026年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2025年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2024年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2023年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2022年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
|---|
| キーワード | Gromov-Hausdorff 収束 / Mosco 収束 / 曲率次元条件 / ハイパーグラフ |
|---|
| 研究開始時の研究の概要 |
複雑な空間をグラフなどの単純な構造をもつ空間で近似することは, 元の複雑な構造を理解するために非常に有効な方法である. 距離の情報を保つように離散空間で近似することは比較的容易にできる. しかし, それだけでは元の対象の情報をそれほど読み取ることはできない. そこで本研究では測度(=面積や体積)や Dirichlet 形式と呼ばれる, エネルギーの情報も含んだ形で近似することを目標にしている.
|
| 研究実績の概要 |
本年度は測度距離空間の列が Gromov-Hausdorff 収束する時にエネルギー形式が Mosco 収束するための十分条件について検討を行った。RCD 空間の場合はエントロピー汎関数の凸性からエネルギー形式の Mosco 収束が引き出せる。具体的にはエントロピー汎関数の勾配の Gromov-Hausdorff 収束に関する下半連続性から測度に関する情報を得る。あとは CD 理論で得られたエントロピー汎関数の勾配流と Cheeger エネルギーに関する熱流の一致からエネルギー形式の収束を得る。しかしグラフなどの離散空間による連続空間の近似ではエントロピー汎関数の凸性は通常の L2-Wasserstein 距離に関して決して得ることができない。したがって Gromov-Hausdorff 収束と比較的相性の良い測度の収束とエネルギー形式の収束の関係は明らかではない。しかしながらグラフの曲率の定義によっては熱流の凸性自体が得られることもあり、RCD 理論の手法を真似ることで Mosco 収束を得ようと試行錯誤していた。今までその手法に変わるものは認識していなかったが RCD 理論の発展前の手法(Cheeger-Colding 理論)を用い、別の方法で Mosco 収束を引き出す可能性を学んだ。この手法は極限空間が多様体であれば適用できる可能性がある。例えば列の Ricci 曲率が下に有界でなくても極限空間自体の Ricci 曲率が下に有界であれば Mosco 収束ができるのではないかと考え、シンプレクティックトーリック多様体の場合にこの理論が適用できないかも研究をしている。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
エントロピー汎関数の凸性から Mosco 収束を導く手法を離散近似に応用しようと思っていたが, 現段階ではうまくいっていなかった. しかし Cheeger-Colding 理論の手法を学ぶことで別ルートの可能性も出てきた. 初年度に一つのやり方に拘泥せずさまざまな方法を見つけることができたので概ね順調に進展しているとした.
|
| 今後の研究の推進方策 |
RCD 空間の手法と Cheeger-Colding 理論の手法どちらも可能性があると思うので, 適切な曲率の仮定からさまざまな方法を試していく. また, ひとまず強い仮定の下で収束理論を研究するために Alexandrov 空間の理論についても学んでいく.
|
