[論文レビュー] On the Saito's basis and the Tjurina Number for Plane Branches

Marcelo Escudeiro Hernandes, Yohann Genzmer|arXiv (Cornell University)|Apr 7, 2019

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

ひとこと要約

本稿では、平面曲線特異点における良いSaito基底の概念を導入し、それを用いて、既約平面分岐の位相的同値類における最小Tjurina数の公式を導出する。Tjurina数をMilnor数や多重度列といった位相的不変量と関連付けることで、Milnor数を用いたTjurina数の下界を確立し、DimcaとGreuelが提起した不等式 $4\tau > 3\mu$ に対する肯定的解答を提示する。この手法は、連続的な吹き上げ操作における曲線の厳密な変換を分析し、Saito基底の性質を用いて $\mu - \tau$ の差を計算することで成り立つ。

ABSTRACT

We introduce the concept of good Saito's basis for a plane curve $S$ and we explore it to obtain a formula for the minimal Tjurina number in a topological class. In particular, we present a positive answer for a question of Dimca and Greuel relating the Tjurina number and the Milnor number for a singular irreducible plane curve.

研究の動機と目的

• 既約平面曲線特異点における良いSaito基底を定義・特徴づけ、不変量の体系的計算を可能にする。
• 特徴的指数や多重度列といった位相的データのみを用いて、位相的同値類における最小Tjurina数 $\tau_{\min}$ の公式を導出する。
• Milnor数を用いたTjurina数の下界を確立し、DimcaとGreuelが提起した不等式 $4\tau > 3\mu$ に関する問いに答えを提示する。
• 標準的解消過程に沿って差分公式を帰納的に適用するアルゴリズム的かつ理論的枠組みを提供し、$\tau_{\min}$ を計算する。

提案手法

• 良いSaito基底の概念を導入する。これは $\Omega^1(S)$ における特別なSaito基底であり、特定のイデアルの余次元を介してTjurina数を制御可能にする。
• 基底の有効性を確認するSaitoの基準 $\omega_1 \wedge \omega_2 = u f \, dx \wedge dy$（$u$ は単元）を用い、$ \omega_i \wedge df = g_i f \, dx \wedge dy $ で定義されるイデアル $ (g_1, g_2) $ と関連付ける。
• 標準的解消における多重度列 $\nu_{(i)}$ を根拠として、厳密な変換 $\widetilde{S}$ を用いた $\mu(S) - \tau(S)$ の帰納的公式を構築する。
• 解消過程に沿って公式を再帰的に適用し、各例外的除算からの寄与を蓄積することで $\mu - \tau_{\min}$ を計算する。
• 関係式 $\tau_{\min} = \mu - \sum_{i=1}^N \left( \left[\frac{\nu_{(i)}}{2}\right] \left( \left[\frac{\nu_{(i)}}{2}\right] - \nu_{(i)} - 1 \right) + \nu_{(i)} - 1 + p_1(S_{(i)}) \right)$ を用いて、位相的データから $\tau_{\min}$ を計算する。
• Milnor数を用いた $\tau_{\min}$ の下界を導出し、不等式 $\tau \geq \frac{3}{4}\mu + \frac{\sqrt{1+4\mu} - 1}{8}$ を得る。この不等式は $4\tau > 3\mu$ を含意する。

実験結果

リサーチクエスチョン

• RQ1 位相的同値類における既約平面分岐の最小Tjurina数は、特徴的指数や多重度列といった位相的不変量のみから計算可能か？
• RQ2 与えられた位相的同値類におけるすべての既約平面曲線特異点に対して不等式 $4\tau > 3\mu$ が成り立つか？
• RQ3 位相的同値類における一般の曲線について、Milnor数 $\mu$ とTjurina数 $\tau$ の正確な関係は何か？
• RQ4 曲線 $\Omega^1(S)$ のSaito基底は、解消の不変量を用いて $\mu - \tau$ をどのように計算できるか？
• RQ5 標準的解消の各段階における寄与は、差 $\mu - \tau$ にどのように寄与するか？

主な発見

• 位相的同値類における既約平面分岐の最小Tjurina数 $\tau_{\min}$ は、多重度列 $\nu_{(1)}, \dots, \nu_{(N)}$ を用いた再帰的公式により計算され、$\tau_{\min} = \mu - \sum_{i=1}^N \left( \left[\frac{\nu_{(i)}}{2}\right] \left( \left[\frac{\nu_{(i)}}{2}\right] - \nu_{(i)} - 1 \right) + \nu_{(i)} - 1 + p_1(S_{(i)}) \right)$ を得る。
• 特徴的指数 $(9,12,17)$ の位相的同値類では、5回の吹き上げ後に得られる累積寄与 $15, 1, 1, 1, 0, 0$ を通じて、最小Tjurina数は $\tau_{\min} = 80$ となる。これはPeraireの計算結果と一致する。
• 不等式 $4\tau > 3\mu$ はすべての既約平面曲線特異点に対して成り立つ。下界 $\tau_{\min} \geq \frac{3}{4}\mu + \frac{\sqrt{1+4\mu} - 1}{8}$ を通じて示される。
• 特徴的指数 $(141,142)$ の位相的同値類では、Milnor数は $\mu = 19740$ であり、下界により $\tau_{\min} \geq 14840$ が得られる。実際の $\tau_{\min} = 14910$ はこの下界を満たす。
• 公式 $\tau_{\min}$ は良いSaito基底と、解消段階における不変量 $\mathfrak{i}(S_{(i)}) = \left[\frac{\nu_{(i)}}{2}\right] + 1 - p_1(S_{(i)})$ に依存する帰納的差分 $\mu(S) - \tau(S)$ から導出される。
• 本研究の結果は、DimcaとGreuelの問いに対して肯定的解答を提供する。Alberich-Carramiñanaらによる別法による独立的確認もなされており、同じ核心的要素である[5]における一般化モジュライ空間次元公式が用いられている。