| 研究課題/領域番号 |
23K03084
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分11020:幾何学関連
|
|---|
| 研究機関 | 千葉大学 |
|---|
研究代表者 |
梶浦 宏成 千葉大学, 大学院理学研究院, 教授 (30447891)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2028-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
2027年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2026年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2025年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2024年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2023年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | ホモトピー代数 / ミラー対称性 / 三角圏 / トーリック多様体 |
|---|
| 研究開始時の研究の概要 |
Strominger-Yau-Zaslow (SYZ)によるトーラスファイバー束の設定におけるホモロジー的ミラー対称性（ある三角圏同値）を、ホモトピー代数的に、具体的に構成する。複素多様体Yとしては主にトーリックファノ多様体やその拡張物であるときを考える。このとき、シンプレクティック多様体Xで考えるべき圏、つまり深谷圏Fuk(X)にあたるものの正しい定式化を行うことも問題の一部である。
一方、このような三角圏の例の持つ構造についての純代数的な研究も平行して行う。
|
| 研究実績の概要 |
複素射影直線のホモロジー的ミラー対称性について研究を行った。複素多様体側がトーリック多様体のときのホモロジー的ミラー対称性として、シンプレクティック多様体側では深谷・ザイデル圏を考える定式化がある。一方、Strominger-Yau-Zaslow (SYZ)によるミラー対称なトーラス束の構成をもとにしたホモロジー的ミラー対称性として、シンプレクティック多様体側ではモースホモトピーの圏を考える定式化がある。こちらの定式化では現在トーリック多様体が複素射影空間の場合、ヒルツブルグ曲面の場合、トーリックファノ曲面の場合などにおいてホモロジー的ミラー対称性が肯定的に議論されている。これらの先行研究では、トーリック多様体の連接層の導来圏のよい生成系として強例外的生成系をとり、対応する対象から成るモースホモトピーの圏を議論する。一般にはモースホモトピーの圏はA∞圏の構造を持つが、これらの対象に制限すると高次の積構造はすべて消え、圏の構造は非常に簡単なものとなっている。今回はトーリック多様体が複素射影直線という最も簡単な状況において、射影直線上のすべての直線束に対応する対象から成るシンプレクティック多様体側の圏のA∞構造を構成した。このA∞圏は本質的にはモースホモトピーの圏と等価でなものであるが、一般の高次積構造をすべて正確に定義するために、深谷圏のある種の拡張として定式化した。つまり、射影直線のSYZミラーは境界のない円環（境界でシンプレクティック形式が発散している）であり、そのようなシンプレクティック多様体上の深谷圏と呼ばれるべきものである。これを一般の場合に定式化することはしていないが、その具体例を与えていることになる。以上については今後論文としてまとめる予定である。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
研究はよく進展した。ただし論文にまとめる時間はなかった。
|
| 今後の研究の推進方策 |
研究時間が確保できれば順調に研究が推進することが期待できる。
|
