The Apery algorithm for a plane singularity with two branches (Q1770338)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Apery algorithm for a plane singularity with two branches |
scientific article |
Statements
The Apery algorithm for a plane singularity with two branches (English)
0 references
6 April 2005
0 references
Let \(\mathcal O=k[[x,y]]\) be the complete local ring of a plane curve with two branches over an algebraically closed field \(k\) of characteristic \(0\), let \(S\subseteq \mathbb Z^2_+\) be the semigroup of values defined by the normalization map \(\mathcal O\to k[[t_1]]\times k[[t_2]]\). The Apery set of \(S\) with respect to \(\alpha\in S\) is defined as \(\Omega_\alpha=\{\beta\in S\mid \beta-\alpha\notin S\}\). Define \(\Omega_\alpha^0=\{\beta\in \Omega_\alpha\mid \beta\text{ maximal}\}\) and inductively \(\Omega_\alpha^i=\{\beta\in \Omega_\alpha \setminus \bigcup_{j=0}^{i-1}\Omega_\alpha^j\mid \beta \text{ maximal}\}\), here \(\beta <\beta'\) if \(\beta_i <\beta'_i\) for \(i=1,2\). One obtains \(\Omega_\alpha=\bigcup_{i=0}^{m-1}\Omega_\alpha^i\). Let \(v(x)=:e\in S\) be the smallest element and \(\mathcal O'=k[[x, \frac{y}{x}]]\) be the blow up of \(\mathcal O\). Assume that \(\mathcal O\) and \(\mathcal O'\) are local rings. It is proved that \(\Omega_e^i=(\Omega')^i_e + (m-1-i)e\). This result is the basis of an algorithm to compute the multiplicity tree using the semigroup and vice versa. Finally the multiplicity trees of plane curve singularities with two branches are characterized.
0 references
semigroup
0 references
multiplicity tree
0 references