Abstract
In this article, several cohomology spaces associated to the arithmetic groups \(\mathrm {SL}_3({\mathbb {Z}})\) and \(\mathrm {GL}_3({\mathbb {Z}})\) with coefficients in any highest weight representation \({\mathcal {M}}_\lambda \) have been computed, where \(\lambda \) denotes their highest weight. Consequently, we obtain detailed information of their Eisenstein cohomology with coefficients in \({\mathcal {M}}_\lambda \). When \({\mathcal {M}}_\lambda \) is not self dual, the Eisenstein cohomology coincides with the cohomology of the underlying arithmetic group with coefficients in \({\mathcal {M}}_\lambda \). In particular, for such a large class of representations we can explicitly describe the cohomology of these two arithmetic groups. We accomplish this by studying the cohomology of the boundary of the Borel–Serre compactification and their Euler characteristic with coefficients in \({\mathcal {M}}_\lambda \). At the end, we employ our study to discuss the existence of ghost classes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathrm {G}\) be a split semisimple group defined over \({\mathbb {Q}}\), then for every arithmetic subgroup \(\Gamma \subset \mathrm {G}({\mathbb {Q}})\) one can define the corresponding locally symmetric space
where \(\mathrm {K}_\infty \) denotes the maximal connected compact subgroup of \(\mathrm {G}({\mathbb {R}})\). In this context we can consider the Borel–Serre compactification \({\overline{\mathrm {S}}}_\Gamma \) of \(\mathrm {S}_\Gamma \) (see [4]), whose boundary \(\partial \mathrm {S}_\Gamma \) is a union of spaces indexed by the \(\Gamma \)-conjugacy classes of \({\mathbb {Q}}\)-parabolic subgroups of \(\mathrm {G}\). For the detailed account on Borel–Serre compactification, see [15]. The choice of a maximal \({\mathbb {Q}}\)-split torus \(\mathrm {T}\) of \(\mathrm {G}\) and a system of positive roots \(\Phi ^+\) in \(\Phi (\mathrm {G}, \mathrm {T})\) determines a set of representatives for the conjugacy classes of \({\mathbb {Q}}\)-parabolic subgroups, namely the standard \({\mathbb {Q}}\)-parabolic subgroups. We will denote this set by \({\mathcal {P}}_{\mathbb {Q}}(\mathrm {G})\). One can write the boundary \(\partial \mathrm {S}_\Gamma \) as a union
The irreducible representation \({\mathcal {M}}_\lambda \) of \(\mathrm {G}\) associated to a highest weight \(\lambda \) defines a sheaf over \(\mathrm {S}_\Gamma \), denoted by \({\widetilde{{\mathcal {M}}}}_\lambda \), that is defined over \({\mathbb {Q}}\). This sheaf can be extended in a natural way to a sheaf in the Borel–Serre compactification \({\overline{\mathrm {S}}}_\Gamma \) and we can therefore consider the restriction to the boundary of the Borel–Serre compactification and to each face of the boundary, obtaining sheaves in \(\partial \mathrm {S}_\Gamma \) and \(\partial _{\mathrm {P}, \Gamma }\). The aforementioned covering defines a spectral sequence abutting to the cohomology of the boundary
where \(prk(\mathrm {P})\) denotes the parabolic rank of \(\mathrm {P}\) (the dimension of its \({\mathbb {Q}}\)-split component). In this article we present an explicit description of this spectral sequence to discuss in detail the boundary and Eisenstein cohomology for the particular rank two cases \(\mathrm {SL}_3\) and \(\mathrm {GL}_3\).
Since its development, cohomology of arithmetic groups has been proved to be a valuable tool in analyzing the relations between the theory of automorphic forms and the arithmetic properties of the associated locally symmetric spaces. A very common goal is to describe the cohomology \(H^{\bullet }(\mathrm {S}_{\Gamma }, {\widetilde{{\mathcal {M}}}}_{\lambda })\) in terms of automorphic forms. The study of boundary and Eisenstein cohomology of arithmetic groups has many number theoretic applications. As an example, one can see applications on the algebraicity of certain quotients of special values of L-functions in [11].
The main tools and idea to study the boundary cohomology of arithmetic groups have been developed by the second author in a series of articles [11, 12, 14]. This article is no exception in taking the hunt a little further. Especially, we make use of the techniques developed in [14]. In a way, this article is a continuation of the work carried out by the second author in [12]. In Sect. 7, the cohomology of the boundary of \(\mathrm {SL}_3({\mathbb {Z}})\) has been described after introducing the necessary notations and tools in Sects. 2 and 3.
In order to achieve the details about the space of Eisenstein cohomology of the two mentioned arithmetic groups, we make use of their Euler characteristics. In Sect. 5, we discuss this in detail. The importance of Euler charcateristic to study the space of Eisenstein cohomology has been discussed by the third author in [19]. For more details about Euler characteristic of arithmetic groups see [17, 18]. In Sect. 6, we compute the space of Eisenstein cohomology of the arithmetic groups \(\mathrm {SL}_3({\mathbb {Z}})\) and \(\mathrm {GL}_3({\mathbb {Z}})\) with coefficients in \({\mathcal {M}}_{\lambda }\). One of the most interesting take aways, among others, of these two sections is the intricate relation between the spaces of automorphic forms of \(\mathrm {SL}_{2}\) and the boundary and Eisenstein cohomology spaces of \(\mathrm {SL}_3\).
In Sect. 7, we carry out the discussion of existence of ghost classes in \(\mathrm {SL}_3({\mathbb {Z}})\) and \(\mathrm {GL}_3({\mathbb {Z}})\) in detail with respect to any highest weight representation. Ghost classes were introduced by A. Borel [3] in 1984. For details and exact definition of these classes see Sect. 7. Later on, these classes have appeared in the work of the second author. For example at the end of the article [12] with emphasis to the case \(\mathrm {GL}_3\), it is mentioned that “.... the ghost classes appear if some L-values vanish. The order of vanishing does not play a role. But this may change in higher rank case”. The author further added that this aspect is worthy of investigation. The importance of their investigation has been occasionally pointed out. Since then, these classes have been studied at times, however the general theory of these classes has been slow in coming. We couldn’t trace down the complete analysis of ghost classes in these two specific cases in complete generality, i.e. for arbitrary coefficient system. However, in case of \(\mathrm {SL}_4({\mathbb {Z}})\) these classes have been discussed by Rohlfs in [25]. In general for \(\mathrm {SL}_n\), Franke developed a method to construct ghost classes in [7]. Later on, using the method developed in [7], Kewenig and Rieband have found ghost classes for the orthogonal and symplectic groups when the coefficient system is trivial, see [20]. More recently, these classes have been discussed by the first and last author in the case of rank two orthogonal Shimura varieties in [1] and by the last author in case of \(\mathrm {GSp}_{4}\) in [23] and \(\mathrm {GU}(2,2)\) in [24].
The main results of this article are the following,
Theorem 11, where the Euler characteristic of \(\mathrm {SL}_3({\mathbb {Z}})\) is calculated with respect to every finite dimensional highest weight representation.
Theorem 12, where the boundary cohomology with coefficients in every finite dimensional highest weight representation is described.
Theorem 15, that shows that the Euler characteristic of the boundary cohomology is half the Euler characteristic of the Eisenstein cohomology.
Theorem 16, where we describe the Eisenstein cohomology for every finite dimensional highest weight representation.
Theorem 26, that shows that there are no ghost classes unless possibly in degree two for certain nonregular highest weights.
In this paper we do not refer to and do not use transcendental methods, i.e. we do not write down convergent (or even non convergent) infinite series and do not use the principle of analytic continuation. This allows us to work with coefficient systems which are \({\mathbb {Q}}\)-vector spaces. Only at one place we refer to the Eichler-Shimura isomorphism, but this reference is not really relevant. At one point we refer to a deep theorem of Bass-Milnor-Serre [2] to get the complete description of the Eisenstein cohomology. Transcendental arguments would allow us to avoid this reference, see [13] and [26].
In Theorem 26 we leave open, whether in a certain case ghost classes might exist. In a letter to A. Goncharov the second author has outlined an argument that shows that there are no ghost classes, but this argument depends on transcendental methods. This will be discussed in a forthcoming paper.
2 Basic notions
This section provides quick review to the basic properties of \(\mathrm {SL}_3\) (and \(\mathrm {GL}_3\)) and familiarize the reader with the notations to be used throughout the article. We discuss the corresponding locally symmetric space, Weyl group, the associated spectral sequence and Kostant representatives of the standard parabolic subgroups.
2.1 Structure theory
Let \(\mathrm {T}\) be the maximal torus of \(\mathrm {SL}_3\) given by the group of diagonal matrices and \(\Phi \) be the corresponding root system of type \(\mathrm {A}_2\). Let \(\epsilon _1, \epsilon _2, \epsilon _3 \in X^*(\mathrm {T})\) be the usual coordinate functions on \(\mathrm {T}\). We will use the additive notation for the abelian group \(X^*(\mathrm {T})\) of characters of \(\mathrm {T}\). The root system is given by \(\Phi =\Phi ^{+} \cup \Phi ^{-}\), where \(\Phi ^{+}\) and \(\Phi ^{-}\) denote the set of positive and negative roots of \(\mathrm {SL}_3\) respectively, and \(\Phi ^{+} = \left\{ \epsilon _1-\epsilon _3, \epsilon _1-\epsilon _2, \epsilon _2-\epsilon _3 \right\} \). Then the system of simple roots is defined by \(\Delta =\left\{ \alpha _1=\epsilon _1-\epsilon _2, \alpha _2=\epsilon _2- \epsilon _3\right\} \). The fundamental weights associated to this root system are given by \(\gamma _1 = \epsilon _1\) and \(\gamma _2=\epsilon _1+\epsilon _2\). The irreducible finite dimensional representations of \(\mathrm {SL}_3\) are determined by their highest weight which in this case are the elements of the form \(\lambda = m_1 \gamma _1 + m_2 \gamma _2\) with \(m_1, m_2\) non-negative integers. The Weyl group \({\mathcal {W}}\) of \(\Phi \) is given by the symmetric group \({\mathfrak {S}}_3\).
The above defined root system determines a set of proper standard \({\mathbb {Q}}\)-parabolic subgroups \({\mathcal {P}}_{\mathbb {Q}}(\mathrm {SL}_3)=\left\{ \mathrm {P}_0, \mathrm {P}_1, \mathrm {P}_2 \right\} \), where \(\mathrm {P}_0\) is a minimal and \(\mathrm {P}_1, \mathrm {P}_2\) are maximal \({\mathbb {Q}}\)-parabolic subgroups of \(\mathrm {SL}_3\). To be more precise, we write
for every \({\mathbb {Q}}\)-algebra A, and \(\mathrm {P}_0\) is simply the group given by \(\mathrm {P}_1 \cap \mathrm {P}_2\).
The set \({\mathcal {P}}_{\mathbb {Q}}(\mathrm {SL}_3)\) is a set of representatives for the conjugacy classes of \({\mathbb {Q}}\)-parabolic subgroups of \(\mathrm {SL}_3\). Consider the maximal connected compact subgroup \(\mathrm {K}_\infty = \mathrm {SO}(3) \subset \mathrm {SL}_3({\mathbb {R}})\) and the arithmetic subgroup \(\Gamma = \mathrm {SL}_3({\mathbb {Z}})\), then \(\mathrm {S}_\Gamma \) denotes the orbifold \( \Gamma \backslash \mathrm {SL}_3({\mathbb {R}})/\mathrm {K}_\infty .\) Note that in terms of differential geometry \(\mathrm {S}_\Gamma \) is not a locally symmetric space, this is because of the torsion elements in \(\Gamma \).
2.2 Spectral sequence
Let \({\overline{\mathrm {S}}}_\Gamma \) denote the Borel–Serre compactification of \(\mathrm {S}_\Gamma \) (see [4]). Following (1), the boundary of this compactification \(\partial \mathrm {S}_\Gamma = {\overline{\mathrm {S}}}_\Gamma {\setminus }\mathrm {S}_\Gamma \) is given by the union of faces indexed by the \(\Gamma \)-conjugacy classes of \({\mathbb {Q}}\)-parabolic subgroups. Consider the irreducible representation \({\mathcal {M}}_\lambda \) of \(\mathrm {SL}_3\) associated with a highest weight \(\lambda \). This representation is defined over \({\mathbb {Q}}\) and determines a sheaf \({\widetilde{{\mathcal {M}}}}_\lambda \) over \(\mathrm {S}_\Gamma \). By applying the direct image functor associated to the inclusion \(i:\mathrm {S}_\Gamma \hookrightarrow {\overline{\mathrm {S}}}_\Gamma \), we obtain a sheaf on \({\overline{\mathrm {S}}}_\Gamma \) and, since this inclusion is a homotopy equivalence (see [4]), it induces an isomorphism \(H^\bullet (\mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_\lambda ) \cong H^\bullet ({\overline{\mathrm {S}}}_\Gamma , i_*({\widetilde{{\mathcal {M}}}}_\lambda )).\) From now on \(i_*({\widetilde{{\mathcal {M}}}}_\lambda )\) will be simply denoted by \({\widetilde{{\mathcal {M}}}}_\lambda \). In this paper, one of our immediate goals is to make a thorough study of the cohomology space of the boundary \(H^\bullet (\partial \mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_\lambda ).\)
The covering (1) defines a spectral sequence in cohomology abutting to the cohomology of the boundary. To be more precise, one has the spectral sequence defined by (2) in the previous section. To be able to study this spectral sequence, we need to understand the cohomology spaces \(H^q(\partial _{\mathrm {P}, \Gamma }, {\widetilde{{\mathcal {M}}}}_\lambda )\) and this can be done by making use of a certain decomposition. To present the aforementioned decomposition we need to introduce some notations.
Let \(\mathrm {P} \in {\mathcal {P}}_{\mathbb {Q}}(\mathrm {SL}_3)\) be a standard \({\mathbb {Q}}\)-parabolic subgroup and \(\mathrm {M}\) be the corresponding Levi quotient, then \(\Gamma _\mathrm {M}\) and \(\mathrm {K}_\infty ^\mathrm {M}\) will denote the image under the canonical projection \(\pi :\mathrm {P} \longrightarrow \mathrm {M}\) of the groups \(\Gamma \cap \mathrm {P}({\mathbb {Q}})\) and \(\mathrm {K}_\infty \cap \mathrm {P}({\mathbb {R}})\), respectively. \(\left. ^\circ \mathrm {M} \right. \) will denote the group
where \(X^*_{\mathbb {Q}}(\mathrm {M})\) denotes the set of \({\mathbb {Q}}\)-characters of \(\mathrm {M}\). Then \(\Gamma _\mathrm {M}\) and \(\mathrm {K}_\infty ^\mathrm {M}\) are contained in \(^\circ \mathrm {M}({\mathbb {R}})\) and we define the locally symmetric space of the Levi quotient \(\mathrm {M}\) by
On the other hand, let
be the set of Weyl representatives of the parabolic \(\mathrm {P}\) (see [21]), where \({\mathfrak {n}}\) is the Lie algebra of the unipotent radical of \(\mathrm {P}\) and \(\Phi ^{+}({\mathfrak {n}})\) denotes the set of roots whose root space is contained in \({\mathfrak {n}}\). If \(\rho \in X^*(\mathrm {T})\) denotes half of the sum of the positive roots (in this case this is just \(\epsilon _1 - \epsilon _3\)) and \(w \in {\mathcal {W}}^{\mathrm {P}}\), then the element \(w\cdot \lambda = w(\lambda + \rho ) - \rho \) is a highest weight of an irreducible representation \({\mathcal {M}}_{w\cdot \lambda }\) of \(\left. ^\circ \mathrm {M} \right. \) and defines a sheaf \({\widetilde{{\mathcal {M}}}}_{w\cdot \lambda }\) over \(\mathrm {S}_\Gamma ^\mathrm {M}\). Then we have a decomposition (Fig. 1)
2.3 Kostant representatives of standard parabolics
In the next table we list all the elements of the Weyl group along with their lengths and the preimages of the simple roots. The preimages will be useful to determine the sets of Weyl representatives for each parabolic subgroup (Table 1).
Note that in the case of \(\mathrm {SL}_3\), \(\epsilon _3 = -(\epsilon _1+\epsilon _2)\) and \({\mathcal {W}}^{\mathrm {P}_0} = {\mathcal {W}}\). Now, by using this table, one can see that the sets of Weyl representatives for the maximal parabolics \(\mathrm {P_1}\) and \(\mathrm {P}_{2}\), are given by
We now record for each standard parabolic \(\mathrm {P}\) and Weyl representative \(w \in {\mathcal {W}}^\mathrm {P}\), the expression \(w\cdot \lambda \) in the convenient setting so that it can be used to obtain Lemmas 1 and 3 which commence in the next few pages. Let \(\lambda \) be given by \(m_1\gamma _1 + m_2\gamma _2\), then the Kostant representatives for parabolics \(\mathrm {P}_0, \mathrm {P}_1\) and \(\mathrm {P}_2\) are listed respectively, where we make use of the notations
2.3.1 Kostant representatives for minimal parabolic \(\mathrm {P}_0\)
2.3.2 Kostant representatives for maximal parabolic \(\mathrm {P}_1\)
2.3.3 Kostant representatives for maximal parabolic \(\mathrm {P}_2\)
3 Parity conditions in cohomology
The cohomology of the boundary can be obtained by using a spectral sequence whose terms are given by the cohomology of the faces associated to each standard parabolic subgroup. In this section we expose, for each standard parabolic \(\mathrm {P}\) and irreducible representation \({\mathcal {M}}_{\nu }\) of the Levi subgroup \(\mathrm {M} \subset \mathrm {P}\) with highest weight \(\nu \), a parity condition to be satisfied in order to have nontrivial cohomology \(H^\bullet (\mathrm {S}_\Gamma ^\mathrm {M}, \widetilde{{\mathcal {M}}}_{\nu })\). Here \(\mathrm {S}_\Gamma ^\mathrm {M}\) denotes the symmetric space associated to \(\mathrm {M}\) and \({\widetilde{{\mathcal {M}}}}_{\nu }\) is the sheaf in \(\mathrm {S}_\Gamma ^\mathrm {M}\) determined by \({\mathcal {M}}_{\nu }\).
3.1 Borel subgroup
We begin by studying the parity condition imposed on the face associated to the minimal parabolic \(\mathrm {P}_0\) of \(\mathrm {SL}_3\). The Levi subgroup of \(\mathrm {P}_0\) is the two dimensional torus \(\mathrm {M}_0 = \mathrm {T}\) of diagonal matrices. To get nontrivial cohomology the finite group \( \Gamma _{\mathrm{{M}}_0}\cap \mathrm {K}^{{\mathrm{M}}_0}_\infty \) has to act trivially on \({\mathcal {M}}_{\nu }\), because otherwise \({\widetilde{{\mathcal {M}}}}_{\nu }=0\). Therefore, the following three elements
must act trivially on \({\mathcal {M}}_{\nu }\) so that the sheaf \({\widetilde{{\mathcal {M}}}}_{\nu }\) is nonzero. By using this fact one can deduce the following
Lemma 1
Let \(\nu \) be given by \(m'_1\gamma _1 + m'_2\gamma _2\). If \(m'_1\) or \(m'_2\) is odd then the corresponding local system \({\widetilde{{\mathcal {M}}}}_{\nu }\) in \(\mathrm {S}_\Gamma ^{{\mathrm{M}}_0}\) is 0.
Note that the \(\nu \) to be considered in this paper will be of the form \(w\cdot \lambda \), for \(w\in {\mathcal {W}}^{\mathrm {P}_0}\). We denote by \({\overline{{\mathcal {W}}}}^{0}(\lambda )\) the set of Weyl elements w such that \(w\cdot \lambda \) do not satisfy the condition of Lemma 1.
Remark 2
For notational convenience, we simply use \(\partial _{i}\) to denote the boundary face \(\partial _{\mathrm {P}_{i}, \Gamma }\) associated to the parabolic subgroup \(\mathrm {P}_{i}\) and the arithmetic group \(\Gamma \) for \(i\in \{0,1,2\}\). In addition, we will drop the use of \(\Gamma \) from the \(\mathrm {S}_{\Gamma }\) and \(\partial \mathrm {S}_{\Gamma }\) and likewise from the other notations.
3.1.1 Cohomology of the face \(\partial _0\)
In this case \(H^{q}(\mathrm {S}^{{\mathrm{M}}_0}, {\widetilde{{\mathcal {M}}}}_{w\cdot \lambda })=0\) for every \(q\ge 1\). The set of Weyl representatives \({\mathcal {W}}^{\mathrm {P}_{0}}= {\mathcal {W}}\) and the lengths of its elements are between 0 and 3 as shown in the table and figure above. We know
Therefore
and for every \(q \ge 4\), the cohomology groups \(H^{q}(\partial _0, {\widetilde{{\mathcal {M}}}}_{\lambda })=0\).
3.2 Maximal parabolic subgroups
In this section we study the parity conditions for the maximal parabolics. Let \(i \in \left\{ 1, 2\right\} \), then \(\mathrm {M}_i \cong \mathrm {GL}_2\) and in this setting, \(\mathrm {K}_\infty ^{{\mathrm{M}}_i}=\mathrm {O}(2)\) is the orthogonal group and \(\Gamma _{\mathrm{{M}}_i} = \mathrm {GL}_2({\mathbb {Z}})\). Therefore
Let \(\epsilon '_1, \epsilon '_2\) denote the usual characters in the torus T of diagonal matrices of \(\mathrm {GL}_2\). Write \(\gamma = \frac{1}{2}(\epsilon '_1 - \epsilon '_2)\) and \(\kappa = \frac{1}{2}(\epsilon '_1 + \epsilon '_2)\). Consider the irreducible representation \({\mathcal {V}}_{a, n}\) of \(\mathrm {GL}_2\) with highest weight \(a \gamma + n \kappa \). In this expression a and n must be congruent modulo 2, and \({\mathcal {V}}_{a, n} = Sym^a({\mathbb {Q}}^2) \otimes det^{(n-a)/2}\) is the tensor product of the a-th symmetric power of the standard representation and the determinant to the \((\frac{n-a}{2})\)-th power. This representation defines a sheaf \(\widetilde{{\mathcal {V}}}_{a, n}\) in \(\widetilde{\mathrm {S}}^{\mathrm {GL}_2}\) and also in the locally symmetric space
If \(\mathrm {Z} \subset \mathrm {T}\) denotes the center of \(\hbox {GL}_2\), one has
and therefore this element must act trivially on \({\mathcal {V}}_{a, n}\) in order to have \(\widetilde{{\mathcal {V}}}_{a, n} \ne 0\), i.e. if n is odd then \(\widetilde{{\mathcal {V}}}_{a, n} = 0\). So, we are just interested in the case in which n (and therefore a) is even. On the other hand, if \(a=0\), \({\mathcal {V}}_{a, n}\) is one dimensional and
has the effect that the space of global sections of \(\widetilde{{\mathcal {V}}}_{0, n}\) is 0 when n/2 is odd.
We summarize the above discussion in the following
Lemma 3
Let i be 1 or 2. For \(w \in {\mathcal {W}}^{\mathrm {P}_i}\), let \(w\cdot \lambda \) be given by \(a \gamma ^{\mathrm {M}_i} + n \kappa ^{\mathrm {M}_i}\), where \(\gamma ^{\mathrm {M}_i} = \frac{1}{2}(\epsilon _i - \epsilon _{i+1})\) and \(\kappa ^{\mathrm {M}_i} = \frac{1}{2}(\epsilon _i + \epsilon _{i+1})\). If n is odd, the corresponding sheaf \({\widetilde{{\mathcal {M}}}}_{w\cdot \lambda }\) is 0. As a and n are congruent modulo 2, we should have a and n even in order to have a non trivial coefficient system \(\widetilde{{\mathcal {V}}}_{a, n}\). Moreover, if \(a = 0\) and n/2 is odd, then \(H^\bullet (\mathrm {S}^{\mathrm {M}_{i}}, {\widetilde{{\mathcal {M}}}}_{w\cdot \lambda })=0\). We denote the set of Weyl elements for which \(H^\bullet (\mathrm {S}^{\mathrm {M}_{i}}, {\widetilde{{\mathcal {M}}}}_{w\cdot \lambda })\ne 0\) by \({\overline{{\mathcal {W}}}}^{i}(\lambda )\).
Now, if \(\mathrm {B} \subset \mathrm {GL}_2\) is the usual Borel subgroup and \(\mathrm {T} \subset \mathrm {B}\) is the subgroup of diagonal matrices, one can consider the exact sequence in cohomology
where \({\mathfrak {n}}\) is the Lie algebra of the unipotent radical \(\mathrm {N}\) of \(\mathrm {B}\). By using an argument similar to the one presented in Lemma 1, we get
In the following subsections we make note of the cohomology groups associated to the maximal parabolic subgroups \(\mathrm {P}_1\) and \(\mathrm {P}_2\) which will be used in the computations involved to determine the boundary cohomology in the next section.
3.2.1 Cohomology of the face \(\partial _1\)
In this case, the Levi \(\mathrm {M}_1\) is isomorphic to \(\mathrm {GL}_2\) and therefore \(H^{q}(\mathrm {S}^{\mathrm {M}_1}, {\widetilde{{\mathcal {M}}}}_{w\cdot \lambda })=0\) for every \(q\ge 2\) (see the example 2.1.3 in Subsection 2.1.2 of [15] for the particular case of \(\mathrm {GL}_2\) or Theorem 11.4.4 in [4] for a more general statement). The set of Weyl representatives is given by \({\mathcal {W}}^{\mathrm {P}_1}=\{e, s_1, s_1 s_2\}\) where the length of the elements are respectively 0, 1, 2. By definition,
Therefore,
and for every \(q \ge 4\), the cohomology groups \(H^{q}(\partial _1, {\widetilde{{\mathcal {M}}}}_{\lambda })=0\).
3.2.2 Cohomology of the face \(\partial _2\)
In this case, the Levi \(\mathrm {M}_2\) is isomorphic to \(\mathrm {GL}_2\) and therefore \(H^{q}(\mathrm {S}^{\mathrm {M}_2}, {\widetilde{{\mathcal {M}}}}_{w\cdot \lambda })=0\) for every \(q\ge 2\). The set of Weyl representatives is given by \(W^{\mathrm {P}_2}=\{ e, s_2, s_2s_1\}\) where the lengths of the elements are respectively 0, 1, 2. By definition,
Therefore,
and for every \(q \ge 4\), the cohomology groups \(H^{q}(\partial _2, {\widetilde{{\mathcal {M}}}}_{\lambda })=0\).
4 Boundary cohomology
In this section we calculate the cohomology of the boundary by giving a complete description of the spectral sequence. The covering of the boundary of the Borel–Serre compactification defines a spectral sequence in cohomology.
and the nonzero terms of \(E_1^{p, q}\) are for
More precisely,
Since \(\mathrm {SL}_{3}\) is of rank two, the spectral sequence has only two columns namely \(E_{1}^{0,q}, E_{1}^{1,q}\) and to study the boundary cohomology, the task reduces to analyze the following morphisms
where \(d_{1}^{0,q}\) is the differential map and the higher differentials vanish. One has
In addition, due to be in rank 2 situation, the spectral sequence degenerates in degree 2. Therefore, we can use the fact that
In other words, let us now consider the short exact sequence
From now on, we will denote by \(r_1 : \mathrm {H}^{\bullet }(\partial _{1}, {\widetilde{{\mathcal {M}}}}_{\lambda }) \rightarrow \mathrm {H}^{\bullet }(\partial _{0}, {\widetilde{{\mathcal {M}}}}_{\lambda })\) and \(r_2 : \mathrm {H}^{\bullet }(\partial _{2}, {\widetilde{{\mathcal {M}}}}_{\lambda }) \rightarrow \mathrm {H}^{\bullet }(\partial _{0}, {\widetilde{{\mathcal {M}}}}_{\lambda })\) the natural restriction morphisms.
4.1 Case 1: \(m_1 = 0\) and \(m_2 = 0\) (trivial coefficient system)
Following Lemmas 1 and 3 from Sect. 3, we get
By using (5) we record the values of \(E_{1}^{0,q}\) and \(E_{1}^{1,q}\) for the distinct values of q below. Note that following (4) we know that for \(q\ge 4\), \(E_{1}^{i,q}=0\) for \(i=0, 1\).
and
We now make a thorough analysis of (6) to get the complete description of the spaces \(E_{2}^{0,q}\) and \(E_{2}^{1,q}\) which will give us the cohomology \(\mathrm {H}^{q}(\partial {\bar{\mathrm {S}}}, {\widetilde{{\mathcal {M}}}}_{\lambda })\). We begin with \(q=0\).
4.1.1 At the level \(q=0\)
Observe that the short exact sequence (8) reduces to
To compute \(E_2^{0, 0}\), consider the differential \(d_1^{0, 0}: E_1^{0, 0} \rightarrow E_1^{1, 0}\). Following (9) and (10), we have \(d_1^{0, 0}: {\mathbb {Q}}\oplus {\mathbb {Q}}\longrightarrow {\mathbb {Q}}\) and we know that the differential \(d_1^{0, 0}\) is surjective (see [11]). Therefore
Hence, we get
4.1.2 At the level \(q=1\)
Following (11), in this case, our short exact sequence (8) reduces to
and we need to compute \(E_2^{0, 1}\). Consider the differential \(d_{1}^{0,1}: E_1^{0, 1} \longrightarrow E_1^{1, 1}\) and following (9) and (10), we observe that \(d_{1}^{0,1}\) is a map between zero spaces. Therefore, we obtain
As a result, we get
4.1.3 At the level \(q=2\)
Following the similar process as in level \(q=1\), we get
This results into
4.1.4 At the level \(q=3\)
Following (12), in this case, the short exact sequence (8) reduces to
and we need to compute \(E_2^{0, 3}\). Consider the differential \(d_{1}^{0,3}: E_1^{0, 3} \longrightarrow E_1^{1, 3}\) and following (9) and (10), we have \(d_{1}^{0,3}: 0 \longrightarrow {\mathbb {Q}}\). Therefore,
This gives us
4.1.5 At the level \(q=4\)
Following (13), in this case, the short exact sequence (8) reduces to
and we need to compute \(E_2^{0, 4}\). Consider the differential \(d_{1}^{0,4}: E_1^{0, 4} \longrightarrow E_1^{1, 4}\) and following (9) and (10), we have \(d_{1}^{0,4}: 0 \longrightarrow 0\). Therefore,
and we get
We can summarize the above discussion as follows :
4.2 Case 2: \(m_1 = 0\), \(m_2 \ne 0\), \(m_2\) even
Following the parity conditions established in Sect. 3, we find that
Following (5) we write
and
4.2.1 At the level \(q=0\)
In this case, the short exact sequence (8) is
Consider the differential \(d_{1}^{0,0}: E_1^{0, 0} \longrightarrow E_1^{1, 0}\) which is an isomorphism
Therefore, we obtain
As a result, we get
4.2.2 At the level \(q=1\)
In this case, the short exact sequence (8) becomes
Consider the differential \(d_{1}^{0,1}: E_1^{0, 1} \longrightarrow E_1^{1, 1}\) which, from (3), is simply a zero morphism
Therefore, we obtain
As a result, we get
4.2.3 At the level \(q=2\)
The short exact sequence becomes
and following the differential \(d_{1}^{0,2}: E_1^{0, 2} \longrightarrow E_1^{1, 2}\) which is again simply the zero morphism
gives us
Hence,
4.2.4 At the level \(q=3\)
The short exact sequence (8) reduces to
and the differential \(d_{1}^{0,3}: E_1^{0, 3} \longrightarrow E_1^{1, 3}\) is an epimorphism
Therefore
Since \(E_2^{1, 3} = 0\) and \(E_2^{0, 4} =0\), we realize that \(H^q(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda ) = 0\) for every \(q\ge 4\).
We summarize the discussion of this case as follows
4.3 Case 3 : \(m_2 = 0\), \(m_1 \ne 0\), \(m_1\) even
Following the parity conditions established in Sect. 3, we find that
Following (5),
and the spaces \(E_{1}^{1,q}\) in this case are exactly same as described in the above two cases expressed by (14). Following similar steps taken in Sect. 4.2, we obtain the following
4.4 Case 4: \(m_1 \ne 0\), \(m_1\) even and \(m_2 \ne 0\), \(m_2\) even
Following the parity conditions established in Sect. 3, we find that
Following (5),
and the spaces \(E_{1}^{1,q}\) are described by (14). Combining the process performed for the previous two cases in Sects. 4.2 and 4.3, we get the following result
4.5 Case 5: \(m_1 \ne 0\), \(m_1\) even, \(m_2\) odd
Following the parity conditions established in Sect. 3 and (5), we find that
and
and
Following the similar computations we get all the spaces \(E_{2}^{p,q}\) for \(p=0,1\) as follows
and
Following (7), we obtain
4.6 Case 6: \(m_1 = 0\), \(m_2\) odd
Following the parity conditions established in Sect. 3 and (5), we find that
and
and the spaces \(E_{1}^{1,q}\) are described by (15). Following the similar computations we get all the spaces \(E_{2}^{p,q}\) for \(p=0,1\) as follows
where W is the one dimensional space
along with \(r_1\) and \(r_2\) the restriction morphisms defined as follows
Both \(r_1\) and \(r_2\) are surjective. This fact follows directly by applying Kostant’s formula to the Levi quotient of each of the maximal parabolic subgroups. Then, the target spaces of \(r_1\) and \(r_2\) are just the boundary and the Eisenstein cohomology of \(\hbox {GL}_2\), respectively. From the above properties of \(r_1\) and \(r_2\), we conclude that W is isomorphic to \(H^{0}(\mathrm {S}^{{\mathrm{M}}_0}, {\widetilde{{\mathcal {M}}}}_{s_1 s_2 \cdot \lambda })\), which is a 1-dimensional space.
However,
Now, following (7), we obtain
4.7 Case 7: \(m_1\) odd, \(m_2 =0\)
Following the parity conditions established in Sect. 3 we find that
Observe that this is exactly the reflection of case 6 described in Sect. 4.6. The roles of parabolics \(\mathrm {P}_1\) and \(\mathrm {P}_2\) will be interchanged. Hence, following the similar arguments we will obtain
4.8 Case 8: \(m_1\) odd, \(m_2 \ne 0\), \(m_2\) even
Following the parity conditions established in Sect. 3 we find that
Observe that this is exactly the reflection of case 5 described in Sect. 4.5. The roles of parabolics \(\mathrm {P}_1\) and \(\mathrm {P}_2\) will be interchanged. Hence, we will obtain
4.9 Case 9: \(m_1 \) odd, \(m_2\) odd
By checking the parity conditions for standard parabolics, following Lemmas 1 and 3, we see that \({\overline{{\mathcal {W}}}}^{i}(\lambda ) = \emptyset \) for \(i=0,1,2\). This simply implies that
5 Euler characteristic
We quickly review the basics about Euler characteristic which is our important tool to obtain the information about Eisenstein cohomology discussed in the next section. The homological Euler characteristic \(\chi _h\) of a group \(\Gamma \) with coefficients in a representation \(\mathcal {V}\) is defined by
For details on the above formula see [5, 27]. We recall the definition of orbifold Euler characteristic. If \(\Gamma \) is torsion free, then the orbifold Euler characteristic is defined as \(\chi _{orb}(\Gamma ) = \chi _h(\Gamma )\). If \(\Gamma \) has torsion elements and admits a finite index torsion free subgroup \(\Gamma '\), then the orbifold Euler characteristic of \(\Gamma \) is given by
One important fact is that, following Minkowski, every arithmetic group of rank greater than one contains a torsion free finite index subgroup and therefore the concept of orbifold Euler characteristic is well defined in this setting. If \(\Gamma \) has torion elements then we make use of the following formula discovered by Wall in [29].
Otherwise, we use the formula described in Eq. (16). The sum runs over all the conjugacy classes in \(\Gamma \) of its torsion elements T, denoted by (T), and C(T) denotes the centralizer of T in \(\Gamma \). From now on, orbifold Euler characteristic \(\chi _{orb}\) will be simply denoted by \(\chi \). Orbifold Euler characteristic has the following properties.
- (1)
If \(\Gamma \) is finitely generated torsion free group then \(\chi (\Gamma )\) is defined as \(\chi _h(\Gamma ,{\mathbb {Q}}).\)
- (2)
If \(\Gamma \) is finite of order \(\left| \Gamma \right| \) then \(\chi (\Gamma )=\frac{1}{\left| \Gamma \right| }\).
- (3)
Let \(\Gamma \), \(\Gamma _1\) and \(\Gamma _2\) be groups such that \( 1 \longrightarrow \Gamma _1 \longrightarrow \Gamma \longrightarrow \Gamma _2 \longrightarrow 1\) is exact then \(\chi (\Gamma )= \chi (\Gamma _1) \chi (\Gamma _2)\).
We now explain the use of the above properties by walking through the detailed computation of the Euler characteristic of \(\mathrm {SL}_2({\mathbb {Z}})\) and \(\mathrm {GL}_{2}({\mathbb {Z}})\) with respect to their highest weight representations, which we explain shortly.
We denote
Then following [18], we know that when \(\Gamma \) is \(\mathrm {GL}_n({\mathbb {Z}})\) (or \(\mathrm {SL}_n ({\mathbb {Z}})\) with n odd) one has an expression of the form
where \(f_A\) denotes the characteristic polynomial of the matrix A.
Now we will explain Eq. (19) in detail. The summation is over all possible block diagonal matrices \(A \in \Gamma \) satisfying the following conditions:
The blocks in the diagonal belong to the set \(\left\{ 1, -1, T_3, T_4, T_6\right\} \).
The blocks \(T_3, T_4\) and \(T_6\) appear at most once and \(1, -1\) appear at most twice.
A change in the order of the blocks in the diagonal does not count as a different element.
So, for example, if \(n > 10\), the sum is empty and \(\chi _{h}(\Gamma , \mathcal {V}) = 0\).
In this case, one can see that every A satisfying these properties has the same eigenvalues as \(A^{-1}\). Even more every such A is conjugate, over \({\mathbb {C}}\), to \(A^{-1}\) and therefore \(Tr(A^{-1}| \mathcal {V}) = Tr(A| \mathcal {V})\). We will use these facts in what follows.
For other groups, the analogous formula of (18) is developed by Chiswell in [6]. Let us explain briefly the notation Res(f). Let \(f_1=\prod _i(x - \alpha _i)\) and \(f_2=\prod _j(x-\beta _j)\) be two polynomials. Then by the resultant of \(f_1\) and \(f_2\), we mean \(Res(f_1,f_2)=\prod _{i,j}(\alpha _i-\beta _j)\). If the characteristic polynomial f is a power of an irreducible polynomial then we define \(Res(f)=1\). Let \(f=f_1 f_2\dots f_d\), where each \(f_i\) is a power of an irreducible polynomial over \({\mathbb {Q}}\) and they are relatively prime pairwise. Then, we define \(Res(f)=\prod _{i<j} Res(f_i,f_j)\).
5.1 Example: Euler characteristic of \(\mathrm {SL}_2({\mathbb {Z}})\) and \(\mathrm {GL}_2({\mathbb {Z}})\)
Consider the group \({\overline{\Gamma }}_0 = \mathrm {SL}_2({\mathbb {Z}})/ \{ \pm I_2\}\). For any subgroup \(\Gamma \in \mathrm {SL}_2({\mathbb {Z}})\) containing \(-I_2\), we will denote by \({\overline{\Gamma }}\) its corresponding subgroup in \({\overline{\Gamma }}_0\), i.e. \({\overline{\Gamma }}=\Gamma /\{ \pm I_2\}\).
Consider the principal congruence subgroup \({\overline{\Gamma }}(2)\). It is of index 6 and torsion free. More precisely, \({}_{{\overline{\Gamma }}(2)}\backslash {\mathbb {H}}\) is topologically \({\mathbb {P}}^{1}-\{0,1,\infty \}\). Therefore,
Using this we immediately get
Considering the following short exact sequence
we obtain \(\chi (\mathrm {SL}_2({\mathbb {Z}}))= -\frac{1}{12}\) and \(\chi ({\overline{\Gamma }}_0)= -\frac{1}{6}\). Similarly, the exact sequence
where \(det : \mathrm {GL}_2({\mathbb {Z}}) \longrightarrow \{ \pm I_2\}\) is simply the determinant map, gives \(\chi (\mathrm {GL}_2({\mathbb {Z}}))= -\frac{1}{24}\).
For any torsion free arithmetic subgroup \(\Gamma \subset \mathrm {SL}_n({\mathbb {R}})\) we have the Gauss-Bonnet formula
where \(\omega _{GB}\) is the Gauss-Bonnet-Chern differential form and \(X = \mathrm {SL}_n({\mathbb {R}}) / \mathrm {SO}(n, {\mathbb {R}})\), see [10]. This differential form is zero if \(n > 2\) and therefore for any torsion free congruence subgroup \(\Gamma \subset \mathrm {SL}_n({\mathbb {Z}})\), \(\chi _h(\Gamma \backslash X) = 0\). In particular, by the definition of orbifold Euler characteristic given by (17), this implies that \(\chi (\mathrm {SL}_3({\mathbb {Z}})) = 0\). We will make use of this fact in the calculation of the homological Euler characteristic of \(\mathrm {SL}_3({\mathbb {Z}})\).
In the preceding analysis, all the \(\chi (\Gamma )\) have been computed with respect to the trivial coefficient system. In case of nontrivial coefficient system, the whole game of computing \(\chi (\Gamma )\) becomes slightly delicate and interesting. To deliver the taste of its complication we quickly motivate the reader by reviewing the computations of \(\chi (\mathrm {SL}_2({\mathbb {Z}}), V_m)\) and \(\chi (\mathrm {GL}_2({\mathbb {Z}}), V_{m_1, m_2})\) where \(V_m\) and \(V_{m_1, m_2}\) are the highest weight irreducible representations of \(\mathrm {SL}_2\) and \(\mathrm {GL}_2\) respectively. For notational convenience we will always denote the standard representation of \(\mathrm {SL}_n({\mathbb {Z}})\) and \(\mathrm {GL}_n({\mathbb {Z}})\) by V. In case of \(\mathrm {SL}_2\) and \(\mathrm {GL}_2\), all the highest weight representations are of the form \(V_m := Sym^{m} V\) and \(V_{m_1, m_2}:=Sym^{m_1} V \otimes det^{m_2}\) respectively. Here \(Sym^{m} V\) denotes the \(m^{th}\)-symmetric power of the standard representation V.
Let \(\Phi _n\) be the n-th cyclotomic polynomial then we list all the characteristic polynomials of torsion elements in \(\mathrm {SL}_2({\mathbb {Z}})\) and \(\mathrm {GL}_2({\mathbb {Z}})\) in the following table (Tables 2, 3, 4).
Following Eq. (18), we compute the traces of all the torsion elements T in \(\mathrm {SL}_2({\mathbb {Z}})\) and \(\mathrm {GL}_2({\mathbb {Z}})\) with respect to the highest weight representations \(V_{m}\) and \(V_{m_1, m_2}\) for \(\mathrm {SL}_2\) and \(\mathrm {GL}_2\) respectively.
For any torsion element \(T \in \mathrm {SL}_2({\mathbb {Z}}) \), we define
where \(\lambda _1 \) and \(\lambda _2\) are the two eigenvalues of T. From now on we simply denote the representative of n torsion element T by its characteristic polynomial \(\Phi _{n}\). Therefore,
Now following Eqs. (16) and (18)
We obtain the values of \(\chi _{h}(\mathrm {SL}_2({\mathbb {Z}}), V_m) \) by computing each factor of the above Eq. (20) up to modulo 12. All these values can be found in the last column of the Table 5.
Similarly, let us discuss the \(\chi _{h}(\mathrm {GL}_2({\mathbb {Z}}), V_{m_1, m_2})\). One has the following table,
Now following Eqs. (16) and (19)
Same as in the case of \(\mathrm {SL}_2({\mathbb {Z}})\), we obtain the values of \(\chi _{h}(\mathrm {GL}_2({\mathbb {Z}}), V_{m_1, m_2}) \) by computing each factor of the above Eq. (21) up to \(m_1\) modulo 12 and \(m_2\) modulo 2. All these values are encoded in the second and third column of the Table 5. Note that in what follows \(V_m\) will denote \(V_{m,0}\) when it is considered as a representation of \(\mathrm {GL}_2\).
It is well known that
One can show that in fact these inclusions are isomorphisms because \(H^1(\mathrm {GL}_2({\mathbb {Z}}){,}{\mathbb {C}}){=}0\), and for \(m > 0\) we have \(H^0(\mathrm {GL}_2({\mathbb {Z}}),V_m) {=} H^2(\mathrm {GL}_2({\mathbb {Z}}){,}V_m) {=} 0\) and therefore
Hence, we may conclude that for all m
Remark 4
Note that if we do not want to get into the transcendental aspects of the theory of cusp forms (Eichler-Shimura isomorphism) then we could get the dimension of \(S_{m+2}\) by using the information given in Section 2.1.3 from Chapter 2 of [15].
We present the following isomorphism for intuition. One can recover a simple proof by using the data of the Table 5 and the Kostant formula.
5.2 Torsion elements in \(\mathrm {SL}_{3}({\mathbb {Z}})\)
Following Eq. (18) and above discussion, we know that in order to compute \(\chi _{h}(\mathrm {SL}_{3}({\mathbb {Z}}), {\mathcal {V}})\) with respect to the coefficient system \({\mathcal {V}}\), we need to know the conjugacy classes of all torsion elements. To do that we divide the study into the possible characteristic polynomials of the representatives of these conjugacy classes, and these are (Tables 6, 7):
Following Eq. (18), we compute the traces \(Tr(T^{-1}| {\mathcal {M}}_{\lambda })\) of all the torsion elements T in \(\mathrm {SL}_3({\mathbb {Z}})\) and \(\mathrm {GL}_3({\mathbb {Z}})\) with respect to highest weight coefficient system \({\mathcal {M}}_{\lambda }\) where \(\lambda = m_1 \epsilon _1 + m_2 (\epsilon _1+\epsilon _2)\) and \(\lambda = m_1 \epsilon _1 + m_2 (\epsilon _1+\epsilon _2) + m_3 (\epsilon _1+\epsilon _2+\epsilon _3)\) for \(\mathrm {SL}_3\) and \(\mathrm {GL}_3\), respectively.
Before moving to the next step, we will explain the reader about the use of the notation \({\mathcal {M}}_{\lambda }\). For convenience and to make the role of the coefficients \(m_1, m_2\) in case of \(\mathrm {SL}_3({\mathbb {Z}})\) and \(m_1, m_2, m_3\) in case of \(\mathrm {GL}_3({\mathbb {Z}})\) as clear as possible in the highest weight \(\lambda \), we will often use these coefficients in the subscript of the notation \({\mathcal {M}}_{\lambda }\) in place of \(\lambda \), i.e. we write
For any torsion element \(T \in \mathrm {SL}_3({\mathbb {Z}}) \), we define
where \(\mu _1, \mu _2 \) and \(\mu _3\) are the eigenvalues of T and V denotes the standard representation of \(\mathrm {SL}_3\) (and \(\mathrm {GL}_3\)). Note that \({\mathcal {M}}_{m}\) above simply denotes the highest weight representation \({\mathcal {M}}_{m,0}\) of \(\mathrm {SL}_3\). We also use the notation
where T is a torsion element with characteristic polynomial \(\Phi \). Therefore,
Let \({\mathcal {M}}_{m_1, m_2}\) denote the irreducible representation of \(\mathrm {SL}_3\) with highest weight \(\lambda = m_1 \epsilon _1 + m_2 (\epsilon _1+\epsilon _2)\). Following Eqs. (16) and (19) we have
To obtain the complete information of \( \chi _{h}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_{m_1, m_2} ) \), let us compute the \(H_{m_1, m_2}(\Phi _1 \Phi _2^2) \), \(H_{m_1, m_2}(\Phi _1 \Phi _3) \), \(H_{m_1, m_2}(\Phi _1 \Phi _4) \) and \(H_{m_1, m_2}(\Phi _1 \Phi _6) \). One could do this by using the Weyl character formula as defined in Chapter 24 of [8],
but we will use another argument to calculate these traces. For that we consider the case \(\mathrm {GL}_3({\mathbb {Z}})\) and obtain the needed results as a corollary.
Lemma 5
Let \(\xi _k = e^{\frac{2\pi i}{k}}\), then
for \(k = 3, 4, 6\) and
Proof
We use the description of \({\mathcal {M}}_{m_1, m_2, m_3}\) given in [9]. In particular, one has a basis
such that under the action of \(\mathfrak {gl}_3\),
If we denote by \(\rho _{m_1, m_2, m_3}\) the representation corresponding to \({\mathcal {M}}_{m_1, m_2, m_3}\) then the diagram
is commutative. Therefore
and the result follows simply by using the fact that
\(\square \)
We denote \(C_k(p_1, p_2) = \sum _{q = p_2}^{p_1} \xi _k^{2q - (p_1 + p_2)}\), for \(k = 2, 3, 4, 6\). By using the fact that
one has that
Lemma 6
Proof
One can check that
This implies that for every integer \(\ell \),
in other words, the sum of three consecutive terms in the formula for \(C_6(p_1, p_2)\) is zero and \(C_6(p_1, p_2)\) only depends on \(p_1-p_2\) modulo 6. \(\square \)
Following the similar procedure we deduce the values of \(C_4(p_1, p_2) \) and \(C_3(p_1, p_2)\) which we summarize in the following lemma.
Lemma 7
and
Remark 8
For \(k=3, 4,6\), the sum of the \(C_k(p_1, p_2)\) for the different possible congruences of \(p_1 - p_2\) modulo k is zero, and this implies that
depends only on the congruences of \(m_1, m_2\) and \(m_3\) modulo k.
Following the above discussion, it is straightforward to prove the following
Lemma 9
For \(m_1, m_2, m_3 \in {\mathbb {N}}\) and \(k =3, 4, 6\), let i and j be \((m_1 \text{ mod } k) + 1\) and \((m_2 \text{ mod } k)+1\) respectively. Then \(H_{m_1, m_2, m_3}(\Phi _1 \Phi _k)\) is the (i, j)-entry of the matrix \(M_k\) where
Lemma 10
For \(m_1, m_2, m_3 \in {\mathbb {N}}\), let i and j be \((m_1 \text{ mod } 2) + 1\) and \( (m_2 \text{ mod } 2)+1\) respectively. Then \(H_{m_1, m_2, m_3}(\Phi _1 \Phi _2^2)\) is the (i, j)-entry of the matrix \(M_2\), where
Proof
We have
and
We now make a case by case study with respect to the parity of \(m_1\) and \(m_2\). If \(m_2\) is even then for a fixed \(p_1\),
Moreover, If \(m_1\) is even then
On the other hand, if \(m_1\) is odd then
Now, if \(m_2\) is odd then for a fixed \(p_1\),
and this depends only on the parity of \(p_1\). Hence,
\(\square \)
5.3 Euler characteristic of \(\mathrm {SL}_3({\mathbb {Z}})\) with respect to the highest weight representations
We compute the \( \chi _{h}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_{m_1, m_2} ) \) in the following table by computing each factor of the above Eq. (23) up to modulo 12, which is achieved simply by following the discussion of previous Sect. 5.2 and more explicitly from Lemmas 9 and 10. All these values are encoded in the following table consisting of 144 entries where rows run from \(0 \le i \le 11\) representing \(m_1 \equiv i (mod \, 12)\) and columns runs through \( 0 \le j \le 11\) representing \(m_2 \equiv j (mod \, 12)\). To accommodate the data with the available space, the table has been divided into two different tables of order \(12 \times 6\) each. In the first table (Table 8) j runs from \(0 (mod \, 12)\) to \(5 (mod \, 12)\) and in the second table (Table 9) from \( 6(mod\, 12)\) to \(11 (mod\, 12)\) and in both tables i runs from \( 0 (mod\, 12)\) to \( 11 (mod\, 12)\).
Once the entries of the table are computed, we get complete information about the Euler characteristics of \(\mathrm {SL}_3({\mathbb {Z}})\) which is summarized in the following
Theorem 11
The Euler characteristics of \(\mathrm {SL}_3({\mathbb {Z}})\) with coefficient in any highest weight representation \({\mathcal {M}}_{m_1,m_2}\), can be described by one of the following four cases, depending on the parity of \(m_1\) and \(m_2\). More precisely,
where \(S_{m+2}\), as described earlier in Sect. 5.1 by Eq. (22), is the space of holomorphic cusp forms of weight \(m+2\) for \(\mathrm {SL}_2({\mathbb {Z}})\), and for \(m=0\) we define \(\dim S_2=-1\).
For the reader’s convenience, the dimension of the space of cusp forms \(S_{m+2}\) is given by
5.4 Euler characteristic of \(\mathrm {GL}_3({\mathbb {Z}})\) with respect to the highest weight representations
This subsection is merely an example to reveal the fact that the results obtained for \(\mathrm {SL}_3({\mathbb {Z}})\) can easily be extended to \(\mathrm {GL}_3({\mathbb {Z}})\). However, This can also be easily concluded by using the Lemma 17 which appears later in Sect. 6.
Let T be any torsion element of \(\mathrm {GL}_3({\mathbb {Z}})\). Then \(H_{m}(-T) = (-1)^{m} H_m(T)\,.\) Therefore
For any \(T \in \mathrm {SL}_3({\mathbb {Z}})\), \(C_{\mathrm {GL}_{3}({\mathbb {Z}})}(T) = \{\pm I\} \times C_{\mathrm {SL}_{3}({\mathbb {Z}})}(T)\). This implies that
This gives
Therefore,
More generally, following the Weyl character formula, for any torsion element \(T \in \mathrm {GL}_3({\mathbb {Z}})\), we write
This implies that
6 Eisenstein cohomology
In this section, by using the information obtained about boundary cohomology and Euler characteristic of \(\mathrm {SL}_{3}({\mathbb {Z}})\), we discuss the Eisenstein cohomology with coefficients in \({\mathcal {M}}_\lambda \). We define the Eisenstein cohomology as the image of the restriction morphism to the boundary cohomology
In general, one can find the definition of Eisenstein cohomology as a certain subspace of \(H^{\bullet }(\mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda )\) that is a complement of a subspace of the interior cohomology. It is known that the interior cohomology \(H_!^\bullet (\mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda )\) is the kernel of the restriction morphism r. More precisely, we can simply consider the following happy scenario where the following sequence is exact.
To manifest the importance of the ongoing work and the complications involved, we refer the interested reader to an important article [22] of Lee and Schwermer.
6.1 A summary of boundary cohomology
For further exploration, we summarize the discussion of boundary cohomology of \(\mathrm {SL}_3({\mathbb {Z}})\) carried out in Sect. 4 in the form of following theorem.
Theorem 12
For \(\lambda = m_1\varepsilon _1 + m_2(\varepsilon _1+\varepsilon _2)\), the boundary cohomology of the orbifold \(\mathrm {S}\) of the arithmetic group \(\mathrm {SL}_3({\mathbb {Z}})\) with coefficients in the highest weight representation \({\mathcal {M}}_\lambda \) is described as follows.
- (1)
Case 1 : \(m_1 = m_2 = 0\) then
$$\begin{aligned} H^q(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda ) =\left\{ \begin{array}{llll} &{}{\mathbb {Q}} \quad \mathrm {for}\quad q=0,4 \\ &{}\\ &{}0 \qquad \mathrm {otherwise}\\ \end{array}\qquad .\right. \end{aligned}$$ - (2)
Case 2 : \(m_1=0\) and \(m_2 \ne 0\), \(m_2 \) even
$$\begin{aligned} H^q(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} H_{!}^{1}(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{e\cdot \lambda }) ,&{} q=1 \\ &{}\\ &{} H_{!}^{1}(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{s_2s_1\cdot \lambda }) ,&{} q=3 \\ &{}\\ &{}0 ,&{} \mathrm {otherwise}\\ \end{array},\right. \\= & {} \left\{ \begin{array}{llll} &{} S_{m_{2} + 2} ,&{} q=1 \\ &{}\\ &{} S_{m_2+2},&{} q=3 \\ &{}\\ &{}0 ,&{} \mathrm {otherwise}\\ \end{array}.\right. \end{aligned}$$ - (3)
Case 3 : \(m_1 \ne 0\), \(m_1\) even and \(m_2 =0\)
$$\begin{aligned} H^q(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} H_{!}^{1}(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{e\cdot \lambda }) ,&{} q=1 \\ &{}\\ &{} H_{!}^{1}(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{s_1s_2\cdot \lambda }) ,&{} q=3 \\ &{}\\ &{}0 ,&{} \mathrm {otherwise}\\ \end{array},\right. \\= & {} \left\{ \begin{array}{llll} &{} S_{m_1+2} ,&{} q=1 \\ &{}\\ &{} S_{m_1+2} ,&{} q=3 \\ &{}\\ &{}0 ,&{} \mathrm {otherwise}\\ \end{array}.\right. \end{aligned}$$ - (4)
Case 4 : \(m_1 \ne 0\), \(m_1\) even and \(m_2 \ne 0\), \(m_2\) even, then
$$\begin{aligned} H^q(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} {\mathbb {Q}}\oplus H_{!}^{1}(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{e\cdot \lambda })\oplus H_{!}^{1}(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{e\cdot \lambda }) ,&{} q=1 \\ &{}\\ &{} H_{!}^1(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{s_1s_2\cdot \lambda }) \oplus H_{!}^1(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{s_2s_1\cdot \lambda }) \oplus {\mathbb {Q}},&{} q=3 \\ &{}\\ &{}0 ,&{} \mathrm {otherwise}\\ \end{array},\right. \\= & {} \left\{ \begin{array}{llll} &{} {\mathbb {Q}}\oplus S_{m_1+2}\oplus S_{m_2+2} ,&{} q=1 \\ &{}\\ &{} {\mathbb {Q}}\oplus S_{m_1+2}\oplus S_{m_2+2} ,&{} q=3 \\ &{}\\ &{}0 ,&{} \mathrm {otherwise}\\ \end{array}.\right. \end{aligned}$$ - (5)
Case 5 : \(m_1 \ne 0\), \(m_1\) even and \(m_2 \) odd, then
$$\begin{aligned} H^q(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda )= & {} \left\{ \begin{array}{llll} &{}H^{1}_{!}(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{e\cdot \lambda }), &{} q=1 \\ &{}\\ &{} H^{1}_{!}(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{s_1 \cdot \lambda }) \oplus H^{1}_{!}(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{s_2 \cdot \lambda }) ,&{} q=2\\ &{}\\ &{} H^{1}_{!}(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{s_1s_2 \cdot \lambda }),&{} q=3\\ &{}\\ &{} 0 ,&{} \mathrm {otherwise} \end{array} ,\right. \\= & {} \left\{ \begin{array}{llll} &{} S_{m_1+2}, &{} q=1 \\ &{}\\ &{} S_{m_1+m_2+3} \oplus S_{m_1+m_2+3},&{} q=2\\ &{}\\ &{} S_{m_1+2},&{} q=3\\ &{}\\ &{} 0 ,&{} \mathrm {otherwise} \end{array} .\right. \end{aligned}$$ - (6)
Case 6 : \(m_1 = 0\) and \(m_2\) odd, then
$$\begin{aligned} H^q(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} H_{!}^1(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{s_1\cdot \lambda }) \oplus H_{!}^1(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{s_2\cdot \lambda }) \oplus {\mathbb {Q}}\oplus {\mathbb {Q}},&{} q=2 \\ &{}\\ &{} 0 \,,&{} \mathrm {otherwise} \end{array}\qquad ,\right. \\= & {} \left\{ \begin{array}{llll} &{} S_{m_1+m_2+3} \oplus S_{m_1+m_2+3} \oplus {\mathbb {Q}}\oplus {\mathbb {Q}},&{} q=2 \\ &{}\\ &{} 0 \,,&{} \mathrm {otherwise} \end{array}.\right. \\ \end{aligned}$$ - (7)
Case 7 : \(m_1 \) odd and \(m_2 =0\)
$$\begin{aligned} H^q(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} H_{!}^1(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{s_2\cdot \lambda }) \oplus H_{!}^1(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{s_1\cdot \lambda }) \oplus {\mathbb {Q}}\oplus {\mathbb {Q}},&{} q=2 \\ &{} \\ &{} 0 \,,&{} \mathrm {otherwise} \end{array}\qquad ,\right. \\= & {} \left\{ \begin{array}{llll} &{} S_{m_1+m_2+3} \oplus S_{m_1+m_2+3}\oplus {\mathbb {Q}}\oplus {\mathbb {Q}},&{} q=2 \\ &{} \\ &{} 0 \,,&{} \mathrm {otherwise} \end{array}.\right. \end{aligned}$$ - (8)
Case 8 : \(m_1\) odd, \(m_2 \ne 0\) even, then
$$\begin{aligned} H^q(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_\lambda )= & {} \left\{ \begin{array}{llll} &{}H^{1}_{!}(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{e\cdot \lambda }), &{} q=1 \\ &{}\\ &{} H^{1}_{!}(\mathrm {S}^{M_1}, {\widetilde{{\mathcal {M}}}}_{s_1 \cdot \lambda }) \oplus H^{1}_{!}(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{s_2 \cdot \lambda }) ,&{} q=2\\ &{}\\ &{} H^{1}_{!}(\mathrm {S}^{M_2}, {\widetilde{{\mathcal {M}}}}_{s_2s_1 \cdot \lambda }),&{} q=3\\ &{}\\ &{} 0 ,&{} \mathrm {otherwise} \end{array},\right. \\= & {} \left\{ \begin{array}{llll} &{}S_{m_2+2}, &{} q=1 \\ &{}\\ &{} S_{m_1+m_2+3} \oplus S_{m_1+m_2+3} ,&{} q=2\\ &{}\\ &{} S_{m_2+2},&{} q=3\\ &{}\\ &{} 0 ,&{} \mathrm {otherwise} \end{array}.\right. \\ \end{aligned}$$ - (9)
Case 9 : \(m_1\) odd and \(m_2\) odd, then
$$\begin{aligned} H^{q}(\partial \mathrm {S}, \widetilde{{\mathcal {M}}}_\lambda ) = 0 ,\qquad \forall q .\end{aligned}$$
Observe that at this point we have explicit formulas to determine the cohomology of the boundary.
6.2 Poincaré duality
Let \({\mathcal {M}}_\lambda ^*\) denote the dual representation of \({\mathcal {M}}_\lambda \). \({\mathcal {M}}_\lambda ^*\) is in fact the irreducible representation \({\mathcal {M}}_{\lambda ^*}\) associated to the highest weight \(\lambda ^*= -w_0(\lambda )\), where \(w_0\) denotes the longest element in the Weyl group. One has the natural pairings (see [16])
and
These pairings are compatible with the restriction morphism \(r:H^\bullet (\mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_\lambda ) \longrightarrow H^\bullet (\partial \mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_\lambda )\) and the connecting homomorphism \(\delta :H^\bullet (\partial \mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_\lambda ) \longrightarrow H_c^{\bullet +1}(\mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_\lambda )\) of the long exact sequence in cohomology associated to the pair \((\mathrm {S}, \partial \mathrm {S})\), in the sense that the pairings are compatible with the diagram:
\(H_{Eis}^\bullet (\mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_\lambda )\) is the image of the restriction morphism r and therefore, as an implication of the aforementionned compatibility between the pairings, the spaces \(H_{Eis}^\bullet (\mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_\lambda )\) are maximal isotropic subspaces of the boundary cohomology under the Poincaré duality. This means that \(H_{Eis}^\bullet (\mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_{\lambda ^*})\) is the orthogonal space of \(H_{Eis}^\bullet (\mathrm {S}_\Gamma , {\widetilde{{\mathcal {M}}}}_{\lambda })\) under this duality.
In particular, one has
6.3 Euler characteristic for boundary and Eisenstein cohomology
In the next few lines we establish a relation between the homological Euler characteristics of the arithmetic group and the Euler Characteristic of the Eisenstein cohomology of the arithmetic group, and similarly another relation with the Euler characteristic of the cohomology of the boundary. During this section we will be frequently using the notations \(H_{Eis}^\bullet (\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda )\) for \(H_{Eis}^\bullet (\mathrm {S}_\Gamma , \widetilde{{\mathcal {M}}}_\lambda )\) and \(H_{!}^\bullet (\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda )\) for \(H_{!}^\bullet (\mathrm {S}_\Gamma , \widetilde{{\mathcal {M}}}_\lambda )\) to make it very explicit the arithmetic group we are working with. See Sect. 5, for the definition of homological Euler characteristic of \(\mathrm {SL}_3({\mathbb {Z}})\). Note that we can define the “naive” Euler characteristic of the underlying geometric object as the alternating sum of the dimension of its various cohomology spaces. Following this, we define
and
The following two statements (Corollary 13 and Lemma 14) are synthesized in Theorem 15, which is needed for computing the Eisenstein cohomology of \(\mathrm {SL}_3({\mathbb {Z}})\) (see Theorem 16). As a consequence of Theorem 12, we obtain the following immediate
Corollary 13
where we are denoting \(dim S_2 = -1\).
As discussed in the previous paragraph, we now state and prove a simple relation between Euler characteristic of the Eisenstein cohomology and the homological Euler characteristic.
Lemma 14
Proof
Let us denote by \(h^i\), \(h^i_{Eis}\) and \(h^i_{!}\) the dimension of the spaces \(H^i(\mathrm {SL}_3({\mathbb {Z}}),{\mathcal {M}}_\lambda )\), \(H^i_{Eis}(\mathrm {SL}_3({\mathbb {Z}}),{\mathcal {M}}_\lambda )\) and \(H^i_{!}(\mathrm {SL}_3({\mathbb {Z}}),{\mathcal {M}}_\lambda )\), respectively. By definition, we have
Assume \(\lambda \ne 0\). Then \(h^0=0\). Following Bass-Milnor-Serre, Corollary 16.4 in [2], we know that \(h^1=0\).
On the other hand, let \({\mathcal {M}}_{\lambda ^*}\) be the dual representation of \({\mathcal {M}}_\lambda \). In our case, if \(\lambda = (m_1 + m_2) \varepsilon _1 + m_2\varepsilon _2\), then \(\lambda ^*= (m_1 + m_2) \varepsilon _1 + m_1\varepsilon _2\). One has by Poincaré duality that \(H^q_{!}(\mathrm {SL}_3({\mathbb {Z}}),{\mathcal {M}}_\lambda )\) is dual to \(H^{5-q}_{!}(\mathrm {SL}_3({\mathbb {Z}}),{\mathcal {M}}_{\lambda ^*})\). Moreover, if \(\lambda \ne \lambda ^*\) then \(H^\bullet _{!}(\mathrm {SL}_3({\mathbb {Z}}),{\mathcal {M}}_\lambda ) = 0\) (see for example Lemma 3.2 of [15]). Therefore one has, in all the cases, \(h^2_{!}=h^3_{!}\). Using that, we obtain
\(\square \)
We now state the following key result.
Theorem 15
Proof
Using Corollary 13 and Tables 8 and 9, we find that
Using Lemma 14, we have
Therefore,
\(\square \)
6.4 Main theorem on Eisenstein cohomology for \(\mathrm {SL}_3({\mathbb {Z}})\)
The following is the main result of the paper, that gives both the dimension of the Eisenstein cohomology together with its sources—the corresponding parabolic subgroups. It is stated using different cases that cover all possible highest weight representations. A central part of the proof is based on Theorems 12 and 15.
Theorem 16
-
(1)
Case 1 : \(m_1 = m_2 = 0\) then
$$\begin{aligned} H^{q}_{Eis}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda ) =\left\{ \begin{array}{llll} &{}{\mathbb {Q}} \quad \mathrm {for}\quad q=0 \\ &{}\\ &{}0 \qquad \mathrm {otherwise}\\ \end{array}.\right. \end{aligned}$$ -
(2)
Case 2 : \(m_1=0\) and \(m_2 \ne 0\), \(m_2 \) even
$$\begin{aligned} H^{q}_{Eis}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} S_{m_2+2},&{} q=3 \\ &{}\\ &{}0 ,&{} \mathrm {otherwise}\\ \end{array}.\right. \end{aligned}$$ -
(3)
Case 3 : \(m_1 \ne 0\), \(m_1\) even and \(m_2 =0\)
$$\begin{aligned} H^{q}_{Eis}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} S_{m_1+2} ,&{} q=3 \\ &{}\\ &{}0 ,&{} \mathrm {otherwise}\\ \end{array}.\right. \end{aligned}$$ -
(4)
Case 4 : \(m_1 \ne 0\), \(m_1\) even and \(m_2 \ne 0\), \(m_2\) even, then
$$\begin{aligned} H^{q}_{Eis}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} {\mathbb {Q}}\oplus S_{m_1+2}\oplus S_{m_2+2} ,&{} q=3 \\ &{}\\ &{}0 ,&{} \mathrm {otherwise}\\ \end{array}.\right. \end{aligned}$$ -
(5)
Case 5 : \(m_1 \ne 0\), \(m_1\) even and \(m_2\) odd, then
$$\begin{aligned} H^{q}_{Eis}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda ) = \left\{ \begin{array}{llll} &{} S_{m_1+m_2+3},&{} q=2\\ &{}\\ &{} S_{m_1+2},&{} q=3\\ &{}\\ &{} 0 ,&{} \mathrm {otherwise} \end{array} .\right. \end{aligned}$$ -
(6)
Case 6 : \(m_1 = 0\) and \(m_2\) odd, then
$$\begin{aligned} H^{q}_{Eis}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} S_{m_2+3} \oplus {\mathbb {Q}},&{} q=2 \\ &{}\\ &{} 0 \,,&{} \mathrm {otherwise} \end{array},\right. \\ \end{aligned}$$ -
(7)
Case 7 : \(m_1 \) odd and \(m_2 =0\)
$$\begin{aligned} H^{q}_{Eis}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} S_{m_1+3} \oplus {\mathbb {Q}},&{} q=2 \\ &{} \\ &{} 0 \,,&{} \mathrm {otherwise} \end{array}.\right. \end{aligned}$$ -
(8)
Case 8 : \(m_1\) odd and \(m_2 \ne 0\), \(m_2\) even, then
$$\begin{aligned} H^{q}_{Eis}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda )= & {} \left\{ \begin{array}{llll} &{} S_{m_1+m_2+3} ,&{} q=2\\ &{}\\ &{} S_{m_2+2},&{} q=3\\ &{}\\ &{} 0 ,&{} \mathrm {otherwise} \end{array},\right. \\ \end{aligned}$$ -
(9)
Case 9 : \(m_1\) odd and \(m_2\) odd, then
$$\begin{aligned} H^{q}_{Eis}(\mathrm {SL}_3({\mathbb {Z}}), {\mathcal {M}}_\lambda ) = 0 ,\qquad \forall q .\end{aligned}$$
Proof
Let
and
For any nontrivial highest weight representation we have \(h^0=0\), since any proper \(\mathrm {SL}_3({\mathbb {Z}})\)-invariant subrepresentation of \({{\mathcal {M}}}_\lambda \) is trivial. Also, \(h^1=0\), from Bass-Milnor-Serre [2], Corollary 16.4. Therefore, \(h^0_{Eis}=h^1_{Eis}=0\). Following [28] and [4], we know that the cohomological dimension of \(\mathrm {SL}_3({\mathbb {Z}})\) is 3. Moreover, \(h^2_!=h^3_!\) since the corresponding cohomology groups are dual to each other. Therefore,
Cases 2, 3 and 4 We have that \(h^2_\partial =0\). Therefore, \(h^2_{Eis}=0\). From Eq. (27) and Theorem 15, we obtain \(h^3_{Eis} =-\chi _h(\mathrm{SL}_3({\mathbb {Z}}),{{\mathcal {M}}}_{\lambda }) =-\frac{1}{2}\chi (H^\bullet (\partial \mathrm {S},\widetilde{{\mathcal {M}}}_{\lambda })).\) Using Theorem 11, we conclude the formulas for case 2 and case 3 of Theorem 15.
Cases 6 and 7 We have that \(h^3_\partial =0\). Therefore, \(h^3_{Eis}=0\). From Eq. (27) and Theorem 15, we obtain \(h^2_{Eis} =\chi _h(\mathrm {SL}_3({\mathbb {Z}}),{\mathcal {M}}_\lambda ) =\frac{1}{2}\chi (H^\bullet (\partial \mathrm {S},\widetilde{{\mathcal {M}}}_\lambda )).\) Using Theorem 12, we conclude the formulas for case 6 and case 7 of Theorem 16.
Cases 5 and 8 The two cases are dual to each other. Thus it is enough to consider only case 5. From Poincaré duality (26), we have
From Theorem 15, we have
Adding Eqs. (28) and (29), we obtain
Subtracting Eqs. (28) and (29), we obtain
Also, \({\mathcal {M}}_\lambda \) is a regular representation. Therefore,
and
Form, Eq. (30), we have
Therefore, the above inclusions are equalities, i.e.
Then
Since \(H^2_{Eis}(\mathrm {SL}_3({\mathbb {Z}}),{\mathcal {M}}_{\lambda }) \subset H^2(\partial \mathrm {S},\widetilde{{\mathcal {M}}}_{\lambda }),\) therefore from Theorem 12 and Eq. (31), we conclude that
\(\square \)
Note that in case of \(\mathrm {GL}_3({\mathbb {Z}})\), its highest weight representation \({\mathcal {M}}_{\lambda }\) is defined for highest weight \(\lambda =m_1 \gamma _1 + m_2 \gamma _2 + m_3 \gamma _3\) with \(\gamma _1 =\epsilon _1, \gamma _2 = \epsilon _1+ \epsilon _2, \gamma _3 = \epsilon _1+ \epsilon _2 +\epsilon _3\). In this case the cohomology groups \(H^{q}(\mathrm {GL}(3,{\mathbb {Z}}),{\mathcal {M}}_\lambda )\) can be described explicitly which we state in the following lemma.
Lemma 17
Let \({\mathcal {M}}_\lambda \) be the highest weight representation of \(\mathrm {GL}_3({\mathbb {Z}})\) with \(\lambda =m_1 \gamma _1 + m_2 \gamma _2 + m_3 \gamma _3\), then
where \({\mathcal {M}}_\nu = \left. {\mathcal {M}}_{\lambda }\right| _{\mathrm {SL}_3}\), i.e. \(\nu \) is the highest weight of \(\mathrm {SL}_3\) given by \(\nu =(m_1+m_2)\epsilon _1 + m_2\epsilon _2\).
Note that the first equality is by Hochschild-Serre spectral sequence and the second one follows from the parity condition. Here \({\mathbb {G}}_m({\mathbb {Z}})=\{-1,1\}\). We may conclude the above discussion simply in the following corollary.
Corollary 18
Let \(\Gamma \) be either \(\mathrm {GL}_3({\mathbb {Z}})\) or \(\mathrm {SL}_3({\mathbb {Z}})\), and \({\mathcal {M}}_{\lambda }\) be any highest weight representation of \(\Gamma \). The following are true.
- (1)
If \({\mathcal {M}}_{\lambda }\) is not self dual then
$$\begin{aligned} H^{q}(\Gamma , {\mathcal {M}}_{\lambda }) = H^{q}_{Eis}(\Gamma , {\mathcal {M}}_{\lambda }). \end{aligned}$$ - (2)
If \({\mathcal {M}}_{\lambda }\) is self dual then we have
$$\begin{aligned} H^{q}(\Gamma , {\mathcal {M}}_{\lambda })= H^{q}_{Eis}(\Gamma , {\mathcal {M}}_{\lambda }) \oplus H^{q}_{!}(\Gamma , {\mathcal {M}}_{\lambda }), \end{aligned}$$where \(H^{2}_{!}(\Gamma , {\mathcal {M}}_{\lambda })\) and \(H^{3}_{!}(\Gamma , {\mathcal {M}}_{\lambda })\) are dual to each other, and \(H^{0}_{!}(\Gamma , {\mathcal {M}}_{\lambda })=H^{1}_{!}(\Gamma , {\mathcal {M}}_{\lambda })=0\).
Remark 19
In Theorem 16 and hence in Corollary 18, we obtain exactly the dimensions of the group cohomlogy \(H^i(\mathrm {GL}_3({\mathbb {Z}}),{\mathcal {M}}_\lambda )\) and \(H^i(\mathrm {SL}_3({\mathbb {Z}}),{\mathcal {M}}_\lambda )\), when the highest weight representation \({\mathcal {M}}_\lambda \) is not self dual. For self dual representations, the result gives lower bounds for the dimensions because the discrepancy between the total cohomology and the Eisenstein cohomology is the inner cohomology (which over \({\mathbb {C}}\) contains the cuspidal cohomology) that is nonzero only in degrees 2 and 3. Even more, because of Poincaré duality, the inner cohomology in degree 2 is dual to the inner cohomology in degree 3.
7 Ghost classes
Following the discussion in Sect. 2, we have
and the covering \(\partial {\overline{\mathrm {S}}} = \cup _{\mathrm {P}\in {\mathcal {P}}_{\mathbb {Q}}(G)}\partial _{\mathrm {P}}\), which induces a spectral sequence in cohomology connecting to \(H^\bullet (\partial {\overline{\mathrm {S}}}, {\widetilde{{\mathcal {M}}}}_\lambda )\), leads to another long exact sequence in cohomology
We now define the space of q-ghost classes by
We will see that for almost every q and \(\lambda \), \(Gh^q({\widetilde{{\mathcal {M}}}}_\lambda ) = \{0\}\). For pedagogical reasons, we now provide the details for all the nine cases. To begin with let us define the maps
and for \(i=1,2\)
Note that \(H^{q}(\mathrm {S}, {\widetilde{{\mathcal {M}}}}_{\lambda }) =0\) for \(q =1\) and \(q \ge 4\). Following this in all the cases, we obtain \(Im(r^{q})= \{0\}\) for \(q = 1\) and \(q \ge 4.\) Also, in every case, \(Ker(p^{0}) = Im(s_{_{0}}) = \{0\}\). Therefore, it is easy to see that in all the cases we get the following conclusion.
Lemma 20
For any highest weight \(\lambda \), \(Gh^q({\widetilde{{\mathcal {M}}}}_\lambda ) = \{0\}\) for \(q = 0,1\) and \(q \ge 4.\)
Now, what remains to discuss is the space \(Gh^{q}({\widetilde{{\mathcal {M}}}}_{\lambda })\) for \(q=2,3\). Following the above discussion, we observe that in case 1 and case 9, \(Gh^{q}({\widetilde{{\mathcal {M}}}}_{\lambda })=\{ 0\} , \forall q\). Since from Theorem 12, \(H^{q}(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_{\lambda }) =0\), \(\forall q\) in case 9 and for \(q=1,2,3\) in case 1.
Note that case 2 and case 3, are dual to each other. We know that \(H^{2}(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_{\lambda })=0\) therefore \(Ker(p^{2})=\{0\}\). This gives us \(Gh^{2}({\widetilde{{\mathcal {M}}}}_{\lambda }) = \{ 0\}.\) For \(q=3\) we have
where \(s_{_{3}} : H^{2}(\partial _0, {\widetilde{{\mathcal {M}}}}_{\lambda }) \longrightarrow H^{3}(\partial S, {\widetilde{{\mathcal {M}}}}_{\lambda }) ,\) and following (14) we see that \(Im(s_{_{3}})=\{ 0\}\) since \(H^{2}(\partial _0, {\widetilde{{\mathcal {M}}}}_{\lambda })=0\). In other words, in case 2, there are no second degree cohomology classes of \(\mathrm {P}_0\) and this implies that the domain of \(s_{_{3}}\) is zero. Hence, the image is so. We conclude this in the form of following lemma.
Lemma 21
In case 2 and case 3, i.e. for \(\lambda =m_2 \gamma _2\) and \(\lambda =m_1 \gamma _1 \), respectively, with \(m_1, m_2\) non zero even integers, \(Gh^q({\widetilde{{\mathcal {M}}}}_\lambda ) = \{0\}, \, \, \forall q .\)
Let us discuss now the case 6 and case 7. Following Theorem 12, \(H^{3}(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_{\lambda })=0\) and therefore \(Gh^3({\widetilde{{\mathcal {M}}}}_\lambda ) =\{0\}\). By the definition of ghost classes, we have \(Gh^2({\widetilde{{\mathcal {M}}}}_\lambda )=Im(r^2) \cap Im(s_{_{2}}) \) where \( s_{_{2}} : H^{1}(\partial _0, {\widetilde{{\mathcal {M}}}}_{\lambda }) \longrightarrow H^{2}(\partial \mathrm {S}, {\widetilde{{\mathcal {M}}}}_{\lambda }) ,\) i.e.
However, \( H^{0}(\mathrm {S}^{{\mathrm{M}}_{0}}, {\widetilde{{\mathcal {M}}}}_{s_2\cdot \lambda })=0\) and \(\dim H^{0}(\mathrm {S}^{{\mathrm{M}}_{0}}, {\widetilde{{\mathcal {M}}}}_{s_1\cdot \lambda })=1.\) Therefore, in case 6 and case 7, either \(\dim Gh^2({\widetilde{M}}_\lambda )=0\) or 1.
Lemma 22
In case 6 and case 7, i.e. for \(\lambda =m_2 \gamma _2\) and \(\gamma =m_1\gamma _1\), respectively, with \(m_1\) and \(m_2\) any odd integer, \(Gh^q({\widetilde{{\mathcal {M}}}}_\lambda ) = \{0\}, \, \, \forall q,\) except possibly for \(q =2\).
Consider now the case 5 and case 8. In case 5, \(Gh^2({\widetilde{{\mathcal {M}}}}_\lambda ) =\{ 0\} \) since \(Ker(p^{2})=\{0\}\). This simply follows by studying \(Im(s_{_2})\) where \(s_{_2}\) is defined by
and \(Ker(s_2)\) is the image of the morphism
from the exact sequence (32). From the calculations in Sect. 4 we get \(Im(s_{_2})=0\). Similarly, we have
and again by same reasoning, we see that \(s_{_3}\) vanishes. Therefore \(Gh^3({\widetilde{{\mathcal {M}}}}_\lambda ) =\{0\}\). Case 8 is analogous and we simply conclude the following.
Lemma 23
In case 5 and case 8, i.e. for \(\lambda =m_1 \gamma _1+m_2 \gamma _2\) with \(m_1\) and \(m_2\) nonzero and having different parity modulo 2, \(Gh^q({\widetilde{{\mathcal {M}}}}_\lambda ) = \{0\}, \, \, \forall q .\)
The only case that remains to discuss is case 4. Following Lemma 20, the only cases which need to be discussed are \(q=2\) and \(q=3\). However, following case 4 of Theorem 12, we know that \(H^{2}(\partial S, {\widetilde{{\mathcal {M}}}}_{\lambda }) =0\), therefore \(Gh^2({\widetilde{{\mathcal {M}}}}_\lambda ) = \{0\}.\)\(Gh^3({\widetilde{{\mathcal {M}}}}_\lambda ) = 0\) because \(H^2(\partial _{0},\widetilde{{\mathcal {M}}}_\lambda ) = 0\). Hence, we can simply summarize this in the form of following lemma.
Lemma 24
In case 4, i.e. for \(\lambda =m_1 \gamma _1+m_2 \gamma _2\) with \(m_1, m_2\) both non zero even integers, \(Gh^q({\widetilde{{\mathcal {M}}}}_\lambda ) = \{0\}, \, \, \forall q .\)
Remark 25
We can summarize the whole discussion of this section in the following lines to give the reader an intuitive idea of how to get to the punchline. The kernel of \(p^q\) is isomorphic to the image of \(s_{_{q}}\) and the image of \(r^q\) is the Eisenstein cohomology of degree q. Thus the ghost classes are classes in the Eisenstein cohomology that are also in the image of the connecting homomorphism \(s_q\). Since the Eisenstein cohomology is concentrated in degrees 2 and 3, see Theorem 16, we have that any ghost class of \(\mathrm {SL}_3({\mathbb {Z}})\) must come from the image of \(H^1(\partial _{0},\widetilde{{\mathcal {M}}}_\lambda )\) or \(H^2(\partial _{0},\widetilde{{\mathcal {M}}}_\lambda )\) in \(H^2(\partial \mathrm {S},\widetilde{{\mathcal {M}}}_\lambda )\) or \(H^3(\partial \mathrm {S},\widetilde{{\mathcal {M}}}_\lambda )\), respectively. Examining all the nine cases of boundary cohomology (see Theorem 12), we see that there is no contribution from the minimal parabolic subgroup \(\mathrm {P}_0\) to the boundary cohomology of degree 2 or 3, except in the cases 6 and 7. Thus, there are no ghost classes in \(\mathrm {SL}_3({\mathbb {Z}})\) and similarly in \(\mathrm {GL}_3({\mathbb {Z}})\), except possibly in the cases 6 and 7.
Hence, we summarize the discussion in the following theorem.
Theorem 26
There are no nontrivial ghost classes in \(\mathrm {SL}_3({\mathbb {Z}})\) and \(\mathrm {GL}_3({\mathbb {Z}})\), except in the cases 6 and 7. In those cases, non-zero ghost classes might occur only in degree 2, where we have \(Gh^2({\widetilde{M}}_\lambda )=0\) or \({\mathbb {Q}}\).
References
Bajpai, J., Moya Giusti, M.: Ghost classes in \({\mathbb{Q}}\)-rank two orthogonal Shimura varieties. Math. Z. (2020)
Bass, H., Milnor, J., Serre, J.-P.: Solution of the congruence subgroup problem for \({{\rm SL}}_{n}\,(n\ge 3)\) and \({{\rm Sp}}_{2n}\,(n\ge 2)\). Inst. Hautes Études Sci. Publ. Math. 33, 59–137 (1967)
Borel, A.: Cohomology and spectrum of an arithmetic group. In: Operator algebras and group representations, vol. I (Neptun, 1980). Monographs Studies in Mathematics, vol. 17, pp. 28–45. Pitman, Boston (1984)
Borel, A., Serre, J.-P.: Corners and arithmetic groups. Comment. Math. Helv. 48, 436–491 (1973) (avec un appendice: arrondissement des variétés à coins, par A. Douady et L. Hérault)
Brown, K.S.: Cohomology of groups. In: Graduate Texts in Mathematics, vol. 87. Springer, New York (1994) (corrected reprint of the 1982 original)
Chiswell, I.M.: Euler characteristics of groups. Math. Z. 147(1), 1–11 (1976)
Franke, J.: Harmonic analysis in weighted \(L_2\)-spaces. Ann. Sci. École Norm. Sup. (4) 31(2), 181–279 (1998)
Fulton, W., Harris, J.: Representation theory. In: Graduate Texts in Mathematics, vol. 129. Springer, New York (1991) (a first course, readings in mathematics)
Gelfand, I.M., Cetlin, M.L.: Finite-dimensional representations of the group of unimodular matrices. Dokl. Akad. Nauk. SSSR (N.S.) 71, 825–828 (1950)
Harder, G.: A Gauss–Bonnet formula for discrete arithmetically defined groups. Ann. Sci. École Norm. Sup. 4(4), 409–455 (1971)
Harder, G.: Eisenstein cohomology of arithmetic groups. The case \({{\rm GL}}_2\). Invent. Math. 89(1), 37–118 (1987)
Harder, G.: Some results on the Eisenstein cohomology of arithmetic subgroups of \({\rm GL}_n\). In: Cohomology of arithmetic groups and automorphic forms (Luminy-Marseille, 1989). Lecture Notes in Mathematics, vol. 1447, pp. 85–153. Springer, Berlin (1990)
Harder, G.: Arithmetic aspects of rank one Eisenstein cohomology. In: Cycles, motives and Shimura varieties. Tata Institute of Fundamental Research Studies in Mathematics, vol. 21, pp. 131–190. Tata Institute of Fundamental Research, Mumbai (2010)
Harder, G.: The Eisenstein motive for the cohomology of \({{\rm GSp}}_2(\mathbb{Z})\). In: Geometry and arithmetic, EMS Series of Congress Reports, pp. 143–164. European Mathematical Society, Zürich (2012)
Harder, G.: The cohomology of arithmetic Groups. http://www.math.uni-bonn.de/people/harder/Manuscripts/buch/Volume-III.Feb-26-2020.pdf (in preparation) (2020)
Harder, G., Raghuram, A.: Eisenstein cohomology for \({\rm GL}_N\) and the special values of Rankin–Selberg \(L\)-functions. In: Annals of Mathematics Studies, vol. 203. Princeton University Press, Princeton (2020)
Horozov, I.: Euler characteristics of arithmetic groups. Thesis (Ph.D.), Brown University.ProQuest LLC, Ann Arbor (2004)
Horozov, I.: Euler characteristics of arithmetic groups. Math. Res. Lett. 12(2–3), 275–291 (2005)
Horozov, I.: Cohomology of \(GL_4(\mathbb{Z})\) with nontrivial coefficients. Math. Res. Lett. 21(5), 1111–1136 (2014)
Kewenig, A., Rieband, T.: Geisterklassen im bild der borelabbildung fur symplektische und orthogonale gruppen. Master’s Thesis (1997)
Kostant, B.: Lie algebra cohomology and the generalized Borel–Weil theorem. Ann. Math. 2(74), 329–387 (1961)
Lee, R., Schwermer, J.: Cohomology of arithmetic subgroups of \({\rm SL}_{3}\) at infinity. J. Reine Angew. Math. 330, 100–131 (1982)
Moya Giusti, M.: Ghost classes in the cohomology of the Shimura variety associated to \(GSp_4\). Proc. Am. Math. Soc. 146(6), 2315–2325 (2018)
Moya Giusti, M.: On the existence of ghost classes in the cohomology of the Shimura variety associated to \(GU(2,2)\). Math. Res. Lett. 25(4), 1227–1249 (2018)
Rohlfs, J.: Projective limits of locally symmetric spaces and cohomology. J. Reine Angew. Math. 479, 149–182 (1996)
Schwermer, J.: Kohomologie arithmetisch definierter Gruppen und Eisensteinreihen. In: Lecture Notes in Mathematics, vol. 988. Springer, Berlin (1983)
Serre, J.-P.: Cohomologie des groupes discrets. Ann. Math. Stud. 70, 77–169 (1971)
Soulé, C.: The cohomology of \({\rm SL}_{3}({ Z})\). Topology 17(1), 1–22 (1978)
Wall, C.T.C.: Rational Euler characteristics. Proc. Camb. Philos. Soc. 57, 182–184 (1961)
Acknowledgements
Open Access funding provided by Projekt DEAL. The authors would like to thank the Max Planck Institute for Mathematics (MPIM), Bonn, where most of the discussion and work took place, for its hospitality and support. JB would like to thank the Mathematics Department of the Georg-August University Göttingen for the support, and especially to Valentin Blomer and Harald Helfgott for their encouragement during the writing of this article. In addition, JB would like to thank the organizers of the HIM trimester program on “Periods in Number Theory, Algebraic Geometry and Physics” for giving him the opportunity to participate, where he benefited through many stimulating conversations with Günter Harder and Madhav Nori, and extend his thanks to the Institut des Hautes Études Scientifiques (IHES), Paris, for their hospitality during the final work on this article. JB’s work is financially supported by ERC Consolidator grant 648329 (GRANT).
IH would like to thank Günter Harder for the multiple discussions during his visit to MPIM, and Karen Vogtmann and Martin Kassabov, for raising an important question which has been answered through the work of this article.
MM would like to thank IHES, Université Paris 13 and Université Paris-Est Marne-la-Vallée for their hospitality, and Günter Harder for his support and for the many inspiring discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Wei Zhang.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bajpai, J., Harder, G., Horozov, I. et al. Boundary and Eisenstein cohomology of \(\mathrm {SL}_3({\mathbb {Z}})\). Math. Ann. 377, 199–247 (2020). https://doi.org/10.1007/s00208-020-01976-9
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-020-01976-9