Search

The objective of this article is to characterise elimination of finite generalised imaginaries as defined in [9] in terms of group cohomology. As an application, I consider series of Zariski geometries constructed [10, 23, 24] by Hrushovski and Zilber and indicate how their nondefinability in algebraically closed fields is connected to eliminability of certain generalised imaginaries.

In this paper we use tools from differential topology to give a geometric description of cohomology for Hilbert manifolds. Our model is Quillen’s geometric description of cobordism groups for finite-dimensional smooth manifolds [Quillen, ‘Elementary proofs of some results of cobordism theory using steenrod operations’, Adv. Math., 7 (1971)]. Quillen stresses the fact that this construction allows the definition of Gysin maps for ‘oriented’ proper maps. For finite-dimensional manifolds one has a Gysin map in singular cohomology which is based on Poincaré duality, hence it is not clear how to extend it to infinite-dimensional manifolds. But perhaps one can overcome this difficulty by giving a Quillen type description of singular cohomology for Hilbert manifolds. This is what we do in this paper. Besides constructing a general Gysin map, one of our motivations was a geometric construction of equivariant cohomology, which even for a point is the cohomology of the infinite-dimensional space $BG$, which has a Hilbert manifold model. Besides that, we demonstrate the use of such a geometric description of cohomology by several other applications. We give a quick description of characteristic classes of a finite-dimensional vector bundle and apply it to a generalized Steenrod representation problem for Hilbert manifolds and define a notion of a degree of proper oriented Fredholm maps of index $0$.

We consider étale motivic or Lichtenbaum cohomology and its relation to algebraic cycles. We give an geometric interpretation of Lichtenbaum cohomology and use it to show that the usual integral cycle maps extend to maps on integral Lichtenbaum cohomology. We also show that Lichtenbaum cohomology, in contrast to the usual motivic cohomology, compares well with integral cohomology theories. For example, we formulate integral étale versions of the Hodge and the Tate conjecture, and show that these are equivalent to the usual rational conjectures.

We prove a blow-up formula for Morse–Novikov cohomology on a compact locally conformal Kähler manifold.

We describe the equivariant cohomology of cofibers of spherical perverse sheaves on the affine Grassmannian of a reductive algebraic group in terms of the geometry of the Langlands dual group. In fact we give two equivalent descriptions: one in terms of $\mathscr{D}$-modules of the basic affine space, and one in terms of intertwining operators for universal Verma modules. We also construct natural collections of isomorphisms parameterized by the Weyl group in these three contexts, and prove that they are compatible with our isomorphisms. As applications we reprove some results of the first author and of Braverman and Finkelberg.

The main difficulty in the theory of non-abelian cohomology is that for cosimplicial groups only zero-th and first dimensional cohomotopy are known. In this article we introduce a new class of cosimplicial groups, called centralised cosimplicial groups, for which we are able to define a second cohomotopy, with all expected properties. The main examples of such cosimplicial groups come from 2-categories.

We explicitly calculate some Gromov–Witten correspondences determined by maps of labelled curves of genus 0 to the moduli spaces of labelled curves of genus 0. We consider these calculations as the first step towards studying the self-referential nature of motivic quantum cohomology.

In this paper, we further study Tate cohomology of modules over a commutative ring with respect to semidualizing modules using the ideals of Sather-Wagstaff et al. [‘Tate cohomology with respect to semidualizing modules’, J. Algebra 324 (2010), 2336–2368]. In particular, we prove a balance result for the Tate cohomology ${\widehat{\mathrm{Ext} }}^{n} $ for any $n\in \mathbb{Z} $. This result complements the work of Sather-Wagstaff et al., who proved that the result holds for any $n\geq 1$. We also discuss some vanishing properties of Tate cohomology.

The excision theorem of Cuntz and Quillen established the existence of a six term exact sequence in the bivariant periodic cyclic cohomology HP*(–,–) associated with an arbitrary algebra extension 0 → S → P → Q → 0. This remarkable result enabled far reaching developments in the purely algebraic periodic cyclic cohomology. It also provided a new formalism that led to the creation of new versions of this theory for topological and bornological algebras. In this article we outline some of the developments that resulted from this breakthrough.

We compute the total Ij -cohomology of a projective bundle over a smooth scheme.

