Unramified cohomology of degree 3 and Noether’s problem

Let G be a finite group and W be a faithful representation of G over C. The group G acts on the field of rational functions C(W). The question whether the field of invariant functions C(W) ^G is purely transcendental over C goes back to Emmy Noether. Using the unramified cohomology group of degree 2 of this field as an invariant, Saltman gave the first examples for which C(W) ^G is not rational over C. Around 1986, Bogomolov gave a formula which expresses this cohomology group in terms of the cohomology of the group G. In this paper, we prove a formula for the prime to 2 part of the unramified cohomology group of degree 3 of C(W) ^G . Specializing to the case where G is a central extension of an F _p -vector space by another, we get a method to construct nontrivial elements in this unramified cohomology group. In this way we get an example of a group G for which the field C(W) ^G is not rational although its unramified cohomology group of degree 2 is trivial. Dedicated to Jean-Louis Colliot-Thélène.     

Farrell cohomology of GL(n,Z)

The Tate-Farrell cohomology of GL(n,Z) with coefficients inZ/p is computed forp an odd prime andp−1 ≦n ≦ 2p−3. Its size depends on the Galois structure of the class group of the cyclotomic fieldQ(p√1) and is shown to be quite large in general. Research partially supported by NSF Grant No. DMS-8701758.     

A Herbrand-Ribet theorem for function fields

We prove a function field analogue of the Herbrand-Ribet theorem on cyclotomic number fields. The Herbrand-Ribet theorem can be interpreted as a result about cohomology with μ _p -coefficients over the splitting field of μ _p , and in our analogue both occurrences of μ _p are replaced with the \mathfrakp\mathfrak{p}-torsion scheme of the Carlitz module for a prime \mathfrakp\mathfrak{p} in F _q [t].     

Rank 4 vector bundles on the quintic threefold

By the results of the author and Chiantini in [3], on a general quintic threefold X⊂P ⁴ the minimum integer p for which there exists a positive dimensional family of irreducible rank p vector bundles on X without intermediate cohomology is at least three. In this paper we show that p≤4, by constructing series of positive dimensional families of rank 4 vector bundles on X without intermediate cohomology. The general member of such family is an indecomposable bundle from the extension class Ext ¹ (E, F), for a suitable choice of the rank 2 ACM bundles E and F on X. The existence of such bundles of rank p=3 remains under question.     

On the D-affinity of the flag variety in type B2

The flag varieties in characteristic 0 are well-known to be D-affine. In positive characteristic, however, only those in type A ₁ and A ₂ have been proved to be so. In this paper we will show in type B ₂ the cohomology vanishing of the first term in the p-filtration of the sheaf of differential operators on the flag variety. This is a necessary condition for the variety to be D-affine. Received: 7 February 2000 / Revised version: 30 June 2000     

Exponential sums on An. III

We give two applications of our earlier work [4]. We compute the p-adic cohomology of certain exponential sums on A ⁿ involving a polynomial whose homogeneous component of highest degree defines a projective hypersurface with at worst weighted homogeneous isolated singularities. This study was motivated by recent work of García [9]. We also compute the p-adic cohomology of certain exponential sums on A ⁿ whose degree is divisible by the characteristic. Received: 12 October 1999     

On the cohomology of orbit space of free ℤ<Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-actions on lens spaces

Let G = ℤ _p , p an odd prime, act freely on a finite-dimensional CW-complex X with mod p cohomology isomorphic to that of a lens space L ^2m−1(p; q ₁, …, q _m ). In this paper, we determine the mod p cohomology ring of the orbit space X/G, when p ² ∤ m.     

Twisted Bimodules and Hochschild Cohomology for Self-injective Algebras of Class A n , II

