[論文レビュー] Dualité et comparaison sur les complexes de de Rham logarithmiques par rapport aux diviseurs libres

Francisco Calderón-Moreno, Luis Narváez Macarro|ArXiv.org|Nov 2, 2004

Algebraic Geometry and Number Theory参考文献 15被引用数 7

ひとこと要約

本稿は、自由除因子上での可積分対数接続の文脈において、${\mathcal{D}}_X$-加群におけるヴェルディエ双対性と、${{\mathcal{D}}_X(\log D)}$-加群におけるねじれ双対性との間の双対性定理を確立する。局所的準同次的自由除因子に対する対数的比較定理（TCL）の新しい微分的証明を示し、コーサル自由除因子における対数的 de Rham コホホロジー複体のヴェルディエ双対を記述する。これは、正則交差の場合の結果を一般化する。

ABSTRACT

Let X be a complex analytic manifold and D \subset X a free divisor. Integrable logarithmic connections along D can be seen as locally free {\cal O}_X-modules endowed with a (left) module structure over the ring of logarithmic differential operators {\cal D}_X(\log D). In this paper we study two related results: the relationship between the duals of any integrable logarithmic connection over the base rings {\cal D}_X and {\cal D}_X(\log D), and a differential criterion for the logarithmic comparison theorem. We also generalize a formula of Esnault-Viehweg in the normal crossing case for the Verdier dual of a logarithmic de Rham complex.

研究の動機と目的

• 可積分対数接続の文脈において、${\mathcal{D}}_X$-加群におけるヴェルディエ双対性と、${{\mathcal{D}}_X(\log D)}$-加群におけるねじれ双対性との間の双対性同型を確立すること。
• 正則交差除因子からコーサル自由除因子への、対数的 de Rham コホホロジー複体のヴェルディエ双対の記述を一般化すること。
• 局所的準同次的自由除因子に対する対数的比較定理（TCL）の微分的証明を提供し、先行研究における予想を解決すること。
• ${{\mathcal{D}}_X(\log D)}$-加群の包あらわし代数としての枠組みを、双対性および比較結果へと拡張すること。

提案手法

• ${\mathcal{D}}_X(\log D)}$ を微分作用素のフィルター付き環の関連する次数代数として定義するために、マルドゥーラン–カシワラの$V$-フィルターを用いる。
• Lie バルクロイドの入れ子な包あらわし代数における混合テンソル積の新しい結合則公式を用いて、双対性同型を証明する。
• 代数$U_0 \subset U$の入れ子な代数上の加群に対して、$[U \otimes_{U_0} N] \otimes_A M$ と $U \otimes_{U_0} [N \otimes_A M]$ の間に自然な同型を構成する。これは標準的な平坦基底変換の一般化である。
• ${{\mathcal{D}}_X(\log D)}$ が有限なホモロジー次元をもつ、係数環としてのコherently かつネーター的代数としての構造を用いて、双対性および比較を分析する。
• スペーサー複体および可積分対数接続の理論を用いて、対数的 de Rham 複体を定義する。
• $\operatorname{Der}(\log D)$ のLie バルクロイド構造を用いて、${{\mathcal{D}}_X(\log D)}$ がLeibniz則および可積分性則を満たす接続を介して加群上に作用することを定義する。

実験結果

リサーチクエスチョン

• RQ1 可積分対数接続の文脈において、${\mathcal{D}}_X$-加群におけるヴェルディエ双対性と、${{\mathcal{D}}_X(\log D)}$-加群におけるねじれ双対性との関係はどのように確立されるか？
• RQ2 コーサル自由除因子上での可積分対数接続に対して、対数的 de Rham コホホロジー複体のヴェルディエ双対の明示的形は何か？
• RQ3 局所的準同次的自由除因子の場合に、対数的比較定理（TCL）は、位相的議論ではなく微分的手段によって証明可能か？
• RQ4 対数的 de Rham コホホロジー複体が perverse であるための条件は何か？ そしてそれは除因子の構造とどのように関係するか？
• RQ5 $\operatorname{Der}(\log D)$ のLie バルクロイドの性質は、${{\mathcal{D}}_X(\log D)}$-加群における双対性および比較定理にどのように影響を与えるか？

主な発見

• 本稿は、可積分対数接続の文脈において、${\mathcal{D}}_X$-加群のヴェルディエ双対を、${{\mathcal{D}}_X(\log D)}$-加群のカテゴリにおけるねじれ双対に交換する双対性同型を証明する。
• コーサル自由除因子の場合、可積分接続の対数的 de Rham コホホロジー複体のヴェルディエ双対は、ねじれ双対性公式を用いて明示的に記述される。
• 局所的準同次的自由除因子に対する対数的比較定理（TCL）の微分的証明が確立され、[7]における予想が裏付けられる。
• 一般には、対数的 de Rham 形式の複体が perverse でないことが、次元3の反例によって示される。
• ${{\mathcal{D}}_X(\log D)}$ は、Lie バルクロイド $\operatorname{Der}(\log D)$ の包あらわし代数として同定され、その次数構造はこの局所自由 ${\mathcal{O}}_X$-加群上の対称代数と同型である。
• 入れ子な包あらわし代数における混合テンソル積の結合則公式は、技術的ツールとしての中心的役割を果たし、従来の文献には存在しなかった。