We give a brief introduction to two fundamental papers by Daniel Quillen appearing in the Annals, 1971. These papers established the foundations of equivariant cohomology and gave a qualitative description of the cohomology of an arbitrary finite group. We briefly describe some of the influence of these seminal papers in the study of cohomology and representations of finite groups, restricted Lie algebras, and related structures.

Let $\mathcal{C}$ be a finite category and let k be a field. We consider the category algebra $k\mathcal{C}$ and show that $k\mathcal{C}$-mod is closed symmetric monoidal. Through comparing $k\mathcal{C}$ with a co-commutative bialgebra, we exhibit the similarities and differences between them in terms of homological properties. In particular, we give a module-theoretic approach to the multiplicative structure of the cohomology rings of small categories. As an application, we prove that the Hochschild cohomology rings of a certain type of finite category algebras are finitely generated.

It follows from methods of B. Steinberg, extended to inverse categories, that finite inverse category algebras are isomorphic to their associated groupoid algebras; in particular, they are symmetric algebras with canonical symmetrizing forms.We deduce the existence of transfer maps in cohomology and Hochschild cohomology from certain inverse subcategories. This is in part motivated by the observation that, for certain categories $\mathcal{C}$, being a Mackey functor on $\mathcal{C}$ is equivalent to being extendible to a suitable inverse category containing $\mathcal{C}$. We further show that extensions of inverse categories by abelian groups are again inverse categories.

This article presents results which are consistent with conjectures about Leibniz (co)homology for discrete groups, due to J. L. Loday in 2003. We prove that rack cohomology has properties very close to the properties expected for the conjectural Leibniz cohomology. In particular, we prove the existence of a graded dendriform algebra structure on rack cohomology, and we construct a graded associative algebra morphism H•(−) → HR•(−) from group cohomology to rack cohomology which is injective for ● = 1.

In this article, we start to recall the inversion formula for the convolution with the Box spline. The equivariant cohomology and the equivariant K-theory with respect to a compact torus G of various spaces associated to a linear action of G in a vector space M can be both described using some vector spaces of distributions, on the dual of the group G or on the dual of its Lie algebra. The morphism from K-theory to cohomology is analyzed and the multiplication by the Todd class is shown to correspond to the operator (deconvolution) inverting the semidiscrete convolution with a box spline. Finally, the multiplicities of the index of a G-transversally elliptic operator on M are determined using the infinitesimal index of the symbol., Comment: 44 pages

In this note, we study an invariant associated to the zeros of the moment map generated by an action form, the infinitesimal index. This construction will be used to study the compactly supported equivariant cohomology of the zeros of the moment map and to give formulas for the multiplicity index map of a transversally elliptic operator., In this version, some misprints are corrected. An example have been changed of place

We give a classifying theory for LG-bundles, where LG is the loop group of a compact Lie group G, and present a calculation for the string class of the universal LG-bundle. We show that this class is in fact an equivariant cohomology class and give an equivariant differential form representing it. We then use the caloron correspondence to define (higher) characteristic classes for LG-bundles and to prove a result for characteristic classes for based loop groups for the free loop group. These classes have a natural interpretation in equivariant cohomology and we give equivariant differential form representatives for the universal case in all odd dimensions.

Let (A,m) be a Noetherian local ring with d = dim A ≥ 2. Then, if A is a Buchsbaum ring, the first Hilbert coefficients of A for parameter ideals Q are constant and equal to where hi(A) denotes the length of the ith local cohomology module of A with respect to the maximal ideal m. This paper studies the question of whether the converse of the assertion holds true, and proves that A is a Buchsbaum ring if A is unmixed and the values are constant, which are independent of the choice of parameter ideals Q in A. Hence, a conjecture raised by [GhGHOPV] is settled affirmatively.

We describe explicitly the continuous Hochschild and cyclic cohomology groups of certain tensor products of $\widehat{\otimes}$-algebras which are Fréchet spaces or nuclear DF-spaces. To this end we establish the existence of topological isomorphisms in the Künneth formula for the cohomology of complete nuclear DF-complexes and in the Künneth formula for continuous Hochschild cohomology of nuclear $\widehat{\otimes}$-algebras which are Fréchet spaces or DF-spaces for which all boundary maps of the standard homology complexes have closed ranges.

