We prove that the nilpotent commuting variety of a reductive Lie algebra over an algebraically closed field of good characteristic is equidimensional. In characteristic zero, this confirms a conjecture of Vladimir Baranovsky. As a by-product, we obtain tat the punctual (local) Hilbert scheme parametrising the ideals of colength $n$ in $k[[X,Y]]$ is irreducible over any algebraically closed field $k$.
We calculate the rational cohomology of the commuting variety $X_{G, n}$ consisting of $n$-tuples of commuting elements of a compact reductive group $G$. This is done by studying a map from a related variety $Y_{G, n}$, which has easily calculated cohomology. The proof studies the fibers of the map and uses the Vietoris-Begle theorem to prove that the induced map on rational cohomology is an isomorphism.
I prefer taking off this paper for the moment because of a mistake in the lemma 2.1 of the secund version. Precisely, in the proof of this lemma, it is not clear that the morphism $r\_j$ is flat, that I claim it.
Let U be the unipotent radical of a Borel subgroup of a connected reductive algebraic group G, which is defined over an algebraically closed field k. In this paper, we extend work by Goodwin-Röhrle concerning the commuting variety of Lie(U) for char(k)=0 to fields, whose characteristic is good for G
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field $\mathbbm k$ of characteristic zero. We consider the commuting variety $\mathcal C(\mathfrak u)$ of the nilradical $\mathfrak u$ of the Lie algebra $\mathfrak b$ of a Borel subgroup $B$ of $G$. In case $B$ acts on $\mathfrak u$ with only a finite number of orbits, we verify that $\mathcal C(\mathfrak u)$ is equidimensional and that the irreducible components are in correspondence with the {\em distinguished} $B$-orbits in $\mathfrak u$. We observe that in general $\mathcal C(\mathfrak u)$ is not equidim…
We study the variety of n by n matrices with commutator of rank at most one. We describe its irreducible components; two of them correspond to the pairs of commuting matrices, and n-2 components of smaller dimension corresponding to the pairs of rank one commutator. In our proof we define a map to the zero fiber of the Hilbert scheme of points and study the image and the fibers.
I.M. Gelfand and V.A. Ponomarev (1969) proved that the problem of classifying pairs (A,B) of commuting nilpotent operators on a vector space contains the problem of classifying an arbitrary t-tuple of linear operators. Moreover, it contains the problem of classifying representations of an arbitrary quiver, and so it is considered as hopeless. We give a simple normal form of the matrices of (A,B) if the intersection of kernels of A and B is one-dimensional. We prove that this form is canonical if the Jordan matrix of A is a direct sum of Jordan blocks of the same size and the field is of zero c…
The commuting variety of a reductive Lie algebra ${\goth g}$ is the underlying variety of a well defined subscheme of $\gg g{}$. In this note, it is proved that this scheme is normal. In particular, its ideal of definition is a prime ideal.
The generalized commuting and isospectral commuting varieties of a reductive Lie algebra have been introduced in a preceding article. In this note, it is proved that their normalizations are Gorenstein with rational singularities. Moreover, their canonical modules are free of rank 1. In particular, the usual commuting variety is Gorenstein with rational singularities and its canonical module is free of rank 1.
Let $G$ be a connected reductive group over an algebraically closed field $\Bbbk$. Under mild restrictions on the characteristic of $\Bbbk$, we show that any $G$-module with a good filtration also has a good filtration as a module for the reductive part of the centralizer of a nilpotent element $x$ in its Lie algebra.
For a reductive Lie algbera over an algbraically closed field of charasteristic zero,we consider a borel subgroup $B$ of its adjoint group, a Cartan subalgebra contained inthe Lie algebra of $B$ and the closure $X$ of its orbit under $B$ in the Grassmannian.The variety $X$ plays an important role in the study of the commuting variety. In thisnote, we prove that $X$ is Gorenstein with rational singularities.
We provide a list of canonical forms for all pairs of commuting nilpotent $4\times 4$ matrices over an algebraically closed field under simultaneous similarity.
Let $G$ be an algebraic group. For $d\geq 1$, we define the commuting probabilities $cp_d(G) = \frac{dim(\mathfrak C_d(G))}{dim(G^d)}$, where $\mathfrak C_d(G)$ is the variety of commuting $d$-tuples in $G$. We prove that for a reductive group $G$ when $d$ is large, $cp_d(G)\sim \fracα{n}$ where $n=\dim(G)$, and $α$ is the maximal dimension of an Abelian subgroup of $G$. For a finite reductive group $G$ defined over the field $\mathbb F_q$, we show that $cp_{d+1}(G(\mathbb F_q))\sim q^{(α-n)d}$, and give several examples.
The aim of this paper is to describe the irregular locus of the commuting variety of a reductive symmetric Lie algebra. More precisely, we want to enlighten a remark of Popov. In [Po], the irregular locus of the commuting variety of any reductive Lie algebra is described and its codimension is computed. This provides a bound for the codimension of the singular locus of this commuting variety. [Po, Remark 1.13] suggests that the arguments and methods of [Po] are suitable for obtaining analogous results in the symmetric setting. We show that some difficulties arise in this case and we obtain som…
Let G be a connected reductive linear algebraic group defined over an algebraically closed field of characteristic p. Assume that p is good for G. In this note we consider particular classes of connected reductive subgroups H of G and show that the cocharacters of H that are associated to a given nilpotent element e in the Lie algebra of H are precisely the cocharacters of G associated to e that take values in H. In particular, we show that this is the case provided H is a connected reductive subgroup of G of maximal rank; this answers a question posed by J.C. Jantzen.
In this paper we study the derived category of sheaves on the affine Grassmannian of a complex reductive group G, contructible with respect to the stratification by G(C[[x]])-orbits. Following ideas of Ginzburg and Arkhipov-Bezrukavnikov-Ginzburg, we describe this category (and a mixed version) in terms of coherent sheaves on the nilpotent cone of its Langlands dual reductive group. We also show, in the mixed case, that restriction to the nilpotent cone of a Levi subgroup corresponds to hyperbolic localization on affine Grassmannians.
Let $\mathfrak{g}$ be the $p$-dimensional Witt algebra over an algebraically closed field $k$ of characteristic $p>3$. Let $\mathscr{N}={x\in\ggg\mid x^{[p]}=0}$ be the nilpotent variety of $\mathfrak{g}$, and $\mathscr{C}(\mathscr{N}):=\{(x,y)\in \mathscr{N}\times\mathscr{N}\mid [x,y]=0\}$ the nilpotent commuting variety of $\mathfrak{g}$. As an analogue of Premet's result in the case of classical Lie algebras [A. Premet, Nilpotent commuting varieties of reductive Lie algebras. Invent. Math., 154, 653-683, 2003.], we show that the variety $\mathscr{C}(\mathscr{N})$ is reducible and equidimens…
This paper is about nilpotent orbits of reductive groups over local non-Archimedean fields. In this paper we will try to identify for which groups there are only finitely many nilpotent orbits, for which groups the nilpotent orbits are separable and for which groups Howe's conjecture holds. For general reductive groups we get some partial results. For split reductive groups we get a classification in terms of the root data and the characteristic of the underlying local field.
The nilpotent bicone of a finite dimensional complex reductive Lie algebra g is the subset of elements in g x g whose subspace generated by the components is contained in the nilpotent cone of g. The main result of this note is that the nilpotent bicone is a complete intersection. This affirmatively answers a conjecture of Kraft-Wallach concerning the nullcone. In addition, we introduce and study the characteristic submodule of g. The properties of the nilpotent bicone and the characteristic submodule are known to be very important for the understanding of the commuting variety and its ideal o…
Let $G$ be a simple simply-connected algebraic group over an algebraically closed field $k$ of characteristic $p>0$ with $\mathfrak{g}={\rm Lie}(G)$. We discuss various properties of nilpotent orbits in $\mathfrak{g}$, which have previously only been considered over $\mathbb{C}$. Using a combination of theoretical and computational methods, we extend to positive characteristic various calculations of de Graaf with nilpotent orbits in exceptional Lie algebras. In particular, we classify those orbits which are reachable, those which satisfy a certain related condition due to Panyushev, and deter…
The paper studies the dimensions of irreducible components of commuting varieties of (restricted) nilpotent $r$-tuples in a classical Lie algebra $\mathfrak{g}$ defined over an algebraically closed field $k$. As applications, we obtain some new results on the structure of the (even) cohomology ring of Frobenius kernels $G_r$ for each $r\ge 1$, where $G$ is the simply connected, simple algebraic group such that $\text{Lie}(G)=\mathfrak{g}$. Explicit calculations for rank two groups are also presented.
In this paper, we construct and classify the special unipotent representations of a real reductive group attached to the principal nilpotent orbit. We give formulas for the $\mathbf{K}$-types, associated varieties, and Langlands parameters of all such representations.
The nilpotent cone of a reductive Lie algebra has a desingularization given by thecotangent bundle of the flag variety. Analogously, the nullcone of a cartesianpower of the algebra has a desingularization given by a vector bundle over theflag variety. As for the nullcone, the subvariety of elements whose componentsare in a same Borel subalgebra, has a desingularization given by a vector bundle overthe flag variety. In this note, some properties of these varieties are given. Forthe study of the commuting variety, the analogous variety to the flag variety isthe closure in the Grassmannian of the…
Let $\N_n$ be the set of nilpotent $n$ by $n$ matrices over an algebraically closed field $k$. For each $r\ge 2$, let $C_r(\N_n)$ be the variety consisting of all pairwise commuting $r$-tuples of nilpotent matrices. It is well-kown that $C_2(\N_n)$ is irreducible for every $n$. We study in this note the reducibility of $C_r(\N_n)$ for various values of $n$ and $r$. In particular it will be shown that the reducibility of $C_r(\mathfrak{gl}_n)$, the variety of commuting $r$-tuples of $n$ by $n$ matrices, implies that of $C_r(\N_n)$ under certain condition. Then we prove that $C_r(\N_n)$ is reduc…
The index of a finite-dimensional Lie algebra $g$ is the minimum of dimensions of stabilisers $g_α$ of elements $α\in g^*$. Let $g$ be a reductive Lie algebra and $z(x)$ a centraliser of a nilpotent element $x\in g$. Elashvili has conjectured that the index of the centraliser $z(x)$ equals the index of $g$, i.e., the rank of $g$. Here Elashvili's conjecture is proved for reductive Lie algebras of classical type. It is shown that in cases $g=gl_n$ and $g=sp_{2n}$ the coadjoint action of $z(x)$ has a generic stabiliser. Also, we give an example of a nilpotent element $x\in so_8$ such that the co…
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of ${\rm GL}_n(\mathbf{C})$, especially of the Borel subgroup $B$ and of the standard unipotent subgroup $U$ of the latter on the nilpotent cone of complex nilpotent matrices. We obtain generic normal forms of the orbits and describe generating (semi-) invariants for the Borel semi-invariant ring as well as for the $U$-invariant ring. The latter is described in more detail in terms of algebraic quotients by a special toric variety closely related. The study of a GIT-quotient for the Borel-action is initiated.
We prove that generic higher Deligne-Lusztig representations over truncated formal power series are non-nilpotent, when the parameters are non-trivial on the biggest reduction kernel of the centre; we also establish a relation between the orbits of higher Deligne-Lusztig representations of $\mathrm{SL}_n$ and of $\mathrm{GL}_n$. Then we introduce a combinatorial analogue of Deligne-Lusztig construction for general and special linear groups over local rings; this construction generalises the higher Deligne--Lusztig representations and affords all the nilpotent orbit representations, and for $\m…
In this paper we determine, for all $r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting $r$-tuples of nilpotent elements of $\mathfrak{gl}_n$. Our main result is that in characteristic $\neq 2,3$, this nilpotent commuting variety has dimension $(r+1)\lfloor \frac{n^2}{4}\rfloor$ for $n\geq 4$, $r\geq 7$. We use this to find the dimension of the (ordinary) $r$-th commuting varieties of $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ for the same range of values of $r$ and $n$. Our principal motivation is the connection between nilpotent commuting variet…
This paper addresses various questions about pairs of similarity classes of matrices which contain commuting elements. In the case of matrices over finite fields, we show that the problem of determining such pairs reduces to a question about nilpotent classes; this reduction makes use of class types in the sense of Steinberg and Green. We investigate the set of scalars that arise as determinants of elements of the centralizer algebra of a matrix, providing a complete description of this set in terms of the class type of the matrix. Several results are established concerning the commuting of ni…
Let G be a complex reductive linear algebraic group and let K be a maximal compact subgroup of G. Given a nilpotent group Γgenerated by r elements, we consider the representation spaces Hom(Γ,G) and Hom(Γ,K) with the natural topology induced from an embedding into G^r and K^r respectively. The goal of this paper is to prove that there is a strong deformation retraction of Hom(Γ,G) onto Hom(Γ,K). We also obtain a strong deformation retraction of the geometric invariant theory quotient Hom(Γ,G)//G onto Hom(Γ,K)/K.
Let $F$ be a $p$-adic field and let $G$ be a connected reductive group defined over $F$. We assume $p$ is big. Denote $\mathfrak{g}$ the Lie algebra of $G$. To each vertex $s$ of the reduced Bruhat-Tits' building of $G$, we associate as usual a reductive Lie algebra $\mathfrak{g}_{s}$ defined over the residual field ${\mathbb F}_{q}$. We normalize suitably a Fourier-transform $f\mapsto \hat{f}$ on $C_{c}^{\infty}(\mathfrak{g}(F))$. We study the subspace of functions $f\in C_{c}^{\infty}(\mathfrak{g}(F))$ such that the orbital integrals of $f$ and of $\hat{f}$ are $0$ for each element of $ \mat…
We introduce a new notion of rank for unitary representations of semisimple groups over a local field of characteristic zero. The theory is based on Kirillov's method of orbits for nilpotent groups over local fields. When the semisimple group is classical, we prove that the new theory is essentially equivalent to Howe's theory of N-rank.
To any pair of commuting n x n nilpotent matrices it is associated a pair of partitions of n. We describe a maximal nilpotent subalgebra of the centralizer of a given nilpotent n x n matrix and prove a conjecture of Polona Oblak which consists in an algorithm for the determination of the maximum partition which forms with a given partition a pair with the previous property.
We study in this paper the jet schemes of the closure of nilpotent orbits in a finite-dimensional complex reductive Lie algebra. For the nilpotent cone, which is the closure of the regular nilpotent orbit, all the jet schemes are irreducible. This was first observed by Eisenbud and Frenkel, and follows from a strong result of Mustautca (2001). Using induction and restriction of "little" nilpotent orbits in reductive Lie algebras, we show that for a large number of nilpotent orbits, the jet schemes of their closure are reducible. As a consequence, we obtain certain geometrical properties of the…
Let X and Y be commuting nilpotent K-endomorphisms of a vector space V, where K is a field of characteristic p >= 0. If F=K(t) is the field of rational functions on the projective line, consider the K(t)-endomorphism A=X+tY of V. If p=0, or if the (p-1)-st power of A is 0, we show here that X and Y are tangent to the unipotent radical of the centralizer of A in GL(V). For all geometric points (a:b) of a suitable open subset of the projective line, it follows that X and Y are tangent to the unipotent radical of the centralizer of aX+bY. This answers a question of J. Pevtsova.
We study the anti-commuting variety which consists of pairs of anti-commuting $n\times n$ matrices. We provide an explicit description of its irreducible components and their dimensions. The GIT quotient of the anti-commuting variety with respect to the conjugation action of $GL_n$ is shown to be of pure dimension $n$. We also show the semi-nilpotent anti-commuting variety (in which one matrix is required to be nilpotent) is of pure dimension $n^2$ and describe its irreducible components.
It is well-known that a nilpotent n by n matrix B is determined up to conjugacy by a partition of n formed by the sizes of the Jordan blocks of B. We call this partition the Jordan type of B. We obtain partial results on the following problem: for any partition P of n describe the type Q(P) of a generic nilpotent matrix commuting with a given nilpotent matrix of type P. A conjectural description for Q(P) was given by P. Oblak and restated by L. Khatami. In this paper we prove "half" of this conjecture by showing that this conjectural type is less than or equal to Q(P) in the dominance order on…
Let $G$ be a connected, reductive algebraic group over an algebraically closed field $k$ of prime characteristic $p$ and $\mathfrak{g}=Lie(G)$. In this paper, we study representations of $\mathfrak{g}$ with a $p$-character $χ$ of standard Levi form. When $\mathfrak{g}$ is of type $A_n, B_n, C_n$ or $D_n$, a sufficient condition for the irreducibility of standard parabolic baby Verma $\mathfrak{g}$-modules is obtained. This partially answers a question raised by Friedlander and Parshall in [Friedlander E. M. and Parshall B. J., Deformations of Lie algebra representations, Amer. J. Math. 112 (19…
We define and study several equivariant stratifications of the isotropy and coisotropy representations of a parabolic subgroup in a complex reductive group.
Let $g_e$ be the centraliser of a nilpotent element $e$ in a finite dimensional simple Lie algebra $g$ of rank $l$ over an algebraically closed field of characteristic 0. We investigate the algebra $S(g_e)^{g_e}$ of symmetric invariants of $g_e$ and prove that if $g$ is of type $A$ or $C$, then $S(g_e)^{g_e}$ is always a graded polynomial algebra in $l$ variables. We show that this continues to hold for some nilpotent elements in the Lie algebras of other types. In type $A$ we prove that $S(g_e)^{g_e}$ is freely generated by a regular sequence in $S(g_e)$ and describe the tangent cone at $e$ t…
Let $\mathcal{N}_{\mathfrak{g}^*}$ be the variety of nilpotent elements in the dual of the Lie algebra of a reductive algebraic group over an algebraically closed field. In \cite{Lu2} Lusztig proposes a definition of a partition of $\mathcal{N}_{\mathfrak{g}^*}$ into smooth locally closed subvarieties (which are indexed by the unipotent classes in the corresponding group over complex numbers) and gives explicit results in types $A$, $C$ and $D$. We discuss type $B$ in this note.
Given the nilpotent cone of a complex reductive Lie algebra, we consider its equivariant constructible derived category of sheaves with coefficients in an arbitrary field. This category and its subcategory of perverse sheaves play an important role in Springer theory and the theory of character sheaves. We show that the composition of the Fourier--Sato transform on the Lie algebra followed by restriction to the nilpotent cone restricts to an autoequivalence of the derived category of the nilpotent cone. In the case of $GL_n$, we show that this autoequivalence can be regarded as a geometric ver…
The Jordan type of a nilpotent matrix is the partition giving the sizes of its Jordan blocks. We study pairs of partitions $(P,Q)$, where $Q={\mathcal Q}(P)$ is the Jordan type of a generic nilpotent matrix A commuting with a nilpotent matrix B of Jordan type $ P$. T. Košir and P. Oblak have shown that $Q$ has parts that differ pairwise by at least two. Such partitions, which are also known as "super distinct" or "Rogers-Ramanujan", are exactly those that are stable or "self-large" in the sense that ${\mathcal Q}(Q)=Q$. In 2012 P. Oblak formulated a conjecture concerning the cardinality of the…
It is known that the variety parametrizing pairs of commuting nilpotent matrices is irreducible and that this provides a proof of the irreducibility of the punctual Hilbert scheme in the plane. We extend this link to the nilpotent commuting variety of parabolic subalgebras of $M\_n(\K)$ and to the punctual nested Hilbert scheme. By this method, we obtain a lower bound on the dimension of these moduli spaces. We characterize the numerical conditions under which they are irreducible. In some reducible cases, we describe the irreducible components and their dimension.
Let $G$ be a simple algebraic group defined over an algebraically closed field $k$ of characteristic $p$ and let $\g$ be the Lie algebra of $G$. It is well known that for $p$ large enough the spectrum of the cohomology ring for the $r$-th Frobenius kernel of $G$ is homeomorphic to the commuting variety of $r$-tuples of elements in the nilpotent cone of $\g$ [Suslin-Friedlander-Bendel, J. Amer. Math. Soc, \textbf{10} (1997), 693--728]. In this paper, we study both geometric and algebraic properties including irreducibility, singularity, normality and Cohen-Macaulayness of the commuting varietie…
Let $g$ be a finite dimensional complex reductive Lie algebra and <.,.> an invariant non degenerated bilinear form on $g\times g$ which extends the Killing form of $[g,g]$. We define a subcomplex $E\_{\bullet}(g)$ of the canonical complex $C\_{\bullet}(g)$ of $g$. There exists a well defined sub-module $B\_{g}$ of the module of polynomial maps from $g\times g$ to $g$ which is free of rank equal to the dimension b of the borel subalgebras of $g$. Moreover, $B\_{g}$ is contained in the space of cycles of the canonical complex of $g$. The complex $E\_{\bullet}(g)$ is the ideal of $C\_{\bullet}(g)…
Let g be a complex reductive Lie algebra with Cartan algebra h. Hotta and Kashiwara defined a holonomic D-module M, on g x h, called Harish-Chandra module. We relate gr(M), an associated graded module with respect to a canonical Hodge filtration on M, to the isospectral commuting variety, a subvariety of g x g x h x h which is a ramified cover of the variety of pairs of commuting elements of g. Our main result establishes an isomorphism of gr(M) with the structure sheaf of X_norm, the normalization of the isospectral commuting variety. It follows, thanks to the theory of Hodge modules, that th…
In this paper the authors introduce an analog of the nilpotent cone, ${\mathcal N}$, for a classical Lie superalgebra, ${\mathfrak g}$, that generalizes the definition for the nilpotent cone for semisimple Lie algebras. For a classical simple Lie superalgebra, ${\mathfrak g}={\mathfrak g}_{\bar{0}}\oplus {\mathfrak g}_{\bar{1}}$ with $\text{Lie }G_{\bar{0}}={\mathfrak g}_{\bar{0}}$, it is shown that there are finitely many $G_{\bar{0}}$-orbits on ${\mathcal N}$. Later the authors prove that the Duflo-Serganova commuting variety, ${\mathcal X}$, is contained in ${\mathcal N}$ for any classical …
We show that, for an arbitrary quasi-reductive Lie superalgebra with a triangular decomposition and a character $ζ$ of the nilpotent radical, the associated Backelin functor $Γ_ζ$ sends Verma modules to standard Whittaker modules provided the latter exist. As a consequence, this gives a complete solution to the problem of determining the composition factors of the standard Whittaker modules in terms of composition factors of Verma modules in the category $\mathcal O$. In the case of the ortho-symplectic Lie superalgebras, we show that the Backelin functor $Γ_ζ$ and its target category, respect…
An algebraic group is called semi-reductive if it is a semi-direct product of a reductive subgroup and the unipotent radical. Such a semi-reductive algebraic group naturally arises and also plays a key role in the study of modular representations of non-classical finite-dimensional simple Lie algebras in positive characteristic, and some other cases. Let $G$ ba a connected semi-reductive algebraic group over an algebraically closed field $\mathbb{F}$ and $\mathfrak{g}=Lie(G)$. It turns out that $G$ has many same properties as reductive groups, such as the Bruhat decomposition. In this note, we…
The Harish-Chandra--Howe local character expansion expresses the characters of reductive, $p$-adic groups in terms of Fourier transforms of nilpotent orbital integrals on their Lie algebras, and Murnaghan--Kirillov theory expresses many characters of reductive, $p$-adic groups in terms of Fourier transforms of semisimple orbital integrals (also on their Lie algebras). In many cases, the evaluation of these Fourier transforms seems intractable; but, for $\operatorname{SL}_2$, the nilpotent orbital integrals have already been computed. In this paper, we use a variant of Huntsinger's integral for…
We show that the numbers of nilpotent coadjoint orbits in the dual of exceptional Lie algebra $G_2$ in characteristic $3$ and in the dual of exceptional Lie algebra $F_4$ in characteristic $2$ are finite. We determine the closure relation among nilpotent coadjoint orbits in the dual of Lie algebras of type $B,C,F_4$ in characteristic $2$ and in the dual of Lie algebra of type $G_2$ in characteristic $3$. In each case we give an explicit description of the nilpotent pieces in the dual defined in \cite{CP}, which are in general unions of nilpotent coadjoint orbits, coincide with the earlier case…
Let G be a connected reductive group defined over an algebraically closed field k of characteristic p > 0. The purpose of this paper is two-fold. First, when p is a good prime, we give a new proof of the ``order formula'' of D. Testerman for unipotent elements in G; moreover, we show that the same formula determines the p-nilpotence degree of the corresponding nilpotent elements in the Lie algebra of G. Second, if G is semisimple and p is sufficiently large, we show that G always has a faithful representation (r,V) with the property that the exponential of dr(X) lies in r(G) for each p-nilpote…
We study some aspects of modular generalized Springer theory for a complex reductive group $G$ with coefficients in a field $\mathbb k$ under the assumption that the characteristic $\ell$ of $\mathbb k$ is rather good for $G$, i.e., $\ell$ is good and does not divide the order of the component group of the centre of $G$. We prove a comparison theorem relating the characteristic-$\ell$ generalized Springer correspondence to the characteristic-$0$ version. We also consider Mautner's characteristic-$\ell$ `cleanness conjecture'; we prove it in some cases; and we deduce several consequences, inclu…
In this paper, we give a simple formula for sectional curvatures on the general linear group, which is also valid for many other matrix groups. Similar formula is given for a reductive Lie group. We also discuss the relation between commuting matrices and zero sectional curvature.
