[論文レビュー] New free divisors from old

Ragnar-Olaf Buchweitz, Aldo Conca|arXiv (Cornell University)|Nov 19, 2012

Algebraic Geometry and Number Theory参考文献 3被引用数 4

ひとこと要約

本稿は、代数幾何における自由因子の新しい構成法と特徴付けを提示する。特に、重み付き同次および二項自由因子に焦点を当てる。準同次自由因子を生成するための連鎖律を導入し、斎藤の基準に基づく三角型および二項自由因子の分類を実施。同様に、同次自由因子が接束へと拡張されても自由因子としての性質と線形性を保つことを示す。主な貢献は、既知の自由因子から新たな自由因子の族を体系的に生成する手法であり、特に対数行列およびオイラーベクトル場の消滅を用いる。

ABSTRACT

We present several methods to construct or identify families of free divisors such as those annihilated by many Euler vector fields, including binomial free divisors, or divisors with triangular discriminant matrix. We show how to create families of quasihomogeneous free divisors through the chain rule or by extending them into the tangent bundle. We also discuss whether general divisors can be extended to free ones by adding components and show that adding a normal crossing divisor to a smooth one will not succeed.

研究の動機と目的

• 重み付き同次および準同次多項式の文脈において、既知の自由因子から新たな自由因子を体系的に構成する方法を開発すること。
• 二項自由因子の代数的構造を特定し、完全な特徴付けを提供すること。
• 任意の既約多項式が自由因子の因子として埋め込めるかどうかを調査し、単純な拡張法の限界を示すこと。
• 自由因子を接束へと拡張し、その自由性と線形性を保つ一般化された連鎖律を用いた方法を提案すること。
• 複数のオイラーベクトル場によって消滅する自由因子を特徴付け、これをバックスバウム＝リム複体と関連付けること。

提案手法

• 斎藤行列基準の使用：自由因子 $ f $ は、$ \det(A) = f $ かつ $ (\nabla f)A \equiv 0 \mod (f) $ を満たす $ n \times n $ 行列 $ A $ の存在によって特徴付けられる。
• 自由因子の連鎖律の適用：変数が互いに交わらない自由因子 $ f $ および $ g $ に対して、$ fg(f+g) $ も自由因子である。
• 上三角行列形式を持つ斎藤行列を保証することで三角型自由因子を構成し、$ \prod_{j=2}^n (x_1^t + \cdots + x_j^t) $ のような明示的族を導出する。
• 正確な代数的形による二項自由因子の同定：スケーリングおよび置換を除き、$ x_1\cdots x_n y^u z^t (y^\alpha \prod x_i^{a_i} + z^\beta \prod x_i^{b_i}) $ の形をとり、$ \min(a_i,b_i) = 0 $、$ \alpha,\beta > 0 $、$ u,t \in \{0,1\} $ を満たす必要がある。
• 同次自由因子 $ f $ を接束に拡張する際、$ f^* = \sum_i \frac{\partial f}{\partial x_i} y_i $ を形成し、$ f \cdot f^* $ が再び自由因子であることを示す。
• 重み付きオイラーベクトル場の使用：重み付き同次の場合に、標準的オイラーベクトル場を $ (w_1x_1, \dots, w_nx_n)^T $ に置き換えて、特徴行列に応用する。

実験結果

リサーチクエスチョン

• RQ1 自由因子は、合成や拡張などの代数的演算を用いて、既知のものから体系的に構成可能か？
• RQ2 $ n+2 $ 変数における二項自由因子の正確な代数的構造は何か？ そして、完全に特徴付け可能か？
• RQ3 多項式 $ f $ が $ n-2 $ 個の線形独立なオイラーベクトル場によって消滅する条件は何か？ そして、その場合に自由性が保証される条件は？
• RQ4 任意の既約多項式が自由因子の因子として埋め込めるか？ そのような拡張の障害は何か？
• RQ5 自由因子は接束へと拡張された場合、どのように振る舞い、その自由性と線形性は保たれるか？

主な発見

• 多項式 $ f $ が $ n-2 $ 個の線形独立なオイラーベクトル場によって消滅し、バックスバウム＝リム複体の第一ホモロジーにおいて勾配 $ \nabla f $ が消える場合、$ f $ は自由因子である。
• $ f $ および $ g $ が変数が互いに交わらない自由因子であれば、合成 $ fg(f+g) $ も自由因子である。
• $ \prod_{j=2}^n (x_1^t + \cdots + x_j^t) $ は、すべての $ t \geq 1 $、$ n \geq 2 $ に対して自由因子である。これは、その斎藤行列が三角型であるためである。
• $ n+2 $ 変数における二項式は、スケーリングおよび置換を除き、$ x_1\cdots x_n y^u z^t (y^\alpha \prod x_i^{a_i} + z^\beta \prod x_i^{b_i}) $ の形をとり、$ \min(a_i,b_i) = 0 $、$ \alpha,\beta > 0 $、$ u,t \in \{0,1\} $ を満たす場合に限り、自由因子である。
• $ f $ が同次自由因子であるとき、$ f^* = \sum_i \frac{\partial f}{\partial x_i} y_i $ と定義すると、$ f \cdot f^* $ は $ 2n $ 変数における自由因子であり、この構成は線形性を保つ。
• 任意の重み付き同次自由因子 $ f $（次数 $ d \neq 0 $）に対して、$ f \prod_{j=1}^m f^{*_{j}} $（ここで $ f^{*_{j}} = \sum_i y_{ij} \frac{\partial f}{\partial x_i} $）は、重み付き次数 $ (m+1)d $ の自由因子であり、$ f $ が線形であれば、この性質は維持される。