Serena Murru | Searcharxiv

arXiv2017

Global parameter test ideals

This paper shows the existence of ideals whose localizations and completions at prime ideals are parameter test ideals of the localized and completed rings. We do this for Cohen-Macaulay localizations (resp., completions) of non-local rings, for generalized Cohen-Macaulay rings, and for non-local rings with isolated non Cohen-Macaulay points, each being an isolated non $F$-rational point. The tools used to prove this results are constructive in nature and as a consequence our results yield algorithms for the computation of these global parameter test ideals. Finally, we illustrate the power of our methods by analyzing the HSL numbers of local cohomology modules with support at any prime ideal.

math.AC↗

arXiv2016

On the upper semi-continuity of HSL numbers

Let $B$ be an affine Cohen-Macaulay algebra over a field of characteristic $p$. For every prime ideal $\mathfrak{p}\subset B$, let $\text{H}_\mathfrak{p}$ denote $H^{\dim B_\mathfrak{p}}_{\mathfrak{p} B_\mathfrak{p}}\left( \widehat{B_\mathfrak{p}} \right)$. Each such $\text{H}_\mathfrak{p}$ is an Artinian module endowed with a natural Frobenius map $Θ$ and if $\text{Nil}(\text{H}_\mathfrak{p})$ denotes the set of all elements in $\text{H}_\mathfrak{p}$ killed by some power of $Θ$ then a theorem by Hartshorne-Speiser and Lyubeznik shows that there exists an $e\geq 0$ such that $Θ^e \text{Nil}(\text{H}_\mathfrak{p})=0$. The smallest such $e$ is the HSL-number of $\text{H}_\mathfrak{p}$ which we denote $\text{HSL}(\text{H}_\mathfrak{p})$. The main theorem in this paper shows that for all $e>0$, the sets $\{ \mathfrak{p}\in\text{Spec} (B) \,|\, \text{HSL}(\text{H}_\mathfrak{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.

math.AC↗