[论文解读] Initial logarithmic Lie algebras of hypersurface singularities

Michel Granger, Mathias Schulze|ArXiv.org|Jul 11, 2008

Advanced Topics in Algebra参考文献 16被引用 4

一句话总结

本文引入了超曲面奇点的初始对数李代数，证明其完全可约部分可形式地提升为对数向量场的线性李代数。对于准齐次奇点，此线性化收敛，作者基于初始李代数的半单部分建立了奇点维数的下界，将其与半单自由除数及自同构群的 Levi 子群联系起来。

ABSTRACT

We introduce a Lie algebra of initial terms of logarithmic vector fields along a hypersurface singularity. Extending the formal structure theorem in [GS06, Thm. 5.4], we show that the completely reducible part of its linear projection lifts formally to a linear Lie algebra of logarithmic vector fields. For quasihomogeneous singularities, we prove convergence of this linearization. We relate our construction to the work of Hauser and M"uller [M"ul86, HM89] on Levi subgroups of automorphism groups of singularities, which proves convergence even for algebraic singularities. Based on the initial Lie algebra, we introduce a notion of reductive hypersurface singularity and show that any reductive free divisor is linear. As an application, we describe a lower bound for the dimension of hypersurface singularities in terms of the semisimple part of their initial Lie algebra.

研究动机与目标

• 定义并研究超曲面奇点的初始对数李代数，作为对数向量场的形式逼近。
• 通过证明初始李代数的完全可约部分可形式地提升为对数向量场的线性李代数，扩展 [GS06] 中的形式结构定理。
• 证明对于准齐次奇点，此线性化收敛，将其与自同构群及 Levi 子群的已知结果联系起来。
• 引入半单超曲面奇点的概念，并证明任何半单自由除数均为线性。
• 基于初始李代数的半单部分，建立奇点奇异集维数的下界。

提出的方法

• 将初始对数李代数 $ \bar{\frak{l}}_D $ 定义为对数向量场 $ \frak{l}_D $ 关于极大理想幂次滤子的约化李代数。
• 在导子代数 $ \frak{D} $ 上使用滤子 $ \frak{m}^k \frak{D} $，并考虑商代数 $ \frak{D}_k = \frak{D} / \frak{m}^{k+1} \frak{D} $，其继承李代数结构。
• 应用 [GS06, Thm. 5.4] 中的形式结构定理，将 $ \bar{\frak{l}}_D $ 的完全可约部分提升为形式线性李代数的对数向量场。
• 对于准齐次奇点，利用 Euler 向量场的存在性，将 $ \frak{l}_D $ 分解为 $ \frak{O} \rtimes \frak{l}_f $，其中 $ \frak{l}_f $ 由保持 $ f $ 不变的向量场组成。
• 利用 $ \frak{l}_f $ 同构于雅可比理想的挠组模，且 $ \frak{l}_f / \frak{m} \frak{l}_f $ 在伴随作用下幂零的事实。
• 应用半单李代数的表示理论（如 $ \frak{sl}_2 $-三元组与权空间），证明定义方程 $ f $ 必须在半单部分的 Cartan 子代数作用下具有零权。

实验结果

研究问题

• RQ1 能否利用超曲面奇点的初始对数李代数构造对数向量场的形式线性化？
• RQ2 在何种条件下，初始李代数的线性化收敛，特别是对于准齐次奇点？
• RQ3 初始李代数的半单部分如何与奇异集的几何相关联？
• RQ4 初始李代数与奇点自同构群的 Levi 子群之间有何联系？
• RQ5 初始李代数能否用于定义并表征半单自由除数？

主要发现

• 初始对数李代数 $ \bar{\frak{l}}_D $ 的完全可约部分可形式地提升为对数向量场的线性李代数。
• 对于准齐次奇点，此形式线性化收敛，意味着对数向量场具有收敛的线性模型。
• 通过权空间结构与权多面体的 Weyl 群轨道，$ \bar{\frak{l}}_D $ 的半单部分决定了奇异集 $ \text{Sing} D $ 维数的下界。
• 任何半单自由除数均为线性，即其对数向量场在局部环上由线性向量场张成。
• 当 $ \frak{h} $ 是 $ \bar{\frak{l}}_D $ 半单部分的 Cartan 子代数时，奇点的定义方程 $ f $ 必须是 $ \frak{h} $-齐次且权为零。
• 若 $ d(C) = M_k(\frak{g}, V) $，则奇异集 $ \text{Sing} \bar{D} $ 包含所有权重不在权多面体 $ W $ 的面 $ C $ 外的变量所张成的线性空间。