Parabolic subgroups containing the centralizer of a unipotent element (Q791653): Difference between revisions

Let V be a finite dimensional vector space over a field k and assume that on V is given either the trivial form or a nondegenerate symplectic, orthogonal or unitary form. Let \(G=GL(V)\), Sp(V), O(V), GU(V). Fix a non- identity unipotent element y of G, let \(C=C_ G(y)\) and U be the unipotent radical of C. Let a, b be nonnegative integers such that \(a+b\) is the length of a Jordan block of y and \(V_{a,b}=null\quad space ((1- y)^ a)\cap \quad image ((1-y)^{\ell}).\) For other values of a,b let \(V_{a,b}=0\). A parabolic subgroup of G means the stabilizer in G of a flag of the form \(0=W_ 0<W_ 1<...<W_ r=V,\) where for each i \(W_ i=V_ i\) or \(V_ i^{\perp}\) with \(V_ i\) isotropic. The first main result of the paper under review is the following Theorem A. Assume that \(| k|>2\) if \(G=GL(V)\) and \(| k|>3\) if \(G=O(V)\) or Sp(V). Let P be the parabolic subgroup of G determined by \(0=W_ 0<W_ 1<...<W_ r=V.\) (1) \(C_ G(y)\leq P\) if and only if each \(W_ i\) is a sum of \(V_{a,b}'s.\) (2) Suppose \(C_ G(y)\leq P\). Then U is contained in the unipotent radical of P if and only if for each i, the following condition holds: \(V_{a,b}\leq W_ i\) implies \(V_{a-j,b+j},\quad V_{a-j,b},\quad V_{a,b+j}\leq W_{i-1}\) for each j. Let P be a parabolic subgroup of G containing U in its unipotent radical, \(P_ y\) be the subgroup generated by all such P and \(P^ 0_ y\) the subgroup generated by those P containing \(C_ G(y)\). The second main result is the following Theorem B. Let d be minimal such that \((1-y)^ d=0.\) (i) \(P^ 0_ y\) leaves invariant both the image and null space of \((1- y)^{d-1}.\) (ii) Assume d is even if \(G=Sp(V)\) and d is odd if \(G=O(V)\). Then \(P_ y\) leaves invariant both the image and null space of \((1-y)^{d-1}\).