An elementary proof of Grothendieck's Non-vanishing Theorem

Tony J. Puthenpurakal

DOI: https://doi.org/10.48550/arXiv.0710.5863

2007-10-31

Commutative Algebra

Abstract:We give an elementary proof of Grothendieck's non-vanishing Theorem: For a finitely generated non-zero module $M$ over a Noetherian local ring $A$ with maximal ideal $\m$, the local cohomology module $H^{\dim M}_{\m}(M)$ is non-zero.

What problem does this paper attempt to address?

Grothendieck's Vanishing and Non-vanishing Theorems in an Abstract Module Category

Divya Ahuja,Surjeet Kour

DOI: https://doi.org/10.1007/s10485-024-09767-y

2024-04-06

Applied Categorical Structures

Abstract:In this article, we prove Grothendieck's Vanishing and Non-vanishing Theorems of local cohomology objects in the non-commutative algebraic geometry framework of Artin and Zhang. Let k be a field of characteristic zero and be a strongly locally noetherian k -linear Grothendieck category. For a commutative noetherian k -algebra R , let denote the category of R -objects in obtained through a non-commutative base change by R of the abelian category . First, we establish Grothendieck's Vanishing Theorem for any object in . Further, if R is local and is Hom-finite, we prove Non-vanishing Theorem for any finitely generated flat object in .

mathematics
Lichtenbaum-Hartshorne vanishing theorem for generalized local cohomology modules

Ali Fathi

DOI: https://doi.org/10.22055/JAMM.2023.43821.2166

2023-10-02

Abstract:Let $R$ be a commutative Noetherian ring, and let $\mathfrak a$ be a proper ideal of $R$. Let $M$ be a non-zero finitely generated $R$-module with the finite projective dimension $p$. Also, let $N$ be a non-zero finitely generated $R$-module with $N\neq\mathfrak{a} N$, and assume that $c$ is the greatest non-negative integer with the property that $\operatorname{H}^i_{\mathfrak a}(N)$, the $i$-th local cohomology module of $N$ with respect to $\mathfrak a$, is non-zero. It is known that $\operatorname{H}^i_{\mathfrak a}(M, N)$, the $i$-th generalized local cohomology module of $M$ and $N$ with respect to $\mathfrak a$, is zero for all $i>p+c$. In this paper, we obtain the coassociated prime ideals of $\operatorname{H}^{p+c}_{\mathfrak a}(M, N)$. Using this, in the case when $R$ is a local ring and $c$ is equal to the dimension of $N$, we give a necessary and sufficient condition for the vanishing of $\operatorname{H}^{p+c}_{\mathfrak a}(M, N)$ which extends the Lichtenbaum-Hartshorne vanishing theorem for generalized local cohomology modules.

Commutative Algebra
The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Binyong Sun

DOI: https://doi.org/10.3969/j.issn.1673-8128.2018.01.024

2018-01-01

Abstract:We prove the nonvanishing hypothesis at infinity for Rankin-Selberg convolutions for GL(n)× GL(n-1).
Two theorems on the vanishing of Ext

Olgur Celikbas,Souvik Dey,Toshinori Kobayashi,Hiroki Matsui,Arash Sadeghi

2023-10-08

Abstract:We prove two theorems on the vanishing of Ext over commutative Noetherian local rings. Our first theorem shows that there are no Burch ideals which are rigid over non-regular local domains. Our second theorem reformulates a conjecture of Huneke-Wiegand in terms of the vanishing of Ext, and highlights its relation with the celebrated Auslander-Reiten conjecture. We also discuss several consequences of our results, for example, about the rigidity of the Frobenius endomorphism in prime characteristic p and a generalization of a result of Araya.

Commutative Algebra
Non-vanishing and cofiniteness of generalized local cohomology modules

Nam, Tran Tuan

DOI: https://doi.org/10.1007/s10998-023-00567-w

2024-01-02

Periodica Mathematica Hungarica

Abstract:In this paper, we show some results on the non-vanishing of the generalized local cohomology modules . In a Cohen–Macaulay local ring , we prove, by using induction on , that if M , N are two finitely generated R -modules with and , then . We also study the I -cofiniteness of the generalized local cohomology module .

mathematics, applied
A note on cohomological vanishing theorems

