Printable PDF
Department of Mathematics,
University of California San Diego

****************************

Algebra and Representation Theory Special Colloquium

Hanspeter Kraft

University of Basel

Separating Invariants and Degree Bounds

Abstract:

If $V$ is a representation of a linear algebraic group $G$, a set $S$ of $G$-invariant regular functions on $V$ is called separating if the following holds: If two elements $v,v'$ from $V$ can be separated by an invariant function, then there is an f from S such that $f(v)$ is different from $f(v')$. It is known that there always exist finite separating sets, even though the invariant ring might not be finitely generated. Moreover, if the group $G$ is finite, then the invariant functions of degree $\le |G|$ always form a separating set. So the degree bounds are definitely smaller than for the generators of the invariants. Jointly with Martin Kohls we have shown that for a non-finite linear algebraic group G such an upper bound for the degrees of a separating set does not exist. Moreover, for a finite group G we define b(G) to be the minimal number d such that for every G-module V there is a separating set of degree less or equal to d. We then show that for a subgroup H of G we have $b(H) \le b(G) \le [G:H] b(H)$, and that $b(G) \le b(G/H) b(H)$ in case H is normal. In addition, we calculate $b(G)$ for some specific finite groups.

Host: Nolan Wallach

October 18, 2010

3:00 PM

AP&M 7218

****************************