Petter A. Bergh
Considering modules of finite complete intersection dimension over commutative Noetherian local rings, we prove (co)homology vanishing results in which we assume the vanishing of nonconsecutive (co)homology groups. In fact, the (co)homology groups assumed to vanish may be arbitrarily far apart from each other.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $M$ an $R$-module. We intend to establish the dual of Grothendieck's Vanishing Theorem for local homology modules. We conjecture that $H^{\fa}_i(M)=0$ for all $i>\Mag_RM$. We prove this in several cases.
We prove that each positive power of the maximal ideal of a commutative Noetherian local ring is Tor-rigid, and strongly-rigid. This gives new characterizations of regularity and, in particular, shows that such ideals satisfy the torsion condition of a long-standing conjecture of Huneke and Wiegand.
On the vanishing of (co)homology for modules admitting certain filtrations
本文研究容许特定滤过的模沿环同态的（上）同调消失性，推广了Celikbas-Takahashi定理，构造出新的刚性与测试模类，并应用于张量积挠及Huneke-Wiegand猜想。
We consider the following question: Is Gorenstein homology a X-pure homology, in the sense defined by Warfield, for a class X of modules? Let GP denote the class of Gorenstein projective modules. We prove that over a commutative Noetherian ring R of finite Krull dimension, Gorenstein homology is a GP-pure homology if and only if R is virtually Gorenstein.
We compute the first Andre-Quillen homology modules for the simple over-rings of integrally closed domains and study an ideal theoretic condition arising from the vanishing of the first homology module.
For finitely generated modules $M$ and $N$ over a Gorenstein local ring $R$, one has $depth M + depth N= depth(M\otimes N) +depth R$, i.e., the depth formula holds, if $M$ and $N$ are Tor-independent and Tate homology $\hat{Tor}_{i}^{R}(M,N)$ vanishes for all $i\in\mathbb{Z}$. We establish the same conclusion under weaker hypotheses: if $M$ and $N$ are $\mathcal{G}$-relative Tor-independent, then the vanishing of $\hat{Tor}_{i}^{R}(M,N)$ for all $i\le 0$ is enough for the depth formula to hold. We also analyze the depth of tensor products of modules and obtain a necessary condition for the dep…
Auslander's depth formula for pairs of Tor-independent modules over a regular local ring, depth(M \otimes N) = depth(M) + depth(N) - depth(R), has been generalized in several directions over a span of four decades. In this paper we establish a depth formula that holds for every pair of Tate Tor-independent modules over a Gorenstein local ring. It subsumes previous eneralizations of Auslander's formula and yields exact bounds for vanishing of cohomology over certain Gorenstein rings.
In this paper we study a long-standing conjecture of Huneke and Wiegand which is concerned with the torsion submodule of certain tensor products of modules over one-dimensional local domains. We utilize Hochster's theta invariant and show that the conjecture is true for two periodic modules. We also make use of a result of Orlov and formulate a new condition which, if true over hypersurface rings, forces the conjecture of Huneke and Wiegand to be true over complete intersection rings of arbitrary codimension. Along the way we investigate the interaction between the vanishing of Tate (co)homolo…
We prove rigidity type results on the vanishing of stable (co)homology for modules of finite complete intersection dimension, results which generalize and improve upon known results. We also introduce a notion of pre-rigidity, which generalizes phenomena for modules of finite complete intersection dimension and complexity one. Using this concept, we prove results on length and vanishing of homology modules.
We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul homology algebra satisfies Poincaré duality. We prove a version of this duality which holds for all ideals and allows us to give two criteria for an ideal to be strongly Cohen-Macaulay. The first can be compared to a result of Hartshorne and Ogus; the second is a generalization of a result of Herzog, Simis, and Vasconcelos using sliding depth.
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…
A Ghost Lemma for Commutative Ring Homomorphisms via André-Quillen Homology
本文利用André-Quillen同调将导出范畴中的幽灵映射理论推广到交换环，证明了环的幽灵引理，并由此得到Kunz定理的特征无关推广及完全交环的类似结果。
A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that $\operatorname{Ext}^i_R(M,N)=0$ for all large $i$ implies $M$ has finite projective dimension or $N$ has finite injective dimension. In this paper, we establish obstructions for the failure of trivial vanishing in terms of the asymptotic growth of the Betti and Bass numbers of the modules involved. These, together with a result of Gasharov and Peeva, provide sufficient condi…
We investigate stable homology of modules over a commutative noetherian ring $R$ with respect to a semidualzing module $C$, and give some vanishing results that improve/extend the known results. As a consequence, we show that the balance of the theory forces $C$ to be trivial and $R$ to be Gorenstein.
We establish new results on (co)homology vanishing and Ext-Tor dualities, and derive a number of freeness criteria for finite modules over Cohen-Macaulay local rings. In the main application, we settle the long-standing Auslander-Reiten conjecture for the class of Cohen-Macaulay Burch rings, among other results toward this and related problems, e.g., the Tachikawa and Huneke-Wiegand conjectures. We also derive results on further topics of interest such as Cohen-Macaulayness of tensor products and Tor-independence, and inspired by a paper of Huneke and Leuschke we obtain characterizations of wh…
We show that a modification of the proof of a result of Gulliksen gives an elementary proof of the following important theorem by Avramov: if $(A,k) \to (B,l)$ is a homomorphism of noetherian local rings and $B$ is of finite flat dimension over $A$, then the homomorphism induced in André-Quillen homology modules $H_2(A,l,l)\to H_2(B,l,l)$ is injective.
We study the conjecture that if $I,J$ are $μ-$primary in a regular local ring $(R,μ)$ with dim$(R)=n$, then $\frac{I \cap J}{IJ} \cong \Tor_1(R/I, R/J)$ needs at least $n$ generators, and a related conjecture about the number of generators of the first Koszul homology module of an Artinian local ring $(A,m)$. In this manuscript, we focus our attention on the complete intersection defect of the Artinian ring and its quotient by the Koszul elements. We prove that the number of generators of the first Koszul homology module of $x_1,...,x_n \in m$ on an Artinian local ring $(A,m)$ is at least $n+ …
The Koszul homology algebra of a commutative local (or graded) ring $R$ tends to reflect important information about the ring $R$ and its properties. In fact, certain classes of rings are characterized by the algebra structure on their Koszul homologies. In this paper we survey some classical results on the Koszul homology algebras of such rings and highlight some applications. We report on recent progress on the Koszul homology algebras of Koszul algebras and examine some open questions on the topic.
We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension or finite injective dimension.
We introduce the notion of Burch submodules and weakly $\mathfrak m$-full submodules of modules over local rings and study their properties. One of our main results shows that Burch submodules satisfy 2-Tor rigid and test property. We also show that over a local ring $(R,\mathfrak m)$ a submodule $M$ of a finitely generated $R$-module $X$, such that either $M=\mathfrak m X$ or $M(\subseteq \mathfrak m X$) is weakly $\mathfrak m$-full in $X$, is 1-Tor rigid and a test module provided that $X$ is faithful (and $X/M$ has finite length when $M$ is weakly $\mathfrak m$-full). As an application, we …
Let C be a semidualizing complex over a noetherian local ring A. If there exists a local homomorphism with source A satisfying some homological properties, then C is dualizing.
We study the relation between the vanishing of André-Quillen homology and complete intersection flat dimension and we extend some of the existing results in the literature.
The Ideal of Vanishing Polynomials and the Ring of Polynomial Functions
本文研究特定环及任意交换环上的零化多项式理想与相关多项式函数环，分析$\boldsymbol{\text{Z}}_n$上的对应理想、建立环分解后的零化多项式同构关系，并给出零化多项式生成的相关结果。
Let $ R $ be a $ d $-dimensional Cohen-Macaulay (CM) local ring of minimal multiplicity. Set $ S := R/({\bf f}) $, where $ {\bf f} := f_1,\ldots,f_c $ is an $ R $-regular sequence. Suppose $ M $ and $ N $ are maximal CM $ S $-modules. It is shown that if $ \mathrm{Ext}_S^i(M,N) = 0 $ for some $ (d+c+1) $ consecutive values of $ i \geqslant 2 $, then $ \mathrm{Ext}_S^i(M,N) = 0 $ for all $ i \geqslant 1 $. Moreover, if this holds true, then either $ \mathrm{projdim}_R(M) $ or $ \mathrm{injdim}_R(N) $ is finite. In addition, a counterpart of this result for Tor-modules is provided. Furthermore, …
We analyze stable homology over associative rings and obtain results over Artin algebras and commutative noetherian rings. Our study develops similarly for these classes; for simplicity we only discuss the latter here. Stable homology is a broad generalization of Tate homology. Vanishing of stable homology detects classes of rings---among them Gorenstein rings, the original domain of Tate homology. Closely related to gorensteinness of rings is Auslander's G-dimension for modules. We show that vanishing of stable homology detects modules of finite G-dimension. This is the first characterization…
We introduce a concept of formal local homology modules which is in some sense dual to P. Schenzel's concept of formal local cohomology modules. The dual theorem and the non-vanishing theorem of formal local homology modules will be shown. We also give some conditions for formal local homology modules being finitely generated or artinian.
We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally complete intersection ring are self-dual under Grothendieck duality. This was proved by Stevenson when the ring is a quotient of a regular ring modulo a regular sequence; we offer two independent proofs in the more general setting. Second, we use these techniques to supply new proofs that complete intersections possess symmetry of complexity.
The use of homological and homotopical devices, such as Tor and André-Quillen homology, have found substantial use in characterizing commutative algebras. The primary category setting has been differentially graded algebras and modules, but recently simplicial categories have also proved to be useful settings. In this paper, we take this point of view up a notch by extending some recent uses of homological algebra in characterizing Noetherian commutative algebras to characterizing simplicial commutative algebras having finite Noetherian homotopy through the use of simplicial homotopy theory. T…
We introduce a generalization of the notion of local homology module, which we call a local homology module with respect to a pair of ideals $\left(I,J\right)$, and study its various properties such as vanishing, co-support and co-associated. We also discuss its connection with ordinary local homology.
We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero.
We propose a generalization of a conjecture of D. Quillen, on the vanishing of André-Quillen homology, to simplicial commutative rings. This conjecture characterizes a notion of local complete intersection, extended to the simplicial setting, under a suitable hypothesis on the local characteristic. Further, under the condition of finite-type homology, we then prove the conjecture in the case of a simplicial commutative algebra augmented over a field of non-zero characteristic. As a consequence, we obtain a proof of Quillen's conjecture for a Noetherian commutative algebra - again augmented ove…
In this paper, we study the André-Quillen homology of simplicial commutative $\ell$-algebras, $\ell$ a field, having certain vanishing properties. When $\ell$ has non-zero characteristic, we obtain an algebraic version of a theorem of J.-P. Serre and Y. Umeda that characterizes such simplicial algebras having bounded homotopy groups. We further discuss how this theorem fails in the rational case and, as an application, indicate how the algebraic Serre theorem can be used to resolve a conjecture of D. Quillen for algebras of finite type over Noetherian rings, which have non-zero characteristic.
In this paper we introduce the notion of a $d$-dimensional cycle which is a homological generalization of the idea of a graph cycle to higher dimensions. We examine both the combinatorial and homological properties of this structure and use these results to describe the relationship between the combinatorial structure of a simplicial complex and its simplicial homology. In particular, we show that over any field of characteristic 2 the existence of non-zero $d$-dimensional homology corresponds exactly to the presence of a $d$-dimensional cycle in the simplicial complex. We also show that $d$-d…
We investigate symmetry in the vanishing of Ext for finitely generated modules over local Gorenstein rings. In particular, we define a class of local Gorenstein rings, which we call AB rings, and show that for finitely generated modules $M$ and $N$ over an AB ring $R$, $Ext^i_R(M,N)=0$ for all $i >> 0$ if and only if $Ext^i_R(N,M)=0$ for all $i >> 0$.
We prove that if M, N are finite modules over a Gorenstein local ring R of codimension at most 4, then the vanishing of Ext^n_R(M,N) for n\gg 0 is equivalent to the vanishing of Ext^n_R(N,M) for n\gg 0. Furthermore, if the completion of $R$ has no embedded deformation, then such vanishing occurs if and only if M or N has finite projective dimension.
We investigate symmetry in the vanishing of Tate cohomology for finitely generated modules over local Gorenstein rings. For finitely generated R-modules M and N over Gorenstein local ring R, it is shown that $\widehat{Ext}^i_R(M,N)=0$ for all $i\in\mathbb{Z}$ if and only if $\widehat{Ext}^i_R(N,M)=0$ for all $i\in\mathbb{Z}$.
Let R be a complete intersection ring and let M and N be R-modules. It is shown that the vanishing of Ext^i_R(M,N) for a certain number of consecutive values of i starting at n forces the complete intersection dimension of M to be at most n-1. We also estimate the complete intersection dimension of the dual of M, in terms of vanishing of the cohomology modules, Ext^i_R(M,N).
The second vanishing theorem in Stanley-Reisner ring with topological interpretation
本文在Stanley-Reisner环上推广了局部上同调的第二消没定理，并从组合拓扑视角给出了解释。
The vanishing of the first tight Hilbert coefficient for Buchsbaum rings
本文证明满足$(S_2)$条件的Buchsbaum局部环若第一紧Hilbert系数为零，则其为$F$-有理环。
The celebrated Auslander-Reiten Conjecture, on the vanishing of self extensions of a module, is one of the long-standing conjectures in ring theory. Although it is still open, there are several results in the literature that establish the conjecture over Gorenstein rings under certain conditions. The purpose of this article is to obtain extensions of such results over Cohen-Macaulay local rings that admit canonical modules. In particular, our main result recovers theorems of Araya, and Ono and Yoshino simultaneously.
We examine local cohomology in the setting of valuation rings. The novelty of this investigation stems from the fact that valuation rings are usually non-Noetherian, whereas local cohomology has been extensively developed mostly in a Noetherian setting. We prove various vanishing results on local cohomology for valuation rings of finite Krull dimension. These vanishing results stem from a uniform bound on the global dimension of such rings. Our investigation reveals differences in the sheaf theoretic definition of local cohomology, and the algebraic definition in terms of a limit of certain Ex…
A 2003 counterexample to a conjecture of Auslander brought attention to a family of rings - colloquially called AC rings - that satisfy a natural condition on vanishing of cohomology. Several results attest to the remarkable homological properties of AC rings, but their definition is barely operational, and it remains unknown if they form a class that is closed under typical constructions in ring theory. In this paper, we study transfer of the AC property along local homomorphisms of Cohen--Macaulay rings. In particular, we show that the AC property is preserved by standard procedures in local…
We deal with the complete-intersection property of maximally differential ideals. Also, we connect the Gorenstein homology of derivations to the Gorenstein property of the base rings. These equipped with some applications.
We introduce a local homology theory for linearly compact modules which is in some sense dual to the local cohomology theory of A. Grothendieck. Some basic properties such as the noetherianness, the vanishing and non-vanishing of local homology modules of linearly compact modules are proved. A duality theory between local homology and local cohomology modules of linearly compact modules is developed by using Matlis duality and Macdonald duality. As consequences of the duality theorem we obtain some generalizations of well-known results in the theory of local cohomology for semi-discrete linear…
The Homology Groups of Zero Divisor Graphs of Finite Commutative Rings
本文研究了有限交换环零因子图的同调群，推导了相关复形的 Kunneth 公式，并给出了 Cohen-Macaulay 性质的分类及部分拓扑空间无法实现的结论。
Let $R$ be a local commutative noetherian ring and $HKR$ the homology ring of the corresponding Koszul complex. We study the homological properties of $HKR$ in particular the so-called Avramov spectral sequence. When the embedding dimension of $R$ is four and when $R$ can be presented with quadratic relations we have found 102 cases where this spectral sequence degenerates and only three cases where it does not degenerate. We also determine completely the Hilbert series of the bigraded Tor of these $HKR$ in tables A-D of section 5. We also study some higher embedding dimensions. Among the meth…
Pairs of lattice complements with complementary homology
本文研究有限格有序复形同调的全局到局部原理，探讨非零同调是否蕴含格补对的存在，提供正面证据并给出相反例。
This work concerns the Koszul complex $K$ of a commutative noetherian local ring $R$, with its natural structure as differential graded $R$-algebra. It is proved that under diverse conditions, involving the multiplicative structure of $H(K)$, any dg $R$-algebra automorphism of $K$ induces the identity map on $H(K)$. In such cases, it is possible to define an action of the automorphism group of $R$ on $H(K)$. On the other hand, numerous rings are described for which $K$ has automorphisms that do not induce the identity on $H(K)$. For any $R$, it is shown that the group of automorphisms of $H(K)…
Let $A$ be a complete local ring with a coefficient field $k$ of characteristic zero, and let $Y$ be its spectrum. The de Rham homology and cohomology of $Y$ have been defined by R. Hartshorne using a choice of surjection $R \rightarrow A$ where $R$ is a complete regular local $k$-algebra: the resulting objects are independent of the chosen surjection. We prove that the Hodge-de Rham spectral sequences abutting to the de Rham homology and cohomology of $Y$, beginning with their $E_2$-terms, are independent of the chosen surjection (up to a degree shift in the homology case) and consist of fini…
We present a monomial ideal $\mathfrak{a} \subset S$ such that $S/\mathfrak{a}$ is not Golod, even though the product on its Koszul homology is trivial. This constitutes a counterexample to a well-known result by Berglund and Jöllenbeck (the error can be traced to a mistake in an earlier article by Jöllenbeck). On the positive side, we show that if $R$ is a monomial ring such that the $r$-ary Massey product vanish for all $r \leq \max(2, \mathrm{reg} R-2)$, then $R$ is Golod. In particular, if $R$ is the Stanley-Reisner ring of a simplicial complex of dimension at most $3$, then $R$ is Golod i…
The face ring of a homology manifold (without boundary) modulo a generic system of parameters is studied. Its socle is computed and it is verified that a particular quotient of this ring is Gorenstein. This fact is used to prove that the sphere $g$-conjecture implies all enumerative consequences of its far reaching generalization (due to Kalai) to manifolds. A special case of Kalai's manifold $g$-conjecture is established for homology manifolds that have a codimension-two face whose link contains many vertices.
Homology rings of affine grassmannians and positively multiplicative graphs
本文针对无挠仿射Lie代数，为0级权构建加权图以编码Weyl群轨道，证明其正乘法性，从而利用初等线性代数计算同调环结构常数，并为研究alcove上的中心随机游走提供关键要素。
In this paper, we answer a question of Dwyer, Greenlees, and Iyengar by proving a local ring $R$ is a complete intersection if and only if every complex of $R$-modules with finitely generated homology is proxy small. Moreover, we establish that a commutative noetherian ring $R$ is locally a complete intersection if and only if every complex of $R$-modules with finitely generated homology is virtually small.
We classify all tilting classes over an arbitrary commutative ring via certain sequences of Thomason subsets of the spectrum, generalizing the classification for noetherian commutative rings by Angeleri-Pospíšil-Šťovíček-Trlifaj. We show that the n-tilting classes can be equivalently expressed as classes of all modules vanishing in the first n degrees of one of the following homology theories arising from a finitely generated ideal: Tor_*(R/I,-), Koszul homology, Čech homology, or local homology (even though in general none of those theories coincide). Cofinite-type n-cotilting classes are des…
Classical definitions of locally complete intersection (l.c.i.) homomorphisms of commutative rings are limited to maps that are essentially of finite type, or flat. The concept introduced in this paper is meaningful for homomorphisms phi : R \longrightarrow S of commutative noetherian rings. It is defined in terms of the structure of phi in a formal neighborhood of each point of Spec S. We characterize the l.c.i. property by different conditions on the vanishing of the André-Quillen homology of the R-algebra S. One of these descriptions establishes a very general form of a conjecture of Quille…
We consider the Gorenstein condition for topological Hochschild homology, and show that it holds remarkably often. More precisely, if R is a commutative ring spectrum and and R----->k is a ring map to a field of characteristic p then, provided k is small as an R-module, THH(R;k) is Gorenstein in the sense of Dwyer-Greenlees-Iyengar. In particular, this holds if R is a (conventional) regular local ring with residue field k of characteristic p. Using only Bokstedt's calculation of THH(k), this gives a non-calculational proof of dualities observed in calculations by Bokstedt, McClure-Staffeldt, A…
Finite domination and Novikov homology over strongly $\mathbb{Z}^2$-graded rings
本文研究了强$\mathbb{Z}^2$-格rade环上链复形的有限支配性质，证明了在张量乘以特定的八重形式幂级数环后，复形成为单形的条件，扩展了Ranicki、Quinn和第一作者关于单变量和双变量 Laurent 多项式环的结果。
We define and characterise small support for complexes over non-Noetherian rings and in this context prove a vanishing theorem for modules. Our definition of support makes sense for any rigidly compactly generated tensor triangulated category. Working in this generality, we establish basic properties of support and investigate when it detects vanishing. We use pointless topology to relate support, the topology of the Balmer spectrum, and the structure of the idempotent Bousfield lattice.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。