Abstract:We generalize a result of M. Kapranov, O. Schiffmann, and E. Vasserot by showing that, for a number field $K$ with class number one, the spherical Hall algebra of $\overline{\operatorname{Spec}(\mathcal{O}_K)}$, where $\mathcal{O}_K$ is the ring of integers of $K$, is isomorphic to the Paley-Wiener shuffle algebra associated to a Hecke $L$-function corresponding to $K$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: for a number field \(K\) with class number 1, whether the spherical Hall algebra of its ring of integers \(O_K\) is isomorphic to the Paley - Wiener shuffle algebra corresponding to some Hecke L - function.
Specifically, the authors generalize the results in [KSV12] by M. Kapranov, O. Schiffmann and E. Vasserot. In [KSV12], they proved that the spherical Hall algebra of Spec(Z) is isomorphic to the Paley - Wiener shuffle algebra corresponding to the global Harish - Chandra function \(\Phi(s)=\frac{\zeta^*(s)}{\zeta^*(s + 1)}\), where \(\zeta^*(s)=\pi^{-s/2}\Gamma(s/2)\zeta(s)\) is the completed Riemann zeta function.
In this paper, the authors generalize the above results to any number field \(K\) with class number 1, that is, the ring of integers \(O_K\) of \(K\) is a principal ideal domain. They prove that the spherical Hall algebra of Spec(\(O_K\)) is isomorphic to the Paley - Wiener shuffle algebra corresponding to some Hecke L - function.
### Main Conclusions
The main conclusion of the paper can be summarized as the following theorem:
\[ \text{Theorem 0.2. The map } Ch : SH \to SH(\Phi_K)_{PW} \text{ is an isomorphism of algebras.} \]
Here, \(SH\) is the spherical Hall algebra of Spec(\(O_K\)), and \(SH(\Phi_K)_{PW}\) is the Paley - Wiener shuffle algebra defined by the Hecke L - function \(L_K(\lambda^*, s)\). Specifically, \(\Phi_K(\lambda^*, s)\) is defined as:
\[ \Phi_K(\lambda^*, s)=\frac{L^*_K(\lambda^*, s)}{L^*_K(\lambda^*, s + 1)}, \]
where \(L^*_K(\lambda^*, s)=\pi^{-(r_1/2)s}(2\pi)^{-r_2 s}\Gamma_K(\lambda^*, s)L_K(\lambda^*, s)\), and \(r_1\) and \(r_2\) are the numbers of real and complex embeddings of \(K\) respectively.
### Methods for Solving the Problem
To prove this conclusion, the authors proceed through the following steps:
1. **Define Vector Bundles**: Define vector bundles of rank \(n\) on Spec(\(O_K\)) and study the isomorphism classes of these vector bundles.
2. **Construct Hall Algebras**: Construct Hall algebras based on the isomorphism classes of vector bundles and define the Hall product.
3. **Introduce Hecke L - functions**: Define the Hecke L - function \(L_K(\lambda^*, s)\) related to the number field \(K\).
4. **Define Shuffle Multiplication**: Use \(\Phi_K(\lambda^*, s)\) to define shuffle multiplication, thereby constructing the shuffle algebra.
5. **Fourier Transform**: Define the Fourier transform and its inverse transform to connect the Hall algebra and the shuffle algebra.
6. **Construct Isomorphism Mapping**: Finally, construct the isomorphism mapping \(Ch\) and prove that it is an algebraic isomorphism.
Through these steps, the authors successfully generalize the previous results and prove the spherical Hall of Spec(\(O_K\))