TY - JOUR

T1 - Pairs of Lie-type and large orbits of group actions on filtered modules

T2 - (A characteristic-free approach to finite determinacy)

AU - Boix, Alberto F.

AU - Greuel, Gert–Martin –M

AU - Kerner, Dmitry

N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.

PY - 2022/7/1

Y1 - 2022/7/1

N2 - Finite determinacy for mappings has been classically thoroughly studied in numerous scenarios in the real- and complex-analytic category and in the differentiable case. It means that the map-germ is determined, up to a given equivalence relation, by a finite part of its Taylor expansion. The equivalence relation is usually given by a group action and the first step is always to reduce the determinacy question to an “infinitesimal determinacy”, i.e., to the tangent spaces at the orbits of the group action. In this work we formulate a universal, characteristic-free approach to finite determinacy, not necessarily over a field, and for a large class of group actions. We do not restrict to pro-algebraic or Lie groups, rather we introduce the notion of “pairs of (weak) Lie type”, which are groups together with a substitute for the tangent space to the orbit such that the orbit is locally approximated by its tangent space, in a precise sense. This construction may be considered as a kind of replacement of the exponential resp. logarithmic maps. It is of independent interest as it provides a general method to pass from the tangent space to the orbit of a group action in any characteristic. In this generality we establish the “determinacy versus infinitesimal determinacy” criteria, a far reaching generalization of numerous classical and recent results, together with some new applications.

AB - Finite determinacy for mappings has been classically thoroughly studied in numerous scenarios in the real- and complex-analytic category and in the differentiable case. It means that the map-germ is determined, up to a given equivalence relation, by a finite part of its Taylor expansion. The equivalence relation is usually given by a group action and the first step is always to reduce the determinacy question to an “infinitesimal determinacy”, i.e., to the tangent spaces at the orbits of the group action. In this work we formulate a universal, characteristic-free approach to finite determinacy, not necessarily over a field, and for a large class of group actions. We do not restrict to pro-algebraic or Lie groups, rather we introduce the notion of “pairs of (weak) Lie type”, which are groups together with a substitute for the tangent space to the orbit such that the orbit is locally approximated by its tangent space, in a precise sense. This construction may be considered as a kind of replacement of the exponential resp. logarithmic maps. It is of independent interest as it provides a general method to pass from the tangent space to the orbit of a group action in any characteristic. In this generality we establish the “determinacy versus infinitesimal determinacy” criteria, a far reaching generalization of numerous classical and recent results, together with some new applications.

KW - Finite determinacy

KW - Group actions on modules

KW - Infinitesimal stability

KW - Pairs of Lie-type

KW - Sufficiency of jets

UR - http://www.scopus.com/inward/record.url?scp=85124966296&partnerID=8YFLogxK

U2 - 10.1007/s00209-022-02983-z

DO - 10.1007/s00209-022-02983-z

M3 - Article

AN - SCOPUS:85124966296

SN - 0025-5874

VL - 301

SP - 2415

EP - 2463

JO - Mathematische Zeitschrift

JF - Mathematische Zeitschrift

IS - 3

ER -