BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Neil Epstein

Neil Epstein contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ACmath.COmath.AGmath.RAmath.CVmath.GN

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
23works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

23 published item(s)

preprint2022arXiv

Integral closure, basically full closure, and duals of nonresidual closure operations

We develop a duality for operations on nested pairs of modules that generalizes the duality between absolute interior operations and residual closure operations from [ER21], extending our previous results to the expanded context. We apply this duality in particular to integral and basically full closures and their respective cores to obtain integral and basically empty interiors and their respective hulls. We also dualize some of the known formulas for the core of an ideal to obtain formulas for the hull of a submodule of the injective hull of the residue field. The article concludes with illustrative examples in a numerical semigroup ring.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Test elements, excellent rings, and content functions

Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a principal ideal in a locally excellent regular ring is a discrete subset of $\mathbb Q$, and 3. If $R$ is a quotient of a locally excellent regular ring of prime characteristic, then there is a uniform upper bound on the Hartshorne-Speiser-Lyubeznik numbers of the injective hulls of the residue fields of $R$. To do so, we develop the parallel theories of Ohm-Rush and intersection flat algebras. We show that both properties can be checked locally in flat maps of Noetherian rings. We show that intersection-flatness admits a content theory parallel to that of Ohm-Rush content for Ohm-Rush algebras. We develop descent results for these properties. Using the descent result for intersection flatness, we obtain a local condition under which a faithfully flat map of Noetherian rings must be intersection-flat. The local condition for intersection-flatness allows us to conclude that finitely generated faithfully flat algebras over a Noetherian ring are intersection-flat. Combining the local condition for intersection flatness with results of Kunz and Radu yields the conclusion that the Frobenius endomorphism associated to a locally excellent regular ring of prime characteristic is intersection-flat, thus answering a question of Sharp. Applications of the latter result include the three enumerated results above. We also get applications to tight closure and parameter test ideals.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

The Ohm-Rush content function III: Completion, globalization, and power-content algebras

One says that a ring homomorphism $R \rightarrow S$ is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element $f\in S$, there is a unique smallest ideal of $R$ whose extension to $S$ contains $f$, called the content of $f$. For Noetherian local rings, we analyze whether the completion map is Ohm-Rush. We show that the answer is typically `yes' in dimension one, but `no' in higher dimension, and in any case it coincides with the content map having good algebraic properties. We then analyze the question of when the Ohm-Rush property globalizes in faithfully flat modules and algebras over a 1-dimensional Noetherian domain, culminating both in a positive result and a counterexample. Finally, we introduce a notion that we show is strictly between the Ohm-Rush property and the weak content algebra property.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Nakayama closures, interior operations, and core-hull duality

Exploiting the interior-closure duality developed by Epstein and R.G., we show that for the class of Matlis dualizable modules $\mathcal{M}$ over a Noetherian local ring, when cl is a Nakayama closure and i its dual interior, there is a duality between cl-reductions and i-expansions that leads to a duality between the cl-core of modules in $\mathcal{M}$ and the i-hull of modules in $\mathcal{M}^\vee$. We further show that many algebra and module closures and interiors are Nakayama and describe a method to compute the interior of ideals using closures and colons. We use our methods to give a unified proof of the equivalence of F-rationality with F-regularity, and of F-injectivity with F-purity, in the complete Gorenstein local case. Additionally, we give a new characterization of the finitistic tight closure test ideal in terms of maps from $R^{1/p^e}$. Moreover, we show that the liftable integral spread of a module exists.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A computation concerning relative Hilbert-Kunz multiplicities

In preparing the paper "Some extensions of Hilbert-Kunz multiplicity", we had occasion to perform an intricate set of computations pertaining to a single illustrative example. In the end, we have decided not to include the computations in the main paper, but instead to publish them here for later reference. In particular, the current preprint gives an example where the converse to one of our main theorems holds, even though it does not fit into any of the previously known cases where a converse holds.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Continuous closure, axes closure, and natural closure