This paper is concerned with the theory of cup products in the Hopf cyclic cohomology of algebras and coalgebras. We show that the cyclic cohomology of a coalgebra can be obtained from a construction involving the noncommutative Weil algebra. Then we introduce the notion of higher -twisted traces and use a generalization of the Quillen and Crainic constructions (see [14] and [3]) to define the cup product. We discuss the relation of the cup product above and S-operations on cyclic cohomology. We show that the product we define can be realized as a combination of the composition product in bivariant cyclic cohomology and a map from the cyclic cohomology of coalgebras to bivariant cohomology. In the last section, we briefly discuss the relation of our constructions with that in [9]. More precisely, we propose still another construction of such pairings which can be regarded as an intermediate step between the “Crainic” pairing and that of [9]. We show that it coincides with what in [9] and as far its relation to Crainic's construction is concerned, we reduce the question to a discussuion of a certain map in cohomology (see the question at the end of section 5).The results of the current paper were announced in [12].

In this paper using the Quillen–Barr–Beck (co-)homology theory of universal algebras we define (co-)homology groups for commutative algebras with divided powers in prime characteristic. In particular, we determine for A a commutative 𝔽p-algebra with divided powers, the category of Beck A-modules and the group of Beck derivations. We construct the abelianization functor and we define (co-)homology. Moreover, we determine the cohomology in low dimensions and we interpret the first cohomology in terms of extensions.

We reformulate the construction of Kontsevich's completion and use Lawson homology to define many new motivic invariants. We show that the dimensions of subspaces generated by algebraic cycles of the cohomology groups of two $K$-equivalent varieties are the same, which implies that several conjectures of algebraic cycles are $K$-statements. We define stringy functions which enable us to ask stringy Grothendieck standard conjecture and stringy Hodge conjecture. We prove a projective bundle theorem in morphic cohomology for trivial bundles over any normal quasi-projective varieties., Comment: 24 pages

Let I be an ideal of a commutative Noetherian local ring R, and M and N two finitely generated modules. Let t be a positive integer. We mainly prove that (i) if HIi(M,N) is Artinian for all i

Let T be an aperiodic and repetitive tiling of R with finite local complexity. We present a spectral sequence that converges to the K-theory of T with page-2 given by a new cohomology that will be called PV in reference to the Pimsner-Voiculescu exact sequence. It is a generalization of the Serre spectral sequence. The PV cohomology of T generalizes the cohomology of the base space of a fibration with local coefficients in the K-theory of its fiber. We prove that it is isomorphic to the Cech cohomology of the hull of T (a compactification of the family of its translates). 1 Main Results Let T be an aperiodic and repetitive tiling of R with finite local complexity (definition 3). The hull Ω is a compactification, with respect to an appropriate topology, of the family of translates of T by vectors of R (definition 4). The tiles of T are given compatible ∆complex decompositions (section 4.2), with each simplex punctured, and the ∆-transversal Ξ∆ is the subset of Ω corresponding to translates of T having the puncture of one of those simplices at the origin 0Rd. The prototile space B0 (definition 9) is built out of the prototiles of T (translational equivalence classes of tiles) by gluing them together according to the local configurations of their representatives in the tiling. The hull is given a dynamical system structure via the natural action of the group R on itself by translation [13]. The C∗-algebra of the hull is isomorphic to the crossed-product C∗-algebra C(Ω)⋊R. There is a map po from the hull onto the prototile space (proposition 1) Ξ∆ → Ω ↓ p0 B0 which, thanks to a lamination structure on Ω (remark 2), resembles (although is not) a fibration with base space B0 and fiber Ξ∆ (remark 4). The Pimsner-Voiculescu (PV) ∗Work supported by the NSF grants no. DMS-0300398 and no. DMS-0600956.

Let (R,𝔪) be a commutative Noetherian local ring, letIbe an ideal ofRand letMandNbe finitely generatedR-modules. Assume that$\mathrm {pd} (M)=d\lt \infty $,$\dim N=n\lt \infty $. First, we give the formula for the attached primes of the top generalized local cohomology moduleHId+n(M,N); later, we prove that if Att(HId+n(M,N))=Att(HJd+n(M,N)), thenHId+n(M,N)=HJd+n(M,N).

