Lemma 5.2.
Let
${V}_{1},...,{V}_{m}$
be subspaces of
${R}_{1}$
. If
${\sum}_{i=1}^{m}dim{V}_{i}\ge n+m$
then
$dim{\prod}_{i=1}^{m}{V}_{i}<{\prod}_{i=1}^{m}dim{V}_{i}$
, i.e. there is a nontrivial linear relation among the generators of the product
${\prod}_{i=1}^{m}{V}_{i}$
obtained by multiplying
$K$
bases of the
${V}_{i}$
.
Now we are ready to prove:
Let us single out the following corollary of the proof of of 5.1 :
As explained in Section 4 from 5.1 follows that
$A\left(V\right)$
is Koszul for generic
$V$
. To get more precise information about the structure of
$A\left(V\right)$
we analyze in details the defining equations of of
$B\left(V\right)$
and
$A\left(V\right)$
. To this end we recall the definition of homogeneous ASL on a poset.
 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})\ge 2$ and for $f,g\in {V}_{1}\cap {V}_{2}$ we get the nontrivial relation $fggf=0$ . For $m>2$ , if $dim({V}_{i}\cap {V}_{j})\ge 2$ for some $i\ne j$ then the nontrivial relation above gives a nontrivial relation also for ${V}_{1}\cdots {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}\cdots {V}_{m}$ for special ${V}_{i}$ can be only smaller. By the genericity of the ${V}_{i}$ we may find $K$ bases ${f}_{ij}$ of ${V}_{i}$ so that any set of $n$ elements in the set $\{{f}_{ij}:i=1,...,m,andj=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}+\left(x\right)/\left(x\right)={d}_{i}$ , so by induction on $n$ we may find a nontrivial relation among the generators of ${V}_{1}\cdots {V}_{m}$ modulo $x$ . In other words there exists a relation of the form $$\sum {\lambda}_{\alpha}{f}_{1{\alpha}_{1}}\cdots {f}_{m{\alpha}_{m}}=xh$$ where ${\lambda}_{\alpha}\in K$ , the sum is extended to all the $\alpha $ in ${\prod}_{i=1}^{m}\{1,...,{d}_{i}\}$ and at least one of the ${\lambda}_{\alpha}$ is nonzero. We may assume ${\lambda}_{\alpha}\ne 0$ for $\alpha =(1,1,...,1)$ . By the above relation we have that $xh\in {\prod}_{i=1}^{m}{V}_{i}$ and hence $xh\in {\prod}_{i\ne j}{V}_{i}$ for all $j$ . But form 2.1 we see immediately that $x$ acts as a nonzero divisor in degree $m1$ and higher on the ideal generated by ${\prod}_{i\ne j}{V}_{i}$ . It follows that $h\in {\prod}_{i\ne j}{V}_{i}$ for all $j$ . By the choice of the ${f}_{ij}$ and since ${\sum}_{i=1}^{m}{d}_{i}\ge n+m$ we may write $x$ as a linear combination of the ${f}_{ij}$ with $i=1,...,m,$ and $1<j\le {d}_{1}$ . It follows that $xh$ can be written as a linear combination of the ${f}_{1{\alpha}_{1}}\cdots {f}_{m{\alpha}_{m}}$ with $\alpha \ne (1,1,...,1)$ . Hence we obtain a relation $$\sum {\lambda}_{\alpha}^{\prime}{f}_{1{\alpha}_{1}}\cdots {f}_{m{\alpha}_{m}}=0$$ with ${\lambda}_{\alpha}^{\prime}={\lambda}_{\alpha}\ne 0$ for $\alpha =(1,1,...,1)$ . □

