Covariants, Invariant Subsets, and First Integrals
Abstract
Let be an algebraically closed field of characteristic 0, and let be a finite-dimensional vector space. Let be the semigroup of all polynomial endomorphisms of . Let be a subset of which is a linear subspace and also a semi-subgroup. Both and are ind-varieties which act on in the obvious way. In this paper, we study important aspects of such actions. We assign to a linear subspace of the vector fields on . A subvariety of is said to -invariant if is in the tangent space of for all in and in . We show that is -invariant if and only if it is the union of -orbits. For such , we define first integrals and construct a quotient space for the -action. An important case occurs when is an algebraic subgroup of ) and consists of the -equivariant polynomial endomorphisms. In this case, the associated is the space the -invariant vector fields. A significant question here is whether there are non-constant -invariant first integrals on . As examples, we study the adjoint representation, orbit closures of highest weight vectors, and representations of the additive group. We also look at finite-dimensional irreducible representations of SL2 and its nullcone.
Cite
@article{arxiv.1703.01890,
title = {Covariants, Invariant Subsets, and First Integrals},
author = {Frank Grosshans and Hanspeter Kraft},
journal= {arXiv preprint arXiv:1703.01890},
year = {2024}
}