BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Mordechai Katzman contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this brief note we show that for a field extension $K/F$, $S=K[\![\mathbf{x}]\!]$ is a free $R=F[\![\mathbf{x}]\!]$-module precisely when $K/F$ is finite. We then raise the question \emph{what is the projective dimension of $S$?}
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.
This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-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.