Analytic classification of plane branches up to multiplicity 4 (Q1015159)

The authors give the analytic classification of germs of complex, reduced, locally irreducible plane curve singularities up to multiplicity 4. Two germs of complex reduced plane curves are called contact topological equivalent (or equisingular) if there exists a local homeomorphism of the singular point neighborhood which sends one germ to another. The two germs are called contact analytically equivalent if this homeomorphism can be chosen as a locally analytic transformation. The contact topological classification of plane curve germs was completed in the first half of 20's century. Various simple complete topological invariants are known. The contact \textit{analytic} equivalence is much more subtle (for an introduction [cf. \textit{O. Zariski}, The moduli problem for plane branches. University Lecture Series 39. Providence, RI: American Mathematical Society (AMS). (2006; Zbl 1107.14021)]). The final step of this very important problem was recently done by the authors [The analytic classification of plane branches, \url{arXiv:0707.4502}, not yet formally published]. In the current paper the authors use their method to write down explicit classification of germs of multiplicity at most 4. (Some of the results have been previously obtained by others, but with the proposed method the results are immediate.) First, the possible semigroups (fixing the topological types) for the multiplicity at most 4 are classified. For the multiplicity 2 or 3 this gives only three types and no moduli. For the multiplicity 4 there are several types with moduli. Explicit normal forms are given, i.e. collections of curve families containing every possible analytic type at most finite number of times. The normal form is determined by the set of differentials and the semigroup of values as its subset.