首页/论文/2002.11951

arXiv 2002.119512020-02-27math.AC

Serre's condition for tensor products and $n$-Tor-rigidity of modules

Hiroki Matsui

备注：: 9 pages

英文摘要：

In this paper, we study Serre's condition $(S_n)$ for tensor products of modules over a commutative noetherian local ring. The paper aims to show the following. Let $M$ and $N$ be finitely generated module over a commutative noetherian local ring $R$, either of which is $(n+1)$-Tor-rigid. If the tensor product $M \otimes_R N$ satisfies $(S_{n+1})$, then under some assumptions $\mathrm{Tor}_{i}^R(M, N) = 0$ for all $i \ge 1$. The key role is played by $(n+1)$-Tor-rigidity of modules. As applications, we will show that the result recovers several known results.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

A Canonical module characterization of Serre's $(\mathrm{R}_1)$

In this short note, we give a characterization of domains satisfying Serre's condition $(\mathrm{R}_1)$ in terms of their canonical modules. In the special case of toric rings, this generalizes a result of the second author (K. Yanagawa, Dualizing complexes of seminormal affine semigroup rings and toric face rings, J. Algebra 425 (2015).) where the normality is described in terms of the "shape" of the canonical module.

2016-01-19math.AC

When is a subcategory Serre or torsionfree?

Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In the present paper, we first provide various sufficient (and necessary) conditions for a full subcategory of mod R to be a Serre subcategory, which include several refinements of theorems of Stanley and Wang and of Takahashi with simpler proofs. Next we consider when an IKE-closed subcategory of mod R is a torsionfree class. We investigate certain modules out of which all modules of finite length can be built by taking direct summands and extensions, and then we apply it to show that the IKE…

2022-03-01math.ACmath.RT

Decent intersection and Tor-rigidity for modules over local hypersurfaces

We study two properties of modules over a local hypersurface $R$: decency and rigidity. We show that the vanishing of Hochster's function $θ^R(M,N)$, known to imply decent intersection, also implies rigidity. We investigate the vanishing of $θ^R(M,N)$ to obtain new results about decency and rigidity over hypersurfaces. We employ a mixture of techniques from Commutative Algebra and Intersection Theory of algebraic cycles.

2011-02-24math.AC

Melkersson condition on Serre subcategories

Let $R$ be a commutative noetherian ring, let $\frak a$ and $\frak b$ be two ideals of $R$; and let $\Ss$ be a Serre subcategory of $R$-modules. We give a necessary and sufficient condition by which $\Ss$ satisfies $C_{\frak a}$ and $C_{\frak b}$ conditions. As an conclusion we show that over a artinian local ring, every Serre subcategory satisfies $C_{\frak a}$ condition. We also show that $\Ss_{\frak a}$ is closed under extension of modules. If $\Ss$ is a torsion subcategory, we prove that $S$ satisfies $C_{\frak a}$ condition. We prove that $C_{\frak a}$ condition can be transferred via rin…

2014-04-27math.AC

凝聚层范畴的无挠类及其 Serre 子范畴的分类

Classifying torsionfree classes of the category of coherent sheaves and their Serre subcategories

本文利用概形子集及特殊化闭子集分类了与线丛张量积封闭的无挠类和挠类，并据此推广 Gabriel 分类，刻画无挠类的 Serre 子范畴。

2023-04-20math.ACmath.AGmath.RT

Rigidity of Ext and Tor with coefficients in residue fields of a commutative noetherian ring

Let p be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies Tor^R_n(k(p),M) = 0 for some n \geq dim R_p, where k(p) is the residue field at p, then Tor^R_i(k(p),M) = 0 holds for all i \geq n. Similar rigidity results concerning Ext_R^*(k(p),M) are proved, and applications to the theory of homological dimensions are explored.

2017-07-27math.AC

更多相关论文收起更多论文

多重托模块：刚性与梅耶-维蒂里斯谱序列

Multiple Tor modules: rigidity and Mayer-Vietoris spectral sequences

IIT Kharagpur（印度理工学院卡拉格普尔分校）；CNRS & Sorbonne Université（法国国家科学研究中心与索邦大学）；Universidade Federal de Pernambuco（伯南布哥联邦大学）

本文研究多重理想下的托模块性质扩展，提出新的复形并探讨其同调关系，揭示托独立性在多格下的支撑区域关联。

2026-04-22math.AC

Local Homology, Koszul Homology and Serre Classes

Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and local cohomology. Also, we immediately recover a few renowned vanishing criteria scattered about…

2018-04-26math.AC

Algebraic spectral theory and Serre multiplicity formula

The present paper is devoted to an algebraic treatment of the joint spectral theory within the framework of Noetherian modules over an algebra finite extension of an algebraically closed field. We prove the spectral mapping theorem and analyze the index of tuples in purely algebraic case. The index function over tuples from the coordinate ring of a variety is naturally extended up to a numerical Tor-polynomial. Based on Serre's multiplicity formula, we deduce that Tor-polynomial is just the Samuel polynomial of the local algebra.

2021-04-08math.ACmath.AGmath.FA

Serre Dimension of Monoid Algebras

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 $Φ$-simplicial seminormal. $(i)$ If $M\in \CC(Φ)$, then {\it Serre dim} $R[M]\leq d$. $(ii)$ If $r\leq 3$, then {\it Serre dim} $R[int(M)]\leq d$. $(2)$ If $M\subset \BZ_+^2$ is a normal monoid of rank $2$, then {\it Serre dim} $R[M]\leq d$. $(3)$ Assume $M$ is $c$-divisible, $d=1$ and $t\geq 3$. Then $P\cong \wedge^t P\op R[M]^{t-1}$. $(4)$ Assume $R$ is a uni-branched affine algebra ove…

2016-11-08math.AC

Cofiniteness with respect to extension of Serre subcategories

Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$, $\mathcal{S}$ a Serre subcategory of $R$-modules satisfying the condition $C_\mathfrak{a}$ and $\mathcal{N}$ the subcategory of finitely generated $R$-modules. In this paper, we continue the study of $\mathcal{NS}$-$\mathfrak{a}$-cofinite modules with respect to the extension subcategory $\mathcal{NS}$, show that some classical results of $\mathfrak{a}$-cofiniteness hold for $\mathcal{NS}$-$\mathfrak{a}$-cofiniteness in the cases $\mathrm{dim}R=d$ or $\mathrm{dim}R/\mathfrak{a}=d-1$, where $d$ is a positive integer. We also s…

2022-09-13math.AC

循环模的弱提升与Serre提升及Auslander对偶的可提升性

Weak and Serre Lifting of Cyclic Modules and the Liftability of Auslander Transposes

Indian Institute of Technology – Hyderabad（印度理工学院海德拉巴分校）

本文研究局部环商环上循环模的弱提升与Serre提升性质，给出刻画及张量积保持条件，并加强相关反例与定理，同时探讨Auslander对偶的可提升性。

2026-10-06math.AC

When are n-syzygy modules n-torsionfree?

Let R be a commutative noetherian ring. We consider the question of when n-syzygy modules over R are n-torsionfree in the sense of Auslander and Bridger. Our tools include Serre's condition and certain conditions on the local Gorenstein property of R. Our main result implies the converse of a celebrated theorem of Evans and Griffith.

2016-04-13math.AC