Cohomology of lambda-rings

Cohomology theories for highly structured ring spectra

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.

Cohomology Rings of Plactic Monoid Algebra via Groubner-Shirshov Basis

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

On adic genus, Postnikov conjugates, and lambda-rings

Sufficient conditions on a space are given which guarantee that the $K$-theory ring and the ordinary cohomology ring with coefficients over a principal ideal domain are invariants of, respectively, the adic genus and the SNT set. An independent proof of Notbohm's theorem on the classification of the adic genus of $BS^3$ by $KO$-theory $λ$-rings is given. An immediate consequence of these results about adic genus is that the power series ring $\mathbf{Z} \lbrack \lbrack x \rbrack \rbrack$ admits uncountably many pairwise non-isomorphic $λ$-ring structures.

Mod-two cohomology rings of alternating groups

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…

Chow-Witt rings of split quadrics

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.

3-groups are not determined by their integral cohomology rings

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.

Mod 2 cohomology ring of a kind of orbit configuration space

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.

Equivariant cohomology rings of the real flag manifolds

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.

On the cohomology of Galois groups determined by Witt rings

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.

The cohomology rings of the unordered configuration spaces of the torus

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.

Cohomology Rings of Precubical Sets

The aim of this paper is to define the structure of a ring on a graded cohomology group of a precubical set in coefficients in a ring with unit.

On the Duflot filtration for equivariant cohomology rings and applications to group cohomology

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…

The $T$-equivariant Integral Cohomology Ring of $E_6/T$

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.

Poincaré series and rational cohomology rings of Kac-Moody groups and their flag manifolds

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 cohomology ring of the complement of a finite family of linear subspaces in a complex projective space

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.

Homology and Cohomology of E-infinity Ring Spectra

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.

The integral cohomology ring of E_8/T^1E_7

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.

On the Cohomology Ring of Real Moment-Angle Complexes

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.

Computing Cohomology Rings in Cubical Agda

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…

Cohomology Rings of a Class of Torus Manifolds

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.

The cohomology rings of rank 3 simple groups are Cohen-Macaulay

In this paper we show that the mod 2 cohomology ring of any finite simple group of rank 3 or less (at the prime 2) must be Cohen-Macaulay.

Cohomology rings of good contact toric manifolds

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$.

The integral cohomology rings of some p-groups

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.

The integral cohomology ring of E_8/T

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.

On the lambda algebra and Singer's cohomological transfer

Writing $\mathbb A$ for the 2-primary Steenrod algebra, which is the algebra of stable natural endomorphisms of the mod 2 cohomology functor on topological spaces. Working at the prime 2, computing the cohomology of $\mathbb A$ is an important problem of Algebraic topology, because it is the initial page of the Adams spectral sequence converging to stable homotopy groups of the spheres. A relatively efficient tool to describe this cohomology is the Singer algebraic transfer of rank $n$ in [Math. Z. 202 (1989), 493-523], which passes from a certain subquotient of a divided power algebra to the …

The mod-p cohomology rings of some p-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.

Higher Hochschild cohomology of the Lubin-Tate ring spectrum

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.

On the cohomology ring and upper characteristic rank of Grassmannian of oriented $3$-planes

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,…

Equivariant cohomology and analytic descriptions of ring isomorphisms

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…

The $S^1$-equivariant cohomology rings of $(n-k,k)$ Springer varieties

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.

The structure of the cohomology ring of the filt schemes

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…

On the cohomology ring of chains in $R^d$

We prove that the spaces of chains in $\bbr^d$ for $d\geq 3$ are determined by their (${\rm mod}2$)-cohomology rings.

The cohomology ring of certain families of periodic virtually cyclic groups

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.

The $T$-equivariant integral cohomology ring of $F_4/T$

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.

The near-Hopf ring structure on the integral cohomology of 1-connected Lie groups

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).

The equivariant cohomology ring of a cohomogeneity-one action

We compute the rational Borel equivariant cohomology ring of a cohomogeneity-one action of a compact Lie group.

The generalized Kummer construction and the cohomology rings of $G_2$-manifolds

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.

Flag Bott manifolds of general Lie type and their equivariant cohomology rings

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.

扩展幂与自由无穷环路空间的上同调环

Cohomology rings of extended powers and free infinite loop spaces

本文计算了扩展幂及其群完备化的模p上同调，通过识别带有除幂的Hopf环结构简化杯积计算，并基于对称群上同调结果，进一步理解无穷扩展幂与自由无穷环路空间的上同调环。

The cohomology rings of regular nilpotent Hessenberg varieties and Schubert polynomials

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.

The cohomology rings of regular semisimple Hessenberg varieties for $h=(h(1),n,\ldots,n)$

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…

A型Peterson簇的整上同调环

The integral cohomology rings of Peterson varieties in type A

本文研究 A_{n-1} 型 Peterson 簇的整上同调环，分别利用 permutohedral 簇的 S_n 不变子环以及生成元与关系给出其环结构的两种描述。

环面奇妙模型的上同调环

Cohomology Rings of Toric Wonderful Model

本文利用偏序集爆破、环上Gröbner基和容许函数，刻画了任意建筑集（含非良连通情形）的环面奇妙模型的上同调环。

On the cohomology and the Chow ring of the classifying space of PGL_p

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.

Three-Dimensional Manifolds, Skew-Gorenstein Rings and their Cohomology

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…

Cohomology of hyperplane complements with group ring coefficients

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.

The hypertoric intersection cohomology ring

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.

The graph cohomology ring of the GKM graph of a flag manifold of type $G_2$

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…

Schubert presentation of the integral cohomology ring of the flag manifolds G/T

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.

关于Peterson簇与Richardson簇之交的上同调环

Toward cohomology rings of intersections of Peterson varieties and Richardson varieties

本文研究Peterson簇与Schubert簇、相反Schubert簇及Richardson簇之交的等变上同调环，通过技术性命题计算并显式给出A型情形下若干交的上同调环表示。

B型Coxeter群的交错子群的模2上同调环

The mod 2 cohomology rings of the alternating subgroups of the Coxeter groups of Type B

本研究证明B型Coxeter群的交错子群上同调群直和具殆Hopf环结构，运用Giusti和Sinha的技术算出模2系数下该结构的表示。

Cohomology rings of certain seven dimensional manifolds

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.

非紧交换排列的上同调环

Cohomology ring of non-compact abelian arrangements

本文提出了一种非紧交换排列上同调环的Orlik-Solomon类型呈现，并通过比较不同交换群中的排列推导出所有其他交换排列的上同调环，同时给出了Orlik-Solomon和De Concini-Procesi关系的新证明。

Cohomology rings of almost-direct products of free groups

An almost-direct product of free groups is an iterated semidirect product of finitely generated free groups in which the action of the constituent free groups on the homology of one another is trivial. We determine the structure of the cohomology ring of such a group. This is used to analyze the topological complexity of the associated Eilenberg-Mac Lane space.