<< Предыдущая стр. 11(из 47 стр.)ОГЛАВЛЕНИЕ Следующая >>
Proof: Let

Оі = [b1 , . . . , bm ], Оґ = [d1 , . . . , dm ],
П•(Оі) = [a1 , . . . , au |b1 , . . . , bu ], П•(Оґ) = [c1 , . . . , cv |d1 , . . . , dv ].

Suppose п¬Ѓrst that Оі в‰¤ Оґ. Then obviously v в‰¤ u and b1 в‰¤ d1 , . . . , bv в‰¤ dv . We assume
a1 в‰¤ c1 , . . . , aw в‰¤ cw and aw+1 > cw+1 in order to derive a contradiction. Since cw+1 в€€
/
{a1 , . . . , au }, there is a t such that cw+1 = (n + m + 1) в€’ bt . Then

(n + m + 1) в€’ dt в‰¤ (n + m + 1) в€’ bt = cw+1 < aw+1 ,
47
D. B[X] as an ASL

even
(n + m + 1) в€’ dt < cw+1 ,
equality being excluded. The indices which are smaller than (n + m + 1) в€’ bt , are
a1 , . . . , aw , (n + m + 1) в€’ bm , . . . , (n + m + 1) в€’ bt+1 ,
hence (n + m + 1) в€’ bt = w + m в€’ t + 1. On the other hand the following indices are
smaller than cw+1 = (n + m + 1) в€’ bt :
c1 , . . . , cw , (n + m + 1) в€’ dm , . . . , (n + m + 1) в€’ dt .
So (n + m + 1) в€’ bt в‰Ґ w + m в€’ t + 2, a contradiction.
Let now П•(Оі) в‰¤ П•(Оґ). This implies v в‰¤ u and b1 в‰¤ d1 , . . . , bv в‰¤ dv . Again we want
to reach a contradiction and suppose that b1 в‰¤ d1 , . . . , bw в‰¤ dw , bw+1 > dw+1 . Then
bw+1 > dw+1 в‰Ґ dv+1 > n. Consequently there exists a t such that
at = (m + n + 1) в€’ dw+1 .
There are at least m в€’ w + t в€’ 1 indices smaller than (m + n + 1) в€’ dw+1 :
a1 , . . . , atв€’1 , (m + n + 1) в€’ bm , . . . , (m + n + 1) в€’ bw+1 ,
in particular (m + n + 1) в€’ dw+1 в‰Ґ m в€’ w + t. On the other hand
(m + n + 1) в€’ dw+1 в‰¤ (m + n + 1) в€’ dw+1 , . . . , (m + n + 1) в€’ dv+1 .
Hence m в€’ w + t в€’ 1 + (w + 1) в€’ (v + 1) + 1 в‰¤ m, so t в‰¤ v. Since a1 в‰¤ c1 , . . . , av в‰¤ cv ,
all the indices smaller than (m + n + 1) в€’ dw+1 occur among
c1 , . . . , ctв€’1 , (m + n + 1) в€’ dm , . . . , (m + n + 1) в€’ dw+2 ,
again a contradiction. вЂ”
Lemma (4.9) shows that as a poset в€†(X) is isomorphic to О“(X)\{[n+1, . . . , n+m]}.
Since the top of О“(X) looks like
s [n + 1, . . . , n + m]

s [n, n + 2, . . . , n + m]
В d
В d
В  ds
s

О“(X) \ {[n + 1, . . . , n + m]} and в€†(X) are distributive lattices, too.
(4.10) Lemma. (a) G(X)([n + 1, . . . , n + m] в€’ Оµ) is a prime ideal if B is an integral
domain.
(b) Ker П• = G(X)([n + 1, . . . , n + m] в€’ Оµ).
Proof: (a) Consider the commutative diagram
П€
B[TОі : Оі в€€ О“(X)] в€’ в€’ в†’ B[TОі : Оі в€€ О“(X) \ {[n + 1, . . . , n + m]}]
в€’в€’
пЈ¦ пЈ¦
пЈ¦ пЈ¦П‡
ПЂ

в€’в€’в†’
в€’в€’ G(X)/G(X)([n + 1, . . . , n + m] в€’ Оµ)
G(X)
48 4. Algebras with Straightening Law on Posets of Minors