Pseudodifferential operators are formal Laurent series in the formal inverse ∂−1 of the derivative operator ∂ whose coefficients are holomorphic functions on the Poincaré upper half-plane. Given a discrete subgroup Γ of SL(2,ℝ), automorphic pseudodifferential operators for Γ are pseudodifferential operators that are Γ-invariant, and they are closely linked to Jacobi-like forms and modular forms for Γ. We construct linear maps from the space of automorphic pseudodifferential operators and from the space of Jacobi-like forms for Γ to the cohomology space of the group Γ, and prove that these maps are compatible with the respective Hecke operator actions.

Let $K$ be a field of characteristic $p$ and let $G$ be a finite group of order divisible by $p$. The regularity conjecture states that the Castelnuovo–Mumford regularity of the cohomology ring $H^*(G,K)$ is always equal to 0. We prove that if the regularity conjecture holds for a finite group $H$, then it holds for the wreath product $H\wr\mathbb{Z}/p$. As a corollary, we prove the regularity conjecture for the symmetric groups $\varSigma_n$. The significance of this is that it is the first set of examples for which the regularity conjecture has been checked, where the difference between the Krull dimension and the depth of the cohomology ring is large. If this difference is at most 2, the regularity conjecture is already known to hold by previous work.For more general wreath products, we have not managed to prove the regularity conjecture. Instead we prove a weaker statement: namely, that the dimensions of the cohomology groups are polynomial on residue classes (PORC) in the sense of Higman.

We construct dihedral and reflexive cohomology theories for *-Hopf algebras. This generalizes the Connes–Moscovici construction of cyclic cohomology for Hopf algebras.

Mislin and Talelli showed that a torsion-free group in$\HF$with periodic cohomology after some steps has finite cohomological dimension. In this note we look at similar questions for groups with torsion by considering Bredon cohomology. In particular we show that every elementary amenable group acting freely and properly on some$\R^n$×Smadmits a finite dimensional model for$\E$G.

We consider smooth actions of totally disconnected groups on simplicial complexes and compare different equivariant cohomology groups associated to such actions. Our main result is that the bivariant equivariant cohomology theory introduced by Baum and Schneider can be described using equivariant periodic cyclic homology. This provides a new approach to the construction of Baum and Schneider as well as a computation of equivariant periodic cyclic homology for a natural class of examples. In addition we discuss the relation between cosheaf homology and equivariant Bredon homology. Since the theory of Baum and Schneider generalizes cosheaf homology we finally see that all these approaches to equivariant cohomology for totally disconnected groups are closely related., Comment: 30 pages

Let $A$ be a commutative comodule algebra over a commutative bialgebra $H$. The group of invertible relative Hopf modules maps to the Picard group of $A$, and the kernel is described as a quotient group of the group of invertible grouplike elements of the coring $A\ot H$, or as a Harrison cohomology group. Our methods are based on elementary $K$-theory. The Hilbert 90 Theorem follows as a corollary. The part of the Picard group of the coinvariants that becomes trivial after base extension embeds in the Harrison cohomology group, and the image is contained in a well-defined subgroup $E$. It equals $E$ if $H$ is a cosemisimple Hopf algebra over a field., 12 pages

We consider the analogue of the fixed point theorem of A. Borel in the context of Tate cohomology. We show that for general compact Lie groups G the Tate cohomology of a G-CW complex X with coefficients in a field of characteristic 0 is in general not isomorphic to the cohomology of the fixed point set, and thus the fixed point theorem does not apply. Instead, the following excision theorem is valid: if X′ is the subcomplex of all G-cells of orbit type G/H where dim H > 0, and V is a ring such that for every finite isotropy group H the order |H| is invertible in V, then . In the special cases G = 𝕋, the circle group, and G = 𝕌, the group of unit quaternions, a more elementary geometric proof, using a cellular model of is given.

