Related papers: Complete Homology over associative rings

The completion tower of a nonunital commutative ring is a classical construction in commutative algebra. In the setting of structured ring spectra as modeled by algebras over a spectral operad, the analogous construction is the homotopy…

We show that for a complete complex algebraic variety the pure component of homology coincides with the image of intersection homology. Therefore pure homology is topologically invariant. To obtain slightly more general results we introduce…

A new construction of rings is introduced, studied, and applied. Given surjective homomorphisms $R\to T\gets S$ of local rings, and ideals in $R$ and $S$ that are isomorphic to some $T$-module $V$, the \emph{connected sum} $R#_TS$ is…

Let $M,N$ be finitely generated modules over a local complete intersection $R$. Assume that for each $i>0$, $\mathrm{Tor}^R_i(M,N)=0$. We prove that the cohomological support of $M\otimes_R N$ (in the sense of Avramov-Buchweitz) is equal to…

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…

Let $R$ and $S$ be rings and $_R\omega_S$ a semidualizing bimodule. We prove that there exists a Morita equivalence between the class of $\infty$-$\omega$-cotorsionfree modules and a subclass of the class of $\omega$-adstatic modules. Also…

Let $(R,{\frak{m}}_R)$ be a commutative noetherian local ring. Assuming that ${\frak{m}}_R=$$I\oplus J$ is a direct sum decomposition, where $I$ and $J$ are non-zero ideals of $R$, we describe the structure of the Tor algebra of $R$ in…

Classical definitions of locally complete intersection (l.c.i.) homomorphisms of commutative rings are limited to maps that are essentially of finite type, or flat. The concept introduced in this paper is meaningful for homomorphisms phi :…

We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a…

We show that dualising transfer maps in Hochschild cohomology of symmetric algebras over complete discrete valuations rings commutes with Tate duality. This is analogous to a similar result for Tate cohomology of symmetric algebras over…

For homomorphism K-->S of commutative rings, where K is Gorenstein and S is essentially of finite type and flat as a K-module, the property that all non-trivial fiber rings of K-->S are Gorenstein is characterized in terms of properties of…

Let G be a finite group and let k be a field of characteristic p. Given a finitely generated indecomposable non-projective kG-module M, we conjecture that if the Tate cohomology $\HHHH^*(G, M)$ of G with coefficients in M is finitely…

In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the…

Let A be any finite dimensional Hopf algebra over a field k. We specify the Tate and Tate-Hochschild cohomology for A and introduce cup products that make them become graded rings. We establish the relationship between these rings. In…

Motivated by work of Hochster and Huneke, we investigate several constructions related to the $S_2$-ification $T$ of a complete equidimensional local ring $R$: the canonical module, the top local cohomology module, topological spaces of the…

The study of homological invariants such as Tor, Ext and local cohomology modules constitutes an important direction in commutative algebra. Explicit descriptions of these invariants are notoriously difficult to find and often involve…

With the long-term goal of proving local structure theorems of algebraic stacks in positive characteristic near points with reductive (but possibly non-linearly reductive) stabilizer, we conjecture that quotient stacks of the form…

We obtain various characterizations of commutative Noetherian local rings $(R, \fm)$ in terms of homological dimensions of certain finitely generated modules. For example, we establish that $R$ is Gorenstein if the Gorenstein injective…

Under semi-weak and weak compatibility of bimodules, we establish sufficient and necessary conditions of Gorenstein-projective modules over rings of Morita contexts with one bimodule homomorphism zero. This generalises and extends results…