arXiv:1708.09102v1 [] 30 Aug 2017

A Short Proof of the Bernstein Inequality for Formal Power
Series
Peyman Ghahremani∗
Abstract
Let k be a field of characteristic zero, let R be the ring of formal power series in n variables
over k and let D(R, k) be the ring of k−linear differential operators in R. If M is a finitely
generated D(R, k)−module then d(M ) ≥ n where d(M ) is the dimension of M . This inequality
is called the Bernstein inequality. We provide a short proof.

1

Introduction

Throughout this paper k is a field of characteristic zero. Let R = k[[x1 , · · · , xn ]] be the ring of
formal power series in n variables over k and let D = D(R, k) be the ring of k−linear differential
operators of R. A celebrated result, known as the Bernstein inequality, says the following.
Theorem 1.1. If M is a finitely generated left D−module, then
d(M ) ≥ n,
where d(M ) is the dimension of M .
For the ring of polynomials there is now a very short and simple proof of this result [3, 9.4.2] due
to A. Joseph. But for formal power series the only known (to the author) proof, due to Bjork [2,
2.7.2], is much more complicated. It uses some sophisticated homological algebra including spectral
sequences.
Since the formal power series case is important in applications of D-modules to commutative
algebra, it would be useful to have a simple proof of the Bernstein inequality in this case. This is
accomplished in this paper. To emphasize the elementary nature of the proof this paper has been
made self-contained modulo some basic commutative algebra.
Our proof is inspired by [4] and is from the author’s thesis. I would like to thank my adviser,
Professor Gennady Lyubeznik for guidance and support.

2

Preliminaries

Keeping the notation of the Introduction, R is a subring of Homk (R, R), the k-linear endomorphisms
of R, via the map that sends r ∈ R to the map R → R which is the multiplication by r on R. Let
∗ NSF

for support through grant DMS-1500264 is gratefully acknowledged

1

∂
: R → R for 1 ≤ i ≤ n be the k-linear partial differentiation with respect to xi . The
di = ∂x
i
ring D of k-linear differential operators of R is the subring of the ring of k-linear endomorphisms
Homk (R, R) of R generated by R and d1 , . . . , dn .

Standard theorems of calculus imply that di commutes with dj and xj for j 6= i. The product
formula says that di (f g) = di (f )g + f di (g) for every f, g ∈ R. Fixing f and viewing this as equality
between two differential operators applied to g, we get the following equality of differential operators
di f = f di +

∂f
.
∂xi

(1)

An element of D is a finite sum with coefficients in k of products of x1 , . . . , xn , d1 , . . . , dn .
Using commutativity of di with xj and dj for j 6= i and (1) with f = xi one can rewrite every
αn β1
βn
1
product of x1 , . . . , xn , d1 , . . . , dn as a sum of monomials xα
1 · · · xn d1 · · · dn with coefficients in k.
Collecting similar terms one can write every element of D as a sum Σi1 ,...,in ri1 ,...,in di11 · · · dinn where
ri1 ,...,in ∈ R. Let {i1 , . . . , in } be the index with smallest total degree i1 + · · · + in in such a sum.
Applying this sum to xi11 · · · xinn one gets
Σi1 ,...,in ri1 ,...,in di11 · · · dinn (xi11 · · · xinn ) = ri1 ,...,in i1 ! · · · in !.
Hence Σi1 ,...,in ri1 ,...,in di11 · · · dinn = 0 if and only if every ri1 ,...,in = 0. Thus the ring D is a free left
αn
1
R-module on the monomials dα
1 · · · dn with αj ≥ 0.
There is a filtration Σ = Σ0 ⊆ Σ1 ⊆ Σ2 P
⊆ · · · on D where each Σi is the free R−submodule of
αn
1
D(R, k) on the monomials dα
with
αj ≤ i. Clearly
·
·
·
d
n
1
grΣ D = Σ0 ⊕ (Σ1 /Σ0 ) ⊕ (Σ2 /Σ1 ) ⊕ · · · = R[d¯1 , · · · , d¯n ]
is the ring of polynomials over R in d¯1 , . . . , d¯n where d¯i is the image of di in Σ1 /Σ0 for 1 ≤ i ≤ n.
This ring grΣ D is graded in the usual way, i.e. degr = 0 for r ∈ R and degd¯i = 1 for all i.
Now let M be a left D(R, k)−module. A good filtration
Γ for M is an ascending chain Γ0 ⊆
S∞
Γ1 ⊆ Γ2 ⊆ · · · of R−submodules of M , such that i=0 Γi = M , Σi Γj ⊆ Γi+j and grΓ (M ) =
Γ0 ⊕(Γ1 /Γ0 )⊕(Γ2 /Γ1 )⊕· · · is a finitely generated grΣ D−module. A good filtration exists provided
M is finitely generated. For example, if M is generated by elements m1 , . . . , ms ∈ M , then the
filtration with Γi = Σi m1 + · · · + Σi ms is a good filtration.
The following proposition is well-known [2, 1.3.4] and [3, 11.1.1].
Proposition 2.1. Let M be a finitely generated left D(R, k)−module. Let Γ = Γ0 ⊆ Γ1 ⊆ Γ2 ⊆ · · ·
and Ω = Ω0 ⊆ Ω1 ⊆ Ω2 ⊆ · · · be two good filtrations on M . Then:
(i) There exists a number w such that Ωj−w ⊆ Γj ⊆ Ωj+w for all j ≥ 0.
q
q
(ii) AnnR[d¯1 ,··· ,d̄n ] (grΓ (M )) = AnnR[d¯1 ,··· ,d¯n ] (grΩ (M ))
Proof. (i) Let σi : Σi → Σi /Σi−1 and µi : Γi → Γi /Γi−1 be the natural surjections. Since grΓ (M )
is a finitely generated R[d¯1 , · · · , d¯n ]−module, there exist integers k1 , · · · , ks and elements ui ∈ Γki \
Γki −1 with 1 ≤ i ≤ s such that µk1 (u1 ), · · · , µks (us ) generate grΓ (M ) as an R[d¯1 , · · · , d¯n ]−module.
Let k0 = max{k1 , · · · , ks }. For v ≥ k0 we set Rv = Σv Γ0 + · · · + Σv−k0 Γk0 . We show that Γv ⊆ Rv

