arXiv:1304.4692v2 [] 19 Dec 2013

LOCAL COHOMOLOGY MODULES OF A SMOOTH Z-ALGEBRA HAVE
FINITELY MANY ASSOCIATED PRIMES
BHARGAV BHATT, MANUEL BLICKLE, GENNADY LYUBEZNIK, ANURAG K. SINGH,
AND WENLIANG ZHANG
A BSTRACT. Let R be a commutative Noetherian ring that is a smooth Z-algebra. For each
ideal a of R and integer k, we prove that the local cohomology module Hak (R) has finitely
many associated prime ideals. This settles a crucial outstanding case of a conjecture of
Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.

1. I NTRODUCTION
A question of Huneke [Hu, Problem 4] asks whether local cohomology modules of
Noetherian rings have finitely many associated prime ideals. The answer is negative in
general: the first counterexample was given by Singh [Si, §4], and further counterexamples
were obtained by Katzman [Ka] and Singh and Swanson [SS].
However, there are several affirmative answers: by work of Huneke and Sharp [HuS],
for regular rings R of prime characteristic; by work of Lyubeznik, for regular local and
affine rings of characteristic zero [Ly1], and for unramified regular local rings of mixed
characteristic [Ly3]; for a partial result in the case of ramified regular local rings, see
Núñez-Betancourt [Nu]. These results support Lyubeznik’s conjecture, [Ly1, Remark 3.7]:
Conjecture 1.1. If R is a regular ring, then each local cohomology module Hak (R) has
finitely many associated prime ideals.
While the counterexamples from [Ka] and [SS] are for rings containing a field, the local
cohomology module with infinitely many associated primes from [Si] has the form Hak (R)
where R is a hypersurface over the integers; in this example, HIk (R) has nonzero p-torsion
for each prime integer p. A major stumbling block in making progress with Lyubeznik’s
conjecture for rings not containing a field was the possibility of p-torsion for infinitely
many prime integers p. The key point in this paper is to show that for a smooth Z-algebra R,
the p-torsion of each local cohomology module Hak (R) can be controlled; this allows us to
settle an important case of Lyubeznik’s conjecture:
Theorem 1.2. Let R be a smooth Z-algebra, a an ideal of R, and k a nonnegative integer.
Then the set of associated primes of the local cohomology module Hak (R) is finite.
Our proof uses D-modules over Z, F p , and Q, along with the theory of F -modules
developed in [Ly2]. The relevant results are reviewed in § 2. A crucial step in the proof
is to relate the integer torsion in a local cohomology module to the integer torsion in a
2000 Mathematics Subject Classification. Primary 13D45; Secondary 13F20, 14B15, 13N10, 13A35.
B.B. was supported by NSF grants DMS 1160914 and DMS 1128155, M.B. by DFG grants SFB/TRR45
and his Heisenberg Professorship, G.L. by NSF grant DMS 1161783, A.K.S. by NSF grant DMS 1162585, and
W.Z. by NSF grant DMS 1068946. A.K.S. thanks Uli Walther for several valuable discussions. The authors are
grateful to the American Institute of Mathematics (AIM) for supporting their collaboration. All authors were also
supported by NSF grant 0932078000 while in residence at MSRI.
1

2

BHATT, BLICKLE, LYUBEZNIK, SINGH, AND ZHANG

Koszul cohomology module; since the latter is finitely generated, it has p-torsion for at
most finitely many p. The proof of the main theorem occupies §3.
Our techniques work somewhat more generally: in §4 we indicate the changes that need
to be made to tackle the case where R is a smooth algebra over a Dedekind domain, all of
whose residue fields at nonzero prime ideals are of characteristic p. Our techniques are
also sufficient to give a new and much simpler proof of the case of an unramified regular
local ring of mixed characteristic, originally obtained by Lyubeznik in [Ly3].
2. D - MODULES AND F - MODULES
2.1. D-modules. Let R be a commutative ring. Differential operators on R are defined
inductively as follows: for each r ∈ R, the multiplication by r map e
r : R −→ R is a differential operator of order 0; for each positive integer n, the differential operators of order less
than or equal to n are those additive maps δ : R −→ R for which the commutator
r ◦δ −δ ◦e
r
[e
r, δ ] = e

