Related papers: Conormal Geometry of Maximal Minors
Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak…
Let $A$ be a Noetherian ring and let $\mathcal{R} = \bigoplus_{n \geq 0}\mathcal{R}_n$ be a standard graded ring with $\mathcal{R}_0 = A$. We define a category $\mathfrak{A}(\mathcal{R})$ of graded $\mathcal{R}$-modules (not necessarily…
We study numerical regularities for complexes over noncommutative noetherian locally finite $\mathbb{N}$-graded algebras $A$ such as CM (cm)-regularity, Tor (tor)-regularity (Ext (ext)-regularity) and Ex (ex)-regularity, which are the…
For a nondegenerate additive subgroup $G$ of the $n$-dimensional vector space $F^n$ over an algebraically closed field $F$ of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type $W(G,n)$ spanned by all…
In this paper, we prove the converse of Rees' mixed multiplicity theorem for modules, which extends the converse of the classical Rees' mixed multiplicity theorem for ideals given by Swanson - Theorem \ref{SwansonTheorem}. Specifically, we…
Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $\phi:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated…
Let $R$ be a left and right Noetherian ring. We introduce the notion of the torsionfree dimension of finitely generated $R$-modules. For any $n\geq 0$, we prove that $R$ is a Gorenstein ring with self-injective dimension at most $n$ if and…
Let $K$ be a field of characteristic zero and let $R=K[X_1, \ldots,X_n ]$, with standard grading. Let $\mathfrak{m}= (X_1, \ldots, X_n)$ and let $E$ be the $^*$injective hull of $R/\mathfrak{m}.$ Let $A_n(K)$ be the $n^{th}$ Weyl algebra…
We prove, as our main theorem, the finiteness of topological type of a complete open Riemannian manifold $M$ with a base point $p \in M$ whose radial curvature at $p$ is bounded from below by that of a non-compact model surface of…
Let $A$ be a Noetherian ring, $J\subseteq A$ an ideal and $C$ a finitely generated $A$-module. In this note we would like to prove the following statement. Let $\{I_n\}_{n\geq 0}$ be a collection of ideals satisfying : (i) $I_n\supseteq…
Let $(R,\mathfrak{m})$ be a Noetherian local ring and $M$ a finitely generated $R$-module. We say $M$ has maximal depth if there is an associated prime $\mathfrak{p}$ of $M$ such that depth $M=\dim R/\mathfrak{p}$. In this paper, we study…
Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented…
Let $X:=\mathrm{Spec}(R)$ be an affine Noetherian scheme, and $\mathcal{M} \subset \mathcal{N}$ be a pair of finitely generated $R$-modules. Denote their Rees algebras by $\mathcal{R}(\mathcal{M})$ and $\mathcal{R}(\mathcal{N})$. Let…
Given a finitely generated module $M$ over a Noetherian local ring $R$, we give a characterization for the first syzygy of the associated graded module $G_{\mathfrak{m}}(M)$ to be equigenerated. As an application of this, we identify a…
Let $T$ be a complete equicharacteristic local (Noetherian) UFD of dimension $3$ or greater. Assuming that $|T| = |T/m|$, where $m$ is the maximal ideal of $T$, we construct a local UFD $A$ whose completion is $T$ and whose formal fibers at…
Let $R$ be a commutative Noetherian ring of dimension $d$. First, we define the "geometric subring" $A$ of a polynomial ring $R[T]$ of dimension $d+1$ (the definition of geometric subring is more general, see (1.2)). Then we prove that…
We show that the tensor product of modules of tensor fields is a noetherian module as a module over any graded Lie subalgebra of finite codimension in the Lie algebra of polynomial vector fields on $\mathbb{R}^n$. As a corollary, we prove…
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…
Let R be a commutative noetherian local ring. As an analogue of the notion of the dimension of a triangulated category defined by Rouquier, the notion of the dimension of a subcategory of finitely generated R-modules is introduced in this…
Let $(R,\frak{m})$ be a Noetherian local ring, $I$ an ideal of $R$ and $N$ a finitely generated $R$-module. Let $k{\ge}-1$ be an integer and $ r=\depth_k(I,N)$ the length of a maximal $N$-sequence in dimension $>k$ in $I$ defined by M.…