Algorithms for curves with one place at infinity

DOI10.1016/J.JSC.2015.08.008MaRDI QIDQ898275zbMATH OpenOpenAlexFDO

Authors Abdallah Assi, Pedro A. García Sánchez

Publication date 8 December 2015

Published in Journal of Symbolic Computation (Search for Journal in Brave)

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

approximate roots curves with one place at infinity semigroup of values

Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Computational aspects of algebraic curves (14Q05) Classification of affine varieties (14R05) Commutative semigroups (20M14) General topics in the theory of algorithms (68W01)

Abstract: Let

f

be a plane curve. We give a procedure based on Abhyankar's approximate roots to detect if it has a single place at infinity, and if so construct its associated

d e l t a

-sequence, and consequently its value semigroup. Also for fixed genus (equivalently Frobenius number) we construct all

d e l t a

-sequences generating numerical semigroups with this given genus. For a

d e l t a

-sequence we present a procedure to construct all curves having this associated sequence. We also study the embeddings of such curves in the plane. In particular, we prove that polynomial curves might not have a unique embedding.

Review text

In this paper the authors present three procedures which are part of the NumericalSgps GAP package (see \url{http://cmup.fc.up.pt/cmup/mdelgado/numericalsgps/}). These procedures are: {\parindent=6mm \begin{itemize} \item[-] \textsl{Semigroup of values of plane curve with single place at infinity}. Given an algebraic plane curve \(f\), it checks if \(f\) has one place at infinity; if so, it computes the generators of its semigroup of values and its approximate roots. This algorithm is based on \textit{S. S. Abhyankar} [Adv. Math. 74, No. 2, 190--257 (1989; Zbl 0683.14001)] and is the main novelty of the paper. \item [-] \textsl{Curve associated to delta sequence}. Given a \(\delta\)-sequence \(l\), it computes a curve whose semigroup of values is generated by \(l\). This algorithm corresponds with Algorithm 1 in [\textit{M. Fujimoto} and \textit{M. Suzuki}, Osaka J. Math. 39, No. 4, 1005--1027 (2002; Zbl 1053.14069)]. \item [-] \textsl{Delta sequences with Frobenius number}. Given a positive integer \(g\), it computes the set of all \(\delta\)--sequences generating numerical semigroups with Frobenius number \(g\). \end{itemize}} Finally, at the end of the paper, the authors give an example of a polynomial which does not have a unique embedding in the plane and the same example provides a counterexample for the conjecture stated in [\textit{V. Shpilrain} and \textit{J.-T. Yu}, J. Algebra 217, No. 2, 668--678 (1999; Zbl 0964.14025)].

Recommendations

Cites work

Cited in

(9)

Describes a project that uses

Uses Software

This page was built for publication: Algorithms for curves with one place at infinity

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