代数スタック上の複体で擬連接性が保たれる条件を証明

この論文をやさしく読む

ひとことで言うと

幾何学的な対象の間でデータを移す操作が、複体の有限性に関する性質を保つ条件を証明しています。対象はスキームを一般化した代数スタックです。

何に役立つ？

代数幾何で導来順像を扱う際に、相対的な擬連接性が失われないことを使って議論を進められます。基礎理論の整備としての意義が中心です。

この研究の面白いところ

主要な定理がスキームの場合にはIllusieの予想に答え、導来代数幾何によって古典的な定理にも別の証明を与えています。

どこまで分かった？

主要定理には射の固有性とtame性、基底上での局所有限型という仮定があります。非tameの場合にも結果があるとされていますが、その正確な仮定と結論は要旨には示されていません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

f：X→Yを代数スタックの固有かつ穏やかな（tame）射とし、XとYは代数スタックS上で局所有限型であるとする。本研究では、導来順像Rf_*が、Sに関して相対的に擬連接な複体を、同じくSに関して相対的に擬連接な複体へ送ることを証明する。スキームの場合、これはSGA6でIllusieが提示した予想を解決する。 また、穏やかでない場合、例えば安定化群が無限である場合についても、関連する新しい結果を証明する。手法には導来代数幾何を用い、スキームに対するKiehlの古典的な結果の新しい証明も与える。その過程で、代数スタック上の準連接層についての基礎的な結果の一部を、導来の枠組みへ拡張する。

v1の要旨から自動生成。本文の精読・人による確認は未実施。