Cohomology of the Weil group of a p-adic field

We establish duality and vanishing results for the cohomology of the Weil group of a p-adic field. Among them is a duality theorem for finitely generated modules, which implies Tate–Nakayama Duality. We prove comparison results with Galois cohomology, which imply that the cohomology of the Weil group determines that of the Galois group. When the module is defined by an abelian variety, we use these comparison results to establish a duality theorem analogous to Tate?s duality theorem for abelian varieties over p-adic fields.     

The cohomology of the cotangent bundle of Heisenberg groups

Given a parabolic subalgebra g₁×n of a semisimple Lie algebra, Kostant (Ann. Math. 1963) and Griffiths (Acta Math. 1963) independently computed the g₁ invariants in the cohomology group of n with exterior adjoint coefficients. By a theorem of Bott (Ann. Math. 1957), this is the cohomology of the associated compact homogeneous space with coefficients in the sheaf of local holomorphic forms. In this paper we determine explicitly the full module structure, over the symplectic group, of the cohomology group of the Heisenberg Lie algebra with exterior adjoint coefficients. This is the cohomology of the cotangent bundle of the Heisenberg group.     

Finiteness Properties of Duals of Local Cohomology Modules

We investigate Matlis duals of local cohomology modules and prove that, in general, their zeroth Bass number with respect to the zero ideal is not finite. We also prove that, somewhat surprisingly, if we apply local cohomology again (i.e., to the Matlis dual of the local cohomology module), we get (under certain hypotheses) either zero or E, an R-injective hull of the residue field of the local ring R.     

The homotopy categorical crossed module of a CW-complex

Crossed modules have longstanding uses in homotopy theory and the cohomology of groups. The corresponding notion in the setting of categorical groups, that is, categorical crosses modules, allowed the development of a low-dimensional categorical group cohomology. Now, its relevance is also shown here to homotopy types by associating, to any pointed CW-complex (X,∗), a categorical crossed module that algebraically represents the homotopy 3-type of X.     

Local cohomology modules of a smooth \mathbb{Z}-algebra have finitely many associated primes

Let R be a commutative Noetherian ring that is a smooth \(\mathbb {Z}\) -algebra. For each ideal \(\mathfrak {a}\) of R and integer k, we prove that the local cohomology module \(H^{k}_{\mathfrak {a}}(R)\) has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.     

Cohomology of the Schrdinger Algebra S(1)

We explicitly compute the first and second cohomology groups of the Schrdinger algebra S(1) with coefficients in the trivial module and the finite-dimensional irreducible modules.We also show that the first and second cohomology groups of S(1) with coefficients in the universal enveloping algebras U(S(1))(under the adjoint action) are infinite dimensional.     

Hopf-cyclic homology and cohomology with coefficients

Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We prove that the existence of a cyclic operator forces a modification of the Yetter–Drinfeld compatibility condition leading to the concept of a stable anti-Yetter–Drinfeld module. This module plays the role of the space of coefficients in the thus obtained cyclic cohomology of module algebras and coalgebras, and the cyclic homology and cohomology of comodule algebras. Along the lines of Connes and Moscovici, we show that there is a pairing between the cyclic cohomology of a module coalgebra acting on a module algebra and closed 0-cocycles on the latter. The pairing takes values in the usual cyclic cohomology of the algebra. Similarly, we argue that there is an analogous pairing between closed 0-cocycles of a module coalgebra and the cyclic cohomology of a module algebra. To cite this article: P.M. Hajac et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Stable local cohomology

For a module having a complete injective resolution, we define a stable version of local cohomology. This gives a functor to the stable category of Gorenstein injective modules. We show that in many ways this functor behaves like the usual local cohomology functor. Our main result is that when there is only one nonzero local cohomology module, there is a strong connection between that module and the stable local cohomology module; in fact, the latter gives a Gorenstein injective approximation of the former.     

Minimaxness and finiteness properties of local homology and local cohomology modules

We prove some results concerning minimaxness and finiteness of local homology modules and by Matlis duality we extend some results for the minimaxness and finiteness of local cohomology modules. We introduce the concept of C-minimax R-modules, and we discuss the maximum and minimum integers such that local homology and local cohomology modules are C-minimax. As a consequence, we find minimum integers such that local homology and local cohomology modules are of finite length.     

Top local cohomology modules and Gorenstein injectivity with respect to a semidualizing module

Let ${(R, \mathfrak{m})}$ be a commutative Noetherian local ring of Krull dimension d, and let C be a semidualizing R-module. In this paper, it is shown that if R is complete, then C is a dualizing module if and only if the top local cohomology module of ${R, H _{\mathfrak{m}} ^{d} (R)}$ , has finite G _C -injective dimension. This generalizes a recent result due to Yoshizawa, where the ring is assumed to be complete Cohen-Macaulay.     

