What are called the standard conjectures on algebraic cycles are several conjectures brought up by grothendieck, concerned with the relation between algebraic cycles and weil cohomology theories. Etale cohomology of constructible sheaves is used to set up adic cohomology and to prove the weil conjecture on the zetafunction. The first lefschetz standard conjecture is an existence assertion for algebraic cycles, the second hodge standard conjecture is a statement of positivity, generalising weils wellknown. Cohomology of groups with applications to number theory. The grothendieck topos, as well as etale cohomology. Then weil cohomology with coefficient field is a contravariant functor from the category of varieties into the category of finitedimensional graded anticommutative algebras, which satisfies the following conditions. Note that, however, the category of chow motives does not give a weil cohomology theory since it is not abelian. Etale cohomology and the weil conjectures umd math. Some years ago a conference on ladic cohomology in oberwolfach was held with. Nov 27, 20 purity of critical cohomology and kacs conjecture 5 z sc grading, and the gener ators of gr wt h e q,w are given by a z q 0. Journal of pure and applied algebra 59 1989 265277 265 northholland on carlsons conjecture for cohomology rings of modules takashi niwasaki department of mathematics, faculty of science, hokkaido university, sapporo 060, japan communicated by a. In practice it is this generalization rather than the original weil conjectures that is mostly used in applications, such as the hard lefschetz theorem. The weil conjectures for the cohomology below the middle dimension follow from this by applying the weak lefschetz theorem, and the conjectures for cohomology above the middle dimension then follow from poincare duality.
Generalized local cohomology and the canonical element conjecture bart snapp department of mathematics, university of illinois at urbanachampaign, urbana, il 61801 usa current address. Topics include nonabelian cohomology, postnikov towers, the theory of nstu, and ncategories for n 1 and 2. M n \displaystyle m n n \displaystyle \sqrt n, which implies the riemann hypothesis. Gerstenhaber algebra and delignes conjecture on tatehochschild cohomology the algebra ais gorenstein. James milne, section 26 of lectures on etale cohomology. Much could be said also on newer developments in homological algebra. An introduction to the cohomology of groups peter j. A riemannian metric on mis called hermitian if it is compatible with the complex structure jof m, hjx,jyi hx,yi. The atiyah conjecture and \l2\ cohomology computations. Thus, we prove new results on the padic geometry of shimura varieties of hodge. The weil conjecture and analogues in complex geometry. Constructible sheaves and compatibility of cohomology with limits. Etale cohomology and the weil conjecture springerlink. Pdf purity of critical cohomology and kacs conjecture.
The cohomology of abelian hessenberg varieties and the stanleystembridge conjecture. I a proof for the surjectivity in the hondatate theory joint work chingli chai fo. Let xbe a smooth, connected, ndimensional projective variety. In mathematics, the mertens conjecture is the disproven statement that the mertens function. It was conjectured by thomas joannes stieltjes in an 1885 letter to charles hermite reprinted in stieltjes 1905 and franz mertens 1897, and. Trying to understand delignes proof of the weil conjectures people. The weil conjectures were proved by bernard dwork, alexander grothendieck, and pierre deligne. Etale cohomology and the weil conjecture eberhard freitag. We then show that the conjecture can be used to compute the \l2\cohomology of certain coxeter groups that have highly symmetric nerves. In addition to these cohomology theories there are other cohomology theories called weil cohomology theories which behave similarly to singular cohomology. In mathematics, the weil conjectures were some highly influential proposals by andre weil, which led to a successful multidecade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory. Action on sheaf cohomology in bottborelweil theorem.
Some years ago a conference on ladic cohomology in oberwolfach was held with the aim of reaching an understanding of delignes proof of the weil conjec tures. On carlsons conjecture for cohomology rings of modules. The novikov conjecture is one of the most important unsolved problems in topology. Etale cohomology and the weil conjectures sommaire. Another useful computational tool is the blowup sequence. We define a subclass of hessenberg varieties called abelian hessenberg varieties, inspired by the theory of abelian ideals in a lie algebra developed by kostant and peterson. Cohomology with proper supports and ehresmanns theorem. There is a conjectured theory of motives which underlie all of the weil cohomology theories. In his efforts to prove the weil conjectures, grothendieck developed the notion of topos see more category theory. I a proof for the weil conjecture for abelian varieties. Some questions from the audience have been included.
Cohomology of algebraic varieties with coefficients in a field of characteristic zero, with formal properties required to obtain the lefschetz formula for the number of fixed points. Cohomological dimension of galois cohomology, tsens theorem, brauer groups. Deligne 1980 found and proved a generalization of the weil. Number theory learning seminar stanford university. It was conjectured by thomas joannes stieltjes, in an 1885 letter to charles hermite reprinted in stieltjes, and again in print by franz mertens, and disproved by andrew odlyzko and herman te riele.
Number theory learning seminar 20162017 the seminar will meet wednesdays 1. Although now disproven, it has been shown to imply the riemann hypothesis. Sophie morelthe weil conjectures, from abel to deligne. Q p, and deducing algebraicity of frobenius eigenvalues only a posteriori. Buchweitz in the same manuscript, provided a general framework for tate cohomology. Besides the original article i and article ii by deligne and the results on rationality by dwork, there is the book freitagkiehl etale cohomology and the weil conjecture and the online pdf by milne lectures on etale cohomology. A possible application of our work, particularly if it may be extended. The cohomology of abelian hessenberg varieties and the. They also play an important part in the etale cohomology of more general rings.
Weil cohomology theories play an important role in the theory of motives, insofar as the category of chow motives is universal for weil cohomology theories in the sense that any weil cohomology theory factors through chow motives. Grothendieck gave another proof, based on the etale cohomology. Amazon etale cohomology and the weil conjecture ergebnisse. Since local cohomology modules vanish above the dimension of the ring, for a local ring a,mit is useless to study the maps exti a. For the convenience of the speakers the present authors who were also the organisers of that meeting prepared short notes containing. The weil conjectures about zeta functions of varieties over finite fields, proved by dwork, grothendieck, deligne and others the taniyamashimura weil conjecture about elliptic curves, proved by wiles and others. Weil cohomology theories and the weil conjectures 3 proposition 1. We strongly urge the reader to read this online at instead of reading the old material below. The weil conjectures about zeta functions of varieties over finite fields, proved by dwork, grothendieck, deligne and others the taniyamashimuraweil conjecture about elliptic curves, proved by wiles and others the weil conjecture on tamagawa numbers about the tamagawa number of an algebraic group, proved by kottwitz and others.
The remaining talks, given in the category theory seminar at chicago, were more advanced. In this case, hochschild cohomology and linckelmann cohomology are again isomorphic, modulo their radicals. Much of the second proof is a rearrangement of the ideas of his. The completion conjecture in equivariant cohomology by j. Cohomology of groups with applications to number theory dietrich burde lecture notes 2009. Cohomology theory of grothendieck so i included an overview in section 2. Every algebraic cycle of codimension gives a cohomology class in dimension, which makes it possible to construct a theory of chern classes cf. Lectures on local cohomology craig huneke and appendix 1 by amelia taylor abstract.
Weil, who showed that the rationality of the zetafunction and function of a variety over a finite field follow from the lefschetz formula, whereas the. The completion conjecture in equivariant cohomology. For each group gand representation mof gthere are abelian groups hng,m and hng,m where n 0,1,2,3. Weil conjectures and motivation september 15, 2014 1 the zeta function of a curve we begin by motivating and introducing the weil conjectures, which was bothy historically fundamental for the development of etale cohomology, and also constitutes one of its greatest successes. The connection between the weil conjectures and ramanujans. It is named for sergei novikov who originally posed the conjecture in 1965. For the convenience of the speakers the present authors who were also the organisers of that meeting prepared short notes containing the central definitions and ideas of the proofs. Later, orlov orl independently rediscovered a global version of singularity category motivated by homological mirror symmetry. This years seminar will focus on etale cohomology, the goal being to understand laumons proof of the main theorem of delignes weil ii paper that gave a powerful and vast generalization of the riemann hypothesis over finite fields. Cohomology operations and the toral rank conjecture for. It contains a lot of very surprising partial results and examples. Standard conjectures on algebraic cycles wikipedia. In what follows we explain an application of theorem 0.
We prove the conjecture for some new examples of groups, including the class of virtually sparse special groups. The etale cohomology of fields, or equivalently, galois cohomology, are the topic of famous problems in modern mathematics such as the milnor conjecture and its generalization, the blochkato conjecture, which was solved by vladimir voevodsky in 2009. We will also give an example of a homology theory other than hetqz. On torsion in the cohomology of locally symmetric varieties. Learning path for the proof of the weil conjectures. The necessity for such a theory was pointed out by a. Generalized local cohomology and the canonical element. The novikov conjecture concerns the homotopy invariance of certain polynomials in the pontryagin classes of a manifold, arising from the fundamental group. Concerning group cohomology, the low dimensional cohomology of a group gwas already classically studied in other guises, long before the formulation of group cohomology in 1943 1945 by eilenberg and maclane. Learning seminar on delignes weil ii theorem princeton math. Weil cohomology theo ries and the weil conjectures 3 proposition 1. Heller received 18 march 1988 dedicated to professor tosiro tsuzuku on his sixtieth birthday. Series of modern surveys in mathematics on free shipping on qualified orders. In mathematics, the standard conjectures about algebraic cycles are several conjectures describing the relationship of algebraic cycles and weil cohomology theories.
Department of mathematics, coastal carolina university, conway, sc 29528 usa abstract we study a generalization of the canonical element conjecture. Deligne 1980 found and proved a generalization of the weil conjectures, bounding the weights of the pushforward of a sheaf. The first title is out of stock and hard to get and the second seems to me too brief and succinct. Gerstenhaber algebra and delignes conjecture on tate.
The aim of this note, which raises more questions than it answers, is to study natural operations acting on the cohomology of various types of algebras. Im writing an essay about ramanujans conjecture and have some questions. Of particular interest is the toral rank conjecture, an outstanding open problem. Generalized local cohomology and the canonical element conjecture.
1466 642 373 319 1093 205 91 1085 1325 1049 459 1341 1537 2 343 86 244 1650 1445 96 279 197 1382 1211 614 858 1005 177 982 1638 1101 729 1061 1397 859 1401 539 652 280 1298 38 1037 615 1319 844 1083 278 334 382