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

DOI10.1007/S00200-019-00395-XMaRDI QIDQ2175226zbMATH OpenOpenAlexWikidataFDO

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)

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

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)

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.

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

Cites work

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

Cited in

(10)

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

Describes a project that uses

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)