<< Предыдущая стр. 27(из 47 стр.)ОГЛАВЛЕНИЕ Следующая >>
In conjunction with (10.11) this shows that they are congruent to each other modulo
F(2, 2).
The usual inductive technique (cf. (10.1)) allows one to conclude that
[1, . . . , t в€’ 1|1, . . . , t в€’ 1][1, . . . , t в€’ 2, t, t + 1, t + 2|1, . . . , t в€’ 2, t, t + 1, t + 2] в€€ F(t, t)
/
if t в‰Ґ 2, and X is at least a (t + 2) Г— (t + 2) matrix. Therefore the list of exceptional cases
in which (10.13) holds without an assumption on the characteristic of B, is complete as
given in (d) above.
In (10.17) we shall see that the preceding computations shed some light on the
structure of the subalgebra of Z[X] generated by the t-minors of X. вЂ”
132 10. Primary Decomposition

s
(h) Under the hypotheses of (10.13) the ideal It (X) is generated as a B-module
by standard monomials. As the preceding example shows, this is not true in general
over Z, and not even over a п¬Ѓeld: [1 2 3|1 2 3][4|4] appears with coeп¬ѓcient 1 in the
standard representation of [2 3|1 2][1 4|3 4], but [1 2 3|1 2 3][4|4] в€€ I2 (X)2 if B is a п¬Ѓeld
/
of characteristic 2 and X (at least) a 4 Г— 4 matrix. вЂ”
Some of the consequences of (10.13) hold without an assumption on the characteristic
of B.
(10.15) Proposition. Let B be a noetherian domain, X an m Г— n matrix of
indeterminates.
(a) Let t < min(m, n). Then the ideals Ij (X), 1 в‰¤ j в‰¤ t, are associated prime ideals of
It (X)s for s в‰Ґ t.
(b) If B contains a п¬Ѓeld, then the associated prime ideals of It1 (X) . . . Its (X) are among
the ideals Ij (X), j = 1, . . . , max ti .
Proof: If B contains a п¬Ѓeld K, B[X]/It1 (X) . . . Its (X) is a п¬‚at B-algebra, since
B[X]/It1 (X) . . . Its (X) = (K[X]/It1 (X) . . . Its (X))вЉ—K B. The usual technique (involving
the п¬Ѓbers of B в†’ B[X]/It1 (X) . . . Its (X)) reduces part (b) to the case in which B is a п¬Ѓeld
itself. One now observes that I1 (X) is a maximal ideal and applies the usual inductive
trick of inverting an element of X.
Part (a) is a statement about the localizations of B[X] with respect to the prime
ideals Ij (X). Inverting B \ {0} п¬Ѓrst we may assume that B is a п¬Ѓeld again and use part
(b). Since an element of X is not contained in any of the ideals Ij (X), 2 в‰¤ j в‰¤ t, it is
now enough to show that X11 , say, is a zero-divisor modulo It (X)s for s в‰Ґ t. Let X be
the (t + 1) Г— (t + 1) submatrix corresponding to the п¬Ѓrst t + 1 rows and columns. One
has a natural inclusion B[X] в†’ B[X] and a natural epimorphism B[X] в†’ B[X] whose
composition is the identity on B[X]. As remarked above, the conclusion of (10.9) holds
for B[X] without an assumption on the characteristic of B. So X11 is a zero-divisor mod
s
It (X)s whence it is a zero-divisor modulo It (X) . вЂ”
As a consequence of (10.15) one has grade(I1 (X), B[X]/It (X)s ) = 0 for 1 в‰¤ t <
min(m, n) and s в‰Ґ t. By virtue of (9.23) this implies

grade I1 (X)GrIt (X) B[X] = 0.

One can say more:
(10.16) Proposition. Let B be a noetherian domain, X an m Г— n matrix of inde-
terminates, t an integer, 1 в‰¤ t в‰¤ min(m, n), I = It (X), and A = B[X].
(a) GrI A/I1 (X)GrI A is isomorphic to the B-subalgebra S generated by the t-minors of
X.
(b) If t < min(m, n), the п¬Ѓeld of fractions of B[X] is algebraic over the п¬Ѓeld of fractions
of S. Minors of size в‰Ґ t are even integral over S.
(c) If t < min(m, n), I1 (X)GrI A is a minimal prime ideal.
Proof: Part (a) holds more generally for ideals J of B[X] which are generated by
homogeneous polynomials of constant degree. Then J k /I1 (X)J k is isomorphic to the
B-submodule of B[X] generated by the products of length k in the generators of J, and
133
C. Primary Decomposition of Products of Determinantal Ideals

these isomorphisms are compatible with the multiplications J k /I1 (X)J k Г—J p /I1 (X)J p в†’
J k+p /I1 (X)J k+p .
It is enough to show (b) for (t + 1) Г— (t + 1) matrices X. The matrix Cof X of its
cofactors has entries in S and

(det X)t = det(Cof X) в€€ S,