of epimorphisms, where П€(T[n+1,...,n+m] ) = Оµ. Since Ker П‡ = П€(Ker ПЂ) it is enough to
know that П€ maps homogeneous prime ideals P not containing T[n+1,...,n+m] onto prime
ideals. The map П€ is just the вЂњdehomogenizationвЂќ with respect to T = ОµT[n+1,...,n+m] ,
and therefore has the desired property, cf. (16.26).
(b) Since both G(X) and B[X] as well as the map П• arise from the corresponding
objects over Z by tensoring with B, it is suп¬ѓcient to prove (b) in the case B = Z. Since

dim G(X) = mn + 1 + dim B,

as will be shown in Section 5,

dim G(X)/G(X)([n + 1, . . . , n + m] в€’ Оµ) = dim B[X].

By virtue of (a) both of them are integral domains, and the epimorphism induced by П•
is an isomorphism. вЂ”
Now all the arguments for the proof of the main result have been collected:
(4.11) Theorem. B[X] is a graded ASL on в€†(X).
Proof: It follows directly from (4.9) that the standard monomials in О“(X) \ [m + 1,
. . . , m + n] are mapped to standard monomials in в€†(X) (up to sign). Property (H2 )
cannot be destroyed, since the maximal element of О“(X) is replaced by Оµ: any monomial
appearing on the right side of a straightening relation in G(X) contains a factor diп¬Ђerent
from [n + 1, . . . , n + m]. The only critical point is whether the standard monomials in
в€†(X) are linearly independent. Suppose we have a relation aВµ П•(Вµ) = 0, Вµ representing
a standard monomial in О“(X) not containing [n + 1, . . . , n + m]. Then, by virtue of (4.10)

aВµ Вµ = (Оµ в€’ [n + 1, . . . , n + m]) bОЅ ОЅ,

ОЅ representing a standard monomial, too. It is obvious that such an equation can only
hold if all the coeп¬ѓcients aВµ , bОЅ are zero. вЂ”
For a generalization in the next section we record:
(4.12) Proposition. B[X] is the dehomogenization of G(X) with respect to Оµ[n+1,
. . . , n + m].
The geometric analogue of (4.12) has been observed above Theorem (1.3): The aп¬ѓne
mn-space is the open subvariety of the projective variety Gm (K n+m ) complementary to
the hyperplane deп¬Ѓned by [n + 1, . . . , n + m] (or any of the coordinate hyperplanes).

E. Comments and References

The п¬Ѓrst standard monomial theory was established by Hodge [Hd] for the homo-
geneous coordinate rings of the Grassmannians and their Schubert subvarieties. Having
found an explicite basis, he could derive the вЂњpostulation formulaвЂќ for the Schubert sub-
varieties (previously conjectured by him and proved by Littlewood) in an elementary
manner. (In algebraic language the вЂњpostulation formulaвЂќ is an explicit formula for the
dimension of the i-th homogeneous component of the homogeneous coordinate ring of a
49
E. Comments and References

projective variety.) A complete treatment was given by Hodge and Pedoe in their classical
monograph [HP]; the tacit assumption that the ring of coeп¬ѓcients contains the rational
numbers is only used there in proving that the relations in (4.4) are linear combinations
of the relations
m+1
(в€’1)k [a1 , . . . , ajв€’1 , bk , aj+1 , . . . , am ][b1 , . . . , bkв€’1 , bk+1 , . . . , bm+1 ]
k=1

instead of establishing them directly. (In positive characteristic the just-mentioned rela-
tions are not suп¬ѓcient in general to generate the ideal of PlВЁcker relations, cf. [Ab.2].)
u
More recent accounts of this standard monomial theory were given by Laksov [La.1]
and Musili [Mu]. MusiliвЂ™s article is fairly selfcontained; his proof for the linear indepen-
dence of the standard monomials will be indicated in Section 6. It is actually simpler
than the one given whose merits will however become apparent in Section 11.
Like all the other authors we essentially follow HodgeвЂ™s вЂњcanonicalвЂќ way in proving
that the standard monomials generate the B-module G(X). The proof of the linear
independence is borrowed from DeConciniвЂ™s, ProcesiвЂ™s and EisenbudвЂ™s article [DEP.1].
The only place however, where we could п¬Ѓnd a proof for the validity of (H2 ), is Lemma
2.1 of HochsterвЂ™s paper [Ho.3]; Hochster also observed that G(X) has the property dual
to (H2 ).
Our derivation of (4.11) from (4.3) is taken from [DEP.1] again, where priority
for Theorem (4.11) is attributed to Doubilet, Rota and Stein [DRS]. The geometric
relationship between the Grassmann variety and the aп¬ѓne space is classical, however;
an algebraic argument involving standard products of arbitrary minors can be found in
[Mo] already; cf. also [HE.2], p. 1045.
The notion вЂњalgebra with straightening lawвЂќ is drawn from EisenbudвЂ™s introductory
survey [Ei.1] of the more voluminous monograph [DEP.2], in which the name вЂњHodge
algebraвЂќ is used for the members of a more general class and ASLs п¬Ѓgure as вЂњordinal
Hodge algebrasвЂќ.
5. The Structure of an ASL

