A sufficient condition for the finiteness of Frobenius test exponents

Abstract: The Frobenius test exponent

o p e r a t o r n a m e F t e (R)

of a local ring

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

of prime characteristic

p > 0

is the smallest

e_{0} i n m a t h b b N

such that for every ideal

m a t h f r a k q

generated by a (full) system of parameters, the Frobenius closure

m a t h f r a k q^{F}

has

(m a t h f r a k q^{F})^{[p^{e_{0}}]} = m a t h f r a k q^{[p^{e_{0}}]}

. We establish a suffcient condition for

o p e r a t o r n a m e F t e (R) < i n f t y

and use it to show that if

R

is such that the Frobenius closure of the zero submodule in the lower local cohomology modules has finite colength, i.e.

H_{m a t h f r a k m}^{j} (R) / 0_{H_{m a t h f r a k m}^{j} (R)}^{F}

is finite length for

0 l e j < d i m (R)

, then

o p e r a t o r n a m e F t e (R) < i n f t y

.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: A sufficient condition for the finiteness of Frobenius test exponents