As before, $\Gamma $ is the subgroup of the rational linear group $GL_2(\mathbb{Q}) $ consisting of the matrices
$\begin{bmatrix} 1 & b \\ 0 & a \end{bmatrix} $ with $a \in \mathbb{Q}_+ $ and $\Gamma_0 $ the subgroup of all matrices $\begin{bmatrix} 1 & n \\ 0 & 1 \end{bmatrix} $ with $n \in \mathbb{N} $. Last time, we have seen that the double coset space $\Gamma_0 \backslash \Gamma / \Gamma_0 $ can be identified with the set of all rational points in the fractal comb consisting of all couples $~(a,b) $ with $a=\frac{m}{n} \in \mathbb{Q}_+ $ and $b \in [0,\frac{1}{n}) \cap \mathbb{Q} $
The blue spikes are at the positive natural numbers $a={ 1,2,3,\ldots } $. Over $a=1 $ they correspond to the matrices $\begin{bmatrix} 1 & \gamma \\ 0 & 1 \end{bmatrix} $ with $\gamma \in [0,1) \cap \mathbb{Q} $ and as matrix-multiplication of such matrices corresponds to addition of the $\gamma $ we see that these cosets can be identified with the additive group $\mathbb{Q}/\mathbb{Z} $ (which will reappear at a later stage as the multiplicative group of all roots of unity).
The Bost-Connes Hecke algebra $\mathcal{H} = \mathcal{H}(\Gamma,\Gamma_0) $ is the convolution algebra of all comlex valued functions with finite support on the double coset space $\Gamma_0 \backslash \Gamma / \Gamma_0 $. That is, as a vector space the algebra has as basis the functions $e_X $ with $X \in \Gamma_0 \backslash \Gamma / \Gamma_0 $ (that is, $X $ is a point of the fractal comb) and such that $e_X(X)=1 $ and $e_X(Y)=0 $ for all other double cosets $Y \not= X $. The algebra product on $\mathcal{H} $ is the convolution-product meaning that if $f,f’ $ are complex functions with finite support on the Bost-Connes space, then they can also be interpreted as $\Gamma_0 $-bi-invariant functions on the group $\Gamma $ (for this just means that the function is constant on double cosets) and then $f \ast f’ $ is the function defined for all $\gamma \in \Gamma $ by
$f \ast f'(\gamma) = \sum_{\mu \in \Gamma/ \Gamma_0} f(\mu) f'(\mu^{-1} \gamma) $
Last time we have seen that the coset-space $\Gamma / \Gamma_0 $ can be represented by all rational points $~(a,b) $ with $b<1 $. At first sight, the sum above seems to be infinite, but, f and f’ are non-zero only at finitely many double cosets and we have see last time that $\Gamma_0 $ acts on one-sided cosets with finite orbits. Therefore, $f \ast f $ is a well-defined $\Gamma_0 $-bi-invariant function with finite support on the fractal comb $\Gamma_0 \backslash \Gamma / \Gamma_0 $. Further, observe that the unit element of $\mathcal{H} $ is the function corresponding to the identity matrix in $\Gamma $.
Looking at fractal-comb picture it is obvious that the Bost-Connes Hecke algebra $\mathcal{H} $ is a huge object. Today, we will prove the surprising result that it can be generated by the functions corresponding to the tiny portion of the comb, shown below.
That is, we will show that $\mathcal{H} $ is generated by the functions $e(\gamma) $ corresponding to the double-coset $X_{\gamma} = \begin{bmatrix} 1 & \gamma \\ 0 & 1 \end{bmatrix} $ (the rational points of the blue line-segment over 1, or equivalently, the elements of the group $\mathbb{Q}/\mathbb{Z} $), together with the functions $\phi_n $ corresponding to the double-coset $X_n = \begin{bmatrix} 1 & 0 \\ 0 & n \end{bmatrix} $ for all $ n \in \mathbb{N}_+ $ (the blue dots to the right in the picture) and the functions $\phi_n^* $ corresponding to the double cosets $X_{1/n} = \begin{bmatrix} 1 & 0 \\ 0 & \frac{1}{n} \end{bmatrix} $ (the red dots to the left).
Take a point in the fractal comb $X = \begin{bmatrix} 1 & \gamma \\ 0 & \frac{m}{n} \end{bmatrix} $ with $~(m,n)=1 $ and $\gamma \in [0,\frac{1}{n}) \cap \mathbb{Q} \subset [0,1) \cap \mathbb{Q} $. Note that as $\gamma < \frac{1}{n} $ we have that $n \gamma < 1 $ and hence $e(n \gamma) $ is one of the (supposedly) generating functions described above.
Because $X = \begin{bmatrix} 1 & \gamma \\ 0 & \frac{m}{n} \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & m \end{bmatrix} \begin{bmatrix} 1 & n \gamma \\ 0 & 1 \end{bmatrix} \begin{bmatrix} 1 & 0 \\ 0 & \frac{1}{n} \end{bmatrix} = X_m X_{n \gamma} X_{1/n} $ we are aiming for a relation in the Hecke algebra $\phi_m \ast e(n \gamma) \ast \phi^*_n = e_X $. This is ‘almost’ true, except from a coefficient.
Let us prove first the equality of functions $e_X \ast \phi_n = n \phi_m \ast e(n \gamma) $. To do this we have to show that they have the same value for all points $Y \in \Gamma_0 \backslash \Gamma / \Gamma_0 $ in the fractal comb. Let us first study the function on the right hand side.
$\phi_m \ast e(n \gamma) = \sum_{g \in \Gamma/\Gamma_0} \phi_m(g) e(n \gamma)(g^{-1}Y) $. Because $X_m \Gamma_0 $ is already a double coset (over $m $ we have a comb-spike of length one, so all rational points on it determine at the same time a one-sided and a double coset. Therefore, $\phi_m(g) $ is zero unless $g = X_m $ and then the value is one.
Next, let us consider the function on the left-hand side. $e_X \ast \phi_n(Y) = \sum_{g \in \Gamma / \Gamma_0} e_X(g) \phi_m( g^{-1} Y) $. We have to be a bit careful here as the double cosets over $a=\frac{m}{n} $ are different from the left cosets. Recall from last time that the left-cosets over a are given by all rational points of the form $~(a,b) $ with $ b < 1 $ whereas the double-cosets over a are represented by the rational points of the form $~(a,b) $ with $b < \frac{1}{n} $ and hence the $\Gamma_0 $-orbits over a all consist of precisely n elements g.
That is, $e_X(g) $ is zero for all $ g \in \Gamma/\Gamma_0 $ except when g is one of the following matrices
$ g \in { \begin{bmatrix} 1 & \gamma \\ 0 & \frac{m}{n} \end{bmatrix}, \begin{bmatrix} 1 & \gamma+\frac{1}{n} \\ 0 & \frac{m}{n} \end{bmatrix}, \begin{bmatrix} 1 & \gamma + \frac{2}{n} \\ 0 & \frac{m}{n} \end{bmatrix}, \ldots, \begin{bmatrix} 1 & \gamma + \frac{n-1}{n} \\ 0 & \frac{m}{n} \end{bmatrix} } $
Further, $\phi_n(g^{-1}Y) $ is zero unless $g^{-1}Y \in \Gamma_0 \begin{bmatrix} 1 & 0 \\ 0 & n \end{bmatrix} \Gamma_0 $, or equivalently, that $Y \in \Gamma_0 g \Gamma_0 \begin{bmatrix} 1 & 0 \\ 0 & n \end{bmatrix} \Gamma_0 = \Gamma_0 g \begin{bmatrix} 1 & 0 \\ 0 & n \end{bmatrix} \Gamma_0 $ and for each of the choices for g we have that
$ \begin{bmatrix} 1 & \gamma + \frac{k}{n} \\ 0 & \frac{m}{n} \end{bmatrix} \begin{bmatrix} 1 & 0 \\ 0 & n \end{bmatrix} = \begin{bmatrix} 1 & n \gamma + k \\ 0 & m \end{bmatrix} \sim \begin{bmatrix} 1 & n\gamma \\ 0 & m \end{bmatrix} $
Therefore, the function $e_X \ast \phi_n $ is zero at every point of the fractal comb unless at $\begin{bmatrix} 1 & n \gamma \\ 0 & m \end{bmatrix} $ where it is equal to $n $. This proves the claimed identity of functions and as one verifies easily that $\phi_n^* \ast \phi_n = 1 $, it follows that all base vectors $e_X $ of $\mathcal{H} $ can be expressed in the claimed generators
$ e_X = n \phi_m \ast e(n \gamma) \ast \phi_n^* $
Bost and Connes use slightly different generators, namely with $\mu_n = \frac{1}{\sqrt{n}} \phi_n $ and $\mu_n^* = \sqrt{n} \phi_n^* $ in order to have all relations among the generators being defined over $\mathbb{Q} $ (as we will see another time). This will be important later on to have an action of the cyclotomic Galois group $Gal(\mathbb{Q}^{cycl}/\mathbb{Q}) $ on certain representations of $\mathcal{H} $.
On Facebook a couple of people have created the group The Petition for Alexander Grothendieck to Return from Exile. As you need to sign-up to Facebook to use this link and some of you may not be willing to do so, let me copy the description.