is a differential operator of order less than or equal to n − 1. If δ and δ ′ are differential
operators of order at most m and n respectively, then δ ◦ δ ′ is a differential operator of order
at most m + n. Thus, the differential operators on R form a subring D(R) of EndZ (R).
When R is an algebra over a commutative ring A, we define D(R, A) to be the subring
of D(R) consisting of differential operators that are A-linear. Note that D(R, Z) = D(R);
if R is an algebra over a perfect field F of prime characteristic, then D(R, F) = D(R), see,
for example, [Ly2, Example 5.1 (c)].
By a D(R, A)-module, we mean a left D(R, A)-module. Since D(R, A) ⊆ EndA (R), the
ring R has a natural D(R, A)-module structure. Using the quotient rule, localizations of R
also carry a natural D(R, A)-structure. Let a be an ideal of R. The Čech complex on
a generating set for a is a complex of D(R, A)-modules; it then follows that each local
cohomology module Hak (R) is a D(R, A)-module.
More generally, if M is a D(R, A)-module, then each local cohomology module Hak (M)
is also a D(R, A)-module, see [Ly1, Examples 2.1 (iv)] or [Ly2, Example 5.1 (b)].
If R is a polynomial or formal power series ring in variables x1 , . . . , xd over a commutat
tive ring A, then t1i ! ∂ tii can be viewed as a differential operator on R even if the integer ti !
∂ xi

is not invertible. In each of these cases, D(R, A) is the free R-module with basis
1 ∂ t1
1 ∂ td
t1 · · ·
t1 ! ∂ x1
td ! ∂ xtdd

for (t1 , . . . ,td ) ∈ Nd ,

see [Gr, Théorème 16.11.2]. If B is an A-algebra, it follows that
D(R, A) ⊗A B ∼
= D(R ⊗A B , B) .
Specifically, for each element a ∈ A, one has
(2.0.1)

D(R, A)/aD(R, A) ∼
= D(R/aR , A/aA) .