Let $K$ be a complete discrete valuation field of characteristic zero with residue field $k_K$ of characteristic $p\gt 0$ . Let $L/K$ be a finite Galois extension with Galois group $G\,{=}\,G_{L/K}$ and suppose that the induced extension of residue fields $k_L/k_K$ is separable. By the normal basis theorem, $L$ is always a projective $K[G]$ -module. But the ring of integers $\mathcal{O}_L$ is a projective $\mathcal{O}_K[G]$ -module if and only $L/K$ is tamely ramified. For wildly ramified extensions, the structure of $\mathcal{O}_L$ as an $\mathcal{O}_K[G]$ -module is very complicated and quite far from understood. We propose that the ring of Witt vectors $W\s(\mathcal{O}_L)$ is a more well-behaved object. Indeed, we show that for a large class of extensions $L/K$ , the pro-abelian group $H^1(G,W\s(\mathcal{O}_L))$ is zero. We conjecture that this is true in general.

We construct a relative de Rham–Witt complex .AMS 2000 Mathematics subject classification: Primary 14F30; 14F40

It is well known thatc0(Z) is amenable and so its global dimension is zero. In this paper we will investigate the cyclic and Hochschild cohomology of Banach algebrac0(Z, ω-1) and its unitisation with coefficients in its dual space, where ω is a weight on Z which satisfies inf {ω(i)} = 0.Moreover we show that the weak homological bi-dimension ofc0(Z, ω-1) is infinity.

Let G be a finite group of even order, k be a field of characteristic 2, and M be a finitely generated kG-module. If M is realized by a compact G-Moore space X, then the Betti numbers of the fixed point set XCn and the multiplicities of indecomposable summands of M considered as a kCn-module are related via a localization theorem in equivariant cohomology, where Cn is a cyclic subgroup of G of order n. Explicit formulas are given for n = 2 and n = 4.

We consider associative algebrasover a field provided with a direct sum decomposition of a two-sided ideal M and a sub-algebra A - examples are provided by trivial extensions or triangular type matrix algebras. In this relative and split setting we describe a long exact sequence computing the Hochschild cohomology of �. We study the connecting homomorphism using the cup-product and we infer several results, in particular the first Hochschild cohomology group of a trivial extension never vanishes.

The title refers to the nilcommutative or NC-schemes introduced by M. Kapranov in ‘Noncommutative Geometry Based on Commutator Expansions’, J. Reine Angew. Math 505 (1998) 73–118. The latter are noncommutative nilpotent thickenings of commutative schemes. We also consider the parallel theory of nil-Poisson or NP-schemes, which are nilpotent thickenings of commutative schemes in the category of Poisson schemes. We study several variants of de Rham cohomology for NC- and NP-schemes. The variants include nilcommutative and nil-Poisson versions of the de Rham complex as well as of the cohomology of the infinitesimal site introduced by Grothendieck in Crystals and the de Rham Cohomology of Schemes, Dix exposes sur la cohomologie des schemas, Masson, Paris (1968), pp. 306–358. It turns out that each of these noncommutative variants admits a kind of Hodge decomposition which allows one to express the cohomology groups of a noncommutative scheme Y as a sum of copies of the usual (de Rham, infinitesimal) cohomology groups of the underlying commutative scheme X (Theorems 6.1, 6.4, 6.7). As a byproduct we obtain new proofs for classical results of Grothendieck (Corollary 6.2) and of Feigin and Tsygan (Corollary 6.8) on the relation between de Rham and infinitesimal cohomology and between the latter and periodic cyclic homology.

The first non-abelian cohomology of groups introduced by Guin is extended to any dimensions and for a substantially wider class of coefficients called G-partially crossed P-modules. The first and the second non-abelian cohomologies of groups are described in terms of torsors and extensions of groups respectively. Higher non-abelian cohomology pointed sets are described in terms of cotriple right derived functors of the group of derivations with respect to the first contravariant variable. For any short exact coefficient sequence a long exact cohomology sequence is obtained extending the well-known exact cohomology sequences and higher cohomology of groups with coefficients in any G-group is introduced.

The Kuhn–Schwartz non-realizability theorem states the following: if the mod p cohomology of a topological space is finitely generated as a module over the Steenrod algebra [Ascr ] then it is finite. We generalize this result to the category of G-spaces, where G is a compact Lie group, by considering the equivariant cohomology of a G-space as an object in the category of all [Ascr ]-modules with a compatible H*(BG; [ ]p)-module structure.

