A note on freeness
In this brief note we show that for a field extension , is a free -module precisely when is finite. We then raise the question \emph{what is the projective dimension of ?}
Source author record
Mordechai Katzman
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
12works
2topics
4close collaborators
Published work
12 publications
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.
Open access
preprint2019arXiv
The TestIdeals package for Macaulay2
This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, p−e-linear and pe-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given p−e-linear map.
Open access
preprint2014arXiv
An extension of a theorem of Hartshorne
We extend a classical theorem of Hartshorne concerning the connectedness of the punctured spectrum of a local ring by analyzing the homology groups of a simplicial complex associated with the minimal primes of a local ring.
Open access
preprint2013arXiv
Annihilators of Artinian modules compatible with a Frobenius map
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 solves this dual problem in the F-finite case.
Open access
preprint2012arXiv
An algorithm for computing compatibly Frobenius split subvarieties
Let R be a ring of prime characteristic p, and let F∗eR denote R viewed as an R-module via the eth iterated Frobenius map. Given a surjective map ϕ:F∗eR→R (for example a Frobenius splitting), we exhibit an algorithm which produces all the ϕ-compatible ideals. We also explore a variant of this algorithm under the hypothesis that ϕ is not necessarily a Frobenius splitting (or even surjective). This algorithm, and the original, have been implemented in Macaulay2.
Open access
preprint2012arXiv
Castelnuovo-Mumford regularity and the discreteness of F-jumping coefficients in graded rings
In this paper we show that the sets of F-jumping coefficients of ideals form discrete sets in certain graded F-finite rings. We do so by giving a criterion based on linear bounds for the growth of the Castelnuovo-Mumford regularity of certain ideals. We further show that these linear bounds exists for one-dimensional rings and for ideals of (most) two-dimensional domains. We conclude by applying our technique to prove that all sets of F-jumping coefficients of all ideals in the determinantal ring given as the quotient by 2×2 minors in a 2×3 matrix of indeterminates form discrete sets.
Open access
preprint2011arXiv
Some properties and applications of F-finite F-modules
The purpose of this paper is to describe several applications of finiteness properties of F-finite F-modules recently discovered by M. Hochster to the study of Frobenius maps on injective hulls, Frobenius near-splittings and to the nature of morphisms of F-finite F-modules. Among the results in the paper we show that morphisms of F-finite F-modules have a particularly simple form, and we show that certain Frobenius near-splittings have finitely many compatible submodules, thus generalizing a result of M. Blickle and G. Böckle to the non-F-finite case.
Open access
preprint2010arXiv
An upper bound on the number of F-jumping coefficients of a principal ideal
We prove a result relating the Jacobian ideal and the generalized test ideal associated to a principal ideal in R=k[x1,...,xn] with [k:kp]<∞ or in R=k[[x1,...,xn]] with an arbitrary field k of characteristic p>0. As a consequence of this result, we establish an upper bound on the number of F-jumping coefficients of a principal ideal with an isolated singularity.
Open access
preprint2010arXiv
Two interesting examples of D-modules in characteristic p>0
We provide two examples of D-modules in prime characteristic p which answer two open problems in \cite{Lyubeznik} in the negative.
Open access
preprint2009arXiv
Frobenius maps on injective hulls and their applications to tight closure
This paper studies Frobenius maps on injective hulls of residue fields of complete local rings with a view toward providing constructive descriptions of objects originating from the theory of tight closure. Specifically, the paper describes algorithms for computing parameter test ideals, and tight closure of certain submodules of the injective hull of residue fields of a class of well-behaved rings which includes all quasi-Gorenstein complete local rings.
Open access
preprint2007arXiv
Parameter test ideals of Cohen Macaulay rings
We describe an algorithm for computing parameter-test-ideals in certain local Cohen-Macaulay rings. The algorithm is based on the study of a Frobenius map on the injective hull of the residue field of the ring and on the application of Rodney Sharp's notion of ``special ideals''. Our techniques also provide an algorithm for computing indices of nilpotency of Frobenius actions on top local cohomology modules of the ring and on the injective hull of its residue field. The study of nilpotent elements on injective hulls of residue fields also yields a great simplification of the proof of the fact that for a power series ring R of prime characteristic, for all nonzero f∈R, 1/f generates Rf as a DR-module.
Open access
Research graph
See the researcher in context
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.