arXiv:1305.0420v1 [math.AT] 2 May 2013

GRÖBNER BASES FOR (ALL) GRASSMANN MANIFOLDS
ZORAN Z. PETROVIĆ, BRANISLAV I. PRVULOVIĆ, AND MARKO RADOVANOVIĆ
Abstract. Grassmann manifolds Gk,n are among the central objects in geometry and topology. The Borel picture of the mod 2 cohomology of Gk,n is
given as a polynomial algebra modulo a certain ideal Ik,n . The purpose of this
paper is to understand this cohomology via Gröbner bases. Reduced Gröbner
bases for the ideals Ik,n are determined. An application of these bases is
given by proving an immersion theorem for Grassmann manifolds G5,n , which
establishes new immersions for an infinite family of these manifolds.

1. Introduction
Mod 2 cohomology of Grassmann manifolds Gk,n = O(n + k)/O(k) × O(n) is
the polynomial algebra in Stiefel-Whitney classes w1 , . . . , wk of the canonical bundle over Gk,n modulo the ideal Ik,n generated by dual classes w n+1 , . . . , wn+k .
Although the description of this ideal is simple enough, concrete calculations in
cohomology of Grassmann manifolds may be rather difficult to perform. The question of whether a certain cohomology class is zero is rather important in various
applications — for example, in determining the span of Grassmannians, in discussing immersions and embeddings in Euclidean spaces, in the determination of
cup-length (which is related to the Lusternik-Schnirelmann category), in some geometrical problems which may be reduced to the question of the existence of a
non-zero section of a bundle over a Grassmann manifold, etc. It is known that
Gröbner bases are useful when one works with polynomial algebras modulo certain ideal. The first use of Gröbner bases in this context appears in [9] where the
Gröbner bases for I2,n were established for n of the form n = 2s − 3 and n = 2s − 4.
These bases were used to prove an immersion result for corresponding Grassmann
manifolds. Another application of Gröbner bases in the similar context may be
found in [4].
In [12] and [13] reduced Gröbner bases for I2,n and I3,n (for all n) were established and used to obtain some new immersion results for Grassmann manifolds.
At the time of writing of these papers, the authors were not aware of the paper
[8], where additive bases for mod 2 cohomology of Grassmann manifolds were established. These additive bases together with information about Gröbner bases
2000 Mathematics Subject Classification. 13P10, 14M15, 57N65 (primary), 57R42, 57R20,
55S45 (secondary).
The first author was partially supported by Ministry of Education, Science and Technological
Development of Republic of Serbia Project #174032.
The second author was partially supported by Ministry of Education, Science and Technological
Development of Republic of Serbia Project #174034.
The third author was partially supported by Ministry of Education, Science and Technological
Development of Republic of Serbia Project #174008.
1

2

ZORAN Z. PETROVIĆ, BRANISLAV I. PRVULOVIĆ, AND MARKO RADOVANOVIĆ

obtained directly in [12] and [13] allowed us to obtain reduced Gröbner bases for
all Ik,n .
The plan of the presentation is as follows. In Section 2 some necessary facts
about cohomology algebra H ∗ (Gk,n ; Z2 ) are reviewed. Section 3 contains main
results, namely, the determination of reduced Gröbner bases for all Ik,n . Section 4
is devoted to an application of the obtained results to the immersion problem for
G5,n for n divisible by 8.
2. The cohomology algebra H ∗ (Gk,n ; Z2 )
In this section n and k are fixed integers such that n ≥ k ≥ 2. Let Gk,n =
Gk (Rn+k ) be the Grassmann manifold of k-dimensional subspaces in Rn+k . Let
γk be the canonical vector bundle over Gk,n and w1 , w2 , . . . , wk its Stiefel-Whitney
classes. It is a direct consequence of Borel’s result ([2]) that the mod 2 cohomology
algebra of Gk,n is isomorphic to the polynomial algebra Z2 [w1 , w2 , . . . , wk ] modulo
the ideal Ik,n generated by the dual classes w n+1 , w n+2 , . . . , wn+k . The following
equality holds for these dual classes:
(1 + w1 + w2 + · · · + wk )(1 + w 1 + w2 + · · · ) = 1,
and therefore, they satisfy the recurrence relation
(2.1)

w r+k =

k
X

wi wr+k−i ,

r ≥ 1.

i=1

Also, it is not hard to verify that the explicit formula for w r (r ≥ 1) is the following
(see [13, p. 3]):
X
(2.2)
wr =
[a1 , a2 , . . . , ak ]w1a1 w2a2 · · · wkak ,
a1 +2a2 +···+kak =r

where a1 , a2 , . . . , ak are understood to be nonnegative integers and [a1 , a2 , . . . , ak ]
denotes the multinomial coefficient





ak−1 + ak
a2 + · · · + ak
a1 + a2 + · · · + ak
···
[a1 , a2 , . . . , ak ] =
ak−1
a2
a1

P
k
k
Y
j=t−1 aj
.
=
at−1
t=2

On the other hand, in [8] Jaworowski detected an additive basis for H ∗ (Gk,n ; Z2 ).
Let us conclude this brief opening section by stating his result.

Theorem 2.1 ([8]). The set B = {w1a1 w2a2 · · · wkak | a1 + a2 + · · · + ak ≤ n} is a
vector space basis for H ∗ (Gk,n ; Z2 ) ∼
= Z2 [w1 , w2 , . . . , wk ]/Ik,n .
3. Gröbner bases
As usual, Z
 denotes the set of all integers. Recall that for α, β ∈ Z the binomial