Mohsen Asgharzadeh

2024-01-25

Abstract:We study $cd(M,N):=\sup\{j:H^j_{m}(M,N)\neq0\}$, and we prove the following over $AB$-rings: $cd(M,N)<\infty$ iff $cd(M, N)\leq2 dim R$. For locally free over the punctured spectrum, we present the better bound, namely $cd(M, N)<\infty$ iff $cd(M, N)\leq dim R,$ and show this is sharp for maximal Cohen-Macaulay, and prove that this detects freeness of $M$. We present some explicit examples to compute $cd(M, N)$. Now, suppose $R$ is only Cohen-Macaulay and of prime characteristic equipped with the Frobenius map $\varphi$. We show for some $n\gg 0$ that $cd(^{\varphi_n}R,M)<\infty$ iff $id_R(M)<\infty.$ This presents some criteria on regularity. Also, some vanishing results on $Ext^i_R(^{\varphi}R,-)$ are given, where $(-)\in\{R,^{\varphi}R\}$. We determine conditions under which the vanishing $Ext^i_R(^{\varphi}R,-)$ of restricted many $i$-th, implies the vanishing of all.

Commutative Algebra
Grothendieck rings of theories of modules

Amit Kuber

DOI: https://doi.org/10.1016/j.apal.2014.11.011

IF: 0.776

2015-03-01

Annals of Pure and Applied Logic

Abstract:The model-theoretic Grothendieck ring of a first order structure, as defined by Krajicěk and Scanlon, captures some combinatorial properties of the definable subsets of finite powers of the structure. In this paper we compute the Grothendieck ring, K0(MR), of a right R-module M, where R is any unital ring. As a corollary we prove a conjecture of Prest that K0(MR) is non-trivial, whenever M is non-zero. The main proof uses various techniques from simplicial homology and lattice theory to construct certain counting functions.

mathematics, applied,logic
On Non-Noetherian Iwasawa Theory

David Burns,Alexandre Daoud,Dingli Liang

2024-01-06

Abstract:We prove a general structure theorem for finitely presented torsion modules over a class of commutative rings that need not be Noetherian. As a first application, we then use this result to study the Weil- étale cohomology groups of $\mathbb{G}_m$ for curves over finite fields.

Number Theory,Rings and Algebras
Non-existence of Ulrich modules over Cohen-Macaulay local rings

Srikanth B. Iyengar,Linquan Ma,Mark E. Walker,Ziquan Zhuang

2024-03-23

Abstract:Over a Cohen-Macaulay local ring, the minimal number of generators of a maximal Cohen-Macaulay module is bounded above by its multiplicity. In 1984 Ulrich asked whether there always exist modules for which equality holds; such modules are known nowadays as Ulrich modules. We answer this question in the negative by constructing families of two dimensional Cohen-Macaulay local rings that have no Ulrich modules. Some of these examples are Gorenstein normal domains; others are even complete intersection domains, though not normal.

Commutative Algebra,Algebraic Geometry
Elementary Proof of Lehmer's Conjecture on Non-vanishing of Tau Function

Will Y. Lee

DOI: https://doi.org/10.48550/arXiv.1506.02098

2016-06-18

Abstract:In this paper we prove Lehmer's conjecture on Ramanujan's tau function, namely tau(n) not equal to zero for n >= 1 by investigating the additive group structure attached to tau(n) with the aid of the pigeonhole principle and unique factorization theorem.

Number Theory
On Vanishing and Cofiniteness of Generalized Local Cohomology Modules

S. H. Hassanzadeh,A. Vahidi

DOI: https://doi.org/10.48550/arXiv.0810.3102

2008-10-17

Abstract:In this paper, some results on vanishing and non-vanishing of generalized local cohomology modules are presented and some relations between those modules and, Ext and ordinary local cohomology modules are studied. Also, several cofiniteness propositions for generalized local cohomology modules are established which, among other things, provide an alternative answer to a question in [Y2].

Commutative Algebra
Proof of the Broué-Malle-Rouquier conjecture in characteristic zero (after I. Losev and I. Marin - G. Pfeiffer)

Pavel Etingof

DOI: https://doi.org/10.48550/arXiv.1606.08456

2017-03-11

