| Project/Area Number |
23K20203
|
|---|
| Project/Area Number (Other) |
20H01791 (2020-2023)
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Multi-year Fund (2024)
Single-year Grants (2020-2023) |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 11010:Algebra-related
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
齋藤 秀司 東京大学, 大学院数理科学研究科, 名誉教授 (50153804)
|
|---|
| Project Period (FY) |
2020-04-01 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2024)
|
| Budget Amount *help |
¥17,160,000 (Direct Cost: ¥13,200,000、Indirect Cost: ¥3,960,000)
Fiscal Year 2024: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2023: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2022: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2021: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2020: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
|
|---|
| Keywords | モチーフ理論 / モチフィックコホモロジー / 相互層 |
|---|
| Outline of Research at the Start |
モチーフ理論とは，モチーフの圏を定義し，そこからホモロジー代数的あるいはホモトピー代数的に代数多様体にたいする様々な不変量を生み出す力を持つ理論である．世界的に非常に活発な研究が為されている分野である。Voevodskyはモチーフ理論に大きな進展をもたらしその帰結としてBeilinson-Lichtenbaum予想を解決しフィールズ賞を授与されている．
しかし，Voevodskyのモチーフ理論にはホモトピー不変性という本質的制約が課せられており完全に満足できるものではない．当該研究の目的は，Voevodskyのモチーフ理論を包含するより普遍的なモチーフ理論を構築することである．
|
| Outline of Annual Research Achievements |
モチーフの理論は数論幾何学，代数幾何学における重要な研究対象である．これに大きな進展をもたらしたVoevodskyのモチーフ理論はアフィン直線にたいするホモトピー不変性が理論の前提になっている．しかし代数幾何学の様々な基本的な不変量(例えば微分形式の層のコホモロジー)はホモトピー不変性を満たさない．当該研究では，Voevodskyのモチーフ理論を拡張し，ホモトピー不変でない不変量をも包括する新たなモチーフの理論を構築するためにVoevodskyの理論で中核的役割をはたす「ホモトピー不変性層」を拡張する「相互層」を新たに導入した．一方， Voevodskyの理論を拡張する別のアプローチとして，Binda, Park, Ostvaerによる対数的モチーフの三角圏 lDM の構築がある．本年度の成果は，相互層のNisnevichコホモロジーが対数的モチーフの三角圏lDMにおいて表現可能であることを示し，相互層の理論と対数的モチーフ理論の関係を明らかにしたことである．これを詳しく説明する．
lSmを体k上有限型な対数的に滑らかな対数的スキームの圏とし，Shv(lSm)をlSm上のtransfer構造を持つNisnevich層のなす圏とする．BindaとMerici はlDM上に自然なt-構造を定義し，そのheartがShv(lSm)のある充満部分圏lCIに一致することを証明した．本年度の成果は以下の定理である．RSCを相互層のなす圏とするとき充満忠実な完全関手 Log : RSC → lCI が存在する．さらに相互層Fとk上の滑らかなスキームXにたいし同型
H^i_{Nis} (X,F) = Hom_(lDM ) (M(X,triv),Log(F)[i]) が成立する．ここで左辺はXのNisnevichkホモロジーで，(X,triv)はXに自明な対数構造を与えた対数スキームである．
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
数論幾何学，代数幾何学における重要な研究対象であるモチーフの理論に大きな進展をもたらしたVoevodskyのモチーフ理論を拡張する二つの理論，相互層の理論および対数的モチーフの理論の関係を明らかにした．具体的には，相互層のなす圏から対数的モチーフの三角圏 への自然な関手を定義し，それを用いて相互層のNisnevichコホモロジーが対数的モチーフの三角圏において表現可能であることを示した．
|
| Strategy for Future Research Activity |
Voevodskyのモチーフ理論を精密化するモジュラス付きモチーフ理論を構築する．その中心的なアイデアは，滑らかな多様体をモジュラス対に置き換えVoevodskyのモチーフ理論を再構成することである．ここでモジュラス対とは，スキームXとX上の有効カルティエ因子Dとの対(X,D)でX-Dが滑らかであるようなものである．さらにホモトピー不変性の代替として，キューブ不変性を用いる．ここでキューブとは射影直線と無限遠点の対である．滑らかな多様体にたいする相互層Fは，適切な''分岐フィルトレーション''を与えることにより，モジュラス対にたいするキューブ不変層に拡張される．さらに，相互層のコホモロジーにたいして示した純粋性定理，射影束公式と滑らかなブローアップ公式およびGysin系列の存在定理はキューブ不変層のコホモロジーに格上げすることが期待される．さらに，キューブ不変層のNisnevichコホモロジーが，Kahn-Miyazaki-Saito-Yamazakiが導入したモジュラス付きモチーフの三角圏において表現可能であることを示すことが目標である．これはVoevodskyが示した「ホモトピー不変層のNisnevichコホモロジーが，Voevodskyが導入したモチーフの三角圏において表現可能である」という事実の一般化である．
|