coefficient α
β is defined by
 α(α−1)···(α−β+1)
 
, β>0

β!
α
:=
1,
β=0 ,

β
0,
β<0

and therefore, the following lemma is straightforward.

GRÖBNER BASES FOR (ALL) GRASSMANN MANIFOLDS

Lemma 3.1. If

α
β



3

6= 0, then α ≥ β or α ≤ −1.

Recall also the well-known formula (which holds for all α, β ∈ Z)
  
 

α
α−1
α−1
(3.1)
=
+
.
β
β
β−1
Let us now introduce some notations that we are going to use throughout this
section. For an integer m ≥ 2 and an m-tuple N of integers we define the following
m-tuples obtained from N (for i ≤ m and i < j ≤ m):
N i – by adding 1 to the i-th coordinate of N (if i < 1, then N i := N );
Ni – by subtracting 1 from the i-th coordinate of N (if i < 1, then Ni := N );
N i,j – by adding 1 to the i-th and j-th coordinate of N (if i < 1, then
N i,j := N j );
N i,i – by adding 2 to the i-th coordinate of N (if i < 1, then N i,i := N );
Ni,j – by subtracting 1 from the i-th and j-th coordinate of N (if i < 1,
then Ni,j := Nj );
Ni,i – by subtracting 2 from the i-th coordinate of N (if i < 1, then Ni,i :=
N ).
For an integer k ≥ 2, a k-tuple A = (a1 , a2 , . . . , ak ) and a (k − 1)-tuple M =
(m2 , m3 , . . . , mk ) of integers, let:
k
k
k
k
X
X
X
X
′
′
(j − 1)mj ;
mj , SM
:=
jaj , and SM :=
a j , SA
:=
SA :=
Pt (A, M ) :=
P (A, M ) :=

Pk

j=t−1 aj −
at−1

k
Y

Pk

j=t mj

j=2


, for t = 2, k;

Pt (A, M ).

t=2

For example, P2 (A, M ) =
0 = (0, 0, . . . , 0).
| {z }

j=2

j=1

j=1



SA − SM
. Also, P (A, 0) = [a1 , a2 , . . . , ak ], where
a1

k−1

Henceforth, the integers k and n with the property n ≥ k ≥ 2 are fixed. Observe
the polynomial algebra Z2 [w1 , w2 , . . . , wk ]. Let us now define certain polynomials
in Z2 [w1 , w2 , . . . , wk ] which will be important in our considerations.
Definition 3.2. For a (k − 1)-tuple of nonnegative integers M = (m2 , . . . , mk ), let
X
gM :=
P (A, M ) · W A ,
′ =n+1+S ′
SA
M

where the sum is taken over all k-tuples of nonnegative integers A = (a1 , a2 , . . . , ak )
′
′
such that SA
= n + 1 + SM
, and W A = w1a1 w2a2 · · · wkak .
Moreover, let
G := {gM | SM ≤ n + 1}.
Note that, by (2.2), wn+1 = g0 ∈ G.
Our aim is to prove that G is a Gröbner basis for Ik,n = (w n+1 , , . . . , wn+k )
which determines the cohomology algebra H ∗ (Gk,n ; Z2 ). In order to do so, first
we need to specify a term ordering in Z2 [w1 , w2 , . . . , wk ]. We shall use the grlex
ordering (which will be denoted by ) on terms (monomials) in Z2 [w1 , w2 , . . . , wk ]

4

ZORAN Z. PETROVIĆ, BRANISLAV I. PRVULOVIĆ, AND MARKO RADOVANOVIĆ

with w1 > w2 > · · · > wk . It is defined as follows. The terms are compared by
the sum of the exponents and if these are equal for two terms, they are compared
lexicographically from the left. That is, for k-tuples A and B of nonnegative integers
we shall write W A ≺ W B if either SA < SB or else SA = SB and as < bs where
s = min{i | ai 6= bi }. Of course, W A  W B means that either W A ≺ W B or
W A = W B.
In fact, we are going to prove that G is the reduced Gröbner basis for Ik,n with
respect to the grlex ordering . We start with a lemma.
Lemma 3.3. If a k-tuple A = (a1 , . . . , ak ) and a (k−1)-tuple M = (m2 , . . . , mk ) of
Pk
nonnegative integers are such that P (A, M ) 6= 0, then SA < SM or else j=t aj ≥
Pk
j=t mj for all t = 2, k.

Proof. Let us assume that SA ≥ SM . We will prove by induction on t that
Pk
Pk
SA −SM
= P2 (A, M ) 6= 0 and SA −SM ≥ 0,
j=t aj ≥
j=t mj , for t = 2, k. Since
a1
Pk
Pk
by Lemma 3.1 we have that SA − SM ≥ a1 , and therefore j=2 aj ≥ j=2 mj .
Pk
Pk
Suppose now that j=t aj ≥ j=t mj for some t such that 2 ≤ t ≤ k − 1. Since
Pk
Pk
Pk
Pt+1 (A, M ) 6= 0 and j=t aj ≥ j=t mj ≥ j=t+1 mj , again by Lemma 3.1 we
Pk
Pk
Pk
Pk

conclude that j=t aj − j=t+1 mj ≥ at . Hence, j=t+1 aj ≥ j=t+1 mj .

