Related papers: Adic reduction to the diagonal and a relation betw…
The concept of Faltings' local-global principle for the minimaxness of local cohomology modules over a commutative Noetherian ring $R$ is introduced, and it is shown that this principle holds at level 2. We also establish the same principle…
Let $S$ be a submonoid of a free Abelian group of finite rank. We show that if $k$ is a field of prime characteristic such that the monoid $k$-algebra $k[S]$ is split $F$-regular, then $k[S]$ is a finitely generated $k$-algebra, or…
In this paper we extend two results of Happel to commutative rings. Let $(A, \mathfrak{m})$ be a commutative Noetherian local ring. Let $D^b_f(mod \ A)$ be the bounded derived category of complexes of finitely generated modules over $A$…
Let A be a commutative ring, and let \a be a weakly proregular ideal in A. (If A is noetherian then any ideal in it is weakly proregular.) Suppose M is a compact generator of the category of cohomologically \a-torsion complexes. We prove…
Over a commutative noetherian ring $R$ of finite Krull dimension, we show that every complex of flat cotorsion $R$-modules decomposes as a direct sum of a minimal complex and a contractible complex. Moreover, we define the notion of a…
Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ an ideal of $R$, $M$ a finitely generated $R$--module, and $X$ an arbitrary $R$--module. In this paper, for non-negative integers $s, t$ and a finitely…
Let G be GL_N or SL_N as reductive linear algebraic group over a field k of positive characteristic p. We prove several results that were previously established only when N < 6 or p > 2^N. Let G act rationally on a finitely generated…
We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…
Let $(R,\mathfrak{m})$ be a Noetherian local ring and $\widehat{R}$ its $\mathfrak{m}$-adic completion. We study the problem of determining when a finitely generated $\widehat{R}$-module arises from an $R$-module, i.e., when it is…
Let $\A$ be a $\k$-algebra where $\k$ a field of arbitrary characteristic, and let $\mathscr{A}_\k$ be a full subcategory of $\A$-Mod, the abelian category of left $\A$-modules.Following M. Kleiner and I. Reiten, $\mathscr{A}_\k$ is {\it…
We prove a descent result for finite projective modules, motivated by a question in perfectoid geometry. Given a commutative ring $A$, we formulate a descent problem for descending a finite projective module over the Novikov ring with…
Let $G$ be the group scheme $SL_2$ defined over a noetherian ring $k$. If $G$ acts on a finitely generated commutative $k$-algebra $A$, then $H^*(G,A)$ is a finitely generated $k$-algebra.
Let $\mathfrak{a}$ be a proper ideal of a commutative noetherian ring $R$ and $d$ a positive integer. We answer Hartshorne's question on cofinite complexes completely in the cases $\mathrm{dim}R=d$ or $\mathrm{dim}R/\mathfrak{a}=d-1$ or…
Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and…
Let $\fa$ be an ideal of a commutative Noetherian ring $R$ with identity and let $M$ and $N$ be two finitely generated $R$-modules. Let $t$ be a positive integer. It is shown that $\Ass_R(H_{\fa}^t(M,N))$ is contained in the union of the…
We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension.…
Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…
For any commutative ring $A$ we introduce a generalization of $S$-noetherian rings using a hereditary torsion theory $\sigma$ instead of a multiplicatively closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally…
Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, and let $M$ be a finitely generated $R$-module. For a non-negative integer $t$, we prove that $H_{\fa}^t(M)$ is $\fa$-cofinite whenever $H_{\fa}^t(M)$ is Artinian and…
In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module $M$ of finite flat dimension over such a DG-ring satisfies $\mathrm{projdim}_A(M) \leq…