Source author record

Rodney Y. Sharp

Rodney Y. Sharp appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AC

Catalog footprint

What is connected

6works

1topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Lyubeznik numbers, $F$-modules and modules of generalized fractions

This paper presents an algorithm for calculation of the Lyubeznik numbers of a local ring which is a homomorphic image of a regular local ring $R$ of prime characteristic. The methods used employ Lyubeznik's $F$-modules over $R$, particularly his $F$-finite $F$-modules, and also the modules of generalized fractions of Sharp and Zakeri. It is shown that many modules of generalized fractions over $R$ have natural structures as $F$-modules; these lead to $F$-module structures on certain local cohomology modules over $R$, which are exploited, in conjunction with $F$-module structures on injective $R$-modules that result from work of Huneke and Sharp, to compute Lyubeznik numbers. The resulting algorithm has been implemented in Macaulay2.

preprint2014arXiv

Graded annihilators and uniformly $F$-compatible ideals

Let $R$ be a commutative (Noetherian) local ring of prime characteristic $p$ that is $F$-pure. This paper is concerned with comparison of three finite sets of radical ideals of $R$, one of which is only defined in the case when $R$ is $F$-finite (that is, is finitely generated when viewed as a module over itself via the Frobenius homomorphism). Two of the afore-mentioned three sets have links to tight closure, via test ideals. Among the aims of the paper are a proof that two of the sets are equal, and a proposal for a generalization of I. M. Aberbach's and F. Enescu's splitting prime.

preprint2013arXiv

Tight closure with respect to a multiplicatively closed subset of an $F$-pure local ring

Let $R$ be a (commutative Noetherian) local ring of prime characteristic that is $F$-pure. This paper studies a certain finite set ${\mathcal I}$ of radical ideals of $R$ that is naturally defined by the injective envelope of the simple $R$-module. This set ${\mathcal I}$ contains $0$ and $R$, and is closed under taking primary components. For a multiplicatively closed subset $S$ of $R$, the concept of tight closure with respect to $S$, or $S$-tight closure, is discussed, together with associated concepts of $S$-test element and $S$-test ideal. It is shown that an ideal of $R$ belongs to ${\mathcal I}$ if and only if it is the $S'$-test ideal of $R$ for some multiplicatively closed subset $S'$ of $R$. When $R$ is complete, ${\mathcal I}$ is also `closed under taking test ideals', in the following sense: for each proper ideal $C$ in ${\mathcal I}$, it turns out that $R/C$ is again $F$-pure, and if $J$ and $K$ are the unique ideals of $R$ that contain $C$ and are such that $J/C$ is the (tight closure) test ideal of $R/C$ and $K/C$ is the big test ideal of $R/C$, then both $J$ and $K$ belong to ${\mathcal I}$. The paper ends with several examples.

preprint2011arXiv

Big tight closure test elements for some non-reduced excellent rings

This paper is concerned with existence of big tight closure test elements for a commutative Noetherian ring $R$ of prime characteristic $p$. Let $R^{\circ}$ denote the complement in $R$ of the union of the minimal prime ideals of $R$. A big test element for $R$ is an element of $R^{\circ}$ which can be used in every tight closure membership test for every $R$-module, and not just the finitely generated ones. The main results of the paper are that, if $R$ is excellent and satisfies condition $(R_0)$, and $c \in R^{\circ}$ is such that $R_c$ is Gorenstein and weakly $F$-regular, then some power of $c$ is a big test element for $R$ if (i) $R$ is a homomorphic image of an excellent regular ring of characteristic $p$ for which the Frobenius homomorphism is intersection-flat, or (ii) $R$ is $F$-pure, or (iii) $R$ is local. The Gamma construction is not used.

preprint2010arXiv

An excellent F-pure ring of prime characteristic has a big tight closure test element

In two recent papers, the author has developed a theory of graded annihilators of left modules over the Frobenius skew polynomial ring over a commutative Noetherian ring $R$ of prime characteristic $p$, and has shown that this theory is relevant to the theory of test elements in tight closure theory. One result of that work was that, if $R$ is local and the $R$-module structure on the injective envelope $E$ of the simple $R$-module can be extended to a structure as a torsion-free left module over the Frobenius skew polynomial ring, then $R$ is $F$-pure and has a tight closure test element. One of the central results of this paper is the converse, namely that, if $R$ is $F$-pure, then $E$ has a structure as a torsion-free left module over the Frobenius skew polynomial ring; a corollary is that every $F$-pure local ring of prime characteristic, even if it is not excellent, has a tight closure test element. These results are then used, along with embedding theorems for modules over the Frobenius skew polynomial ring, to show that every excellent (not necessarily local) $F$-pure ring of characteristic $p$ must have a so-called `big' test element.