To obtain analogous results for any smooth A-algebra, we use an alternative description
of D(R, A) from [Gr, 16.8]: consider the left R ⊗A R-module structure on EndA (R) under
which r ⊗ s acts on δ to give the endomorphism e
r ◦ δ ◦ se where, as before, e
r denotes the
multiplication by r map. Set ∆R/A to be the kernel of the ring homomorphism R ⊗A R −→ R
with r ⊗ s 7−→ rs. The ideal ∆R/A is generated by elements of the form r ⊗1 − 1 ⊗ r. Since
r, δ ] ,
(r ⊗1 − 1 ⊗ r)(δ ) = [e

LOCAL COHOMOLOGY OF A SMOOTH Z-ALGEBRA

3

it follows that an element δ of EndA (R) is a differential operator of order at most n precisely
if it is annihilated by ∆n+1
R/A . By [Gr, Proposition 16.8], the A-linear differential operators
on R of order at most n correspond to

n
∼
HomR⊗A R (R ⊗A R)/∆n+1
R , EndA (R) = HomR (PR/A , R) ,
where
n
PR/A
= (R ⊗A R)/∆n+1
R ,

viewed as a left R-module via r 7−→ r ⊗1.
A ring R is said to be smooth over A if R is a finitely presented and flat A-algebra, such
that for each prime ideal p of A, the fiber Rp /pRp is geometrically regular over Ap /pAp. In
this situation, we have:
Lemma 2.1. If R is a smooth A-algebra, then for each A-algebra B one has
D(R, A) ⊗A B ∼
= D(R ⊗A B , B) .
n is locally free of finite rank by [Gr, PropoProof. Since R is A-smooth, the R-module PR/A
sition 16.10.2]. It follows that
n
n
⊗ A B , RB ) ,
HomR (PR/A
, R) ⊗A B ∼
= HomRB (PR/A

(2.1.1)

where RB = R ⊗A B. Since R is flat over A, one also has ∆R/A ⊗A B ∼
= ∆RB /B . Tensoring the
exact sequence
n
0 −−−→ ∆n+1
R/A −−−→ R ⊗A R −−−→ PR/A −−−→ 0

with B, one obtains the first row of the commutative diagram
n ⊗ B −−−→ 0
∆n+1
⊗ B −−−→ RB ⊗B RB −−−→ PR/A
A
R/A A




y
y

0 −−−→

∆n+1
RB /B

−−−→ RB ⊗B RB −−−→

PRnB /B

−−−→ 0 .

n ⊗ B ∼ Pn
The vertical map on the left is surjective, which gives PR/A
A = RB /B . Combining this
with (2.1.1), we get the desired isomorphism
n
HomR (PR/A
, R) ⊗A B ∼
= HomRB (PRnB /B , RB ) .



2.2. F -modules. We next review some aspects of the theory of F -modules, developed
by Lyubeznik in [Ly2]. Let R be an F-finite regular ring of prime characteristic p. For each
positive integer e, define R(e) to be the R-bimodule that agrees with R as a left R-module,
and that has the right R-action
e

r′ r = r p r′

for r ∈ R and r′ ∈ R(e) .

For an R-module M, define F(M) = R(1) ⊗R M; we view this as an R-module via the left
R-module structure on R(1) .
An F -module is an R-module M with an R-module isomorphism θ : M −→ F(M ).
The ring R has a natural F -module structure, and so does each local cohomology module Hak (R), see [Ly2, Example 1.2]. An F -module carries a natural D(R)-module structure
by [Ly2, pages 115–116]. When the F -module M is the ring R, a localization of R, or a
local cohomology module Hak (R), the usual D(R)-module structure on M agrees with the
one induced via the F -module structure; see [Ly2, Example 5.2 (c)].

4

BHATT, BLICKLE, LYUBEZNIK, SINGH, AND ZHANG

A generating morphism for an F -module M is an R-module map β : M −→ F(M)
such that M is the direct limit of the top row of the commutative diagram
M


βy

β

F(β )

F 2 (β )

F(β )

F 2 (β )

F 3 (β )

−−−→ F(M) −−−→ F 2 (M) −−−→ · · ·




F(β )y
F 2 (β )y

F(M) −−−→ F 2 (M) −−−→ F 3 (M) −−−→ · · · .
Note that the direct limit of the bottom row is F(M ), and that the vertical maps induce
the isomorphism θ : M −→ F(M ). If β : M −→ F(M) is a generating morphism for M ,
then the image of M in M generates M as a D(R)-module by [ABL, Corollary 4.4]; this
is a key ingredient in the proof of our main result.
2.3. Koszul and local cohomology. Given f ∈ R, there is a map of complexes
f

K • ( f ; R)


y

=

0 −−−→ R −−−→ R −−−→ 0

 p−1
yf

K • ( f p ; R)


y

=

0 −−−→ R −−−→ R −−−→ 0

1
y fp

=

0 −−−→ R −−−→ R f −−−→ 0 ,

C• ( f ; R)

fp

where K • denotes the Koszul complex, and C• the Čech complex. Let f = f1 , . . . , ft be a
sequence of elements of R. Regarding K • ( f ; R) and C• ( f ; R) as the tensor products
K • ( f1 ; R) ⊗ · · · ⊗ K • ( ft ; R)

and

C• ( f1 ; R) ⊗ · · · ⊗ C• ( ft ; R)

respectively, one obtains a map of complexes
K • ( f ; R) −−−→ K • ( f p ; R) −−−→ C• ( f ; R) ,
and induced maps on cohomology modules
β

H k ( f ; R) −−−→ H k ( f p ; R) −−−→ Hak (R) ,
where a is the ideal generated by f . By [Ly2, Proposition 1.11 (b)], the map β is a generating homomorphism for the local cohomology module Hak (R); hence the image of H k ( f ; R)
in Hak (R) generates Hak (R) as a D(R)-module, as mentioned at the end of §2.2.
3. T HE MAIN

THEOREM

We prove the following result that subsumes Theorem 1.2.
Theorem 3.1. Let R be a smooth Z-algebra, and a an ideal of R generated by elements
f = f1 , . . . , ft . Let k be a nonnegative integer.
(1) If a prime integer is a nonzerodivisor on the Koszul cohomology module H k ( f ; R),
then it is a nonzerodivisor on the local cohomology module Hak (R).
(2) All but finitely many prime integers are nonzerodivisors on Hak (R).
(3) The set of associated primes of the R-module Hak (R) is finite.

LOCAL COHOMOLOGY OF A SMOOTH Z-ALGEBRA

5

Proof. Let p be a prime integer. The exact sequence
p

0 −−−→ R −−−→ R −−−→ R/pR −−−→ 0
induces an exact sequence of Koszul cohomology modules and an exact sequence of local
cohomology modules; these fit into a commutative diagram:
π

p

−−−→ H k−1 ( f ; R) −−−→ H k−1 ( f ; R/pR) −−−→ H k ( f ; R) −−−→ H k ( f ; R) −−−→




α



α′y
y
y
y
ϕ

p

d

Hak−1 (R/pR) −−−→ Hak (R) −−−→ Hak (R) −−−→

The bottom row is a complex of D(R)-modules; in particular, ϕ Hak−1 (R) is a D(R)
submodule of Hak−1 (R/pR). As ϕ Hak−1 (R) is annihilated by p, it has a natural structure
as a module over the ring D(R)/pD(R), which equals D(R/pR) by Lemma 2.1. Similarly,
−−−→ Hak−1 (R)

(3.1.1)

−−−→

d

Hak−1 (R/pR) −−−→ image(d)

is a map of D(R/pR)-modules.
(1) Suppose p is a nonzerodivisor on H k ( f ; R). Then the map π is surjective; we need
to prove that p is a nonzerodivisor on Hak (R), equivalently, that ϕ is surjective.
By § 2.3, the image M of α generates Hak−1 (R/pR) as a D(R/pR)-module. As π is
surjective, M is also the image of α ◦ π = ϕ ◦ α ′ . It follows that

M ⊆ ϕ Hak−1 (R) .

But ϕ Hak−1 (R) is a D(R/pR)-submodule of Hak−1 (R/pR) that contains M. Hence

ϕ Hak−1 (R) = Hak−1 (R/pR) ,
i.e., ϕ is surjective, as desired.
(2) Since H k ( f ; R) is a finitely generated R-module, it has finitely many associated
prime ideals. These finitely many prime ideals contain at most finitely many prime integers;
all other prime integers are nonzerodivisors on H k ( f ; R), and hence on Hak (R) by (1).
(3) We have proved that the set AssZ Hak (R) is finite; let p be an element of this set. It
suffices to show that there are at most finitely many elements of AssR Hak (R) that lie over p.
If p is the zero ideal, then each associated prime of Hak (R) lying over p is the contraction
of an associated prime of

Hak (R) ⊗Z Q = Hak R ⊗Z Q
as an R ⊗Z Q-module. Since R ⊗Z Q is a regular finitely generated Q-algebra, these associated primes are finite in number by [Ly1, Remark 3.7 (i)].
If p is generated by a prime integer p, the exactness of
d

p

Hak−1 (R/pR) −−−→ Hak (R) −−−→ Hak (R)
shows that an associated prime of Hak (R) that contains p is an associated prime of
ker(p) = image(d) .
It thus suffices to show that image(d) has finitely many associated primes as an R-module,
or, equivalently, as an R/pR-module.
Recall that (3.1.1) is a surjection of D(R/pR)-modules. By [Ly2, Corollary 5.10], the
module Hak−1 (R/pR) has finite length as a D(R/pR)-module, and hence so does image(d).
The associated primes of image(d) are among the minimal primes of its simple D(R/pR)module subquotients; it thus suffices to show that each simple D(R/pR)-module has a
unique associated prime. Indeed, let M be a simple D(R/pR)-module, and p a maximal

6

BHATT, BLICKLE, LYUBEZNIK, SINGH, AND ZHANG

element of AssR/pR M. Then Hp0 (M) is a D(R/pR)-submodule of M, and hence it must
equal M. But p is maximal in AssR/pR M, so it is the unique associated prime of M.

We conclude the section with two examples:
Example 3.2. Given a finite set of prime integers S, there exists a polynomial ring R
over Z, a monomial ideal a in R, and an integer k, such that Hak (R) has p-torsion if and
only if p ∈ S; see [SW2, Example 5.11].
Example 3.3. Let E be an elliptic curve in P2Q . Consider the Segre embedding of E × P1Q
in P5Q , and let a be a lift of the defining ideal to R = Z[x0 , . . . , x5 ], i.e.,

Proj R/a ⊗Z Q = E × P1Q .
By [HaS, page 75] or [Ly4, page 219], the module Ha4 (R/pR) is zero for infinitely many
prime integers p (corresponding to E mod p being supersingular) and nonzero for infinitely
many p (corresponding to E mod p being ordinary); see also [SW1, Corollary 2.2]. Thus,
p

HI4 (R) −−−→ HI4 (R)
is surjective for infinitely many primes p, and also not surjective for infinitely many p.
Theorem 1.2 implies that the map is injective for all but finitely many primes p.
4. S MOOTH

ALGEBRAS OVER A

D EDEKIND DOMAIN

We indicate how Theorem 1.2 extends to algebras that are smooth over the ring of
integers of a number field; first, the local version:
Theorem 4.1. Let (V, uV ) be a discrete valuation ring of mixed characteristic. Let R be a
V -algebra that is either smooth over V , or a formal power series ring over V .
Let a be an ideal of R generated by elements f .
(1) If u is a nonzerodivisor on H k ( f ; R), then it is a nonzerodivisor on Hak (R).
(2) The R-module Hak (R) has finitely many associated prime ideals.
Proof. We first reduce to the case where V has a perfect residue field: There exists a discrete valuation ring (V ′ , uV ′ ) such that V ′ /uV ′ is a perfect field, and V −→ V ′ is faithfully
flat, see, for example, [Bo, Chapter IX, Appendice 2]. Take R′ to be either R ⊗V V ′ or a
formal power series ring over V ′ , in the respective cases; note that if R is smooth over V ,
then R′ is smooth over V ′ . In either case, R′ is faithfully flat over R, and it suffices to prove
the assertions of the theorem for the ring R′ .
We may thus assume that V /uV is a perfect field; it follows that R/uR is an F-finite
regular ring. As before, the exact sequence
u

0 −−−→ R −−−→ R −−−→ R/uR −−−→ 0
induces the commutative diagram with exact rows:
π

u

−−−→ H k−1 ( f ; R) −−−→ H k−1 ( f ; R/uR) −−−→ H k ( f ; R) −−−→ H k ( f ; R) −−−→






α

α′y
y
y
y
−−−→

Hak−1 (R)

ϕ

−−−→

d

u

Hak−1 (R/uR) −−−→ Hak (R) −−−→ Hak (R) −−−→

The bottom row is a complex of D(R,V )-modules; specifically, image(ϕ ) and image(d)
are D(R,V )-modules. Since they are annihilated by u, they are also modules over the
ring D(R,V )/uD(R,V ). If R is smooth over V , then Lemma 2.1 gives
D(R,V )/uD(R,V ) = D(R/uR, V /uV ) ;

LOCAL COHOMOLOGY OF A SMOOTH Z-ALGEBRA

7

the same holds when R is a ring of formal power series over V by (2.0.1). Moreover,
since V /uV is a perfect field, one has
D(R/uR , V /uV ) = D(R/uR) .
The remainder of the proof now proceeds analogous to that of Theorem 3.1.1



As a consequence, we recover the following result of Lyubeznik, [Ly3, Theorem 1]:
Corollary 4.2. Let R be an unramified regular local ring of mixed characteristic, or, more
generally, assume that the completion of R is a formal power series ring over a discrete
valuation ring of mixed characteristic.
Then each local cohomology module Hak (R) has finitely many associated prime ideals.
Proof. One reduces to the case where R is a formal power series ring over a discrete valuation ring of mixed characteristic; the result then follows from Theorem 4.1.

Theorem 4.3. Let A be the ring of integers of a number field, or, more generally, a
Dedekind domain such that for each height one prime ideal p of A, the local ring Ap
has mixed characteristic. Let R be a smooth A-algebra. Then each local cohomology
module Hak (R) has finitely many associated prime ideals.
Proof. Fix a generating set f for a. The R-module H k ( f ; R) has finitely many associated
prime ideals; let p1 , . . . , pm be the contractions of these to the ring A. Let p be a height one
prime of A that differs from the pi . We claim that p is not an associated prime of Hak (R),
viewed as an A-module.
Indeed, if it is, then pAp is an associated prime of Hak (Rp ) as an Ap -module; but then, by
Theorem 4.1(1), pAp is an associated prime of H k ( f ; Rp ) as an Ap -module, implying that p
is an associated prime of H k ( f ; R) as an A-module, which is false. This proves the claim.
Hence Hak (R) has finitely many associated primes as an A-module. By Theorem 4.1(2),
there are finitely many elements of AssR Hak (R) lying over each element of AssA Hak (R). 
R EFERENCES
[ABL] J. Àlvarez Montaner, M. Blickle, and G. Lyubeznik, Generators of D-modules in characteristic p > 0,
Math. Res. Lett. 12 (2005), 459–473.
[Bo]
N. Bourbaki, Éléments de mathématique, Algèbre commutative, Chapitres 8 et 9, Springer, Berlin, 2006.
[Gr]
A. Grothendieck, Éléments de géométrie algébrique IV, Étude locale des schémas et des morphismes de
schémas IV, Inst. Hautes Études Sci. Publ. Math. 32 (1967), 5–361.
[HaS] R. Hartshorne and R. Speiser, Local cohomological dimension in characteristic p, Ann. of Math. (2) 105
(1977), 45–79.
[Hu]
C. Huneke, Problems on local cohomology, in: Free resolutions in commutative algebra and algebraic
geometry (Sundance, Utah, 1990), 93–108, Res. Notes Math. 2, Jones and Bartlett, Boston, MA, 1992.
[HuS] C. Huneke and R. Sharp, Bass numbers of local cohomology modules, Trans. Amer. Math. Soc. 339
(1993), 765–779.
[Ka]
M. Katzman, An example of an infinite set of associated primes of a local cohomology module, J. Algebra 252 (2002), 161–166.
[Ly1] G. Lyubeznik, Finiteness properties of local cohomology modules (an application of D-modules to commutative algebra), Invent. Math. 113 (1993), 41–55.
[Ly2] G. Lyubeznik, F-modules: applications to local cohomology and D-modules in characteristic p > 0, J.
Reine Angew. Math. 491 (1997), 65–130.
1In the formal power series case one cannot use [Ly1, Theorem 2.4] for a proof of the finiteness of the prime
ideals not containing u because the ring is not finitely generated over a field. A proof of this remains the same
as in [Ly3, pp. 5880 (from line -5)–5882]; but our proof in the formal power series case of the finiteness of the
primes containing u is much simpler than in [Ly3].

8

BHATT, BLICKLE, LYUBEZNIK, SINGH, AND ZHANG

[Ly3]

G. Lyubeznik, Finiteness properties of local cohomology modules for regular local rings of mixed characteristic: the unramified case, Special issue in honor of Robin Hartshorne, Comm. Alg. 28 (2000),
5867–5882.
[Ly4] G. Lyubeznik, On the vanishing of local cohomology in characteristic p > 0, Compos. Math. 142 (2006),
207–221.
[Nu]
L. Núñez-Betancourt, On certain rings of differentiable type and finiteness properties of local cohomology, J. Algebra 379 (2013), 1–10.
[Si]
A. K. Singh, p-torsion elements in local cohomology modules, Math. Res. Lett. 7 (2000), 165–176.
[SS]
A. K. Singh and I. Swanson, Associated primes of local cohomology modules and of Frobenius powers,
Int. Math. Res. Not. 33 (2004), 1703–1733.
[SW1] A. K. Singh and U. Walther, On the arithmetic rank of certain Segre products, Contemp. Math. 390
(2005) 147–155.
[SW2] A. K. Singh and U. Walther, Bockstein homomorphisms in local cohomology, J. Reine Angew. Math. 655
(2011), 147–164.
S CHOOL OF M ATHEMATICS , I NSTITUTE FOR A DVANCED S TUDY, E INSTEIN D RIVE , P RINCETON ,
NJ 08540, USA
E-mail address: bhargav.bhatt@gmail.com
I NSTITUT F ÜR M ATHEMATIK , FACHBEREICH 08, J OHANNES G UTENBERG -U NIVERSIT ÄT M AINZ ,
55099 M AINZ , G ERMANY
E-mail address: blicklem@uni-mainz.de
D EPARTMENT OF M ATHEMATICS , U NIVERSITY OF M INNESOTA , 127 V INCENT H ALL , 206 C HURCH S T.,
M INNEAPOLIS , MN 55455, USA
E-mail address: gennady@math.umn.edu
D EPARTMENT OF M ATHEMATICS , U NIVERSITY OF U TAH , 155 S OUTH 1400 E AST, S ALT L AKE C ITY,
UT 84112, USA
E-mail address: singh@math.utah.edu
D EPARTMENT OF M ATHEMATICS , U NIVERSITY OF N EBRASKA , 203 AVERY H ALL , L INCOLN ,
NE 68588, USA
E-mail address: wzhang15@unl.edu

