Related papers: Big projective modules over noetherian semilocal r…
Let $(R, \mathfrak{m})$ be a Noetherian local ring. In this paper, we introduce a dual notion for dualizing modules, namely codualizing modules. We study the basic properties of codualizing modules and use them to establish an equivalence…
Let $R$ be a ring, $\textrm{Proj}$ be the class of all projective right $R$-modules, $\mathcal K$ be the full subcategory of the homotopy category $\mathbf K(\textrm{Proj})$ whose class of objects consists of all totally acyclic complexes,…
Let $R$ be a commutative ring and $I\subset R$ be a nilpotent ideal such that the quotient $R/I$ splits out of $R$ as a ring. Let $N$ be a natural number such that ${I^N=0}$. We establish a canonical isomorphism between the relative Milnor…
We prove that under semismall smooth flops, smooth projective varieties have (non-canonically) isomorphic Chow motives with coefficients in any noetherian local ring $\Lambda$ by comparing the pushforward of the constant intersection…
In this paper we study the structure of the monoid $\mathbf{I}\mathbb{N}_{\infty}^n$ of cofinite partial isometries of the $n$-th power of the set of positive integers $\mathbb{N}$ with the usual metric for a positive integer $n\geqslant…
Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length…
Throughout $A$ will denote commutative noetherian ring, with $\dim A=d\geq 2$, and $P$ denote a projective $A$-module with $rank(P)=n$. In \cite{MM1} we considered the Homotopy obstruction sets $\pi_0\left({\mathcal LO}(P)\right)$, which…
Let $R$ be a commutative ring. A quasi-Gorenstein $R$-module is an $R$-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself.…
This paper solves the global moduli problem for regular holonomic D-modules with normal crossing singularities on a nonsingular complex projective variety. This is done by introducing a level structure (which gives rise to…
Consider the obvious functor from the unbounded derived category of all finitely generated modules over a left noetherian ring $R$ to the unbounded derived category of all modules. We answer the natural question whether this functor defines…
This paper develops a representation-theoretic approach to the isogeny category $\underline{\mathcal{C}}$ of commutative group schemes of finite type over a field $k$, studied in arXiv:1602:00222. We construct a ring $R$ such that…
A general principle suggests that "anything flat is a directed colimit of countably presentable flats". In this paper, we consider resolutions and coresolutions of modules over a countably coherent ring $R$ (e.g., any coherent ring or any…
Let $R$ be a commutative ring with identity. The small finitistic dimension $\fPD(R)$ of $R$ is defined to be the supremum of projective dimensions of $R$-modules with finite projective resolutions. In this paper, we characterize a ring $R$…
Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. The purpose of this paper is to show that $N$ is locally unmixed if and only if, for any $N$-proper ideal $I$ of $R$ generated by $\Ht_N I$…
Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…
Let R be a commutative Noetherian d-dimensional complete equicharacterisitc regular local ring and let I be an ideal of R such that every minimal prime over I has height at most c. Let v=d - [(d-2)/c]-1 and v'=d - [(d-1)/c]. It has been…
Let $(K,M)$ be a pair satisfying some mild condition, where $K$ is a class of $R$-modules and $M$ is a class of $R$-homomorphisms. We show that if $f:A\rightarrow B$ and $g:B\rightarrow A$ are $M$-embeddings and $A,B$ are $K_M$-injective,…
We consider local non-Gorenstein rings of the form $(S_i,\mathfrak{n}_i)=k[X, Y_1, \ldots ,Y_i]/\left(X^2, (Y_1, \ldots, Y_i)^2\right), $ where $i\geq 2.$ We show that every totally reflexive $S_i$-module has a presentation matrix of the…
Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $\kappa$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the…
A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C) \simeq A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call…