This is a survey paper on cohomology theories for $A_\infty$ and $E_\infty$ ring spectra. Different constructions and main properties of topological André-Quillen cohomology and of topological derivations are described. We give sample calculations of these cohomology theories and outline applications to the existence of $A_\infty$ and $E_\infty$ structures on various spectra. We also explain the relationship between topological derivations, spaces of multiplicative maps and moduli spaces of multiplicative structures.
In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is to define categories of structured spaces, (pre)sheaves with values in such categories, and generalised notions of vector bundles, ringed spaces and schemes. Then, we will construct (using some techniques and also the general method in Section 2 of [2]) various cohomology theories for these objects.
In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great importance in the theory of structured spaces, have some connections with the notions of presheaves (and hence also sheaves) and vector bundles. There are well known cohomology theories involving such objects; this suggests the possibility of the existence of (co)homology theories for structured spaces which are somehow related to $f_s$ and $h$. In this paper we i…
We define the Hochschild complex and cohomology of a ring object in a monoidal category enriched over abelian groups. We interpret the cohomology groups and prove that the cohomology ring is graded-commutative.
In this paper we shall calculate the cohomology ring and Hochschild's cohomology ring of plactic monoid algebra via Anick's resolution using Groubner-Shirshov basis
We calculate the mod-two cohomology of all alternating groups together, with both cup and transfer product structures, which in particular determines the additive structure and ring structure of the cohomology of individual groups. We show that there are no nilpotent elements in the cohomology rings of individual alternating groups. We calculate the action of the Steenrod algebra and discuss individual component rings. A range of techniques is needed: an almost Hopf ring structure associated to the embeddings of products of alternating groups, the Gysin sequence relating the cohomology of alte…
We compute the Chow-Witt rings of split quadrics over a field of characteristic not two. We even determine the full bigraded I-cohomology and Milnor-Witt cohomology rings, including twists by line bundles. The results on I-cohomology corroborate the general philosophy that I-cohomology is an algebro-geometric version of singular cohomology of real varieties: our explicit calculations confirm that the I-cohomology ring of a split quadric over the reals is isomorphic to the singular cohomology ring of the space of its real points.
We compute the integral cohomology rings of a family of 3-groups. As a corollary, we exhibit, for each n greater than or equal to 5, a pair of groups of order 3^n whose integral cohomology rings are isomorphic.
In this paper we caculate mod 2 cohomology ring of $F_{\mathbb{Z}_2^m}(\mathbb{R}^m,n)$ , which is local representation of orbit congfiguration spaces over small covers. We construct a differntial graded algebra, and there is a ring isomorphism between its mod 2 cohomology ring and $H^*(F_{\mathbb{Z}_2^m}(\mathbb{R}^m,n),\mathbb{Z}_2)$. This idea can also be applied to calculate mod 2 cohomology ring of complement space of real arrangements.
We give Leray-Borel-type descriptions for the mod-$2$ and the rational equivariant cohomology rings of the real and the oriented flag manifolds under the canonical torus or 2-torus actions.
Let F denote a field of characteristic different from two. In this paper we describe the mod 2 cohomology of a Galois group which is determined by the Witt ring WF.
We study the cohomology ring of the configuration space of unordered points in the two dimensional torus. In particular, we compute the mixed Hodge structure on the cohomology, the action of the mapping class group, the structure of the cohomology ring and we prove the formality over the rationals.
We study the Duflot filtration on the Borel equivariant cohomology of smooth manifolds with a smooth $p$-torus action. We axiomatize the filtration and prove analog of several structural results about equivariant cohomology rings in this setting. We apply this abstract theory to study the $\mathbb{F}_p$ cohomology rings of classifying spaces of compact Lie groups, and show how to recover geometric results about the cohomology of $BG$ using equivariant cohomology. This includes some results about detection on subgroups and restrictions on associated primes that were previously only known for fi…
We prove the equivariant Leray-Hirsch theorem combinatorially for sufficiently good torus equivariant fiber bundles consisting of homogeneous spaces of Lie groups. We apply this theorem to determining the equivariant integral cohomology ring of the flag manifold of type $E_6$ and express it explicitly as a quotient ring of a polynomial ring.
In this paper, we study the rational cohomology rings of indefinite Kac-Moody groups and their flag manifolds. By extracting the information of cohomology from the Poincaré series, we are able to determine the rational cohomology rings of Kac-Moody groups and their flag manifolds. Since Kac-Moody groups and their flag manifolds are rational formal, we also determine their rational homotopy groups and rational homotopy types.
The integral cohomology ring of the complement of an arrangement of linear subspaces of a finite dimensional complex projective space is determined by combinatorial data, i.e. the intersection poset and the dimension function.
We study the completion of a group relative to a Zariski dense representation in a reductive algebraic group over a field $k$. The characteristic zero case was worked out previously by R. Hain; we extend his results to arbitrary characteristic. The primary application is to the study of the cohomology of groups such as $SL_n(k[[T]])$.
We determine the integral cohomology ring of the homogeneous space E_8/T^1E_7 by the Borel presentation and a method due to Toda. Then using the Gysin exact sequence associated with the circle bundle S^1 -> E_8/E_7 -> E_8/T^1E_7, we also determine the integral cohomology of E_8/E_7.
In this article, we study the cohomology ring of real moment-angle complexes over a simplicial complex $K$. Combinatorial generators for the cohomology can be given in terms of $K$. For $K$ the boundary of an $n$-gon, we give a full description of the multiplicative structure of the cohomology ring in terms of the combinatorial generators. As a consequence, it is evident that these generators do not form a symplectic basis, unlike the case for moment-angle complexes.
Torus manifolds are topological generalization of smooth projective toric manifolds. We compute the rational cohomology ring of a class of smooth locally standard torus manifolds whose orbit space is a connected sum of simple polytopes.
We determine the integral cohomology rings of an infinite family of p-groups, for odd primes p, with cyclic derived subgroups. Our method involves embedding the groups in a compact Lie group of dimension one, and was suggested by P H Kropholler and J Huebschmann.
We give a complete description of the integral cohomology ring of the flag manifold E_8/T, where E_8 denotes the compact exceptional Lie group of rank 8 and T its maximal torus, by the method due to Borel and Toda. This completes the computation of the integral cohomology rings of the flag manifolds for all compact connected simple Lie groups.
We determine the mod-p cohomology rings of an infinite family of p-groups, for odd primes p, with cyclic derived subgroups. Our method involves embedding the groups in a compact Lie group of dimension one, and was suggested by P. H. Kropholler and J. Huebschmann.
We give a method for computing factorization homology of $\oper{E}_n$-algebra using as an input an algebraic version of higher Hochschild homology due to Pirashvili. We then show how to compute higher Hochschild homology and cohomology when the algebra is étale in a sense that we make precise. As an application, we compute higher Hochschild cohomology of the Lubin-Tate ring spectrum.
In this paper we study the mod $2$ cohomology ring of the Grasmannian $\widetilde{G}_{n,3}$ of oriented $3$-planes in $\mathbb{R}^n$. We determine the degrees of the indecomposable elements in the cohomology ring. We also obtain an almost complete description of the cohomology ring. This partial description allows us to provide lower and upper bounds on the cup length of $\widetilde{G}_{n,3}$. As another application, we show that the upper characteristic rank of $\widetilde{G}_{n,3}$ equals the characteristic rank of $\widetildeγ_{n,3}$, the oriented tautological bundle over $\widetilde{G}_{n,…
In this paper we consider a class of connected closed $G$-manifolds with a non-empty finite fixed point set, each $M$ of which is totally non-homologous to zero in $M_G$ (or $G$-equivariantly formal), where $G={\Bbb Z}_2$. With the help of the equivariant index, we give an explicit description of the equivariant cohomology of such a $G$-manifold in terms of algebra, so that we can obtain analytic descriptions of ring isomorphisms among equivariant cohomology rings of such $G$-manifolds, and a necessary and sufficient condition that the equivariant cohomology rings of such two $G$-manifolds are…
Every homology or cohomology theory on a category of E-infinity ring spectra is Topological Andre-Quillen homology or cohomology with appropriate coefficients. Analogous results hold for the category of A-infinity ring spectra and for categories of algebras over many other operads.
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings may be defined as direct sums of cohomology groups together with a multiplication induced by the cup product, and can in many cases be characterized as quotients of multivariate polynomial rings. To this end, we introduce appropriate definitions of direct sums and graded rings, which we then use to define both cohomology rings and multivariate polynomial ri…
Boardman, Johnson, and Wilson gave a precise formulation for an unstable algebra over a generalized cohomology theory. Modifying their definition slightly in the case of complex K-theory by taking into account its periodicity, we prove that an unstable algebra for complex $K$-theory is precisely a filtered $λ$-ring, and vice versa.
We determine the $T$-equivariant integral cohomology of $F_4/T$ combinatorially by the GKM theory, where T is a maximal torus of the exceptional Lie group $F_4$ and acts on $F_4/T$ by the left multiplication.
Let G be an exceptional Lie group with a maximal torus T. Based on Schubert calculus on the flag manifold G/T we have described the integral cohomology ring H*(G) by explicitely constructed generators in [DZ2], and determined the structure of H*(G;F_{p}) as a Hopf algebra over the Steenrod algebra in[DZ3]. In this sequel to [DZ2], [DZ3] we obtain the near--Hopf ring structure on H*(G).
A good contact toric manifold $M$ is determined by its moment cone $C$. We compute the equivariant cohomology ring with $\Z$ coefficient of $M$ in terms of the combinatorial data of $C$. Then under a smoothness criterion on the cone $C$, we compute the singular cohomology ring with $\Z$ coefficient of $M$ in terms of the combinatorial data of $C$.
In this article we introduce flag Bott manifolds of general Lie type as the total spaces of iterated flag bundles. They generalize the notion of flag Bott manifolds and generalized Bott manifolds, and admit nice torus actions. We calculate the torus equivariant cohomology rings of flag Bott manifolds of general Lie type.
We determine the algebra structure of the Hochschild cohomology of the singular cochain algebra with coefficients in a field on a space whose cohomology is a polynomial algebra. A spectral sequence calculation of the Hochschild cohomology is also described. In particular, when the underlying field is of characteristic two, we determine the associated bigraded Batalin-Vilkovisky algebra structure on the Hochschild cohomology of the singular cochain on a space whose cohomology is an exterior algebra.
The main result of this note gives an explicit presentation of the $S^1$-equivariant cohomology ring of the $(n-k,k)$ Springer variety (in type $A$) as a quotient of a polynomial ring by an ideal $I$, in the spirit of the well-known Borel presentation of the cohomology of the flag variety.
A real toric space is a topological space which admits a well-behaved $\mathbb{Z}_2^k$-action. Real moment-angle complexes and real toric varieties are typical examples of real toric spaces. A real toric space is determined by a pair of a simplicial complex $K$ and a characteristic matrix $Λ$. In this paper, we provide an explicit $R$-cohomology ring formula of a real toric space in terms of $K$ and $Λ$, where $R$ is a commutative ring with unity in which $2$ is a unit. Interestingly, it has a natural $(\mathbb{Z} \oplus \operatorname*{row} Λ)$-grading. As corollaries, we compute the cohomolog…
Let $C$ be a smooth projective curve over the complex number field $\cnum$. We investigate the structure of the cohomology ring of the quot schemes $\Quot(r,n)$, i.e., the moduli scheme of the quotient sheaves of $\nbigo_C^{\oplus r}$ with length $n$. We obtain a filtration on $H^{\ast}(\Quot(r,n))$, whose associated graded ring has a quite simple structure. As a corollary, we obtain a small generator of the ring. We also obtain a precise combinatorial description of $H^{\ast}(\Quot(r,n))$ itself. For that purpose, we consider the complete filt schemes and we use a `splitting principle'. A com…
The Springer variety of type $A$ associated to a nilpotent operator on $\mathbb{C}^n$ in Jordan canonical form admits a natural action of the $\ell$-dimensional torus $T^{\ell}$ where $\ell$ is the number of the Jordan blocks. We give a presentation of the $T^{\ell}$-equivariant cohomology ring of the Springer variety through an explicit construction of an action of the $n$-th symmetric group on the $T^{\ell}$-equivariant cohomology group. The $T^{\ell}$-equivariant analogue of so called Tanisaki's ideal will appear in the presentation.
Let G be a virtually cyclic of the form (Z_a x Z_b) x Z or [Z_a x (Z b x Q_{2^i})] x Z. We compute the integral cohomology ring of G, and then obtain the periodicity of the Farell cohomology of these groups.
We demonstrate how by using the intersection theory to calculate the cohomology of $G_2$-manifolds constructed by using the generalized Kummer construction. For one example we find the generators of the rational cohomology ring and describe the product structure.
We investigate the integral cohomology ring and the Chow ring of the classifying space of the complex projective linear group PGL_p, when p is an odd prime. In particular, we determine its additive structure completely, and we reduce the problem of determing its multiplicative structure to a problem in invariant theory.
In this paper we study a relation between the cohomology ring of a regular nilpotent Hessenberg variety and Schubert polynomials. To describe an explicit presentation of the cohomology ring of a regular nilpotent Hessenberg variety, polynomials $f_{i,j}$ were introduced by Abe-Harada-Horiguchi-Masuda. We show that every polynomial $f_{i,j}$ is an alternating sum of certain Schubert polynomials.
We investigate the cohomology rings of regular semisimple Hessenberg varieties whose Hessenberg functions are of the form $h=(h(1),n\dots,n)$ in Lie type $A_{n-1}$. The main result of this paper gives an explicit presentation of the cohomology rings in terms of generators and their relations. Our presentation naturally specializes to Borel's presentation of the cohomology ring of the flag variety and it is compatible with the representation of the symmetric group $\mathfrak{S}_n$ on the cohomology constructed by J. Tymoczko. As a corollary, we also give an explicit presentation of the $\mathfr…
Graded skew-commutative rings occur often in practice. Here are two examples: 1) The cohomology ring of a compact three-dimensional manifold. 2) The cohomology ring of the complement of a hyperplane arrangement (the Orlik-Solomon algebra). We present some applications of the homological theory of these graded skew-commutative rings. In particular we find compact oriented 3-manifolds without boundary for which the Hilbert series of the Yoneda Ext-algebra of the cohomology ring of the fundamental group is an explicit transcendental function. This is only possible for large first Betti numbers of…
We compute the cohomology with group ring coefficients of the complement of a finite collection of affine hyperplanes in a finite dimensional complex vector space. It is nonzero in exactly one degree, namely the degree equal to the rank of the hyperplane arrangement.
Suppose a compact torus $T$ acts on a closed smooth manifold $M$. Under certain conditions, Guillemin and Zara associate to $(M, T)$ a labeled graph $\mG_M$ where the labels lie in $H^2(BT)$. They also define the subring $H_T^*(\mG_M)$ of $\bigoplus_{v\in V(\mG_M)}H^*(BT)$, where $V(\mG_M)$ is the set of vertices of $\mG_M$ and we call $H_T^*(\mG_M)$ the "graph cohomology" ring of $\mG_M$. It is known that the equivariant cohomology ring of $M$ can be described by using combinatorial data of the labeled graph. The main result of this paper is to determine the ring structure of equivariant coho…
Let G be a compact connected Lie group with a maximal torus T\subsetG. In the context of Schubert calculus we obtain a canonical presentation for the integral cohomology ring H^{\ast}(G/T) of the complete flag manifold G/T. The result have been applied in [15] to construct the integral cohomology ring H^{\ast}(G) in terms of Schubert classes on G/T, and in [16] to determine the structure of the modp cohomology H^{\ast}(G;F_{p}) as a Hopf algebra over the Steenrod algebra.
We present a functorial computation of the equivariant intersection cohomology of a hypertoric variety, and endow it with a natural ring structure. When the hyperplane arrangement associated with the hypertoric variety is unimodular, we show that this ring structure is induced by a ring structure on the equivariant intersection cohomology sheaf in the equivariant derived category. The computation is given in terms of a localization functor which takes equivariant sheaves on a sufficiently nice stratified space to sheaves on a poset.
We calculate the cohomology rings of a collection of seven dimensional manifolds supporting an S^3 x S^3-action with one dimensional orbit space. These manifolds are of interest to differential geometers studying non-negative and positive sectional curvature. From this collection, we identify several families of manifolds for which there exist well-known topological invariants distinguishing homeomorphism and diffeomorphism types.
