Kostant polynomial

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, the Kostant polynomials, named after Bertram Kostant, provide an explicit basis of the ring of polynomials over the ring of polynomials invariant under the finite reflection group of a root system.

Background[edit]

If the reflection group W corresponds to the Weyl group of a compact semisimple group K with maximal torus T, then the Kostant polynomials describe the structure of the de Rham cohomology of the generalized flag manifold K/T, also isomorphic to G/B where G is the complexification of K and B is the corresponding Borel subgroup. Armand Borel showed that its cohomology ring is isomorphic to the quotient of the ring of polynomials by the ideal generated by the invariant homogeneous polynomials of positive degree. This ring had already been considered by Claude Chevalley in establishing the foundations of the cohomology of compact Lie groups and their homogeneous spaces with André Weil, Jean-Louis Koszul and Henri Cartan; the existence of such a basis was used by Chevalley to prove that the ring of invariants was itself a polynomial ring. A detailed account of Kostant polynomials was given by Bernstein, Gelfand & Gelfand (1973) and independently Demazure (1973) as a tool to understand the Schubert calculus of the flag manifold. The Kostant polynomials are related to the Schubert polynomials defined combinatorially by Lascoux & Schützenberger (1982) for the classical flag manifold, when G = SL(n,C). Their structure is governed by difference operators associated to the corresponding root system.

Steinberg (1975) defined an analogous basis when the polynomial ring is replaced by the ring of exponentials of the weight lattice. If K is simply connected, this ring can be identified with the representation ring R(T) and the W-invariant subring with R(K). Steinberg's basis was again motivated by a problem on the topology of homogeneous spaces; the basis arises in describing the T-equivariant K-theory of K/T.

Definition[edit]

Let Φ be a root system in a finite-dimensional real inner product space V with Weyl group W. Let Φ+ be a set of positive roots and Δ the corresponding set of simple roots. If α is a root, then sα denotes the corresponding reflection operator. Roots are regarded as linear polynomials on V using the inner product α(v) = (α,v). The choice of Δ gives rise to a Bruhat order on the Weyl group determined by the ways of writing elements minimally as products of simple root reflection. The minimal length for an elenet s is denoted \ell(s). Pick an element v in V such that α(v) > 0 for every positive root.

If αi is a simple root with reflection operator si

 s_i x= x- 2{(x,\alpha_i)\over (\alpha_i,\alpha_i)}\alpha_i,

then the corresponding divided difference operator is defined by

 \delta_i f = {f-f\circ s_i\over \alpha_i}.

If \ell(s)=m and s has reduced expression

s=s_{i_1}\cdots s_{i_m},

then

\delta_s=\delta_{i_1}\cdots \delta_{i_m}

is independent of the reduced expression. Moreover

\displaystyle \delta_s\delta_t=\delta_{st}

if \ell(st)=\ell(s)+\ell(t) and 0 otherwise.

If w0 is the Coxeter element of W, the element of greatest length or equivalently the element sending Φ+ to −Φ+, then

 \delta_{w_0}f= {\sum_{s \in W} {\rm det} \, s \, f\circ s\over \prod_{\alpha>0} \alpha}.

More generally

\delta_{s}f={{\rm det}\, s \, f\circ s + \sum_{t<s} a_{s,t} \,f\circ t\over \prod_{\alpha>0, \, s^{-1}\alpha<0} \alpha}

for some constants as,t.

Set

\displaystyle d= |W|^{-1}\prod_{\alpha>0} \alpha.

and

\displaystyle P_s=\delta_{s^{-1}w_0} d.

Then Ps is a homogeneous polynomial of degree \ell(s).

These polynomials are the Kostant polynomials.

Properties[edit]

Theorem. The Kostant polynomials form a free basis of the ring of polynomials over the W-invariant polynomials.

In fact the matrix

\displaystyle  N_{st} =\delta_s (P_t)

is unitriangular for any total order such that st implies \ell(s)\ge \ell(t).

Hence

\displaystyle {\rm det}\, N=1.

Thus if

 \displaystyle f =\sum_s a_s P_s

with as invariant under W, then

\displaystyle \delta_t(f) = \sum_s  \delta_t(P_s) a_s.

Thus

 \displaystyle a_s = \sum_t M_{s,t} \delta_t(f),

where

\displaystyle  M=N^{-1}

another unitriangular matrix with polynomial entries. It can be checked directly that as is invariant under W.

In fact δi satisfies the derivation property

\delta_i(fg)=\delta_i(f)g + (f\circ s_i)\delta_i(g).

Hence

\delta_i\delta_s(f) = \sum_t \delta_i( \delta_s(P_t))a_t) = \sum_t (\delta_s(P_t)\circ s_i)\delta_i(a_t) + \sum_t \delta_i\delta_s(P_t)a_t.

Since

\delta_i\delta_s=\delta_{s_is}

or 0, it follows that

 \sum_t \delta_s(P_t)\,\delta_i(a_t)\circ s_i=0

so that by the invertibility of N

\displaystyle\delta_i(a_t)=0

for all i, i.e. at is invariant under W.

Steinberg basis[edit]

As above let Φ be a root system in a real inner product space V, and Φ+ a subset of positive roots. From these data we obtain the subset Δ = { α1, α2, ..., αn} of the simple roots, the coroots

\displaystyle \alpha_i^\vee=2(\alpha_i,\alpha_i)^{-1}\alpha_i,

