$\mathrm{H}^4(\mathrm{Co}_0;\mathbf{Z}) = \mathbf{Z}/24$

Theo Johnson-Freyd,David Treumann

DOI: https://doi.org/10.48550/arXiv.1707.07587

2017-07-24

Group Theory

Abstract:We show that the fourth integral cohomology of Conway's group $\mathrm{Co}_0$ is a cyclic group of order $24$, generated by the first fractional Pontryagin class of the $24$-dimensional representation.

What problem does this paper attempt to address?

On the Eisenstein Cohomology of Arithmetic Groups

JS Li,J Schwermer

DOI: https://doi.org/10.1215/s0012-7094-04-12315-2

2004-01-01

Duke Mathematical Journal

Abstract:The cohomology H * (Gamma, E) of an arithmetic subgroup F of a connected reductive algebraic group G defined over some algebraic number field F can be interpreted in terms of the automorphic spectrum of Gamma. With this framework in place, there is a sum decomposition of the cohomology into the cuspidal cohomology (i.e., classes represented by cuspidal automorphic forms for G) and the so-called Eisenstein cohomology constructed as the span of appropriate residues or derivatives of Eisenstein series attached to cuspidal automorphic forms on the Levi components of proper parabolic F-subgroups of G. The main objective of this paper is to isolate a specific structural part in the Eisenstein cohomology. This pertains to regular Eisenstein cohomology classes attached to cuspidal automorphic representations whose archimedean component is tempered. It is shown that the cohomological degree of these classes is bounded from below by the constant q(0)(G(R)) = ((1 /2)[dim X-G(R) - (rk(G(R)) - rk(K-R))], where KR denotes a maximal compact subgroup of the real Lie group G(R), where XG(R) is the associated symmetric space. This investigation has various applications. One of these is a vanishing result,for the cohomology in the generic case (i.e., where coefficient system E has regular highest weight) the representation determining the in degrees below q(0) (G (R)). This is a sharp bound depending only on the underlying real Lie group G (R) (Corollary 5.6, Proposition 5.8). This result is supplemented by a qualitative structural result in the description of the cohomology in higher degrees by means of regular Eisenstein cohomology classes.
A 3-local characterization of Co_2

Chris Parker,Peter Rowley

DOI: https://doi.org/10.48550/arXiv.0911.5103

2009-11-26

Abstract:Conway's second largest simple group, $\Co_2$, is characterized by the centralizer of an element of order 3 and certain fusion data.

Group Theory,Algebraic Geometry
Cohomology with Sym^g coefficients for congruence subgroups of SL_4(Z) and Galois representations

Avner Ash,Paul E. Gunnells,Mark McConnell

2024-05-13

Abstract:We extend the computations in our prior work to find the cohomology in degree five of a congruence subgroup Gamma of SL_4(Z) with coefficients in Sym^g(K^4), twisted by a nebentype character eta, along with the action of the Hecke algebra. This is the top cuspidal degree. In this paper we take K to be a finite field of large characteristic, as a proxy for the complex numbers. For each Hecke eigenclass found, we produce the unique Galois representation that appears to be attached to it. The computations require modifications to our previous algorithms to accommodate the fact that the coefficients are not one-dimensional.

Number Theory
The cohomology of the classifying space of $PU(4)$

Feifei Fan

2024-10-15

Abstract:Let $BPU(n)$ be the classifying space of the projective unitary group $PU(n)$. We determine the integral cohomology ring of $BPU(4)$, and the Steenrod algebra structure of its mod $2$ cohomology.

Algebraic Topology
Representations and cohomologies of the alternating group of degree 4

Yuriy Drozd,Andriana Plakosh

2024-04-14

Abstract:We describe integral representations of the alternating group $A_4$, in particular, the Auslander-Reiten quiver of its 2-adic representations.

Representation Theory,Group Theory
Geometric representation of cohomology classes for the Lie groups Spin(7) and Spin(8)

Eiolf Kaspersen,Gereon Quick

2024-09-10

Abstract:By constructing concrete complex-oriented maps we show that the eight-fold of the generator of the third integral cohomology of the spin groups Spin(7) and Spin(8) is in the image of the Thom morphism from complex cobordism to singular cohomology, while the generator itself is not in the image. We thereby give a geometric construction for a nontrivial class in the kernel of the differential Thom morphism of Hopkins and Singer for the Lie groups Spin(7) and Spin(8). The construction exploits the special symmetries of the octonions.

Algebraic Topology
Top-degree rational cohomology in the symplectic group of a number ring

Benjamin Brück,Zachary Himes

2024-08-01

Abstract:Let $K$ be a number field with ring of integers $R = \mathcal{O}_K$. We show that if $R$ is not a principal ideal domain, then the symplectic group $\operatorname{Sp}_{2n}(R)$ has non-trivial rational cohomology in its virtual cohomological dimension. This demonstrates a sharp contrast to the situation where $R$ is Euclidean. To prove our result, we study the symplectic Steinberg module, i.e. the top-dimensional homology group of the spherical building associated to $\operatorname{Sp}_{2n}(K)$. We show that this module is not generated by integral apartment classes.

Number Theory,Algebraic Topology,Group Theory
The cohomology of the nilCoxeter algebra

David J. Benson

2024-08-07

Abstract:The nilCoxeter algebra $\mathcal{N}S_n$ of the symmetric group $S_n$ is the algebra over $\mathbb{Z}$ with generators $Y_i$ ($1\leqslant i\leqslant n-1$), satisfying the braid relations $Y_iY_{i+1}Y_i=Y_{i+1}Y_iY_{i+1}$, $Y_iY_j=Y_jY_i$ ($|j-i|\geqslant 2$), together with the relations $Y_i^2=0$. We describe an explicit presentation for the cohomology ring $Z\cong\mathsf{Ext}^*_{\mathcal{N}S_n}(\mathbb{Z},\mathbb{Z})$, with $n-i$ new generators in degree $i$ for $0< i<n$, and all relations are quadratic. We show that this $\mathsf{Ext}$ ring is $\mathbb{Z}$-free, and that it is a semiprime Noetherian affine polynomial identity (PI) ring with Poincaré series $1/(1-t)^{n-1}$ and PI degree $2^{n-2}$. For any field of coefficients $\mathbf{k}$, we show that $\mathsf{Ext}^*_{\mathbf{k}\mathcal{N}S_n}(\mathbf{k},\mathbf{k})$ is $\mathbf{k}\otimes_{\mathbb{Z}} Z$. Similar results hold for other finite Coxeter types. In the final section we show that $Z$ is a Koszul algebra whose Koszul dual is a signed version of the nilcactus algebra, an algebra closely related to the cactus group.

Rings and Algebras,K-Theory and Homology
Cohomology rings of oriented Grassmann manifolds $\widetilde G_{2^t,4}$

Uroš A. Colović,Milica Jovanović,Branislav I. Prvulović

2024-10-12

Abstract:We give a description of the mod 2 cohomology algebra of the oriented Grassmann manifold $\widetilde G_{2^t,4}$ as the quotient of a polynomial algebra by a certain ideal. In the process we find a Gröbner basis for that ideal, which we then use to exhibit an additive basis for $H^*(\widetilde G_{2^t,4};\mathbb Z_2)$.

Algebraic Topology
On the geometric fixed points of the real topological cyclic homology of $\mathbb{Z}/4$

Thomas Read

2024-11-19

Abstract:We study the homotopy groups of the geometric fixed points of the real topological cyclic homology of $\mathbb{Z}/4$. We relate these groups to the values of the non-abelian derived functors of the functor $M \mapsto (M \otimes_{\mathbb{Z}/4} M)^{C_2}$ at the $\mathbb{Z}/4$-module $\mathbb{Z}/2$, which we precisely calculate with computer assistance up to degree $6$, and calculate in general up to slight remaining ambiguity. Using these results we compute $\pi_i(\mathrm{TCR}(\mathbb{Z}/4)^{\phi \mathbb{Z}/2})$ exactly for $i \le 1$, up to an extension problem for $2 \le i \le 5$, and describe the asymptotic growth of this group for large $i$. A consequence of these computations is that there exists some $0 \le i \le 5$ such that the canonical map comparing the genuine symmetric and symmetric $L$-theory spectra of $\mathbb{Z}/4$ is not an isomorphism on degree $i$ homotopy, and moreover this comparison map is never an isomorphism on homotopy in sufficiently large degrees.

Algebraic Topology,K-Theory and Homology
A real analogue of the Hodge conjecture

Samuel Lerbet

2024-10-22

Abstract:Given a smooth scheme $X$ over the field $\mathbb{R}$ of real numbers and a line bundle $\mathcal{L}$ on $X$ with associated topological line bundle $L=\mathcal{L}(\mathbb{R})$, we study the real cycle class map $\widetilde{\gamma}_{\mathbb{R}}:\widetilde{\mathrm{CH}}^c(X,\mathcal{L})\rightarrow\mathrm{H}^c(X(\mathbb{R}),\mathbb{Z}(L))$ from the $c$-th Chow-Witt group of $X$ to the $c$-th cohomology group of its real locus $X(\mathbb{R})$ with coefficients in the local system $\mathbb{Z}(L)$ associated with $L$. We focus on the cases $c\in\{0,d-2,d-1,d\}$ where $d$ is the dimension of $X$ and we formulate an analogue of the Hodge conjecture in terms of the exponents of the cokernel of $\widetilde{\gamma}_{\mathbb{R}}$ that is corroborated by the results obtained in those codimensions.

Algebraic Geometry,K-Theory and Homology
Complex K-theory of 4-complexes

Jonathan Rosenberg

2024-09-27

Abstract:This short note summarizes a number of facts about the ring $K^0(X)$ for $X$ a $4$-dimensional CW-complex. Unusual features of this dimension are that every complex vector bundle is determined up to stable isomorphism by its Chern classes, that every even cohomology class arises as a Chern class of a vector bundle, and that $K^0(X)$ is completely determined as a ring by knowledge of the even-dimensional cohomology ring $H^{\text{even}}(X; \mathbb Z)$. (All of these fail in high dimensions.)

K-Theory and Homology,Algebraic Topology
From projective representations to pentagonal cohomology via quantization

Victor Gayral,Valentin Marie

2023-05-05

Abstract:Given a locally compact group $G=Q\ltimes V$ such that $V$ is Abelian and such that the action of $Q$ on the Pontryagin dual $\hat V$ has a free orbit of full measure, we construct a family of unitary dual $2$-cocycles $\Omega_\omega$ (aka non-formal Drinfel'd twists) whose equivalence classes $[\Omega_\omega]\in H^2(\hat G,\mathbb T)$ are parametrized by cohomology classes $[\omega]\in H^2(Q,\mathbb T)$. We prove that the associated locally compact quantum groups are isomorphic to cocycle bicrossed product quantum groups associated to a pair of subgroups of the dual semidirect product $Q\ltimes\hat V$, both isomorphic to $Q$, and to a pentagonal cocycle $\Theta_\omega$ explicitly given in terms of the group cocycle $\omega$.

Operator Algebras,Mathematical Physics
On the codimension-two cohomology of $\mathrm{SL}_n(\mathbb{Z})$

Benjamin Brück,Jeremy Miller,Peter Patzt,Robin J. Sroka,Jennifer C. H. Wilson

2024-06-18

Abstract:Borel-Serre proved that $\mathrm{SL}_n(\mathbb{Z})$ is a virtual duality group of dimension $n \choose 2$ and the Steinberg module $\mathrm{St}_n(\mathbb{Q})$ is its dualizing module. This module is the top-dimensional homology group of the Tits building associated to $\mathrm{SL}_n(\mathbb{Q})$. We determine the "relations among the relations" of this Steinberg module. That is, we construct an explicit partial resolution of length two of the $\mathrm{SL}_n(\mathbb{Z})$-module $\mathrm{St}_n(\mathbb{Q})$. We use this partial resolution to show the codimension-2 rational cohomology group $H^{{n \choose 2} -2}(\mathrm{SL}_n(\mathbb{Z});\mathbb{Q})$ of $\mathrm{SL}_n(\mathbb{Z})$ vanishes for $n \geq 3$. This resolves a case of a conjecture of Church-Farb-Putman. We also produce lower bounds for the codimension-1 cohomology of certain congruence subgroups of $\mathrm{SL}_n(\mathbb{Z})$.

Algebraic Topology,Group Theory,Geometric Topology,Number Theory
Poisson (co)homology of polynomial Poisson algebras in dimension four : Sklyanin's case

Serge Romeo Tagne Pelap

DOI: https://doi.org/10.48550/arXiv.0803.1635

2008-03-12

Abstract:In this paper, we compute the Poisson (co)homology of a polynomial Poisson structure given by two Casimir polynomial functions which define a complete intersection with an isolated singularity.

K-Theory and Homology
Quasi-elliptic cohomology of 4-spheres

Zhen Huan

2024-08-05

Abstract:Quasi-elliptic cohomology is conjectured by Sati and Schreiber as a particularly suitable approximation to equivariant 4-th Cohomotopy, which classifies the charges carried by M-branes in M-theory in a way that is analogous to the traditional idea that complex K-theory classifies the charges of D-branes in string theory. In this paper we compute quasi-elliptic cohomology of 4-spheres under the action by some finite subgroups that are the most interesting isotropy groups where the M5-branes may sit.

High Energy Physics - Theory,Algebraic Topology
On the top-dimensional cohomology of arithmetic Chevalley groups

Benjamin Brück,Yuri Santos Rego,Robin J. Sroka

2024-05-13

Abstract:Let $\mathbb{K}$ be a number field with ring of integers $\mathfrak{O}$ and let $\mathcal{G}$ be a Chevalley group scheme not of type $\mathtt{E}_8$, $\mathtt{F}_4$ or $\mathtt{G}_2$. We use the theory of Tits buildings and a result of Tóth on Steinberg modules to prove that $H^{\operatorname{vcd}}(\mathcal{G}(\mathfrak{O}); \mathbb{Q}) = 0$ if $\mathfrak{O}$ is Euclidean.

Algebraic Topology,Group Theory,Number Theory
The Gromov-Lawson-Rosenberg Conjecture for Z/4xZ/4

Noe Barcenas,Luis Eduardo Garcia-Hernandez,Raphael Reinauer

2024-08-15

Abstract:We prove the Gromov-Lawson-Rosenberg Conjecture for the group Z/4xZ/4 by computing the connective real k-homology of the classifying space with the Adams spectral sequence and two types of detection theorems for the kernel of the alpha invariant: one based on eta-invariants, closely following work of Botvinnik-Gilkey-Stolz, and a second one based on homological methods. Along the way, we determine differentials of the Adams spectral sequence for classifying spaces involved in the computation, and we study the cap structure of the Adams spectral sequence for sub-hopf algebras of the Steenrod algebra relevant to the computation of connective real and complex k-homology.

Algebraic Topology,Differential Geometry,K-Theory and Homology
Indecomposable direct summands of cohomologies of curves

Jędrzej Garnek

2024-10-04

Abstract:Groups with a non-cyclic Sylow $p$-subgroup have too many representations over a field of characteristic~$p$ to describe them fully. A~natural question arises, whether the world of representations coming from algebraic varieties with a group action is as vast as the realm of all modular representations. In this article, we explore the possible ``building blocks'' (the indecomposable direct summands) of cohomologies of smooth projective curves with a group action. We show that usually there are infinitely many such possible summands. To prove this, we study a family of $\mathbb Z/p \times \mathbb Z/p$-covers and describe the cohomologies of the members of this family completely.

Algebraic Geometry

$\mathrm{H}^4(\mathrm{Co}_0;\mathbf{Z}) = \mathbf{Z}/24$

On the Eisenstein Cohomology of Arithmetic Groups

A 3-local characterization of Co_2

Cohomology with Sym^g coefficients for congruence subgroups of SL_4(Z) and Galois representations

The cohomology of the classifying space of $PU(4)$

Representations and cohomologies of the alternating group of degree 4

Geometric representation of cohomology classes for the Lie groups Spin(7) and Spin(8)

Top-degree rational cohomology in the symplectic group of a number ring

The cohomology of the nilCoxeter algebra

Cohomology rings of oriented Grassmann manifolds $\widetilde G_{2^t,4}$

On the geometric fixed points of the real topological cyclic homology of $\mathbb{Z}/4$

A real analogue of the Hodge conjecture

Complex K-theory of 4-complexes

From projective representations to pentagonal cohomology via quantization

On the codimension-two cohomology of $\mathrm{SL}_n(\mathbb{Z})$

Poisson (co)homology of polynomial Poisson algebras in dimension four : Sklyanin's case

Quasi-elliptic cohomology of 4-spheres

On the top-dimensional cohomology of arithmetic Chevalley groups

The Gromov-Lawson-Rosenberg Conjecture for Z/4xZ/4

Indecomposable direct summands of cohomologies of curves