The Apery algorithm for a plane singularity with two branches (Q1770338)

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.