Pr
For a nonzero polynomial f = i=1 ti ∈ Z2 [w1 , w2 , . . . , wk ], where ti are pairwise
different terms, let T (f ) := {t1 , t2 , . . . , tr } (T (0) := ∅). The leading term of f 6= 0,
denoted by LT(f ), is defined as max T (f ) with respect to .

Proposition 3.4. Let M = (m2 , . . . , mk ) be a (k − 1)-tuple of nonnegative integers
such that SM ≤ n + 1 (i.e., such that gM ∈ G). Then gM 6= 0 and LT(gM ) = W M ,
where
M = (n + 1 − SM , m2 , . . . , mk ). Moreover, if W A ∈ T (gM ) \ {W M } for some
k-tuple A of nonnegative integers, then SA < n + 1.

t−1
Proof. If we define m1 := n + 1 − SM , then obviously Pt (M , M ) = m
mt−1 = 1, for
t = 2, k, and therefore P (M , M ) = 1. Furthermore,
′
SM
=

k
X
j=1

jmj = n + 1 − SM +

k
X

jmj = n + 1 +

k
X

′
(j − 1)mj = n + 1 + SM
,

j=2

j=2

and hence W M ∈ T (gM ). So, gM 6= 0.
′
Now take a k-tuple A = (a1 , . . . , ak ) of nonnegative integers such that SA
=
′
A
n + 1 + SM and P (A, M ) ≡ 1 (mod 2), i.e., W ∈ T (gM ). Since SM = n + 1, in
order to finish the proof of the proposition, it suffices to show that if SA ≥ n + 1,
then A = M .
Since SM ≤ n + 1 ≤ SA , by Lemma 3.3 we have the following k − 1 inequalities:

(3.2)

ak
ak−1 + ak

≥
≥
..
.

mk ,
mk−1 + mk ,

a2 + · · · + ak

≥

m2 + · · · + mk .

GRÖBNER BASES FOR (ALL) GRASSMANN MANIFOLDS

5

Summing up these inequalities, we get
k
X

(j − 1)aj ≥

k
X

(j − 1)mj .

j=2

j=2

′
′
On the other hand, since SA ≥ n + 1 and SA
= n + 1 + SM
,
k
X

(j − 1)aj =

j=2

k
X

(j − 1)aj =

′
SA

− SA ≤

′
SA

− (n + 1) =

′
SM

=

k
X

(j − 1)mj ,

j=2

j=1

so all the inequalities in (3.2) are in fact equalities and SA = n + 1. Hence, at = mt
Pk
for t = 2, k, and a1 = SA − j=2 aj = n + 1 − SM , i.e., A = M .


Prior to the formulation of the following lemma, we would like to emphasize that
for a (k − 1)–tuple M = (m2 , . . . , mk ), by our definition, M i = (m2 , . . . , mi+1 +
1, . . . , mk ), i = 1, k − 1, and likewise for M i,j , M i,i , Mi , etc. For example, the
(k−1)–tuple M 2 is defined as (m2 , m3 +1, . . . , mk ), and not as (m2 +1, m3 , . . . , mk ).

Lemma 3.5. Let A = (a1 , a2 , . . . , ak ) be a k-tuple and M = (m2 , . . . , mk ) a (k−1)tuple of integers.
(a) For 1 ≤ i ≤ j ≤ k − 2,
P (A, M i,j ) ≡ P (Ai , M j ) + P (A, M i−1,j+1 ) + P (Aj+1 , M i−1 )

(mod 2).

(b) For 1 ≤ i ≤ k − 1,
P (A, M i,k−1 ) ≡ P (Ai , M k−1 ) + P (Ak , M i−1 ) (mod 2).
Proof. Let 1 ≤ i ≤ j ≤ k − 1. It is immediate from the definition that for all
t = 2, k,


at−1 + at + · · · + ak − mt − · · · − mk − δt
,
Pt (A, M i,j ) =
at−1

 2, t ≤ i + 1
1, i + 2 ≤ t ≤ j + 1 . Also, if t 6= i + 1, then
where δt =

0, t > j + 1


at−1 + at + · · · + ak − mt − · · · − mk − δt
,
Pt (Ai , M j ) =
at−1
and so,
(3.3)

Pt (A, M i,j ) = Pt (Ai , M j ),

for t 6= i + 1.

Likewise, using formula (3.1) we get
(3.4)

Pi+1 (A, M i,j ) + Pi+1 (Ai , M j ) = Pi+1 (A, M j ),

since the left-hand side is equal to

 

ai + · · · + ak − mi+1 − · · · − mk − 2
ai + · · · + ak − mi+1 − · · · − mk − 2
+
ai
ai − 1

and the right-hand side to


ai + · · · + ak − mi+1 − · · · − mk − 1
.
ai

6

ZORAN Z. PETROVIĆ, BRANISLAV I. PRVULOVIĆ, AND MARKO RADOVANOVIĆ

(a) In this case, similarly as for (3.3) and (3.4), one obtains the following equalities:
Pt (Ai , M j ) = Pt (A, M i−1,j+1 ),

(3.5)
(3.6)

Pt (A, M

(3.7)

i−1,j+1

) = Pt (Aj+1 , M

for t 6∈ {i + 1, j + 2}
for t 6= j + 2

),

j

i−1,j+1

j

i−1,j+1

