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
    0 references
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    semigroup
    0 references
    multiplicity tree
    0 references