On mod \(p\) cohomology of the space \(X_{\Gamma{}}\) and mod \(p\) trace formula for Hecke operators
type: Item
instance of: scholarly article
title: On mod \(p\) cohomology of the space \(X_{\Gamma{}}\) and mod \(p\) trace formula for Hecke operators
zbMATH Open document ID: 0777.11014
author: Goro Nishida
published in: Journal of Mathematics of Kyoto University
publication date: 1993-05-16T00:00:00Z
review text: Let \(M_ 2\mathbb{Z}\) denote the set of \(2\times 2\) matrices over \(\mathbb{Z}\). It acts on the 2-torus \(T^ 2\) in the standard way. For any subgroup \(\Gamma\subset M_ 2 \mathbb{Z}\) one can define the semi-direct product \(\Gamma\ltimes T^ 2\) with classifying space \(X_ \Gamma=B(\Gamma\ltimes T^ 2)\). The purpose of the paper is to study, for \(\Gamma=SL_ 2\mathbb{Z}\) or a congruence subgroup, the cohomology \(H^*(X_ \Gamma;\mathbb{F}_ p)\), and apply the results obtained to get a formula on the mod \(p\) value of the trace of Hecke operators acting on cusp forms. More precisely, let \(T(\ell)\) be a Hecke operator acting on the space \(S_ k\) of weight \(k\) cusp forms. With respect to a suitable base of \(S_ k\), the \(T(\ell)\) can be represented by integral matrices. The formula alluded to gives an expression \(\mod p\) for \[ H_ t(\ell)=\sum_{k\geq 0} \text{Trace}[T(\ell)| S_ k]t^ k\in\mathbb{Z}t. \] The main part of the formula involves a sum of traces of Hecke operators acting on certain spaces \(H^ 0(SL_ 2\mathbb{Z};Q_ *)\) and \(H^ 1(SL_ 2\mathbb{Z};Q_ *)\). As a matter of fact, one can easily express the \(H^*(X_ \Gamma;M)\), where \(M\) is any \(\mathbb{Z}[1/d]\)-module and \(d\) is an integer depending on \(\Gamma\), e.g. one may take \(d=6\) for \(\Gamma=SL_ 2\mathbb{Z}\), in terms of \(H^ 0(\Gamma;\mathbb{Z}[x,y]_ n \otimes M)\) and \(H^ 1(\Gamma;\mathbb{Z}[x,y]_ n\otimes M)\). Here \(\mathbb{Z}[x,y]_ n\) denotes the module of homogeneous polynomials in the standard generators \(x\) and \(y\) of \(H^ 2(BT^ 2,\mathbb{Z})\) of degree \(n\). For a prime \(p\) with \((p,d)=1\) one has \(\oplus H^{2n}(X_ \Gamma,\mathbb{F}_ p)\cong H^ 0(\Gamma; \mathbb{F}_ p[x,y])\cong \mathbb{F}_ p[x,y]^ \Gamma\), the ring of Dickson invariants, and for \(H^{2n+1}(X_ \Gamma;\mathbb{F}_ p)\) one finds that its \(\mathbb{F}_ p\)-dimension is equal to \(\dim_{\mathbb{F}_ p} \mathbb{F}_ p[x,y]^ \Gamma_ n+\dim_ \mathbb{R} S_{n+2}+\nu\), where \(\nu\) is the number o…
Mathematics Subject Classification ID: 11F11
Mathematics Subject Classification ID: 11F67
Mathematics Subject Classification ID: 11F25
zbMATH DE Number: 169029
zbMATH Keywords: cohomology
zbMATH Keywords: mod \(p\) value
zbMATH Keywords: trace of Hecke operators
zbMATH Keywords: cusp forms
zbMATH Keywords: periodicity
reviewed by: W. W. J. Hulsbergen
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/kjm/1250519490
OpenAlex ID: W1572941529
DOI: 10.1215/KJM/1250519490
description: scientific article; zbMATH DE number 169029