Introductory text on group cohomology mathoverflow. Furthermore, it may appear in the later sections of. In mathematics, the etale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by grothendieck in order to prove the weil conjectures. Homology and cohomology computation in fe modeling 3 usual input for homology or cohomology computation.
While l2cohomology gives interesting results in its own right, it also importantly provides information about classical homological invariants. They continue with a presentation of a stable homotopy theoretic approach to the theory of di erential extensions of generalized cohomology theories including products and. In pp, they give a very general argument for lifting ordinary eigenclasses with respect to a suitable operator in the group cohomology of certain arithmetic groups. Cuspidal representations in the ladic cohomology of the. The cohomology of arithmetic groups and the lfunctions ls. Fultons trace formula for coherent sheaf cohomology39 5. We compute the continuous ladic cohomology with compact support of them in the case of a basic isocrystal. Local and global anomalies are split via the quotient. Among many other attributes, local cohomology allows one to answer many seemingly di. The main tools used are the machinery of ladic cohomology and the converse theorem for automorphic representations. The facts are quite well known and elementary but are. This comes at the expense of having to work with nonnoetherian schemes, even when one is only interested in working with ladic sheaves and cohomology of. This yields vanishing results for their ladic cohomology, proving part of. Wangerickson, entire preprint, version of 102518, to appear in journal of the european.
Our proof is purely local and does not require global automorphic methods. In this case jannsen conjectured by analogy with the. Etale cohomology and the weil conjecture eberhard freitag. In this paper, we present a generalisation of a theorem of david and rob pollack. Finally, we show following cartan that the third cohomology group of a semisimple algebra ljo never reduces to 0, which proves that the third betti number of a compact connected semisimple lie. On the adic cohomology of varieties over number fields and its galois cohomology uvve jannsen if x is a smooth, projective variety over a number field fc, then the absolute galois group gk galfcfc acts on the etale cohomology groups hlx, qi1en, where x x xf c jc for an algebraic closure jc of k. L theorie des topos et cohomologie etale des schemas. For the topological story, we refer to 1, 22, 31 and of course the original papers 16, 17. We investigate the action of the weil group on the compactly supported ladic cohomology groups of rigid spaces over local fields. Rationality and the functional equation via weil cohomology29 4.
We will give an introduction to lcohomology in section 2, mainly following the excellent survey of eckmann 22. The relevant cohomology group in which the anomalies live is interpreted as the kernel of the map induced in integer cohomology by the projection map of the principal. In this paper we consider period domains over local fields for quasisplit reductive groups. The second part of the course can be found in the chapter on the trace. It is called the th adic cohomology of the sheaf on. Bernard le stum, one century of p padic geometry from hensel to berkovich and beyond, talk notes, june 2012. We develop the notion of stratifiability in the context of derived categories and the six operations for stacks in the work of laszlo and olsson. As a second year graduate textbook, cohomology of groups introduces students to cohomology theory involving a rich interplay between algebra and topology with a minimum of prerequisites. Di erential cohomology ulrich bunke august 20, 20 abstract these course note rst provide an introduction to secondary characteristic classes and di erential cohomology. An introduction to the cohomology of groups peter j. Correspondences, integral structures, and compatibilities in padic cohomology by bryden r. Adic cohomology of varieties over number fields and its galois cohomology, in. Etale cohomology is an important branch in arithmetic geometry.
If is the field of rational adic numbers, then the spaces are called the rational adic cohomology of the scheme. Professor brian conrad, chair professor karen smith professor stephen debacker. Correspondences, integral structures, and compatibilities. We study the structure of the ordinary parts of the arithmetic. A brief introduction to adic cohomology32 chapter 5. L9 o is nilpotent, then its second cohomology group is not equal to 0j.
In this paper, we study the ladic cohomology of the rapoportzink tower for gsp4. We focus on the analytic aspect of the l2 cohomology theory. An introduction to l2 cohomology xianzhe dai this paper consists of two parts. In this article, we investigate the alternating sum of the ladic cohomology of the lubintate tower by the lefschetz trace formula. Structure of various lambdaadic arithmetic cohomology groups. More generally, if x is a complex variety, then its. Comparison theorems between crystalline and etale cohomology. In this book the authors describe the important generalization of the original weil conjectures. Etale cohomology stacks project columbia university. This material has since appeared in expanded and generalized form in his paris seminar of 1962 16 and my duality seminar at harvard in 196364 17. This book covers the main materials in sga 1, sga 4, sga 4 12 and sga 5 on etale cohomology theory, which includes decent theory, etale fundamental groups, galois cohomology, etale cohomology, derived categories, base change theorems, duality, and l adic cohomology. It also ventures into deeper waters, such as the role of posets and brations.
Some years ago a conference on ladic cohomology in oberwolfach was held with. Lifting nonordinary cohomology classes for sl 3 chris williams abstract. In this paper i study some properties of these gkmodules. We note that in the setting of the proposition, if we start with a quasicoherent sheaf mon y, then. An introduction to etale cohomology and the brauer group in the proposition, p 1 and p 2 are the two projections x y x. A good example of such a problem, where local cohomology provides a partial answer, is the question of how many generators ideals have up to radical. Lefschetz trace formula and ladic cohomology of lubin. In the presented homology and cohomology solver, the extraction of the cell complex from the. One of the most important mathematical achievements of the past several. Weil cohomology theories and the weil conjectures23 4. A comparison theorem for ladic cohomology deepdyve. Hida, local indecomposability via a presentation of the hecke algebra, appendix to class groups and local indecomposability for noncm forms by f.
We prove that every eigenvalue of the action is a weil number when either a rigid space is smooth or the characteristic of the base field is equal to 0. The geometry and cohomology of some simple shimura. Eisenstein cohomology for gln and the special values of. On the adic cohomology of varieties over number fields. Our main results confirm langlands kottwitzs description of the cohomology of shimura varieties in new cases. Finite polynomial cohomology for general varieties pdf. Read a comparison theorem for ladic cohomology, compositio mathematica on deepdyve, the largest online rental service for scholarly research with thousands of academic publications available at your fingertips. Weil conjectures, perverse sheaves and ladic fourier transform. Moreover, a pull back of such a cohomology tensored by the field of ladic numbers is isomorphic to the ladic cohomology. This text is an extended version of a series of lectures given by the third and fourth authors during the 2016 arizona winter school.
Mike shulmans extensive appendix x5 clari es many puzzles raised in the talks. For the convenience of the speakers the present authors who were also the. If an internal link incorrectly led you here, you may wish to change the link to point directly to the intended article. In general, if j is an ideal of a ring r, the radical of j is the ideal v. Values of lfunctions and padic cohomology springerlink. This book aims first to prove the local langlands conjecture for gl n over a padic field and, second, to identify the action of the decomposition group at a prime of bad reduction on the ladic cohomology of the simple shimura varieties. Recent preprints and lecture notes last three years with some exception. Of local or relative cohomology groups of shea ves on preschemes.
X, while the morphisms p, p 23, and p 12 are the 3 projections x yx yx. The results represent a major advance in algebraic number theory, finally proving the conjecture. The other important technical advantage is the ease with which one. Zeta functions in algebraic geometry mircea mustat. We will show that a similar calculation is possible for hilbert modular forms over real quadratic fields using the. Our main results confirm langlandskottwitzs description of the cohomology of shimura varieties in new cases. What are good introductory textbooks available on cohomology of groups. Cais a dissertation submitted in partial ful llment of the requirements for the degree of doctor of philosophy mathematics in the university of michigan 2007 doctoral committee. No homological algebra is assumed beyond what is normally learned in a first course in algebraic topology. In the rst part, we give an introduction to l2 cohomology.
914 1283 933 930 7 1577 1427 537 813 1148 1231 1294 1297 450 123 525 862 45 363 147 1513 323 1554 1134 1415 153 493 951 392 641 137 446 53 1489 1411 1448 1037 951 1232 1167 247 937 1043 1008 528 293 598