[論文レビュー] Characteristic varieties and constructible sheaves

Alexandru Dimca|arXiv (Cornell University)|Feb 28, 2007

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿では、滑らかな曲面上のランク1局所系の特徴的多様体の平行移動成分と、関連する（有理的または無理的）線束における曲線の重複度との間に幾何的対応を確立する。そのために、局所系の直接像から生じる可解層を用いる。主な貢献は、ファイバー重複度から導かれる有限群 $T(f)$ を用いて、このような成分を生じるトーショントルションキャラクター $\rho$ を正確に特徴づけることである。これは、ベーヴィルの結果をコンパクトでない設定に一般化したものである。

ABSTRACT

We explore the relation between the positive dimensional irreducible components of the characteristic varieties of rank one local systems on a smooth surface and the associated (rational or irrational) pencils. Our study, which may viewed as a continuation of D. Arapura's work, yields new geometric insight into the translated components relating them to the multiplicities of curves in the associated pencil, in a close analogy to the compact situation treated by A. Beauville. The new point of view is the key role played by the constructible sheaves naturally arising from local systems.

研究の動機と目的

• 滑らかで準射影的である曲面 $M$ の最初の特徴的多様体 $\mathcal{V}_1(M)$ in に現れる平行移動成分の幾何的起源を理解すること。
• ファイブレーション $f: M \to S$ の位相的性質を通じて、トーショントルションキャラクター $\rho$ がこれらの成分を定義する役割を明確にすること。
• コンパクト曲面におけるベーヴィルの結果を、非コンパクトで準射影的な設定に拡張すること。そのために、成分とファイバー重複度を関連付けること。
• どのトーショントルションキャラクター $\rho$ が有効な平行移動成分を生じるかを分類するための位相的不変量 $T(f)$ を確立すること。
• 可解層理論を用いて、 twisted cohomology $H^1(M, \mathcal{L})$ の次元が $\chi(S)$ と $\rho$ の台によって決まることを示すこと。

提案手法

• 最大のアイソトロピック部分空間を $H^1(M)$ 内で特定するために、(対数的) アイソトロピック部分空間定理を用いる。
• ファイバー重複度データを符号化するため、$H_1(M) \to H_1(S)$ の核のポントリャーギン双対として有限アーベル群 $T(f)$ を定義する。
• $S$ 上の可解層 $\mathcal{F} = R^0f_*\mathcal{L}_\rho$ を構成する。この層は、その特異的台 $\Sigma(\mathcal{F})$ がコホロロジー的不変量を制御する。
• $\dim H^1(M, \mathcal{L})$ を $\chi(S)$ と $|\operatorname{supp}(\tilde{\rho})|$ の関数として表現する。
• 補題 4.7 を適用して、$\dim H^1(M, \mathcal{L})$ を $S$ のオイラー標数と $\tilde{\rho}$ の台の濃度に関連付ける。
• 具体的な例（例えば $\mathcal{A}_m$-arrangements）を用いて理論を検証し、ファイバー重複度から $T(f)$ を計算する。

実験結果

リサーチクエスチョン

• RQ1 どのトーショントルジョンキャラクター $\rho$ が $\mathcal{V}_1(M)$ に平行移動成分を生じるのか。それらはどのようにパrameter化されるか。
• RQ2 線束 $f: M \to S$ の多重ファイバーの重複度は、群 $T(f)$ の構造をどのように決定するか。
• RQ3 $\mathcal{L} \in W(f,\rho)$ に対する $H^1(M, \mathcal{L})$ の次元と、$f$ の位相的データとの正確な関係は何か。
• RQ4 可解層 $R^0f_*\mathcal{L}_\rho$ は、特徴的多様体成分 $W(f,\rho)$ の情報をどのように符号化するか。
• RQ5 $\mathcal{A}_m$-arrangement の場合、なぜ特定の成分が $m-1$ 個の非自明なキャラクターに対してのみ現れるのか。これは一般理論とどのように整合するか。

主な発見

• $f$ が $\mathcal{A}_m$-arrangement から生じるとき、$T(f)$ は $\mathbb{Z}/m\mathbb{Z}$ に同型であり、$c=(1:1)$ のファイバーの重複度 $m$ に一致する。
• $\chi(S) < 0$ のとき、すべての非自明なキャラクター $\tilde{\rho} \in \widehat{T}(f)$ が $\mathcal{V}_1(M)$ に平行移動成分 $W(f,\rho)$ を与える。一方、$\chi(S) = 0$ のときは、自明なキャラクターを除く必要がある。
• $\mathcal{L} \in W(f,\rho)$ に対して $H^1(M, \mathcal{L})$ の次元は $k-2 + \epsilon(\rho)$ に等しく、ここで $k = |B|$ かつ $\epsilon(\rho) = |\{j \mid \tilde{\rho}(e_j) \neq 1\}|$ であり、すべての $\mathcal{L}$ に対して等号が成り立つ（有限個を除く）。
• $\mathcal{A}_m$-arrangement の場合、$\mathcal{V}_1(M)$ には正確に $m-1$ 個の1次元平行移動成分が存在し、それぞれが非自明な $\tilde{\rho} \in \widehat{T}(f)$ に対応する。
• $\tilde{\rho}$ の台、すなわち $\{j \mid \tilde{\rho}(e_j) \neq 1\}$ がコホモロジー的ジャンプを決定する：$\dim H^1(M, \mathcal{L}) = k-2 + \epsilon(\rho)$。
• 可解層 $\mathcal{F} = R^0f_*\mathcal{L}_\rho$ の特異的台 $\Sigma(\mathcal{F})$ の濃度は、補題 4.7 を通じて $H^1(M, \mathcal{L})$ の次元を制御する。