Classifying complete \(\mathbb{C}\)-subalgebras of \(\mathbb{C}[[t]]\) (Q2004030)

In the paper under review, the author deals with the problem of classifying complete \(\mathbb{C}\)-subalgebras of \(\mathbb{C}[[t]]\), the ring of formal power series in one variable. A discrete invariant providing such a classification is a semigroup \(\Gamma\), in \(\mathbb{N}\), obtained by taking the orders of the elements of a given \(\mathbb{C}\)-subalgebra of \(\mathbb{C}[[t]]\). Hence, the problem is reduced to classify complete \(\mathbb{C}\)-subalgebras of \(\mathbb{C}[[t]]\) with a given semigroup \(\Gamma\). So, it is possible to define the space \(R_{\Gamma}\) of all \(\mathbb{C}\)-subalgebras of \(\mathbb{C}[[t]]\) with given \(\Gamma\). As semigroups arising from unibranch curve singularities are exactly the so-called numerical semigroups, the Author focuses on \(R_{\Gamma}\) for this type of semigroup and the study of the space \(R_{\Gamma}\) is motivated by showing how it relates to the Zariski moduli space of curve singularities on the one hand and to a moduli space of global singular curves on the other. In particular, \(R_{\Gamma}\) is proved to be an affine variety by providing an algorithm, which yields its defining equations in an ambient affine space in terms of the given semigroup; some examples show how to use these results to explicitly compute \(R_{\Gamma}\). Moreover, the question is addressed of whether or not \(R_{\Gamma}\) can always be identified with an affine space and whether is there a numerical criterion for this; although the problem remains open, certain types of semigroups are identified, for which \(R_{\Gamma}\) is always an affine space, and for general \({\Gamma}\) a finite stratification of \(R_{\Gamma}\) is described, by locally closed subsets corresponding to subalgebras with a fixed number of generators. The relationship between \(R_{\Gamma}\) and the Zariski moduli space \(\mathcal{M}_{\Gamma}\) is also explored, by explicitly computing the natural map from \(R_{\Gamma}\) to \(\mathcal{M}_{\Gamma}\) in some special cases. The same algebraic problem addressed in the present paper was considered (yet only in an abstract and scheme-theoretic perspective) by \textit{S. Ishii} [J. Algebra 67, 504--516 (1980; Zbl 0469.14013)].