proving the second statement and implying that the entries of X в€’1 = (det X)в€’1 (Cof X)
are algebraic over the п¬Ѓeld of fractions of S. The extension п¬Ѓeld generated by them
contains the entries of X = (X в€’1 )в€’1 , too, as one sees by taking cofactors again.
Part (c) concerns the localization of GrI A with respect to I1 (X)GrI A. Since fur-
thermore the inversion of B \ {0} commutes with the formation of the associated graded
ring, there is no harm in assuming that B is a п¬Ѓeld. Dimension can now be measured by
transcendence degree. Hence

dim GrI A = mn = dim GrI A/I1 (X)GrI A. вЂ”

For 2 в‰¤ t < min(m, n) the ring GrIt (X) B[X] does not seem to have an attractive
2 t+1
structure. It is not even reduced: Оґ в€€ It (X)\It (X) for a (t+1)-minor Оґ, but Оґ t в€€ It (X)
(in arbitrary characteristic !), so (Оґ в€— )t = 0.

(10.17) Remark. We know the structure of S very precisely in the trivial case
t = 1, S = B[X], and the case t = min(m, n), S = G(X). Another case is completely
explained by (10.16),(b): m = n = t + 1. In this case the t-minors of X are algebraically
independent. As in the proof of (6.1) it is enough to consider a п¬Ѓeld of coeп¬ѓcients, for
which the algebraic independence follows from (10.16),(b). By representation-theoretic
methods we shall show in 11.E that S is a normal Cohen-Macaulay ring over a п¬Ѓeld of
characteristic zero. In fact, there seems to be no characteristic-free access to the rings S,
s
except in the special cases in which the primary decomposition of It (X) is independent
of characteristic. Let S0 be the Z-algebra of Z[X] generated by the t-minors of X.
The example in (10.14),(g) demonstrates that Z[X]/S0 is not Z-п¬‚at in general. For
B = Z/2Z, X at least a 4 Г— 4 matrix, and t = 2 the natural epimorphism S0 /2S0 в†’ S is
not injective, for its kernel contains the residue class of 2[1|1][2 3 4|2 3 4]. This element
is even nilpotent in S0 /2S0 ! Since

Оµ = [1|1][2 3 4|2 3 4] в€’ [2|1][1 3 4|2 3 4] в€€ F(2, 2),

one has

2[1|1]2 [2 3 4|2 3 4]2 = 2([1|1][1 3 4|2 3 4])([2|1][2 3 4|2 3 4])
+ 2[1|1][2 3 4|2 3 4] Оµ в€€ S0

by (10.11), and therefore 4[1|1]2 [2 3 4|2 3 4]2 в€€ 2S0 .
134 10. Primary Decomposition

D. Comments and References

The symbolic powers of the ideals It (X) have п¬Ѓrst been computed by de Concini,
Eisenbud, and Procesi ([DEP.1], Section 7). We have reproduced their proof in Subsec-
tion A. In [DEP.2], Section 10 it has been indicated how to consider the symbolic graded
ring and the symbolic extended Rees algebra as an ASL.
The article [DEP.1] is the source for the primary decomposition of products of de-
terminantal ideals, too. Our proof of (10.9) seems to be new, however. Since it does
not depend on representation theory (diп¬Ђerent from the one in [DEP.1]), it allows us to
reп¬Ѓne the hypotheses on the characteristic of the ring of coeп¬ѓcients. We have followed
[DEP.1] essentially in the determination of the irredundant primary components.
Proposition (10.16) has been observed in [CN].
11. Representation Theory

Though some of the results of this section hold over quite general rings B of coef-
п¬Ѓcients, we will assume throughout that B = K is a п¬Ѓeld which, in this introduction,
has characteristic 0. Let X be an m Г— n matrix of indeterminates, T1 в€€ GL(m, K),
T2 в€€ GL(n, K). Then the substitution

в€’1
X в€’в†’ T1 XT2

induces a K-algebra automorphism of K[X], and K[X] becomes a G-module, G =
GL(m, K)Г—GL(n, K). The group G is linearly reductive, and K[X] has a decomposition
into irreducible G-submodules. This decomposition is our main objective. Furthermore
the G-stable ideals of K[X] will be determined in conjunction with the characterization
of the prime and primary ones among them. In the last subsection we will indicate that
important properties of the rings Rr+1 (X) and their subalgebras generated by minors of
a п¬Ѓxed size can be derived by the method of U -invariants, U being the unipotent radical
of the maximal torus in a Borel subgroup of G.

A. The Filtration of K[X] by the Intersections of Symbolic Powers

The determinantal ideals It (X), their products, and their symbolic powers are ob-
viously G-stable ideals. In this subsection we study a п¬Ѓltration of K[X] by certain
intersections of the symbolic powers. This п¬Ѓltration is an important tool in the investi-
gation of the G-structure of K[X]. In characteristic zero it coincides with the п¬Ѓltration
by the products of the ideals It (X), cf. (11.2).
Whether a monomial Вµ = Оґ1 . . . Оґp , Оґi в€€ в€†(X), belongs to the symbolic power
(k)
It (X) only depends on the size of its factors Оґi : By virtue of (10.4)

