Related papers: The Frobenius endomorphism and homological dimensi…

We investigate the similarities between adic finiteness and homological finiteness for chain complexes over a commutative noetherian ring. In particular, we extend the isomorphism properties of certain natural morphisms from homologically…

We establish a "second vanishing theorem" for local cohomology modules over regular rings of unramified mixed characteristic, which relates the connectedness of the spectrum of a ring with the vanishing of local cohomology. Applying this,…

Let $R$ be a commutative Noetherian ring, $\mathfrak a$ and $\mathfrak b$ ideals of $R$. In this paper, we study the finiteness dimension $f_{\mathfrak a}(M)$ of $M$ relative to $\mathfrak a$ and the $\mathfrak b$-minimum $\mathfrak…

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…

This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence…

A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull…

Let $\Cc$ and $\Dd$ be two corings over a ring $A$ and $\Cc\stackrel{\lambda}{\longrightarrow}\Dd$ be a morphism of corings. We investigate the situation when the associated induced ("corestriction of scalars") functor…

Thirty years ago, Huneke (for local rings) and Lyubeznik (in general) conjectured that for all regular rings $R$, the local cohomology modules $H^i_I(R)$ have finitely many associated prime ideals. We prove substantial new cases of their…

A Riemannian metric is called Hessian if, locally, it can be written as the Hessian of a function called the Hessian potential. A (flat) Manin-Frobenius manifold is a flat Riemannian manifold furnished with a commutative and associative…

Let $(R, \frak m)$ denote a local Cohen-Macaulay ring and $I$ a non-nilpotent ideal of $R$. The purpose of this article is to investigate Faltings' finiteness dimension $f_I(R)$ and equidimensionalness of certain homomorphic image of $R$.…

Let (R,m) be a commutative Noetherian local ring. It is known that R is Cohen-Macaulay if there exists either a nonzero finitely generated R-module of finite injective dimension or a nonzero Cohen-Macaulay R-module of finite projective…

Let $(A,\mathfrak{m})$ be a Gorenstein local ring of dimension $d \geq 1$. Suppose there exists be a non-zero $A$ module $M$ of finite length and finite projective dimension such that $\ell\ell(M)$, the Lowey length of $M$, is equal to…

We investigate the relationship between smoothness and the relative global dimension of a ring extension. We prove that a smooth commutative algebra $A$ over $B$ has finite relative global dimension $\text{gdim}(A,B)$. Conversely, under a…

We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to…

It is shown in a local strongly $F$-regular ring there exits natural number $e_0$ so that if $M$ is any finitely generated maximal Cohen-Macaulay module then the pushforward of $M$ under the $e_0$th iterate of the Frobenius endomorphism…

We introduce the notion of the Frobenius--Witt cotangent complex, which can be considered as a derived variant of the module of Frobenius--Witt differentials defined by T. Saito. This new object also can be seen as an arithmetic variant of…

Let $A=\mathbb{F}_q[T]$ be the polynomial ring over $\mathbb{F}_q$, and $F$ be the field of fractions of $A$. Let $\phi$ be a Drinfeld $A$-module of rank $r\geq 2$ over $F$. For all but finitely many primes $\mathfrak{p}\lhd A$, one can…

$\newcommand{\OO}[1]{\mathcal{O}_{#1}}\newcommand{\GG}{\mathcal{G}}\newcommand{\End}{\mathrm{End}}\newcommand{\O}{\mathcal{O}}$Let $K/F$ be a quadratic extension of non-Archimedean local fields of characteristic not equal to 2, with rings…

The purpose of this note is to relate certain ring-theoretic properties of rings in mixed and positive characteristics that are related to each other by a tilting operation used in perfectoid geometry. To this aim, we exploit the…

We use the abstract framework constructed in our earlier paper to study local duality for Noetherian $\mathbb{E}_{\infty}$-ring spectra. In particular, we compute the local cohomology of relative dualizing modules for finite morphisms of…