In this section we want to derive the properties of determinantal rings and Schubert
cycles which follow from the general theory of ASLs and the particular nature of the
partially ordered sets О“(X) and в€†(X) introduced in the preceding section. Determinantal
rings and Schubert cycles inherit their structure as an ASL from B[X] and G(X), simply
because their deп¬Ѓning ideals are generated by an ideal in в€†(X) and О“(X) resp.
We shall see that ASLs are reduced over reduced rings B and that ASLs on posets
of a certain class (containing the distributive lattices) are Cohen-Macaulay rings over
Cohen-Macaulay rings B. Furthermore there is a simple combinatorial formula for the
dimension of an ASL, for the proof of which one needs вЂњnaturalвЂќ regular elements of an
ASL. One of the lemmas on which the formula for dimension is based, is general enough
to supply an upper bound for the number of elements needed to generate certain ideals up
to radical. This has consequences for the number of equations deп¬Ѓning a determinantal
or Schubert variety.

A. ASL Structures on Residue Class Rings

In order to apply ASL theory to determinantal rings and Schubert cycles one п¬Ѓrst
has to show that these rings are ASLs. This will follow readily from the fact that
their deп¬Ѓning ideals have a system of generators which is distinguished in regard of the
underlying poset.
(5.1) Proposition. Suppose A is a graded ASL on О  over B.
(a) Let ОЁ вЉ‚ О , I = AОЁ. If I is generated as a B-module by all the standard monomials
containing a factor Оѕ в€€ ОЁ, then A/I is again a graded ASL on О  \ ОЁ (in a natural way).
(b) In particular A/Aв„¦ is a graded ASL on О  \ в„¦ if в„¦ is an ideal in О  (i.e. Оѕ в€€ в„¦ and
П… в‰¤ Оѕ implies П… в€€ в„¦).
Proof: Part (a) is obvious. In (b) the ideal Aв„¦ is generated by all the monomials
containing a factor Оѕ в€€ в„¦. Thus (b) follows directly from (a) and Proposition (4.1),
(b). вЂ”
If О  has a single maximal element ПЂ, then ОЁ = {ПЂ} satisп¬Ѓes the hypothesis of (5.1),(a)
(though it is not an ideal, provided О  = ОЁ). This is a trivial but useful example.
En passant we note:
(5.2) Proposition. Let в„¦ and ОЁ be ideals in О . Then Aв„¦ в€© AОЁ is generated by
the ideal в„¦ в€© ОЁ in О .
Proof: Every standard monomial in the standard representation of an element of
Aв„¦ в€© AОЁ has to contain a factor П‰ в€€ в„¦ and a factor П€ в€€ ОЁ. At least one of them lies in
в„¦ в€© ОЁ. вЂ”
51
A. ASL Structures on Residue Class Rings

Together with the trivial statement that Aв„¦+AОЁ is generated by в„¦в€ЄОЁ, Proposition
(5.2) shows that the ideals Aв„¦, в„¦ an ideal in О , form a distributive lattice with respect
to intersections and sums (which is isomorphic to the lattice of ideals в„¦ вЉ‚ О ).
In order to have a compact description of our examples and for systematic reasons
we introduce one more piece of notation:
Definition. Let ОЈ вЉ‚ О . The ideal generated by ОЈ in О  is the smallest ideal in О
containing ОЈ:
{Оѕ в€€ О  : Оѕ в‰¤ Пѓ for a Пѓ в€€ ОЈ},
whereas the ideal cogenerated by ОЈ in О  is the greatest ideal disjoint from ОЈ:

{Оѕ в€€ О  : Оѕ в‰Ґ Пѓ for every Пѓ в€€ ОЈ}.

As usual let X be an m Г— n matrix of indeterminates over B, в€†(X) its set of minors,
partially ordered as introduced in 4.D. The ideal It (X) is generated by the t-minors and
contains every u-minor such that u в‰Ґ t: it contains all the minors Оі в‰¤ Оґ for a t-minor Оґ.
One has
It (X) = B[X]ОЈ,
ОЈ being the ideal in в€†(X) generated by [mв€’t+1, . . . , m|nв€’t+1, . . . , n], equivalently: the
ideal cogenerated by [1, . . . , t в€’ 1|1, . . . , t в€’ 1]. The last description is the most convenient
one, and as will be seen shortly, the deп¬Ѓning ideals of all the determinantal ideals can be
described in this way. For Оґ в€€ в€†(X) we let

