Related papers: Bounding regularity of $FI^m$-modules

It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…

Let $(A,\m)$ be a Gorenstein local ring of dimension $d \geq 1$. Let $\CMS(A)$ be the stable category of maximal \CM \ $A$-modules and let $\ICMS(A)$ denote the set of isomorphism classes in $\CMS(A)$. We define a function $\xi \colon…

We give lower and upper bounds on the Buchsbaum-Rim multiplicity of finitely generated torsion-free modules over two-dimensional regular local rings, and conditions for them to attain the bounds. As consequences, we have formulae on the…

We study the gain in regularity of the distance to the boundary of a domain in $\mathbb R^m$. In particular, we show that if the signed distance function happens to be merely differentiable in a neighborhood of a boundary point, it and the…

Let $\fa$ be an ideal of a local ring $(R,\fm)$ and $M$ a finitely generated $R$-module. We investigate the structure of the formal local cohomology modules ${\vpl}_nH^i_{\fm}(M/\fa^n M)$, $i\geq 0$. We prove several results concerning…

Let $R$ be a commutative Noetherian local ring with residue field $k$. We show that if a finite direct sum of syzygy modules of $k$ surjects onto `a semidualizing module' or `a non-zero maximal Cohen-Macaulay module of finite injective…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

Let $K$ be a field and let $R = K[X_1, \ldots, X_m]$ with $m \geq 2$. Give $R$ the standard grading. Let $I$ be a homogeneous ideal of height $g$. Assume $1 \leq g \leq m -1$. Suppose $H^i_I(R) \neq 0$ for some $i \geq 0$. We show (1)…

Let $(A,\m)$ be a Noetherian local ring, let $M$ be a finitely generated \CM $A$-module of dimension $r \geq 2$ and let $I$ be an ideal of definition for $M$. Set $L^I(M) = \bigoplus_{n\geq 0}M/I^{n+1}M$. In part one of this paper we showed…

We investigate finiteness conditions on modules of bounded projective dimension and their connection with generalized notions of coherence. For a ring $R$, we consider the class $\mathsf{FP}_n^{\le d}(R)$ of finitely $n$-presented modules…

Let $(\Omega,{\mathcal F},P)$ be a probability space and $L^0({\mathcal F})$ the algebra of equivalence classes of real-valued random variables defined on $(\Omega,{\mathcal F},P)$. A left module $M$ over the algebra $L^0({\mathcal…

In this paper we show if R is a filtered ring and M a filtered R module then we can define a valuation on a module for M. Then we show that we can find an skeleton of valuation on M, and we prove some properties such that derived form it…

The purpose of this paper is to give information on the FI-homology of the standard injective cogenerators of the category of FI-modules, where FI is the category of finite sets and injections. Working over a field k of characteristic zero,…

We call a right module $M$ (strongly) virtually regular if every (finitely generated) cyclic submodule is isomorphic to a direct summand. $M$ is said to be completely virtually regular if every submodule is virtually regular. In this paper,…

Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and…

We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a…

Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional…

We give a general construction of correlation functions in rational conformal field theory on a possibly non-orientable surface with boundary in terms of 3-dimensional topological quantum field theory. The construction applies to any…

It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully…

Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$, $N$ a perfect $A$-module and let $I$ be an ideal in $A$ with $\ell(N/IN)$ finite. We show that there is a integer $r_I \geq -1$ (depending only on $I$ and $N$)…