Proof.
of 5.1 Set
$I={I}_{2}\left(L\right)$
. Let
$<$
be a term order on the
${t}_{ij}$
. After a change of name of the variables in the
$i$
th row of
$L$
if needed, we may assume that
${t}_{ij+1}>{t}_{ij}$
for all
$j=1,...,n1$
and for all
$i=1,...,m$
. Let
$J$
be the ideal generated by the monomials
$${t}_{{i}_{1}{j}_{1}}\cdots {t}_{{i}_{k}{j}_{k}}$$
satisfying conditions: $$(*)\{\begin{array}{c}1\le {i}_{1}<\cdot \cdot \cdot <{i}_{k}\le m,\\ 1\le {j}_{1},...,{j}_{k}\le n,\\ {j}_{1}+\cdot \cdot \cdot +{j}_{k}\ge n+k.\end{array}$$ 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=in\left(I\right)$ follows from three facts:(1) $J\subseteq in\left(I\right)$ , (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}}\cdots {t}_{{i}_{k}{j}_{k}}$ is in $in\left(I\right)$ . As $L$ is generic, the initial ideal $in\left(I\right)$ is the multigraded generic initial ideal of $I$ with respect to $>$ . Hence $in\left(I\right)$ is Borel fixed is the multigraded sense, see [1] . In characteristic $0$ this means that if a monomial $M$ is in $in\left(I\right)$ and ${t}_{ij}M$ then ${t}_{ik}M/{t}_{ij}$ is in $in\left(I\right)$ as well for all the $k>j$ . In arbitrary characteristic the same assertion is also true as long as $M$ is squarefree. It follows that, (no matter what the characteristic is), it suffices to show that there exists an $f$ in $I$ such that $in\left(f\right)={t}_{{i}_{1}{p}_{1}}\cdots {t}_{{i}_{k}{p}_{k}}$ and ${p}_{1}\le {j}_{1},...,{p}_{k}\le {j}_{k}$ . To this end, consider the linear forms ${f}_{ij}$ defined (implicitly) by the relation ${x}_{k}={\sum}_{k=1}^{n}{f}_{ij}{a}_{ikj}$ for all $j$ . By the construction of Section 4 we see that $I$ is the kernel of the map $\phi $ . Now for $s=1,...,k$ consider the subspace ${W}_{{i}_{s}}$ generated by the ${f}_{{i}_{s}j}$ with $j\le {j}_{s}$ . Since, by assumption ${\sum}_{s=1}^{k}dim{W}_{{i}_{s}}={\sum}_{s=1}^{k}{j}_{s}\ge n+k$ , by Lemma 5.2 we have that there exists a nontrivial relation among the generators of the product ${W}_{{i}_{1}}\cdots {W}_{{i}_{k}}$ . This implies that the $I$ contains a nonzero polynomial $f$ supported on the set of the monomials ${t}_{{i}_{1}{p}_{1}}\cdots {t}_{{i}_{k}{p}_{k}}$ and ${p}_{1}\le {j}_{1},...,{p}_{k}\le {j}_{k}$ . Take $in\left(f\right)$ 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 wellknown: its codimension is $(m1)(n1)$ and the its degree is $\left(\genfrac{}{}{0ex}{}{m+n2}{m1}\right)$ . Knowing the generators of $J$ we can describe the facets of the associated simplicial complex $\Delta \left(J\right)$ . 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 $\Delta \left(J\right)$ have the following description: for each $p=({p}_{1},...,{p}_{m})\in \{1,...,n{\}}^{m}$ with ${p}_{1}+...,{p}_{m}=n+m1$ we let $${F}_{p}=\{{t}_{ij}:i=1,...,m\text{and}1\le j\le {p}_{i}\}$$ It is easy to check that any such ${F}_{p}$ is a facet of $\Delta \left(J\right)$ . On the other hand if $F$ is a face of $\Delta \left(J\right)$ let $a\left(F\right)=\{i:\exists j\text{with}{t}_{ij}\in F\}$ and ${j}_{i}=max\{j:{t}_{ij}\in F\}$ if $i\in a\left(F\right)$ . Then set $q=({q}_{1},...,{q}_{m})$ with ${q}_{i}={j}_{i}$ if $a\in a\left(F\right)$ and ${q}_{i}=1$ otherwise. Note that $${q}_{1}+\cdot \cdot \cdot +{q}_{m}={\sum}_{i\in a\left(F\right)}{j}_{i}+m\lefta\right(F\left)\right$$ and that $${\sum}_{i\in a\left(F\right)}{j}_{i}<n+\lefta\right(F\left)\right$$ since $\{{t}_{i{j}_{i}}:i\in a(F\left)\right\}\subset F\in \Delta \left(J\right)$ . 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+m1$ and ${q}_{i}\le {p}_{i}$ .It follows that $F\subseteq {F}_{p}$ .From the description above we see that the cardinality of each ${F}_{p}$ is $n+m1$ . It follows that $J$ is unmixed of codimension $(m1)(n1)$ . The degree $J$ is the number of facets of $\Delta \left(J\right)$ , that is the number of $p=({p}_{1},...,{p}_{m})\in \{1,...,n{\}}^{m}$ with ${p}_{1}+\cdot \cdot \cdot +{p}_{m}=n+m1$ . Setting ${q}_{i}={p}_{i}1$ , we see that the number of facets of $\Delta \left(J\right)$ is the number of $q=({q}_{1},...,{q}_{m})\in \{0,...,n1{\}}^{m}$ with ${q}_{1}+\cdot \cdot \cdot +{q}_{m}=n1$ , that is, the number of monomials of degree $n1$ in $m$ variables. This number is $\left(\genfrac{}{}{0ex}{}{m+n2}{m1}\right)$ . We have checked that (2) and (3) hold. The proof of the theorem is now complete. □
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}}\cdots {t}_{{i}_{k}{j}_{k}}$ is in $J$ iff ${j}_{1}+\cdot \cdot \cdot +{j}_{k}\ge n+k$ .
 (b) For every monomial $M={t}_{{i}_{1}{j}_{1}}\cdots {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}{\lambda}_{v}{t}_{{i}_{1}{v}_{1}}\cdots {t}_{{i}_{k}{v}_{k}}$$ where ${\lambda}_{v}\in K$ , $v\in {\Pi}_{h=1}^{k}\{1,2,...,{j}_{h}\}$ , and ${t}_{{i}_{1}{v}_{1}}\cdots {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\left[{t}_{ij}\right]$ satisfying ${t}_{ij+1}>{t}_{ij}$ for all $j=1,...,n1$ 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\left[{t}_{ij}\right]$ satisfying ${t}_{ij+1}>{t}_{ij}$ for all $j=1,...,n1$ and for all $i=1,...,m$ . We have seen in the proof of 5.1 that $J=i{n}_{<}\left(I\right)$ . Considering the reduced expression, we have that for every monomial $M={t}_{{i}_{1}{j}_{1}}\cdots {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 nonleading terms of ${f}_{M}$ , say $N={t}_{{i}_{1}{v}_{1}}\cdots {t}_{{i}_{k}{v}_{k}}$ , does not satisfies the condition ${v}_{h}\le {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}_{ij+1}{>}_{1}{t}_{ij}$ 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}}\left(I\right)=J$ . It remains to prove the existence of a term order ${<}_{1}$ as above. To this end it is suffices to find weights ${w}_{ij}\in \mathbb{N}$ such that ${w}_{ij}<{w}_{ij+1}$ for all $i,j$ and $w\left(M\right)<w\left(N\right)$ , 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}_{ij}=j$ if $i\ne {i}_{{h}_{1}}$ of if $i={i}_{{h}_{1}}$ and $j<{v}_{{h}_{1}}$ and ${w}_{ij}=a+j$ otherwise with $a$ large enough. Finally (c) is a direct consequence of (b). □
