The multiplicity of cyclic coverings of a singularity of an algebraic variety

Toya Kumagai,Tomohiro Okuma
2024-03-21
Abstract:Let $V$ be an affine algebraic variety, and let $p\in V$ be a singular point. For a regular function $g$ on $V$ such that $g(p)=0$ and for a positive integer $n$, we consider the cyclic covering $\phi_n\: V_n \to V$ of degree $n$ branched along the hypersurface defined by $g$. We will prove that for sufficiently large $n$, the tangent cone of $V_n$ at $\phi_n^{-1}(p)$ is, as an affine variety, the product of the tangent cone of the branch locus and the affine line. In particular, the multiplicity of the singularity $\phi_n^{-1}(p) \in V_n$, which is a function of $n$ determined by $V$ and $g$, remains constant for sufficiently large $n$. This result generalizes Tomaru's theorem for normal surface singularities.
Algebraic Geometry,Commutative Algebra
What problem does this paper attempt to address?
This paper aims to explore and solve the multiplicity problem of cyclic coverings of singularities of algebraic varieties. Specifically, let \( V \) be an affine algebraic variety and \( p\in V \) be a singularity on it. For a regular function \( g \) on \( V \) such that \( g(p) = 0 \) and a positive integer \( n \), consider the cyclic covering \( \varphi_n: V_n\rightarrow V \) of degree \( n \) branched along the hypersurface defined by \( g \). The main result of the paper shows that when \( n \) is large enough, the tangent cone of \( V_n \) at \( \varphi_n^{-1}(p) \), as an affine variety, is the direct product of the tangent cone of the subscheme defined by \( g \) at \( p \) and the affine line \( \mathbb{A}^1_K \). In particular, the multiplicity of the singularity \( \varphi_n^{-1}(p)\in V_n \) is a function of \( n \) determined by \( V \) and \( g \), and remains unchanged when \( n \) is large enough. This result generalizes Tomaru's theorem for normal surface singularities. By using the standard basis theory, the author proves a stronger result, that is, when \( n \) is large enough, the affine tangent cone of \( V_n \) at \( \varphi_n^{-1}(p) \) is isomorphic to the direct product of the affine tangent cone of the subscheme defined by \( g \) at \( p \) and the affine line \( \mathbb{A}^1_K \). These results do not depend on the Cohen - Macaulay property or normality of the singularity. Since the multiplicity is determined by the tangent cone, the above results imply that the multiplicity of the singularity remains unchanged when \( n \) is large enough. In addition, the paper also discusses how these results reveal that some invariants of singularities may not be determined or bounded by the invariants of their tangent cones. For example, in the case of normal two - dimensional singularities, as \( n \) increases, the geometric genus \( p_g(\text{Spec } B_n) \) tends to infinity, which shows that even if any singularity is a small deformation of its tangent cone, the tangent cone cannot provide an upper bound for the geometric genus.