Observable actions of algebraic groups

DOI10.1007/S00031-009-9073-XMaRDI QIDQ848903zbMATH OpenOpenAlexFDO

Authors Lex E. Renner, Alvaro Rittatore

Publication date 23 February 2010

Published in Transformation Groups (Search for Journal in Brave)

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

zbMATH Keywords

actionaffine algebraic groupaffine algebraic variety

Mathematics Subject Classification ID

Group actions on affine varieties (14R20)

Abstract: Let G be an affine algebraic group and let X be an affine algebraic variety. An action $GimesXoX$ is called observable if for any G-invariant, proper, closed subset Y of X there is a nonzero invariant $finK[X{]}^G$ such that f(Y) =0. We characterize this condition geometrically as follows. The action $GimesXoX$ is observable if and only if (1) there is a nonempty open subset $UsubseteqX$ consisting of closed orbits, and (2) the field $K(X{)}^G$ of G-invariant rational functions on X is equal to the quotient field of $K[X{]}^G$. In case G is reductive, we conclude that there exists a unique, maximal, G-stable, closed subset $X_{soc}$ of $X$ such that $Gimes{X}_{soc}o{X}_{soc}$ is observable. Furthermore, the canonical map $X_{soc}//GoX//G$ is finite and bijective.

Review text

Let \(G\) be an affine algebraic group acting on an affine algebraic variety \(X\), all taken over an algebraically closed field \(k\). This action is called observable if for any \(G\)-stable proper closed subset \(Y\) in \(X\) there is a nonzero \(G\)-invariant regular function \(f\) on \(X\) such that \(f|_Y=0\). The authors prove that, for irreducible \(X\), the action is observable if and only if (1) it is stable (i.e., there is a nonempty open subset of \(X\) consisting of closed orbits); and (2) the field of \(G\)-invariant rational functions on \(X\) is equal to the quotient field of the algebra of \(G\)-invariant regular functions on \(X\). For a reductive \(G\), this implies the existence of a unique maximal \(G\)-stable closed subset \(X_{\text{soc}}\) in \(X\) such that the natural action of \(G\) on \(X_{\text{soc}}\) is observable.

Recommendations

• Observability in invariant theory
• Provarieties and observable subgroups of pro-affine algebraic groups
• Observable subgroups of algebraic monoids.
• Observability in invariant theory. II: Divisors and rational invariants
• Some rationality properties of observable groups and related questions

Cites work

• Algebraic geometry
• Closed Conjugacy Classes, Closed Orbits and Structure of Algebraic Groups
• Extensions of Representations of Algebraic Linear Groups
• scientific article; zbMATH DE number 2194027 (Why is no real title available?)
• scientific article; zbMATH DE number 3199301 (Why is no real title available?)
• Localization and invariant theory
• Observable Groups and Hilbert's Fourteenth Problem
• Period, index and potential Ш
• Some Basic Theorems on Algebraic Groups

Cited in

(20)

• Algebraic actions of \(p\)-groups
• On observable subgroups of complex analytic groups
• Orbits and invariants of visible group actions
• Additive group actions with finitely generated invariants
• Factorial algebraic group actions and categorical quotients
• Provarieties and observable subgroups of pro-affine algebraic groups
• On stability of diagonal actions and tensor invariants
• Observability in invariant theory. II: Divisors and rational invariants
• The ring of regular functions of an algebraic monoid.
• scientific article; zbMATH DE number 2131821 (Why is no real title available?)
• A short survey on observability
• scientific article; zbMATH DE number 1736447 (Why is no real title available?)
• Observability in invariant theory
• The adjoint action is observable
• Linearly reductive and unipotent actions of affine groups
• Hassett-Tschinkel correspondence and automorphisms of the quadric
• Modules of higher order invariants
• Invariants of a maximal unipotent subgroup and equidimensionality
• Local invariants and exceptional divisors of group actions
• Observable subgroups of algebraic monoids.

This page was built for publication: Observable actions of algebraic groups

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