2025-11-23T11:40:15.683494

Transverse slices, Ruas' conjecture, and Zariski's multiplicity conjecture for quasihomogeneous surfaces

da Silva, JÃºnior

In this work, we consider a finitely determined, quasihomogeneous, corank 1 map germ $f$ from $(\mathbb{C}^2,0)$ to $(\mathbb{C}^3,0)$. We introduce the concept of the $Î¼_{\mathbf{m},\mathbf{k}}$-minimal transverse slice of $f$}. Since such a slice is a plane curve, it admits a topological normal form, which we describe explicitly. Assuming the $Î¼_{\mathbf{m},\mathbf{k}}$-minimal transverse slice hypothesis, we provide a proof for the equivalence between topological triviality and Whitney equisingularity in Ruas' conjecture within this setting. We also provide a counterexample which shows that Whitney equingularity does not imply bi-Lipschitz equisingularity, given an answer to a question by Ruas. Moreover, we show that every topologically trivial $1$-parameter unfolding of $f=(f_1,f_2,f_3)$ (not necessarily with $Î¼_{\mathbf{m},\mathbf{k}}$-minimal transverse slice) is of non-negative degree; that is, any additional term $Î±$ in the deformation of $f_i$ has weighted degree not smaller than that of $f_i$. As a consequence, we provide a proof of Zariski's multiplicity conjecture for 1-parameter families of such germs.

academic

横断面、Ruas予想、および準同次曲面に対するZariski重複度予想

基本情報

論文ID: 2509.01634
タイトル: Transverse slices, Ruas' conjecture, and Zariski's multiplicity conjecture for quasihomogeneous surfaces
著者: Silva, O. N. and Silva Jr, M. M.
分類: math.AG（代数幾何）、math.CV（複素解析）
発表日時: 2025年10月13日（v2版）
論文リンク: https://arxiv.org/abs/2509.01634

要約

本論文は、有限決定性を持つ準同次corank 1写像芽 $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$ を研究する。著者らは $f$ の $\mu_{m,k}$ -極小横断面の概念を導入し、この横断面は平面曲線であるため位相標準形式を持つ。 $\mu_{m,k}$ -極小横断面仮説の下で、著者らはRuas予想における位相的自明性とWhitney等特異性の間の同値性を証明した。同時に、Whitney等特異性が双Lipschitz等特異性を含意しないことを示す反例を提供した。さらに、 $f=(f_1,f_2,f_3)$ の各位相的自明な1-パラメータ展開が非負次数を持つことを証明し、その系として、このような芽の1-パラメータ族に対するZariski重複度予想の証明を与えた。

研究背景と動機

核心問題

本論文が解決しようとする核心問題は、特異点理論における2つの基本的予想である：

Ruas予想（1994年）：有限決定性写像芽の等特異性概念間の同値関係に関する
Zariski重複度予想（1971年）：位相的自明族の等重性に関する

問題の重要性

これらの問題は特異点理論において基礎的地位を占める：

理論的意義：異なる等特異性概念（位相的自明性、Whitney等特異性、双Lipschitz等特異性）を結びつける
幾何学的意義：横断面技術を通じて $\mathbb{C}^3$ 内の曲面の等特異性研究を簡潔化する
歴史的意義：Zariski重複度予想は1971年の提出以来、未解決問題として残されている

既存方法の限界性

Ruas予想の原始形式は一般的な場合に成立しないことが証明されている
既知の反例は、同値関係を確立するためにより精密な条件が必要であることを示唆している
特殊な幾何学的条件下での等特異性関係に対する深い理解が不足している

核心的貢献

$\mu_{m,k}$ -極小平面曲線概念の導入：最小Milnor数を持つ平面曲線の完全な特性化と明示的な標準形式を提供する
Ruas予想の部分的解決： $\mu_{m,k}$ -極小横断面仮説の下で、位相的自明性とWhitney等特異性の同値性を証明する
新しい反例の提供：Whitney等特異性が双Lipschitz等特異性を含意しないことを示す無限個の反例を構成する
非負次数問題の解決：準同次corank 1写像芽の各位相的自明な展開が非負次数を持つことを証明する
Zariski重複度予想の証明：準同次corank 1写像芽の1-パラメータ族に対する等重性を確立する

