Professional Documents
Culture Documents
C.S. Seshadri
Introduction to the
Theory of Standard
Monomials
Second Edition
Texts and Readings in Mathematics
Volume 46
Advisory Editor
C.S. Seshadri, Chennai Mathematical Institute, Chennai
Managing Editor
Rajendra Bhatia, Indian Statistical Institute, New Delhi
Editor
Manindra Agrawal, Indian Institute of Technology Kanpur, Kanpur
V. Balaji, Chennai Mathematical Institute, Chennai
R.B. Bapat, Indian Statistical Institute, New Delhi
V.S. Borkar, Indian Institute of Technology Bombay, Mumbai
T.R. Ramadas, Chennai Mathematical Institute, Chennai
V. Srinivas, Tata Institute of Fundamental Research, Mumbai
The Texts and Readings in Mathematics series publishes high-quality textbooks,
research-level monographs, lecture notes and contributed volumes. Undergraduate
and graduate students of mathematics, research scholars, and teachers would find
this book series useful. The volumes are carefully written as teaching aids and
highlight characteristic features of the theory. The books in this series are
co-published with Hindustan Book Agency, New Delhi, India.
123
C.S. Seshadri
Chennai Mathematical Institute
Chennai
India
This work is a co-publication with Hindustan Book Agency, New Delhi, licensed for sale in all
countries in electronic form only. Sold and distributed in print across the world by Hindustan
Book Agency, P-19 Green Park Extension, New Delhi 110016, India. ISBN: 978-93-80250-58-8
© Hindustan Book Agency 2015.
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015
This work is subject to copyright. All rights are reserved by the Publishers, whether the whole or part
of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission
or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar
methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publication does not imply, even in the absence of a specific statement, that such names are exempt from
the relevant protective laws and regulations and therefore free for general use.
The publishers, the authors and the editors are safe to assume that the advice and information in this
book are believed to be true and accurate at the date of publication. Neither the publishers nor the
authors or the editors give a warranty, express or implied, with respect to the material contained herein or
for any errors or omissions that may have been made.
Introduction xiii
3 Applications 81
3.1 Singularities of Schubert varieties . . . . . . . . . . . . . . 81
3.2 Vanishing theorem . . . . . . . . . . . . . . . . . . . . . . 85
3.3 Character formula . . . . . . . . . . . . . . . . . . . . . . 89
3.4 Ideal theory of Schubert varieties . . . . . . . . . . . . . . 93
3.5 The variety of complexes . . . . . . . . . . . . . . . . . . . 97
vii
viii CONTENTS
Bibliography 213
Notation 217
Index 219
Symbols 221
ix
Preface to the first edition
This book is a reproduction of the Brandeis Lectures Notes 4 with
corrections of typographical errors and bringing up to date some refer-
ences. I wish to thank my colleague K.V. Subrahmanyam for his help
in this regard.
xi
Introduction
These are the notes of a course of lectures that I gave at Brandeis
during the academic year 1983-84. The purpose of this course was to give
an introduction to the series of papers that I have been writing under the
title Geometry of G/P (see G/P- I to V) (or Standard monomial theory
- abbreviated SMT) in collaboration with V. Lakshmibai and C. Musili.
Hodge (see [Ho], [H-P]) studied Schubert varieties in a Grassmannian
by giving canonical bases of the homogeneous coordinate rings of these
varities (bases of consisting of what he called “Standard monomials” in
the Plücker coordinates, since these can be represented by “Standard
tableaux” in the sense of Young). The aim of these papers has been
to generalize this work of Hodge to the case of Schubert varieties in
flag varieties associated to any semi-simple, simply-connected, algebraic
group G. The goals in SMT are the following:
fair introduction to the methods and the material of our papers on SMT
but for the question (i).
A consequence of SMT is that it gives a canonical set of generators
for the ideal (or ideal sheaf) defining a Schubert variety in a flag vari-
ety. This leads to the determination of the singular locus of a Schubert
variety. We give here also many other applications of SMT like the van-
ishing theorems for the cohomology of line bundles on Schubert varieties
(associated to dominant characters of B), Cohen-Macaulay properties of
Schubert varieties, classical invariant theory etc. As things stand now,
for applications like the vanishing theorems, the methods in the papers
[M-R] and [R-R] go much farther and cover the case of an arbitrary
semi-simple algebraic group G.
When these lectures were given, because of the gap found in the work
of Demazure [D], one could not use the fact (as is done in [L-M-S1])
that Schubert varieties in flag varieties, associated to any semi-simple
algebraic group, are normal. In the main body of this course, this fact is
deduced as a consequence of SMT for the cases treated here (see G/P-
V for a more general situation). Just when the course ended, a general
proof of normality was found and this is given in the Appendix 2. Joseph
(see [J]) had just by that time justified the Demazure character formula
for large dominant weights (when the base field is of characteristic zero)
and it can be easily seen that this is equivalent to the normality of
Schubert varieties (when the base field is of characteristic zero). There is
now another proof of normality due to S. Ramanan and A. Ramanathan
(see [R-R] cited above).
These lectures were given during a pleasant stay at Brandeis and I
would like to take this opportunity to thank my colleagues there and
especially David Eisenbud who suggested that I give this type of course.
Lastly, it is a great pleasure to thank Peter Littlemann and Pradeep
Shukla who have done a temendous job in writing these notes.
C. S. Seshadri
1 September, 1984
About the Author
xv
Chapter 1
Throughout our basic goal will be to study Schubert varieties using the
standard monomial theory which we shall develop in various situations.
This chapter is devoted to the study of Schubert varieties in the Grass-
mannian, which is a particular case of a more general situation to be
treated in the subsequent chapters. We begin by briefly recalling in sec-
tion 1 the basic definitions associated with the Grassmannian. In section
2, we define Schubert varieties and give their basic properties. In section
3, we develop the standard monomial theory, essentially due to Hodge
[H-P], and apply it in section 4 to prove some results on Schubert vari-
eties. Section 5 contains a result on degeneration of Schubert varieties,
which connects the study of Schubert varieties to combinatorics. Fi-
nally in section 6, exploiting our knowledge of Schubert varieties, we
study determinantal varieties and prove two results of classical invariant
theory in the form given to them by Doubilet-Rota-Stein D-R-S] and De
Concini and Procesi D-P].
The material of sections 1-4 is essentially that of [Mu]. Section 5
gives a somewhat different exposition of the main “degeneration result”
of [D-E-P]. Section 6 follows [L-S-2].
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 1
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8_1
2 1. Schubert Varieties in the Grassmannian
For a fixed integer r with 1 ≤ r ≤ n, let I(r, n) denote the indexing set
and let {eα = e(α1 ,α2 ,...,αr ) , α ∈ I(r, n)}} be the basis of Λr V defined by
Let {xα | α ∈ I(r, n)} be the basis of the dual space (Λr V )∗ , which
is dual to the above basis. Then, the polynomial algebra k[xα ] is the
homogeneous coordinate ring of the projective space P(Λr V ) consisting
of one-dimensional linear subspaces of Λr V ; it is also the coordinate ring
of the affine space Λr V, which is a cone over P(Λr V ).
1.1.1 Grassmannian
We shall denote by Gr,n , the Grassmannian of r-dimensional linear sub-
spaces of V. We recall that it can be endowed with the structure of a
variety as follows. Let
Vr = V
| ⊕V ⊕
{z. . . ⊕ V}
r copies
∼
= M (n, r), thesetof n × r matrices,
and
A ∼ B in M (n, r)◦ iff A = BC
(1.1)
for some C in GLr (k)
Let η : M (n, r)◦ → M (n, r)◦ / ∼ be the canonical map, and for α ∈
I(r, n), let
n o
Uα = A ∈ M (n, r)◦ | αth minor of A is the identity matrix ,
where by the αth minor of A we mean the r × r minor whose ith row
is the αth ◦
i row of A. Obviously, η : Uα → M (n, r) / ∼ is injective and
using the above identification of Gr,n , we have
[
Gr,n = η(Uα )
α∈I(r,n)
where aij are arbitrary and fλ are polynomial functions in aij . This
shows that Aβ ∩ Im π̃ is closed in the affine space Aβ , as we can actu-
ally specify its defining equations. Thus Im π̃ is a projective variety in
P(∧r ∨).
Further, from the description of π̃(Uβ ), it also follows that π̃ : Uβ →
π̃(Uβ ) is an isomorphism of affine varieties and that π̃ −1 (π̃(Uβ )) = Uβ .
This shows that π̃ : Gr,n → Im π̃ is locally an isomorphism and in fact,
an isomorphism. Thus π̃ embeds Gr,n as a projective variety in P(∧r ∨).
It is called the Plücker embedding of the Grassmannian Gr,n and the
coordinates of its image are called the Plücker coordinates of Gr,n .
Hereafter, we shall not distinguish between the Grassmannian and
its image under the Plücker embedding and shall denote both by Gr,n .
1.1.3 Remark
1. Im π = Gr,n
3. GLr (k) acts freely on M (n, r)◦ by multiplication on the right and
its orbits are precisely the equivalence classes of the relation 1.1.
Thus Gr,n can also be viewed as the orbit space of M (n, r)◦ under
the action GLr (k).
Then xij ’s are coordinate functions on the affine space V r ∼= M (n, r) and
the polynomial k-algebra k[xij ] is the coordinate ring of V r . Now the
morphism π̂ : V r → Λr V induces a k-algebra homomorphism between
the coordinate rings, namely, π̂ ∗ : k[xα ] → k[xij ] defined by
π̂ ∗ (xα ) = pα ,
where
xα1 1 xα1 2 . . . xα1 r
xα2 1 xα2 2 . . . xα2 r
pα = ± det .. .. .. ,
. . .
xαr 1 xαr 2 . . . xαr r
the determinant of the αth minor (with its sign) in the n × r matrix
[xij ]. Since ker π̂ ∗ is the ideal of Im π̂, the cone over Gr,n , it is the
homogeneous ideal of Gr,n in k[xα ]. Thus the homogeneous coordinate
ring of Gr,n can be identified with the k-subalgebra of k[xij ] generated
by pα , α ∈ I(r, n), and Gr,n has a natural scheme structure defined by
its homogeneous coordinate ring k[pα ], namely, Proj k[pα ]. In particular,
Gr,n is a closed integral subscheme of P(∧r V ).
1.1.5 Remark
(i) Note that pα is nothing but the αth Plücker coordinate of Gr,n ,
i.e., any point on Gr,n is of the form (pα ) for some [xij ] ∈ M (n, r).
1.2.1 Definition
Fix a full flag {0} = V0 ⊂ V1 ⊂ · · · ⊂ Vn = V in an n-dimensional vector
space V. We define the Schubert cell of Gr,n associated to the index α in
I(r, n) (or simply, the αth Schubert cell of Gr,n ) to be the set
C(α) = {W ∈ Gr,n | dim W ∩ Vj = i, if αi ≤ j < αi+1 ,
where 1 ≤ j ≤ n, 0 ≤ i ≤ r and α0 = 0} .
The above definition of a Schubert cell C(α) depends on the choice of
a full flag. However, given any two full flags V0 ⊂ V1 ⊂ · · · ⊂ Vn and
V0′ ⊂ V1′ ⊂ · · · ⊂ Vn′ = V in V, there exists an automorphism f of V
such that f (Vi ) = Vi′ , which shows that C(α) is well defined up to an
automorphism of V.
Thus, without any loss of generality, we may fix our full flag to be
V0 ⊂ V1 ⊂ · · · ⊂ Vn , where Vi = he1 , e2 , . . . , ei i is the subspace of
V generated by e1 , e2 , . . . , ei . As before, if we write the elements of V
as column vectors, an r-dimensional subspace W or V “corresponds”
to an n × r matrix in M (n, r)◦ , in the sense that the columns of this
matrix generate W. We intend to determine the shape of the matrices
corresponding to the subspaces W in C(α).
So, let W ∈ C(α). It follows from the definition of W that α1 is the
least integer such that dim W ∩ Vα1 = 1. This implies that W contains
a nonzero element of Vα1 , say
a11
a21
..
.
aα 1
1
a1 =
0
0
.
..
0
1.2. Schubert varieties 7
0
.
.
.
0
On the other hand, if E(α) is the set of n × r matrices of the above form,
then it is clear that any matrix in E(α) “corresponds” to an element of
C(α). Therefore, as in (1.1), C(α) is identified with E(α) modulo the
equivalence relation induced by the equivalence relation as in (1.1). Note
that C has to be upper triangular.
Now, let E ∗ (α) be the set of matrices in E(α), whose αth minor is
the identity matrix. Since αth minor of every matrix in E(α) is upper
triangular and nonsingular, for each A in E(α), there is a unique upper
triangular C in GLr (k) such that AC ∈ E ∗ (α). This shows that C(α)
can be identified with E ∗ (α). Furthermore, it clearly follows from the
definition of E ∗ (α) that E ∗ (α) is an affine space of dimension
r
X
αi − (dimension of upper triangular matrices in GL(r)))
i=1
r
X r(r + 1)
= αi − .
2
i=1
P
r
r(r+1)
Hence, C(α) is an affine space of dimension αi − 2 .
i=1
Finally, we observe that for any W in Gr,n ,
there is a least integer
α1 such that dim W ∩ Vα1 = 1; then there is a least integer α2 > α1
such that dim W ∩ Vα2 = 2, and so on. Thus each W in Gr,n determines
an element α = (α1 , α2 , . . . , αr ) in I(r, n) such that W ∈ C(α), which
shows that Gr,n = ∪ C(α) and the union is disjoint. We summarize
α∈I(r,n)
the observations of the above discussion in
1.2.3 Corollary
Let αmin = (1, 2, . . . , r) and αmax = (n − r + 1, n − r + 2, . . . , n). Then
1.2. Schubert varieties 9
Proof. Obvious.
1.2.4 Lemma
Let B be the subgroup of upper triangular matrices of GLn (k). There
is an action of B on Gr,n whose orbits are precisely the Schubert cells.
1.2.5 Definition
The closure of the Schubert cell C(α) in Gr,n is called the Schubert vari-
ety corresponding to the index α (or simply, the αth Schubert variety),
which we denote by X(α). As a subscheme of G(r, n), we take X(α) to be
endowed, by definition, with its canonical reduced subscheme structure.
Remark
(i) Since, the big cell C(αmax ) is open and Gr,n is irreducible,
X(αmax ) = Gr,n , i.e. Gr,n itself is a Schubert variety.
P
r
r(r+1)
(ii) In view of (1.2.2, (i)), dim X(α) = αi − 2 .
i=1
1.2.6 Proposition
The homogeneous ideal of a Schubert variety is a prime ideal.
Proof. For α in I(r, n), since C(α) is an irreducible variety, its closure
X(α) is irreducible. This together with the fact that X(α) is reduced,
10 1. Schubert Varieties in the Grassmannian
implies that X(α) is an integral scheme, which in turn implies that the
homogeneous ideal of X(α) is a prime ideal in k[xβ , β ∈ I(r, n)] (the
homogeneous coordinate ring of P(∧r ∨)). Q.E.D.
Let D(α) be the set of n×r matrices whose entries below the (αi , i)th
entry are zero, i.e., the elements of D(α) are of the form
∗ ∗ · · · · · · · · ∗
· · · · · · · · · · ·
· · · · · · · · · · ·
· · · · · · · · · · ·
∗ ∗ · · · · · · · · ∗
∗ ∗ · · · · · · · · ∗ −α1 -th row
0 ∗ · · · · · · · · ∗
· · · · · · · · · · ·
· · · · · · · · · · ·
0 ∗ ∗ ∗ · · · · · · ∗
0 ∗ ∗ ∗ · · · · · · ∗ −α2 -th row
0 0 ∗ ∗ · · · · · · ∗
· · · · · · · · · · ·
· · · · · · · · · · ·
· · · · · · · · · · ·
0 0 · · · · · · · · ∗
0 0 · · · · · · · · ∗ −αr -th row
0 0 0 · · · · · · · 0
· · · · · · · · · · ·
· · · · · · · · · · ·
0 0 0 · · · · · · · 0
1.2.7 Lemma
If D(α)◦ = D(α) ∩ M (n, r)◦ , then the closure of π(D(α)◦ ) is X(α).
Proof. First, we note that the set of matrices in D(α)◦ whose α-th
minor is nonsingular is precisely E(α), the set of n × r matrices of the
form (1.2). Since D(α)◦ is an irreducible (being open in D(α)) closed
subset of M (n, r)◦ and E(α) is open in D(α)◦ , we have
E(α) = D(α)◦ ,
where E(α) is the closure of E(α) in M (n, r)◦ . Now it follows that
π(D(α)◦ ) = π(E(α)) ⊂ π(E(α)) ⊂ π(D(α)◦ ),
1.2. Schubert varieties 11
1.2.8 Remark
It is also true that π(D(α)◦ ) = X(α), a statement stronger than the
above lemma, whose proof is easy but not quite elementary. We have
omitted the proof, as we will not have any occasion to use the stronger
statement in the sequel1 .
1.2.9 Definition
We define a partial order ≤ on I(r, n) by declaring α ≤ β if α1 ≤ β1 ,
α2 ≤ β2 , . . . , αk ≤ βk .
1.2.10 Proposition
(i) X(α) ⊆ X(β) if and only if α ≤ β.
(ii) pα |X(β) 6= 0 if and only if α ≤ β.
1.3.1 Definitions
(i) A tableau in I(r, n) (or a tableau on Gr,n ) of length m is a se-
quence (α(1), α(2), . . . , α(m)) of elements in I(r, n). We say that
the tableau is standard, if α(1) ≥ α(2) ≥ · · · ≥ α(m).
(ii) A standard monomial on Gr,n of length m is a formal expression
of the form pα(1) pα(2) · · · pα(m) , where pα(i) are Plücker coordi-
nates and (α(1), α(2), . . . , α(m)), is a standard tableau. Thus two
standard monomials are distinct, if the corresponding standard
tableaus are distinct.
(iii) A standard monomial of length m on a Schubert variety X(α) is
a formal expression pα(1) pα(2) · · · pα(m) , with α ≥ α(1) ≥ α(2) ≥
· · · ≥ α(m), where pα(i) are Plücker coordinates restricted to X(α).
Note that considering the above formal expression as a product of
Plücker coordinates in the homogeneous coordinate ring R(α) of
X(α), a standard monomial on X(α) defines an element of R(α),
and abuse of language, we call this element also a standard mono-
mial on X(α) (also see remark (3.2.i) below).
1.3.2 Remark
(i) It is not a priori clear that distinct standard monomials on X(α)
(as formal expressions) define distinct elements of the homoge-
neous coordinate ring. However, this is in fact the case, as we shall
see in (3.3) below. Thus we can identify a standard monomial (as
a formal expression) on X(α) with the corresponding element in
the homogeneous coordinate ring of X(α).
(ii) Since the definition of a standard monomial depends only on the
indices α(i) in the partially ordered set I(r, n), we may define stan-
1.3. Standard monomials 13
1.3.3 Proposition
For every m ≥ 0, distinct standard monomials of length m on a Schu-
bert variety X(α) define linearly independent elements (over k) in the
homogeneous coordinate ring of X(α). (By abuse of language we say
that distinct standard monomials in the homogeneous coordinate ring
of X(α) are linearly independent.) In view of (1.2.5), the same holds, in
particular, for the standard monomials on Gr,n .
d
X
ci Fi = 0. (1.3)
i=1
on X(β). Since dim X(β) < dim X(α), this contradicts the induction
hypothesis. Hence F1 , F2 , . . . , Fd must be linearly independent.
Q. E. D.
Before going further into the main results of this section we lay down
some preliminaries to be used in the sequel. Let I = (1, 2, . . . , n) and
let I r = |I × .{z
. . × I} . We know that the indeterminates xα in the homo-
r times
geneous coordinate ring of P(∧r ∨) are indexed by the set I(r, n) ⊂ I r .
However, for the sake of convenience, we extend our indexing set I r and
define xα for any α in I r as follows: For any α = (α1 , α2 , . . . , αr ) in
I r with αi ’s distinct, there is a permutation σ in Sr (the permutation
group on r symbols) such that ασ = (ασ1 , . . . , ασr ) is in the increasing
order, where ασi denotes the image of αi under σ. Now for any α in I r
we define
0, if αi ’s are not distinct
xα =
( sgn σ)xασ , if αi ’s are distinct
Thus xα make sense for all α in I r . A similar definition can be given for
the Plücker coordinates pα so that pα make sense for all α in I r .
Let M {µ1 , µ2 , . . . , µp } and N = {v1 , v2 , . . . , vq } be two sets. Then a
shuffle permutation or a shuffling of M and N is a partition of M ∪ N
into a subset of p elements and its complement. We denote by S(p, q)
the set of all shufflings of a set of cardinality p and a set of cardinality
q. It is easy to see that S(p, q) can be identified with Sp+q /Sp × Sq .
1.3.4 Lemma
Fix integers k and ℓ with 1 < k < ℓ < r. Then for α, β in I(r, n), we
have
X h
sgn (σ)p(α1 ,α2 ,...,αk ,ασk+1 ,...,ασr ) ×
σ∈S(r−k,ℓ)
i
p(β1σ ,β2σ ,...,βℓσ ,βℓ+1 ,...,βr ) = 0, (1.4)
where the summation runs over all the shufflings of {αk+1 , . . . , αr } and
{β1 , β2 , . . . , βℓ }.
1.3.4.1 Remark
Note that (α1 , . . . , αk , ασk+1 , . . . , ασr ) and (β1σ , . . . , βℓσ , βℓ+1 , . . . , βr ) may
not be in I(r, n). However, the sum does make sense, as we have defined
1.3. Standard monomials 15
xα for all α in I r .
Proof2 of the lemma. Let F denote the left hand side of (1.4). It is
clear that f is a multilinear form in (r − k)+ ℓ row vectors corresponding
to the indices αk+1 , . . . , αr , β1 , β2 , . . . , βℓ . We claim that F is also skew-
symmetric in these vectors, i.e., if a set of these row vectors contains two
identical rows, then F vanishes on it. In fact, if the indices corresponding
to the identical rows are either in {ασk+1 , . . . , ασr } or in {β1σ , . . . , βℓσ } for
some σ, then
vanishes on the given set of row vectors containing two identical rows.
On the other hand, if one of the indices is in {ασk+1 , . . . , ασr } and the
other in {β1σ , . . . , βℓσ } for some σ in S(r − k, ℓ), then it is clear that
by interchanging these two indices we get a term pλ of the sum (1.4),
whose value at the given set of row vectors cancels with that of pσ .
Thus F is a multilinear skew-symmetric form on (r − k) + ℓ vectors of
an r-dimensional vector space. Since (r − k) + ℓ > r, F must vanish
identically. Q.E.D.
Besides the partial order ≤, defined in (1.2.9), I(r, n) also carries the
lexicographic order which we denote by ≤ℓ to distinguish it from ≤ .
This in turn gives for every m > 0, a lexicographic order on I(r, n)m =
I(r, n) × . . . × I(r, n), the set of all tableau of length m. We denote this
| {z }
m times
lexicographic order also by ≤ℓ .
1.3.5 Lemma
Let α, β ∈ I(r, n) with α 6≤ β. Then, we can write
X
pα pβ = ±pα′ pβ ′
α′ ,β ′
β1 < β2 < · · · < βk+1 < αk+1 < αk+2 < · · · < αr .
2
This proof was suggested by Steinberg
16 1. Schubert Varieties in the Grassmannian
1.3.6 Proposition
Let Rm denote the m-th graded component of the homogeneous coor-
dinate ring R of Gr,n . Then, for every m ≥ 0, Rm is generated as a
vector-space by the standard monomials of length m on Gr,n .
where each (vi ) <ℓ (τi ). Therefore, by induction, each Φ((vi )) is a linear
combination of standard monomials in Rm and hence, so is F. Q. E. D.
1.3.7 Theorem
Let Rα be the homogeneous coordinate ring of a Schubert variety X(α).
Then, for every m ≥ 0, its m-th graded component (Rα )m has a basis
1.3. Standard monomials 17
1.3.8 Remark
Let S̄ = k[x̄α , α ∈ I(r, n)] be a quotient ring of the polynomial ring
S = k[xα , α ∈ I(r, n)]. As it make sense to talk about standard mono-
mials in xα (1.3.2,(ii)), it is natural to ask when in general, S̄ is generated
by standard monomials. The proofs of the above results suggest a suf-
ficient condition for this. The relation (1.3.4), satisfied by the Plücker
coordinates is a crucial ingredient in the proof of (1.3.6). We used it
to prove (1.3.5) which allowed us to use the lexicographic induction on
I(r, n)m in (1.3.6). After seeing these proofs, a moment’s reflection will
convince the reader that a quotient ring S̄ of S is generated by stan-
dard monomials, if x̄α satisfy relations of the form (1.3.4) or, in fact of
the form as in (1.3.5). We include this observation separately in (1.3.9)
below for further reference.
1.3.9 Proposition
Let S̄ = k[x̄α , α ∈ I(r, n)] be a quotient ring of S = k[xα , α ∈ I(r, n)]
by a homogeneous ideal P. Then each graded component S̄m of S̄ is
generated by standard monomials in x̄α , if P contains all the polynomials
of the form
X
(i) sgn(σ)x(α1 ,...,αk ,ασk+1 ,...,ασr ) x(β1σ ,...,βℓσ ,βℓ+1,...,βr ) , where α, β ∈
σ∈S(r−k,ℓ)
I(r, n) and k, ℓ are fixed integers with 1 < k < ℓ < r.
1.3.10 Theorem
The homogeneous ideal J of Gr,n is generated by the homogeneous poly-
nomials of the form:
X
(∗) sgn(σ)x(α1 ,...,αk ,ασk+1 ,...,ασr ) x(β1σ ,...,βℓσ ,βℓ+1,...,βr ) ,
σ∈S(r−k,ℓ)
where k and ℓ are fixed integers with 1 < k < ℓ < r, and for every α, β in
I(r, n) the above sum runs over all the shufflings of {αk+1 , αk+2 , . . . , αr }
and {β1 , β2 , . . . , βℓ }.
1.3.11 Remark
If the field k is of characteristic zero, then a set of generators for J
can be described in a simpler way, namely, J is then generated by the
polynomials of the form
X
x(α1 ,...,αs−1 ,βj ,αs+1 ,...,αr ) x(β1 ,...,βj−1 ,αs ,βj+1 ,...,βr ) ,
j=1
1.3.12 Proposition
Let Iβ denote the ideal of a Schubert variety X(β) in R = k[pα , α ∈
I(r, n)]. Then {pα | α 6≤ β} is a set of generators for Iβ , i.e., Iβ is
generated by the Plücker coordinates vanishing on X(β).
Φ : R/I ′ −→ Rβ
pα 7−→ pα X(β)
1.3.13 Corollary
The homogeneous ideal of a Schubert variety X(β) in k[xα , α ∈ I(r, n)]
is J + Jβ , where J is the homogeneous ideal of the Grassmannian and
Jβ is the ideal generated by {xα | α 6≤ β}.
Proof. Obvious.
1.4.1 Definition
We call a subset T of I(r, n) a left half space (LHS), if
α ∈ T, β ∈ I(r, n) with β ≤ α ⇒ β ∈ T.
20 1. Schubert Varieties in the Grassmannian
α ∈ T, β ∈ I(r, n) with α ≤ β ⇒ β ∈ T.
1.4.2 Example
For every α in I(r, n), the set Tα = {λ ∈ I(r, n) | λ ≤ α} is a LHS and
its complement Tα′ = {λ ∈ I(r, n) | λ 6≤ α} is a RHS. In view of (1.2.10),
it is clear that
Tα = {λ ∈ I(r, n) | pλ X(α) 6= 0} and
Tα′ = {λ ∈ I(r, n)|pλ X(α) = 0}.
1.4.3 Lemma
(i) T is a LHS if and only if its complement is a RHS.
Proof. Immediate.
1.4.4 Proposition
P (Y ) = {α ∈ I(r, n) | pα |Y 6= 0
1.4.5 Proposition
(i) For every m ≥ 0, distinct standard monomials of length m on
X(T ) are linearly independent elements (over k) of R(T )m (the
m-th graded component of R(T )).
Proof.
For a LHS T, let I(T ) denote the ideal in R = k[Pα , α ∈ I(r, n)]
generated by pα with α 6∈ T. In other words, I(T ) is the ideal generated
by the Plücker coordinates vanishing on X(T ). The following lemma
says that I(T ) is in fact the ideal of X(T ) in R.
1.4.6 Lemma
I(T ) = IX(T ) , i.e. the ideal (in R) of a union of Schubert varieties is
generated by the Plücker coordinates vanishing on it.
Proof. The lemma obviously follows, if we show that the natural map
Φ : R/I(T ) → R(T ) is an isomorphism. In fact, since Φ is surjective, we
have only to show that it is injective. So let F ∈ R/I(T ) with F 6= 0,
1.4. Some Applications 23
1.4.7 Corollary
Let T1 , T2 be LHS’s. Then
Q.E.D.
24 1. Schubert Varieties in the Grassmannian
1.4.8 Corollary
The correspondence T 7→ X(T ) preserves unions and intersections, i.e.,
for any LHS’s T1 , T2 , we have
Tα = {λ ∈ I(r, n) | λ ≤ α}
1.4.9 Lemma
Let α, β ∈ I(r, n). Then
(iii) If µ and µ′ are any two maximal elements of Tα − {α}, then X(µ)
is of codimension 1 and X(µ) ∩ X(µ′ ) is of codimension 2 in X(α).
1.4. Some Applications 25
Proof.
1.4.10 Corollary
The intersection (scheme theoretic) of two Schubert varieties is again a
Schubert variety.
Proof. Since X(α) = X(Tα ) for any Schubert variety X(α), the corol-
lary immediately follows from (1.4.8,ii) and (i) of the above lemma.
Q.E.D.
Proof. Since X(α) = X(Tα ), the ideal of X(α) is I(Tα ) (1.4.6), and
therefore the ideal of H ∩X(α) is (pα )+I(Tα ) which is the ideal generated
by pα and the Plücker coordinates pλ with λ 6∈ Tα . This shows that the
ideal of H ∩X(α) is I(Tα −{α}). Now Pieri’s formula immediately follows
using (4.7.ii) and (4.9.ii). Q. E. D.
1.4.12 Remark
The formula gives an ideal-theoretic strengthening of the intersection
formula for [H] · [X(α)], say in the cohomology (or Chow) ring of Gr,n ,
where [H] and [X(α)] represent the cohomology classes defined by H
and X(α) respectively.
For a LHS T in I(r, n) and a nonnegative integer m, let S(T, m)
denote the number of standard monomials on X(T ) of length m. Note
that in view of (4.5), S(T, m) is nothing but dim R(T )m , where R(T )
is the homogeneous coordinate ring of X(T ).
1.4.13 Lemma
(i) Let T1 and T2 be LHS’s in I(r, n). Then for every nonnegative
integer m, we have
Proof.
(i) Obvious.
1.4. Some Applications 27
1.4.14 Lemma
Let T be a LHS and let X = X(T ) be the corresponding union of
Schubert varieties. If OX (1) denotes the hyperplane line bundle on X
corresponding to the Plücker embedding X → P = P(∧r ∨). then
(iii) H i (X, OX (m)) = 0 for i > 0 with i 6= dim X, and m < 0 provided
(iii) holds for every Schubert variety X(α) with α ∈ T.
The assertion (ii) easily follows from the long exact sequence (1.6),
since Φ is surjective and (ii) holds for X1 , X2 and X1 ∩ X2 .
To prove (iii), first we note that we can choose T1 such that X1 =
X(T1 ) is an irreducible component of X. Now it follows from (1.4.9,iii)
that the irreducible components of X1 ∩ X2 are of codimension 1 in X1 .
Therefore dim X1 ∩ X2 = dim X − 1 and by (1.4.11), X1 ∩ X2 is a part
of the hyperplane section of X1 . Thus by induction (iii) holds for X1 , X2
and X1 ∩ X2 . Now, for 0 ≤ i < dim X, (iii) easily follows from the exact
sequence (1.6). Since, for i > dim X, (iii) is a consequence of the Serre-
Grothendieck vanishing theorem ([H], III, Theorem 2.7), we are done.
Q.E.D.
1.4. Some Applications 29
1.4.15 Theorem
Let X = X(α) be a Schubert variety and let Rα = ⊕m≥0 (Rα )m be
its homogeneous coordinate ring. If OX (1) denotes the hyperplane line
bundle on X corresponding to the Plücker embedding X → P = P(∧r ∨),
then
(i) H 0 (X, OX (m)) ∼
= (Rα )m for every m ≥ 0.
(ii) H i (X, OX (m)) = 0 for i > 0 and m ≥ 0.
(iii) H i (X, OX (m)) = 0 for i > 0 with i 6= dim X and all m < 0.
1.4.16 Theorem
The assertions (i) and (ii) of the above theorem hold for any union
of Schubert varieties. Moreover, if every irreducible component of the
union is a component of the hyperplane section of a Schubert variety,
then assertion (iii) also holds.
1.4.17 Proposition
Let Y be a closed subscheme of a projective space P. Let R be the
homogeneous coordinate ring of Y and let Ŷ = Spec R, the cone over
Y. If A denotes the local ring at the vertex of Ŷ , then the following
conditions are equivalent:
(i) (a) The natural map H 0 (P, OP (m)) → H 0 (Y, OY (m)) is surjective
for all m ≥ 0.
(b) H i (Y, OY (m)) = 0 for 0 < i ≤ d − 2 and all m ∈ Z.
(ii) Depth A ≥ d.
1.4.18 Lemma
Let Y be a closed subscheme of a projective space. The cone Ŷ over Y
is Cohen-Macaulay if and only if Ŷ is Cohen-Macaulay at its vertex.
1.4.19 Theorem
Schubert varieties are arithmetically Cohen-Macaulay.
Depth A ≥ dim X + 1.
But
Depth A ≤ dim A = dim X + 1.
1.4.20 Proposition
The singular locus of a Schubert variety is a union of Schubert varieties.
32 1. Schubert Varieties in the Grassmannian
1.4.21 Lemma
Schubert varieties are smooth in codimension one.
Proof. Let X = X(α) be a Schubert variety. Since, by (1.4.20), its
singular locus Sing X is a union of Schubert varieties, it suffices to show
that none of the codimension one Schubert varieties in X is contained
in Sing X.
By Pieri’s formula, the subscheme H of X defined by pα = 0 is
reduced. Also observe that the irreducible components of H are precisely
the codimension one Schubert varieties Xi , 1 ≤ i ≤ m, of X. Since H
is reduced, ∃ xi ∈ Xi , 1 ≤ i ≤ m, such that xi is a smooth point of
H. Hence, the maximal ideal of the local ring OXi ,xi is generated by
(d − 1) elements, where d = dim X. Now the maximal ideal of OX,xi
is generated by pα and a set of generators of OXi ,xi lifted to OX,xi ;
consequently, it has d generators. Hence, xi is smooth in X. This proves
that Xi 6⊆ Sing X, 1 ≤ i ≤ m. Q.E.D.
1.4.22 Theorem
Schubert varieties are projectively normal.
Proof. Let X(α) be a Schubert variety. Since it is Cohen-Macaulay
(1.4.19) and smooth in codimension one (1.4.21), it is normal (see [Ma],
Theorem 39). Further, (1.4.15,(i)) implies that the map H 0 (P, OP (m)) →
H 0 (X(α), OX(α) (m)) is surjective for all m ≥ 0, which together with
normality of X(α) implies that X(α) is projectively normal (see [H], I,
Exercise 5.14). Q.E.D.
1.5.1 Definition
For α ∈ I(r, n), let Iα be the ideal of P generated by the set of monomials
1.5.2 Lemma
P
Given any quadratic relation pγ pδ = λ,µ aλµ pλ pµ in Q, we have γ < λ,
δ < λ for all λ appearing in the sum.
Proof. Fix a λ appearing in the sum and restrict the quadratic relation
to X(λ). Since pλ pµ are standard monomials, by (1.3.3), the restriction
of the right hand side and hence, of pλ pµ to X(λ) is nonzero. Therefore,
by (1.2.10), we must have γ ≤ λ, δ ≤ λ. However, since γ and δ are not
comparable, equalities cannot hold. Hence γ < λ, δ < λ. Q.E.D.
1.5.3 Lemma
Let N denote the set of positive integers. There exists
P a function θ :
Tα → N such that given any quadratic relation pγ pδ = aλµ pλ pµ in Q,
λ,µ
we have
θ(λ) + θ(µ) > θ(γ) + θ(δ)
for all λ, µ appearing in the sum.
34 1. Schubert Varieties in the Grassmannian
1.5.4 Lemma
Let M be a finitely generated module over the ring A = k[[t]] and let K
be the quotient field of A. Then M is a free module if and only if
dimk M ⊗A k ≤ dimK M ⊗A K.
0 → N → Am → M → 0
1.5.5 Theorem
There exists a projective scheme X̃ flat over Spec k[[t]] whose generic
fibre is X(α) and the special fibre is Proj Dα , where Dα is the discrete
algebra associated to α in I(r, n).
Proof. Let Rα be the homogeneous coordinate ring of X(α) and let Q
be the set of quadratic relation (∗) in Rα as defined before (1.5.2). For
1.5. Degeneration of Schubert varieties 35
P
each quadratic relation pγ pδ = aλµ pλ pµ in Q, consider the polynomial
λ,µ
X
Fγ,δ = xγ xδ − aλµ xλ xµ
λ,µ
Rα ⊗A K = PA /I ⊗A K
∼
= PK /I˜
∼ PK /J˜
=
∼
= P/J ⊗k K
∼
= Rα ⊗ k K
where (Rα )m , (Dα )m , (Rα )m denote the m-th graded components of the
respective rings. Thus, in view of (1.5.4), each graded component of Rα
is a free A-module and hence, Rα is a flat A-algebra.
Now if we take X̃ to be Proj Rα , the theorem immediately follows.
Q.E.D.
1.5.6 Corollary
(i) Dα has a basis consisting of standard monomials in xβ , β ∈ Tα .
(ii) Dα is reduced.
Proof.
and therefore, the inequalities (∗) in the proof of the above theorem
imply that
P
(ii) Let f = ai fi , where ai ∈ k, ai 6= 0, and fi are standard monomi-
als in Dα . From the definition of Dα it is clear that any product of
standard monomials in Dα is either zero or a standard monomial.
Therefore, using (i), it follows that f m 6= 0 for every m ≥ 0. This
proves that Dα is reduced.
(iii) The equality (∗∗) in the proof of (i) implies that the Hilbert polyno-
mial of X(α) is the same as that of Dα , which proves the assertion.
Q.E.D.
Let T be a subset of I(r, n). Recall that a chain of length m in
T is a sequence Λ = (λ(0), λ(1), . . . , λ(m)) of elements of T such that
λ(i) > λ(i + 1), 0 ≤ i ≤ m − 1. We say that Λ is maximal, if it is not a
subchain of any chain in T different from Λ, i.e., if Λ is the only chain
in T which contains all the Λ(i), 0 ≤ i ≤ m.
For a chain Λ in Tα , α ∈ I(r, n), let L(Λ) denote the linear space in
P = Proj P defined by the equations xβ = 0, β ∈ Tα − Λ, where Tα − Λ
denotes the set of elements of Tα not appearing in Λ.
1.5.7 Proposition
If M (Tα ) denotes the set of maximal chains in Tα , then
[
Proj Dα = L(Λ) (scheme theoretically),
Λ∈M (Tα )
Proof. The ideal of the scheme theoretic union on the right hand side
is \
I= IΛ .
Λ∈M (Tα )
1.5.8 Corollary
The degree of X(α) in the Plücker embedding is equal to the number of
maximal chains in Tα .
1.5.9 Remark
It can be shown that the discrete algebra Dα is Cohen-Macaulay (see [D-
E-P], section 8). Since Cohen-Macaulay nature is preserved under flat
deformation, this gives another proof of the fact that Schubert varieties
are arithmetically Cohen-Macaulay. Thus, in general, one can transfer
all those properties of Proj Dα (resp. Dα ) to X(α) (resp. Rα ) which are
preserved under flat deformation. Furthermore since Dα is combinatorial
in nature, the study of Schubert varieties via degeneration to Proj Dα
leads to combinatorial situations. We have already seen in (5.8), how
the geometry of X(α) (deg X(α)) is reflected in the combinatorics of the
partially ordered set Tα . Another simple illustration of this connection is
that the dimension of X(α) is equal to the length of any maximal chain
in Tα , as one can easily verify.
1.6.1 Lemma
(i) The coordinate ring R(Uαmin ) of Uαmin has a basis consisting of
standard monomials in the Plücker coordinates pα on Uαmin .
(ii) For a Schubert variety X(β), let W (β) = X(β) ∩ Uαmin . The ideal
of W (β) in R(Uαmin ) is generated by the Plücker coordinates pα
on Uαmin with α 6≤ β.
1.6.2 Lemma
Ir
Let A = be an element of the opposite big cell Uαmin . Let α ∈
A
I(r, n) with α =6 αmin and let s be the integer such that αs ≤ r and
αs+1 > r. If
λ = (αs+1 , αs+2 , . . . , αr ),
µ = λ − (r) = (αs+1 − r, . . . , αr − r), and
ν = (1, 2, . . . , α̂1 , α̂2 , . . . , α̂i , . . . , α̂s , , αs + 1, . . . , r)
Proof. It is clear that the rows of the α-th minor of A which belong
to Ir do not contribute any thing towards the value of pα (A) = ± det
(α-th minor of A) and pα (A) is in fact determined by those rows of the
α-th minor which belong to A. Using this fact, the lemma easily follows
from the definition of pλ,ν (A) and pµ,ν (A).
1.6. Connection with determinantal varieties and invariant theory 41
1.6.3 Lemma
Let J denote the anti-diagonal m × m matrix
1
0
1
.
.
.
0
1
Q.E.D.
1.6.4 Definition
(i) Let s, t, m, ℓ be positive integers with s ≤ m and t ≤ ℓ. For α ∈
I(s, m) and β ∈ I(t, ℓ), we define α ≤ β, if s ≥ t and αi ≤ βi ,
1 ≤ i ≤ t.
1.6.5 Definition
A standard monomial in pα,β , (α, β) ∈ P (ℓ, m) (or on M (ℓ, m)) is a
formal expression of the form
where (α, β) ≤ (γ, δ) ≤ · · · ≤ (λ, µ). The sequence ((α, β), (γ, δ), . . . ,
(λ, µ)) satisfying the above inequalities is called a a double standard
tableau in the sense of Doubilet-Rota-Stein (see [D-R-S]).
As before, a standard monomial on M (ℓ, m) gives an element of
the coordinate ring R(M (ℓ, m)) and following our usual abuse of lan-
guage we call this element also a standard monomial on M (ℓ, m) (or in
pα,β , (α, β) ∈ P (ℓ, m)).
For α ∈ I(r, n) with α 6= αmin , let s be the largest integer such that
αs ≤ r and let
α′ = (n + 1 − αr , n + 1 − αr−1 , . . . , n + 1 − αs+1 ),
α′′ = (1, 2, . . . , α̂1 , α̂2 , . . . , α̂s , αs + 1, . . . , r),
where ˆ denotes omission. We call the pair (α′ , α′′ ) the dual pair as-
sociated to α. Thus we have a map h : I(r, n) − {αmin } → P (n − r, r)
defined by h(α) = (α′ , α′′ ).
1.6.6 Lemma
The above defined map h is an order reversing bijection, i.e., α ≤ β ⇔
(β ′ , β ′′ ) ≥ (α′ , α′′ ). Moreover, if (λ, µ) ∈ P (n−r, r) (say, (λ, µ) ∈ I(t, n−
r)×I(t, r) for some t, 1 ≤ t ≤ min(n−r, r)), then the element α ∈ I(r, n)
such that h(α) = (λ, µ) is given as follows:
1.6.7 Proposition
There is an isomorphism from the affine space M (n − r, r) to the op-
posite big cell Uαmin such that the induced isomorphism between their
coordinate rings identifies a Plücker coordinate pα on Uαmin with the
regular function ±pα′ ,α′′ on M (n − r, r).
Hence,
Φ∗ (pα ) = ±pα′ ,α′′ .
Q.E.D.
1.6.8 Theorem
For positive integers ℓ and m, the coordinate ring R(M (ℓ, m)) of M (ℓ, m)
has a basis consisting of standard monomials in the regular functions pα,β
on M (ℓ, m).
44 1. Schubert Varieties in the Grassmannian
1.6.9 Definition
Consider the coordinate ring R(M (ℓ, m)) = k[xij , 1 ≤ i ≤ ℓ, 1 ≤ j ≤
m] of M (ℓ, m). For a fixed positive integer t ≤ min(ℓ, m), the ideal of
R(M (ℓ, m)) generated by determinants of the t × t minors of the matrix
[xij ] is called a determinantal ideal, and the affine variety defined by
such an ideal is called a determinantal variety which we shall denote by
Dt (ℓ, m).
1.6.10 Proposition
Let t be a positive integer with t ≤ min(n−r, r) and let αt = (1, 2, . . . , t).
If β is the element of I(r, n) whose associated dual pair is (αt , αt ) (see
(1.6.6)), then the affine variety W (β) = X(β) ∩ Uαmin is isomorphic to
the determinantal variety Dt+1 (n−r, r). Conversely, every determinantal
variety is isomorphic to X(β) ∩ Uαmin for some Schubert variety X(β)
in a Grassmannian.
1.6.11 Theorem
(i) Determinantal varieties are integral (i.e., irreducible and reduced)
and normal.
Proof.
(i) This follows from (1.6.10) and the fact that Schubert varieties are
integral and normal.
(ii) For t = 1, clearly the formula holds. So assume that t > 1. Set
n = ℓ + m, r = m, and let β be the element of I(r, n) whose
associated dual pair is (αt−1 , αt−1 ) where αt−1 = (1, 2, . . . , t − 1).
By (1.6.10), Dt (ℓ, m) is isomorphic to an affine open subset of X(β)
and hence, dim Dt (ℓ, m) = dim X(β). But by (1.6.6), we have
β = (t, t + 1, . . . , m, ℓ + m − t + 2, ℓ + m − t + 3, . . . , ℓ + m).
(iii) To avoid the trivial case, we assume that t > 1. Let n, r and β
be as above. By (1.6.7), we have an isomorphism Φ : M (ℓ, m) →
Uαmin with the induced isomorphism Φ∗ : R(Uαmin ) → R(M (ℓ, m))
such that Φ∗ (pα ) = ±pα′ ,α′′ . Moreover, as we saw in the proof of
(1.6.10), Φ maps Dt (ℓ, m) onto the affine variety W (β) = X(β) ∩
46 1. Schubert Varieties in the Grassmannian
1.6.12 Corollary
A determinantal ideal is a prime ideal.
Proof. Obvious.
1.6.13 Theorem
Let X = M (r, n) and let A = k[xij , 1 ≤ i ≤ n, 1 ≤ j ≤ r] be its
coordinate ring. Consider the canonical action of G = SLr (k) on A
induced by the action of G on X by left multiplication. If Ĝr,n denote the
cone over the Grassmannian Gr,n , then Spec AG ∼ = Ĝr,n ; in other words
G
the ring of invariants A is generated as a k-algebra by the determinant
functions ±pα , α ∈ I(r, n).
Proof. Recall that R = k[pα , α ∈ I(r, n)] is the coordinate ring of
Ĝr,n (see (1.1.4)). Since each pα is a G-invariant, we have the inclusions
R ⊂ AG ⊂ A which give the following commutative diagram:
π̂
Spec AG Ĝr,n
Ψ
(a)
Ψ
Spec AG Ĝr,n X◦
U U Gr,n − {(0)}
Gr,n − {(0)} Ψ
(b) (c)
where (0) denote the vertex of the cone Ĝr,n . Note that the map π̂ :
X → Ĝr,n induced by the inclusion R ⊂ A is nothing but the morphism
π̂ defined in (1.2), i.e., for B ∈ X, π̂(B) = (pα (B)). Therefore, π̂ : X ◦ →
Ĝr,n − {(0)} defines a principal G-bundle on Ĝr,n − {(0)}. Now using the
commutative diagram (c), it is easy to see that Ψ : U → Ĝr,n − {(0)} is
an isomorphism, which shows that Ψ : Spec AG → Ĝr,n is birational.
Since X − X ◦ consists of unstable points, its image under the map
X → Spec AG is a point (see [N], §3). However, since X → Spec AG
is surjective, Spec AG − U consists of one point and it is clear from the
diagram (a) that this point is mapped to (0) by Ψ. This proves that Ψ
is bijective and hence, the theorem. Q.E.D.
48 1. Schubert Varieties in the Grassmannian
g · (x1 , . . . , xℓ, , ξ1 , . . . , ξm ) = (g · x1 , . . . , g · xℓ , g · ξ1 , . . . g · ξm ).
1.6.14 Theorem
The morphism Φ : X → M (ℓ, m) maps X into the determinantal variety
Dn+1 (ℓ, m), and the induced homomorphism Φ∗ : R(Dn+1 (ℓ, m)) →
R(X) between the coordinate rings induces an isomorphism Φ∗ : R(Dn+1
(ℓ, m)) → R(X)G , i.e., the determinantal variety Dn+1 (ℓ, m) is a “good
quotient” of X by G in the sense of geometric invariant theory.
For the proof we need the following from geometric invariant theory:
1.6.15 Lemma
Let X be an affine space on which a reductive algebraic group G acts
linearly. Let AN be an N -dimensional affine space and let Ψ : X → AN
be a G-invariant graded morphism (i.e., Ψ(tx) = td Ψ(x) for x ∈ X and
t ∈ k). Let D be a closed subvariety of AN such that Ψ(X) ⊂ D. Then
D is a good quotient of X by G and Ψ : X → D is the canonical quotient
map, provided the following conditions are satisfied:
(i) For x in X ss (the set of semi-stable points in X), Ψ(X) 6= (0).
(ii) There is a G-stable open subset U of X ss such that G operates freely
1.6. Connection with determinantal varieties and invariant theory 49
Y AN
ρ
X1ss
Ψ1
π1
Y1 PN −1
ρ1
if M = Ψ∗1 OPN−1 (1)), then for a given x ∈ X1ss we can find an invariant
section f of Mr for some r ≥ 1 such that f (x) 6= 0 and (X1ss )f =
{z ∈ X1 | f (z) 6= 0} is affine. This implies that given y = π1 (x) ∈ Y1 ,
there is a section h of Lr for some r ≥ 1 such that h(y) 6= 0 and
(Y1 )h = {x ∈ Y1 | h(z) 6= 0} is affine. But this means that L is ample
(see for instance [N], Lemma 3.20). Hence, the claim follows.
Now, if P is the coordinate ring of AN , then ρ : Y → AN and
ρ1 : Y1 → PN −1 are induced by a graded homomorphism P → (RG =
L
RG ). Since ρ1 is finite, there exists a positive integer m0 such that
Lm≥0 mG G
m≥m0 Rm is a finitely generated P -module. However, since ⊕m<m0 Rm
is finite dimensional, RG itself is a finitely generated P -module, which
shows that ρ : Y → AN is a finite morphism. Now the hypothesis (ii)
and (iv) imply that ρ induces a birational morphism ρ : Y → D. Since
Y and D are normal, it follows that ρ is an isomorphism. This proves
the lemma.
of GL(V ). We have
gt · (x, ξ) = (tx, tξ) → 0 as t → 0.
Thus, due to the same reason as in case (a), the point (x, ξ) is
not semi-stable which leads to a contradiction. Hence, we have
φ((x, ξ)) 6= 0.
(ii) Let U = {(x, ξ) ∈ X | (x1 , x2 , . . . , xn ) and (ξ1 , . . . , ξn ) are linearly
independent }. Clearly, U is a G-stable open subset of X and G
operates freely on it. Let {e1 , e2 , . . . , en } be a basis of V and let
U ′ = {(x, ξ) | xi = ei , 1 ≤ i ≤ n}.
Then U ′ can be identified with U/G and we have a commutative
diagram
U/G U′
(iii) We have
1.6.16 Corollary
Let X and G be as above. Let fij denote the regular function (x, ξ) →
hxi , ξj i on X, 1 ≤ i ≤ ℓ, 1 ≤ j ≤ m, and let F denote the ℓ × m matrix
[fij ]. The ring of invariants R(X)G has a basis consisting of standard
monomials in the regular functions pλ,µ (F ) with #λ ≤ n+1, where #λ is
the number of elements in the sequence λ = (λ1 , λ2 , . . . , λt ) and pλ,µ (F )
is the determinant of the t × t minor defined by the rows corresponding
to λ1 , λ2 , . . . , λt and the columns corresponding to µ1 , µ2 , . . . , µt . (See
(1.6.4) and (1.6.5) for the definition of standard monomials in pλ,µ (F ).)
In the following let G′ denote GLn (k) and denote SLn (k) by G. A Borel
subgroup of G′ (resp. G) is a maximal element among its connected
solvable subgroups. Denote by B ′ (resp. B) the Borel subgroup of G′
(resp. G) consisting of upper triangular matrices. Recall that all Borel
subgroups of G′ and of G are conjugate.
2.1.1
The homogeneous space G/B(≃ G′ /B ′ ) is called the flag variety asso-
ciated to G. This terminology is justified as follows: Let {e1 , . . . , en } be
the canonical basis of V = kn and let F (V ) be the flag variety of V. G′
operates transitively on F (V ). Let F ∈ F (V ) be the flag
F := (0) ⊂ (e1 ) ⊂ (e1 , e2 ) ⊂ . . . ⊂ (e1 , . . . , en ) = V.
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 55
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8_2
56 2. Standard monomial theory on SLn (k)/Q
Φ : G′ → F (V )
g 7→ g · F
Ψ : G′ /B ′ → F (V ).
2.1.2
A closed subgroup Q of G is called a parabolic subgroup if there exists a
Borel subgroup B̃ of G such that B̃ ⊂ Q. The canonical morphism Φ :
G/B̃ → G/Q is surjective. Since G/B̃ (≃ G/B) is complete, we conclude
that G/Q is a complete variety. It is clear that Φ is G-equivariant with
respect to the canonical left actions of G on G/B̃ and G/Q. All maximal
parabolic subgroups of G containing B are of the form:
where 1 ≤ i ≤ n − 1.
It is easy to see that G/Pi is isomorphic to the Grassmannian Gi,n
for i = 1, . . . , n − 1.
2.1.3
We want to recall some facts:
(ii) The Picard group Pic G/Pi is infinite cyclic and it is generated
by the very ample line bundle Li , where Li is the pull back of the
hyperplane line bundle on P(∧i ∨).
(v) The Picard group Pic G/Qi of G/Qi is isomorphic to Zn−i and it
is generated by the line bundles Li , . . . , Ln−1 .
⊗a
(vi) We denote an element L⊗a i
i
⊗ . . . ⊗ Ln−1n−1 of Pic G/Qi by La(i) ,
where a(i) denotes the tuple (ai , . . . , an−1 ). We say a(i) ≥ 0 (resp.
a(i) > 0) if am ≥ 0 (resp. am > 0) for i ≤ m ≤ n − 1. The line
bundle La(i) is ample if and only if a(i) > 0.
Remark The definitions and results above and in the following do not
depend on the special choice of the chain of parabolic subgroups: B =
Q1 ⊂ 6−
Q2 ⊂ 6−
... ⊂
6−
Qn−1 = Pn−1 . Let (i1 , . . . , in−1 ) be any permutation of
(1, . . . , n − 1). Let Qij denote Pij ∩ Pij+1 ∩ . . . ∩ Pin−1 . Thus the obvious
analogues hold for the chain of parabolic subgroups
B = Q i1 ⊂
6−
Q i2 ⊂
6−
... ⊂
6−
Qin−1 .
2.1.4
Let T be the subgroup of diagonal matrices in G. The subgroup T is
a maximal torus of G, i.e., T is a maximal connected diagonalizable
subgroup of G. Recall that all maximal tori of G are conjugate. It is
well known that T = CenG T = {g ∈ G | gtg −1 = t, ∀ t ∈ T }. Let
NorG T = {g ∈ G | gT g−1 ⊆ T }, the normalizer of T in G. The factor
group W = NorG T /T is called the Weyl group of G. It is easy to see
that W ≃ Sn , the group of permutations on n letters.
2.1.5
If ω ∈ W is an element of the Weyl group, then BωB is a well defined
double coset because T is contained in B. S
By the Bruhat decomposition
(see Chapter 4, 4.1.6) we know that G = · BωB is a mutually disjoint
ω∈W
58 2. Standard monomial theory on SLn (k)/Q
double coset decomposition. Let WQi denote NorQi T /T, the Weyl group
of Qi . We can consider WQi as a subgroup of W. Denote the coset Qi
in G/Qi by e(id) and denote by e(ω), ω ∈ W/WQi , the coset ωQi . Note
that the canonical map
2.1.6
The points e(ω), ω ∈ W/WQi are fixed under the canonical left action
of T on G/Qi . We want to show that these are all the T -fixed points in
G/Qi . Let {e1 , . . . , en } be the canonical basis of V = kn . It is easy to
see that the T -fixed points in G/Pm ≃ Gm,n are the points represented
by ei1 ∧...∧eim , 1 ≤ i1 < . . . < im ≤ n, and that WPm ∼ = Sm × Sn−m ֒→
1...m...n
Sn . Let ω = be an element of W. Then ω mod Pm is
i1 . . . im . . . in
uniquely determined by arranging i1 , . . . , im in ascending order. Thus
we get a bijection between W/WPm and I(m, n), the indexing set of the
T -fixed points in G/Pm . Hence all the T -fixed points in G/Pm are of
form e(ω) with ω ∈ W/WPm . Since the morphism
2.1.7
The B-orbit B.e(ω), ω ∈ W/WQi , is an affine space (see 4.2.4 in the
later Chapter 4). Hence we have a Bruhat decomposition of G/Qi into
affine spaces:
[·
G/Qi = B.e(ω).
ω∈W/WQi
2.2.1
⊗ai
⊗ai
H 0 G/Pi , Li2 2 = H 0 G/Qi , Li2 1 , then the product p · q := p ⊗ q
⊗ai ⊗ai
is an element of H 0 G/Qi , Li1 1 ⊗ Li2 2 . We want to show that a
certain subset of these products
form a basis for the multigraded ring
0
R = ⊕a(i)≥0 H G/Qi , L a(i) .
2.2.2
(i) ω ≤ τ
2.2.3 Definition
A Young diagram of type a(i) = (ai , . . . , an−1 ), where am ≥ 0, m =
i, . . . , n − 1, is an element
λ ∈ (W/WPi × . . . × W/WPi ) × . . . × W/WPn−1 × . . . × W/WPn−1
| {z } | {z }
ai copies an−1 copies
is a Young diagram on X(ω) (or for short ω ≥ λ), if for every projection
pm : W/WQi → W/WPm , i ≤ m ≤ n − 1, we have pm (ω) = ω m ≥ λm,km ,
1 ≤ km ≤ am .
2.2.4
Let λ be Young
0 a(i)
diagram of type a(i). We define the section pλ ∈
H G/Qi , L corresponding to λ to be the monomial:
2.2.5 Remark
Let λ be a Young diagram of type a(i). For each λm,km write the cor-
responding element in I(m, n) (see (1.1.6)) as a column with increasing
entries. This gives us a one-to-one correspondence between the Young
diagrams of type a(i) in the above sense and the classical Young dia-
grams of shape a(i). In classical literature (see [W]), a Young diagram
is called “standard” if the rows have non-decreasing entries. Let us call
such diagrams weakly standard. It can be shown that standard diagrams
on G/B (in our sense) are precisely those which are weakly standard (see
G/P -IV). However, on a Schubert variety, being standard in our sense
is (in general) stronger than being weakly standard.
2.3.1
Let S(Y, a(i)) denote the set of all standard monomials on Y of type
a(i) ≥ 0 and let s(Y, a(i)) denote the cardinality of S(Y, a(i)).
Case 1: ai = 0
Let η : G/Qi → G/Qi+1 denote the canonical map. Note that the cor-
responding map of global sections preserves standardness. Denote η(Y )
by Y ′ . Any standard monomial of type a(i) = (0, ai+1 , . . . , an−1 ) can be
identified with a standard monomial on Y ′ of type (ai+1 , . . . , an−1 ). The
claim follows from the induction hypothesis and the surjectivity of η.
Case 2: ai ≥ 1
Let pλ(k) , 1 ≤ k ≤ s, be a minimal set of linearly dependent standard
monomials of type a(i). We can suppose that λ(1) , . . . , λ(s) are distinct
(k)
as diagrams. Let φi,j be a defining chain for λ(k) . Since the pλ(k) are
(k)
standard, for each k there exists an ℓ such that ωℓ ≥ Φi,1 .
(k)
can write pλ(k) = pδ pµ(k) ; we get µ(k) from λ(k) by dropping λi,1 . Now
the monomials pµ(k) are of type a′ (i) = (ai − 1, ai+1 , . . . , an−1 ). They
are standard on Z, and pλ 6= 0 on every irreducible component of Z.
Furthermore, the monomials pµ(k) , k = 1, . . . , s, are again distinct as
diagrams. Since the pλ(k) are linearly dependent, the monomials pµ(k)
would be linearly dependent, which is a contradiction to our induction
hypothesis.
n o
(1) (s)
Case 2b: Let λ be a minimal element of the set λi,1 , . . . , λi,1 say,
(1) (s ) (s +1)
, . . . , λsi,1 .
λ = λi,1 = · · · = λi,10 and λ 6≥ λi,10
(s
(1)
Let Y0 be the union of Schubert varieties X Φi,1 ∪ . . . ∪ X Φi,1(0) in
G/Qi . Observe that Y0 ⊆ Y and that the monomials pλ(1) , . . . , pλ(s0 ) are
standard
on Y0 . Let Pi : G/Qi → G/Pi be the projection map. Since
(k)
Pi X Φi,1 = X(λ) ֒→ G/Pi and pλ(r) ≡ 0 on the Schubert variety
i,1
X(λ) ֒→ G/Pi for r ≥ s0 + 1, we conclude pλ(r) Y0 ≡ 0 for r ≥ s0 + 1. Let
Pa
(k)
ak pλ(k) be a linear dependence relation on Y. By the minimality
k=1
of s we know that ak 6= 0 ∀ k = 1, . . . , s. If we restrict the relation to
Y0 , then we obtain a nontrivial linear dependence relation on Y0 for the
standard monomials pλ(1) , . . . pλ(s0 ) . Case 2a then applies. Q.E.D.
We want to recall some definitions and facts about the partial order
in W/WQi . A more general discussion about this and the proofs of the
Lemmas stated below can be found in Chapter 4.
2.4.1
We have already noted that W = Sn . The group W is generated by
the transpositions s1 = (1, 2), . . . , sn−1 = (n − 1, n). Let ω ∈ W and
ω = si1 . . . sir be a representation of ω. Call r the length of the rep-
resentation. The representation is called reduced if r is minimal, in
which case it is called the length ℓ(ω) of ω. Let ω ∈ W/WQi and let
ω ≡ si1 · · · · · sir mod WQi be a representation of ω. The representation
is called reduced if r is minimal, in which case r is called the length
ℓQi (ω) of ω. Any element τ ∈ W/WQi which has a reduced decompo-
sition τ ≡ siji · · · · · sijk mod WQi such that j1 < · · · < js is called a
64 2. Standard monomial theory on SLn (k)/Q
subword of ω.
2.4.2 Lemma
Let X(ω) and X(τ ), ω, τ ∈ W/WQi , be Schubert varieties in G/Qi . The
following are equivalent:
(i) X(ω) ⊆ X(τ )
(ii) ω is a subword of τ.
2.4.3 Lemma
Let m ≥ i and let η : G/Qm → G/Qi denote the canonical map. For
any ω ∈ W/WQi there exists a minimal representative τ min ∈ W/WQm
and a maximal representative τ max ∈ W/WQm such that
η
(i) the map X(τ min ) → X(ω) is birational and if ω ≡ s1 · · · · · · · sr
mod WQi is a reduced decomposition, then τ̃ min = s1 · · · · · sr is a
representative of τ min in W.
(ii) ℓQm τ̃ min · σ = ℓQm τ min + ℓQm (σ)∀ σ ∈ WQi .
2.4.4
Let X(ω) be a Schubert variety in G/Qi and let λ be a standard Young
diagram of type a(i) on X(ω).
Φ+ −
j,kj ≥ Ψj,kj ≥ Φj,kj , 1 ≤ j ≤ n, 1 ≤ kj ≤ aj .
2.5. Preparation for the main theorem 65
In this section we are going to prove some lemmas which we will need
for the proof (based on induction) of the main theorem (namely that
H 0 (X(ω), La(i) ) is generated by standard monomials).
2.5.1 Lemma
Let ω1 , . . . , ωt , τ1 , . . . , τs be elements of W/WQi and let a(i) ≥ 0. If
Y1 = ∪τj=1 X(ωj ) and Y2 = ∪sℓ=1 X(ωℓ ) are the corresponding unions of
Schubert varieties then
2.5.2
Denote by pi : G/Qi → G/Pi the canonical map. Recall that we denote
the image of ω ∈ W/WQi in W/Wpi by ω. To avoid ambiguity we denote
Pi (X(ω)) by XPi (ω). We have the commutative diagram:
X(ω) ֒→ G/Qi
↓ ↓
XPi (ω) ֒→ G/Pi
Assume that dim XPi (ω) > 0. Let pω be the Plücker coordinate on
G/Pi corresponding to ω ∈ W/WPi . We have seen (Chapter 1, (1.4.11))
that
HPi (ω) = XPi (ω) ∩ {pω = 0}
66 2. Standard monomial theory on SLn (k)/Q
2.5.3 Lemma
Let X(ω) be a Schubert variety in G/Qi and assume that dim XPi (ω) >
0. If a(i) = (ai , . . . , an−1 ) such that a(i) ≥ 0 and ai > 0, then
where
a′ (i) = (ai − 1, ai+1 , . . . , an−1 ).
2.5.4 Notations
(i) If ζ denotes (1, . . . , n − i), then Lζ is an ample line bundle on
| {z }
n−i
G/Qi .
(ii) Denote by St the set of all subschemes of G/Qi which are scheme
theoretic unions of Schubert varieties of dimension ≤ t. Note that
the elements of St are reduced schemes.
0 → OY1 ∪Y2 (m) → OY1 (m) ⊕ OY2 (m) → OY1 ∩Y2 (m) → 0.
0 → I → OZ → OZred → 0.
2.5.5 Lemma
Suppose that for all Schubert varieties X(ω) ∈ St (5.4 ii) we have
Then
2.5.6 Lemma
Let X(ω) be a Schubert variety in G/Qi . Denote by Φ : ^
X(ω) → X(ω)
the normalization map.
^ → X(ω) is bijective.
(i) The normalization map Φ : X(ω)
2.5.7
If L is a line bundle on X(ω), then denote its pullback by φ on ^
X(ω)
^ ^
by L̃. Let H(ω) be the subscheme of X(ω) defined by the pull back of
^ is defined by only one equation.
{pω = 0}. Note that H(ω)
^ is reduced.
Proposition H(ω)
2.5.8 Lemma
Let B be a noetherian normal ring and f ∈ B a non unit. Denote by
(f ) = ∩ri=1 qi the primary decomposition and let pi be the associated
prime ideal (of ht 1)Tto qi . Assume that the multiplicity of f along every
pi is 1. Then (f ) = ri=1 pi and B/f B is reduced.
(j)
Proof of the lemma. We have qi = pi , the j-th symbolic power of
pi . Since j is T
the multiplicity of f along pi and j = 1, we get qi = pi and
hence (f ) = ri=1 pi .
2.6.2 Lemma
Let p : X̃ → X be a finite morphism of projective varieties. Suppose
that there exists an ample line bundle L on X such that the canonical
map H 0 (X, Lm ) → H 0 (X̃, L̃m ) is an isomorphism for all m ≫ 0. Then
p is an isomorphism.
0 → OX → p∗ OX̃ → F → 0.
0 → Lm → p∗ OX̃ ⊗ Lm → F ⊗ Lm → 0.
1. If G = SLn (k), suppose that the theorem holds for all Schubert
varieties in G′ /Q′ , where G′ = SL2 (k), . . . , SLn−1 (k) and Q′ is
any parabolic subgroup of G′ . (The theorem holds obviously for
G = SL2 (k).)
Case 1 : ai = 0
Consider the map η : G/Qi → G/Qi+1 . The line bundle La(i) on G/Qi
′
is the pull back of the line bundle La (i) , a′ (i) = (ai+1 , . . . , an−1 ), on
G/Qi+1 via η. Denote η(X(ω)) by Y and denote by the same η the map
η : X(ω) → Y. One knows that on an open subset U of Y (big cell in Y ),
η −1 (U ) ≃ U × affine space. This implies in particular that the function
field of Y is algebraically closed in that of X(ω). Further Y is normal
and η is proper. Hence by Zariski’s connectedness theorem, the fibres of
η are connected. Moreover, since Y is normal. η∗ OX(ω) = OY , and since
′
η is proper, the induced map between the global sections H 0 (Y, La (i) ) →
H 0 (X(ω), La(i) ) is an isomorphism. Note that standardness is preserved
under this map and hence, by induction hypothesis 2 the theorem holds
if ai = 0.
Case 2 : ai ≥ 1
Denote by pi : G/Qi → G/Pi the projection map and denote pi (X(ω))
by XPi (ω).
2.6.4 Lemma
Let p : Z̃ → Z be a bijective proper map of reduced schemes. If Z =
Z1 ∪ Z2 , Z̃ = Z̃1 ∪ Z̃2 such that Z1 , Z2 , Z̃1 , Z̃2 are closed subschemes,
Z1 ∩ Z2 is reduced and p induces isomorphisms p : Z̃1 → Zi , i = 1, 2,
then p is an isomorphism.
0 A A1 ⊕ A2 A12 0
φ ζ
^ →O
0 → I (H(ω)) ^ → O ^ → 0.
X(ω) H(ω)
74 2. Standard monomial theory on SLn (k)/Q
^ La′ (i) ) → H 0 (^
0 → H 0 (H(ω), ^ La(i) ) → 0.
X(ω), La(i) ) → H 0 (H(ω),
s(H(ω)red , a(i)) = h0 (^
X(ω), Lea(i) ) − h0 (^
′
X(ω), Lea (i) ).
By induction hypothesis on ai , we know that
h0 (^
′
X(ω), Lea (i) ) = s(X(ω), a′ (i)) and hence
h0 (^
X(ω), Le a′ (i)
) = s(H(ω)red , a(k))s(X(ω), a′ (i))
= s(X(ω), a(i)) by Lemma 2.5.3.
h0 (^
X(ω), Lea(i) ) = s(X(ω), a(i)) ∀ a(i) ≥ 0
2.7.1
Let S be the set of simple roots of the root system Φ of G corresponding
to the choice of a Borel subgroup B (see Chapter 4, (1.3), (1.5)). If
α ∈ S, then denote the corresponding simple reflection by sα . We denote
by P (α) the minimal parabolic subgroup of G containing B and G−α
(see Chapter 4, (1.5)). Let L(α) be the semisimple subgroup of P (α)
isomorphic to SL2 (k) and containing Gα and G−α . Denote by B(α)
the Borel-subgroup L(α) ∩ B of L(α). If X(ω) and X(τ ) are Schubert
varieties in G/Qi such that ω < τ and ω = sα τ for some α ∈ S, then let
Z(ω, α) be the fibre bundle L(α) ×B(α) X(ω) (≃ P (α) ×B X(ω)) over
P1 with fibre X(ω) (see Chapter 4, 2.9).
2.7.2 Theorem
(i) If Y = X(ω1 ) ∪ . . . ∪ X(ωr ) is a union of Schubert varieties in
G/Qi , then
h0 (Y, La(i) ) = s(Y, a(i)).
Ψ Z(ω, α)
X(τ )
π
Pi′ P1
pi
≃
≃ Z(ω, α)
XPi (τ )
2.7. Another proof for generation by standard monomials 77
Since the line bundle π ∗ (OP1 (−1)) corresponds to the divisor X(ω)
in Z(ω, α), we get, by the commutativity of the diagram for the ideal
sheaf I(HZ ) of HZ : Ψ∗ (L−1
i ) = I(HZ ).
Step E Assume that XPi (ω) is not a point. Denote p−1 i (HPi (ω)) ∩
X(ω) by H(ω) (see 2.5.2). Since X(ω) is normal by induction hypothe-
sis, we know that the local rings of the generic points of the irreducible
components of H(ω) are discrete valuation rings. By Chevalley’s multi-
plicity formula (Chapter 4, Corollary (5.9)), we know that the intersec-
tion multiplicity of X(ω) and p∗i ({p(ω) = 0}), considered as subvarieties
of G/Qi is 1 along the irreducible components of H(ω). Hence the local
rings of the generic points of the irreducible components are generated
by p(ω), and H(ω) and H(ω)# are reduced. Denote by HZ the scheme
theoretic union H(ω)# ∪ X(ω) in Z(ω, α). Note that HZ is reduced. It
is obvious that I(H(ω)# ). I(X(ω)) (note that I(X(ω)) is locally prin-
cipal) is a subsheaf of the sheaf of ideals I(HZ ) of HZ . On the other
hand, given f ∈ I(HZ ) locally, we can write f = g.θ, where θ is a local
equation for X(ω). Since H(ω)# 6⊇ X(ω), g has to vanish on H(ω)# and
hence
I(HZ ) = I(H(ω)# .I(X(ω))
Since I(X(ω)) ∼ = p∗ (OP1 (−1)), we can write I(HZ ) = I(H(ω)# )
(−1). We have a canonical isomorphism I(H(ω)) ∼ = L−1
i on X(ω) given
by multiplication with p(ω). Since B acts nontrivially on p(ω), using
the corresponding fibre space construction, it is easy to see that we
get a “twist by OP1 (1),” i.e. we get an isomorphism I(H(ω)# ) ≃
(Li (ω))# (1) ≃ Ψ∗ (L(τ ))(1) (see C). Therefore we get
Ψ∗ (L−1
i ) = I(HZ ).
Note that set theoretically HZ = Ψ−1 (H(ω)). Both define the same line
bundle and hence Ψ∗ (H(τ )) = HZ .
Step F We want to show that Ψ∗ : H 0 (H(τ )red , La(i) ) → H 0 (HZ , Ψ∗
a(i)
(L )) is an isomorphism. Since we take the reduced structure on H(τ ),
we have only to show that Ψ∗ is surjective. Recall that if XPi (ω) is a
point, then HZ = X(ω) ֒→ Z(ω, τ ), and Ψ∗ is obviously an isomorphism
in this case. If XPi (ω) is not a point, then denote the irreducible com-
ponents of H(ω) by X(φi ), i = 1, . . . , r. The Schubert varieties X(φi )
are normal. The irreducible components of H(ω)# are the fibre spaces
X(φi )# = L(α) ×B(α) X(φi ), i = 1, . . . , r. Since ω = sα τ, we know that
sα φi ≤ ω in W/WQi and hence X(φi ) is P (α)-stable. The fibres of the
canonical map Ψi : L(α) ×B(α) X(φi ) → X(φi ) are connected (Lemma
78 2. Standard monomial theory on SLn (k)/Q
Ψ
Z(ω, α) X(τ )
η′ η
Ψ′
Z ′ (ω ′ , α′ ) X ′ (τ ′ )
0 → I(HZ ) = Ψ∗ (L−1
i ) → OZ(ω,α) → OHZ → 0.
′
0 → H 0 (Z(ω, α), Ψ∗ (La (i) )) → H 0 (Z(ω, α), Ψ∗ (La(i) )) →
→ H 0 (HZ , Ψ∗ (La(i) )) → 0.
′
By the induction hypothesis, we know that h0 (Z(ω, α), Ψ∗ (La (i) ) =
′
h0 (X(τ ), La (i) ) = s(X(τ ), a′ (i)) and h0 (H(τ )red , La(i) ) =
a(i)
s(H(τ )red , L ). Hence we get
Applications
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 81
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8_3
82 3. Applications
Also recall that we may identify Vi with the set of regular functions
f on G such that
(b) pλ is the lowest weight vector for the Borel subgroup B λ = λBλ−1 .
3.1.1 Theorem
If TX(τ ),e denotes the tangent space at the point e = eid of a Schubert
variety X(τ ) in G/B, then
Proof. Consider the projection π : G → G/B and let X(τ ]) = π −1 (X(τ )).
To obtain the desired dimension of the tangent space, first we calculate
]). Using
the rank of the Jacobian matrix J(τ ) at the identity e in X(τ
0
the identification of H (G/P, Li ) as the set of regular functions on G
]) in G is defined by
satisfying (∗), it is easy to see that the ideal of X(τ
the regular functions on G corresponding to the Plücker coordinates pλ
3.1. Singularities of Schubert varieties 83
]) at e
is a Chevelley basis of G, then the Jacobian matrix Je (τ ) of X(τ
is of the form
where columns of the matrix are indexed by the Chevelley basis β and
the rows are indexed by λ ∈ W/Wi such that λ 6≤ τi . We claim that each
row in Je (τ ) has at most one nonzero element. For if Y = Hi , then
However, since λ 6= id, the remark (1) above shows that (Hi pλ )(e) = 0,
1 ≤ i ≤ n − 1. On the other hand, if Y = Xα , α ∈ Φ and Xα pλ 6= 0,
then the remark (2) above implies that
Therefore,
This together with the fact dim G/B = #{α > 0} implies that
dim TX(τ ) , e = dim G/B − Codimension of TX(τe ),e
3.1.2 Definition
For τ ∈ W, we define the length of τ, denoted by ℓ(τ ) to be the least
integer r such that τ = s1 s2 . . . sr , where si are simple reflections in W.
One knows that ℓ(τ ) = dim X(τ ) (see Chapter 4).
3.1.3 Corollary
X(τ ) is smooth iff ℓ(τ ) = #{α > 0 | τ ≥ sα }.
Proof. This immediately follows from the fact that X(τ ) is smooth iff
it is smooth at e. Q.E.D.
The above proof carries over to the case of any T -fixed point ew and
we obtain
3.1.4 Theorem
Let X(τ ) be a Schubert variety in G/B and let ew ∈ X(τ ). Let
Z(τ, w) = {α > 0 | τ ≥ wsα }.
If TX(τ ) , ew denotes the tangent space of X(τ ) at ew , then
dim TX(τ ),ew = #Z(τ, w).
3.2. Vanishing theorem 85
3.1.5 Corollary
X(τ ) is smooth at ew iff ℓ(τ ) = #Z(τ, w).
3.2.1 Theorem
If X is a union of Schubert varieties in G/B and L = La is a line bundle
on G/B such that a ≥ 0, then H i (X, L) = 0 ∀ i > 0.
Proof. We can reduce the proof of the theorem to the case where
X := X(τ ) is just a Schubert variety, for if X = X(τ1 ) ∪ X(τ2 ) is a
union of Schubert varieties such that dim X(τ1 ) ≥ dim X(τ2 ), then the
scheme theoretic intersection X(τ1 ) ∩ X(τ2 ) is reduced and a union of
Schubert varieties of dimension less than dim X(τ1 ) (Lemma (2.5.4) and
Theorem (2.7.2)). The sequence
0 → OX → OX(τ1 ) ⊕ OX(τ2 ) → OX(τ1 )∩Xτ2 → 0
is exact. If we tensor the sequence by L, we get
0 → L → L|X(τ1 ) ⊕ L|X(τ2 ) → LX(τ1 )∩X(τ2 ) → 0.
The map H 0 (LX(τ1 ) )⊕ H 0 (LX(τ2 ) ) → H 0 (LX(τ1 )∩X(τ2 ) ) is surjective. By
induction on dim X(τ1 ) and the number of irreducible components of
X as in the case of the Grassmannian, the claim follows by the corre-
sponding long exact cohomology sequence. Now suppose X = X(τ ) is a
Schubert variety in G/B and dim X(τ ) ≥ 1. Assume that if X(ω) is a
Schubert variety of dimension less than dim X(τ ), then H i (X(ω), L) =
0, ∀ i > 0. Let α be a simple root such that ω = sα τ < τ. Denote by
Z(ω, α) the fibre bundle P (α) ×B X(ω), where P (α) denotes the mini-
mal parabolic subgroup of G generated by B and G−α (see Chapter 4
(4.2.9)). The proof of the theorem depends on the following lemmas.
86 3. Applications
3.2.2 Lemma
If Ψ : Z(ω, α) → X(τ )((g, x) 7→ g.x) is the canonical map and L = La ,
where a ≥ 0, then H i (Z(ω, α), Ψ∗ (L)) = 0, ∀ i > 0.
0 → ker → E → π∗ (M) → 0.
3.2.3 Lemma
If Ψ : Z(ω, α) → X(τ ) is the canonical map and F = Lb , b > 0, is an
ample line bundle on X(τ ), then
for q ≥ 0 and m ≫ 0.
Q.E.D.
3.2.4 Lemma
If Ψ : Z(ω, α) → X(τ ) is the canonical map and L = La , a ≥ 0, then
Ψ∗ : H i (X(τ ), L) → H i (Z(ω, α), Ψ∗ (L)) is an isomorphism.
3.2.5
The theorem follows now from Lemma (3.2.2) and Lemma (3.2.4). Q.E.D.
88 3. Applications
3.2.6
We want to give a sketch of another proof of Theorem 3.2.1. The proof
is based on the usual induction procedure used in many of the proofs
before. The main problem here is to prove the theorem for the starting
point of the induction, i.e. for L = La , where a = (0, a1 , . . . , an−1 ).
3.2.8 Lemma
Let X and Y be normal varieties and let Φ : X → Y be a locally trivial
P1 -fibration. If L is a line bundle on X such that the restriction of L to
the typical fibre is of degree −1, then H i (X, L) = 0, ∀ i ≥ 0.
Proof of the Lemma. Let U ⊂ Y open and affine such that the
fibration is trivial. Since the restriction of L to the typical fibre is of
degree −1, the restriction of L to U × P1 (֒→ X) can be written as
p∗1 (OP1 (−1)) ⊗ p∗2 (M), where p1 : U × P1 → P1 and p2 : U × P →
U are the projection mapsP and M is a line bundle on U. Hence we
get H i (U × P1 , L) = H k (U, M) ⊗ H ℓ (P1 , OP1 (−1)) = 0 ∀ i > 0
k+ℓ=i
(Künneth formula). As an immediate consequence we conclude that
Rq φ∗ L = 0 ∀ q ≥ 0 and hence H i (X, L) ∼ = H i (Y, φ∗ L), ∀ i ≥ 0. Now
let U1 . . . Un be an affine open cover of Y such that the fibration is
trivial over Ui , i = 1, . . . , n. Since Y is integral, every finite intersection
of the U1 , . . . , Un is open, affine and the fibration is trivial over the
intersection. Hence the cohomology of φ∗ L restricted to one of these
intersections vanishes and we can compute H i (Y, φ∗ L) by computing the
Čech cohomology H i (ω, φ∗ L), where ω = (Ui )i=1,...,n . Since Rq φ∗ L = 0,
it follows that Ȟ i (ω, φ∗ L) = H i (Y, φ∗ L) = H i (X, L) = 0, ∀ i ≥ 0.
Q.E.D.
3.2.9
Now assume a1 ≥ 1 and suppose that H i (X(τ ), Lb ) = 0 ∀ i > 0 if
b = (b1 , . . . , bn−1 ) such that b1 < a1 . If we tensor the exact sequence
0 → L−1
1 → OX(τ ) → OH(τ ) → 0 by L, we get the exact sequence
0 → L′ → L → L|H(τ ) → 0,
3.3.1
Let λ be an element of the character group X(τ )(= X(B)) of T (see
Chapter 4, (1.1)) such that λ is a dominant weight (Chapter 4, (1.7)).
3.3.2
Denote by Z[Hom(T, GL1 (k))] the group ring of the multiplicative group
exp[Hom(T, GL1 (k))] = {exp λ | λ ∈ Hom(T, GL1 (k))}. If X(τ ) is a
Schubert variety and λ is a dominant weight, then let H 0 (X(τ ), Lλ ) =
⊕i (H 0 (X(τ ), Lλ ))χi be a decomposition of the T -module. H 0 (X(τ ), Lλ )
into weight spaces (Chapter 4, (4.1.1)).
P
Definition Denote by Char H 0 (X(τ ), Lλ ) = i exp(ni χi ),
ni = dim(H 0 (X(τ ), Lλ ))χi , the character of the T -module H 0 (X(τ ), Lλ ).
The character is an element of Z[Hom(T, GL1 (k))]. We want to deduce
a formula for Char H 0 (X(τ ), Lλ ) in terms of τ, λ and the root system φ
of G.
3.3. Character formula 91
3.3.3 Definition
Denote by Lsα , α ∈ S, the linear operator:
defined by:
exp λ − exp (sα (λ))
Lsα (exp λ) =
1 − exp α
Let Msα be the operator defined by
3.3.4 Theorem
(Demazure Character Formula). If λ is a dominant weight and τ, ω ∈ W
such that ω < τ and ω = sα τ, α ∈ S, then Char H 0 (X(τ ), Lλ ) =
Msα (Char H 0 (X(ω), Lλ ).
3.3.5 Corollary
Let τ ∈ W and let λ be a dominant weight. If τ = sα1 . . . . .sαr is a
reduced decomposition, then
(Note that the right hand side is independent of the reduced decom-
position.)
Ri = ⊕m≥0 H 0 (G/Pi , Lm
i ), 1 ≤ i ≤ n − 1.
The natural maps G/B → G/Pi , 1 ≤ i ≤ n − 1, induce the “diagonal
embedding” G/B → π1≤i≤n−1 G/Pi which in turn gives the embedding
94 3. Applications
S = ⊕a≥0 H 0 (Z, La )
a
where a = (a1 , a2 , . . . , an−1 ), La = La11 ⊗ La22 ⊗ . . . ⊗ Ln−1
n−1
and a ≥ 0
means ai ≥ 0 for all i. In terms of coordinates we have
Let
A = Spec S = π1≤i≤n−1 Ami +1 .
where Ami +1 = Spec k[xi0 , . . . , ximi ],
If T ′ denotes the torus group {(t1 , . . . , tn−1 )|ti ∈ Gm }, then we have
a canonical action of T ′ on A, namely, multiplication by ti on the com-
ponent Ami +1 . Furthermore, if A◦ denotes the open subvariety of A
formed by the points x = (xi ), xi ∈ Ami +1 such that xi 6= 0 for all
i, then T ′ operates freely on A◦ and Z identifies with the orbit space
A◦ /T ′ .
3.4.1 Definition
Let X be a closed subscheme of the multiprojective space Z. The ideal
of X (in S), denoted I(X) is defined to be the ideal generated by all
f ∈ Sa , a ≥ 0, such that f vanishes on X (as a section of a line bundle
on Z). We call the scheme X̂ = Spec S/I(X) the multicone over X.
It is clear that the ideal I(X) of X is a multigraded ideal in S. On the
other hand, if J is a multigraded ideal in S, we can associate to J a closed
subscheme V (J) of Z as follows: The ideal J determines a T ′ -stable sheaf
of ideal J˜ on A. The restriction of J˜ to A◦ gives a sheaf of ideals on
A◦ /T = Z, which in turn defines a closed subscheme of V (J) of Z.
Alternatively and more concretely, V (J) can also be defined as follows:
Z can be covered by affine open subsets of the form U1 × U2 × . . . × Un−1 ,
where Ui is an affine open subset of Pm1 defined by xiki 6= 0, i.e.,
" #
xi0 ximi
Ui = Spec k i , · · · , i , 1 ≤ i ≤ n − 1.
xk i xk i
3.4. Ideal theory of Schubert varieties 95
3.4.2 Lemma
If J1 and J2 are multi-homogeneous ideals in S, then
the intersection and union on the right hand side of (i) and (ii) being
scheme theoretic.
a
where La = La11 ⊗ La22 ⊗ . . . ⊗ Ln−1n−1
. We know that the natural map
H 0 (Z, La ) → H 0 (G/B, La ) is surjective for all a ≥ 0 (for example, it
follows from (2.6.1)). Hence the natural map Φ : S → R is surjective
and its kernel is the ideal I(G/B) of G/B in S.
If J is a multigraded ideal of R, then V (φ−1 (J)) is a closed sub-
scheme of G/B, which we denote by V (J). Conversely, if X is a closed
subscheme of G/B, the ideal of X in R is the ideal generated by all
multi-homogeneous elements f ∈ R vanishing on X. This ideal is in fact
the image of I(X) under the natural map φ : S → R, which we also
denote by I(X).
3.4.3 Lemma
Let Ji be a homogeneous ideal of the homogeneous coordinate ring Ri
of G/Pi and let J i be the multi-homogeneous ideal of R generated by
the image of Ji under the map Ri → R induced by the natural map
96 3. Applications
3.4.4 Theorem
Let T = ∪1≤i≤n−1 Ti , where Ti is a left half space in W/Wi (some Ti could
be empty). If J is the ideal of R generated by the Plücker coordinates
P τ, τ 6∈ T, then the closed subscheme V (J) of G/B is reduced and is in
fact a union of Schubert varieties in G/B.
3.4.5 Remark
(i) If Q is any parabolic subgroup of G, then, analogous to the case
of G/B, we can define the multigraded ring of G/Q and the above
theorem has an obvious extension to this case.
3.5. The variety of complexes 97
(ii) The ideal theory of Schubert varieties in G/B does not extend to
the multigraded ring R in the same way as it does in the case of
G/P (P a maximal parabolic subgroup of G). For example, we
are faced with difficulties of the following nature:
(∗) Iτ (H(τ )) = pτ Rτ ?
(iii) Huneke and Lakshmibai [H-L] have shown that the multigraded
ring Rτ of a Schubert variety X(τ ) in G/B is Cohen-Macaulay.
This result can also be proved using the results of Chapter 2. The
main observation is that (∗) holds for a suitable maximal parabolic
subgroup Pi of G.
3.5.1 Definition
The variety of complexes C ⊂ A is defined to be the set of complexes of
the form
f1 f2 fr
V1 −→ V2 −→ · · · −→ Vr+1 , i.e.,
However, the results we prove are true in general for any variety of
complexes. Although generality is lost in restricting to the above special
case, the essential ideas of the proofs are preserved. Our proofs easily
generalize to the general case; for details, see [M-S].
Let n = n1 + n2 + n3 and G = SLn (k). Let Q be the following
parabolic subgroup of G :
A1 ∗ ∗
A ∈ GLni (k),
Q = 0 A2 ∗ i
1≤i≤3
0 0 A3
Let Z be the unipotent radical of the parabolic subgroup of G op-
posite to Q, i.e.
I1 0 0
I is the ni × ni identity matrix,
Z = ∗ I2 0 i
1 ≤i≤3
∗ ∗ I3
Recall the well known fact that the restriction of the natural mor-
phism G → G/Q to Z is an isomorphism of Z onto an affine open subset
of G/Q which is called the opposite big cell of G/Q. We identify Z with
its image in G/Q and denote the image also by Z.
Let P1 and P2 be the maximal parabolic subgroups of G of the shape:
∗ ∗ ∗
P1 =
0 ∗ ∗ ∈ SLn (k)
0 ∗ ∗
∗ ∗ ∗
P2 = ∗ ∗ ∗ ∈ SLn (k)
0 0 ∗
Clearly, Q = P1 ∩ P2 . If Pi , i = 1, 2, denotes the projective space
in which G/Pi is embedded by the Plücker embedding, then we have a
natural embedding of G/Q in P1 × P2 given by
3.5. The variety of complexes 99
Z = G/Q ∩ (Z1 × Z2 ),
where Zi , i = 1, 2, is the opposite big cell in G/Pi (see (1, Sec. 6)). This
allows us to speak of a Plücker coordinate as a function on Z.
The following theorem is a consequence of a stronger result that will
be proved later (see (3.5.5)). However, this is given here as it makes
the connection between the variety of complexes and Schubert varieties
more intuitive.
3.5.2 Theorem
Let C be the variety of complexes in A = Hom (V1 , V2 ) ⊕ Hom (V2 , V3 )
with dim Vi = ni 1 ≤ i ≤ 3. If n = n1 +n2 +n3 , then C can be embedded
in G/Q (Q a parabolic subgroup of G = SLn (k)) in such a way that
its closure C (set theoretically) is a union of Schubert varieties in G/Q
which are in fact Q-stable.
I1 + U1 X1 ∗ ∗ A1 B1 ∗
X1 I2 + U2 X2 ∗ 0 A2 B2
0 X2 I3 0 0 A3
(I1 + U1 X1 )A1 ∗ ∗
= X1 A1 X1 B1 + (I2 + U2 X2 )A2 ∗
0 X2 A2 X2 B2 + A3
is in Q, i.e.,
(i) (I1 + U1 X1 )A1 = I1
(iii) X2 B2 + A3 = I3 .
and the matrix blocks above the diagonal are zero. Thus to show that
gX ∈ C (in G/Q) it suffices to show that
(X2 A2 )(X1 A1 ) = 0
i.e.
X2 A2 X1 = 0.
Since in a suitable neighborhood of the identity in Qµ , I2 + U2 X2 is
invertible, from (ii) we have in this neighborhood
Then
X2 = X2′ (I2 + U2 X2 )
⇒ 0 = X2 X1 = X2′ (I1 + U2 X2 )X1
⇒ X2′ X1 = 0.
Thus we have :
Q.E.D.
Let W be the Weyl group of G and let Wi be the Weyl group of Pi ,
i = 1, 2. If m1 = n1 and m2 = n1 + n2 , then as usual, we can identify
W/Wi , i = 1, 2, with the set
3.5.3 Lemma
The ideal I defining the variety of complexes C (in the coordinate ring
of Z) is generated by the Plücker coordinates pα on Z, where α is of the
form:
(b) X2 X1 = 0.
then we must show that in the coordinate ring of Z, the ideal generated
by the entries of X2 X1 is the same as the ideal generated by the Plücker
coordinates pα on Z with α as in (ii). To this end, we note, as before,
that such a pα on Z is given by
where
I1 0
U 2 = X1 I2
0 X2
Since
I1 0 I1 0
X1 I2 I1 0
= 0 I2 = U2′ say,
−X1 I2
0 X2 −X2 X1 X2
we have
Now we recall from (1.6.6) that the map α 7→ (α′ , α′′ ) which sends
each α 6= αmin = (1, 2, . . . , m2 ) to its associated dual pair (α′ , α′′ ) sets
104 3. Applications
up a bijection between αth minors of U2′ , α 6= αmin , and the set of minors
of the matrix [−X2 X1 X2 ]. Moreover, by (1.6.7), this bijection is such
that the Plücker coordinate ±pα , α 6= αmin , is equal to the determinant
function pα′ ,α′′ , on [−X2 X1 X2 ]. Now if α is as in (ii), then it is clear
that the minor of −X2 X1 X2 corresponding to the pair (α′ , α′′ ) contains
a column whose entries are in the matrix X2 X1 . This shows that each
pα with α as in (ii) is in the ideal generated by the entries of X2 X1 .
Conversely, it is obvious that each entry of X2 X1 can be obtained as a
± Determinant of the αth minor of U2′ ) = ±pα (U ) for some α as in (ii).
This completes the proof of the lemma.
3.5.4 Definition
3.5.5 Theorem
Proof. Let
3.5.6 Corollary
The irreducible components S of the variety of complexes C are normal
and Cohen-Macaulay. Further, the restrictions of standard monomials
(on Z) to C (resp. S) generate the coordinate ring of C (resp. S) and
the nonzero standard monomials on S form a basis for the coordinate
ring of S.
Chapter 4
In this section we want to recall some facts on algebraic groups and fix
some notations. We refer to [Hu] or [Bo] for the facts and notations
stated here without further comment.
4.1.1
Recall that a linear algebraic group T is called a torus if T is a connected
group isomorphic to a product of groups GL1 (k). The character group
X(T ) := Hom (T, GL1 (k)) is a free abelian group of rank equal to dim T.
Let V be a finite dimensional rational T -module. For χ ∈ X(T ) denote
by Vχ = {V ∈ V | t.v = χ(t).v, ∀t ∈ T }. The finitely many χ ∈ X(T )
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 107
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8_4
108 4. Schubert varieties in G/Q
4.1.2
Let G be a semisimple, connected algebraic group. Fix a maximal torus
T of G. Denote the Lie algebra of G by Lie G. The torus T acts via the
adjoint representation on Lie G. The nonzero weights of this represen-
tation are called roots. Denote the set of roots by φ := (G, T ). It is well
known that dim Lie (G)α = 1, ∀ α ∈ φ. Furthermore, the weight space
corresponding to the trivial weight is Lie T. Hence, we get Lie G = Lie
T ⊕ (⊕α∈φ (Lie G)α ) Denote by W = NorG T /CentG T , the Weyl group
of G. The group W is finite and operates faithfully on T and on X(T ).
There exists a W -invariant scalar product (., .) on X(T )R := X(T )⊗Z R.
We identify φ canonically as a subset of X(T )R . The set φ is a reduced
root system in X(T )R . Denote by sα the reflection in X(T )R with re-
spect to the hyperplane orthogonal to α ∈ φ. Denote by W (φ) the
subgroup of GL(X(T )R ) generated by the reflections {sα | α ∈ φ}. The
canonical homomorphism ρ : W → GL(X(T )R ) induces an isomorphism
ρ : W → W (φ). Therefore we will identify these two groups in the fol-
lowing.
4.1.3
A subset S of φ is called a basis of φ if S = {α1 , . . . , αr } is a basis of
P r
X(T )R and every α ∈ φ has an expression α = ci αi such that the
i=1
ci are integers of like sign. Such a basis exists and the elements of a
fixed basis are called simple roots. The corresponding reflections sαi are
called simple reflections. The roots, which are non negative (resp. non
positive) linear combinations of the elements in S constitute the set φ+
(resp. φ− ) of positive (resp. negative) roots. We have a decomposition
φ = φ+ ∪ φ− and there exists a uniquely determined ω0 ∈ W such that
ω0 (φ+ ) = φ− . Note that ω02 = id. We write α > 0 (resp. α < 0) if
α ∈ φ+ (resp. α ∈ φ− ).
4.1.4 Lemma
Let α ∈ S and β > 0. The following are equivalent (1) sα (β) ∈ φ− (ii)
α = β.
4.1. Some remarks on linear algebraic groups 109
P
r
Proof. Let S = {α1 , . . . , αr } such that α = α1 , and let β = ci αi be
i=1
a representation of β with respect to S.
Xr
2(α, β) 2(α, β)
sα (β) = β − α= ci αi + (c1 − )α.
(α, β) (α, β)
i=2
4.1.5
Denote by Ga the affine line A1k with group law µ(x, y) = x + y. For
every α ∈ φ there exists a uniquely determined subgroup Gα in G such
that Gα ≃ Ga and Lie Gα = (Lie G)α . Let B be a Borel subgroup of G
such that B ⊃ T. Denote the unipotent radical of B by B u . There exists
a uniquely
Q determined basis S uof φ such that with respect to− S we have
Bu = Gα . Note that B/B ≃ T. The Borel subgroup B := ω0 Bω0
α∈φ+
(see 4.1.3) is called the opposite Borel subgroup. The unipotent radical
of B − is (B − )u = πα∈φ+ G−α and B ∩ B − = T.
4.1.6
Let B be a Borel subgroup of G such that B ⊃ T. If ω ∈ W, then BωB
is a well defined double coset, because T = CenG T (= Centralizer of T
in G) ⊂ B.
4.1.7 Theorem
Bruhat decomposition ([Hu]), Theorem 28). G = ∪ω∈W BωB, with
BωB = Bτ B if and only if ω = τ in W. Since this is a finite union,
there has to be a double coset in G such that BωB is dense in G. De-
note by (B − )u the unipotent radical of the opposite Borel subgroup
e · B) = ω0 ((B − )u · B), the
B − = ω0 Bω0 (see 4.1.5). Since Bω0 B = ω0 (B
following proposition shows that Bω0 B is an open dense subset of G.
4.1.8
2(λ, α)
For λ ∈ X(T )R denote by hλ, αi. Let Λ(φ) be the set of all
(α, α)
elements λ ∈ X(T )R such that hλ, αi ∈ Z, again ∀ α ∈ φ. The elements
of Λ(φ) which form a lattice in X(T )R , called the weight lattice Λ(φ)
which is therefore W -stable. If S = {α1 , . . . , αr }, then denote by ̟i the
element in Λ(φ) such that h̟i , αi i = δij . The elements ̟1 , . . . , ̟r are
called fundamental weights. They span Λ(φ) over Z. Denote by Λr (φ)
(called the root lattice) the Z-span of φ in X(T )R . One can show that
Λr (φ) ⊆ X(T ) ⊆ Λ(φ). Call a pair (φ, Γ) a diagram. Here φ is a reduced
root system in some finite dimensional vector space over R and Γ is a
lattice between Λr (φ) and Λ(φ).
4.1.9 Theorem
([Hu 1], §§32, 33). The map G → (φ(G, T ), X(T )) induces a bijection
between isomorphism classes of semisimple algebraic groups over k and
isomorphism classes of diagrams.
If X(T ) = Λ(φ), then G is called simply connected (if k = C, then
G is a simply connected Lie group). The non negative integral linear
combinations of the fundamental weights are called dominant weights.
Let V be a finite dimensional vector space and σ : G → GL(V ) a rational
irreducible representation. If B is a Borel subgroup of G corresponding
to the basis S of φ, then ∃ a unique line D ⊆ V which is stable under B
and the weight λ(σ) of this line is dominant.
Theorem ([Hu 1], §31). The map σ 7→ λ(σ) induces a bijection of iso-
morphism classes of irreducible rational G-representations and dominant
weights belonging to X(T ).
4.2.1
Let S be a basis of the root system φ of G such that B = T.πα>0 Gα .
Let W denote the Weyl group of G with respect to T. There exists a
uniquely determined subset SQ ⊂ S such that Q is generated by B and
P
t
πα∈R+ (Q) Gα , where R+ (Q) = {β ∈ φ+ | β = ni , αi , ni ≥ 0, αi ∈ SQ }.
i=1
Denote by WQ the Weyl group of Q with respect to T. We can consider
WQ as a subgroup of W. The simple reflections sα , α ∈ SQ , generate
WQ . If R(Q) = R+ (Q) ∪ (−R+ (Q)), then R(Q) is the root system of
the reductive part MQ of the Levi decomposition Q = MQ .UQ of Q.
The unipotent radical UQ of Q is generated by the subgroups {Gα | α ∈
φ+ \R+ (Q)}.
4.2.2
Let θ ∈ W and α > 0. If ψ ∈ WQ , then ψ(R(Q)) = R(Q) and hence
θ −1 (α) ∈ R(Q) ⇔ (θ.ψ)−1 (α) = ψ −1 (θ −1 (α)) ∈ R(Q). Now let β ∈ SQ
and γ > 0. We know by Lemma 4.1.4 that sβ (γ) < 0 implies that
β = γ. Hence, θ −1 (α) < 0 (resp. θ −1 (α) > (0) and θ −1 (α) 6∈ R(Q) ⇔
(θsβ )−1 (α) = sβ θ −1 (α) < 0 (resp. θsβ )−1 (α) > 0 and (θs−1 β )(α) 6∈
R(Q)). Now WQ is generated by the simple reflection {sβ | β ∈ SQ }.
Hence if θ, θ ′ ∈ W such that θ ≡ θ ′ mod WQ , then θ −1 (α) ∈ R(Q) ⇔
(θ 1 )−1 (α) ∈ R(Q); also θ −1 (α) 6∈ R(Q) and θ −1 (α) < 0 (resp. > 0) ⇒
(θ 1 )−1 (α) 6∈ R(Q) and (θ 1 )−1 (α) < 0 (resp. > 0).
4.2.3
Let e(id) denote the coset of Q in G/Q and for ω ∈ W/WQ denote by
e(ω) the point ω.e(id). Recall that {e(ω) | ω ∈ W/WQ } is the set of
all T -fixed points in G/Q; for, T.g.Q = g.Q implies that g−1 T g ⊆ Q
and since ∃q ∈ Q such that (g.q)−1 T gq = T, we get g.q ∈ NorG T. Thus
g.Q = e(ω) for some ω ∈ W/WQ . Denote the isotropy group of G at e(ω)
by IG (ω).
112 4. Schubert varieties in G/Q
Lemma
Proof. This follows easily from the fact that IG (ω) = ωQω −1 . Q.E.D.
4.2.4
Let ω ∈ W/WQQ and let N (ω) = {α > 0 | ω −1 (α) 6∈ R(Q) and ω −1 (α) <
0}. Let Bωu = { α Gα | α ∈ N (ω)}. The set Bωu contains all subgroups
Gα of B such that Gα is not contained in IG (ω). Let C(ω) denote the
B-orbit B.e(ω) in G/Q and denote its closure B.e(ω) by X(ω). We en-
dow X(ω) with canonical structure of a reduced subscheme of G/Q.
Then C(ω) is called the Schubert cell corresponding to ω and X(ω) is
called the Schubert variety corresponding to ω. Let θ0 ∈ W denote the
unique element such that θ0 (φ+ ) = φ−1 and denote its canonical image
in W/WQ by ω0 .
Lemma
Proof.
(i) By the definition of Bωu we have B.e(ω) = Bωu .e(ω). Now the
claim follows from the fact that the isotropy group scheme in B is
ωBω −1 ∩ B and Bωu is just the complement to the isotropy group
scheme.
4.2. Basic properties 113
4.2.5
4.2.6 Lemma
(i) If α > 0 and ω ∈ W/WQ such that ω −1 (α) 6∈ R(Q) (if Q = B,
then R(Q) = ∅;), then:
ω −1 (α) < 0 ⇔ X(sα ω) ⊆ X(ω)
ω −1 (α) > 0 ⇔ X(ω) ⊆ X(sα ω).
Proof.
(i) By Lemma (4.2.3)(ii) we know that the fact ω −1 (α) < 0 is equiv-
alent to saying that G−α fixes e(ω). It follows that L(α).e(ω) =
Gα .e(ω). Since Gα ⊆ B we know that Gα .e(ω) ⊆ X(ω) and hence
e(sα ω) ∈ X(ω). But this implies that X(xα ω) = B.e(sα ω) ⊆
X(ω). If ω −1 (α) > 0, then (sα ω)−1 (α) = ω −1 (−α) < 0 and hence
X(ω) = X(xα (xα ω)) ⊆ X(sα ω).
(ii) Let θ ∈ W be a representative of ω. If ω −1 (α) ∈ R(Q), then
θ −1 (α) = β ∈ R(Q). Now sβ = θ −1 sα θ ∈ WQ and hence θ ≡
sα θ mod WQ . It follows that sα ω ≡ ω mod WQ and X(sα ω) =
X(ω). On the other hand, if X(sα ω) = X(ω), then e(sα ω) = e(ω).
Hence, α ∈ N (ω) ⇔ α ∈ N (sα ω). But θ −1 (α) = −(sα ω)−1 (α).
This implies immediately that θ −1 (α) ∈ R(Q). Q.E.D.
4.2.7 Corollary
Let α ∈ S and ω ∈ W/WQ such that ω −1 (α) 6∈ R(Q). (Note: R(Q) = ∅
if Q = B.)
(i) ω −1 (α) > 0 ⇔ dim X(sα ω) = dim X(ω) + 1.
(ii) ω −1 (α) < 0 ⇔ dim X(sα ω) = dim X(ω) − 1.
4.2.8
For α ∈ S denote by P (α) the minimal parabolic subgroup of G generated
by B and G−α .
Recall that the quadruple (G, B, NorG T, {sα | α ∈ S}) forms a Tits
system and T (1) is one of the axioms of Tits system (see e.g. [Hu], §29).
On the other hand, we could have derived Lemma (4.2.8) from T (1).
4.2.9
Let α ∈ S and denote by P (α) the corresponding minimal parabolic
subgroup of G and let L(α) be its semisimple part (see (4.2.5) and
(4.2.8)). Denote by B(α) the Borel subgroup of L(α) containing Gα .
Let ω ∈ W/WQ . We have a canonical action of B(α) on L(α) × X(ω)
given by:
116 4. Schubert varieties in G/Q
Definition Denote by Z(ω, α) the bundle L(α) ×B(α) X(ω) with fibre
X(ω) associated to the principal fibration L(α) → L(α)/B(α) ≃ P−1 .
4.2.10
Let α ∈ S and τ ∈ W/WQ such that τ −1 (α) 6∈ R(Q) and τ −1 (α) < 0.
Denote sα τ by ω. By Lemma (4.2.8), we have a canonical morphism
ρ : P (α) × X(ω) → X(τ ).
ρ
P (α) × T (ω) X(τ )
Z(ω, α)
4.2.11
Since the canonical map φ : L(α) × X(ω) → X(τ ) factors through
Z(ω, α), we get as an immediate consequence:
4.2. Basic properties 117
4.2.12 Lemma
Let α ∈ S and τ ∈ W/WQ such that τ −1 (α) < 0 and τ −1 (α) 6∈ R(Q).
Denote sα τ by ω. If e(θ) ∈ X(τ ) such that e(θ) 6∈ X(ω), then L(α).e(θ)
meets X(ω) at the unique point e(sα θ).
4.2.13 Lemma
Let ω1 , ω2 ∈ W/WQ and α ∈ S such that ω2−1 (α) 6∈ R(Q) and ω2−1 (α) <
0. Assume that X(ω1 ) ⊆ X(ω2 ). If X(ω1 ) 6⊆ X(sα ω2 ), then X(sα ω1 ) ⊆
X(ω1 ) and X(sα ω1 ) ⊆ X(sα ω2 ), i.e. in the second case we get the
following diagram of inclusion
X(ω2 )
X(sα ω2 )
X(ω1 )
X(sα ω1 )
4.3.1 Lemma
Let ω ∈ W/WQ and let ω ≡ s1 . . . . .sr mod WQ be a reduced decom-
position. Then ω −1 (α1 ), (s1 ω)−1 (α2 ), . . . (sr−1 . . . . .s1 ω)−1 (αr ) are not
elements of R(Q).
4.3.2 Lemma
Let ω ∈ W/WQ and let ω ≡ s1 . . . . .sr mod WQ be a reduced decompo-
sition. Let θ1 = α1 , θ2 = s1 (α2 ), . . . , θr = sr−1 . . . . .s1 (αr ). If α > 0
such that ω −1 (α) 6∈ R(Q) and ω −1 (α) < 0, then α = θi for some
i ∈ {1, . . . , r}.
Proof. By section (4.2.2) we see that our hypothesis implies (s1 . . . . .sr )−1 (α) <
0 and (s1 . . . . .sr )−1 (α) 6∈ R(Q). Hence, there exists an i ∈ {1, . . . , sr }
4.3. Reduced decompositions 119
such that s1 (α) > 0, . . . , si−1 . . . . .s1 (α) > 0, but si . . . . .s1 (α) < 0.
Now Lemma (4.1.4) implies that αi = si−1 . . . . .s1 (α) and hence, α =
s1 . . . . .si−1 (αi ).
4.3.3 Lemma
Let ω ∈ W/WQ . Then dim X(ω) = ℓQ (ω).
4.3.4
We use the same notations as in Lemma (4.3.2).
4.3.5 Corollary
Let ω ∈ W/WQ and let ω ≡ s1 . . . . .sr mod WQ be a decomposition. The
following are equivalent:
(ii) ω −1 (α1 ) 6∈ R(Q), ω −1 (α1 ) < 0; (s1 ω)−1 (α2 ) 6∈ R(Q), (s1 ω)−1 (α2 ) <
0; . . . ; (sr−1 . . . . .s1 ω)(αr ) 6∈ R(Q), (sr−1 . . . . .s1 ω)−1 (αr ) < 0.
(ii) ⇒ (i): Since (si . . . . .s1 ) ≡ si+1 . . . . .sr mod WQ , we know that
(si+1 . . . . , sr )−1 (αi+1 ) < 0. Hence, we get a chain of Schubert varieties
X(sr ) ⊆ X(sr−1 sr ) ⊆ . . . ⊆ X(s1 . . . . .sr ) (Lemma (4.2.6) such that
X(si−1 . . . . .sr ) is of codim 1 in X(si . . . . .sr ). Hence r = ℓQ (ω). Q.E.D.
4.3.6 Corollary
Let ω, τ ∈ W/WQ such that X(τ ) ⊆ X(ω). There exists ω1 , . . . , ωℓ ∈
W/WQ such that ω1 ≡ ω, . . . , ωℓ ≡ τ mod WQ and X(ωi ) ⊆ X(ωi−1 ) is
of codim. 1.
X(ω)
X(s1 ω)
X(τ )
X(s1 τ )
4.3. Reduced decompositions 121
4.3.7 Lemma
If ω ∈ W/WQ and ω ≡ s1 . . . . .sr mod WQ is a decomposition, then there
exists a sequence 1 ≤ i1 < · · · < iℓ ≤ r such that ω ≡ si1 . . . . .siℓ mod WQ
is a reduced decomposition.
4.3.8
Recall that we have defined a partial order on W/WQ : If ω1 , ω2 ∈
W/WQ , then we say ω1 ≤ ω2 if and only if X(ω1 ) ⊆ X(ω2 ). We defined
ω1 to be a subword of ω2 if there exists a reduced decomposition ω2 ≡
122 4. Schubert varieties in G/Q
(i) ω1 ≤ ω2
(ii) ω1 is a subword of ω2 .
X(ω2 )
X(ω1 )
X(τ )
X(s1 ω1 )
Remark
4.3.9 Corollary
Let ω1 , ω2 ∈ W/WQ be such that X(ω1 ) is of codim. 1 in X(ω2 ). Then
ω1 = sβ ω2 mod WQ for some positive root β.
4.3.10
Let Q1 , Q2 be two parabolic subgroups of G such that Q1 ⊇ Q2 ⊇
B. Denote by η : G/Q2 → G/Q1 the canonical projection. To avoid
124 4. Schubert varieties in G/Q
(i) the map XQ2 (τ min ) → XQ1 (ω) is birational and if ω ≡ s1 . . . . .sr mod WQ1
is a reduced decomposition then τ̃ min = s1 . . . . .sr is a representa-
tive of τ min in W.
(ii) ℓQ2 (τ̃ min .σ) = ℓQ2 (τ min ) + ℓQ2 (σ), ∀ σ ∈ WQ1 .
(iii) ∀ζ ∈ W/WQ2 such that η(XQ2 (ζ)) = XQ1 (ω) we have τ min ≤ ζ ≤
τ max in W/WQ2 and ζ ≡ τ̃ min .σ mod WQ for some σ ∈ WQ1 .
Proof.
(ii) Let σ ∈ WQ1 and let σ ≡ t1 . . . . .tℓ mod WQ2 be a reduced decompo-
sition. Then τ̃ min .σ ≡ s1 . . . . .sr .t1 . . . . .tℓ mod WQ2 is a decomposi-
tion. By Lemma 4.3.7, we know that we get a reduced decomposi-
tion of τ̃ min .σ by dropping certain elements in that decomposition.
But since the decomposition ω ≡ s1 . . . . .sr mod WQ1 is reduced
and t1 . . . . .tℓ ∈ WQ1 , we see easily that the decomposition of τ min σ
has to be reduced and hence ℓQ2 (τ̃ min .σ) = ℓQ2 (τ min ) + ℓQ2 (σ).
(iii) Denote by σ0 the unique element of WQ1 such that σ0 (R+ (Q1 )) =
R− (Q1 ).
Let MQ1 denote the semisimple part of Q1 and denote by BQ1 the
Borel subgroup of MQ1 corresponding to R+ (Q). The Schubert
variety in MQ1 /BQ1 corresponding to σ0 is MQ1 /BQ1 and hence
4.3. Reduced decompositions 125
(iv) The preimage η −1 (XQ1 (ω)) consists of all Schubert varieties XQ2 (ζ)
such that η(XQ1 (ζ)) = XQ1 (ω). They are all contained in XQ2 (τ max )
and by construction η(XQ2 (τ max )) = XQ1 (ω).
4.3.11
Let S = {α1 , . . . , αr } be a basis of the root system Φ of G. Denote by Pi
the maximal parabolic subgroup of G such that SPi = S − {αi }. Denote
by Q the parabolic subgroup Pi ∩ Pi+1 ∩ . . . ∩ Pn of G. For τ ∈ W/WQ
denote by τj , j ≥ i, the canonical image of τ in W/WPj .
4.3.12
We use the same notations as before. For j = i, . . . , n denote by pj the
canonical morphism pj : G/Q → G/Pj .
We will use the same notations as in the sections before. Let τ ∈ W/WQ
and let X(τ ) be the corresponding Schubert variety in G/Q. In this
section we are going to prove that X(τ ) is smooth of codim. 1 and that
the normalization map π : X̃(τ ) → X(τ ) is bijective.
4.4.1
Let α ∈ S, τ ∈ W/WQ such that τ −1 (α) 6∈ R(Q) and τ −1 (α) < 0. Denote
by P (α) the minimal parabolic subgroup of G generated by G−α and
B, and let L(α)(≃ SL2 (k) or P SL2 (k)) denote its semisimple part. Let
B(α) be the Borel subgroup of L(α) containing Gα . Denote sα τ by ω.
Recall that we denoted the bundle L(α) ×B(α) X(ω) by Z(ω, α) and that
the canonical map Ψ : Z(ω, α) → X(τ ) is surjective (Corollary (4.2.11)).
4.4.2 Lemma
The map Ψ : Z(ω, α) → X(τ ) (b 7→ b.e(ω)) is birational.
Proof. 4 Recall that Bωu = {ΠGα | α > 0, ω −1 (α) 6∈ R(Q), ω −1 (α) <
0}. Now Bωu contains all subgroups Gα , which are not contained in the
stabilizer of e(ω). If (B −)uω = {ΠGα | α < 0, ω −1 (α) −1
6∈ R(Q), ω (α) <
Q Q
0}, then (B − )uω .Bωu = ω α<0 Gα ω −1 . Now α<0 Gα .e(id)
α6∈R(Q) α6∈R(Q)
is open and dense in G/Q and hence, (B − )uω .Bωu .e(w) is open and dense
in G/Q. Furthermore, the map Ψ : (B − )uω .Bωu → G/Q, b 7−→ b.e(ω)
is injective and the corresponding tangent map is also injective. Now
τ −1 (α) 6∈ R(Q) and τ −1 (α) < 0. Hence, ω −1 (−α) 6∈ R(Q) and ω −1 (α) <
0. Since C(ω) ≃ Bωu (See Lemma 4.2.4) and G−α ⊆ (B − )uω , it follows
that Ψ | G−α × C(ω) → X(τ ) ⊆ G/Q is injective, the tangent map is
injective and the image is dense. Note that G−α ×C(ω) can be identified
with an open dense subset of Z(ω, α). Denote by U the open subset of
4.4. The normalization map 127
4.4.3 Lemma
Let α ∈ S and τ ∈ W/WQ such that τ −1 (α) 6∈ R(Q) and τ −1 (α) < 0.
Denote sα τ by ω and denote by Ψ : Z(ω, α) → X(τ ) the canonical map
as in Lemma 4.4.3, as in Lemma (4.2.10) and (4.2.11). Let e(θ) ∈ X(τ )
for some θ ∈ W/WQ .
4.4.4 Corollary
]) → X(τ ) is bijective.
The normalization map π : X(τ
π̃
π
Z̃(ω, α) Z(ω, α)
η
e
Z(ω, α)
π̃ Spec π̃∗ (OZ̃(ω,α) )
X(τ )
Now Spec π̃∗ (ÕZ̃(ω,α) ) is a normal variety and the fibre of ζ at a point
x ∈ X(τ ) contains as many points as the connected components of the
fibre of π̃ over x. Since the fibres of π̃ are connected, ζ is bijective.
Since ζ factors through the normalization map, the normalization map
is bijective too. Q.E.D.
4.5. Chevalley’s multiplicity formula 129
4.4.5 Corollary
4.5.1
Let ω0 ∈ W denote the uniquely determined element in W such that
ω0 (φ+ ) = φ− . We know that X(ω0 ) = G/B (Lemma (4.2.4)).
Lemma
(i) If X(ω) is of codim. 1 in G/B, then ω = sα ω0 for some α ∈ S.
Proof.
(i) For α ∈ S, we have either sα ω > ω or sα ω < ω. If sα ω < ω, then
X(ω) is of codim. 1 in X(sα ω), so that sα ω = ω0 and we are done.
Assume that sα ω < ω, ∀ α ∈ S. This would imply that X(ω) is
stable under all the minimal parabolic subgroups P (α), α ∈ S.
But then X(ω) would be stable under G and hence, ω = ω0 which
contradicts our assumption that X(ω) is of codim. 1 in G/B.
Q.E.D.
4.5.2
Denote by B − the opposite Borel subgroup ω0 Bω0 . Let ω ∈ W and de-
note the closure of the orbit B − .e(ω) endowed with the canonical struc-
ture of a reduced subscheme of G/Q by Y (ω). Note that B − .e(ω) =
(ω0 Bω0 ).e(ω) = ω0 B.e(ω0 ω) and hence Y (ω) = ω0 X(ω0 ω).
Since −ω0 (β) ∈ φ+ we know that e(ω0 τ ) ∈ B.e(ω0 ω) = X(ω0 ω). But
this implies that X(ω0 τ ) ⊆ X(ω0 ω) and ω0 ω ≥ ω0 τ. Since dim X(ω0 ω) =
#N (ω0 ω) = #{φ+ − N (ω)} = #{φ+ − N (τ )} + 1 = #N (ω0 τ ) + 1, it
follows that the codim of X(ω0 τ ) in X(ω0 ω) is 1. Q.E.D.
4.5.3 Corollary
X(ω) ⊆ X(τ ) ⇔ Y (ω) ⊇ Y (τ ) and the codimension of X(ω) in X(τ ) is
the codim of Y (τ ) in Y (ω).
Proof. This follows from Lemma (4.5.2) and the fact that Y (ω) =
ω0 X(ω0 ω). Q.E.D.
4.5.4 Lemma
X(ω) ∩ Y (ω) = e(ω) and the intersection is transversal.
Proof. Obviously we have e(ω) ∈ X(ω)∩Y (ω). Let Tx X denote the tan-
gent space to a scheme X at x ∈ X. Since Te(ω) G/B ≃ {⊕(Lie G)α | α ∈
φ and ω −1 (α) < 0}, Te(ω) X(ω) ≃ {⊕(Lie G)α | α > 0 and ω −1 (α) < 0}
and Te(ω) Y (ω) ≃ {⊕(Lie G)α | α < 0 and ω −1 (α) < 0}, we get :
Te(ω) G/B = Te(ω) X(ω)⊕Te(ω) Y (ω); the intersection is hence transversal
at e(ω) and e(ω) is an isolated point in the intersection. The intersec-
tion is T -stable and by Borel’s Fixed Point Theorem, every irreducible
component of the intersection contains a T -fixed point. Hence, it is suf-
ficient to show that e(ω) is the only T -fixed point in the intersection. If
e(θ) ∈ X(ω) ∩ Y (ω) is a T -fixed point, then Be(θ) = X(θ) ⊆ X(ω) and
B − e(θ) = Y (θ) ⊆ Y (ω). Hence, by Corollary (4.5.3), θ = ω. Q.E.D.
132 4. Schubert varieties in G/Q
4.5.5 Lemma
If ω 6= τ, but dim X(ω) = dim X(τ ), then X(ω) ∩ Y (τ ) = ∅.
4.5.6
Let X(ω) ⊂ X(τ ) be of codim. 1. By Corollary 3.9 we know that ω ≡
sβ τ for some β > 0 and hence, L(β).e(ω) = G−β e(ω) ⊆ X(τ ) (Lemma
4.2.5). Since Y (ω) ⊇ Y (τ ) (Lemma 4.5.2), we get L(β).e(ω) ⊆ Y (ω) and
hence, L(β).e(ω) ⊆ Y (ω) ∩ X(τ ). Denote L(β).e(ω) by P1 (ω, τ ). (Recall
that L(β).e(ω) ≃ P1 by Lemma (4.2.4).)
4.5.7
Let S = {α1 , . . . , αr } be a basis of the root system φ of G and de-
note by ̟1 , . . . , ̟r the corresponding fundamental weights (see 4.1.8).
4.5. Chevalley’s multiplicity formula 133
4.5.8
Let Q ⊃ B be a parabolic subgroup of G. Denote the Weyl group of
Q by WQ . Let φ0 ∈ W be the element such that φ0 (φ+ ) = φ− . Denote
its canonical image in W/WQ by ω0 . Every Schubert variety of codim
1. in G/Q can be written as X(sk ω0 ), αk ∈ S (same arguments as
in Lemma 4.5.1). Let X(τ ) ⊆ G/Q be a Schubert variety such that
X(τ ) is not contained in X(sk ω0 ). As in the case Q = B, we know that
134 4. Schubert varieties in G/Q
P
t
[X(τ )].[X(sk ω0 )] = di [(X(sβi τ ))], where βi > 0, X(sβi τ ) ⊆ X(τ ) of
i=1
codim. 1 (Corollary (4.3.9)) and di ∈ N is called the intersection multi-
plicity. Denote by abuse of notation the minimal representative of τ in
W also by τ. Since X(sk φ0 ) → G/B is the preimage of X(sk ω0 ) ֒→ G/Q
under the projection G/B → G/Q, we get as an immediate consequence
of the projection formula ([S], V-29) the same formula as before:
(̟k ),βi )
Corollary di = 2(τ(β i ,βi )
4.5.9 Corollary
If G = SLn+1 (k), then di = 1, ∀ i = 1, . . . , n.
Proof. This follows immediately from the fact that every positive root
Pn
β ∈ φ+ can be written as β = ni αi such that ni = 0 or ni = 1 ∀ i =
i=1
1, . . . , n (see e.g. [HU2], . 64). Q.E.D.
4.6.1
Let Q1 , Q2 be two parabolic subgroups of G containing B such that Q1 ⊃
Q2 . Denote the set of minimal representatives of W/WQ1 in W/WQ2 (see
(4.3.10)) by Ω(Q1 , Q2 ).
(ii) (dual version) Let ω2 ∈ WQ1 . There exists a ω1 ∈ WQ1 such that
σ1 ω1 ≥ σ2 ω2 in W/WQ2 and ω1 is minimal for this property and
4.6. Deodhar’s Lemma 135
4.6.2
Let G = SLn+1 (k). Let S = {α1 , . . . , αn } be a basis of the root system φ
of G and let B be the corresponding Borel subgroup. Denote by Pi the
maximal parabolic subgroup of G such that SPi = S − {αi }. Denote by
Qi the parabolic subgroup Pi ∩ Pi+1 ∩ . . . ∩ Pn of G. Recall that a Young
diagram of type a(i) = (ai , ai+k , . . . , an ), aj ≥ 0, ∀ j = 1, . . . , n, is an
element θ ∈ (W/WPi × . . . × W/WPi ) × . . . × (W/WPn × . . . × W/WPn ).
| {z } | {z }
ai an
Let ω ∈ W/WQi and let X(ω) ֒→ G/Qi be the corresponding Schu-
bert variety. Denote by pj the canonical morphism W/WQi → W/WPj ,
j = i, . . . , n. Recall that θ = (θi,1 , . . . , θi,ai , θi+1,1 , . . . , θn,an ) is said to be
a Young diagram on X(ω) if pj (ω) ≥ θj,kj , ∀ j = 1, . . . , r, kj = 1, . . . , an .
Recall that we define a Young diagram to be standard Q with respect to
X(ω) if there exists a defining chain φ for θ, i.e., ∃ φ ∈ nj=1 (W/WQi )aj ,
136 4. Schubert varieties in G/Q
4.6.3 Corollary
Let θ be a standard Young diagram of type a(i) on X(ω) ֒→ G/Qi .
There exists a unique maximal defining chain φ+ and a unique minimal
defining chain φ− for θ such that if ψ is any defining chain for θ, then
φ+ −
j,kj ≥ ψj,kj ≥ φj.kj , i ≤ j ≤ n, 1 ≤ kj ≤ aj .
Proof.
Case 1: Maximal defining chain
Let X be a defining chain for θ. If X(ω) = G/Qi , define φ+ i,1 to be the
+
maximal representative of θi,1 . We have φi,1 ≥ ψi,1 for any defining chain
ψ of θ and φ+ i,1 is unique. If X(ω) 6⊆ G/Qi , denote by σ ∈ W/WQi a
minimal representative of pi (ω) ∈ W/WPi and denote by σi,1 ∈ W/WQi
a minimal representative of θi,1 . Since ω ≥ Xi,1 , we know that σ ≥ σi,1 .
Thus ω ≡ σ.ζ mod WQi for some ζ ∈ WPi and by Deodhar’s Lemma
+ + +
there exists a ζi,1 ∈ WPi such that ω ≥ σi,1 ζi.1 and ζi,1 is maximal for
that choice and unique modulo WQ . Denote σi,1 ζi,1 by φi,1 . Then φ+
+ +
i,1 is
a lift of θi,1 , ω ≥ φi,1 , φi,1 ≥ ψi,1 for any defining chain ψ for θ and φ+
+ + +
i,1
is unique for these properties. Now assume that we have already con-
structed φ+ + +
i,1 , φi,1 , . . . , φj,k . First assume that k < aj . Denote by σj,k a
minimal representative of θj,k = pj (φ+ j,k ) = pj (Xj,k ) and let σj,k+1 denote
a minimal representative of θj,k+1 = pj (Xj,k+1 ). Since Xj,k ≥ Xj,k+1 ,
we know that σj,k ≥ σj,k+1 . Since φ+ +
j,k ≡ σj,k .ζj,k mod WQ there ex-
+
ists a Deodhar’s Lemma a ζj,k+1 ∈ WPi such that φ+ +
j,k ≥ σj,k+1 .ζj,k+1
+
and ζj,k+1 is maximal for this property and is unique modulo WQ . De-
+
note σj,k+1 .ζj,k+1 by φ+ + + +
j,k+1 . Then φj,k+1 is a lift of θj,k+1.φj,k ≥ φj,k+1 ,
+ +
φj,k+1 ≥ ψj,k+1 for any defining chain ψ and φj,k+1 is unique for this
property. Now assume k = aj . Denote by σ a minimal representa-
tive of Pj+1 (φ+ j,aj ) and let σj+1,1 denote a minimal representative of
θj+1,1 in W/WQ . Since φ+ j,aj ≥ ψj,aj ≥ Xj+1,1 , we know that σ ≥ σi+1 .
+
Hence by Deodhar’s Lemma we can find a ζj+1,1 ∈ WPj+1 such that
+ + +
φj,aj ≡ σ.ζ ≥ σj+1,1 .ζj+1 in W/WQ2 and ζj+1 is maximal for this prop-
4.6. Deodhar’s Lemma 137
is unique for this property. Now let φ+ denote (φi,1 , φi,2 , . . . , φn,an ). By
construction φ+ is a defining chain for θ and φ+ is maximal.
Cohen-Macaulay Properties
By V. Lakshmibai
Part I.
(L-1) If two maximal chains m, m′ have the same first d-edges, then the
corresponding labels of the first d-edges are the same (here, we think of
the element λi (m) as being associated with the edge xi−1 → xi ).
( 3 2 1 ) = s1 s2 s1 .
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 139
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8
140 Appendix A
w = s1 s2 s1
s 2 s 1 = τ2 • • • φ2 = s1 s2
s 1 = τ1 • • φ1 = s2
•
τ0 = id
1 • 1 • •3 •3
• • • •
3 1
2 2
• • • •
3 •2 1 • • 2
•
where
One may proceed as in [B-W1] to prove that the above total ordering
gives a shelling for △(P ).
(†) 0 → L−1 → OX → OH → 0
0 → OH → OY ⊕ OZ → OY ∩Z → 0
and the cohomology exact sequence
Now tensoring (†) by L(−π) and writing down the cohomology exact
sequence, we have
Proof. (By induction on dim X(τ ) ). Let α be a simple root such that
τ > τ sα . Let P = Pα̂ , the maximal parabolic subgroups corresponding
to α. Let X(τ ) be the projection of X(τ ) under G/B → G/P and let
H(τ ) = X(τ ) ∩ {p(τ ) = 0}. We now claim that
Proof. Obvious.
(3) J(Rt ) = ∅.
Proof. The poset H(τ ) is lexicographically shellable (cf. Part I and also
[B-W1]). Hence the order complex △(H(τ )) is shellable. The shellabil-
ity of △(H(τ )) implies that k{H(τ )} is Cohen-Macaulay (one may use
Mayer-Vietoris sequence or [R]).
(1) for 1 < s < t − 1, there is a flat deformation Rs whose special fiber
is Rs+1 and general fiber is Rs
(3) J(Rt ) = ∅.
(1) I + J = I ∪ J
(2) I ∩ J = I ∩ J
The proof is quite easy (for a proof, one may also refer to [E]).
152 Appendix A
Pr
Now each I(τi ) ⊂ I(Z) (obviously), 1 ≤ i ≤ r. Hence I(τi ) ⊂
P i=1
I(Z). On the other hand, let f = at ft ∈ I(Z), where each ft is a
t
maximal standard on G/B but not on X(wj ), 1 ≤ j ≤ s (since I(Z) =
∩I(wj )).
(p(τ )) = I ∩ J
154 Appendix A
To prove the claim (†), we first observe that Z admits a nice index-
ing, say Z = ∪si=1 Xi (this follows essentially from the fact that such a
result holds for a similar union in the Grassmannian. For details see
[H-L]). Now we use induction on s and on dim X(τ ). When s = 1,
Rdef (Z) = Rdef (Xi ). Hence (by induction on dim X(τ )) Rdef (X1 ) is
Cohen-Macaulay of dimension = dim X1 + r (where, recall, r is given
by Q = ∩rt=1 Pit ). Now we may assume (by induction on dim X(τ ))
that the result is true for a union ∪λ X(λ), where the union runs over
some of the λ’s belonging to Bw , dim X(w) < dim X(τ ). Hence writing
s−1
Z = Y ∪X, where Y = ∪i=1 Xi and X = Xs , we have I(Z) = I(Y )∩I(X)
and I(Y ) + I(X) = I(Z ) (cf. Lemma 22) where Z ′ = Y ∩ X further
′
Proof.
A. The proof is by decreasing induction on the dimension of X(ω). If
ω = ω0 , the unique element of the Weyl group such that ω0 (φ+ ) =
φ− , then X(ω0 ) = G/B; hence X(ω0 ) is smooth and in particular,
normal (see Chapter 4 (4.1.3) and (4.2.4)).
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 157
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8
158 Appendix B
ν ψ
a) Z̃(ω, α) Z(ω, α) X(τ )
ψ̃
ν
b) Z̃(ω, α) Z(ω, α)
π
π̃
P1
0 → Vm → Ṽm → Wm → 0, m ≥ m0 .
that
H 0 (P1 , Wm ) = 0 for m ≥ m0 .
′
0 → Wm = H 0 (X(ω), G(m)) → Wm = H 0 (X(ω), G(m)),
C. Let G1′ be the torsion subsheaf of the Q−OY1 -module G1 . Note that
Y1 is irreducible and Q-stable. Hence Y1 is a Q-stable Schubert
subvariety X(θ) of X(ω). The sheaf G1′ is a Q − OY1 submodule
of G1 . It is obvious, that if G1′ 6= (0), then it suffices to prove the
lemma for G1′ . Now observe that the support of G1′ is a properly
contained closed subscheme Y1′ of Y1 , and hence it suffices to prove
the lemma for the restriction of G1′ to Y1′ . By repeating the pro-
cedure described in B, we get a Q − OY2 -module G2 , G2 6= (0),
such that Y2 is a Schubert variety properly contained in Y, and it
suffices to prove the lemma for G2 . If we repeat this procedure by
taking the torsion subsheaves G2′ , G3′ . . . , etc., such that G2′ 6= (0),
G3′ 6= (0), . . . , etc., we get a strictly decreasing chain of Schubert
varieties. Since there are only finitely many such varieties, there
exists an n ≥ 0 such that Gn 6= (0) and Gn is torsion free on Yn .
Hence it is sufficient to prove the lemma when F is a coherent
sheaf which “lives” on a Schubert variety X(θ) ⊆ X(ω) such that
F considered as a sheaf on X(θ) is torsion free.
then H 0 (P1 , Wm
′ ) 6= 0 for m ≫ 0. The action of B on G(m) (for
for m ≫ 0. Now
0 is exact for m ≥ 0. This result and the normality of the Schubert vari-
eties imply the validity of Demazure’s character formula for all dominant
weights in arbitrary characteristic.
Appendix C
1 Introduction
Hodge gave also a similar result for the flag variety SL(n)/B, where B is
the Borel subgroup of SL(n), and for certain (but not all) Schubert sub-
varieties of SL(n)/B. The aim of Standard Monomial Theory (written
briefly as SMT) which we have pursued in a series of papers (along with
Musili) has been to generalize the above work of Hodge in the context
of groups which are more general than SL(n).
Recall the Borel-Weil Theorem, namely, when G is a semi-simple,
simply-connected algebraic group (over C), every finite-dimensional ir-
reducible G-module is G-isomorphic to H 0 (G/B, L), where L is a line
bundle on G/B. Hence giving nice bases of finite-dimensional irreducible
G-modules is a part of SMT. Our results on SMT provide a very satis-
factory generalization of the work of Hodge when G is a classical group
(cf. [43], [33], [26], [27], [30]). Such a generalization has also been done
1
Proceedings of the Hyderabad Conference on Algebraic Groups, Published for
the National Board for Higher Mathematics, Manoj Prakashan, First Edition, 1991
May, ISBN No: 81-231-0090-6.
2
partially supported by NSF grant No. DMS-8701043
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 165
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8
166 Appendix C
for the exceptional groups G2 and E6 (cf. [19], [28]). A beginning has
also been done for Kac-Moody groups (cf. [32], [20]). There is also a
general conjecture (due to Lakshmibai, cf. [32] and §4 below) which
seems extremely plausible since it holds in all the cases where SMT has
been established (including the Kac-Moody case).
The main references for this section are §5, [27] and §3, [30].
Let G be a semi-simple, simply connected algebraic group over an al-
gebraically closed field k ( more generally we could work with a Cheval-
ley group over Z). We fix a maximal torus T and a Borel subgroup
B, B ⊃ T . Relative to T and B, we talk of roots, weights etc., and we
denote by W (G) or simply W (= N (T )/T, N (T ) normalizer of T ) the
Weyl group. We write ∆ (resp. ∆+ )= system of roots (resp. system of
positive roots), S = set of simple roots {α1 , . . . , αℓ }, ℓ = rank of G. We
denote by ( , ) a W -invariant scalar product on hom(T, Gm ) ⊗ Q and
write in the usual manner:
2(λ, α)
(λ, α∗ ) = , α∈∆
(α, α)
known that L is very ample (cf. Prop. 5.7, [27]), so that [H] could be
referred to as the “hyperplane class”. It can be shown that (cf. [43])
X
X(τ ) · [H] = di X(φi ), di > 0
2.2 Theorem (First basis theorem for classical type): There exists a
canonically determined basis {p(τ, φ)} of H 0 (G/P, L), indexed by the
admissible pairs in W/WP , such that
(i) p(τ, φ) is a weight vector (under T ) of weight equal to − 12 (τ (ω) +
φ(ω))
(ii) the restriction of p(τ, φ) to a Schubert variety X(θ) is not iden-
tically zero if and only if θ ≥ τ .
168 Appendix C
2.3. Remark We write p(τ ) = p(τ, τ ). Note that the weight of p(τ ) =
−τ (ω), so that it is the τ translate τ p(id) of the lowest weight vector
p(id). Hence {p(τ )} is the set of all the extremal weight vectors.
VZ = U Z e
The basis elements p(τ, φ) of Theorem 2.2 are precisely the elements
P (τ, φ)⊗ 1 in the k-vector space V ∗ ⊗ k (V ∗ dual of VZ ), where {P (τ, φ)}
is the basis of V ∗ dual to {Q(τ, φ)}.
The proof Theorem 2.2′ is again done by induction on dim X(τ ),
taking τ = sα φ (X(φ) a moving divisor in X(τ )), and assuming Theorem
2.2′ for X(φ). Now guided by (ii) and its proof outlined above, we define
the “new basis” elements indexed by the admissible pairs on X(τ ), which
do not live on X(φ) as follows:
Let δ1 = (λ1 , µ1 ) be an admissible pair on X(φ) such that (δ1 (ω), α∗ ) >
0 and φ 6≥ sα λ. Then
Then one checks that the {Q(λ, µ)} which live on X(φ), together with
the new ones defined above, satisfy the properties of Theorem 2.2′ .
Then we have
Q(λ, µ) = X−α1 . . . X−αr Q(u)
It can be shown (cf. Remark 3.8, [30]) that Q(λ, µ) is independent of
the choice of the “chain” connecting λ and µ above. We see then that
the Q(λ, µ) are determined canonically, once the choice of the extremal
vectors {Q(µ)} has been made. We note that {Q(µ)} are determined
up to ± depending on the choice of the highest weight vector e ∈ V .
The main references for this section are [27] and Theorem 9.6, [30].
We keep the notations as in §2.
(τ1 , φ1 ), . . . , (τm , φm )
τ1 ≥ φ1 ≥ τ2 ≥ φ2 ≥ · · · ≥ τm ≥ φm
3.5 Remark More generally, we could work with G/Q and its Schubert
subvarieties, where Q is a parabolic subgroup such that if {Pi }, 1 ≤ i ≤
ℓ′ , denotes the set of all maximal parabolic subgroups containing Q then
Pi is of classical type. One has then an assertion similar to Theorem 3.4
above.
Idea of proof of Theorems 3.2 and 3.4
Theorem 3.2 is a particular case of Theorem 3.4 if we formulate
Theorem 3.4 in the more general form as in Remark 3.5, above. We
shall limit ourselves mainly to giving an idea of proof of Theorem 3.2.
This proof generalizes also for Theorem 3.4 but its technically more
complicated.
(i) a1 F1 + a2 F2 + · · · + ar Fr = 0, ai ∈ k, ai 6= 0, 1 ≤ i ≤ r
To prove (iii), one observes that the zero set of p(τ ) on X(τ ) is precisely
the union H(τ ) of all the codimension one Schubert varieties of X(τ )
and that p(τ, λ)2 vanishes with bigger order than that of p(τ ) on the
irreducible components of H(τ ). Then by the normality of X(τ ), we see
that p(τ, λ)2 /p(τ ) is regular on X(τ ), and since its weight is equal to
that of p(λ), it follows that this is equal to p(λ) (all by Theorem 2.2).
In a similar manner, we get the relation:
p(τ, λ1 )p(τ, λ2 ) = p(τ )F, F 2 = p(λ1 )p(λ2 ),
(iv)
on X(τ ), F regular on X(τ )
Now we multiply the relation (ii) by p(τ, λ1 ), cancel p(τ ) (using (iii) and
(iv) above) and restrict to X(λ1 ). Then we get a relation saying that
distinct standard monomials on X(λ1 ) are linearly independent, which
leads to a contradiction.
One need not use the normality of X(τ ). This follows, à posteriori,
by a suitable induction argument.
One can define standard monomials on a union of Schubert varieties
in G/P and prove their linear independence.
To carry over the above argument of linear independence to the
“mixed case” i.e., for Schubert varieties or their unions in G/B (as in
Theorem 3.4 above), one uses the existence of the unique maximal (resp.
minimal) defining pair for a standard Young diagram, which follows from
certain lemmas due to V. Deodhar.
]
H(φ)red ∪ X(φ) = ∆
I(∆) = I(H(φ)red ) ⊗ C
(iii)′ M0 ⊂ K0 ⊂ · · · ⊂ KNi M0 = K0 ⊗ C
The filtrations (iii) and (iii)′ of the ideal sheaf of the reduced sub-
scheme ∆ of Zφ projecting on H(τ )red are the filtrations, mentioned
above, for deducing generations by standard monomials on X(τ ). To
give a very brief idea of this, let Zλj denote the closed subvariety of Zφ ,
defined by
One shows that the sheaf Kj /Kj−1 lives on Zλj ; in fact it is of the form:
We tensor (iii) (resp. (iii)′ ) by Lm (to be precise ψ ∗ (Lm )), split it into
short exact sequences and using the induction hypothesis (which imply
suitable vanishing theorems as well), we check that
Iτ = {1 ≥ pit /qit > pit−1 /qit−1 > · · · > pi1 /qi1 ≥ 0, µit+1 < µit < · · · < µi1 }
such that
1 ≥ nr /mr ≥ · · · ≥ n0 /m0 ≥ 0
4.1 Remark
Also, for a divisor X(φ) in X(τ ), m(φ, τ ) shall denote the multiplicity of
X(φ) in X(τ ).
The above conjecture has been verified to hold for the cases where a
standard monomial theory has been developed. In this section, we shall
briefly recall the results of [19], [20], [28], [32].
Exceptional Groups
Let us suppose that the fundamental weight ω is such that (ω, α∗ ) ≤ 3,
for α ∈ ∆+ . We have the following possibilities for Nθ,µ :
Standard Monomial Theory 179
(1) [(µi1 , µi2 ); (0)] or [(µi1 , µi2 ); (1)] (note that the corresponding vectors
are the extremal weight vectors eµi2 and eµi1 respectively).
(2) (µi1 , µi2 ); 12
(3) (µi1 , µi2 ); 31
(4) (µi1 , µi2 , µi3 ); 31 , 12
(5) (µi1 , µi2 , µi3 ); 13 , 23
(6) (µi1 , µi2 , µi3 ); 12 , 23
(7) (µi1 , µi2 , µi3 , µi4 ); 13 , 21 , 23
Iτ = {Nθ,µ , τ ≥ θ}
4.7 Definition A monomial p(Nθ1 ,µ1 )p(Nθ2 ,µ2 ) · · · p(Nθm ,µm ) is said to
be standard on X(τ ) if
τ ≥ θ 1 ≥ µ1 ≥ θ 2 ≥ · · · ≥ µm
The above results are proved in the same spirit as the theorems of
§2. We are required to write down more relations among the p(Nθ,ν )’s
to prove the linear independence of standard monomials is proved by
considering ψ : Z → X(τ ) (cf. §3) and chasing some exact sequences.
4.11 Remark The conjecture (in the beginning of this section) has been
verified to hold for the multiplicity 4 case also (cf. [25]). And there seems
no apparent difficulty in verifying it for the cases where the multiplicity
is 5 or 6 and thus extending the theory to these cases. (The details will
appear elsewhere.) Thus, it could be said (in view of the conjecture)
that the standard monomial theory is complete for semisimple groups.
The group SL dn
Let H = SL(n, k), k being the base field which we assume to be alge-
braically closed. Let A = k[t, t−1 ], A+ = k[t], A− = k[t−1 ]. Let D be
the maximal torus in H consisting of all upper triangular matrices. Let
N be the normalizer of D in H. The projection π + : A+ → k sending
t to 0, induces a map π + : H(A+ ) → H. Let B = (π + )−1 (B), W =
N (A)/D, G = H(A). We have a cellular decomposition
[
(*) G= BwB
w∈W
(1) λ1 ≥ λ1 ≥ · · · ≥ λr
182 Appendix C
4.14 Lemma (cf. [20], Lemmas 1.6 and 1.7). Let τ ∈ W P . Let βi , 1 ≤
i ≤ s + 1 < n be consecutive simple roots. Let (τ (ω), βi∗ ) = xi , 1 ≤ i ≤
s + 1, where
(i) x1 + x2 + · · · + xi > 0, 1 ≤ i ≤ s
τ0
m m2
1
τ1 τ2
m 1 + m2
m 1+ m2
m1 m2
τ4 τ3
m2 m1
τ5
τ0 θ2
θ1
m 2+ 1 m1 m2 m1 + 1
τ2
τ1
The map ψ : J → I
Let Λ be an admissible Young diagram. We shall define ψ(A) inductively,
in such a way that if ψ(Λ) = Nθ,µ , then θ = ρ(Λ) (cf.[20], for definition
of ρ(Λ)). If Λ = ∅, then we define ψ(Λ) = the identity element in W .
(a)
Let then Λ 6= ∅. Let QΛ = X−α QΛ′ (cf. [20], §2). Let ρ(Λ′ ) = φ, so that
ρ(Λ) = sα φ. Let ψ(Λ′ ) = Nθ′ ,µ′ (by induction hypothesis). Note that
θ ′ = φ. Let
I Let a = 1.
Standard Monomial Theory 185
Let
1 + nk−1 , if k is odd
xk =
1, if k is even
and
m + p − q, if k = 2q + 1
yk =
m + q, if k = 2q
Then proceeding as above, we have the following two possibilities:
(or)
B. (a) n2k+1 = n2k , 2k + 1 ≤ i
(b) nk /(p − k) < xk /yk , k ≤ i
If (A) holds, then we take r = s + 1, µt = sα λt , 0 ≤ t ≤ j; Nt =
nt , Mt = mt , 0 ≤ t < j, Nj = xj , Mj = yj , µt = λt−1 , j < t ≤
r + 1, Nt = nt−1 , Mt = mt−1 , j < t ≤ r.
If (B) holds, then the condition ni /(p − i) < xi /yi implies that
(xi ± ni )/(yi ± (p − i)) > ni /(p − i). Let
xi + n i
′
, if i is even
xi y i+p−i
=
yi′
xi − n i
, if i is odd
yi − (p − i)
sα λ i+1
λi
α
γ
λi+ 1
β
If ni+1 /mi+1 ≥ 1/(m + q), then we take r = s + 1, µt = sα λt , 0 ≤
t ≤ i + 1; Nt = nt , Mt = mt , 0 ≤ t ≤ i, Ni+1 = 1, Mi+1 = m + q, µt =
λt−1 , i + 2 ≤ t ≤ r + 1, Nt = nt−1 , Mt = mt−1 , i + 2 ≤ t ≤ r. Let then
ni+1 /mi+1 < 1/(m + q). This implies that βi+1 = β or β + α (since for
βi+1 = β + γ, we have mi+1 = m + q − 1 and ni+1 /mi+1 > 1/(m + q)).
(a) Let βi+1 = β.
We have mi+1 = m + p − q. Now the relation ni+1 /mi+1 ≥ ni /mi
implies that
ni+1 − 1 1
(∗∗) <
p−i−1 m+q
Further, we have
ni ni+1 − 1
(∗∗∗) ≤
p−i p−i−1
(since ni+1 − 1 ≥ ni (cf. (∗) above)). Thus we obtain (from (∗∗) and
(∗∗∗))
ni ni+1 − 1 1
≤ <
p−i p−i−1 m+q
(1) Let i + 2 = s + 1 or i + 2 < s + 1 and ni+2 /mi+2 ≥ 1/(m + q). We
take r = s + 1, µt = sα λt , 0 ≤ t ≤ i + 1; Nt = nt , Mt = mt , 0 ≤ t ≤ i,
188 Appendix C
ni+2 + 1 1
(!) <
m+p−q m+q
ni+1 − 1 ni+2 + 1
(!!) <
p−i−1 m+p−q
Nr /Mr ] where sα λi+1 is the head of a hexagon and Ni+1 /Mi+1 = 1/(m+
q) by
N0 Ni+3
(sα λ0 , . . . , sα λi+3 , λi+3 , . . . , λ); ≤ ··· ≤ ...
M0 Mi+3
where sα λi+3 is the head of a hexagon and Ni+3 /Mi+3 = 1/(m + q + 1).
Hence by repeating the above procedure as many times as required, it
is clear that we obtain the required CΛ .
This together with the fact that ni+1 /mi+1 > ni /(p − 1) (note that
mi+1 = m + q) ⇒ ni + 1 − ni+1 > ni ⇒ ni+1 < 1, which is not
possible. Hence the assumption that mi+1 = m + q is wrong and the
claim follows. Now the claim implies that mi+1 = p − i − 1. Hence the
relation x′i /yi′ > ni+1 /mi+1 ⇒
ni+1 n + i + 1 − ni+1
(∗) <
p−i−1 m+q+1
(∗∗) ni+1 ≥ ni
Now (∗) and (∗∗) ⇒ ni = ni+1 (since (∗) implies that ni + 1 − ni1 > 0).
Thus we obtain
ni ni+1 1
(∗∗∗) ≤ <
p−i p−i−1 m+q+1
Standard Monomial Theory 191
We take r = s + 1, µt = sα λt , 0 ≤ t ≤ i + 2; Nt = nt , Mt = mt , 0 ≤ t ≤
i + 1; Ni+2 = 1, Mi+2 = m + q + 1, µt = λt−1 , i + 3 ≤ t ≤ r + 1, Nt =
nt−1 , Mt = mt−1 , i + 3 ≤ t ≤ r.
We have N0 /M0 ≤ . . . ≤ Ni+2 /Mi+2 , Ni+3 /Mi+3 ≤ . . . ≤ Nr /Mr .
Further µi+2 is the head of a hexagon. Thus we are reduced t Subcase
1(a) (note that i + 1 is odd and Ni+2 = 1, Mi+2 = mm+q+1 ).
5 Applications
SMT gave such results for the first time (cf, [37], [8]). The proof is
always by induction on the dimension of the Schubert variety and the
reason why such a method could work is because SMT gives a hold
on the ideal of a Schubert variety, its hyperplane intersection, etc. At
present the best results in the direction (also valid for any semisimple
G) are proved by the methods of Frobenius splitting initiated by the
work of V. Mehta and A. Ramanathan (cf. [36]; see also [40], [41],
[42], [18]). Recall that Andersen and Haboush had earlier proved the
Kodaira type of vanishing theorems on G/B by Frobenius methods (cf.
[1], [13]). There is, however, an interesting relationship between Cohen-
Macaulayness and combinatorics, which SMT gives in many cases. We
shall now describe this briefly.
Yλ Yµ = 0; λ, µ not comparable
it is not difficult to guess and show that the rank of the Jacobian matrix
of {p(λ, µ)} at ew (with respect to the ambient smooth variety G/P ) is
the rank of the matrix Jτ (ew ). Say ew = eB . From the fact
p(λ, µ)(eB ) 6= 0 ⇔ p(λ, µ) = p(id)
and weight considerations, it follows that in each row of Jτ (eB ), there
is at most one non zero entry. Then we see that rank of Jτ (eB ) is the
number of its nonzero columns. These considerations hold for Jτ (ew )
and we get the following.
5.2 Theorem
(i) Rank of Jτ (eB ) = #R(τ ), where R(τ ) = {α | α ∈ ∆+ , X−α p(λ, µ) =
cp(id), c 6= 0, for some p(λ, µ) in the set of generators {p(λ, µ)} of the
ideal sheaf of X(τ ) on G/B, given above}
196 Appendix C
(ii) More generally, we have Rank Jτ (ew ) = #R(τ, w), where R(τ, w) =
{α | α ∈ w(∆+ ), X−α p(λ, µ)} = cp(w), c 6= 0 of the ideal sheaf of X((τ )
on G/B, given above }
(iii) dim TX(τ ),e(w) = N − #R(τ, w), where N = dim G/B = #∆+
and TX(τ ),e(w) is the Zariski tangent space of X(τ ) at ew .
Hence
dim TX(τ ),e(w) = #{α ∈ w(∆+ ) | τ ≥ sα w}
In particular
dim TX(τ ),eB = #{α ∈ ∆+ | τ ≥ sα }
5.4 Remark Using Corollary 5.3, V. Deodhar has shown that X(τ ) ֒→
SL(ℓ + 1)/B is smooth at ew (τ ≥ w) if and only if it is rationally smooth
at ew , i.e., the Kazhdan-Lusztig polynomial P (τ, w) ≡ 1 (cf. [6]).
In [22], the vectors Q(λ, µ), (λ, µ) an admissible pair, have been ex-
plicitly computed for classical groups and these computations lead to
an explicit determination of the singular loci of Schubert varieties for
classical groups (cf. [21]). We shall briefly state below the results on the
singular loci of Schubert varieties for classical groups. For a maximal
parabolic subgroup Pd , 1 ≤ d ≤ ℓ, let WPd be the Weyl group of Pd and
W pd , the set of minimal representatives of W/WP in W of wWPd .
The involution σ
Let
A = {(a1 , . . . , ad ) | a1 < · · · < ad , ai ∈ Z}
We have a natural partial order ≥ in A, namely,
This partial order among d-tuples will be used in the sequel in describ-
ing the Bruhat order in W Pd . Further, for any d-tuple (z1 , . . . , zd ) of
integers, we let
(z1 , . . . , zd ) ↑= (zi1 , zi2 , . . . , zid )
where j → ij is a permutation and zij ≤ zij+1 . Thus, (z1 , . . . , zd ) ↑ is the
d-tuple whose entries are obtained by arranging the entries (z1 , . . . , zd ) in
Standard Monomial Theory 197
I The sympletic
group Sp(2n)
0 J
Let E = , where
−J 0
0 1
·
J = ·
·
1 0
Let (, ) be the skew symmetric bilinear form on k2n , represented by E,
with respect to {e1 , . . . , e2n }. Let
We see that
Thus, the Bruhat order in W Pd coincides with the natural order (cf. (*))
on d-tuples.
As in I, we have
where i′ = 2n + 2 − i and
(12) W Pd =
Standard Monomial Theory 199
(1) 1 ≤ a1 < a2 < · · · < ad ≤ 2n + 1,
(2) ai 6= n + 1, 1 ≤ i ≤ d,
(a1 , . . . , ad ) |
(3) for 1 ≤ i ≤ 2n + 1, if i ∈ {a1 , . . . , ad },
then 2n + 2 − i 6∈ {a1 , . . . , ad }
We have
(17)
W =
(1) ai = 2n + 1 − ai′ , 1 ≤ i ≤ 2n,
(a1 , . . . , a2n ) ∈ S2n |
(2) #{i, 1 ≤ i ≤ n | ai > n} is even
We have for d 6= n − 1
(19) W Pd = Zd
For d = n − 1, if w ∈ W Pd , then
where
sαn if i = n,
(21) ui = Id if i = 0,
sαi sαi+1 . . . sαn−2 sαn if 1 ≤ i ≤ n − 2.
and
(i) (i)
(24) Y = {(y1 , . . . , yn−1 ) ↑, 0 ≤ i ≤ n, i 6= n − 1}
Unlike the cases of Sp(2n) (resp. SO(2n + 1)), the Bruhat order in W ,
the Weyl group of SO(2n), is not induced from the Bruhat order in S2n .
Standard Monomial Theory 201
Hence the Bruhat order in W Pd does not coincide with the natural order
on d-tuples (cf. (*)). We now describe the Bruhat order in W Pd .
For 1 ≤ i ≤ 2n, let |i| = min{i, i′ } (with i′ = 2n+1−i, as above). Un-
der the above identification, given two elements (a1 , . . . , ad ), (b1 , . . . , bd )
in W Pd , 1 ≤ d ≤ n, we have (cf. [39])
(a1 , . . . , ad ) (b1 , . . . , bd )
Then
#{j, i + 1 ≤ j ≤ i + r | aj > n}
and
#{j, i + 1 ≤ j ≤ i + r | bj > n}
should both be odd or both even.
(2) α = ǫj + ǫk , 1 ≤ j < k ≤ n.
Let s = min{|aj |, |ak |}, r = max{|aj |, |ak |}
(α,d) (τ sα )(d) if d < k
τ =
(a1 , . . . , âj , . . . , âk , . . . , ad , s′ , τ ) ↑, if k ≤ d ≤ n.
τ (α,d) = (τ sα )(d)
(2) α = ǫj , 1 ≤ j ≤ n.
Define si , 0 ≤ i ≤ m(d), as the integers
Iλ,µ = {T | T is λ-dominant}
(χi (T ), α∗ ) ≥ 0, α ∈ SQ , 1≤i≤r
Let τ ∈ W/WP correspond to ((i), (j)) under the above bijection. Then
one gets a canonical identification
p(i),(j) = the function on M (n) defined by the minor
p(τ )|M (m) ↔
corresponding to the indices (i) × (j)
206 Appendix C
x ∈ X, x = (x1 , . . . , xm ; y1 , . . . , ym ), xi ∈ V, yi ∈ V ∗
ψ : X → Mm , defined by
Y = J tY J ⇔ X = tX
i.e., Z σ can be identified with Sym M (m), the space of (m×m) symmet-
ric matrices. Also, we have an order reversing bijection of W (Sp(2m))/WQ
with
The crucial thing is that if τ = ((i), (i)), φ = ((j), (j)), then (τ, φ) is an
admissible pair in W (Sp(2m))/WQ if and only if
One checks also that the restriction of p(τ, φ) to the opposite big cell
(namely, Sym M (m)) of Sp(2m)/Q can be canonically identified with
the polynomial function:
p(i),(j) : Sym M (m) −→ k; (i) ≤ (j)
Let Sym Dt = Dt ∩ Sym M (m); we call this a symmetric determinantal
variety. The element
τ = ((1, . . . , t); (1, . . . , t))
lies in W (Sp(2m)/WQ and if X(τ ) denotes the Schubert variety in
Sp(2m)/Q defined by τ , it can be shown that
X(τ ) ∩ Sym Mm = Sym Dk
i.e., Sym Dk is the opposite big cell of X(τ ). Then as a consequence
of Theorem 3.1, we see that the coordinate ring Sym Dt has a basis
consisting of standard monomials as follows:
p(i),(j) p(i′ ),(j ′ ) p(i′′ ),(j ′′ ) . . . ,
(II)
(i) ≤ (j) ≤ (i′ ) ≤ (j ′ ) ≤ . . . , #(i), #(i′ ), etc. ≤ t.
References
[1] H.H. Andersen: The Frobenius morphism on the cohomology of homoge-
neous vector bundles on G/B, Ann. Math. 112 (1980) 113–121.
[2] A.B. Bjorner: Shellable and Cohen-Macaulay partially ordered sets, Trans.
Amer. Math. Soc. 260 (1980) 159–183.
[3] C.C. Chevalley: Sur les décomposition celluaires des espaces G/B
(manuscript non publié circa) 1958.
[4] M. Demazure: Désingularization des variétiés de Schubert generaliseés, Ann.
Sci. École Norm. Sup. 7 (1974) 53–88.
[5] C. DeConcini, D. Eisenbud and C. Procesi: Hodge Algebras, Asterisque 91
1982.
[6] V.V. Deodhar: Local Poincaré duality and non-singularity of Schubert va-
rieties, Communications in Alg. 13 (6) (1985).
[7] E. Date, M. Jimbo, K. Juniba, T. Miwa and M. Okado, Paths, Maya dia-
ˆ C), Advanced Studies in Pure Math. 19
grams and representations of sℓ(r,
(1989) 149–191.
[8] C. DeConcini and V. Lakshmibai: Arithmetic Cohen-Macaulayness and
Arithmetic Normality for Schubert varieties, Amer. J. Math. 103 (1981)
835–850.
[9] C. DeConcini and C. Procesi: A characteristic-free approach to invariant
theory, Advances in Math. 21 (1976) 330-354.
[10] P. Doubilet, G. Rota and J. Stein, On the foundations of combinatorial
theory, Studies in Applied Mathematics, 53 (1974) 185–216.
210 Appendix C
[11] W.V.D. Hodge: Some enumerative results in the theory of forms, Proc.
Camb. Phil. Soc. 38 (1943) 22–30.
[12] W.V.D Hodge and C. Pedoe: Methods of Algebraic Geometry, Vol. II, Cam-
bridge University Press, 1952.
[13] W.J. Haboush: A short proof of Kempf’s vanishing theorem, Invent. Math.
56 (1980) 109–112.
[14] C. Huneke and V. Lakshmibai: Cohen-Macaulayness and Normality of mul-
ticones over Schubert varieties in SLn /B.
[15] V.G. Kac: Infinite dimensional Lie algebras, Progress in Math. 44 Birkhauser,
1983.
[16] M. Kashiwara: The flag manifold of Kac-Moody Lie algebras (preprint).
[17] G. Kempf: Linear systems on homogeneous spaces, Ann. Math. 103 (1976)
557-591.
[18] G. Kempf and A. Ramanathan: Multicones over Schubert varieties, Invent.
Math. 87 (1987) 353–363
[19] V. Lakshmibai: Standard Monomial Theory for G2 , J. Algebra, 98 (1986)
281–318.
c n , Progress in Math. 92,
[20] V. Lakshmibai: Standard Monomial Theory for SL
Birkhauser (1990) 197–217.
[21] V. Lakshmibai: Singular loci of Schubert varieties for classical groups, Bull.
A.M.S. 16 (1987) 83–90.
[22] V. Lakshmibai: Geometry of G/P -VI, J. Algebra, 108 (1987) 355–502.
[23] V. Lakshmibai: Geometry of G/P -VII, J. Algebra, 108 (1987) 403–434.
[24] V. Lakshmibai: Geometry of G/P -VIII, J. Algebra, 108 (1987)435–471.
[25] V. Lakshmibai: The groups F4 and E7 (in preparation).
[26] V. Lakshmibai, C. Musili and C.S. Seshadri: Geometry of G/P -III, Proc.
Ind. Acad. Sc. 87A (1978) 93–177.
[27] V. Lakshmibai, C. Musili and C.S. Seshadri: Geometry of G/P -IV, Proc.
Ind. Acad. Sci.88A (1979) 279–362.
[28] V. Lakshmibai and K.N. Rajeswari: Towards a Standard Monomial Theory
for Exceptional Groups, Contemporary Mathematics, 88 449–578.
[29] V. Lakshmibai and K.N. Rajeswari: Geometry of G/P -IX, J. Algebra, 130
(1990).
[30] V. Lakshmibai and C.S. Seshadri: Geometry of G/P -V, J.Algebra, 100
(1986) 462–557.
Standard Monomial Theory 211
[31] V. Lakshmibai and C.S. Seshadri: Singular locus of a Schubert variety, Bull.
A.M.S. II (2) (1984) 363–366.
c 2 Infi-
[32] V. Lakshmibai and C.S. Seshadri: Standard Monomial Theory for SL
nite Dimensional Lie Algebras and Groups, Advanced Series in Mathemat-
ical Physics, 7 178–234.
[33] V. Lakshmibai and C.S. Seshadri: Geometry of G/P -II, Proc. Ind. Acad.
Sci. 87 A (1978) 1–54.
[34] P. Littlemann: A Littlewood-Richardson rule for classical groups, Comptés
rendus (Série I) 306 (1988) 299–303.
[35] P. Littlemann’s manuscript on Filtrations (preprint).
[36] V.B. Mehta and A. Ramanathan: Frobenius splitting and cohomology van-
ishing for Schubert varieties, Ann. Math. 122 (1985) 27–40.
[37] C. Musili: Postulation formula for Schubert varieties, J. Indian Math. Soc.
36 (1972) 143–171.
[38] C. Musili: Applications of standard monomial theory, in these proceedings.
[39] R. Proctor: Classical Bruhat orders and lexicographic shallability, J. Alge-
bra, 77 (1982) 104–126.
[40] A. Ramanathan: Schubert varieties are arithmetically Cohen-Macaulay, In-
vent. Math. 80 (1985) 283–294.
[41] A. Ramanathan: Equations defining Schubert varieties and Frobenius split-
ting of diagonals, Publ. Math. I.H.E.S. 65 (1987) 61–90.
[42] S. Ramanan and A. Ramanthan: Projective normality of Flag varieties and
Schubert varieties, Invent. Math. 79 (1985) 217–224.
[43] C.S. Seshadri: Geometry of G/P -I, C.P. Ramanujam: A Tribute, 207 (Springer-
Verlag) published for Tata Institute, Bombay, (a978) 207–239.
Bibliography
[A] S. Abeasis, On the Plücker relations for the Grassmannian varieties, Adv.
in Math. 36, 1980 (277–282).
[Bo] A. Borel, Linear algebraic groups, Benjamin, New York, 1969.
[Bou] N. Bourbaki, Groupes et algèbres de Lie, Chapter V, VI, VII, Hermann,
Paris
[B-W1] A. Björner, M. Wachs, Bruhat order of classical groups and shellability,
Adv. in Math. 43 (1982).
[B-W2] A. Björner, M. Wachs, On lexicographically shellable posets, Trans. A.
M. S., Vol. 277, No.1, May 1983.
[C] C. Chevalley, Sur les décompositions cellulaires des espaces G/B, (unpub-
lished manuscript) 1958.
[D] M. Demazure, Désingularisation des variétés de Schubert generalisées,
Ann. Sc. E. N. S., t 7 (1974), 330–354.
[D-E-P] C. De Concini, D. Eisenbud, C. Procesi, Hodge algebras, Astérisque
91, 1982.
[D-P] C. De. Concini, C. Procesi, A characteristic-free approach to invariant
theory, Advances in Math. 21, 1976, 330–354.
[D-R-S] P. Doubilet, G. C. Rota, J. Stein, On the foundations of combinatorial
theory IX, Studies in Applied Math. 53, 1974, 185–216.
[E] D. Eisenbud, Introduction to algebras with straightening law, Proceedings
of the third Oklahoma Conference on Ring Theory, MacDonald, B., ed.
1980.
[E-H] J. Eagon, M. Hochster, Cohen-Macaulay rings, invariant theory and the
generic perfection of determinantal loci, Amer. J. Math., 93 (1971).
[G] A. Grothendieck, Local cohomology, Lecture Notes in Math. No.41,
Springer-Verlag, 1966.
[G-D] A. Grothendieck, J. Dieudonné, Eléments de Géométrie Algébrique,
EGA IV, Publ. Math. IHES, Nos. 28 (1966) and 32 (1967).
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 213
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8
214 BIBLIOGRAPHY
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 217
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8
Index
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 219
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8
220 INDEX
weights, 108
weight space, 108
Weyl group, 58
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 221
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8
222 SYMBOLS
τ max , 124
τ min , 124
ζ, 67
e(ω), 58, 111
e(id), 58, 111
k, 1
k{H(τ )}, 146
pα,β , 40
pα,beta , 42
pα , 5
sα , 75, 108
La(i) , 57
Lλ , 90
LHS, 19
RHS, 20
Texts and Readings in Mathematics
© Springer Science+Business Media Singapore 2016 and Hindustan Book Agency 2015 223
C.S Seshadri, Introduction to the Theory of Standard Monomials,
Texts and Readings in Mathematics 46, DOI 10.1007/978-981-10-1813-8
224 TEXTS AND READINGS IN MATHEMATICS