On the ring of differential operators of certain regular domains

Abstract: Let

(A, m a t h f r a k m)

be a complete equicharacteristic Noetherian domain of dimension

d + 1 g e q 2

. Assume

k = A / m a t h f r a k m

has characteristic zero and that

A

is not a regular local ring. Let

S i n g (A)

the singular locus of

A

be defined by an ideal

J

in

A

. Note

J e q 0

. Let

f i n J

with

f e q 0

. Set

R = A_{f}

. Then

R

is a regular domain of dimension

d

. We show

R

contains naturally a field

e l l c o n g k ((X))

. Let

m a t h f r a k g

be the set of

e l l

-linear derivations of

R

and let

D (R)

be the subring of

H o m_{e} l l (R, R)

generated by

m a t h f r a k g

and the multiplication operators defined by elements in the ring

R

. We show that

D (R)

, the ring of

e l l

-linear differential operators on

R

, is a left, right Noetherian ring of global dimension

d

. This enables us to prove Lyubeznik's conjecture on

R

modulo a conjecture on roots of Bernstein-Sato polynomials over power series rings.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: On the ring of differential operators of certain regular domains