Skip to main content
6 events
when toggle format what by license comment
May 5, 2022 at 13:14 comment added Jason Starr Consider the action of the multiplicative group $\mathbb{G}_m =\text{Spec}\ k[t,t^{-1}]$ on $\mathbb{A}^3=\text{Spec}\ k[x,y,z]$ by $t\cdot(x,y,z) = (tx,ty,t^{-1}z)$. The categorical quotient is given by the morphism of affine $k$-schemes associated to the inclusion of rings $k[u,v]\hookrightarrow k[x,y,z]$ by $u\mapsto xz$ and $v\mapsto yz$. This morphism is flat of relative dimension $1$ over the complement of the origin in $\text{Spec}\ k[u,v]$, but the fiber over the origin has a component of dimension $2$.
May 5, 2022 at 11:41 history edited YCor CC BY-SA 4.0
formatting, added tag; edited tags
May 5, 2022 at 9:07 comment added Mary Susy @abx Thank you for the detail, because I am a beginner on this subject, I am not familiar with notations and concepts of the paper. Could you show me an easy examples? Thanks in advance!
May 5, 2022 at 4:15 comment added abx As explained in the question you quote, the case where $\pi$ is equidimensional is actually quite rare. The paper Representations with a free module of covariants by V. Popov (Functional Anal. Appi. 10 (1976), 242-243) gives a complete list of these cases for irreducible representations of an almost simple, simply connected group; just take any representation which is not in that list.
S May 5, 2022 at 2:33 review First questions
May 5, 2022 at 3:58
S May 5, 2022 at 2:33 history asked Mary Susy CC BY-SA 4.0