On the upper semi-continuity of HSL numbers

arXiv1302.1124MaRDI QIDQ6239374FDOQ6239374

Publication date: 5 February 2013

Abstract: Let

B

be an affine Cohen-Macaulay algebra over a field of characteristic

p

. For every prime ideal

m a t h f r a k p s u b s e t B

, let

e x t H_{m} a t h f r a k p

denote

H_{m a t h f r a k p B_{m} a t h f r a k p}^{d i m B_{m} a t h f r a k p} l e f t (w i d e h a t B_{m} a t h f r a k p i g h t)

. Each such

e x t H_{m} a t h f r a k p

is an Artinian module endowed with a natural Frobenius map

T h e t a

and if

e x t N i l (e x t H_{m} a t h f r a k p)

denotes the set of all elements in

e x t H_{m} a t h f r a k p

killed by some power of

T h e t a

then a theorem by Hartshorne-Speiser and Lyubeznik shows that there exists an

e g e q 0

such that

T h e t a^{e} e x t N i l (e x t H_{m} a t h f r a k p) = 0

. The smallest such

e

is the HSL-number of

e x t H_{m} a t h f r a k p

which we denote

e x t H S L (e x t H_{m} a t h f r a k p)

. The main theorem in this paper shows that for all

e > 0

, the sets

m a t h f r a k p i n e x t S p e c (B), |, e x t H S L (e x t H_{m} a t h f r a k p) < e

are Zariski open, hence HSL is upper semi-continuous. An application of this result gives a global test exponent for the calculation of Frobenius closures of parameter ideals in Cohen-Macaulay rings.

This page was built for publication: On the upper semi-continuity of HSL numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6239374)