|
パーフェクトイド塔の例として現れる対数的正則局所環の拡大がFrobenius持ち上げから生じていることに注目し、プリズムの理論の枠内でこれがどのような意味を持つかを調べた。正標数の場合にはこの拡大はFrobenius写像そのものと同型になることから、それの平坦性により正則性を特徴づける「Kunzの定理」の混標数版も並行して模索した。その定式化に当たっては、一般には完備ネーター局所環がFrobenius持ち上げをもたずプリズム由来とも限らないことから付随する然るべきprismatic complexへのFrobenius作用を見ることにした。Prismatic complexは相対的な概念であるため、まずCohenの構造定理を用いて底となるプリズムの標準的な構成を与えた。対応するδ環は正則局所環のみならずそれをδ-安定なイデアルで割ることも許容し、対数的正則局所環を底のプリズムとしてとることができるようにした。これにより冒頭で述べた対数的正則局所環の拡大はprismatic complex（正確にはHodge-Tate complex）へのFrobenius作用とみなすことができる。Kunzの定理の混標数類似については、研究協力者である石塚伶氏（東京工業大学）の決定的な貢献のもとprismaic complexの連結成分へのFrobenius作用の忠実平坦性で正則性が特徴づけられることがわかった。局所完全交叉の場合にはprismatic complexそのものへのFrobenius作用で特徴づけることもできる。初年度途中での事業廃止により抽象論に終始してしまったが、今後は重複度の研究に応用していきたいと考えている。
|