Let $R$ be a reduced affine $\mathbb C$-algebra, with corresponding affine algebraic set $X$. Let $\mathcal C(X)$ be the ring of continuous (Euclidean topology) $\mathbb C$-valued functions on $X$. Brenner defined the \emph{continuous closure} $I^{\rm cont}$ of an ideal $I$ as $I\mathcal C(X) \cap R$. He also introduced an algebraic notion of \emph{axes closure} $I^{\rm ax}$ that always contains $I^{\rm cont}$, and asked whether they coincide. We extend the notion of axes closure to general Noetherian rings, defining $f \in I^{\rm ax}$ if its image is in $IS$ for every homomorphism $R \to S$, where $S$ is a one-dimensional complete seminormal local ring. We also introduce the \emph{natural closure} $I^\natural$ of $I$. One of many characterizations is $I^\natural = I + \{f \in R: \exists n >0 \text{ with } f^n \in I^{n+1}\}$. We show that $I^\natural \subseteq I^{\rm ax}$, and that when continuous closure is defined, $I^\natural \subseteq I^{\rm cont }\subseteq I^{\rm ax}$. Under mild hypotheses on the ring, we show that $I^\natural= I^{\rm ax}$ when $I$ is primary to a maximal ideal, and that if $I$ has no embedded primes, then $I = I^\natural$ if and only if $I = I^{\rm ax}$, so that $I^{\rm cont}$ agrees as well. We deduce that in the polynomial ring $\mathbb C[x_1, \ldots, x_n]$, if $f = 0$ at all points where all of the ${\partial f \over \partial x_i}$ are 0, then $f \in ( {\partial f \over \partial x_1}, \, \ldots, \, {\partial f \over \partial x_n})R$. We characterize $I^{\rm cont}$ for monomial ideals in polynomial rings over $\mathbb C$, but we show that the inequalities $I^\natural \subset I^{\rm cont}$ and $I^{\rm cont} \subset I^{\rm ax}$ can be strict for monomial ideals even in dimension 3. Thus, $I^{\rm cont}$ and $I^{\rm ax}$ need not agree, although we prove they are equal in $\mathbb C[x_1, x_2]$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Perinormality -- a generalization of Krull domains

We introduce a new class of integral domains, the perinormal domains, which fall strictly between Krull domains and weakly normal domains. We establish basic properties of the class, and in the case of universally catenary domains we give equivalent characterizations of perinormality. (Later on, we point out some subtleties that occur only in the non-Noetherian context.) We also introduce and explore briefly the related concept of global perinormality, including a relationship with divisor class groups. Throughout, we provide illuminating examples from algebra, geometry, and number theory.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Liftable integral closure

We develop the basic properties of an essentially new closure operation on submodules, the \emph{liftable integral closure} of a submodule, including its relationships with the two prevailing notions of integral closure of submodules. We show that for a quite general class of local rings, every finite length module may be represented as a quotient of the form $T/L$, where $T$ is torsionless and integrally dependent on $L$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Ohm-Rush content function

The content of a polynomial over a ring $R$ is a well understood notion. Ohm and Rush generalized this concept of a content map to an arbitrary ring extension of $R$, although it can behave quite badly. We examine five properties an algebra may have with respect to this function -- content algebra, weak content algebra, semicontent algebra (our own definition), Gaussian algebra, and Ohm-Rush algebra. We show that the Gaussian, weak content, and semicontent algebra properties are all transitive. However, transitivity is unknown for the content algebra property. We then compare the Ohm-Rush notion with the more usual notion of content in the power series context. We show that many of the given properties coincide for the power series extension map over a valuation ring of finite dimension, and that they are equivalent to the value group being order-isomorphic to the integers or the reals. Along the way, we give a new characterization of Prüfer domains.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A dual to tight closure theory

We introduce an operation on modules over an $F$-finite ring of characteristic $p$. We call this operation \emph{tight interior}. While it exists more generally, in some cases this operation is equivalent to the Matlis dual of tight closure. Moreover, the interior of the ring itself is simply the big test ideal. We directly prove, without appeal to tight closure, results analogous to persistence, colon capturing, and working modulo minimal primes, and we begin to develop a theory dual to phantom homology. Using our dual notion of persistence, we obtain new and interesting transformation rules for tight interior, and so in particular for the test ideal, which complement the main results of a recent paper of the second author and K. Tucker. Using our theory of phantom homology, we prove a vanishing theorem for maps of Ext. We also compare our theory to M. Blickle's notion of Cartier modules, and in the process, we prove new existence results for Blickle's test submodule. Finally, we apply the theory we developed to the study of test ideals in non-normal rings, proving that the finitistic test ideal coincides with the big test ideal in some cases.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Algebra retracts and Stanley-Reisner rings