Up to derived equivalence, the representation-finite self-injective algebras of class A _n are divided into the wreath-like algebras (containing all Brauer tree algebras) and the Möbius algebras. In Part I (Forum Math. 11 (1999), 177–201), the ring structure of Hochschild cohomology of wreath-like algebras was determined, the key observation being that kernels in a minimal bimodule resolution of the algebras are twisted bimodules. In this paper we prove that also for Möbius algebras certain kernels in a minimal bimodule resolution carry the structure of a twisted bimodule. As an application we obtain detailed information on subrings of the Hochschild cohomology rings of Möbius algebras.     

Finite group actions and étale cohomology

If a finite group G acts on a quasi-projective variety X, then H*_c(X,Z/n), the étale cohomology with compact support of X with coefficients inZ/n, has aZ/n[G]-module structure. It is well known that there is a finer invariant, an object RΓ_c(X,Z/n) of the derived category ofZ/n[G]-modules, whose cohomology is H*_c(X,Z/n). We show that there is a finer invariant still, a bounded complex Λ_c(X,Z/n) of direct summands of permutationZ/n[G]-modules, well-defined up to chain homotopy equivalence, which is isomorphic to RΓ_c(X,Z/n) in the derived category. This complex has many properties analogous to those of the simplicial chain complex of a simplicial complex with a group action. There are similar results forl-adic cohomology.     

Cohomological approach to asymptotic dimension

We introduce the notion of asymptotic cohomology based on the bounded cohomology and define cohomological asymptotic dimension asdim _Z X of metric spaces. We show that it agrees with the asymptotic dimension asdim X when the later is finite. Then we use this fact to construct an example of a metric space X of bounded geometry with finite asymptotic dimension for which asdim(X × R) = asdim X. In particular, it follows for this example that the coarse asymptotic dimension defined by means of Roe’s coarse cohomology is strictly less than its asymptotic dimension.      

On the first cohomology of arithmetic groups

We study the restriction to smaller subgroups, of cohomology classes on arithmetic groups (possibly after moving the class by Hecke correspondences), especially in the context of first cohomology of arithmetic groups. We obtain vanishing results for the first cohomology of cocompact arithmetic lattices in SU(n,1) which arise from hermitian forms over division algebras D of degree p ², p an odd prime, equipped with an involution of the second kind. We show that it is not possible for a ‘naive’ restriction of cohomology to be injective in general. We also establish that the restriction map is injective at the level of first cohomology for non co-compact lattices, extending a result of Raghunathan and Venkataramana for co-compact lattices. Received: 14 September 2000 / Accepted: 6 June 2001     

Fonctions L associées aux F-isocristaux surconvergents II: Zéros et pôles unités

Résumé Nous démontrons la conjecture de Katz concernant la méromorphie et la caractérisation des zéros et p?les unités des fonctions L associées aux représentations p-adiques lorsque celles-ci se prolongent sur une compactification du schéma de base. Comme cas particuliers importants, on obtient celui de la fonction zêta d’un schéma quelconque et celui d’une représentation p-adique quelconque sur un schéma propre.

---

If X is a smooth variety over a finite field ? _q of characteristic p > 0 and ℱ is a p-adic sheaf associated to a representation of the fundamental group of X, N. Katz conjectures, in his Bourbaki talk 409, that the L function L (X, ℱ, t) has its p-adic unit roots and poles given in terms of p-adic étale cohomology. We prove this conjecture in the case of the structure sheaf ℱ = ℤ _p , that is for the Zeta function, and also more generally when the p-adic sheaf ℱ extends to a smooth sheaf on a compactification of X: as a consequence we get the Unit-Root Zeta function of Dwork and Sperber as an L function. The idea of the proof is to get the p-adic étale cohomology with coefficients and compact support as the fixed points of Frobenius acting on rigid cohomology with compact support. For this purpose, we first build a crystalline Artin–Schreier short exact sequence on the syntomic site of a scheme which is separated of finite type over a perfect field k: this naturally generalizes the work of J.M. Fontaine and W. Messing in the proper smooth case. Then getting rigid cohomology with coefficients as a limit of crystalline cohomologies of variable level we deduce a long exact sequence connecting p-adic étale cohomology (with compact support) to rigid cohomology (with compact support). When X is smooth and affine over an algebraically closed field, the former exact sequence splits into short exact sequences that identify the p-adic étale cohomology with support of X to the part of its rigid cohomology invariant under Frobenius. We can then describe the p-adic unit roots and poles of the Zeta function of X; as a corallary we get the Unit-Root Zeta function of Dwork and Sperber as an L function. In the appendix we show that the characteristic spaces of Frobenius in rigid cohomology commute with isometric extensions of the base, and that isocrystals associated to p-adic sheaves with finite monodromy are overconvergent: we thus obtain a p-adic proof of the rationality of the corresponding L-function.