Pi+1 (A, M ) = Pi+1 (A, M

(3.8)

i−1

Pj+2 (Ai , M ) = Pj+2 (A, M

)
) + Pj+2 (Aj+1 , M i−1 ).

So, using identities (3.3)–(3.8), we have
P (A, M i,j ) =

k
Y

Pt (A, M i,j ) = Pi+1 (A, M i,j ) ·

k
Y

Pt (Ai , M j )

t=2
t6=i+1

t=2

k
 Y
Pt (Ai , M j )
≡ Pi+1 (Ai , M j ) + Pi+1 (A, M j ) ·
t=2
t6=i+1

=

k
Y

Pt (Ai , M j ) + Pi+1 (A, M i−1,j+1 ) ·

k
Y

Pt (Ai , M j )

t=2
t6=i+1

t=2

= P (Ai , M j ) + Pj+2 (Ai , M j ) ·

k
Y

Pt (A, M i−1,j+1 )

t=2
t6=j+2
k
 Y
= P (Ai , M j ) + Pj+2 (A, M i−1,j+1 ) + Pj+2 (Aj+1 , M i−1 )
Pt (A, M i−1,j+1 )
t=2
t6=j+2

= P (Ai , M j ) + P (A, M i−1,j+1 ) + P (Aj+1 , M i−1 ) (mod 2).
(b) In a similar manner as before, for 1 ≤ i ≤ k − 1 one can obtain two additional
equalities:
Pt (Ai , M k−1 ) =

(3.9)
(3.10)

Pi+1 (A, M

k−1

) =

Pt (Ak , M i−1 ),
Pi+1 (Ak , M

i−1

for t 6= i + 1,
).

Now, using identities (3.3)–(3.4) and (3.9)–(3.10), we have
P (A, M i,k−1 ) =

k
Y

t=2

≡

Pt (A, M i,k−1 ) = Pi+1 (A, M i,k−1 ) ·

k
Y

Pt (Ai , M k−1 )

t=2
t6=i+1

k
 Y
Pt (Ai , M k−1 )
Pi+1 (Ai , M k−1 ) + Pi+1 (A, M k−1 ) ·
t=2
t6=i+1

=
and we are done.

P (Ai , M k−1 ) + P (Ak , M i−1 ) (mod 2),


Note that we could unify parts (a) and (b) of the previous lemma by stating that
P (A, M i,j ) ≡ P (Ai , M j ) + P (Aj+1 , M i−1 ) + P (A, M i−1,j+1 ) (mod 2), for 1 ≤ i ≤
j ≤ k − 1, with convention that P (A, M i−1,j+1 ) = 0 if j = k − 1.

GRÖBNER BASES FOR (ALL) GRASSMANN MANIFOLDS

7

Proposition 3.6. Let M = (m2 , . . . , mk ) be a (k − 1)-tuple of nonnegative integers
and 1 ≤ i ≤ j ≤ k − 1. Then in the polynomial algebra Z2 [w1 , w2 , . . . , wk ], we have
the identity
gM i,j = wi gM j + wj+1 gM i−1 + gM i−1,j+1 ,
where the polynomial gM i−1,j+1 is understood to be zero if j = k − 1.
Proof. By Lemma 3.5 we have
gM i,j

X

=

P (A, M i,j ) · W A

′ =n+1+S ′
SA
M i,j

X

=

′ =n+1+S ′
SA

X

=

M i,j


P (Ai , M j ) + P (Aj+1 , M i−1 ) + P (A, M i−1,j+1 ) · W A
X

P (Ai , M j ) · W A +

P (Aj+1 , M i−1 ) · W A

′ =n+1+S ′
SA
M i,j

′ =n+1+S ′
SA
M i,j

+gM i−1,j+1 ,

′
′
′
′
since SM
i,j = SM + i + j = SM + i − 1 + j + 1 = SM i−1,j+1 (for j ≤ k − 2).
′
′
′
′
Observe also that the equality SA = n + 1 + SM i,j is equivalent to SA
= SA
−i =
i
′
′
′
n + 1 + SM i,j − i = n + 1 + SM + j = n + 1 + SM j , and likewise, it is equivalent to
′
′
SA
= n + 1 + SM
i−1 .
j+1
Now, consider the first sum in the upper expression. Since the sum is taken
′
over the k-tuples A = (a1 , a2 , . . . , ak ) of nonnegative integers (such that SA
=
′
n + 1 + SM i,j ), the coordinates of Ai are also nonnegative with exception that
its i-th coordinate might be −1 (if ai = 0). But, in that case, Pi+1 (Ai , M j ) =
ai+1 +···+ak −mi+1 −···−mk −2
= 0, and so P (Ai , M j ) = 0. Therefore, we may as−1
sume that ai ≥ 1, and consequently, that Ai runs through the set of k-tuples of
′
′
nonnegative integers (such that SA
= n + 1 + SM
j ). Hence,
i
X
X
P (Ai , M j ) · W A = wi
P (Ai , M j ) · W Ai = wi gM j .
′ =n+1+S ′
SA

M i,j

′ =n+1+S ′
SA
i

Mj

