[論文レビュー] Regularity of subschemes invariant under Pfaff fields on projective spaces

Joana Darc Antonia Santos Da Cruz, Eduardo Esteves|ArXiv.org|Feb 13, 2009

Commutative Algebra and Its Applications参考文献 11被引用数 3

ひとこと要約

本稿は、射影空間上の Pfaff フィールドに関して不変な算術的 Cohen–Macaulay部分多様体の Castelnuovo–Mumford 正則性の上限を確立し、正則性が Pfaff フィールドの次数と部分多様体の特異点集合によって制御されることを示している。特異点集合が有限で、次元1の非特異的、算術的 Cohen–Macaulay 曲線について、正則性は正確に $ r = m + 1 + \rho $ である。ここで $ \rho = \mathrm{reg}(\Sigma_C) - r + 2 $ であり、これはベクトル場の代数的積分に関する以前の上限を一般化するものである。

ABSTRACT

A Pfaff field on a projective space is a map from the sheaf of differential s-forms, for a certain s, to an invertible sheaf. The interesting ones are those arising from a Pfaff system, as they give rise to a distribution away from their singular locus. A subscheme of the projective space is said to be invariant under the Pfaff field, if the latter induces a Pfaff field on the subscheme. We give bounds for the Castelnuovo-Mumford regularity of invariant complete intersection subschemes (more generally, arithmetically Cohen-Macaulay subschemes) of dimension s, depending on how singular these schemes are, thus bounding the degrees of the hypersurfaces that cut them out.

研究の動機と目的

• 射影空間 $ \mathbb{P}^n_k $ 上で Pfaff フィールドに関して不変な完全交差および算術的 Cohen–Macaulay 部分多様体の Castelnuovo–Mumford 正則性を評価すること。
• Poincaré 問題に関する先行結果を一般化し、正則性を Pfaff フィールドの次数と部分多様体の特異点集合に関連付けること。
• 特異点集合上の層コホモロジー群の消滅を用いた正則性評価のコhomオロジー的基準を提供すること。
• 曲線および超曲面に対する既知の評価を、高次元的で、特異的かつ非還元的な不変部分多様体へと拡張すること。

提案手法

• Pfaff フィールドを $ \eta: \Omega^s_{\mathbb{P}^n_k} \to \mathcal{L} $ として、$ \mathcal{L} $ を可逆層とし、$ m = \deg(\mathcal{L}) + s $ と定義する理論を用いる。
• 特に、特定の次数でねじれた理想層の $ H^1 $ および $ H^2 $ 群の消滅を応用するコホモロジー的技法を適用する。
• 理想層 $ \mathcal{S} $、$ C $ およびそれらの交わりに関する完全系列を用い、コホモロジーと正則性を関連付ける。
• 特異点集合 $ \mathcal{S} $ および部分多様体の特異点集合 $ \Sigma_C $ の正則性に依存し、次元0のスキームの正則性に関する既知の結果を用いる。
• 同型 $ \mathcal{I}_{\mathcal{S} \cap C, C}(m-1) \cong \widetilde{\Omega}^1_C $ を用い、ここで $ \widetilde{\Omega}^1_C $ は正則層の torsion-free 部分を表す。
• 条件 $ \omega_C \cong \mathcal{O}_C(r-3) $ および Gorenstein 性質を用い、$ \mathcal{I}_{\Sigma_C, C} \otimes \omega_C \cong \widetilde{\Omega}^1_C $ を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 次数 $ m \geq 1 $ で有限特異点集合を持つランク1の Pfaff フィールドに関して不変な非特異的、算術的 Cohen–Macaulay 曲線の最大正則性は何か？
• RQ2 Pfaff フィールドの次数 $ m $ を超えて、曲線の特異点集合が正則性評価にどのように寄与するか？
• RQ3 不変部分多様体の正則性は、その特異点集合の正則性と Pfaff フィールドの次数の観点から評価可能か？
• RQ4 どのようなコホモロジー的条件下で、不変部分多様体の正則性が $ m + 1 + \rho $ に等しくなるか、ここで $ \rho $ は特異点集合に依存する？
• RQ5 曲線に対する評価は、高次元的不変部分多様体へどの程度まで拡張可能か？

主な発見

• 次元1の非特異的、算術的 Cohen–Macaulay 曲線 $ C \subseteq \mathbb{P}^n_k $ がランク1の Pfaff フィールド $ \eta $ に関して不変で、次数 $ m \geq 1 $、有限特異点集合を持つとき、正則性は $ r = m + 1 + \rho $ を満たす。ここで $ \rho = \mathrm{reg}(\Sigma_C) - r + 2 $ である。
• 評価 $ r = m + 1 + \rho $ は鋭く、特異点集合 $ \Sigma_C $ が空でなく、$ r \geq m + 4 $ である場合にのみ達成可能であり、このとき $ \rho \geq 3 $ が保証される。
• Pfaff フィールドの特異点集合 $ \mathcal{S} $ の正則性は $ \mathrm{reg}(\mathcal{S}) = mn - n + 2 $ であり、証明におけるコホモロジーの消滅を制御するために用いられる。
• $ H^1(\mathcal{I}_{\mathcal{S}}(j)) $ の消滅（$ j = m + \rho - 2 $）は本質的であり、これは $ \mathcal{S} $ の正則性評価に起因する。
• $ H^1(\mathcal{I}_{\Sigma_C, C}(\sigma - 2)) $ の非消滅は、$ \Sigma_C $ が非空かつ有限であるため、$ H^1(\mathcal{I}_{\Sigma_C}(\sigma - 2)) $ の非消滅に起因して示される。
• Cerveau と Lins Neto、Brunella と Mendes の先行研究の評価を、特異的曲線および高次元的設定へと拡張するものであり、コホモロジー的道具を用いて実現された。