Related papers: Conormal Geometry of Maximal Minors
In this note, we prove that a $w$-module $M$ is $w$-Artinian if and only if it is $w$-cofinitely generated and for every prime $w$-ideal $\mathfrak{p}$ of $R$ with $(0:_RM)\subseteq \mathfrak{p}$, there exists a $w$-submodule…
Let $E$ be a module over a domain $A$, and $W(E)^{\#}=W(E)-ann(E)$ where $W(E)=\{a\in A:aE\neq E\}$. We define an equivalence relation $\sim$ on $W(E)^{\#}$ as follows: $a\sim b$ if and only if $aE=bE$ for any $a,b\in W(E)^{\#}$ and denote…
The aim of this paper is to obtain a uniform bound for a certain class of submodules from the following theorem: Let $(R,\frak m)$ be a local ring, let $M$ be a finite $R$--module of dimension $d\ge 1$ and let $\frak q$ be an ideal of $R$…
Let $A$ be a finite dimensional algebra over a field $K$ with enveloping algebra $A^e=A^{op} \otimes_K A$. We call algebras $A$ that have the property that the subcategory of Gorenstein projective modules in $mod-A$ coincide with the…
The quasi-projective dimension and quasi-injective dimension are recently introduced homological invariants that generalize the classical notions of projective dimension and injective dimension, respectively. For a local ring $R$ and…
Let $R$ be a commutative noetherian ring and denote by $\mathsf{mod} R$ the category of finitely generated $R$-modules. In this paper, we study KE-closed subcategories of $\mathsf{mod} R$, that is, additive subcategories closed under…
Our purpose in this work is multifold. First, we provide general criteria for the finiteness of the projective and injective dimensions of a finite module $M$ over a (commutative) Noetherian ring $R$. Second, in the other direction, we…
Let $R$ be a commutative Noetherian ring of dimension $d$, $M$ a commutative cancellative torsion-free monoid of rank $r$ and $P$ a finitely generated projective $R[M]$-module of rank $t$. $(1)$ Assume $M$ is $\Phi$-simplicial seminormal.…
We give an elementary proof of Grothendieck's non-vanishing Theorem: For a finitely generated non-zero module $M$ over a Noetherian local ring $A$ with maximal ideal $\m$, the local cohomology module $H^{\dim M}_{\m}(M)$ is non-zero.
We introduce and study a notion of module nuclear dimension for a $C^{*}$-algebra $A$ which is $C^*$-module over another $C^*$-algebra $\mathfrak A$ with compatible actions. We show that the module nuclear dimension of $A$ is zero if $A$ is…
Avramov and Buchweitz proved that for finitely generated modules $M$ and $N$ over a complete intersection local ring $R$, $\Ext^i_R(M,N)=0$ for all $i\gg 0$ implies $\Ext^i_R(N,M)=0$ for all $i\gg 0$. In this note we give some…
Given a compact Riemannian manifold $M^{n+1}$ with dimension $3\leq n+1\leq 7$ and $\partial M\neq\emptyset$, the free boundary min-max theory built by Martin Man-Chun Li and Xin Zhou shows the existence of a smooth almost properly embedded…
A frame template over a field $\mathbb F$ describes the precise way in which a given $\mathbb F$-representable matroid is close to being a frame matroid. Our main result determines the maximum-rank projective or affine geometry that is…
(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…
Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…
The homology groups introduced by A. Brumer can be used to establish a criterion ensuring that a profinite $\mathbb{F}_p[[G]]$-module of a pro-$p$ group $G$ has projective dimension $d<\infty$ (cf. Thm. A). This criterion yields a new…
Over a one-dimensional Gorenstein local domain $R$, let $E$ be the endomorphism ring of the maximal of $R$, viewed as a subring of the integral closure $\overline R$. If there exist finitely generated $R$-modules $M$ and $N$, neither of…
For a reduced Noetherian ring $R$ of characteristic $p > 0$, in this paper we discuss an extension of $R$ called its perfect closure $R^\infty$. This extension contains all $p^e$-th roots of elements of $R$, and is usually non-Noetherian.…
Let $R$ be a Noetherian ring, $I$ and $J$ two ideals of $R$ and $t$ an integer. Let $S$ be the class of Artinian $R$-modules, or the class of all $R$-modules $N$ with $\dim_RN\leq k$, where $k$ is an integer. It is proved that $\inf\{i:…
We show that a totally geodesic submanifold of a symmetric space satisfying certain conditions admits an extension to a minimal submanifold of dimension one higher, and we apply this result to construct new examples of complete embedded…