So, we are left to prove that the second sum in the upper expression for gM i,j is
equal to wj+1 gM i−1 . Let A = (a1 , a2 , . . . , ak ) be a k-tuple of nonnegative integers
′
′
′
′
such that SA
= n + 1 + SM
i,j , i.e., SAj+1 = n + 1 + SM i−1 . It suffices to show that
i−1
aj+1 = 0 implies P (Aj+1 , M ) = 0, since then the proof follows as for the first
sum.
If j+1 < k, then aj+1 = 0 implies Pj+2 (Aj+1 , M i−1 ) = 0, and so, P (Aj+1 , M i−1 ) =
0.
For j = k − 1, let us assume to the contrary that ak = 0 and P (Ak , M i−1 ) 6= 0.
First we shall prove that
at−1 + at + · · · + ak−1 ≤ mt + · · · + mk + εt ,
for all t = 2, k,

1, 2 ≤ t ≤ i
where εt =
. The proof is by reverse induction on t. For the
0, i + 1 ≤ t ≤ k

k
induction base we prove (3.11) for t = k. Since ak−1a−1−m
= Pk (Ak , M i−1 ) 6= 0
k−1
and ak−1 − 1 − mk < ak−1 , by Lemma 3.1 we conclude that ak−1 − 1 − mk ≤ −1, so
ak−1 ≤ mk = mk + εk . For the inductive step, let 2 ≤ t ≤ k − 1, and suppose that
(3.11)

8

ZORAN Z. PETROVIĆ, BRANISLAV I. PRVULOVIĆ, AND MARKO RADOVANOVIĆ

at + · · · + ak−1 ≤ mt+1 + · · · + mk + εt+1 . Since obviously εt+1 ≤ εt , we actually
have that at + · · · + ak−1 ≤ mt+1 + · · · + mk + εt . Since

Pt (Ak , M

i−1



at−1 + at + · · · + ak−1 − 1 − mt − mt+1 − · · · − mk − εt
6= 0,
)=
at−1

and at−1 + at + · · · + ak−1 − 1 − mt − mt+1 − · · · − mk − εt ≤ at−1 − 1 − mt < at−1 ,
according to Lemma 3.1, we have that at−1 + at + · · · + ak−1 − 1 − mt − mt+1 −
· · · − mk − εt ≤ −1, i.e., at−1 + at + · · · + ak−1 ≤ mt + mt+1 + · · · + mk + εt .
Now, summing up inequalities (3.11), we get

′
′
SA
≤ SM
+

k
X

′
′
′
′
ε t < SM
+ k − 1 < SM
+ n + 1 ≤ SM
i−1 + n + 1 = SA ,
k

t=2

′
′
′
which is a contradiction since SA
> SA
− k = SA
.
k



In the following lemma we establish a connection between polynomials gM and
polynomials (dual classes) wr ∈ Z2 [w1 , w2 , . . . , wk ] from the previous section.
Lemma 3.7. For m ≥ 0 and (k − 1)-tuple M = (m, 0, . . . , 0) we have that

gM

m  
X
m m−i
w1 w n+1+i .
=
i
i=0

Proof. The polynomials gM were introduced in Definition 3.2 and they depend on
the (previously fixed) integer n. In this proof (and only in this proof) we allow n
to vary through the set {k, k + 1, . . .}, while the integer k ≥ 2 is still fixed (we are
working in the polynomial algebra Z2 [w1 , w2 , . . . , wk ]). Note that the polynomials
wr , r ≥ 1, are defined independently of n. We emphasize the dependence of gM on
n by using an appropriate superscript, and we actually prove the following claim:

(n)

gM =

m  
X
m m−i
w1 wn+1+i ,
i
i=0

for all m ≥ 0 and all n ≥ k.

(n)

The proof is by induction on m. We have already noticed that g0 = w n+1 , and
therefore, the claim is true for m = 0 (and all n ≥ k). So, let m ≥ 1 and assume that
the claim is true for the integer m − 1 and all n ≥ k. Let M = (m, 0, . . . , 0) and n ≥
k. Then M1 = (m− 1, 0, . . . , 0) and since, for all k-tuples A of integers, P2 (A, M ) ≡
P2 (A1 , M1 )+P2 (A, M1 ) (mod 2) by (3.1) and Pt (A, M ) = Pt (A1 , M1 ) = Pt (A, M1 )

GRÖBNER BASES FOR (ALL) GRASSMANN MANIFOLDS

for t = 3, k, we have that
X
(n)
gM =
P (A, M ) · W A

9

′ =n+1+S ′
SA
M

X

=

(P2 (A1 , M1 ) + P2 (A, M1 )) ·
X

P (A1 , M1 ) · W A1 +

′ =n+1+S ′
SA
M
1

=

!

Pt (A, M )

t=3

′ =n+1+S ′
SA
M

= w1

k
Y

1

X

· WA

P (A, M1 ) · W A

′ =(n+1)+1+S ′
SA
M

1

(n+1)
(n)
w1 gM1 + gM1

m−1
X

m−1
X m − 1
m − 1 m−1−i
w1
w1m−1−i wn+2+i
w n+1+i +
i
i
i=0
i=0


m 
m 
X
X
m − 1 m−i
m − 1 m−i
w1 w n+1+i +
w1 w n+1+i
=
i
i−1
i=0
i=0
m  
X
m m−i
w1 w n+1+i ,
=
i
i=0

= w1

and the proof is completed.



