コホモロジーの偶奇で余捩れ対の完備性への反例を作る
A parity obstruction to completeness of object cotorsion pairs
この論文をやさしく読む
ひとことで言うと
ある種の圏で、射のイデアルに関する近似が十分に存在しても、対象そのものの対応する近似が存在するとは限らないことを示す反例です。
何に役立つ？
余捩れ対の理論で、イデアルについての完備性から対象についての完備性を導こうとする議論の適用範囲を明確にします。
この研究の面白いところ
複体のコホモロジー次元が偶数か奇数かという条件を使い、一方の近似は明示的に作れるのに他方は作れない状況を実現しています。
どこまで分かった？
構成された圏での反例に関する数学的主張です。すべてのフロベニウス完全圏で対応する近似が失敗するという結論ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Hom有限で弱冪等完備なフロベニウス完全圏において、対象イデアルからなる完備なイデアル余捩れ対を構成する。この対に対応する対象の余捩れ対は、特殊前被覆を持つものでも、特殊前包絡を持つものでもない。 この圏は、全コホモロジー次元が偶数である有限次元ベクトル空間の有界複体からなる。特殊なイデアル近似は明示的な錐の列によって与えられる一方、特殊な対象近似は切断されたコホモロジーの偶奇によって妨げられる。これにより、弱冪等完備性とフロベニウス性を仮定しても、Fu、Guil Asensio、Herzog、Torrecillasの問題29への答えは否定的となる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We construct a complete ideal cotorsion pair of object ideals in a Hom-finite, weakly idempotent complete Frobenius exact category whose associated cotorsion pair of objects is neither special precovering nor special preenveloping. The category consists of bounded complexes of finite-dimensional vector spaces with even total cohomology dimension. Special ideal approximations are given by explicit cone sequences, whereas special object approximations are obstructed by the parity of truncated cohomology. This gives a negative answer to Question 29 of Fu, Guil Asensio, Herzog and Torrecillas even under weak idempotent completeness and a Frobenius hypothesis.
著者のコメント
12 pages
arXiv ID: 2609.18681 ／ 要約の誤りについて