A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals
type: Item
instance of: scholarly article
title: A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals
zbMATH Open document ID: 1489.14085
author: Katsusuke Nabeshima
author: Shinichi Tajima
published in: Journal of Symbolic Computation
publication date: 2021-06-03T00:00:00Z
review text: Let \(\mathbb{C}^{n}\) be the complex affine space of dimension \(n\) with coordinates \(\mathbf{x}=(x_1,x_2,\dots,x_{n})\). Take an open neigbourhood \(X\) of the origin \(\mathbf{0}\) of \(\mathbb{C}^{n}\) and a holomorphic function \(f(\mathbf{x})\) in \(X\) (\(f\in{\mathcal{O}}_{X}\)) such that \(S=\{\mathbf{x}\,|\,f(\mathbf{x})=0 \}\) defines a hypersurface with an isolated singularity at \(\mathbf{0}.\) A holomorphic vector field \(v\) in \(X\) is called logarithmic along \(S\) if \(v(f)\) belongs to the ideal \(\langle f \rangle\) generated by \(f\) in \({\mathcal{O}}_{X}\). Consider the sheaf \(\mathcal{Der}_{X}(-\text{log}S)\) of logarithmic vector fields along \(S\) and the module of germs \(\mathcal{Der}_{X,\mathbf{0}}(-\text{log}S)\) of \(\mathcal{Der}_{X}(-\text{log}S)\) at \(\mathbf{0}\). The main reult of the work under review stablishes a new algorithm to compute generators of \(\mathcal{Der}_{X,\mathbf{0}}(-\text{log}S)\) much faster than other algorithms introduced by the authors in a previous work [Rev. Roum. Math. Pures Appl. 64, No. 4, 523--540 (2019; Zbl 07179445)], and without using generic polar variaties in its definition, which allows to study and compute in a more efficient way generalizations of the Milnor and Tjurina numbers associated to S. Furthermore, the authors extend the algorithms to parametric cases using Gröbner systems.
reviewed by: Alvaro Bustinduy
Mathematics Subject Classification ID: 14Q10
Mathematics Subject Classification ID: 32S05
Mathematics Subject Classification ID: 32S65
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7354277
zbMATH Keywords: logarithmic vector fields
zbMATH Keywords: local cohomology
zbMATH Keywords: isolated singularities
zbMATH Keywords: Gröbner bases
describes a project that uses: Risa/Asir
MaRDI profile type: Publication
full work available at URL: j.jsc.2021.03.003
OpenAlex ID: W3158840160
cites work: Invariants of topological relative right equivalences
cites work: Monodromy of isolated singularities of hypersurfaces
cites work: Critical points of functions on analytic varieties
cites work: An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system
cites work: The Milnor-Palamodov theorem for functions on isolated hypersurface singularities
cites work: On the computation of parametric Gröbner bases for modules and syzygies
cites work: Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems
cites work: On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
cites work: Computing logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities
cites work: Computing Tjurina stratifications of \(\mu \)-constant deformations via parametric local cohomology systems
cites work: Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases
cites work: Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals
cites work: Computation methods of logarithmic vector fields associated to semi-weighted homogeneous isolated hypersurface singularities
cites work: Q5219380
cites work: Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems
cites work: Testing zero-dimensionality of varieties at a point
cites work: Q4234269
cites work: THE BRUCE-ROBERTS NUMBER OF A FUNCTION ON A WEIGHTED HOMOGENEOUS HYPERSURFACE
cites work: NON-NEGATIVE DEFORMATIONS OF WEIGHTED HOMOGENEOUS SINGULARITIES
cites work: The Bruce–Roberts Number of A Function on A Hypersurface with Isolated Singularity
cites work: Q3961117
cites work: Algorithms for the Gauss-Manin connection
cites work: Q5401227
cites work: Computing regular meromorphic differential forms via Saito's logarithmic residues
cites work: Annihilating ideals for an algebraic local cohomology class
cites work: Q3559372
DOI: 10.1016/J.JSC.2021.03.003
Recommended article: Computing logarithmic vector fields along an ICIS germ via Matlis duality
Recommended article: Computation methods of logarithmic vector fields associated to semi-weighted homogeneous isolated hypersurface singularities
Recommended article: Logarithmic differential forms on varieties with singularities
Recommended article: Computing logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities
Recommended article: Annihilating ideals for an algebraic local cohomology class
Recommended article: Hessian ideals of a homogeneous polynomial and generalized Tjurina algebras
Recommended article: Q5219380
Recommended article: Tjurina number of a generic irreducible curve singularity
Recommended article: The local cohomology of the Jacobian ring
Recommended article: Syzygies of Jacobian ideals and defects of linear systems
description: scientific article; zbMATH DE number 7354277