Abstract:In 1998 Broué, Malle and Rouquier conjectured that the Hecke algebra of a finite complex reflection group W is a free module over the algebra of parameters of rank |W|. We give an exposition of a proof of this conjecture in characteristic zero (and sufficiently large positive characteristic), due to I. Losev and I. Marin - G. Pfeiffer.

Representation Theory
Chaotic maps coupled with random delays: connectivity, topology, and network propensity for synchronization

Arturo C. Marti,C. Marcelo Ponce,Cristina Masoller

DOI: https://doi.org/10.1016/j.physa.2006.04.093

2005-12-27

Abstract:We study the influence of network topology and connectivity on the synchronization properties of chaotic logistic maps, interacting with random delay times. Four different types of topologies are investigated: two regular (a ring-type and a ring-type with a central node) and two random (free-scale Barabasi-Albert and small-world Newman-Watts). The influence of the network connectivity is studied by varying the average number of links per node, while keeping constant the total input that each map receives from its neighbors. For weak coupling the array does not synchronize regardless the topology or connectivity of the network; however, for certain connectivity values there is enhanced coherence. For strong coupling the array synchronizes in the homogeneous steady-state, where the chaotic dynamics of the individual maps is suppressed. For both, weak and strong coupling, the array propensity for synchronization is largely independent of the network topology and depends mainly on the average number of links per node.

Chaotic Dynamics,Adaptation and Self-Organizing Systems
Finite homological dimension of Hom and vanishing of Ext

Souvik Dey,Dipankar Ghosh

2024-07-01

Abstract:For finitely generated modules $M$ and $N $ over a commutative Noetherian local ring $R$, we give various sufficient criteria for detecting freeness of $M$ or $N$ via vanishing of some finitely many Ext modules $\textrm{Ext}^i_R(M,N)$ and finiteness of certain homological dimension of $\textrm{Hom}_R(M,N)$. Some of our results provide partial progress towards answering a question of Ghosh-Takahashi and also generalize their main results in many ways, for instance, by reducing the number of vanishing. Certain special cases of our results allow us to address the Auslander-Reiten conjecture for modules whose (self) dual has finite projective dimension. Along the way, we also provide a negative answer to a question of Gheibi-Takahashi on characteristic modules. Among other things, the notion of residually faithful modules and certain generalizations of it play a crucial role in our study. As some applications of our results, we provide affirmative answers to two questions raised by Tony Se on $n$-semidualizing modules. Namely, we show that over a local ring of depth $t$, every $(t-1)$-semidualizing module of finite G-dimension is free. Moreover, we establish that for normal domains which satisfy Serre's condition $(S_3)$ and are locally Gorenstein in codimension two, the class of $1$-semidualizing modules form a subgroup of the divisor class group. These two groups coincide when, in addition, the ring is locally regular in codimension two.

Commutative Algebra
Finite generation of nilpotent quotients of fundamental groups of punctured spectra

Takashi Suzuki

DOI: https://doi.org/10.1016/j.jalgebra.2023.07.005

2023-07-04

Abstract:In SGA 2, Grothendieck conjectures that the étale fundamental group of the punctured spectrum of a complete noetherian local domain of dimension at least two with algebraically closed residue field is topologically finitely generated. In this paper, we prove a weaker statement, namely that the maximal pro-nilpotent quotient of the fundamental group is topologically finitely generated. The proof uses $p$-adic nearby cycles and negative definiteness of intersection pairings over resolutions of singularities as well as some analysis of Lie algebras of certain algebraic group structures on deformation cohomology.

Number Theory,Algebraic Geometry
Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum

Arthur Bik,Alessandro Danelon,Jan Draisma

DOI: https://doi.org/10.1007/s00208-022-02386-9

Abstract:In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free R-modules to finitely generated R-modules, for any commutative ring R whose spectrum is Noetherian. As Erman-Sam-Snowden pointed out, when applying this with R = Z to direct sums of symmetric powers, one of their proofs of a conjecture by Stillman becomes characteristic-independent. Our paper advertises and further develops the beautiful but not so well-known machinery of polynomial laws. In particular, to any finitely generated R-module M we associate a topological space, which we show is Noetherian when Spec ( R ) is; this is the degree-zero case of our result on polynomial functors.
Derived functors and Hilbert Polynomials over regular local rings

Tony J. Puthenpurakal

