03ae3d0546d38b84.tex
1: \begin{abstract}
2: For a subgroup $H$ of a reductive group $G$, let $\me=\h^\perp\subset\g^*$ be the cotangent 
3: space of $\{H\}\in G/H$. The linear action $(H:\me)$ is the {\it coisotropy representation\/}. It is known 
4: that the complexity and rank of $G/H$ (denoted $c$ and $r$, respectively) are encoded in properties of 
5: $(H:\me)$. We complement existing results on $c$, $r$, and $(H:\me)$, especially for quasiaffine 
6: varieties $G/H$. For instance, if the algebra of invariants $\bbk[\me]^H$ is finitely generated, then 
7: $\fnme\subset \me\cap\fngs$. Moreover, if $G/H$ is affine, then $\fnme=\me\cap\fngs$ if and only if 
8: $c=0$. We also prove that the variety $\me\cap\fngs$ is pure, of dimension $\dim\me-r$. Two other 
9: topics considered are {\sf (i)} a relationship between varieties $G/H$ of complexity at most $1$ and the 
10: homological dimension of the algebra $\bbk[\me]^H$ and {\sf (ii)} the  Poisson structure of $\bbk[\me]^H$ 
11: and Poisson-commutative subalgebras $\gA\subset \bbk[\me]^H$ such that $\trdeg\gA$ is maximal.
12: \end{abstract}
13: