Classifying complete C-subalgebras of C[[t]]

DOI10.1007/S00229-019-01162-5MaRDI QIDQ2004030zbMATH OpenOpenAlexFDO

Authors Eloise Hamilton

Publication date 14 October 2020

Published in Manuscripta Mathematica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1910.05753

zbMATH Keywords

classificationcurve singularitiesnumerical semigroupsZariski moduli space

Mathematics Subject Classification ID

Families, moduli of curves (algebraic) (14H10) Singularities of curves, local rings (14H20)

Abstract: We address the problem of classifying complete $mathbbC$-subalgebras of $mathbbC[[t]]$. A discrete invariant for this classification problem is the semigroup of orders of the elements in a given $mathbbC$-subalgebra. Hence we can define the space $mathcal{R}_{Gamma}$ of all $mathbbC$-subalgebras of $mathbbC[[t]]$ with semigroup $Gamma$. After relating this space to the Zariski moduli space of curve singularities and to a moduli space of global singular curves, we prove that $mathcal{R}_{Gamma}$ is an affine variety by describing its defining equations in an ambient affine space in terms of an explicit algorithm. Moreover, we identify certain types of semigroups $Gamma$ for which $mathcal{R}_{Gamma}$ is always an affine space, and for general $Gamma$ we describe the stratification of $mathcal{R}_{Gamma}$ by embedding dimension. We also describe the natural map from $mathcal{R}_{Gamma}$ to the Zariski moduli space in some special cases. Explicit examples are provided throughout.

Review text

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)].

Recommendations

• Bases of subalgebras of \(\mathbb{K}[\![ x ]\!]\) and \(\mathbb{K}[x]\)
• Classification of isolated complete intersection singularities
• Sur la classification des branches. (On classification of branches)
• A classifier for simple space curve singularities
• Coarse moduli space of ordinary multiple points in the plane

Cites work

• scientific article; zbMATH DE number 4130544 (Why is no real title available?)
• scientific article; zbMATH DE number 3950697 (Why is no real title available?)
• scientific article; zbMATH DE number 2084919 (Why is no real title available?)
• scientific article; zbMATH DE number 4196135 (Why is no real title available?)
• Modular compactifications of the space of pointed elliptic curves. I
• Modular compactifications of the space of pointed elliptic curves. II.
• Moduli of subrings of a local ring
• Second flip in the Hassett-Keel program: existence of good moduli spaces
• Studies in Equisingularity I Equivalent Singularities of Plane Algebroid Curves
• Sur les modules des singularités des courbes planes
• The semigroup of a space curve singularity

Cited in

(1)

• The question of Arnold on classification of co-Artin subalgebras in singularity theory

This page was built for publication: Classifying complete \(\mathbb{C}\)-subalgebras of \(\mathbb{C}t\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2004030)