[論文レビュー] On Dévissage for Witt groups

Satya Mandal, Sarang Sane|arXiv (Cornell University)|Jun 15, 2013

Algebraic structures and combinatorial models参考文献 16被引用数 5

ひとこと要約

本稿は、正則性や双対複体の仮定を必要としないコhen-Macaulay環のウィット群に対する一般化されたデヴィッサージュ定理を確立する。有限な射影的次元と有限な長さを持つ射影的加群のカテゴリを通じて導来ウィット群を定義することで、このカテゴリのウィット群とその導来カテゴリのシフトされた導来ウィット群との間に同型が成り立つことを証明し、古典的なデヴィッサージュ結果を特異的状況に拡張する。これにより、導来ウィット群に対するゲルステン-ウィット複体の構成が可能になる。

ABSTRACT

In this paper we extend and apply the work of Paul Balmer and others on derived and triangular Witt Groups. We obtain a generalized form of dévissage for derived Witt Groups over Cohen-Macaulay rings.

研究の動機と目的

• 正則局域環からコhen-Macaulay環へのウィット群の古典的デヴィッサージュ定理の拡張。
• 有限な射影的次元と有限な長さを持つ有限生成A加群のカテゴリに対する導来ウィット群理論の構築。
• このカテゴリのウィット群とその導来カテゴリのシフトされた導来ウィット群との間の同型を介したデヴィッサージュのバージョンの確立。
• 特異的状況における導来ウィット群に対するゲルステン-ウィット複体を構築する基盤の提供。
• 特異的多様体における障害理論において、チャウ-ウィット群と類似する形で射影的加群の使用を動機づける。

提案手法

• カテゴリ $\mathcal{A} = \text{MFPDfl}(A)$ を、有限生成 $A$-加群で有限な射影的次元と有限な長さを持つものの交わりとして定義する。
• $\mathcal{A}$ が $\text{Ext}^d_A(-, A)$ を通じて双対性に関して閉じていることの証明により、$W(\mathcal{A})$ の定義が可能になる。
• 有界複体でそのホモロジーが $\mathcal{A}$ に属するものの導来カテゴリ $D^b_\mathcal{A}(A)$ を構成し、これが双対性に関して閉じていることを示す。
• ホモロジー条件を満たす導来カテゴリ内の対称形式を用いて、導来ウィット群 $W^i(D^b_\mathcal{A}(A))$ を定義する。
• 同型の鎖を確立する：$W(\mathcal{A}) \xrightarrow{\sim} W^d(D^b_\mathcal{A}(P(A))) \xrightarrow{\sim} W^d(D^b_\mathcal{A}(A))$、奇数次元では消えること。
• 部分ラグランジュ的構成と擬同型写像の技法を用いて、すべてのウィット類が0次元に集中する複体によって代表されることを証明し、比較写像の上への性質を保証する。

実験結果

リサーチクエスチョン

• RQ1 ウィット群のデヴィッサージュ定理を、双対複体の存在や正則性の仮定なしにコhen-Macaulay環へ拡張することは可能か？
• RQ2 有限な射影的次元と有限な長さを持つ射影的加群のカテゴリの導来ウィット群は、その導来カテゴリのシフトされた導来ウィット群へのデヴィッサージュ同型を有するか？
• RQ3 この射影的加群のカテゴリを用いて、特異的状況における導来ウィット群に対するゲルステン-ウィット複体を構成できるか？
• RQ4 ゴレンシュタインの場合に、射影的加群の導来ウィット群と被覆的ウィット群との関係は何か？
• RQ5 特異的多様体上の射影的加群の障害理論は、被覆的ウィット群ではなく、射影的加群の導来ウィット群を用いて最も適切に定式化できるか？

主な発見

• 著者らは、$W(\mathcal{A}) \xrightarrow{\sim} W^d(D^b_\mathcal{A}(P(A)))$ および $W^{-}(\mathcal{A}) \xrightarrow{\sim} W^{d+2}(D^b_\mathcal{A}(P(A)))$ を証明し、$W^{d+1}(D^b_\mathcal{A}(P(A))) \cong W^{d-1}(D^b_\mathcal{A}(P(A))) \cong 0$ であることを示す。
• 導来カテゴリ $D^b_\mathcal{A}(P(A))$ は双対性に関して閉じており、このカテゴリに属する複体の双対のホモロジーは $\mathcal{A}$ に属する。
• ウィット群 $W(\mathcal{A})$ は $W^d(D^b_\mathcal{A}(A))$ に同型であり、これは射影的加群カテゴリの導来カテゴリを介して因子化される。
• 証明は、導来カテゴリ内に特別な部分ラグランジュ的構成を構成することで、すべての対称形式が0次元に集中するものと同値であることを示すことに依拠している。
• $W(\mathcal{A}) \xrightarrow{\sim} W^d(D^b_\mathcal{A}(P(A)))$ の同型は、双対複体の存在や正則性の仮定なしに成立する。
• この構成により、被覆的状況と類似した特異的状況における導来ウィット群に対するゲルステン-ウィット複体の構築のための枠組みが提供される。