Related papers: Separating Invariants and Local Cohomology
Polynomial invariants of a group action often appear only in high degree, and in many representations the invariant ring imposes severe degree constraints before any nontrivial invariants can occur. In contrast, the larger class of unitary…
Suppose that G is a linearly reductive group. We study the minimal free resolution of the invariant ring. If G is a finite linearly reductive group, then the ring of invariants is generated in degree at most |G|, the group order. We prove…
The fundamental representations of the special linear group ${\rm SL}_n$ over the complex numbers are the exterior powers of $\mathbb{C}^n$. We consider the invariant rings of sums of arbitrary many copies of these ${\rm SL}_n$-modules. The…
The paper presents a new algorithmic construction of a finite generating set of rational invariants for the rational action of an algebraic group on the affine space. The construction provides an algebraic counterpart of the moving frame…
We develop a representation theoretic technique for detecting closed orbits that is applicable in all characteristics. Our technique is based on Kempf's theory of optimal subgroups and we make some improvements and simplify the theory from…
The first part of this paper is a refinement of Winkelmann's work on invariant rings and quotients of algebraic groups actions on affine varieties, where we take a more geometric point of view. We show that the (algebraic) quotient…
Suppose that G is a finite, unitary reflection group acting on a complex vector space V and X is the fixed point subspace of an element of G. Define N to be the setwise stabilizer of X in G, Z to be the pointwise stabilizer, and C=N/Z. Then…
A minimal separating set is found for the algebra of matrix invariants of several 2x2 matrices over an infinite field of arbitrary characteristic
In order to study certain algebraic objects, and notably algebraic groups, Serre introduced the notion on invariants, in particular cohomological invariants. The construction of non-trivial cohomological invariants of algebraic groups is an…
Let $G$ be a linear algebraic group defined over an algebraically closed field $k$, and let $V$ be a vector space on which $G$ acts linearly. The separating variety $\mathcal{S}_{G,V}$ is the subvariety of $V^2$ consisting of pairs of…
Consider the representations of an algebraic group G. In general, polynomial invariant functions may fail to separate orbits. The invariant subring may not be finitely generated, or the number and complexity of the generators may grow…
Let $G$ be a linear algebraic group acting linearly on a $G$-variety $\mathcal{V}$, and let $k[\mathcal{V}]^G$ be the corresponding algebra of invariant polynomial functions. A separating set $S \subseteq k[\mathcal{V}]^G$ is a set of…
The work proves that, for three-dimensional upper triangular groups over a field of odd characteristic with an abelian unipotent subgroup, the ring of invariants is polynomial if and only if the unipotent subgroup is generated by…
A subset $S$ of a group $G$ invariably generates $G$ if, when each element of $S$ is replaced by an arbitrary conjugate, the resulting set generates $G.$ An invariable generating set $X$ of $G$ is called minimal if no proper subset of $X$…
Covariant or invariant functions under a compact linear group can be expressed in terms of functions defined in the orbit space of the group. The semialgebraic relations defining the orbit spaces of all finite coregular real linear groups…
Given a group action, known by its infinitesimal generators, we exhibit a complete set of syzygies on a generating set of differential invariants. For that we elaborate on the reinterpretation of Cartan's moving frame by Fels and Olver…
Consider the action of a connected complex reductive group on a finite-dimensional vector space. A fundamental result in invariant theory states that the orbit closure of a vector v is separated from the origin if and only if some…
We compute some numerical invariants of local cohomology of the ring of invariants by a finite group, mainly in the modular case. Also, we present some applications. In particular, we study Cohen-Macaulay property of modular invariants from…
This article investigates the traces of certain modules over rings of invariants associated with finite groups. More precisely, we provide a formula for computing the traces of arbitrary semi-invariants, thereby contributing to the…
We investigate the dynamics of forward or backward self-similar systems (iterated function systems) and the topological structure of their invariant sets. We define a new cohomology theory (interaction cohomology) for forward or backward…