---

---

Oblatum 8-XII-1994 & 30-IV-1996     

Duality in the cohomology of crystalline local systems

Let k be a perfect field of a positive characteristic p, K-the fraction field of the ring of Witt vectors W(k) Let X be a smooth and proper scheme over W(k). We present a candidate for a cohomology theory with coefficients in crystalline local systems: p -adic étale local systems on X_K characterized by associating to them so called Fontaine-crystals on the crystalline site of the special fiber X _k. We show that this cohomology satysfies a duality theorem.     

Higher Chern Classes and Steenrod Operations in Motivic Cohomology

In this short paper we investigate the relation between higher Chern classes and reduced power operations in motivic cohomology. More precisely, we translate the well-known arguments [5] into the context of motivic cohomology and define higher Chern classes c_p,q : K _p(X) → H^2q-p (X,Z(q)) → H^2q-p(X, Z/l(q)), where X is a smooth scheme over the base field k, l is a prime number and char(k) ≠ l. The same approach produces the classes for K-theory with coefficients as well. Let further Pⁱ : H^m(X, Z/l(n)) → H^m+2i(l-1) (X, Z/l(n + i(l - 1))) denote the ith reduced power operation in motivic cohomology, constructed in [2]. The main result of the paper looks as follows.     

On the Hochschild Cohomology of Triangular Algebras

Abstract

In order to study the Hochschild cohomology of an n-triangular algebra 𝒯 _n , we construct a spectral sequence, whose terms are parametrized by the length of the trajectories of the quiver associated with 𝒯 _n , and which converges to the Hochschild cohomology of 𝒯 _n . We describe explicitly its components and its differentials which are sums of cup products. In case n = 3 we study some properties of the differential at level 2. We give some examples of use of the spectral sequence and recover formulas for the dimension of the cohomology groups of particular cases of triangular algebras.     

Action of Hecke operators on cohomology of modular curves of level two

We calculate the action of the p-th Hecke operator and the inertia group on the ?-adic cohomology of modular curve of level Γ₀(p ²) under the assumption p ≥ 13, using only a local geometrical method. We also calculate the action of the p-th Hecke operator and the inertia group on the ?-adic cohomology of the Lubin-Tate space of the same level over the maximal unramified extension of ${\mathbb{Q}_p}$ .     

On the second cohomology of an algebraic group and of its lie algebra in a positive characteristic

Necessary and sufficient isomorphism conditions for the second cohomology group of an algebraic group with an irreducible root system over an algebraically closed field of characteristic p ≥ 3h ? 3, where h stands for the Coxeter number, and the corresponding second cohomology group of its Lie algebra with coefficients in simple modules are obtained, and also some nontrivial examples of isomorphisms of the second cohomology groups of simple modules are found. In particular, it follows from the results obtained here that, among the simple algebraic groups SL₂(k), SL₃(k), SL₄(k), Sp₄(k), and G ₂, nontrivial isomorphisms of this kind exist for SL₄(k) and G ₂ only. For SL₄(k), there are two simple modules with nontrivial second cohomology and, for G ₂, there is one module of this kind. All nontrivial examples of second cohomology obtained here are one-dimensional.