Foundations of rigid geometry

2022年度は前年度に引き続きリジッド幾何学の基礎的な問題を取り扱っている. この研究課題では特に平坦射の研究を重視しており, 前年度までの研究結果の執筆を中心に研究を続けている. 研究の途上, 平坦射について以下の問題が現れたので今年度は主としてその問題を考察することとなった.リジッド幾何学においては形式スキームによる良いモデルをとり射に関する概念を定義することとなるが, 定義が well-defined であるためにはモデルを変更した際に再び良いモデルを選択できることを示す必要がある(blow up による不変性). 平坦射の場合の普遍性は正しいと予想され, ネーター性など強い有限性がある場合は解決済みであるが, 一般の場合は詳細を詰めている状況である.また, 以上の平坦性に関する問題と直接関係するものではないが, スキームとその完備化上の連接層のなす圏の間の関係を記述する「存在定理」についても再検討を行った (加藤文元等との共同研究). 対となるものとして既に確立されている「比較定理」があり, 連接層を完備化する関手が充満忠実であることが従うが, 「存在定理」は関手が本質的に全射であること意味している. 以前に得られた結果を補足する内容であり, 現在使用できる枠組みの中では最も一般的なものとなる. またこの結論は発表済みのresearch monograph の内容を補うものとなっている. 現在発表準備中である.研究体制としては2022年度から RA を雇用し, 得られた成果を楕円曲線などのモジュライスタックに適用する可能性について考察を進めている.

2022年度は前年度に引き続きリジッド幾何学の基礎的な問題を取り扱っている. この研究課題では特に平坦射の研究を重視しており, 前年度までの研究結果の執筆を中心に研究を続けている. 研究の途上, 平坦射について以下の問題が現れたので今年度は主としてその問題を考察することとなった.リジッド幾何学においては形式スキームによる良いモデルをとり射に関する概念を定義することとなるが, 定義が well-defined であるためにはモデルを変更した際に再び良いモデルを選択できることを示す必要がある(blow up による不変性). 平坦射の場合の普遍性は正しいと予想され, ネーター性など強い有限性がある場合は解決済みであるが, 一般の場合は詳細を詰めている状況である.また, 以上の平坦性に関する問題と直接関係するものではないが, スキームとその完備化上の連接層のなす圏の間の関係を記述する「存在定理」についても再検討を行った (加藤文元等との共同研究). 対となるものとして既に確立されている「比較定理」があり, 連接層を完備化する関手が充満忠実であることが従うが, 「存在定理」は関手が本質的に全射であること意味している. 以前に得られた結果を補足する内容であり, 現在使用できる枠組みの中では最も一般的なものとなる. またこの結論は発表済みのresearch monograph の内容を補うものとなっている. 現在発表準備中である.研究体制としては2022年度から RA を雇用し, 得られた成果を楕円曲線などのモジュライスタックに適用する可能性について考察を進めている.