2

for v ≥ k0 by induction. Clearly Γk0 = Rk0 . Assume that v > k0 and Γv−1 ⊆ Rv−1 . Let γ ∈ Γv .
There exist bv−k1 ∈ Σv−k1 , · · · , bv−ks ∈ Σv−ks such that
µv (γ) = σv−k1 (bv−k1 )µk1 (u1 ) + · · · + σv−ks (bv−ks )µks (us )
thus
γ ∈ Σv−k1 Γk1 + · · · + Σv−ks Γks + Γv−1 ⊆ Rv + Γv−1 ⊆ Rv + Rv−1 = Rv
whence Γv ⊆ Rv . This completes the induction.
Clearly
{Ωj ∩ Γk0 }j≥0 forms an increasing chain of the finitely generated R−module Γk0 . Since
S
Ω
= M and R is Noetherian we have Γk0 ⊆ Ωw′ for some number w′ . If 0 ≤ j ≤ k0 and
j
j≥0
v ≥ k0 we have
Σv−j Γj ⊆ Σv−j Γk0 ⊆ Σv−j Ωw′ ⊆ Σv Ωw′ ⊆ Ωv+w′
This shows that Γv ⊆ Rv ⊆ Ωv+w′ for all v ≥ k0 . If v < k0 then Γv ⊆ Γk0 ⊆ Ωw ⊆ Ωv+w′ . Thus
Γv ⊆ Ωv+w′ for all v ≥ 0.
Swapping Γ and Ω and repeating the above proof gives a number w′′ with Ωv ⊆ Γv+w′′ for all v ≥ 0.
Set w = max{w′ , w′′ }. This proves (i).
q
(ii) Let f ∈ AnnR[d¯1 ,··· ,d̄n ] (grΓ (M )) be homogeneous of degree s. There exists an integer m ≥ 1
with f m ∈ AnnR[d¯1 ,··· ,d̄n ] (grΓ (M )) and an element β ∈ Σs with f = σs (β). Thus β m Γi ⊆ Γms+i−1
for every i ≥ 0. By induction on q this implies that
β mq Γi ⊆ Γi+msq−q

(2)

for every q ≥ 1. By (i) there exists an integer w such that Γi−w ⊆ Ωi ⊆ Γi+w for all i ≥ 0. Together
with (2) for q = 2w + 1 this implies
β m(2w+1) Ωi ⊆ β m(2w+1) Γi+w ⊆ Γi+ms(2w+1)−w−1 ⊆ Ωi+ms(2w+1)−1 .
Thus β m(2w+1) Ωi ⊆ Ωi+ms(2w+1)−1 for all i ≥ 0. Therefore f m(2w+1) ∈ AnnR[d¯1 ,··· ,d̄n ] (grΩ (M )), i.e.
q
q
q
f ∈ AnnR[d¯1 ,··· ,d¯n ] (grΩ (M )). Hence AnnR[d¯1 ,··· ,d̄n ] (grΓ (M )) ⊆ AnnR[d̄1 ,··· ,d̄n ] (grΩ (M )). The
opposite inclusion follows similarly.
Recall that if A is a graded commutative Noetherian ring and N is a finitely generated graded
graded A-module, then ann(N ), the annihilator of N , is a homogeneous ideal of A and the dimension
of N is defined to be the Krull dimension of the graded ring A/ann(M ), i.e. the maximum length
of a chain of homogeneous prime ideals p1 ⊂ p2 ⊂ · · · ⊂ pd in the ring A/ann(M ).
The above proposition shows, in particular, that the dimension of grΓ (M ) as a graded grΣ Dmodule, is independent of the good filtration Γ.
Definition 2.2. The dimension of a finitely generated D−module M , denoted d(M ), is the dimension of grΓ (M ) as a graded grΣ D-module, where Γ is any good filtration on M .
Lemma 2.3. Let M be a finitely generated D-module and let M ′ ⊂ M be a submodule. Then
d(M ′ ) ≤ d(M ).