DOI: https://doi.org/10.1017/s0013091524000646

2024-10-25

Proceedings of the Edinburgh Mathematical Society

Abstract:Let be a regular local ring of dimension , I an -primary ideal. Let N be a nonzero finitely generated A-module. Consider the functions of polynomial type and let their degrees be and . We prove that . A crucial ingredient in the proof is that , the bounded derived category of A with finite length cohomology, has no proper thick subcategories.

mathematics
An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications

Henri Johnston,Andreas Nickel

2024-12-07

Abstract:Let $p$ be an odd prime. We give an unconditional proof of the equivariant Iwasawa main conjecture for totally real fields for every admissible one-dimensional $p$-adic Lie extension whose Galois group has an abelian Sylow $p$-subgroup. Crucially, this result does not depend on the vanishing of any $\mu$-invariant. As applications, we deduce the Coates-Sinnott conjecture away from its $2$-primary part and new cases of the equivariant Tamagawa number conjecture for Tate motives.

Number Theory
Vanishing and non-negativity of the first normal Hilbert coefficient

Linquan Ma,Pham Hung Quy

2024-08-23

Abstract:Let $(R,\mathfrak{m})$ be a Noetherian local ring such that $\widehat{R}$ is reduced. We prove that, when $\widehat{R}$ is $S_2$, if there exists a parameter ideal $Q\subseteq R$ such that $\bar{e}_1(Q)=0$, then $R$ is regular and $\nu(\mathfrak{m}/Q)\leq 1$. This leads to an affirmative answer to a problem raised by Goto-Hong-Mandal. We also give an alternative proof (in fact a strengthening) of their main result. In particular, we show that if $\widehat{R}$ is equidimensional, then $\bar{e}_1(Q)\geq 0$ for all parameter ideals $Q\subseteq R$, and in characteristic $p>0$, we actually have $e_1^*(Q)\geq 0$. Our proofs rely on the existence of big Cohen-Macaulay algebras.

Commutative Algebra
Algebraization Techniques and Rigid-Analytic Artin-Grothendieck Vanishing

Ofer Gabber,Bogdan Zavyalov

2024-05-27

Abstract:First, we prove an algebraization result for rig-smooth algebras over a general noetherian ring; this positively answers the question raised in [Sta24, Tag 0GAX]. Then we prove a general partial algebraization result in non-archimedean geometry. The result says that we can always algebraize a geometrically reduced affinoid rigid-analytic space in "one direction" in an appropriate sense. As an application of this result, we show the remaining cases of the Artin-Grothendieck Vanishing for affinoid algebras, which were previously conjectured in [BM21, §7]. This allows us to deduce a stronger version of the rigid-analytic Artin-Grothendieck Vanishing Conjecture (see [Han20, Conj. 1.2]) over a field of characteristic 0. Using a completely different set of ideas, we also obtain a weaker version of this conjecture over a field of characteristic p>0.

Algebraic Geometry,Commutative Algebra,Number Theory

An elementary proof of Grothendieck's Non-vanishing Theorem

Grothendieck's Vanishing and Non-vanishing Theorems in an Abstract Module Category

Lichtenbaum-Hartshorne vanishing theorem for generalized local cohomology modules

The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Two theorems on the vanishing of Ext

Non-vanishing and cofiniteness of generalized local cohomology modules

A note on cohomological vanishing theorems

Grothendieck rings of theories of modules

On Non-Noetherian Iwasawa Theory

Non-existence of Ulrich modules over Cohen-Macaulay local rings

Elementary Proof of Lehmer's Conjecture on Non-vanishing of Tau Function

On Vanishing and Cofiniteness of Generalized Local Cohomology Modules

Proof of the Broué-Malle-Rouquier conjecture in characteristic zero (after I. Losev and I. Marin - G. Pfeiffer)

Chaotic maps coupled with random delays: connectivity, topology, and network propensity for synchronization

Finite homological dimension of Hom and vanishing of Ext

Finite generation of nilpotent quotients of fundamental groups of punctured spectra

Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum

Derived functors and Hilbert Polynomials over regular local rings

An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications

Vanishing and non-negativity of the first normal Hilbert coefficient

Algebraization Techniques and Rigid-Analytic Artin-Grothendieck Vanishing