This paper is concerned with a finitely generated module M over a (commutative Noetherian) local ring R. In the case when R is a homomorphic image of a Gorenstein local ring, one can use the well-known associativity formula for multiplicities, together with local duality and Matlis duality, to produce analogous associativity formulae for the local cohomology modules of M with respect to the maximal ideal. The main purpose of this paper is to show that these formulae also hold in the case when R is universally catenary and such that all its formal fibres are Cohen–Macaulay.These formulae involve certain subsets of the spectrum of R called the pseudosupports of M; these pseudo-supports are closed in the Zariski topology when R is universally catenary and has the property that all its formal fibres are Cohen–Macaulay. However, examples are provided to show that, in general, these pseudo-supports need not be closed. We are able to conclude that the above-mentioned associativity formulae for local cohomology modules do not hold over all local rings.

Using non-abelian cohomology we introduce new obstructions to the Hasse principle. In particular, we generalize the classical descent formalism to principal homogeneous spaces under noncommutative algebraic groups and give explicit examples of application.

The local intersection cohomology of a point in the Baily–Borel compactification (of a Hermitian locally symmetric space) is shown to be canonically isomorphic to the weighted cohomology of a certain linear locally symmetric space (an arithmetic quotient of the associated self-adjoint homogeneous cone). Explicit computations are given for the symplectic group in four variables.

In an earlier paper we studied the impact of equivalences between derived categories of group rings on their cohomology rings. Especially the group of auto-equivalences TrPic(RG) of the derived category of a group ring RG as introduced by Raphaël Rouquier and the author defines an action on the cohomology ring of this group. We study this action with respect to the restriction map, transfer, conjugation and the local structure of the group G.

Given a quasi-projective complex variety X and a projective variety Y, one may endow the set of morphisms, Mor(X, Y), from X to Y with the natural structure of a topological space. We introduce a convenient technique (namely, the notion of a functor on the category of 'smooth curves') for studying these function complexes and for forming continuous pairings of such. Building on this technique, we establish several results, including (1) the existence of cap and join product pairings in topological cycle theory; (2) the agreement of cup product and intersection product for topological cycle theory; (3) the agreement of the motivic cohomology cup product with morphic cohomology cup product; and (4) the Whitney sum formula for the Chern classes in morphic cohomology of vector bundles.

We define and study a candidate for 'arithmetic' cohomology theory with values in crystalline p-adic smooth sheaves. We show that it injects into arithmetic etale cohomology and prove a duality result.

We obtain a necessary condition for a cohomology class on a compact locally symmetric space S(Γ)=Γ∖X (a quotient of a symmetric space X of the non-compact type by a cocompact arithmetic subgroup Γ of isometries of X) to restrict non-trivially to a compact locally symmetric subspace SH(Γ)=Δ∖Y of Γ∖X. The restriction is in a 'virtual' sense, i.e. it is the restriction of possibly a translate of the cohomology class under a Hecke correspondence. As a consequence we deduce that when X and Y are the unit balls in ℂn and ℂm, then low degree cohomology classes on the variety S(Γ) restrict non-trivially to the subvariety SH(Γ); this proves a conjecture of M. Harris and J-S. Li. We also deduce the non-vanishing of cup-products of cohomology classes for the variety S(Γ).

We formulate a generalization of Givental–Kim's quantum hyperplane principle. This is applied to compute the quantum cohomology of a Calabi–Yau 3-fold defined as the rank 4 locus of a general skew-symmetric 7×7 matrix with coefficients in P6. The computation verifies the mirror symmetry predictions of Rodland [25].

In this paper we deduce the existence of analytic structure in a neighbourhood of a maximal ideal M in the spectrum of a commutative Banach algebra, A, from homological assumptions. We assume properties of certain of the cohomology groups H^n(A,A/M), rather than the stronger conditions on the homological dimension of the maximal ideal the first author has considered in previous papers. The conclusion is correspondingly weaker: in the previous work one deduces the existence of a Gel'fand neighbourhood with analytic structure, here we deduce only the existence of a metric neighbourhood with analytic structure. The main method is to consider products of certain co-cycles to deduce facts about the symmetric second cohomology, which is known to be related to the deformation theory of algebras.1991 Mathematics Subject Classification. 46J20, 46M20.