and the fundamental weights λ1, λ2, ..., λn as the dual basis of the coroots.

For each element s in W, let Δs be the subset of Δ consisting of the simple roots satisfying s−1α < 0, and put

\lambda_s = s^{-1}\sum_{\alpha_i \in \Delta_s} \lambda_i,

where the sum is calculated in the weight lattice P.

The set of linear combinations of the exponentials eμ with integer coefficients for μ in P becomes a ring over Z isomorphic to the group algebra of P, or equivalently to the representation ring R(T) of T, where T is a maximal torus in K, the simply connected, connected compact semisimple Lie group with root system Φ. If W is the Weyl group of Φ, then the representation ring R(K) of K can be identified with R(T)W.

Steinberg's theorem. The exponentials λs (s in W) form a free basis for the ring of exponentials over the subring of W-invariant exponentials.

Let ρ denote the half sum of the positive roots, and A denote the antisymmetrisation operator

A(\psi)=\sum_{s\in W} (-1)^{\ell(s)} s\cdot \psi.

The positive roots β with sβ positive can be seen as a set of positive roots for a root system on a subspace of V; the roots are the ones orthogonal to s.λs. The corresponding Weyl group equals the stabilizer of λs in W. It is generated by the simple reflections sj for which sαj is a positive root.

Let M and N be the matrices

M_{ts}=t(\lambda_s),\,\,N_{st}= (-1)^{\ell(t)}\cdot t(\psi_s),

where ψs is given by the weight s−1ρ - λs. Then the matrix

B_{s,s^\prime}=\Omega^{-1}(NM)_{s,s^\prime}={A(\psi_s\lambda_{s^\prime})\over \Omega}

is triangular with respect to any total order on W such that st implies \ell(s)\ge \ell(t). Steinberg proved that the entries of B are W-invariant exponential sums. Moreover its diagonal entries all equal 1, so it has determinant 1. Hence its inverse C has the same form. Define

\varphi_s=\sum C_{s,t}\psi_t.

If χ is an arbitrary exponential sum, then it follows that

\chi=\sum_{s\in W} a_s \lambda_s

with as the W-invariant exponential sum

 a_s ={A(\varphi_s\chi)\over \Omega}.

Indeed this is the unique solution of the system of equations

t\chi=\sum_{s\in W} t(\lambda_s)\,\,a_s=\sum_s M_{t,s}a_s.

References[edit]

  • Bernstein, I. N.; Gelfand, I. M.; Gelfand, S. I. (1973), "Schubert cells, and the cohomology of the spaces G/P", Russian Math. Surveys 28: 1–26, doi:10.1070/RM1973v028n03ABEH001557 
  • Billey, Sara C. (1999), "Kostant polynomials and the cohomology ring for G/B.", Duke Math. J. 96: 205–224, doi:10.1215/S0012-7094-99-09606-0 
  • Bourbaki, Nicolas (1981), Groupes et algèbres de Lie, Chapitres 4, 5 et 6, Masson, ISBN 2-225-76076-4 
  • Cartan, Henri (1950), "Notions d'algèbre différentielle; application aux groupes de Lie et aux variétés où opère un groupe de Lie", Colloque de topologie (espaces fibrés), Bruxelles: 15–27 
  • Cartan, Henri (1950), "La transgression dans un groupe de Lie et dans un espace fibré principal", Colloque de topologie (espaces fibrés), Bruxelles: 57–71 
  • Chevalley, Claude (1955), "Invariants of finite groups generated by reflections", Amer. J. Math. (The Johns Hopkins University Press) 77 (4): 778–782, doi:10.2307/2372597, JSTOR 2372597 
  • Demazure, Michel (1973), "Invariants symétriques entiers des groupes de Weyl et torsion", Invent. Math. 21: 287–301, doi:10.1007/BF01418790 
  • Greub, Werner; Halperin, Stephen; Vanstone, Ray (1976), Connections, curvature, and cohomology. Volume III: Cohomology of principal bundles and homogeneous spaces, Pure and Applied Mathematics, 47-III, Academic Press 
  • Humphreys, James E. (1994), Introduction to Lie Algebras and Representation Theory (2nd ed.), Springer, ISBN 0-387-90053-5 
  • Kostant, Bertram (1963), "Lie algebra cohomology and generalized Schubert cells", Ann. Of Math. (Annals of Mathematics) 77 (1): 72–144, doi:10.2307/1970202, JSTOR 1970202 
  • Kostant, Bertram (1963), "Lie group representations on polynomial rings", Amer. J. Math. (The Johns Hopkins University Press) 85 (3): 327–404, doi:10.2307/2373130, JSTOR 2373130 
  • Kostant, Bertram; Kumar, Shrawan (1986), "The nil Hecke ring and cohomology of G/P for a Kac–Moody group G.", Proc. Nat. Acad. Sci. U.S.A. 83: 1543–1545, doi:10.1073/pnas.83.6.1543 
  • Alain, Lascoux; Schützenberger, Marcel-Paul (1982), "Polynômes de Schubert [Schubert polynomials]", C. R. Acad. Sci. Paris Sér. I Math. 294: 447–450 
  • McLeod, John (1979), The Kunneth formula in equivariant K-theory, Lecture Notes in Math. 741, Springer, pp. 316–333 
  • Steinberg, Robert (1975), "On a theorem of Pittie", Topology 14: 173–177, doi:10.1016/0040-9383(75)90025-7