Multiplicities of points on a Schubert variety in a minuscule [formula omitted

Abstract

In this paper we prove the results announced in [13]. Let G be a semi- simple, simply connected algebraic group defined over an algebraically closed field k. Let T be a maximal torus, B a Bore1 subgroup, B 3 T. Let W be the Weyl group of G. Let R (resp. R+ ) be the set of roots (resp. positive roots) relative to T (resp. B). Let S be the set of simple roots in R+. Let P be a maximal parabolic subgroup in G with associated fundamental weight w. Let W, be the Weyl group of P, and Wp be the set of minimal representatives of W/W,. For w E Wp, let e(w) be the point and X(w) the Schubert variety in G/P associated to w. In this paper we deter- mine the multiplicity m,(w) of X(w) at e(z), where e(z) E X(w), for all minuscule P’s and also for P = Pgn, G being of type C, (here Pun denotes the maximal parabolic subgroup obtained by omitting a,). The determina- tion of m,(w) is done as follows. Let L be the ample generator of Pic(G/P). A basis has been constructed for @(X(w), L”) in terms of standard monomials on X(w) (cf. [ 16, 11 I). Let U; be the unipotent subgroup of G generated by U-,, /?ET(R+ - Rp+) (here R, denotes the set of roots of P and U, denotes the unipotent subgroup of G, associated to tl E R). Then U; e(r) gives an affme neighborhood of e(z) in G/P. Let A, be the affine algebra of U, e(z) and A,.. = A,/&, where & is the ideal of elements of A, that vanish on X(w) n U; e(z). Let M,,, be the maximal ideal in A, H, corresponding to e(r). Then using the results of [ 16, 111, we obtain a basis of M;, &f:,+,,’ . This enables us to obtain an inductive formula for F,,,, the Hilbert polynomial of X(w) at e(T) (cf. Corollaries 3.8 and 4.11), and also express m, (w) in terms of m, (w’)‘s, X(w’)‘s being the Schubert divisors in X(w) such that e(T)E X(w’) (cf. Theorems 3.7 and 4.10). Using this we