Related papers: Hochster-Eagon type theorem for Serre's $(S_n)$ co…

Let $R$ be a commutative noetherian ring, and let $\mathscr{S}$(resp. $\mathscr{L}$) be a Serre(resp. localizing) subcategory of the category of $R$-modules. If $\Bbb F$ is an unbounded complex of $R$-modules Tor-perpendicular to…

Let $R$ be a commutative noetherian ring and $f: X \to \mathrm{Spec} R$ a proper smooth morphism, of relative dimension $n$. From Hartshorne, Residues and Duality, Springer, 1966, one knows that the trace map $\mathrm{Tr}_f :…

Let $i: A\to R$ be a ring morphism, and $\chi: R\to A$ a right $R$-linear map with $\chi(\chi(r)s)=\chi(rs)$ and $\chi(1_R)=1_A$. If $R$ is a Frobenius $A$-ring, then we can define a trace map $\tr: A\to A^R$. If there exists an element of…

(1) Let $(A,\mathfrak{m})$ be complete Noetherian local ring of dimension $d$ and let $P$ be a prime ideal with $G_P(A) = \bigoplus_{n \geq 0}P^n/P^{n+1}$ a domain. Fix $r \geq 1$. If $J$ is a homogeneous ideal of $G_{P^r}(A)$ with…

An $R$-module $M$ is Hopfian (co-Hopfian) if any epic (monic) endomorphism of $M$ is an automorphism. If $R$ is commutative Noetherian, we characterize the co-Hopfian injective $R$-modules, and the Hopfian injectives in the case that $R$ is…

For a finite abelian group $G$, let $\beta_{\mathrm{sep}}(G)$ denote its separating Noether number. We determine $\beta_{\mathrm{sep}}(G)$ exactly for every finite abelian group $ G \cong C_{n_1}\oplus \cdots \oplus C_{n_r}$ with $ 1<n_1…

We prove a case of the Grothendieck-Serre conjecture: let $R$ be a Noetherian semilocal flat algebra over a Dedekind domain such that all fibers of $R$ are geometrically regular; let $G$ be a simply-connected reductive $R$-group scheme…

Let $K$ be a field and let $R$ be a regular domain containing $K$. Let $G$ be a finite subgroup of the group of automorphisms of $R$. We assume that $|G|$ is invertible in $K$. Let $R^G$ be the ring of invariants of $G$. Let $I$ be an ideal…

The classical Skolem--Noether Theorem [Giraud, 71] shows us (1) how we can assign to an Azumaya algebra $A$ on a scheme $X$ a cohomological Brauer class in $H^2(X,\mathbf G_m)$ and (2) how Azumaya algebras correspond to twisted vector…

Auslander conjectured that every Artin algebra satisfies a certain condition on vanishing of cohomology of finitely generated modules. The failure of this conjecture - by a 2003 counterexample due to Jorgensen and Sega - motivates the…

M. Hochster defines an invariant namely $\Theta(M,N)$ associated to two finitely generated module over a hyper-surface ring $R=P/f$, where $P=k\{x_0,...,x_n\}$ or $k[X_0,...,x_n]$, for $k$ a field and $f$ is a germ of holomorphic function…

Inspired by a recent paper due to Jos\'{e} Luis Garc\'{i}a, we revisit the attempt of Daniel Simson to construct a counterexample to the pure semisimplicity conjecture. Using compactness, we show that the existence of such counterexample…

Let $A$ be a nondegenerate dimer (or ghor) algebra on a torus, and let $Z$ be its center. Using cyclic contractions, we show the following are equivalent: $A$ is noetherian; $Z$ is noetherian; $A$ is a noncommutative crepant resolution;…

Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…

In this paper we prove that if R is a left Noetherian and left regular ring such that all finitely generated projective left R-modules are stably free, then the same is true for the completion R[[x;\sigma,\delta]] of any Ore extension…

Let $R$ be a ring and $S$ a multiplicative subset of $R$. Then $R$ is called a uniformly $S$-Noetherian ($u$-$S$-Noetherian for abbreviation) ring provided there exists an element $s\in S$ such that for any ideal $I$ of $R$, $sI \subseteq…

The paper concerns Hochschild cohomology of a commutative algebra S, which is essentially of finite type over a commutative noetherian ring K and projective as a K-module, with coefficients in an S-module M. It is proved that vanishing of…

Let $(A,\m)$ be a Noetherian local ring with infinite residue field and let $I$ be an ideal in $A$ and let $F(I) = \oplus_{n \geq 0}I^n/\m I^n$ be the fiber-cone of $I$. We prove certain relations among the Hilbert coefficients of $F(I)$…

Let $R=\Bbbk[x_1,\dots,x_n]$ be a polynomial ring over a field $\Bbbk$ and let $I\subset R$ be a monomial ideal preserved by the natural action of the symmetric group $\mathfrak S_n$ on $R$. We give a combinatorial method to determine the…

We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…