3

Proof. A good filtration Γ on M induces the filtration Γ′i = Γi ∩M ′ on M ′ . The R-module injections
Γ′i ⊂ Γi and Γ′i−1 ⊂ Γi−1 induce an R-module injection Γ′i /Γ′i−1 ⊂ Γi /Γi−1 . Hence grΓ′ (M ′ ) is a
grΣ D-submodule of grΓ (M ) and so ann(grΓ′ (M ′ )) ⊃ ann(grΓ (M )).
Lemma 2.4. [1, 11.2] Let A = A0 ⊕ A1 ⊕ A2 ⊕ . . . be a commutative graded Noetherian ring with
A0 = k a field, generated by A1 as an A0 -algebra. Let N = N0 ⊕N1 ⊕N2 ⊕. . . be a finitely generated
graded A-module. For sufficiently large t the function p(t) = dimk (N0 ⊕ · · · ⊕ Nt ) is a polynomial
in t of degree d = dimN .
Lemma 2.5. (Noether normalization [5, VII, Theorem 31]) Let p be a prime ideal of R of height
h. Variables x1 . . . , xn can be chosen so that p ∩ k[[xh+1 , · · · , xn ]] = 0 and R/p is finite over
k[[xh+1 , · · · , xn ]].

3

Proof of Theorem 1.1

Let p ⊂ R be an associated prime of M , let z ∈ M be an element of M with AnnR (z) = p, let
h = heightp and assume that the variables x1 , · · · , xn satisfy the conditions in Lemma 2.5. Let
N = Dz ⊂ M be the D-submodule of M generated by z. Lemma 2.3 implies that it is enough to
show that dimN ≥ n.
Let gr(N ) = Σ0 z ⊕ (Σ1 z/Σ0 z) ⊕ (Σ2 z/Σ1 z) ⊕ · · · be the associated graded gr(D)-module.
Clearly gr(N ) is a cyclic gr(D)-module, generated by z ∈ Σ0 z. Hence gr(N ) ∼
= gr(D)/J where
J ⊂ gr(D) is the annihilator of z ∈ gr(N ). Since gr(N ) is a graded module, J is a homogeneous
ideal of gr(D).
Set D̃ to be the ring gr(D)/J. Since gr(N ) ∼
= gr(D)/J, we need to show that the dimension of
gr(D)/J is at least n. Let D̃i be the degree i piece of D̃, i.e. D̃ = D̃0 ⊕ D̃1 ⊕ . . . . Let D̃+ ⊂ D̃ be
the ideal generated by the elements of positive degrees. Clearly, D̃+ is a homogeneous prime ideal
of D̃, hence dimD̃ ≥ dimD̃/D̃+ + heightD̃+ . Since AnnR (z) = p, it follows that D̃0 ∼
= R/p. and so
dimD̃/D̃+ = dimR/p = n − h. It follows that it is enough to prove that
heightD̃+ ≥ h.
Let S ⊂ D̃0 be the non-zero elements of D̃0 . Since D̃0 ∼
= R/p and p is a prime ideal, S is a
multiplicatively closed set. Let S −1 D̃ = S −1 D̃0 ⊕ S −1 D̃1 ⊕ . . . be the ring obtained from D̃ by
inverting every element of S. Since heightD̃+ ≥ heightS −1 D̃+ it is enough to prove that
heightS −1 D̃+ ≥ h.
Clearly, S −1 D̃0 ∼
= K, the fraction field of R/p, and S −1 D̃ is a finitely generated graded Kalgebra. By Lemma 2.4, the function p(t) = dimK (S −1 D̃0 ⊕S −1 D̃1 ⊕· · ·⊕S −1 D̃t ) is, for sufficiently
big t, a polynomial in t which we denote p̃(t), and degp̃(t) = dimS −1 D̃. It is enough to prove that
degp̃(t) ≥ h.
Let T = k[[xh+1 , · · · , xn ]] and let K be the field of fractions of T . By Lemma 2.5 K is a finite
field extension of K. Let d be the degree of this extension. Since dimK L = d(dimK L) for every
K-vector space L, we conclude that
q(t) = dimK (S −1 D̃0 ⊕ S −1 D̃1 ⊕ · · · ⊕ S −1 D̃t ) = dp(t).
4

