, ,

Theorem 5.1. If the matrix

L

is generic, that is, every entry

L_{i j} = \sum_{k = 1}^{n} a_{i j k} t_{i k}

is a generic linear combination of the variable

t_{i 1}, . . ., t_{i n}

, then 1.1 holds.

The key lemma is:

Lemma 5.2. Let

V_{1}, . . ., V_{m}

be subspaces of

R_{1}

. If

\sum_{i = 1}^{m} dim V_{i} \geq n + m

then

dim \prod_{i = 1}^{m} V_{i} < \prod_{i = 1}^{m} dim V_{i}

, i.e. there is a non-trivial linear relation among the generators of the product

\prod_{i = 1}^{m} V_{i}

obtained by multiplying

K

-bases of the

V_{i}

Proof. By induction on $n$ and $m$ . If one of the $V_{i}$ is principal then we can simply skip it. The case $m = 2$ is easy: the assumption is equivalent to $dim (V_{1} \cap V_{2}) \geq 2$ and for $f, g \in V_{1} \cap V_{2}$ we get the non-trivial relation $f g - g f = 0$ . For $m > 2$ , if $dim (V_{i} \cap V_{j}) \geq 2$ for some $i \neq j$ then the non-trivial relation above gives a non-trivial relation also for $V_{1} \dots V_{m}$ . Therefore we may assume that $dim (V_{i} \cap V_{j}) < 2$ , and, since none of the $V_{i}$ is principal, also none of the $V_{i}$ is $R_{1}$ . The case $n = 2$ follows and to prove the assertion in the general case we may assume that $1 < d_{i} < n$ for all $i$ . Further we may assume also that the $V_{i}$ are generic, the dimension of $V_{1} \dots V_{m}$ for special $V_{i}$ can be only smaller. By the genericity of the $V_{i}$ we may find $K$ -bases $f_{i j}$ of $V_{i}$ so that any set of $n$ elements in the set ${f_{i j} : i = 1, . . ., m, a n d j = 1, . . ., d_{i}}$ is a basis of $R_{1}$ . Now let $x$ be a general linear form (it suffices that $x$ is not contained in any sum of the $V_{i}$ which is a proper subspace of $R_{1}$ ). Since $x \notin V_{i}$ we have that $dim V_{i} + (x) / (x) = d_{i}$ , so by induction on $n$ we may find a non-trivial relation among the generators of $V_{1} \dots V_{m}$ modulo $x$ . In other words there exists a relation of the form $\sum λ_{α} f_{1 α_{1}} \dots f_{m α_{m}} = x h$ where $λ_{α} \in K$ , the sum is extended to all the $α$ in $\prod_{i = 1}^{m} {1, . . ., d_{i}}$ and at least one of the $λ_{α}$ is non-zero. We may assume $λ_{α} \neq 0$ for $α = (1, 1, . . ., 1)$ . By the above relation we have that $x h \in \prod_{i = 1}^{m} V_{i}$ and hence $x h \in \prod_{i \neq j} V_{i}$ for all $j$ . But form 2.1 we see immediately that $x$ acts as a non-zero divisor in degree $m - 1$ and higher on the ideal generated by $\prod_{i \neq j} V_{i}$ . It follows that $h \in \prod_{i \neq j} V_{i}$ for all $j$ . By the choice of the $f_{i j}$ and since $\sum_{i = 1}^{m} d_{i} \geq n + m$ we may write $x$ as a linear combination of the $f_{i j}$ with $i = 1, . . ., m,$ and $1 < j \leq d_{1}$ . It follows that $x h$ can be written as a linear combination of the $f_{1 α_{1}} \dots f_{m α_{m}}$ with $α \neq (1, 1, . . ., 1)$ . Hence we obtain a relation $\sum λ_{α}^{'} f_{1 α_{1}} \dots f_{m α_{m}} = 0$ with $λ_{α}^{'} = λ_{α} \neq 0$ for $α = (1, 1, . . ., 1)$ . □

