Canonical bases of modules over one dimensional K-algebras

DOI10.1007/S13398-018-0538-4MaRDI QIDQ2314652zbMATH OpenOpenAlexFDO

Publication date 29 July 2019

Published in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)

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

zbMATH Keywords

canonical bases Kähler differentials numerical semigroups polynomial curves

Mathematics Subject Classification ID

Formal power series rings (13F25) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Singularities of curves, local rings (14H20) Plane and space curves (14H50) Computational aspects of algebraic curves (14Q05) Arithmetic theory of semigroups (20M13) Commutative semigroups (20M14)

Abstract: Let K be a field and denote by K[t], the polynomial ring with coefficients in K. Set A = K[f1,. .. , fs], with f1,. .. , fs

i n

K[t]. We give a procedure to calculate the monoid of degrees of the K algebra M = F1A +

i m e s

i m e s

i m e s

+ FrA with F1,. .. , Fr

i n

K[t]. We show some applications to the problem of the classification of plane polynomial curves (that is, plane algebraic curves parametrized by polynomials) with respect to some oh their invariants, using the module of K{"a}hler differentials.

Review text

Let \(\mathbf{K}[t]\) be the polynomial ring with coefficients in a field \(\mathbf{K}\) of characteristic zero, set \(\mathbf{A} = \mathbf{K}[f_1,\dots, f_s]\), with \(f_1,\dots, f_s \in \mathbf{K}[t]\). In the present paper the authors use a result of \textit{A. Assi} et al. [J. Symb. Comput. 79, Part 1, 4--22 (2017; Zbl 1351.13013)], extending in a sense SAGBI bases, [\textit{M. Kreuzer} and \textit{L. Robbiano}, Computational commutative algebra. II. Berlin: Springer (2005; Zbl 1090.13021)] and [\textit{L. Robbiano} and \textit{M. Sweedler}, Lect. Notes Math. 1430, 61--87 (1990; Zbl 0725.13013)], to the setting of modules, and give an algorithm to compute a system of generators of the ideal consisting of degrees in \(t \) of elements of the module \(\mathbf {M}=F_1\mathbf{A}+\dots+F_r\mathbf{A}\) with \(F_1,\dots, F_r\in\mathbf{K}[t]\). Then, they show applications to the classification of plane polynomial curves with respect to some of their invariants, using the module of Kähler differentials, that is they consider the case where \(\mathbf{A} = \mathbf{K}[X (t ), Y (t )]\) is the ring of coordinates of a plane algebraic curve parametrized by \(X(t),Y(t)\). The procedures in the paper are performed with the numericalsgps GAP package (see also Delgado, Garcia-Sanchez, Morais, \url{https://gap-packages.github.io/numericalsgps}).

Recommendations

Cites work

Cited in

(3)

Describes a project that uses

Uses Software

This page was built for publication: Canonical bases of modules over one dimensional \(\mathbf{K}\)-algebras

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