Classifying strata for the adjoint representation of GL from first principles - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T15:43:29Z http://mathoverflow.net/feeds/question/7569 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/7569/classifying-strata-for-the-adjoint-representation-of-gl-from-first-principles Classifying strata for the adjoint representation of GL from first principles Vinoth 2009-12-02T09:29:32Z 2009-12-03T03:31:38Z <p>How would one classify the strata for the standard nilpotent cone for $GL_{k}(\mathbb{C})$, using the definition from Hesselink's paper "<a href="http://www.springerlink.com/content/m0216108j1000117/" rel="nofollow">Desingularizations of Varieties of Nullforms</a>"? I know that they correspond to partitions / nilpotent orbits etc, but from first principles why aren't two different nilpotent orbits possibly in the same strata - how would you prove that? (preferably using the definition of Hesselink) </p> <p>I would like to classify the strata for the problem I'm working on, but don't completely understand how to do it for the more basic case (for which the method is probably well-known), I get stuck on the details, so that would be very helpful. Thanks. </p> http://mathoverflow.net/questions/7569/classifying-strata-for-the-adjoint-representation-of-gl-from-first-principles/7636#7636 Answer by David Speyer for Classifying strata for the adjoint representation of GL from first principles David Speyer 2009-12-03T03:31:38Z 2009-12-03T03:31:38Z <p>I'm going to give a partial answer here for two reasons: (1) I am lazy and (2) this is starting to feel a little homeworky to me. Obviously, no one would assign this material as homework, but part of reading a math paper is taking the time to work out lots of simple examples and see how the definitions work. I feel like you are pushing the boundaries of how much of this work it is reasonable to ask other people to do. Not a major criticism, certainly not a vote to close the question, but my input.</p> <p><hr></p> <p>On to the math. I've scanned the first 3 pages of Hesselink's paper. He make the following definitions. G acts on V, v is a point of V and $\star$ a chosen base point of V fixed by G. In your setting, G is $GL_n$, V is the $n \times n$ matrices where G acts by conjugation, and $\star$ is zero. Hesselink writes Y(G) for what is essentially $\mathrm{Hom}(\mathbb{C}^*, G)$. More precisely, Hesselink tensors with $\mathbb{Q}$, so that he can talk about maps like $t \mapsto \left( \begin{smallmatrix} t^{1/3} &amp; 0 \\ 0 &amp; t^{-2/7} \end{smallmatrix} \right)$. I'll ignore this detail.</p> <p>For $\lambda \in Y(G)$, Hesselink defines a rational number $m(\lambda)$. We talked about this in <a href="http://mathoverflow.net/questions/7046/strata-for-the-nullcone-from-hesselinks-paper" rel="nofollow">your previous question</a>. In this setting, where V is an $N$-dimensional vector space, Hesselink gives an explicit formula for m on the bottom of page 142/top of page 143: Diagonalize the action of $\lambda$ as $t \mapsto \mathrm{diag}(t^{m_1}, \cdots, t^{m_N})$ and write $v = \sum v_i e_i$.. Then $m(\lambda) = \min(m_i : v_i \neq 0)$ if this number is nonnegative, and is $- \infty$ if this minimum is negative.</p> <p>Let's see what this definition means in your setting. We can conjugate any $\lambda$ into diagonal form as $t \mapsto \mathrm{diag}(t^{c_1}, \cdots, t^{c_n})$. I've replaced $m_i$ by $c_i$ to point out that these $c$'s are not the $m$'s of the previous paragraph. In our notation, the $N$ of the previous paragraph is $n^2$. The vector space $V$ has dimension $n^2$ with basis $e_{ij}$. The action of $\lambda(t)$ on $e_{ij}$ is by $t^{c_i - c_j}$. (<strong>Exercise!</strong>). </p> <p>So $m(\lambda) > 0$ if and only if $c_i \leq c_j$ implies $v_{ij} =0$. </p> <p>We may as well order our basis such that $c_1 \geq c_2 \geq \cdots \geq c_n$. If $c_1 > c_2 > \cdots >c_n$ then we see that $m(\lambda) > 0$ if and only if $v$ is a strictly upper triangular matrix. When there are some equalities among the $c$'s, you want $v$ to be strictly block upper triangular. For such a $v$, $m(\lambda) = \min(c_i - c_j : v_{ij} \neq 0)$. In particular, notice that there exists a $\lambda$ such that $m(\lambda) > 0$ if and only if $v$ is nilpotent.</p> <p>Hesselink defines $\Lambda(v)$ to be the locus in $\{ \lambda : m(\lambda) = 1 \}$ where $q(\lambda)$ is minimized, where $q$ is the inner product from your <a href="http://mathoverflow.net/questions/7046/strata-for-the-nullcone-from-hesselinks-paper" rel="nofollow">previous question</a>. What you want to show is that $\Lambda(v)$ determines the Jordan normal form of $v$.</p> <p>I must admit that I haven't thought out how to prove this. But I hope this makes things explicit enough that you can attack it.</p>