複体へ拡張した準射影次元とその定理
Quasi-projective dimension for complexes via filtrations
この論文をやさしく読む
ひとことで言うと
加群についての準射影次元という代数的な尺度を、複体まで拡張して性質を証明した。
何に役立つ？
可換環論やホモロジー代数で、複体の深さやホモロジーの消滅を調べるための道具になる。
この研究の面白いところ
既存の加群の定義を保ちながら、複体に対して複数の古典的な公式や新しい定理を導いている。
どこまで分かった？
ホモロジー的有限性、適切な完全交叉環、Gorenstein局所環など、結果ごとに条件がある理論研究である。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
導来圏の有限フィルトレーションを用い、有限生成加群について定義されていた準射影次元と準射影長を、ホモロジー的に有限な複体へ拡張する。新たな定義は、加群についてのGheibi–Jorgensen–Takahashiの元の不変量を再現し、完全関手のもとでも扱いやすいため、複数の結果の証明を簡潔にする。 有限の準射影次元を持つ複体について、Auslander–Buchsbaum公式、導来版の深さと幅の公式、および依存関係の公式を確立する。Gheibi–Jorgensen–Takahashiの結果を拡張し、どのホモロジー的に有限な複体も、適切な完全交叉環上では有限の準射影次元を持つことを示す。さらに、新たな交叉定理とSerreの条件の降下定理を証明する。最後にTor、Ext、Tateの（コ）ホモロジーの消滅結果を得て、Gorenstein局所環上で、十分高い次数のExtの消滅が対称になることを導く。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We extend quasi-projective dimension and quasi-projective length from finitely generated modules to homologically finite complexes by using finite filtrations in the derived category. Our definitions recover the original invariants of Gheibi--Jorgensen--Takahashi for modules and behave well under exact functors, which simplifies the proofs of several results. We establish the Auslander--Buchsbaum formula, the derived depth and width formulas, and the dependency formula for complexes of finite quasi-projective dimension. Extending a result of Gheibi--Jorgensen--Takahashi, we show that every homologically finite complex has finite quasi-projective dimension over a suitable complete intersection ring. We also prove a new intersection theorem and a descent theorem for Serre's conditions. Finally, we obtain vanishing results for Tor, Ext, and Tate (co)homology, and deduce symmetry of eventual Ext vanishing over Gorenstein local rings.
著者のコメント
20 pages
arXiv ID: 2609.23289 ／ 要約の誤りについて