This paper is concerned with the tight closure of an ideal in a commutative Noetherian local ring $R$ of prime characteristic $p$. Several authors, including R. Fedder, K.-i. Watanabe, K. E. Smith, N. Hara and F. Enescu, have used the natural Frobenius action on the top local cohomology module of such an $R$ to good effect in the study of tight closure, and this paper uses that device. The main part of the paper develops a theory of what are here called 'special annihilator submodules' of a left module over the Frobenius skew polynomial ring associated to $R$; this theory is then applied in the later sections of the paper to the top local cohomology module of $R$ and used to show that, if $R$ is Cohen--Macaulay, then it must have a weak parameter test element, even if it is not excellent.
Let R be a commutative Noetherian ring of prime characteristic and M be an x-divisible right R[x,f]-module that is Noetherian as R-module. We give an affirmative answer to the question of Sharp and Yoshino in the case where R is semi-local and prove that the set of graded annihilators of R[x,f]-homomorphic images of M is finite. We also give a counterexample in the general case.
In this paper we consider Artinian modules over power series rings endowed with a Frobenius map. We describe a method for finding the set of all prime annihilators of submodules which are preserved by the given Frobenius map and on which the Frobenius map is not nilpotent. This extends the algorithm by Karl Schwede and the first author, which solved this problem for submodules of the injective hull of the residue field. The Matlis dual of this problem asks for the radical annihilators of quotients of free modules by submodules preserved by a given Frobenius near-splitting, and the same method …
Let $R$ be a commutative Noetherian local ring of prime characteristic $p$. The main purposes of this paper are to show that if the injective envelope $E$ of the simple $R$-module has a structure as a torsion-free left module over the Frobenius skew polynomial ring over $R$, then $R$ has a tight closure test element (for modules) and is $F$-pure, and to relate the test ideal of $R$ to the smallest '$E$-special' ideal of $R$ of positive height. A byproduct is an analogue of a result of Janet Cowden Vassilev: she showed, in the case where $R$ is an $F$-pure homomorphic image of an $F$-finite reg…
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.
The main purposes of this paper are to establish and exploit the result that, over a complete (Noetherian) local ring $R$ of prime characteristic for which the Frobenius homomorphism $f$ is finite, the appropriate restrictions of the Matlis-duality functor provide an equivalence between the category of left modules over the Frobenius skew polynomial ring $R[x,f]$ that are Artinian as $R$-modules and the category of right $R[x,f]$-modules that are Noetherian as $R$-modules.
The Frobenius depth denoted by F-depth defined by Hartshorne-Speiser in 1977 and later by Lyubeznik in 2006, in a different way, for rings of positive characteristic. The first aim of the present paper is to compare the F-depth with formal grade and reprove some results of Lyubeznik using formal local cohomology. Then the endomorphism rings of local cohomology modules will be considered. As an application, we reprove the results due to Huneke-Koh in positive characteristic and Lyubeznik in characteristic zero on the annihilators of local cohomology modules.
This paper studies Frobenius powers of parameter ideals in a commutative Noetherian local ring $R$ of prime characteristic $p$. For a given ideal $\fa$ of $R$, there is a power $Q$ of $p$, depending on $\fa$, such that the $Q$-th Frobenius power of the Frobenius closure of $\fa$ is equal to the $Q$-th Frobenius power of $\fa$. The paper addresses the question as to whether there exists a {\em uniform} $Q_0$ which `works' in this context for all parameter ideals of $R$ simultaneously. In a recent paper, Katzman and Sharp proved that there does exists such a uniform $Q_0$ when $R$ is Cohen--Maca…
An associative ring $R$ with identity is left pseudo-morphic if for every $a$$\in$$R$, there exists $b$$\in$$R$ such that $Ra=l_R(b)$. If, in addition, $l_R(a)=Rb$, then $R$ is called left morphic. $R$ is morphic if it is both left and right morphic. We characterize left pseudo-morphic rings; identify the cases a (left) pseudo morphic ring is (left) quasi-morphic, morphic, Quasi-Frobenius, von Neumann regular, etc.; correct two results in a book and a paper; and completely determine when the trivial extension of a commutative domain is morphic which positively answered a question in a paper.
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…
Let $R$ be a commutative Noetherian local ring of prime characteristic. The purpose of this paper is to provide a short proof of G. Lyubeznik's extension of a result of R. Hartshorne and R. Speiser about a module over the skew polynomial ring $R[x,f]$ (associated to $R$ and the Frobenius homomorphism $f$, in the indeterminate $x$) that is both $x$-torsion and Artinian over $R$.
We study the annihilator of the cokernel of a map of free Z/2-graded modules over a Z/2-graded skew-commutative algebra in characteristic 0 and define analogues of its Fitting ideals. We show that in the ``generic'' case the annihilator is given by a Fitting ideal, and explain relations between the Fitting ideal and the annihilator that hold in general. Our results generalize the classical Fitting Lemma, and extend the key result of Green [1999]. They depend on the Berele-Regev theory of representations of general linear Lie super-algebras.
We consider matrices with entries in a local ring, Mat(R). Fix a group action, G on Mat(R), and a subset of allowed deformations, Σ. The traditional objects of study in Singularity Theory and Algebraic Geometry are the tangent spaces T_{(Σ,A)}, T_{(GA,A)}, and their quotient, the tangent module to the miniversal deformation, T^1_{(Σ,G,A)}. This module plays the key role in various deformation problems, e.g., deformations of maps, of modules, of (skew-)symmetric forms. In particular, the first question is to determine the support/annihilator of this tangent module. In [Belitski-Kerner.1] we hav…
This paper is concerned with ideals in a commutative Noetherian ring $R$ of prime characteristic. The main purpose is to show that the Frobenius closures of certain ideals of $R$ generated by regular sequences exhibit a desirable type of `uniform' behaviour. The principal technical tool used is a result, proved by R. Hartshorne and R. Speiser in the case where $R$ is local and contains its residue field which is perfect, and subsequently extended to all local rings of prime characteristic by G. Lyubeznik, about a left module over the skew polynomial ring $R[x,f]$ (associated to $R$ and the Fro…
Let $k$ be a perfect field of characteristic $p > 0$, and let $K = k((u))$ be the field of Laurent series over $K$. We study the skew polynomial ring $K[T, Φ]$, where $Φ$ is an endomorphism of $K$ that extends a Frobenius endomorphism of $k$. We give a description of the irreducible skew polynomials, develop an analogue of the theory of the Newton polygon in this context, and classify the similarity classes of irreducible elements.
We consider matrices with entries in a local ring, Mat(m,n,R). Fix a group action, G on Mat(m,n,R), and a subset of allowed deformations, Σ\subseteq Mat(m,n,R). The standard question of Singularity Theory is the finite-(Σ,G)-determinacy of matrices. Finite determinacy implies algebraizability and is equivalent to a stronger notion: stable algebraizability. In our previous work this determinacy question was reduced to the study of the tangent spaces to Σand to the orbit, T_{(Σ,A)}, T_{(GA,A)} , and their quotient, the tangent module to the miniversal deformation. In particular, the order of det…
We consider matrices with entries in a local ring, Mat(m,n;R). Fix an action of group G on Mat(m,n;R), and a subset of allowed deformations, Σin Mat(m,n;R). The standard question (along the lines of Singularity Theory) is the finite-(Σ,G)-determinacy of matrices. In our previous work this determinacy question was reduced to the study of the tangent spaces to Σand to the orbit, T_{(Σ,A)}, T_{(GA,A)}, and their quotient: the tangent module to the miniversal deformation. In particular, the order of determinacy is controlled by the annihilator of this tangent module. Then we have studied this tang…