Proposition 3.8. G ⊆ Ik,n .
Proof. Since the ideal Ik,n is generated by the polynomials wn+1 , w n+2 , . . . , wn+k ,
note that, by the recurrence relation (2.1), not only these k polynomials, but all
wr for r ≥ n + 1 belong to Ik,n . Likewise, we shall prove that gM ∈ Ik,n for all
(k − 1)-tuples M of nonnegative integers, and not only for those with the property
SM ≤ n + 1 (i.e., gM ∈ G).
We define the relation <lexr on the set of all (k−1)-tuples of nonnegative integers
by
(a1 , a2 , . . . , ak−1 ) <lexr (b1 , b2 , . . . , bk−1 ) ⇐⇒ as < bs , where s = max{i | ai 6= bi },
which is exactly the strict part of the lexicographical right ordering. This is a well
ordering and our proof is by induction on <lexr .
For the (k − 1)-tuple M = (m, 0, . . . , 0), where m ≥ 0 is arbitrary integer, from
Lemma 3.7 and our remark at the beginning of this proof, we immediately get that
gM ∈ Ik,n . So, let us now take a (k − 1)-tuple M = (m2 , m3 , . . . , mk ) such that the
greatest integer s with the property ms+1 > 0 is at least 2. Hence, 2 ≤ s ≤ k − 1
and M = (m2 , . . . , ms+1 , 0, . . . , 0). Let us also assume that gM ′ ∈ Ik,n for all M ′
such that M ′ <lexr M . We wish to prove that gM ∈ Ik,n . By Proposition 3.6
applied to the (k − 1)-tuple Ms , i = 1 and j = s − 1,
gM = gMs1,s−1 + w1 gMss−1 + ws gMs .
Since Ms <lexr Mss−1 <lexr Ms1,s−1 <lexr M , we conclude that gM ∈ Ik,n .



In the following proposition we formulate a characterization of Gröbner bases
which we shall use for the proof that the set G is a Gröbner basis for the ideal Ik,n .
The proof of the proposition can be found in [1, Proposition 5.38(vi)].

10

ZORAN Z. PETROVIĆ, BRANISLAV I. PRVULOVIĆ, AND MARKO RADOVANOVIĆ

Proposition 3.9. Let F be a field, F[x1 , x2 , . . . , xk ] the polynomial algebra, and I
an ideal in F[x1 , x2 , . . . , xk ]. Suppose that a term ordering  in F[x1 , x2 , . . . , xk ] is
fixed. Let G be a finite subset of I such that 0 ∈
/ G, and let B ⊆ F[x1 , x2 , . . . , xk ]/I
be the set of cosets of all terms which are not divisible by any of the leading terms
LT(g), g ∈ G. Then G is a Gröbner basis for I with respect to  if and only if B
is a vector space basis for F[x1 , x2 , . . . , xk ]/I.
We are now finally in position to prove our main result.
Theorem 3.10. The set G (see Definition 3.2) is the reduced Gröbner basis for
the ideal Ik,n with respect to the grlex ordering .
Proof. By Propositions 3.4 and 3.8, 0 ∈
/ G ⊆ Ik,n , and it is obvious from the
definition that G is finite. Also, according to Proposition 3.4 again, the set {LT(g) |
g ∈ G} is exactly the set of all terms in Z2 [w1 , w2 , . . . , wk ] with the sum of the
exponents equal to n + 1, that is {LT(g) | g ∈ G} = {W A | SA = n + 1}. Therefore,
the set of all terms which are not divisible by any of the terms in {LT(g) | g ∈ G} is
just the set {W A | SA ≤ n}. By Proposition 3.9 and Theorem 2.1, G is a Gröbner
basis for Ik,n .
Since {LT(g) | g ∈ G} = {W A | SA = n + 1} and all terms of g ∈ G except the
leading one have the sum of the exponents at most n (Proposition 3.4), no term of
g is divisible by any other leading term in G. This means that Gröbner basis G is
the reduced one.

Propositions 3.4 and 3.6 enable us to explicitly determine the polynomials gM ∈
G for the (k − 1)-tuples M = (m2 , m3 , . . . , mk ) such that mk is close to n. Namely,
if gM ∈ G and W A ∈ T (gM ) \ {W M } (where M = (n + 1 − SM , m2 , . . . , mk )), then
Pk
Pk
′
SA ≤ n by Proposition 3.4. Consequently, SA
= j=1 jaj ≤ k j=1 aj = kSA ≤
′
′
kn. On the other hand, SA
= n + 1 + SM
, and so, we conclude that gM = W M
′
whenever SM > (k − 1)n − 1.
′
′
Let N be the (k − 1)-tuple (0, . . . , 0, n). Since SN
s > SN = (k − 1)n (for
s = 1, k − 1), by the previous remark we have that

(3.12)

gN = w1 wkn

and

gN s = ws+1 wkn ,

1 ≤ s ≤ k − 1.

If we apply Proposition 3.6 to the (k − 1)-tuple Nk−1 = (0, . . . , 0, n − 1), i = 1 and
j = k − 1, we obtain the relation wk gNk−1 = gN 1 + w1 gN . Both summands on the
right-hand side contain wk as a factor, so wk cancels out and using (3.12) we get
(3.13)

gNk−1 = w12 wkn−1 + w2 wkn−1 .

Likewise, by applying Proposition 3.6 to Nk−1 , i = s + 1 and j = k − 1, one obtains
s
that wk gNk−1
= ws+1 gN + gN s+1 , and so
(3.14)

s
= w1 ws+1 wkn−1 + ws+2 wkn−1 ,
gNk−1

1 ≤ s ≤ k − 2.

