Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAn elementary proof of Grothendiecks Non-vanishing Theorem
164
0
0.0
(
0
)
Authors
Tony J. Puthenpurakal
Ask ChatGPT about the research
No Arabic abstract
We give an elementary proof of Grothendiecks 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.
rate research
Read More
A sequence of random variables is called exchangeable if the joint distribution of the sequence is unchanged by any permutation of the indices. De Finettis theorem characterizes all ${0,1}$-valued exchangeable sequences as a mixture of sequences of independent random variables. We present an new, elementary proof of de Finettis Theorem. The purpose of this paper is to make this theorem accessible to a broader community through an essentially self-contained proof.
Hochsters theta invariant is defined for a pair of finitely generated modules on a hypersurface ring having only an isolated singularity. Up to a sign, it agrees with the Euler invariant of a pair of matrix factorizations. Working over the complex numbers, Buchweitz and van Straten have established an interesting connection between Hochsters theta invariant and the classical linking form on the link of the singularity. In particular, they establish the vanishing of the theta invariant if the hypersurface is even-dimensional by exploiting the fact that the (reduced) cohomology of the Milnor fiber is concentrated in odd degrees in this situation. In this paper, we give purely algebra
Hanners theorem is a classical theorem in the theory of retracts and extensors in topological spaces, which states that a local ANE is an ANE. While Hanners original proof of the theorem is quite simple for separable spaces, it is rather involved for the general case. We provide a proof which is not only short, but also elementary, relying only on well-known classical point-set topology.
Let $Omega(n)$ denote the number of prime factors of $n$. We show that for any bounded $fcolonmathbb{N}tomathbb{C}$ one has [ frac{1}{N}sum_{n=1}^N, f(Omega(n)+1)=frac{1}{N}sum_{n=1}^N, f(Omega(n))+mathrm{o}_{Ntoinfty}(1). ] This yields a new elementary proof of the Prime Number Theorem.
Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R^h, the henselisation of R as local ring, and {~v}, the henselisation of the valuation v, by focussing on the recent result by de Felipe and Teissier referred to in the title. We give a new proof that simplifies the original one by using purely algebraic arguments. This proof is moreover constructive in the sense of Bishop and previous work of the authors, and allows us to obtain as a by-product a (slight) generalisation of the theorem by de Felipe and Teissier.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