p
(k)
Вµ в€€ It (X) в‡ђв‡’ Оіt (Оґi ) в‰Ґ k
Оіt (Вµ) =
i=1

where
0 if Оґi is an s-minor, s < t,
Оіt (Оґi ) =
sв€’t+1 if Оґi is an s-minor, s в‰Ґ t.
It will be very convenient to extend the notion of size from minors to monomials, for
which it is called shape. We arrange the factors Оґi such that their sizes form a non-
increasing sequence: Оґi is an si -minor and si в‰Ґ sj if i в‰¤ j. The shape of Вµ is the
sequence
|Вµ| = (s1 , . . . , sp ).
136 11. Representation Theory

More pictorially, the shape of a monomial can be described by a (Young) diagram: The
diagram corresponding to a non-increasing (!) sequence Пѓ = (s1 , . . . , sp ), simply denoted
by (s1 , . . . , sp ), is the subset

{ (i, j) в€€ N+Г— N+ : j в‰¤ si }

of N+Г— N+ . One can depict such a diagram as a sequence of rows of boxes. For example
(6, 4, 4, 1) is represented by:

If Пѓ = (s1 , . . . , sp ) with sp = 0 we call s1 the number of the columns and p the number of
the rows of Пѓ. It is tacitly understood that the diagrams considered in connection with
K[X] have at most min(m, n) columns.
Let Пѓ = (s1 , . . . , sp ) and Вµ a monomial of shape Пѓ. Without ambiguity we then
deп¬Ѓne Оіt (Пѓ) by
Оіt (Пѓ) = Оіt (Вµ).
Obviously Оіt (Пѓ) is the number of вЂњboxesвЂќ of Пѓ in its t-th column or further right.
The п¬Ѓltration we want to study is formed by the ideals

(Оіt (Пѓ))
I(Пѓ) = It (X) ,
t

Пѓ running through the diagrams with at most min(m, n) columns. As noted above, for
a monomial Вµ one has

Вµ в€€ I(Пѓ) в‡ђв‡’ Оіt (Пѓ) в‰¤ Оіt (Вµ) for all t.

This motivates the introduction of a partial order on diagrams:

Пѓ1 в‰¤ Пѓ 2 в‡ђв‡’ Оіt (Пѓ1 ) в‰¤ Оіt (Пѓ2 ) for all t.

As subsets of N+Г— N+ , the diagrams are also partially ordered by the inclusion вЉ‚.
It is clear that в‰¤ reп¬Ѓnes вЉ‚.
Using the new notations, we recapitulate the main properties of I(Пѓ) :
(11.1) Proposition. (a) I(Пѓ) is the K-subspace of K[X] generated by the monomi-
als Вµ of shape в‰Ґ Пѓ.
(b) I(Пѓ) has a basis given by the standard monomials of shape в‰Ґ Пѓ.
(c) I(Пѓ) is a G-submodule of K[X].
137
B. Bitableaux and the Straightening Law Revisited

For п¬Ѓelds of characteristic 0 the ideal I(Пѓ) can also be described as a product of
determinantal ideals. Let IПѓ be the ideal generated by all monomials of shape Пѓ =
(s1 , . . . , sp ):
p
Пѓ
I= Isi (X).
i=1

(11.2) Proposition. Let Пѓ be a diagram.
(a) IПѓ is the K-subspace generated by all monomials Вµ such that |Вµ| вЉѓ Пѓ. It is a G-
submodule of K[X].
(b) If char K = 0, then IПѓ = I(Пѓ) .

Proof: (a) is trivial and (b) follows at once from (10.9). вЂ”

B. Bitableaux and the Straightening Law Revisited

Let ОЅ be a monomial of shape Пѓ. Since I(Пѓ) has a basis of standard monomials, the
standard monomials Вµ appearing in the standard representation

aВµ в€€ K, aВµ = 0,
ОЅ= aВµ Вµ,

all have shape в‰Ґ Пѓ. This representation can be split into two parts:

ОЅ= aВµ Вµ + aВµ Вµ.
|Вµ|=Пѓ |Вµ|<Пѓ

In order to analyze the G-structure of K[X], we need some information about the п¬Ѓrst
of these summands. In some sense it can be computed by a seperate consideration of the
вЂњrow partвЂќ and the вЂњcolumn partвЂќ of ОЅ (cf. (11.4),(c)). For this purpose we need a more
п¬‚exible notation.
Let Пѓ be a diagram. A tableau ОЈ of shape Пѓ on {1, . . . , m} is a map

ОЈ : Пѓ в€’в†’ {1, . . . , m}.

Pictorially, ОЈ вЂњwritesвЂќ a number between 1 and m into each of the вЂњboxesвЂќ of Пѓ. An
example:

3 2 6 7 7

1 4 5 6

2 3

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