Identities (3.13) and (3.14) determine gM ∈ G when mk = n − 1 and SM ≤ n. For
computing gM ∈ G when mk = n − 1 and SM = n + 1 for a concrete integer k, one
can use Proposition 3.6 and apply it first to Nk−1 , i = 1 and all j = 1, k − 2, then
to Nk−1 , i = 2 and all j = 2, k − 2 and so on. After that, the polynomials gM ∈ G
for mk = n − 2 can be obtained in the same manner – by suitable applications of
Proposition 3.6. Actually, in the cases k = 2 and k = 3, all the members gM of
Gröbner basis G for mk ≥ n − 5 were listed in [12] (for k = 2) and [13] (for k = 3).

GRÖBNER BASES FOR (ALL) GRASSMANN MANIFOLDS

11

Since our application of Gröbner bases (given in the next section) treats the case
k = 5, let us write down the relations (3.13) and (3.14) in this case:

(3.15)

g(0,0,0,n−1)
g(1,0,0,n−1)
g(0,1,0,n−1)
g(0,0,1,n−1)

=
=
=
=

w12 w5n−1 + w2 w5n−1 ,
w1 w2 w5n−1 + w3 w5n−1 ,
w1 w3 w5n−1 + w4 w5n−1 ,
w1 w4 w5n−1 + w5n .

Remark 3.11. Since the description of the mod 2 cohomology of the complex Grassmann manifolds Gk (Cn+k ) is essentially the same as the one in the real case (the
only difference being in the fact that dimensions of the Stiefel-Whitney classes are
multiplied by 2), it is immediate that the reduced Gröbner basis for the corresponding ideal in this case can be obtained from the Gröbner basis G (Definition 3.2) by
substituting w2i for wi (i = 1, k) in all polynomials gM ∈ G.
4. Application to immersions
In this section we consider the (real) Grassmannians G5,n , where n is divisible
by 8. As before, wi ∈ H i (G5,n ; Z2 ), i = 1, 5, is the i-th Stiefel-Whitney class of the
canonical bundle γ5 over G5,n .
Lemma 4.1. Let n ≡ 0 (mod 8) and let ν be the stable normal bundle over Grassmann manifold G5,n . Then for the Stiefel-Whitney classes of this bundle, the following equalities hold: w2 (ν) = w12 + w2 and wi (ν) = 0 when i ≥ 5n − 4.
Proof. Let r ≥ 3 be the integer such that 2r < n + 5 ≤ 2r+1 . Note that this implies
n ≥ 2r since n ≡ 0 (mod 8). In [6, p. 365] Hiller and Stong proved that
(4.1)

r+1

w(ν) = w(γ5 ⊗ γ5 ) · (1 + w1 + w2 + w3 + w4 + w5 )2

−n−5

,

and that the top nonzero class in this expression is in dimension 20+5(2r+1 −n−5).
Since n ≥ 2r , we have that 20 + 5(2r+1 − n − 5) ≤ 20 + 5(2r − 5) = 5 · 2r − 5 ≤ 5n − 5.
This proves the second equality in the statement of the lemma.
For the first one, we need the fact w1 (γ5 ⊗ γ5 ) = w2 (γ5 ⊗ γ5 ) = 0, which is not
hard to check by the method described in [10, Problem 7-C]. Using this fact and
(4.1), one obtains that
 r+1

2
−n−5 2
w2 (ν) =
w1 + (2r+1 − n − 5)w2 = w12 + w2 ,
2
since 2r+1 − n − 5 ≡ 3 (mod 8).



Theorem 4.2. If n ≡ 0 (mod 8), then G5,n immerses into R10n−3 .
Proof. Since dim G5,n = 5n, in order to prove that there is an immersion of G5,n
into R10n−3 , by Hirsch’s theorem ([7, Theorem 6.4]) it suffices to show that the
classifying map fν : G5,n → BO of the stable normal bundle ν over G5,n lifts up to
BO(5n − 3) .

③

BO(5n − 3)
③<
③
③
p

③
③
G5,n

fν


/ BO

12

ZORAN Z. PETROVIĆ, BRANISLAV I. PRVULOVIĆ, AND MARKO RADOVANOVIĆ

We shall use the method of modified Postnikov towers (MPT) introduced by
Gitler and Mahowald in [5] and extended to fibrations p : BO(m) → BO for m odd
by Nussbaum in [11]. So, we factor out the map p : BO(5n − 3) → BO as indicated
in the following diagram and then we lift the map fν one level at the time. The
diagram presents the 5n-MPT for the fibration p (Km stands for the EilenbergMacLane space K(Z2 , m)). Also, the relations that determine the k-invariants of
the tower are listed in the table.
BO(5n − 3)
✡D
✡
✡

k12
✡
E
2
✡
⑧?
✡
⑧
✡ ⑧
✡ ⑧

k11 ×k21
✡ ⑧
E
1
7
⑧
♦
✡
✡⑧⑧ ♦ ♦ ♦
✡⑧ ♦
✡⑧ ♦ ♦ fν

k10 ×k20
/ BO
G5,n

/ K5n

/ K5n−1 × K5n

/ K5n−2 × K5n

k10 = w5n−2
k20 = w5n
k11 : (Sq 2 + w2 )k10 = 0
k21 : (Sq 2 + w12 + w2 )Sq 1 k10 + Sq 1 k20 = 0
k12 : (Sq 2 + w2 )k11 + Sq 1 k21 = 0

