Algorithms for group actions in arbitrary characteristic and a problem in singularity theory

DOI10.1007/S00200-019-00395-XzbMATH Open1440.14218arXiv1709.08592OpenAlexW2964350364WikidataQ114692907 ScholiaQ114692907MaRDI QIDQ2175226FDOQ2175226

Authors: Gert-Martin Greuel, Thuy Huong Pham 

Publication date: 28 April 2020

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Abstract: We consider the actions of different groups G on the space M of m x n matrices with entries in the formal power series ring Kx1,..., xs, K an arbitrary field. G acts on M by analytic change of coordinates, combined with the multiplication by invertible matrices from the left, the right or from both sides, respectively. This includes right and contact equivalence of functions and mappings, resp. ideals. A is called finitely G-determined if any matrix B, with entries of A-B in <x1,...,xs>^k for some k, is contained in the G-orbit of A. The purpose of this paper is to present algorithms for checking finite determinacy, to compute determinacy bounds and to compute the image of the tangent map to the orbit map G -> GA, which we call the tangent image to the orbit GA. The tangent image is contained in the tangent space to the orbit GA and we apply the algorithms to prove that both spaces may be different if the field K has positive characteristic, even for contact equivalence of functions. This fact had been overlooked by several authors before. Besides this application, the algorithms of this paper may be of interest for the classification of singularities in arbitrary characteristic.

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

Recommendations

• On finite determinacy for matrices of power series
• Semi-invariants, equivariants and algorithms
• A note on finite determinacy of matrices
• Finite determinacy of matrices and ideals
• Finite determinacy of matrices over local rings. tangent modules to the miniversal deformation for \(R\)-linear group actions

zbMATH Keywords

tangent spacetangent imagealgorithms for determinacyno-separable group action in positive characteristicright and contact equivalence in positive characteristic

Mathematics Subject Classification ID

Group actions on varieties or schemes (quotients) (14L30) Positive characteristic ground fields in algebraic geometry (14G17)

Cites Work

• SINGULAR
• Right simple singularities in positive characteristic
• Stability of \(C^ \infty\) mappings. III: Finitely determined map germs
• Title not available (Why is that?)
• Introduction to Singularities and Deformations
• Simple singularities in positive characteristic
• Invariants of hypersurface singularities in positive characteristic
• Normal forms of hypersurface singularities in positive characteristic
• Actions and invariants of algebraic groups
• On finite determinacy for matrices of power series
• Finite determinacy of matrices and ideals
• The right classification of univariate power series in positive characteristic
• Right unimodal and bimodal singularities in positive characteristic

Cited In (9)

• Algorithmic Recognition of Actions of 2-Homogeneous Groups on Pairs
• On finite determinacy for matrices of power series
• Pairs of Lie-type and large orbits of group actions on filtered modules: a characteristic-free approach to finite determinacy
• Isosingular loci of algebraic varieties
• Finite determinacy of matrices over local rings. tangent modules to the miniversal deformation for \(R\)-linear group actions
• Algorithms for the character theory of the symmetric group
• A note on finite determinacy of matrices
• Singularities in positive characteristic: equisingularity, classification, determinacy
• Algorithms for orbit closure separation for invariants and semi-invariants of matrices

Uses Software

• SINGULAR
• classifyCeq.lib

This page was built for publication: Algorithms for group actions in arbitrary characteristic and a problem in singularity theory

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