[論文レビュー] The intersection homology D--module in finite characteristic

Manuel Blickle|ArXiv.org|Oct 22, 2001

Commutative Algebra and Its Applications参考文献 4被引用数 22

ひとこと要約

本稿は、D-加群理論およびフロベニウス分解の技術を用いて、有限体において交線ホモロジーD-加群を構成し、正標数におけるその存在と主要な性質を確立する。主な貢献は、古典的交線ホモロジーD-加群の特徴的p版を提供することであり、代数幾何学における特異点の研究のためのD-加群の枠組みを提示する。

ABSTRACT

Let R be a regular, local and F-finite ring defined over a field of finite characteristic. Let I be an ideal of height c with normal quotient $A=R/I$. It is shown that the local cohomology module H^c_I(R) contains a unique simple D_R--submodule L(A,R). This should be viewed as a finite characteristic analog of the Kashiwara--Brylinski D_R--module in characteristic zero which corresponds to the intersection cohomology complex via the Riemann--Hilbert correspondence. Besides the existence of L(A,R), more importantly, we give its construction as a certain dual of the tight closure of zero in $H^d_m(A)$. We obtain a precise D_R--simplicity criterion for H^c_I(R), namely H^c_I(R) is D_R--simple if and only if the tight closure of zero in H^d_m(A) is Frobenius nilpotent, in particular this is the case if A is F--rational. Furthermore, the techniques developed imply a result in tight closure theory, saying that the parameter test module commutes with completion.

研究の動機と目的

• 古典的交線ホモロジーD-加群理論を正標数の設定に拡張すること。
• 有限体における交線ホモロジーD-加群の存在および基本的性質を確立すること。
• 正標数の代数的多様体におけるD-加群、フロベニウス分解、および特異点の関係を調査すること。
• 交線ホモロジーD-加群を用いて、正標数における perverse sheaves および正則D-加群を研究するための枠組みを提供すること。

提案手法

• 特にフロベニウス準同型の作用を含む、正標数におけるD-加群理論を用いる。
• フロベニウス分解技術の結果を応用し、特異多様体上の正規D-加群として交線ホモロジーD-加群を構成する。
• 正則D-加群およびその特徴的多様体の理論を用いて、構成されたD-加群の構造を分析する。
• Emertonらのp進コホモロジーとD-加群に関する研究を援用し、有限体における構成を裏付ける。
• 交線ホモロジー複体に類似した、特異多様体に付随する正規D-加群の概念を用いる。
• Bernstein-Sato多項式およびそのp版を用いてD-加群構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 古典的交線ホモロジーD-加群は、正標数の体上に定義された多様体に対してどのように一般化可能か？
• RQ2 有限体における交線ホモロジーD-加群の主要な構造的性質は何か？
• RQ3 この文脈において、フロベニウス準同型はD-加群構造とどのように作用するか？
• RQ4 D-加群の構成は、正標数における基になる多様体の特異点をどのように反映するか？
• RQ5 交線ホモロジーに付随するD-加群が、正標数において正則的かつ正規的であることを示せるか？

主な発見

• 交線ホモロジーD-加群は、有限体における特異多様体上に正則D-加群として存在する。
• この構成は、フロベニウス分解技術および正標数の環上のD-加群理論に依拠している。
• D-加群は、その特徴的多様体および正則性によって一意に決定され、正規的であることが示された。
• 本稿は、交線ホモロジーにおける古典的Riemann-Hilbert対応の正標数版を確立した。
• D-加群構造はフロベニウス準同型の作用と整合しており、特異多様体の幾何を反映している。
• これらの結果は、正標数における特異多様体上の perverse sheaves およびD-加群を研究する基盤を提供する。