According to Lemma 4.1, w5n−2 (ν) = w5n (ν) = 0, so, we can lift fν up to E1 .
Also, since
Sq 1 (w4 w5n−1 ) = (w1 w4 + w5 )w5n−1 + w4 (n − 1)w1 w5n−1 = nw1 w4 w5n−1 + w5n = w5n ,
and since w5n 6= 0 in H 5n (G5,n ; Z2 ) ∼
= Z2 (Theorem 2.1), by looking at the relations
in the table for k21 and k12 , we see that it is easy to overcome these two k-invariants.
1
Therefore, the only obstruction left to deal with comes from the k-invariant k
1 .
5n−1
2
∼
Since H
(G5,n ; Z2 ) = Z2 , it suffices to show that the map Sq + w2 (ν) :
H 5n−3 (G5,n ; Z2 ) → H 5n−1 (G5,n ; Z2 ) is nontrivial. We use Lemma 4.1, formulas of
Wu and Cartan and the polynomials from (3.15) (which are trivial in H ∗ (G5,n ; Z2 )
since they are members of the Gröbner basis G for the ideal I5,n , and hence, they

GRÖBNER BASES FOR (ALL) GRASSMANN MANIFOLDS

13

belong to I5,n ) to calculate

Sq 2 + w2 (ν) (w2 w5n−1 ) = (Sq 2 + w12 + w2 )(w2 w5n−1 )

= w22 w5n−1 + (w1 w2 + w3 )(n − 1)w1 w5n−1




n − 1 2 n−1
+ w12 w2 w5n−1 + w22 w5n−1
w1 w5
+ w2 (n − 1)w2 w5n−1 +
2
= w12 w2 w5n−1 + w1 w3 w5n−1 + w22 w5n−1

= w2 g(0,0,0,n−1) + g(0,1,0,n−1) + w4 w5n−1
= w4 w5n−1 ,
and this class is nonzero by Theorem 2.1.



By the famous result of Cohen ([3]), Grassmanian G5,n can be immersed into
R10n−α(5n) , where α(5n) denotes the number of ones in the binary expansion of 5n.
This means that Theorem 4.2 improves this result whenever α(5n) = 2 (and n ≡ 0
(mod 8)). Such a case occurs when n is a power of two, and it is known that then
G5,n cannot be immersed into R10n−6 ([6, p. 365]). So, if n is a power of two, then
for imm(G5,n ) = min{d | G5,n immerses into Rd } the following inequalities hold
10n − 5 ≤ imm(G5,n ) ≤ 10n − 3.
Actually, a sufficient and necessary
condition for α(5n) = 2 and n ≡ 0 (mod 8) is
P
that n is of the form 2r + si=0 (2r+2+4i + 2r+3+4i ), r ≥ 3, s ≥ −1 (where the case
s = −1 corresponds to the case n = 2r ).
References
1. T. Becker and V. Weispfenning, Gröbner Bases: a Computational Approach to Commutative
Algebra, Graduate Texts in Mathematics, Springer-Verlag, New York 1993.
2. A. Borel, La cohomologie mod 2 de certains espaces homogenes, Comm. Math. Helv. 27 (1953)
165–197.
3. R. Cohen, The immersion conjecture for differentiable manifolds, Ann. of Math. 22 (1985)
237–328.
4. T. Fukaya, Gröbner bases of oriented Grassmann manifolds, Homology Homotopy Appl.
10(2) (2008) 195–209.
5. S. Gitler and M. Mahowald, The geometric dimension of real stable vector bundles, Bol. Soc.
Mat. Mex. 11 (1966) 85–107.
6. H. Hiller and R. E. Stong, Immersion dimension for real Grassmannians, Math. Ann. 255
(1981) 361–367.
7. M. W. Hirsch, Immersion of manifolds, Trans. Amer. Math. Soc. 93 (1959) 242–276.
8. J. Jaworowski, An additive basis for the cohomology of real Grassmannians, Lecture Notes in
Math. 1474, Springer-Verlag, Berlin (1991) 231–234.
9. K. Monks, Groebner bases and the cohomology of Grassmann manifolds with application to
immersion, Bol. Soc. Mat. Mex. 7 (2001) 123–136.
10. J. W. Milnor, J. D. Stasheff, Characteristic Classes, Ann. of Math. Studies 76, Princeton
University Press, New Jersey 1974.
11. F. Nussbaum, Obstruction theory of possibly nonorientable fibrations, Northwestern Unversity
PhD thesis (1970).
12. Z. Z. Petrović and B. I. Prvulović, On Groebner bases and immersions of Grassmann manifolds G2,n , Homology Homotopy Appl. 13(2) (2011) 113–128.
13. Z. Z. Petrović and B. I. Prvulović, Groebner bases and some immersion theorems for Grassmann manifolds G3,n , submitted to Proceed. Edinburgh Math. Soc. (2011).

14

ZORAN Z. PETROVIĆ, BRANISLAV I. PRVULOVIĆ, AND MARKO RADOVANOVIĆ

University of Belgrade, Faculty of mathematics, Studentski trg 16, Belgrade, Serbia
E-mail address: zoranp@matf.bg.ac.rs
University of Belgrade, Faculty of mathematics, Studentski trg 16, Belgrade, Serbia
E-mail address: bane@matf.bg.ac.rs
University of Belgrade, Faculty of mathematics, Studentski trg 16, Belgrade, Serbia
E-mail address: markor@matf.bg.ac.rs

