Are representations of a linearly reductive group discretely parameterized? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T22:49:34Z http://mathoverflow.net/feeds/question/56112 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56112/are-representations-of-a-linearly-reductive-group-discretely-parameterized Are representations of a linearly reductive group discretely parameterized? Anton Geraschenko 2011-02-20T22:17:12Z 2011-02-21T15:32:08Z <p>Suppose $G$ is a linearly reductive group over a field (say $\mathbb C$). Does somebody know of a proof that any flat family of finite-dimensional representations of $G$ must be locally constant?</p> <p>In other words, I want to prove that if $A$ is a commutative $\mathbb C$-algebra (without idempotents) and $\rho:G\to GL_n(A)$ is an algebraic group homomorphism (roughly, a family of representations parameterized by $Spec(A)$), then after conjugating by some element of $GL_n(A)$, the image of $\rho$ is actually contained in $GL_n(\mathbb C)\subset GL_n(A)$.</p> <hr> <p><strong>Remark 1:</strong> A finite-dimensional representation of $G$ is completely determined by the dimensions of its highest weight spaces. For a long time I thought this "discrete" parameterization somehow proved the result, but it doesn't. For example, nilpotent matrices are "discretely" parameterized by Jordan type, but it's obviously possible to have a flat family of nilpotent matrices in which Jordan type jumps, like <code>$\begin{pmatrix}0&amp;t\\ 0&amp; 0\end{pmatrix}$</code> over the affine line with coordinate $t$.</p> <p><strong>Remark 2:</strong> Another reason I thought this was clear is that deformations of a representation $V$ are <a href="http://mathoverflow.net/questions/570/deformation-theory-of-representations-of-an-algebraic-group" rel="nofollow">controlled by cohomology groups</a> $H^{>0}(G,V\otimes V^*)$, which all vanish when $G$ is linearly reductive. This implies that any <em>formal</em> family&mdash;any flat family over an Artin ring&mdash;of representations has to be constant. However, this isn't enough to say that any family has to be locally constant. For example, deformations of $G$, as a group, are controlled by $H^{>0}(G,Ad)$, which vanish when $G$ is linearly reductive. So any formal family of linearly reductive groups has to be constant, but it is possible to have a flat family of linearly reductive groups which is not locally constant. Specifically, the affine line with a doubled origin is a flat group over the affine line. The fiber over the origin is $\mathbb Z/2$, but all the other fibers are trivial.</p> http://mathoverflow.net/questions/56112/are-representations-of-a-linearly-reductive-group-discretely-parameterized/56133#56133 Answer by David Ben-Zvi for Are representations of a linearly reductive group discretely parameterized? David Ben-Zvi 2011-02-21T03:11:45Z 2011-02-21T15:32:08Z <p>Having a discrete set of parameters is not enough, as you explain, but having a discrete set of parameters which are continuous rather than semicontinuous in families certainly is. In the case of a reductive group [in characteristic zero] the entire category of representations sheafifies over the spectrum of the center of the enveloping algebra (this is true for any category over the spectrum of its center). In this case we know exactly what this spectrum is (dual Cartan mod Weyl group), and moreover we know the allowable parameters in there form a discrete subset (integral points), and moreover the fiber of the category of group representations over any such parameter is just Vect. </p> <p>[Edit: this means that the moduli stack of irreducible objects is a disjoint union of $BG_m$'s, coming from the Schur lemma automorphisms.. of course one can twist a family of irreducibles by a line bundle on the base, so the assertion can literally only ever be true up to line bundles. Also I was ignoring connected components of the group, which contribute some additional finite parameters to the spec of the center of the enveloping algebra.]</p> <p>Edit: to put it slightly more concisely, there are idempotents in the center of the enveloping algebra, when specialized to any G-representation [edit: to be precise, when completed at the augmentation associated to any irrep], which give projections onto integral eigenspaces of the Casimirs. So given a family of irreducibles over a ring you can pick out connected components on which the group acts by a given highest weight representation [edit: up to Schur twist].</p> <p>[Edit: of course there's a much simpler way to say all this: the values of the Casimirs give locally constant functions on the base of any family of irreducibles, which allow you to pick up the isotypic components on various connected components]</p> http://mathoverflow.net/questions/56112/are-representations-of-a-linearly-reductive-group-discretely-parameterized/56159#56159 Answer by Angelo for Are representations of a linearly reductive group discretely parameterized? Angelo 2011-02-21T10:03:12Z 2011-02-21T13:23:02Z <p>I don't think this is literally true. For example, suppose that $G$ is a finite cyclic group of order 2 generated by $s$, suppose that $L$ is an non-trivial 2-torsion invertible $A$-module over a Dedekind ring $A$. Then $L^{\oplus 2}$ is isomorphic to $A^{\oplus 2}$; you can let $G$ act on $L^{\oplus 2}$ with the rule $s(a,b) = (a, -b)$. This gives a family of representations that does not come from $\mathbb C$. You can give a similar example in which $G$ is a torus.</p> <p>On the other hand, what you want is true Zariski-locally; would that be enough for your needs?</p> <p> Let me add a proof that the statement is Zariski-locally true. The key point is the following: given a locally free sheaf on a scheme $X$ with an action of $G$, the subsheaf of invariants is also locally free. This is easy: if $X = \mathop{\rm Spec} A$ and $E$ corresponds to a projectve $A$-module $M$, then $M^G$ is a direct summand of $M = M^G \oplus M_G$, because $G$ is linearly reductive (and $M$ is a locally finite representation of $G$, this is standard); and $M_G$ is also an $A$-submodule, so $M^G$ is a projective $A$-module. Now, let $E$ be a locally free sheaf with an action of $G$. Let $p$ be a rational point of $X$, and $V$ be the representation of $G$ appearing as the fiber $E(p)$ of $E$ at $p$. Consider the locally free sheaf $Hom_{\mathcal O_X}(V \otimes \mathcal O_X, E)$; the sheaf of invariants, that is, the sheaf of $G$-equivariant homomorphisms $V \otimes \mathcal O_X \to E$, is locally free. At the point $p$ we have a section of its fiber, given by the tautological isomorphism $V \simeq E(p)$; since the sheaf is locally free, this extends to a section in a neighborhood. By further restricting the neighborhood, this sectioin will be an isomorphism, and this concludes the proof.</p>