Related papers: Local Cohomology and Base Change
It is proved that if $\varphi\colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at most $\mathrm{edim}\, A - \mathrm{edim}\, B$, is free…
Let $\varphi: R\rightarrow S$ be a flat local homomorphism between commutative Noetherian local rings. In this paper, the ascent and descent of Artinian module structures between $R$ and $S$ are investigated. For an Artinian $R$-module $A$,…
Let X be the toric scheme over a ring R associated with a fan Sigma. It is shown that there are a group B, a B-graded R-algebra S and a graded ideal I of S such that there is an essentially surjective, exact functor ~ from the category of…
Let $R$ denote a commutative Noetherian ring. Brodmann et al. defined and studied the concept of the local-global principle for annihilation of local cohomology modules at level $r\in\mathbb{N}$ for the ideals $\frak a$ and $\frak b$ of…
Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial…
Let $\fa$ be an ideal of a commutative Noetherian ring $R$ and $M$ a finitely generated $R$-module. Let $t$ be a natural integer. It is shown that there is a finite subset $X$ of $\Spec R$, such that $\Ass_R(H_{\fa}^t(M))$ is contained in…
Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in…
Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…
In this text, we generalize Cech cohomology to sheaves $\mathcal F$ with values in blue $B$-modules where $B$ is a blueprint with $-1$. If $X$ is an object of the underlying site, then the cohomology sets $H^l(X,\mathcal F)$ turn out to be…
In 2008, Rogalski and Zhang showed that if R is a strongly noetherian connected graded algebra over an algebraically closed field, then R has a canonical birationally commutative factor. This factor is, up to finite dimension, a twisted…
Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…
Let $C$ be a symmetrizable generalized Cartan matrix with symmetrizer $D$ and orientation $\Omega$. In previous work we associated an algebra $H$ to this data, such that the locally free $H$-modules behave in many aspects like…
For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a…
We show that any homomorphism between Noetherian $F$-finite rings can be factored into a regular morphism between Noetherian $F$-finite rings followed by a surjection. This result establishes an analog of the 'smooth-by-surjective'…
Let $R$ be a commutative noetherian ring, $I,J$ be two ideals of $R$, $M$ be an $R$-module, and $\mathcal{S}$ be a Serre class of $R$-modules. A positive answer to the Huneke$^,$s conjecture is given for a noetherian ring $R$ and minimax…
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
Free analysis is a quantization of the usual function theory much like operator space theory is a quantization of classical functional analysis. Basic objects of free analysis are noncommutative functions. These are maps on tuples of…
Let $R$ be a commutative noetherian ring and $I$ an ideal of $R$. Assume that for all integers $i$ the local cohomology module $H_I^i(R)$ is $I$-cofinite. Suppose that $R_\mathfrak{p}$ is a regular local ring for all prime ideals…
Let $A$ be a noetherian ring, $\fa$ an ideal of $A$, and $M$ an $A$--module. Some uniform theorems on the artinianness of certain local cohomology modules are proven in a general situation. They generalize and imply previous results about…
We prove a generic flatness result for the cohomology of thickenings of a projective scheme that is smooth over a Noetherian domain containing a field of characteristic zero. Our study is motivated, in part, by a classical question in…