Let
$(H,>)$
be a finite poset and denote by
$K\left[H\right]$
the polynomial ring whose variables are the elements of
$H$
. Let
${J}_{H}$
be the monomial ideal of
$K\left[H\right]$
generated by
$xy$
with
$x,y\in H$
such that
$x$
and
$y$
are incomparable in
$H$
.
Definition 5.4.
Let
$A=K\left[H\right]/I$
where
$I$
is a homogeneous ideal (with respect to the usual grading). One says that
$A$
is a homogeneous ASL on
$H$
if
A linear extension of the poset
$(H,<)$
is a total order
${<}_{1}$
on
$H$
such that
$x{<}_{1}y$
if
$x<y$
. A revlex term order
$\tau $
on
$K\left[H\right]$
is said to be a revlex linear extension of
$<$
if
$\tau $
induces on
$H$
a linear extension of
$<$
. For obvious reasons, if
$A=K\left[H\right]/I$
is a homogeneous ASL on
$H$
and
$\tau $
is a revlex linear extension of
$<$
then the polynomials in (ASL2) form a Gröbner basis of
$I$
and
$i{n}_{\tau}\left(I\right)={J}_{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 $$xy\sum \lambda zt$$ with $\lambda \in K$ , $z,t\in H$ , $z\le t$ , $z<x$ and $z<y$ .
In a sense the converse in also true:
Lemma 5.5.
Let
$A=K\left[H\right]/I$
where
$I$
is a homogeneous ideal. Assume that for every revlex linear extension
$\tau $
of
$<$
one has
$i{n}_{\tau}\left(I\right)={J}_{H}$
. Then
$A$
is an ASL on
$H$
.
For a given sequence of positive integers
$d={d}_{1},...,{d}_{m}$
we set
$$H\left(d\right)=\{1,...,{d}_{1}\}\times \cdot \cdot \cdot \times \{1,...,{d}_{m}\}$$
and note that
$H\left(d\right)$
is a sublattice of
${\mathbb{N}}^{m}$
with respect to the natural partial order
$\alpha \le \beta $
iff
${\alpha}_{i}\le {\beta}_{i}$
for all
$i$
. The rank
$rk\alpha $
of an element
$\alpha =\left({\alpha}_{i}\right)\in H\left(d\right)$
is
${\alpha}_{1}+\cdot \cdot \cdot +{\alpha}_{m}m$
.
 Proof. Let $\tau $ be a revlex linear extension of $<$ . Since $i{n}_{\tau}\left(I\right)={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 $xy\in i{n}_{\tau}\left(I\right)$ and hence there exists $F\in I$ with $i{n}_{\tau}\left(F\right)=xy$ . We can take $F$ reduced in the sense that $xy$ is the only term in $F$ belonging to ${J}_{H}$ . It follows that $F$ have the form $$xy\sum \lambda zt$$ with $\lambda \in K$ , $z,t\in H$ and $z\le t$ . Assume, by contradiction that this polynomial does not satisfy the conditions required in ASL2. Then there exist a nonleading term ${z}_{1}{t}_{1}$ appearing in $F$ such that ${z}_{1}\mathrm{\ngtr}x$ or ${z}_{1}\mathrm{\ngtr}y$ . Say ${z}_{1}\mathrm{\ngtr}x$ . It is easy to see that one can find a linear extension ${<}_{1}$ of $<$ such that $x{<}_{1}{z}_{1}$ . Denote by $\sigma $ the revlex term order associated with ${<}_{1}$ . Then $xy$ is smaller than ${z}_{1}{t}_{1}$ with respect to $\sigma $ and hence $i{n}_{\sigma}\left(F\right)$ is a term not in ${J}_{H}$ , contradicting the assumption. □
Set
$${H}_{n}\left(d\right)=\{\alpha \in H(d):rk\alpha <n\}$$
With the notation of Section 4 we have a presentation
${\phi}^{\prime}:T\left(V\right)\to B\left(V\right)$
where
$T\left(V\right)=K[{t}_{ij}:i=1,...,m,j=1,...,{d}_{i}]$
. As a corollary of 5.1 , by elimination we obtain a description
$Ker{\phi}^{\prime}$
:
Corollary 5.6.
Let
${V}_{1},...,{V}_{m}$
be generic spaces of dimension
${d}_{1},...,{d}_{m}$
and let
${f}_{ij}$
with
$j=1,...,{d}_{i}$
be generic generators of
${V}_{i}$
. Let
$<$
be a term order such that
${t}_{ij}<{t}_{ij+1}$
.
Then the ideal
$Ker{\phi}^{\prime}$
has a Gröbner basis whose elements are the polynomials
${f}_{M}$
of 5.3 with
$M={t}_{{i}_{1}{j}_{1}}\cdots {t}_{{i}_{k}{j}_{k}}$
with
${i}_{1}<\cdot \cdot \cdot <{i}_{k}$
,
$1\le {j}_{h}\le {d}_{{i}_{h}}$
and
${j}_{1}+\cdot \cdot \cdot +{j}_{k}\ge n+k$
.
Set
${T}_{i}=K[{t}_{ij}:1\le j\le {d}_{i}]$
and denote by
${T}^{*}$
the Segre product
${T}_{1}*\cdot \cdot \cdot *{T}_{m}$
. Consider variables
${s}_{\alpha}$
with
$\alpha \in H\left(d\right)$
and the polynomial ring
$K[{s}_{\alpha}:\alpha \in H(d\left)\right]$
. For each
$\alpha \in H\left(d\right)$
set
${t}_{\alpha}={t}_{1{\alpha}_{1}}\cdots {t}_{m{\alpha}_{m}}$
.
We get a presentation
$K[{s}_{\alpha}:\alpha \in H(d\left)\right]\to {T}^{*}$
by sending
${s}_{\alpha}$
to
${t}_{\alpha}$
whose kernel is generated by the Hibi relations:
$${s}_{\alpha}{s}_{\beta}{s}_{\alpha \vee \beta}{s}_{\alpha \wedge \beta}.$$
Adopting the notation of Section 4 we get a presentation
$A\left(V\right)={T}^{*}/Q$
. To describe the generators of
$Q$
we do the following. For every
$\alpha \in H\left(d\right)\backslash {H}_{n}\left(d\right)$
consider the polynomial
${f}_{M}$
of 5.3 associated with the monomial
$M={t}_{1{\alpha}_{1}}\cdots {t}_{m{\alpha}_{m}}$
. Set
${L}_{\alpha}={f}_{M}$
. So for all
$\alpha \in H\left(d\right)\backslash {H}_{n}\left(d\right)$
we have
$${L}_{\alpha}={t}_{\alpha}{\sum}_{\beta <\alpha}{\lambda}_{\alpha \beta}{t}_{\beta}\text{with}{\lambda}_{\alpha \beta}\in K$$
and the arguments of 3.4 show that the
${L}_{\alpha}$
's form a Gröbner basis of
$Q$
for any term order such that
${t}_{ij}>{t}_{ij1}$
for all
$i,j$
. It follows that
$$in\left(Q\right)=({t}_{1{\alpha}_{1}}\cdots {t}_{m{\alpha}_{m}}:\alpha \in H(d)\backslash {H}_{n}(d\left)\right)$$
for any term order such that
${t}_{ij}>{t}_{ij1}$
for all
$i,j$
. Then
${T}^{*}/in\left(Q\right)$
is defined as a quotient of
$K[{s}_{\alpha}:\alpha \in H(d\left)\right]$
by:
(1) the Hibi relations
${s}_{\alpha}{s}_{\beta}{s}_{\alpha \vee \beta}{s}_{\alpha \wedge \beta}$
with
$\alpha ,\beta \in H\left(d\right)$
incomparable.
(2)
${s}_{\alpha}$
with
$\alpha \in H\left(d\right)\backslash {H}_{n}\left(d\right)$
.
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\left(d\right)$
. Hence a
$K$
basis of
${T}^{*}/in\left(Q\right)$
is given by the monomials not in
${J}_{{H}_{n}\left(d\right)}+\left(H\right(d)\backslash {H}_{n}(d\left)\right)$
. This in turns implies that the Hibi relations and the relation
${L}_{\alpha}$
form a Gröbner basis with respect to any revlex linear extension of the partial order on
$H\left(d\right)$
of the defining ideal of
$A\left(V\right)$
as a quotient of
$K[{s}_{\alpha}:\alpha \in H(d\left)\right]$
by the map sending
${s}_{\alpha}$
to
${f}_{1{\alpha}_{1}}\cdots {f}_{m{\alpha}_{m}}$
.
Summing up, we have:
As a corollary we obtain:
Theorem 5.7.
Let
${V}_{1},...,{V}_{m}$
be generic spaces of dimension
${d}_{1},...,{d}_{m}$
and take generic generators
${f}_{ij}$
of
${V}_{i}$
. Then:
 (1) We have a surjective $K$ algebra homomorphism $F:K[{s}_{\alpha}:\alpha \in {H}_{n}(d\left)\right]\to A\left(V\right)$ sending the variable ${s}_{\alpha}$ to ${f}_{1{\alpha}_{1}}\cdots {f}_{m{\alpha}_{m}}$ .

(2)
$KerF$
is generated by two types of polynomials:
 (a) $${s}_{\alpha}{s}_{\beta}{s}_{\alpha \vee \beta}{s}_{\alpha \wedge \beta}$$ if $\alpha ,\beta \in {H}_{n}\left(d\right)$ are incomparable and $\alpha \vee \beta \in {H}_{n}\left(d\right)$ .
 (b) $${s}_{\alpha}{s}_{\beta}\sum {\lambda}_{\gamma}{s}_{\gamma}{s}_{\alpha \wedge \beta}$$ if $\alpha ,\beta \in {H}_{n}\left(d\right)$ are incomparable and $\alpha \vee \beta \notin {H}_{n}\left(d\right)$ and the sum is extended to the $\gamma \in {H}_{n}\left(d\right)$ with $\gamma \le \alpha \vee \beta $ and ${\lambda}_{\gamma}\in K$ (and depends also on $\alpha $ and $\beta $ ).
 (3) The polynomials of type (a) and (b) form a Gröbner basis of $KerF$ with respect to any revlex linear extension of the partial order of ${H}_{n}\left(d\right)$ .
 (4) $A\left(V\right)$ is a homogeneous ASL on the poset ${H}_{n}\left(d\right)$ .
 (5) $A\left(V\right)$ is normal, CohenMacaulay and Koszul.
 (6) $A\left(V\right)$ is defined, as a quotient of the Segre product ${T}^{*}$ , by a Gröbner basis of linear forms.
 (7) The Krull dimension of $A\left(V\right)$ is $min\{n,dim{T}^{*}=1m+{\sum}_{i=1}^{m}{d}_{i}\}$ and its degree is the number of maximal chains in ${H}_{n}\left(d\right)$ .
 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 CohenMacaulay property and (7) follows from (4) by applying [4,Chap.5] since ${H}_{n}\left(d\right)$ is a wonderful poset. □
Corollary 5.8.
For every
$m$
and
$n$
, the Veronese subring
${R}^{\left(m\right)}$
of
$R=K[{x}_{1},...,{x}_{n}]$
is an ASL on the poset
${H}_{n}\left(d\right)$
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{\Pi}_{i=1}^{m}{V}_{i}\le \left{H}_{n}\right(d\left)\right$ .
 (b) if the ${V}_{i}$ are generic then $dim{\Pi}_{i=1}^{m}{V}_{i}=\left{H}_{n}\right(d\left)\right$ .
 (c) if the ${V}_{i}$ are generic and if ${f}_{ij}$ with $j=1,...,{d}_{i}$ are generic generators of ${V}_{i}$ then the set $\{{f}_{1{j}_{1}}\cdots {f}_{m{j}_{m}}:({j}_{1},...,{j}_{m})\in {H}_{n}(d\left)\right\}$ is a $K$ basis of ${\Pi}_{i=1}^{m}{V}_{i}$ .
 (d) if the ${V}_{i}$ are generic then: $dim{\Pi}_{i=1}^{m}{V}_{i}={\Pi}_{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 ${\Pi}_{i=1}^{m}{V}_{i}$ is the component of degree $(1,1,...,1)$ of the algebra $B\left(V\right)$ . 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\left(V\right)$
has been already identified. But to describe the the ASL structure of
$A\left(V\right)$
we have take generic coordinates for the
${V}_{i}$
, say
${V}_{i}=\langle {f}_{i1},{f}_{i,2}\rangle $
. In this case
${H}_{n}\left(d\right)$
is the cube
$\{1,2{\}}^{3}$
without the point
$(2,2,2)$
. We have a relation
$${f}_{12}{f}_{22}{f}_{32}={\sum}_{\alpha \in {H}_{n}\left(d\right)}{\lambda}_{\alpha}{f}_{1{\alpha}_{1}}{f}_{2{\alpha}_{2}}{f}_{3{\alpha}_{3}}.$$
Set
$L={\sum}_{\alpha \in {H}_{n}\left(d\right)}{\lambda}_{\alpha}{s}_{\alpha}$
. Then the defining equations of
$A\left(V\right)$
as a quotient of
$K[{s}_{\alpha}:\alpha \in {H}_{n}(d\left)\right]$
are:
$$\begin{array}{ccc}{s}_{112}{s}_{221}{s}_{111}L,& {s}_{121}{s}_{212}{s}_{111}L,& {s}_{211}{s}_{122}{s}_{111}L,\end{array}$$ 
$$\begin{array}{ccc}{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{array}$$ 
$$\begin{array}{ccc}{s}_{212}{s}_{221}{s}_{211}L,& {s}_{122}{s}_{221}{s}_{121}L,& {s}_{122}{s}_{212}{s}_{112}L\end{array}$$ 
Remark 5.12.
With an argument similar to that of 2.2 one can prove that the algebra
$B\left(V\right)$
is normal for any
$V={V}_{1},...,{V}_{m}$
. Furthermore, in the monomial and in the generic case one can prove that
$B\left(V\right)$
is CohenMacaulay. In the monomial case the CohenMacaulayness 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
Dipartimento di Matematica, Universita di Genova, Genova, Italy Email address : conca@dima.unige.it
 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, CohenMacaulay Rings, Cambridge University Press, Cambridge, 1996.
 W.Bruns, U.Vetter, Determinantal rings. Lecture Notes in Mathematics, 1327. SpringerVerlag, Berlin, 1988.
 CoCoA Team, CoCoA: a system for doing Computations in Commutative Algebra, Available at http://cocoa.dima.unige.it
 A.Conca, J.Herzog CastelnuovoMumford 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, NorthHolland, Amsterdam, 1987.
 T.Hibi, K.Watanabe, Study of threedimensional algebras with straightening laws which are Gorenstein domains. I. Hiroshima Math. J. 15 (1985), no. 1, 27–54.
 T.Hibi, K.Watanabe, Study of threedimensional algebras with straightening laws which are Gorenstein domains. II. Hiroshima Math. J. 15 (1985), no. 2, 321–340.
 T.Hibi, Study of threedimensional 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.8695, 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 fourdimensional 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, NorthHolland, 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.