I(X; Оґ) = B[X]{ПЂ в€€ в€†(X) : ПЂ в‰Ґ Оґ},
R(X; Оґ) = B[X]/I(X; Оґ), and
в€†(X; Оґ) = {ПЂ в€€ в€†(X) : ПЂ в‰Ґ Оґ}.

In exploring R(X; Оґ), Оґ п¬Ѓxed, we shall have to consider ideals of the form I(X; Оµ)/I(X; Оґ).
It is therefore convenient to write

I(x; Оµ) = I(X; Оµ)/I(X; Оґ)

then. (There is of course no need for the notations R(x; Оµ) and в€†(x; Оµ).) Let Оґ =
[a1 , . . . , ar |b1 , . . . , br ]. Then I(X; Оґ) is generated by the

s-minors of the rows 1, . . . , as в€’ 1
s = 1, . . . , r, and the
s-minors of the columns 1, . . . , bs в€’ 1
(r + 1)-minors of X.

So the rings R(X; Оґ) are determinantal rings in the sense of 1.C, and conversely the
determinantal rings B[X]/I are of type R(X; Оґ). Let

1 в‰¤ u1 < В· В· В· < up в‰¤ m, 0 в‰¤ r 1 < В· В· В· < rp < m

and
1 в‰¤ v1 < В· В· В· < vq в‰¤ n, 0 в‰¤ s1 < В· В· В· < sq < n,
52 5. The Structure of an ASL

such that I is generated by the

(ri + 1)-minors of the п¬Ѓrst ui rows

and the
(sj + 1)-minors of the п¬Ѓrst vj columns,
i = 1, . . . , p, j = 1, . . . , q. In general this system of generators is far from being minimal:
If ui+1 в‰¤ ui + ri+1 в€’ ri , then all the (ri+1 + 1)-minors of the rows 1, . . . , ui+1 are linear
combinations of the (ri + 1)-minors of the rows 1, . . . , ui . Furthermore all the (r + 1)-
minors are in I if r + 1 is given as

r + 1 = min(rp + 1 + m в€’ up , sq + 1 + n в€’ vq )

In case rp + 1 в‰Ґ r + 1 we can discard the (rp + 1)-minors of the rows 1, . . . , up , since
they are contained in the ideal generated by the (sq + 1)-minors of the columns 1, . . . , vq .
Similar observations apply to the вЂњcolumn-deп¬ЃnedвЂќ generators, and therefore it is no
restriction to assume that

ui+1 > ui + ri+1 в€’ ri , vj+1 > v j + sj+1 в€’ sj ,
i = 1, . . . , p в€’ 1, j = 1, . . . , q в€’ 1,
(в€—)
rp + 1 < s q + 1 + n в€’ v q , sq + 1 < r p + 1 + m в€’ u p .

Now we can describe Оґ such that I = I(X; Оґ):

Оґ = [(1, . . . , r1 ), (u1 + 1, . . . , u1 + (r2 в€’ r1 )), . . . , (up + 1, . . . , up + (rp+1 в€’ rp ))|
(1, . . . , s1 ), (v1 + 1, . . . , v1 + (s2 в€’ s1 )), . . . , (vq + 1, . . . , vq + (sq+1 в€’ sq ))],

where of course rp+1 = sq+1 = r + 1 and the blocks of consecutive integers in the row
and column parts of Оґ have been enclosed in parentheses.
(5.3) Theorem. (a) The determinantal rings B[X]/I are given exactly by the rings
R(X; Оґ), Оґ в€€ в€†(X).
(b) R(X; Оґ) is a graded ASL on в€†(X; Оґ).
(c) в€†(X; Оґ) is a distributive lattice.
The analogues of I(X; Оґ), R(X; Оґ), в€†(X; Оґ) with respect to G(X) are

J(X; Оі) = G(X){Оґ в€€ О“ : Оґ в‰Ґ Оі},
G(X; Оі) = G(X)/J(X; Оі), and
О“(X; Оі) = {Оґ в€€ О“ : Оґ в‰Ґ Оі}.
 << Предыдущая стр. 11(из 47 стр.)ОГЛАВЛЕНИЕ Следующая >>