In this paper we study some cohomological properties of non-standard multigraded modules and Veronese transforms of them. Among others numerical characters, we study the generalized depth of a module and we see that it is invariant by taking a Veronese transform. We prove some vanishing theorems for the local cohomology modules of a multigraded module; as a corollary of these results we get that the depth of a Veronese module is asymptotically constant.
In this article, we give a condition on the vanishing of finitely many homogeneous components which must imply the asymptotic vanishing for multigraded modules. We apply our result to multi-Rees algebras of ideals. As a consequence, we obtain a result on normality of monomial ideals, which extends and improves the results of Reid-Roberts-Vitulli, Singla, and Sarkar-Verma.
A $\mathbb{Z}^d$-graded differential $R$-module is a $\mathbb{Z}^d$-graded $R$-module $D$ equipped with an endomorphism, $δ$, that squares to zero. For $R=k[x_1,\ldots,x_d]$, this paper establishes a lower bound on the rank of such a differential module when the underlying R-module is free. We define the Betti number of a differential module and use it to show that when the homology $H(D)=\mathrm{ker}(δ)/\mathrm{im}(δ)$ of $D$ is non-zero and finite dimensional over $k$ then there is an inequality $\mathrm{rank}_R D \geqslant 2^d$.
Let $ R=k[x_1...x_r]$ and $M$ a multigraded $R-$module. In this work we interpret $M$ as a multipersistent homology module and give a multigraded resolution of it. The construction involves cellular resolutions of monomial ideals and reflects the combinatorial structure of multipersistence homology modules. In the one critical case, a multifiltration is represented by a labelled cellular complex. A multipersistence homology module measures the defect of acyclicity of the associated multigraded cellular chain complex.
In this paper, we consider $\mathbb{Z}^{r}-$graded modules on the $\mathrm{Cl}(X)$ $-$graded Cox ring $\mathbb{C}[x_{1},\dotsc,x_{r}]$ of a smooth complete toric variety $X$. Using the theory of Klyachko filtrations in the reflexive case, we construct a collection of lattice polytopes codifying the multigraded Hilbert function of the module. We apply this approach to reflexive $\mathbb{Z}^{s+r+2}$-graded modules over non-standard bigraded polynomial rings $\mathbb{C}[x_{0},\dotsc,x_{s},y_{0},\dotsc,y_{r}]$. In this case, we give sharp bounds for the multigraded regularity index of their multig…
Notions of Castelnuovo-Mumford regularity and of $a^*$ invariant were extended from standard graded algebras to the toric setting. We here focus our attention on the standard multigraded case, which corresponds to a product of $k$ projective spaces. A natural notion for a $\mathbb Z^k$-graded module is its support: degrees in which it is not zero. A stabilized version of it is adding $-\mathbb N^k$, in order for the complement (vanishing region) to be stable by addition of $\mathbb N^k$. Cohomology of twists of a sheaf on a product of projective spaces, provided by a graded module, are given b…
A fundamental tool in topological data analysis is persistent homology, which allows extraction of information from complex datasets in a robust way. Persistent homology assigns a module over a principal ideal domain to a one-parameter family of spaces obtained from the data. In applications data often depend on several parameters, and in this case one is interested in studying the persistent homology of a multiparameter family of spaces associated to the data. While the theory of persistent homology for one-parameter families is well-understood, the situation for multiparameter families is mo…
Let a be an ideal of a commutative Noetherian ring R with identity. We study finitely generated R-modules M whose a-finiteness and a-cohomological dimensions are equal. In particular, we examine relative analogues of quasi-Buchsbaum, Buchsbaum and surjective Buchsbaum modules. We reveal several interactions between these types of modules that extend some of the existing results in the classical theory to the relative one.
This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the supports of the modules. This generalizes, and gives another proof of, a result of Dao and the third author dealing with Tor-independent modules over complete intersection rings. The result for Koszul complexes has a broader applicability, including to exterior algebras over local rings.
In this paper, motivated by a work of Luk and Yau, and Huneke and Wiegand, we study various aspects of the cohomological rigidity property of tensor product of modules over commutative Noetherian rings. We determine conditions under which the vanishing of a single local cohomology module of a tensor product implies the vanishing of all the lower ones, and obtain new connections between the local cohomology modules of tensor products and the Tate homology. Our argument yields bounds for the depth of tensor products of modules, as well as criteria for freeness of modules over complete intersecti…
在交换代数中，E.米勒和B。Sturmfels定义了多重分次多项式环上多重分次模的多重度的概念。我们将这一理论应用于Weyl代数D上的双滤模。双过滤是由微分算子的阶的标准过滤和沿着由M定义的周围空间的坐标子簇的所谓V-过滤的组合。柏原我们定义的多重度为D-模提供了一个新的不变量。我们研究了它与Y.劳伦特我们从I. M. Gelfand，M. M. Kapranov和A. V·泽列文斯基。我们考虑沿原点的V-过滤。当由矩阵A定义的复曲面射影簇是Cohen-Macaulay时，我们得到了超几何系统的多重度的一个显式公式。
Let $R$ be a Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module with $\operatorname{cd}(I,M)=c$. In this article, we first show that there exists a descending chain of ideals $I=I_c\supsetneq I_{c-1}\supsetneq \cdots \supsetneq I_0$ of $R$ such that for each $0\leq i\leq c-1$, $\operatorname{cd}(I_i,M)=i$ and that the top local cohomology module $\operatorname{H}^i_{I_i}(M)$ is not Artinian. We then give sufficient conditions for a non-negative integer $t$ to be a lower bound for $\operatorname{cd}(I,M)$ and use this to conclude that in non-catenary Noetherian local integral domains, t…
A theory of cohomological support for pairs of DG modules over a Koszul complex is investigated. These specialize to the support varieties of Avramov and Buchweitz defined over a complete intersection ring, as well as support varieties over an exterior algebra. The main objects of study are certain DG modules over a polynomial ring; these determine the aforementioned cohomological supports and are shown to encode (co)homological information about pairs of DG modules over a Koszul complex. The perspective in this article leads to new proofs of well-known results for pairs of complexes over a co…
We search for some splitting (resp. finiteness) criteria of a given module $M$ over a local ring $(R,\fm,k)$ in terms of the splitting (resp. finiteness) property of certain cohomological functors evaluated at $M$. In particular, we deal with the cohomological splitting question posted by Vasconcelos. We present a connection from our approach to the realization problem of Nunke. This is equipped with several applications. For instance, we recover some results of Jensen (and others) by applying simple methods. Additional applications, including a computation of the projective dimension of some …
Let R be a commutative noetherian ring. In this paper, we study specialization-closed subsets of Spec R. More precisely, we first characterize the specialization-closed subsets in terms of various closure properties of subcategories of modules. Then, for each nonnegative integer n we introduce the notion of n-wide subcategories of R-modules to consider the question asking when a given specialization-closed subset has cohomological dimension at most n.
Let R be a commutative Noetherian ring, a a proper ideal of R and M a finite R-module. It is shown that, if (R;m) is a complete local ring, then under certain conditions a contains a regular element on DR(Hc a(M)), where c = cd(a;M). A non-zerodivisor characterization of relative Cohen-Macaulay modules w.r.t a is given. We introduce the concept of relative Cohen-Macaulay filtered modules w.r.t a and study some basic properties of such modules. In paticular, we provide a non-zerodivisor characterization of relative Cohen-Macaulay filtered modules w.r.t a. Furthermore, a characterization of coho…
Let $M,N$ be finitely generated modules over a local complete intersection $R$. Assume that for each $i>0$, $\mathrm{Tor}^R_i(M,N)=0$. We prove that the cohomological support of $M\otimes_R N$ (in the sense of Avramov-Buchweitz) is equal to the geometric join of the cohomological supports of $M,N$. Such result gives a new connection between two active areas or research, and immediately produces several surprising corollaries. Naturally, it also raises many intriguing new questions about the homological properties of modules over a complete intersection, some of those are investigated in the se…
We establish a "second vanishing theorem" for local cohomology modules over regular rings of unramified mixed characteristic, which relates the connectedness of the spectrum of a ring with the vanishing of local cohomology. Applying this, and new results on the mixed characteristic Lyubeznik numbers, we further study connectedness properties of the spectra of a certain class of rings.