方法の詳細

タスク定義

写像芽 $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$ の等特異性問題を研究する。ここで：

入力：有限決定性を持つ準同次corank 1写像芽およびその1-パラメータ展開
出力：等特異性概念間の関係と対応する幾何学的不変量
制約：写像芽は有限決定性、準同次性、およびcorank 1条件を満たす必要がある

核心方法の構造

1. $\mu_{m,k}$ -極小曲線理論

定義： $\Lambda_{m,k}$ を、 $r$ 個の分枝を持つすべての平面曲線の集合とする。ここで第 $i$ 番目の分枝は重複度 $m_i$ と $k_i$ 個の特性指数を持つ。曲線 $(X,0) \in \Lambda_{m,k}$ が $\mu_{m,k}$ -極小であるとは、当且つ当に： $\mu(X,0) = \min_{(Y,0) \in \Lambda_{m,k}} \mu(Y,0)$

標準形式：既約 $\mu_{m,k}$ -極小曲線に対して、 $m \geq 4$ が合成数の場合、標準形式は： $\phi(u) = (u^m, u^{m+d_1} + u^{m+d_1+d_2} + \cdots + u^{m+d_1+\cdots+d_{k-2}} + u^{m+d_1+\cdots+d_{k-2}+1})$

ここで $d_0 = m > d_1 > \cdots > d_{k-2} > d_{k-1} = 1$ は $m$ のネストされた除子列である。

2. 横断面技術

横断面の定義：写像芽 $f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0)$ に対して、横断面 $\gamma$ は $f$ の像と原点を通る一般的な平面 $H \subset \mathbb{C}^3$ の交集として定義される。

一般性条件：平面 $H$ は以下を満たす必要がある：

$H \cap df_0(\mathbb{C}^2) = \{(0,0,0)\}$
$H \cap f(D(f)) = \{(0,0,0)\}$
$H \cap C_0(f(D(f))) = \{(0,0,0)\}$

3. Whitney等特異性の特性化

新しい不変量 $W(f) := D(f) \cup f^{-1}(\gamma)$ を導入し、以下を証明した：

定理： $F = (f_t, t)$ を $f$ の展開とすると、 $F\text{はWhitney等特異} \Leftrightarrow \mu(W(f_t), 0)\text{は定数}$

技術的革新点

幾何学的最適化観点：Milnor数の最小化を通じて $\mu_{m,k}$ -極小性概念を導入し、曲線位相の精密な分類を提供する
構成的方法：存在性結果のみならず、明示的なパラメータ化と変形構成を提供する
統一的枠組み：Ruas予想とZariski重複度予想を統一的な理論枠組みに組み込む

実験設定

理論的検証

純粋数学論文として、本論文は数値実験ではなく厳密な数学的証明を通じて結果を検証する：

1. 反例の構成

新しい反例族： $f_t(x,y) = (x+ty^{14}, y^{16}+xy^{15}, y^{18}+xy^{17}+x^{17}y)$ の形式を持つ無限族反例を構成する
計算検証：Singularソフトウェアを使用して具体例のMilnor数と重複度計算を検証する

2. 標準形式の検証

具体的計算を通じて $\mu_{36,k}$ -極小曲線の標準形式とMilnor数を検証する：

曲線タイプ	標準形式	Milnor数
$\mu_{36,2}$ -極小	$\phi(u) = (u^{36}, u^{37})$	1260
$\mu_{36,3}$ -極小	$\phi(u) = (u^{36}, u^{38} + u^{39})$	1296
$\mu_{36,4}$ -極小	$\phi(u) = (u^{36}, u^{40} + u^{42} + u^{43})$	1372