In a paper from 2002, Bruns and Gubeladze conjectured that graded algebra retracts of polytopal algebras over a field $k$ are again polytopal algebras. Motivated by this conjecture, we prove that graded algebra retracts of Stanley-Reisner rings over a field $k$ are again Stanley-Reisner rings. Extending this result further, we give partial evidence for a conjecture saying that monomial quotients of standard graded polynomial rings over $k$ descend along graded algebra retracts.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Strong Krull primes and flat modules

There are several theorems describing the intricate relationship between flatness and associated primes over commutative Noetherian rings. However, associated primes are known to act badly over non-Noetherian rings, so one needs a suitable replacement. In this paper, we show that the behavior of strong Krull primes most closely resembles that of associated primes over a Noetherian ring. We prove an analogue of a theorem of Epstein and Yao characterizing flat modules in terms of associated primes by replacing them with strong Krull primes. Also, we partly generalize a classical equational theorem regarding flat base change and associated primes in Noetherian rings. That is, when associated primes are replaced by strong Krull primes, we show containment in general and equality in many special cases. One application is of interest over any Noetherian ring of prime characteristic. We also give numerous examples to show that our results fail if other popular generalizations of associated primes are used in place of strong Krull primes.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Zero-divisor graphs of nilpotent-free semigroups

We find strong relationships between the zero-divisor graphs of apparently disparate kinds of nilpotent-free semigroups by introducing the notion of an \emph{Armendariz map} between such semigroups, which preserves many graph-theoretic invariants. We use it to give relationships between the zero-divisor graph of a ring, a polynomial ring, and the annihilating-ideal graph. Then we give relationships between the zero-divisor graphs of certain topological spaces (so-called pearled spaces), prime spectra, maximal spectra, tensor-product semigroups, and the semigroup of ideals under addition, obtaining surprisingly strong structure theorems relating ring-theoretic and topological properties to graph-theoretic invariants of the corresponding graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A guide to closure operations in commutative algebra

This article is a survey of closure operations on ideals in commutative rings, with an emphasis on structural properties and on using tools from one part of the field to analyze structures in another part. The survey is broad enough to encompass the radical, tight closure, integral closure, basically full closure, saturation with respect to a fixed ideal, and the v-operation, among others.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Criteria for flatness and injectivity

Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has characteristic $p$, or more generally if it has a locally contracting endomorphism. Dualizing, we give criteria for injectivity of $R$-modules in terms of coassociated primes and (h-)divisibility of certain $\Hom$-modules. Along the way, we develop tools to achieve such a dual result. These include a careful analysis of the notions of divisibility and h-divisibility (including a localization result), a theorem on coassociated primes across a $\Hom$-module base change, and a local criterion for injectivity.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Some extensions of Hilbert-Kunz multiplicity

Let $R$ be an excellent Noetherian ring of prime characteristic. Consider an arbitrary nested pair of ideals (or more generally, a nested pair of submodules of a fixed finite module). We do \emph{not} assume that their quotient has finite length. In this paper, we develop various sufficient numerical criteria for when the tight closures of these ideals (or submodules) match. For some of the criteria we only prove sufficiency, while some are shown to be equivalent to the tight closures matching. We compare the various numerical measures (in some cases demonstrating that the different measures give truly different numerical results) and explore special cases where equivalence with matching tight closure can be shown. All of our measures derive ultimately from Hilbert-Kunz multiplicity.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Noether normalizations, reductions of ideals, and matroids

We show that given a finitely generated standard-graded algebra of dimension $d$ over an infinite field, its graded Noether normalizations obey a certain kind of `generic exchange', allowing one to pass between any two of them in at most $d$ steps. We prove analogous generic exchange theorems for minimal reductions of an ideal, minimal complete reductions of a set of ideals, and minimal complete reductions of multigraded $k$-algebras. Finally, we unify all these results into a common axiomatic framework by introducing a new topological-combinatorial structure we call a generic matroid, which is a common generalization of a topological space and a matroid.

0 citations0 reviewsNo code linkedOpen access