Hence q(t), for sufficiently high t, is a polynomial in t of the same degree as p̃(t). We denote this
polynomial q̃(t). It is enough to show that
degq̃(t) ≥ h.
Since K is a finite field extension of K, S −1 L = K ⊗T L for every (D̃0 = R/P )-module L. In
particular, S −1 D̃0 ⊕S −1 D̃1 ⊕· · ·⊕S −1 D̃t = K⊗T D̃0 ⊕K⊗T D̃1 ⊕. . . K⊗T D̃t . But D̃i ∼
= Σi z/Σi−1 z,
hence
q̃(t) = dimK (K⊗T D̃0 ⊕K⊗T D̃1 ⊕. . . K⊗T D̃t ) = dimK (K⊗T (D̃0 ⊕D̃1 ⊕· · ·⊕D̃t )) = dimK (K⊗T (Σt z)).
The last equality and the next lemma use the crucial fact that Σt z and N are T -modules, hence
K ⊗T (Σt z) and K ⊗T N exist (in contrast, Σt z and N are not (D̃0 = R/P )-modules).
Lemma 3.1. The set {dt11 · · · dthh z} ⊂ K ⊗T N , as t1 , · · · , th range over all non-negative integers,
is linearly independent over K (by a slight abuse of notation we identify the elements dt11 · · · dthh z of
N with their images in K ⊗T N under the natural localization map N → K ⊗T N that sends every
n ∈ N to 1 ⊗ n).
Proof. Since K is a finite extension of K, let fi , for every i with 1 ≤ i ≤ h, be the monic minimal
polynomial of x̄i over K, where x̄i is the image of xi in K. Clearly, fi (xi ) ∈ p and therefore
fi (xi )z = 0 while fi′ (xi ), where fi′ is the derivative of fi , is non-zero in K and therefore fi′ (xi )z 6= 0.
We claim that if s > t then
fi (xi )s dti z = 0

(3)

If t = 0 (hence s ≥ 1), there is nothing to prove since fi (xi )z = 0. By (1)
fi (xi )s di = di fi (xi )s − sfi′ (xi )fi (xi )s−1 ,
therefore for t > 0 we have that
fi (xi )s dti z = di fi (xi )s dt−1
z − sfi′ (xi )fi (xi )s−1 dt−1
z = 0,
i
i

(4)

where both summands in the middle vanish by induction on t. This proves the claim.
Equalities (3) and (4) imply by induction on t that
fi (xi )t dti z = (−1)t t!fi′ (xi )t z 6= 0.
Now let

(5)

γ = Σt1 ,...,th ct1 ,...,th dt11 · · · dthh z,

where ct1 ,··· ,th ∈ K be a linear combination of finitely many elements of the set {dt11 · · · dthh z}. Let
{τ1 , . . . , τh } be an index of highest total degree τ1 + · · · + τh . Every other ct1 ,...,th dt11 · · · dthh z in this
linear combination has some tj with tj < τj , hence fj (xj )τj ci1 ...,in di1 · · · dinn = 0 and
f1 (x1 )τ1 · · · fh (xh )τh γ = cτ1 ,...,τh f1 (x1 )τ1 · · · fh (xh )τh dτ11 · · · dτhh z
= (−1)τ1 +···+τn t1 ! · · · tn !cτ1 ,...,τh f1′ (x1 )τ1 · · · fh′ (xh )τh z 6= 0,
τ

where we use (3), (5) and the fact that fi (xi )τi and fi′ (xi )τj commute with every dj j with j 6= i.
Thereofre γ 6= 0.
5

The number of the elements {dt11 · · · dthh z}, as d1 + · · · + dh ≤ t, is the number of monomials in

h variables of total degree at most t, which equals t+h
h . Since these elements are in Σt z and are

linearly independent, q̃(t) ≥ t+h
for sufficiently high t. But q̃(t) is a polynomial in t and t+h
is
h
h
a polynomial in t of degree h. Hence the degree of q̃(t) is at least h. This completes the proof of
Theorem 1.1.

References
[1] M.F. Atiyah and I.G. MacDonald, Introduction to Commutative Algebra, Addison-Wesley, 1969.
[2] J, E, Björk Rings of Differential Operators. North-Holland, 1979.
[3] S. C. Coutinho A Primer of Algebraic D-Modules , London Mathematical Society Student Texts,
Cambridge University Press; 1st edition, September 29, 1995.
[4] Gennady Lyubeznik. A characteristic-free proof of a basic result on D-modules, Journal of Pure
and Applied Algebra, Volume 215, Issue 8, August 2011, Pages 2019–2023.
[5] O. Zariski and P. Samuel Commutative Algebra, Vol. II, Graduate Texts in Mathematics 29
Springer, Berlin, 1975.

6

