Abstract:We prove finiteness and base change properties for analytic cohomology of families of $L$-analytic $(\varphi_L,\Gamma_L)$-modules parametrised by affinoid algebras in the sense of Tate. For technical reasons we work over a field $K$ containing a period of the Lubin-Tate group, which allows us to describe analytic cohomology in terms of an explicit generalized Herr complex.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the finiteness and base - change properties of the analytic cohomology of Lubin - Tate $(\phi_L, \Gamma_L)$ - modules. Specifically, the author proves that the analytic cohomology groups of these modules are finite under certain conditions, and these cohomology groups maintain good properties under base - change.
### Main problems
1. **Finiteness of analytic cohomology**:
- Prove that the analytic cohomology groups of Lubin - Tate $(\phi_L, \Gamma_L)$ - modules are finite.
- Specifically, for the family of L - analytic $(\phi_L, \Gamma_L)$ - modules defined on affine algebras, their analytic cohomology groups are finite.
2. **Base - change properties**:
- Study the behavior of these analytic cohomology groups under base - change.
- Prove that the natural map $C^{\bullet}_{\phi_L, Z}(M)\otimes_{A}B\rightarrow C^{\bullet}_{\phi_L, Z}(M\hat{\otimes}_A B)$ is a quasi - isomorphism.
### Key results
1. **Finiteness theorem**:
- For K - affine algebras $A$ and $B$, and an L - analytic $(\phi_L, \Gamma_L)$ - module $M$, the complex $C^{\bullet}_{\phi_L, Z}(M)$ belongs to a subcategory $D^{[0,2]}_{\text{perf}}(A)$ in the derived category, which means that its cohomology groups are finitely - generated $A$ - modules.
- The natural map $C^{\bullet}_{\phi_L, Z}(M)\otimes_{A}B\rightarrow C^{\bullet}_{\phi_L, Z}(M\hat{\otimes}_A B)$ is a quasi - isomorphism.
2. **Comparison isomorphism**:
- Prove the comparison isomorphism between $(\Psi, Z)$ - cohomology and $(\phi_L, Z)$ - cohomology, where $\Psi$ is the left inverse of $\phi_L$.
3. **Analytic cohomology and analytic extensions**:
- Explicitly describe the relationship between $H^1_{\phi, Z}(M)^{\Gamma_L}$ and the analytic extension group $\text{Ext}^1_{\text{an}}(R_A, M)$.
### Methods and techniques
- **Herr complex**: Describe the analytic cohomology through the Herr complex.
- **Kohlhaase's analytic cohomology theory**: Use Kohlhaase's theory to establish the comparison isomorphism.
- **Tensor product techniques**: Use the complete tensor product techniques to deal with modules on the relative Robba ring.
### Applications
- **Iwasawa cohomology**: The finiteness results of analytic cohomology are used to study the Iwasawa cohomology of analytic $(\phi_L, \Gamma_L)$ - modules.
In conclusion, this paper systematically studies the analytic cohomology of Lubin - Tate $(\phi_L, \Gamma_L)$ - modules, solves the finiteness and base - change properties of these modules under specific conditions, and provides an important theoretical basis for further research.