Arc Spaces and Equivariant Cohomology

We present a new geometric interpretation of equivariant cohomology in which one replaces a smooth, complex G-variety X by its associated arc space J _∞ X, with its induced G-action. This not only allows us to obtain geometric classes in equivariant cohomology of arbitrarily high degree, but also provides more flexibility for equivariantly deforming classes and geometrically interpreting multiplication in the equivariant cohomology ring. Under appropriate hypotheses, we obtain explicit bijections between $ \mathbb{Z} $ -bases for the equivariant cohomology rings of smooth varieties related by an equivariant, proper birational map. We also show that self-intersection classes can be represented as classes of contact loci, under certain restrictions on singularities of subvarieties. We give several applications. Motivated by the relation between self-intersection and contact loci, we define higher-order equivariant multiplicities, generalizing the equivariant multiplicities of Brion and Rossmann; these are shown to be local singularity invariants, and computed in some cases. We also present geometric $ \mathbb{Z} $ -bases for the equivariant cohomology rings of a smooth toric variety (with respect to the dense torus) and a partial flag variety (with respect to the general linear group).     

Duality for cochain DG algebras

This paper develops a duality theory for connected cochain DG algebras,with particular emphasis on the non-commutative aspects.One of the main items is a dualizing DG module which induces a duality between the derived categories of DG left-modules and DG right-modules with finitely generated cohomology.As an application,it is proved that if the canonical module k=A/A≥1 has a semi-free resolution where the cohomological degree of the generators is bounded above,then the same is true for each DG module with finitely generated cohomology.     

Ramification theory for varieties over a local field

We define generalizations of classical invariants of wild ramification for coverings on a variety of arbitrary dimension over a local field. For an ?-adic sheaf, we define its Swan class as a 0-cycle class supported on the wild ramification locus. We prove a formula of Riemann-Roch type for the Swan conductor of cohomology together with its relative version, assuming that the local field is of mixed characteristic. We also prove the integrality of the Swan class for curves over a local field as a generalization of the Hasse-Arf theorem. We derive a proof of a conjecture of Serre on the Artin character for a group action with an isolated fixed point on a regular local ring, assuming the dimension is 2.     

Cohomology theories of Hopf bimodules and cup-product

Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by Gerstenhaber and Schack, and by Ospel. We prove, when all the spaces involved are finite dimensional, that they are all equal to the Ext functor on the module category of an associative algebra X associated to A, as described by Cibils and Rosso. We also give an expression for a cup-product in the cohomology defined by Ospel, and prove that it corresponds to the Yoneda product of extensions.     

Deformation spaces of one-dimensional formal modules and their cohomology

Let Mm be the formal scheme which represents the functor of deformations of a one-dimensional formal module over equipped with a level-m-structure. By work of Boyer (in equal characteristic) and Harris and Taylor, the ?-adic étale cohomology of the generic fibre Mm of Mm realizes simultaneously the local Langlands and Jacquet-Langlands correspondences. The proofs given so far use Drinfeld modular varieties or Shimura varieties to derive this local result. In this paper we show without the use of global moduli spaces that the Jacquet-Langlands correspondence is realized by the Euler-Poincaré characteristic of the cohomology. Under a certain finiteness assumption on the cohomology groups, it is shown that the correspondence is realized in only one degree. One main ingredient of the proof consists in analyzing the boundary of the deformation spaces and in studying larger spaces which can be considered as compactifications of the spaces Mm.     

Remarks on weakly pseudoconvex boundaries

In this paper, we consider the boundary M of a weakly pseudoconvex domain in a Stein manifold. We point out a striking difference between the local cohomology and the global cohomology of M, and illustrate this with an example. We also discuss the first and second Cousin problems, and the strong Poincaré problem for CR meromorphic functions on the weakly pseudoconvex boundary M.     

The Coherent Cohomology Ring of an Algebraic Group

Let G be a group scheme of finite type over a field, and consider the cohomology ring H ^*(G) with coefficients in the structure sheaf. We show that H ^*(G) is a free module of finite rank over its component of degree 0, and is the exterior algebra of its component of degree 1. When G is connected, we determine the Hopf algebra structure of H ^*(G).     

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.     

Picard-Lefschetz monodromy of products

Let f and g be reduced homogeneous polynomials in separate sets of variables. We establish a simple formula that relates the eigenspace decomposition of the monodromy operator on the Milnor fiber cohomology of fg to that of f and g separately. We use a relation between local systems and Milnor fiber cohomology that has been established by D. Cohen and A. Suciu.