Abstract:These are extended lecture notes for a mini course at the Spring School on Non-Archimedean Geometry and Eigenvarieties held at Heidelberg University in March 2023. The goal of the course is to explain a modern take on the eigenvariety machine in the language of adic spaces. For this we build on the theory developed in the first week of the school. We also explain some basic selective non-archimedean functional analysis.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct and understand the abstract framework of eigenvarieties, namely the so - called "eigenvariety machine". Specifically, it aims to explain this modern framework in the language of adic spaces and conduct research on non - Archimedean geometry and eigenvarieties on this basis. The following are the main objectives and steps of the paper:
1. **Constructing input data**:
- Construct a base space \(W\), usually called the weight space, for interpolating the weights of automorphic forms.
- Locally construct spectral data on this basis, in particular, construct a suitable space of \(p\)-adic automorphic forms.
2. **Constructing spectral clusters**:
- Construct a spectral cluster \(Z\) from the input data, which parameterizes the non - zero eigenvalues of a special Hecke operator.
3. **Constructing eigenvarieties**:
- Construct an eigenvariety \(E\), which is a space with a finite covering over the spectral cluster \(Z\), parameterizing certain eigenvalue systems that appear in the input data.
Through these steps, the paper hopes to provide a general and flexible framework for dealing with the construction problem of eigenvarieties in a broader adic setting. In addition, the paper also discusses how to extend the concept of eigenvarieties to the case of characteristic \(p\) and shows the application of the eigenvariety machine on the Tate ring.
### Formula representation
Some key formulas involved in the paper are as follows:
- **Gauß norm**:
\[
|a|=\inf\{p^{-n}\mid a\in\varpi^n A_0, n\in\mathbb{Z}\}
\]
- **Characteristic power series (Fredholm determinant)**:
\[
\det(1 - X\varphi):=\sum_{n\geq0}c_n X^n\in A[[X]]
\]
where
\[
c_n:=(-1)^n\sum_{S\subseteq I, |S| = n}\sum_{\sigma: S\to S}\text{sgn}(\sigma)\prod_{i\in S}a_{i,\sigma(i)}
\]
- **Equivalent norm conditions**:
\[
C||m||'\leq||m||\leq C'||m||'\quad\forall m\in M
\]
These formulas and concepts provide a mathematical basis for understanding the eigenvariety machine and ensure the rigor and operability of the theory.