Splitting aspects of holomorphic distributions with locally free tangent sheaf

技術要約：局所自由な接層を持つ正則分布の分裂に関する諸側面

問題提起
本論文は、複素多様体（具体的には $n \ge 3$ の $\mathbb{P}^n$ または $\mathbb{C}^n$ の原点における芽）上の $k$ 次元の特異な正則分布 $D$ の構造的性質、特に接層 $T_D$ が局所自由である場合に焦点を当てている。中心となる問いは、[1] で提起されたものであり、「局所自由な接層を持つ $\mathbb{P}^3$ 上の余次元一の葉層の接層は、必ず直和（すなわち $T_F \cong \bigoplus \mathcal{O}_{\mathbb{P}^3}(e_i)$）に分裂するか？」というものである。非可積分な分布（具体的には接触構造）については、近年の研究 [15] が負の回答を示しているが、本研究では、分布が接する1次元の葉層 $G$ を持つ場合に、どのような十分条件の下でこのような分裂が起こるのかを調査している。

核心となる問題（問題2）は次のように定式化される：局所自由な接層を持つ2次元分布 $D$ と、$D$ に接する1次元の葉層 $G$ が与えられたとき、$T_D = T_G \oplus T_H$ となるような別の1次元の葉層 $H$ が存在する条件は何か。

手法
著者は、局所代数幾何学、層理論、および有向グラフを用いた組合せ論的手法を組み合わせて用いている。

1. 局所除算と線形ランク： 著者は「局所除算（local division）」の概念を導入している。これは、ある点 $p$ において、葉層 $G$ が分布 $D$ を局所的に除すとされるもので、これは $D$ の定義形式が $G$ を定義するベクトル場との内積として表現できることを意味する。鍵となる不変量として、ベクトル場（または葉層）の特異点における「線形ランク（linear rank）」、すなわちベクトル場の線形部分のランクを用いている。
2. 層論的特徴付け： 著者は、接層の分裂、商層 $T_D/T_G$ の局所自由性、および $G$ が $D$ を局所的に除すという性質の間の同値関係を確立している。補題 4.6 および命題 4.8 は、層の分裂と $T_G$ が $T_D$ の部分束であることの間の関連付けにおいて極めて重要である。
3. $\mathbb{P}^n$ 上の大域的解析： 射影空間の場合の解析は、特異集合の交差特性に依拠している。著者は、$\mathbb{P}^n$ において特定の次元を持つ既約成分は必ず交差するという事実を利用し、局所的な除算の性質から大域的な結論を導き出している。
4. 組合せグラフ理論： 冪零ベクトル場に関する定理 C の証明（特に）において、著者は、リー微分による斉次形式の空間への作用を表す有向グラフ（ss-digraph）を構成している。これらのグラフにおけるパス、サイクル、ソース、およびシンクを分析することにより、葉層の定義形式における特定の係数がゼロにならなければならないことを証明し、これにより特異点の代数的乗法条件を確立している。
5. 計算による検証： 本論文では、接属性および可積分性の条件から導かれる線形方程式の系を解くために、ソフトウェア Maple を利用している。これは命題 6.1 および低次の場合の定理 C の証明において用いられている。

主要な貢献と結果

• 定理 A（局所分裂）： 局所自由な接層を持つ $k$ 次元分布 $D$ の芽と、それに接する線形ランクが $k$ 以上である葉層 $G$ について、本論文は、$T_D$ が $T_G \oplus T_{H_1} \oplus \dots \oplus T_{H_{k-1}}$ と分裂するか、あるいは分布が正則であるかのいずれかであることを証明している。この分裂は、$G$ の特異集合が $D$ の特異集合に含まれる場合、かつその場合に限って起こる。
• 定理 B（$\mathbb{P}^n$ 上の大域的分裂）： 局所自由な接層を持つ $\mathbb{P}^n$ ($n \ge 3$) 上の2次元分布 $D$ と、線形ランクが2以上であるそれに接する葉層 $G$ について、分裂 $T_D = T_G \oplus T_H$ の存在は、$\text{sing}(G)$ のすべての次元 $n-2$ の既約成分が $\text{sing}(D)$ と交差するという条件と同値である。特に、$\dim(\text{sing}(D)) \ge 2$ かつ $n \ge 4$ であれば、$T_D$ は常に分裂する。
• 定理 C（$\mathbb{P}^3$ 上の余次元一）： $F$ が局所自由な接層を持つ $\mathbb{P}^3$ 上の余次元一の正則葉層であり、かつ $F$ に接する $\mathbb{P}^3$ 上の非ゼロの正則ベクトル場が存在する場合、$T_F$ は分裂する。この結果は、特定の接するベクトル場の存在という条件下で、問題 1 に対する肯定的な回答を提供している点で重要である。
• 除算の性質： 本論文は De Rham-Saito 除算補題を洗練させている。ベクトル場が微分形式を割るための条件を、ベクトル場の線形部分のランクに基づいて（命題 5.17）、および1形式の線形部分のランクに基づいて（命題 5.19）提示している。これらの結果は、古典的な補題がカバーしていない状況にも適用可能であることが示されている。
• 系 6.22： 非可積分な分布へと結果を拡張し、局所自由な接層を持ち次数 $\deg(D) \ge 1$ である $\mathbb{P}^3$ 上の余次元一の分布 $D$ は、それに接する非冪零な正則ベクトル場が存在すれば分裂することを示している。

意義と主張
本論文は、正則分布の接層の分裂を理解するための包括的な枠組みを提供することを主張している。局所除算の概念を導入し、除算が失敗する点（集合 $S(G, D)$）を特徴付けることにより、著者は分裂のための精密な幾何学的基準（特異集合の交差）を確立している。

本研究は、葉層に関する先行研究 [1, 4, 8, 9, 16] の拡張として提示されており、$\mathbb{P}^3$ 上の余次元一の葉層の接層の分裂に関する未解決問題に対して部分的な解決を与えている。著者は、次数0の非可積分な分布（接触構造）は分裂しないが、接するベクトル場（次数 $\ge 1$ の場合は非冪零）の存在が接層の分裂を強制することを指摘している。

最後に、本論文は問題 3 を提示して締めくくっている：もし $\mathbb{P}^3$ 上の余次元一の葉層が局所自由な接層を持ち、かつ不変超曲面（したがって有理第一積分）を持たない場合、その接層は必ず分裂するか？ 著者は、既知の反例（これらは有理第一積分を持つ）に基づけば、答えは肯定的である可能性が高いと考えているが、これは依然として未解決の問題である。得られた結果は、古典的な De Rham-Saito 除算補題のような結果に対する代替案または補完となる、十分条件および除算基準を提供するものとして位置づけられている。