Now we are ready to prove:

Proof. of 5.1 Set $I = I_{2} (L)$ . Let $<$ be a term order on the $t_{i j}$ . After a change of name of the variables in the $i$ -th row of $L$ if needed, we may assume that $t_{i j + 1} > t_{i j}$ for all $j = 1, . . ., n - 1$ and for all $i = 1, . . ., m$ . Let $J$ be the ideal generated by the monomials $t_{i_{1} j_{1}} \dots t_{i_{k} j_{k}}$ satisfying conditions:
$(*) {\begin{matrix} 1 \leq i_{1} < \cdot \cdot \cdot < i_{k} \leq m, \\ 1 \leq j_{1}, . . ., j_{k} \leq n, \\ j_{1} + \cdot \cdot \cdot + j_{k} \geq n + k . \end{matrix}$ We will show that the initial ideal of $I$ with respect to $<$ is equal to $J$ . From this the assertion follows immediately. It is a simple exercise on primary decompositions that the equality $J = i n (I)$ follows from three facts:
(1) $J \subseteq i n (I)$ , (2) $J$ and $I$ have the same codimension and degree, (3) $J$ is unmixed.
For (1) we have to show that for each pair of sequences of integers satisfying conditions (*) the monomial $t_{i_{1} j_{1}} \dots t_{i_{k} j_{k}}$ is in $i n (I)$ . As $L$ is generic, the initial ideal $i n (I)$ is the multigraded generic initial ideal of $I$ with respect to $>$ . Hence $i n (I)$ is Borel fixed is the multigraded sense, see [1] . In characteristic $0$ this means that if a monomial $M$ is in $i n (I)$ and $t_{i j} | M$ then $t_{i k} M / t_{i j}$ is in $i n (I)$ as well for all the $k > j$ . In arbitrary characteristic the same assertion is also true as long as $M$ is square-free. It follows that, (no matter what the characteristic is), it suffices to show that there exists an $f$ in $I$ such that $i n (f) = t_{i_{1} p_{1}} \dots t_{i_{k} p_{k}}$ and $p_{1} \leq j_{1}, . . ., p_{k} \leq j_{k}$ . To this end, consider the linear forms $f_{i j}$ defined (implicitly) by the relation $x_{k} = \sum_{k = 1}^{n} f_{i j} a_{i k j}$ for all $j$ . By the construction of Section 4 we see that $I$ is the kernel of the map $φ$ . Now for $s = 1, . . ., k$ consider the subspace $W_{i_{s}}$ generated by the $f_{i_{s} j}$ with $j \leq j_{s}$ . Since, by assumption $\sum_{s = 1}^{k} dim W_{i_{s}} = \sum_{s = 1}^{k} j_{s} \geq n + k$ , by Lemma 5.2 we have that there exists a non-trivial relation among the generators of the product $W_{i_{1}} \dots W_{i_{k}}$ . This implies that the $I$ contains a non-zero polynomial $f$ supported on the set of the monomials $t_{i_{1} p_{1}} \dots t_{i_{k} p_{k}}$ and $p_{1} \leq j_{1}, . . ., p_{k} \leq j_{k}$ . Take $i n (f)$ to get what we want.
As for the step (2) and (3), the ideal of $I$ is a generic determinantal ideal and its numerical invariants are well-known: its codimension is $(m - 1) (n - 1)$ and the its degree is $(\binom{m + n - 2}{m - 1})$ . Knowing the generators of $J$ we can describe the facets of the associated simplicial complex $Δ (J)$ . Then we can read from the descriptions of the facets the codimension, the degree of $J$ and check that it is unmixed. The facets of $Δ (J)$ have the following description: for each $p = (p_{1}, . . ., p_{m}) \in {1, . . ., n}^{m}$ with $p_{1} + . . ., p_{m} = n + m - 1$ we let $F_{p} = {t_{i j} : i = 1, . . ., m and 1 \leq j \leq p_{i}}$ It is easy to check that any such $F_{p}$ is a facet of $Δ (J)$ . On the other hand if $F$ is a face of $Δ (J)$ let $a (F) = {i : \exists j with t_{i j} \in F}$ and $j_{i} = max {j : t_{i j} \in F}$ if $i \in a (F)$ . Then set $q = (q_{1}, . . ., q_{m})$ with $q_{i} = j_{i}$ if $a \in a (F)$ and $q_{i} = 1$ otherwise. Note that $q_{1} + \cdot \cdot \cdot + q_{m} = \sum_{i \in a (F)} j_{i} + m - | a (F) |$ and that $\sum_{i \in a (F)} j_{i} < n + | a (F) |$ since ${t_{i j_{i}} : i \in a (F)} \subset F \in Δ (J)$ . It follows that $q_{1} + \cdot \cdot \cdot + q_{m} < n + m$ . So, increasing the $q_{i}$ 's if needed, we may take $p = (p_{1}, . . ., p_{m}) \in {1, . . ., n}^{m}$ with $p_{1} + . . ., p_{m} = n + m - 1$ and $q_{i} \leq p_{i}$ .
It follows that $F \subseteq F_{p}$ .
From the description above we see that the cardinality of each $F_{p}$ is $n + m - 1$ . It follows that $J$ is unmixed of codimension $(m - 1) (n - 1)$ . The degree $J$ is the number of facets of $Δ (J)$ , that is the number of $p = (p_{1}, . . ., p_{m}) \in {1, . . ., n}^{m}$ with $p_{1} + \cdot \cdot \cdot + p_{m} = n + m - 1$ . Setting $q_{i} = p_{i} - 1$ , we see that the number of facets of $Δ (J)$ is the number of $q = (q_{1}, . . ., q_{m}) \in {0, . . ., n - 1}^{m}$ with $q_{1} + \cdot \cdot \cdot + q_{m} = n - 1$ , that is, the number of monomials of degree $n - 1$ in $m$ variables. This number is $(\binom{m + n - 2}{m - 1})$ . We have checked that (2) and (3) hold. The proof of the theorem is now complete. □

Let us single out the following corollary of the proof of of 5.1 :

Corollary 5.3. With the notations of the proof of 5.1 we have:

(a) If $i_{1} < \cdot \cdot \cdot < i_{k}$ then a monomial $t_{i_{1} j_{1}} \dots t_{i_{k} j_{k}}$ is in $J$ iff $j_{1} + \cdot \cdot \cdot + j_{k} \geq n + k$ .
(b) For every monomial $M = t_{i_{1} j_{1}} \dots t_{i_{k} j_{k}} \in J$ with $i_{1} < \cdot \cdot \cdot < i_{k}$ there exists a polynomial $f_{M} \in I$ of the form $f_{M} = M + \sum_{v} λ_{v} t_{i_{1} v_{1}} \dots t_{i_{k} v_{k}}$ where $λ_{v} \in K$ , $v \in Π_{h = 1}^{k} {1, 2, . . ., j_{h}}$ , and $t_{i_{1} v_{1}} \dots t_{i_{k} v_{k}} \notin J$ .
(c) The set of the polynomials $f_{M}$ is a Gröbner basis of $I$ with respect to any term order $<$ on $K [t_{i j}]$ satisfying $t_{i j + 1} > t_{i j}$ for all $j = 1, . . ., n - 1$ and for all $i = 1, . . ., m$ .

Proof. (a) follows form the definition of $J$ . For (b) we argue as follows. Let $<$ be a term order on $K [t_{i j}]$ satisfying $t_{i j + 1} > t_{i j}$ for all $j = 1, . . ., n - 1$ and for all $i = 1, . . ., m$ . We have seen in the proof of 5.1 that $J = i n_{<} (I)$ . Considering the reduced expression, we have that for every monomial $M = t_{i_{1} j_{1}} \dots t_{i_{k} j_{k}} \in J$ there exists a polynomial $f_{M}$ in $I$ with initial term $M$ and all the others terms not in $J$ . Suppose that one the non-leading terms of $f_{M}$ , say $N = t_{i_{1} v_{1}} \dots t_{i_{k} v_{k}}$ , does not satisfies the condition $v_{h} \leq j_{h}$ for all $h = 1, . . ., k$ . So there exists an $h$ in ${1, 2, . . ., k}$ , say $h_{1}$ , such that $v_{h_{1}} > j_{h_{1}}$ . We claim that there exists a term order $<_{1}$ such that $t_{i j + 1} >_{1} t_{i j}$ for all $i, j$ and such that $N >_{1} M$ . Then it follows that the initial term of $f_{M}$ with respect to $<_{1}$ is not $M$ and hence in must be a monomial not in $J$ . This contradicts the fact, proved in 5.1 that $i n_{<_{1}} (I) = J$ . It remains to prove the existence of a term order $<_{1}$ as above. To this end it is suffices to find weights $w_{i j} \in N$ such that $w_{i j} < w_{i j + 1}$ for all $i, j$ and $w (M) < w (N)$ , that is $w_{i_{1}, j_{1}} + \cdot \cdot \cdot + w_{i_{k} j_{k}} < w_{i_{1} v_{1}} + \cdot \cdot \cdot + w_{i_{k} v_{k}}$ Just take $w_{i j} = j$ if $i \neq i_{h_{1}}$ of if $i = i_{h_{1}}$ and $j < v_{h_{1}}$ and $w_{i j} = a + j$ otherwise with $a$ large enough. Finally (c) is a direct consequence of (b). □

As explained in Section 4 from 5.1 follows that

A (V)

is Koszul for generic

V

. To get more precise information about the structure of

A (V)

we analyze in details the defining equations of of

B (V)

and

A (V)

. To this end we recall the definition of homogeneous ASL on a poset.

Let

(H, >)

be a finite poset and denote by

K [H]

the polynomial ring whose variables are the elements of

H

. Let

J_{H}

be the monomial ideal of

K [H]

generated by

x y

with

x, y \in H

such that

x

and

y

are incomparable in

H

Definition 5.4. Let

A = K [H] / I

where

I

is a homogeneous ideal (with respect to the usual grading). One says that

A

is a homogeneous ASL on

H

(ASL1) The (residue classes of the) monomials not in $J_{H}$ are linearly independent in $A$ .
(ASL2) For every $x, y \in H$ such that $x$ and $y$ are incomparable the ideal $I$ contains a polynomial of the form $x y - \sum λ z t$ with $λ \in K$ , $z, t \in H$ , $z \leq t$ , $z < x$ and $z < y$ .

A linear extension of the poset

(H, <)

is a total order

<_{1}

H

such that

x <_{1} y

x < y

. A revlex term order

τ

K [H]

is said to be a revlex linear extension of

<

τ

induces on

H

a linear extension of

<

. For obvious reasons, if

A = K [H] / I

is a homogeneous ASL on

H

and

τ

is a revlex linear extension of

<

then the polynomials in (ASL2) form a Gröbner basis of

I

and

i n_{τ} (I) = J_{H}

In a sense the converse in also true:

Lemma 5.5. Let

A = K [H] / I

where

I

is a homogeneous ideal. Assume that for every revlex linear extension

τ

<

one has

i n_{τ} (I) = J_{H}

. Then

A

is an ASL on

H

Proof. Let $τ$ be a revlex linear extension of $<$ . Since $i n_{τ} (I) = J_{H}$ the monomials not in $J_{H}$ form a $K$ -basis of $A$ , hence ASL1 is satisfied. Let $x, y \in H$ be incomparable elements. Then $x y \in i n_{τ} (I)$ and hence there exists $F \in I$ with $i n_{τ} (F) = x y$ . We can take $F$ reduced in the sense that $x y$ is the only term in $F$ belonging to $J_{H}$ . It follows that $F$ have the form $x y - \sum λ z t$ with $λ \in K$ , $z, t \in H$ and $z \leq t$ . Assume, by contradiction that this polynomial does not satisfy the conditions required in ASL2. Then there exist a non-leading term $z_{1} t_{1}$ appearing in $F$ such that $z_{1} ≯ x$ or $z_{1} ≯ y$ . Say $z_{1} ≯ x$ . It is easy to see that one can find a linear extension $<_{1}$ of $<$ such that $x <_{1} z_{1}$ . Denote by $σ$ the revlex term order associated with $<_{1}$ . Then $x y$ is smaller than $z_{1} t_{1}$ with respect to $σ$ and hence $i n_{σ} (F)$ is a term not in $J_{H}$ , contradicting the assumption. □

For a given sequence of positive integers

d = d_{1}, . . ., d_{m}

we set

H (d) = {1, . . ., d_{1}} \times \cdot \cdot \cdot \times {1, . . ., d_{m}}

and note that

H (d)

is a sublattice of

N^{m}

with respect to the natural partial order

α \leq β

iff

α_{i} \leq β_{i}

for all

i

. The rank

rk α

of an element

α = (α_{i}) \in H (d)

α_{1} + \cdot \cdot \cdot + α_{m} - m

Set

H_{n} (d) = {α \in H (d) : rk α < n}

With the notation of Section 4 we have a presentation

φ^{'} : T (V) \to B (V)

where

T (V) = K [t_{i j} : i = 1, . . ., m, j = 1, . . ., d_{i}]

. As a corollary of 5.1 , by elimination we obtain a description

Ker φ^{'}

Corollary 5.6. Let

V_{1}, . . ., V_{m}

be generic spaces of dimension

d_{1}, . . ., d_{m}

and let

f_{i j}

with

j = 1, . . ., d_{i}

be generic generators of

V_{i}

. Let

<

be a term order such that

t_{i j} < t_{i j + 1}

Then the ideal

Ker φ^{'}

has a Gröbner basis whose elements are the polynomials

f_{M}

of 5.3 with

M = t_{i_{1} j_{1}} \dots t_{i_{k} j_{k}}

with

i_{1} < \cdot \cdot \cdot < i_{k}

1 \leq j_{h} \leq d_{i_{h}}

and

j_{1} + \cdot \cdot \cdot + j_{k} \geq n + k

Set

T_{i} = K [t_{i j} : 1 \leq j \leq d_{i}]

and denote by

T^{*}

the Segre product

T_{1} * \cdot \cdot \cdot * T_{m}

. Consider variables

s_{α}

with

α \in H (d)

and the polynomial ring

K [s_{α} : α \in H (d)]

. For each

α \in H (d)

set

t_{α} = t_{1 α_{1}} \dots t_{m α_{m}}

We get a presentation

K [s_{α} : α \in H (d)] \to T^{*}

by sending

s_{α}

t_{α}

whose kernel is generated by the Hibi relations:

s_{α} s_{β} - s_{α \lor β} s_{α \land β} .

Adopting the notation of Section 4 we get a presentation

A (V) = T^{*} / Q

. To describe the generators of

Q

we do the following. For every

α \in H (d) \ H_{n} (d)

consider the polynomial

f_{M}

of 5.3 associated with the monomial

M = t_{1 α_{1}} \dots t_{m α_{m}}

. Set

L_{α} = f_{M}

. So for all

α \in H (d) \ H_{n} (d)

we have

L_{α} = t_{α} - \sum_{β < α} λ_{α β} t_{β} with λ_{α β} \in K

and the arguments of 3.4 show that the

L_{α}

's form a Gröbner basis of

Q

for any term order such that

t_{i j} > t_{i j - 1}

for all

i, j

. It follows that

i n (Q) = (t_{1 α_{1}} \dots t_{m α_{m}} : α \in H (d) \ H_{n} (d))

for any term order such that

t_{i j} > t_{i j - 1}

for all

i, j

. Then

T^{*} / i n (Q)

is defined as a quotient of

K [s_{α} : α \in H (d)]

by:

(1) the Hibi relations

s_{α} s_{β} - s_{α \lor β} s_{α \land β}

with

α, β \in H (d)

incomparable.

(2)

s_{α}

with

α \in H (d) \ H_{n} (d)

It is easy to see that the elements of type (1) and (2) form a Gröbner basis for any revlex linear extension of the partial order on

H (d)

. Hence a

K

-basis of

T^{*} / i n (Q)

is given by the monomials not in

J_{H_{n} (d)} + (H (d) \ H_{n} (d))

. This in turns implies that the Hibi relations and the relation

L_{α}

form a Gröbner basis with respect to any revlex linear extension of the partial order on

H (d)

of the defining ideal of

A (V)

as a quotient of

K [s_{α} : α \in H (d)]

by the map sending

s_{α}

f_{1 α_{1}} \dots f_{m α_{m}}

Summing up, we have:

Theorem 5.7. Let

V_{1}, . . ., V_{m}

be generic spaces of dimension

d_{1}, . . ., d_{m}

and take generic generators

f_{i j}

V_{i}

. Then:

(1) We have a surjective $K$ -algebra homomorphism $F : K [s_{α} : α \in H_{n} (d)] \to A (V)$ sending the variable $s_{α}$ to $f_{1 α_{1}} \dots f_{m α_{m}}$ .
(2) Ker F is generated by two types of polynomials:
- (a) $s_{α} s_{β} - s_{α \lor β} s_{α \land β}$ if $α, β \in H_{n} (d)$ are incomparable and $α \lor β \in H_{n} (d)$ .
- (b) $s_{α} s_{β} - \sum λ_{γ} s_{γ} s_{α \land β}$ if $α, β \in H_{n} (d)$ are incomparable and $α \lor β \notin H_{n} (d)$ and the sum is extended to the $γ \in H_{n} (d)$ with $γ \leq α \lor β$ and $λ_{γ} \in K$ (and depends also on $α$ and $β$ ).
(3) The polynomials of type (a) and (b) form a Gröbner basis of $Ker F$ with respect to any revlex linear extension of the partial order of $H_{n} (d)$ .
(4) $A (V)$ is a homogeneous ASL on the poset $H_{n} (d)$ .
(5) $A (V)$ is normal, Cohen-Macaulay and Koszul.
(6) $A (V)$ is defined, as a quotient of the Segre product $T^{*}$ , by a Gröbner basis of linear forms.
(7) The Krull dimension of $A (V)$ is $min {n, dim T^{*} = 1 - m + \sum_{i = 1}^{m} d_{i}}$ and its degree is the number of maximal chains in $H_{n} (d)$ .

Proof. (1), (2), (3) and (6) follows immediately from the discussion above and (4) follows 5.5 and (3). As for (5), normality is proved in 2.2 , Koszulness follows from the general argument of Section 4 and also from (3). The Cohen-Macaulay property and (7) follows from (4) by applying [4,Chap.5] since $H_{n} (d)$ is a wonderful poset. □

As a corollary we obtain:

Corollary 5.8. For every

m

and

n

, the Veronese subring

R^{(m)}

R = K [x_{1}, . . ., x_{n}]

is an ASL on the poset

H_{n} (d)

where

d = n, n, . . ., n

(

m

-times).

Remark 5.9. The realization of the

m

-th Veronese subring of a polynomial ring in

n

variables as a homogeneous ASL has been done before for

n = 2

and any

m

in [22] , for

n = m = 3

in [15] and in two different ways, and for

n = m = 4

in [23] .

An interesting consequence of 5.6 is:

Corollary 5.10. Let

V_{1}, . . ., V_{m}

be subspaces of

R_{1}

of dimension

d_{1}, d_{2}, . . ., d_{m}

then:

(a) $dim Π_{i = 1}^{m} V_{i} \leq | H_{n} (d) |$ .
(b) if the $V_{i}$ are generic then $dim Π_{i = 1}^{m} V_{i} = | H_{n} (d) |$ .
(c) if the $V_{i}$ are generic and if $f_{i j}$ with $j = 1, . . ., d_{i}$ are generic generators of $V_{i}$ then the set ${f_{1 j_{1}} \dots f_{m j_{m}} : (j_{1}, . . ., j_{m}) \in H_{n} (d)}$ is a $K$ -basis of $Π_{i = 1}^{m} V_{i}$ .
(d) if the $V_{i}$ are generic then: $dim Π_{i = 1}^{m} V_{i} = Π_{i = 1}^{m} dim V_{i}$ iff $\sum dim V_{i} < m + n$ .

Proof. Obviously (b) implies (a) and also (c) implies (b) and (d). So we have only to prove (c). By definition, the product $Π_{i = 1}^{m} V_{i}$ is the component of degree $(1, 1, . . ., 1)$ of the algebra $B (V)$ . Then the conclusion follows from 5.6 . □

Example 5.11. Take

n = 3

and

d_{1} = d_{2} = d_{3} = 2

and generic spaces

V_{i}

of dimension

d_{i}

. Note that, up to a choice of coordinates, we are in the situation of Example 3.8 and so the structure of

A (V)

has been already identified. But to describe the the ASL structure of

A (V)

we have take generic coordinates for the

V_{i}

, say

V_{i} = 〈 f_{i 1}, f_{i, 2} 〉

. In this case

H_{n} (d)

is the cube

{1, 2}^{3}

without the point

(2, 2, 2)

. We have a relation

f_{12} f_{22} f_{32} = \sum_{α \in H_{n} (d)} λ_{α} f_{1 α_{1}} f_{2 α_{2}} f_{3 α_{3}} .

Set

L = \sum_{α \in H_{n} (d)} λ_{α} s_{α}

. Then the defining equations of

A (V)

as a quotient of

K [s_{α} : α \in H_{n} (d)]

are:

\begin{matrix} s_{112} s_{221} - s_{111} L, & s_{121} s_{212} - s_{111} L, & s_{211} s_{122} - s_{111} L, \end{matrix}

\begin{matrix} s_{121} s_{211} - s_{111} s_{221}, & s_{112} s_{211} - s_{111} s_{212}, & s_{112} s_{121} - s_{111} s_{122}, \end{matrix}

\begin{matrix} s_{212} s_{221} - s_{211} L, & s_{122} s_{221} - s_{121} L, & s_{122} s_{212} - s_{112} L \end{matrix}

Remark 5.12. With an argument similar to that of 2.2 one can prove that the algebra

B (V)

is normal for any

V = V_{1}, . . ., V_{m}

. Furthermore, in the monomial and in the generic case one can prove that

B (V)

is Cohen-Macaulay. In the monomial case the Cohen-Macaulayness is a consequence of the normality. In generic case it follows form the fact that, by 5.1 , we can describe an initial ideal of its defining ideal and such initial ideal turns out to be associated with a shellable simplicial complex.

References

A.Aramova, K.Crona, E.De Negri Bigeneric initial ideals, diagonal subalgebras and bigraded Hilbert functions. J. Pure Appl. Algebra 150 (2000),no. 3, 215–235.
W.Bruns, A.Conca, Gröbner bases and determinantal ideals. Commutative algebra, singularities and computer algebra (Sinaia, 2002), 9–66, NATO Sci. Ser. II Math. Phys. Chem., 115, Kluwer Acad. Publ., Dordrecht, 2003.
W. Bruns and J. Herzog, Cohen-Macaulay Rings, Cambridge University Press, Cambridge, 1996.
W.Bruns, U.Vetter, Determinantal rings. Lecture Notes in Mathematics, 1327. Springer-Verlag, Berlin, 1988.
CoCoA Team, CoCoA: a system for doing Computations in Commutative Algebra, Available at http://cocoa.dima.unige.it
A.Conca, J.Herzog Castelnuovo-Mumford regularity of products of ideals. Collect. Math. 54 (2003), no. 2, 137–152.
C.De Concini, D.Eisenbud, C.Procesi, Hodge algebras, Astérisque, 91. Société Mathématique de France, Paris, 1982. 87 pp.
E.De Negri, Toric rings generated by special stable sets of monomials. Math. Nachr. 203 (1999), 31–45.
J. Edmonds, Submodular functions, matroids, and certain polyhedra, in Combinatorial Structures and Their Applications, R. Guy, H. Hanani, N. Sauer, and J. Schonheim (Eds.), Gordon and Breach, New York, 1970, pp. 69–87.
D.Eisenbud, Introduction to algebras with straightening laws. Ring theory and algebra, III (Proc. Third Conf., Univ. Oklahoma, Norman, Okla., 1979), pp. 243–268, Lecture Notes in Pure and Appl. Math., 55, Dekker, New York, 1980.
J.Herzog and T.Hibi, Discrete polymatroids. J. Algebraic Combin. 16 (2002), no. 3, 239–268.
J.Herzog and T.Hibi, G.Restuccia Strongly Koszul algebras. Math. Scand. 86 (2000), no. 2, 161–178.
J.Herzog and N.V.Trung, Gröbner bases and multiplicity of determinantal and Pfaffian ideals. Adv. Math. 96 (1992), no. 1, 1–37.
T.Hibi, Distributive lattices, affine semigroup rings and algebras with straightening laws. Commutative algebra and combinatorics (Kyoto, 1985), 93–109,Adv. Stud. Pure Math., 11, North-Holland, Amsterdam, 1987.
T.Hibi, K.Watanabe, Study of three-dimensional algebras with straightening laws which are Gorenstein domains. I. Hiroshima Math. J. 15 (1985), no. 1, 27–54.
T.Hibi, K.Watanabe, Study of three-dimensional algebras with straightening laws which are Gorenstein domains. II. Hiroshima Math. J. 15 (1985), no. 2, 321–340.
T.Hibi, Study of three-dimensional algebras with straightening laws which are Gorenstein domains. III. Hiroshima Math. J. 18 (1988), no. 2, 299–308.
J. Oxley, Matroid Theory, Oxford University Press, Oxford, 1992.
J.Roos, A description of the homological behaviour of families of quadratic forms in four variables, in Syzygies and Geometry, Boston 1995, A.Iarrobino, A.Martsinkovsky and J.Weyman eds., pp.86-95, Northeastern Univ. 1995.
B.Sturmfels, Gröbner Bases and Convex Polytopes, Amer. Math. Soc., Providence, RI,1995.
R.Villarreal, Monomial algebras. Monographs and Textbooks in Pure and Applied Mathematics, 238. Marcel Dekker, Inc., New York, 2001.
K.Watanabe, Study of algebras with straightening laws of dimension $2$ . Algebraic and topological theories (Kinosaki, 1984), 622–639, Kinokuniya, Tokyo, 1986.
K.Watanabe, Study of four-dimensional Gorenstein ASL domains. I. Integral posets arising from triangulations of a $2$ -sphere. Commutative algebra and combinatorics (Kyoto, 1985), 313–335, Adv. Stud. Pure Math., 11, North-Holland, Amsterdam, 1987.
V.Weispfenning, Comprehensive Gröbner bases. J. Symbolic Comput. 14 (1992), no. 1, 1–29.
D.Welsh, Matroid Theory, Academic Press, London, 1976.
N. White, A unique exchange property for bases, Linear Algebra Appl. 31 (1980), 81–91.

Dipartimento di Matematica, Universita di Genova, Genova, Italy E-mail address : conca@dima.unige.it

Aldo Conca