Abstract:In this paper we generalize and put in a new light part of ``Fouier analysis on Number fields and Hecke's zeta function''[14] by Tate. We express the relative Euler characteristic using purely adelic language. By using certain natural normalization of Haar measure on adeles we obtain the relative Riemann-Roch theorem. In particular we show that using our relative normalization of the Haar measure on adeles we can obtain the relative Riemann-Roch theorem from the adelic Poisson summation formulae. In addition, using our methods we define the relative 'size of cohomology' numbers, i.e. extract the $h^0$ and $h^1$ part of the relative Euler characteristic. Our theory not only covers both absolute and relative cases, but also the case of an arithmetic curve and a nonsingular, projective curve over a finite field.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to express the relative Euler characteristic in pure Adele language by introducing a new natural normalization of the relative Haar measure, and to derive the relative Riemann - Roch theorem from the Adele Poisson summation formula. Specifically, the author aims to:
1. **Generalize Tate's work**: Generalize on the basis of Tate's work on Fourier analysis over number fields and Hecke zeta functions, and re - examine some of the results from a new perspective.
2. **Uniformly represent the Euler characteristic**: Use the Adele language to uniformly represent the Euler characteristic in both the absolute and relative cases, including arithmetic curves and non - singular projective curves over finite fields.
3. **Define the relative cohomology size**: Directly define the relative $h_0$ and $h_1$ (i.e., the "size" of the relative cohomology) through the method of Fourier analysis, and extract these parts from the relative Euler characteristic.
4. **Prove the relative Riemann - Roch theorem**: Prove the relative Riemann - Roch theorem by applying the new relative Haar measure to the Poisson summation formula on Adeles.
### Specific problems
- **Expression of the relative Euler characteristic**:
The author expresses the relative Euler characteristic in the following integral form:
\[
\chi_{K/L}(D_\alpha)=\log\int_{A_K}f_\alpha\,d\mu_{K/L}
\]
where $D_\alpha$ is the divisor associated with the idele $\alpha$, $f_\alpha$ is the characteristic function of the global Fourier transform associated with $\alpha$, and $\mu_{K/L}$ is the relative Haar measure.
- **Normalization of the relative Haar measure**:
The author introduces a natural normalization of the relative Haar measure, so that the relative Riemann - Roch theorem can be derived from the Adele Poisson summation formula. Specifically, for each local field $K_v$, choose the measure $\mu_{K_v/L_w}$ such that:
\[
\int_{K_v}\chi_{O_v}(u_v)\,d\mu_{K_v/L_w}(u_v)=d^{-1/2}_{K_v/L_w}
\]
where $d_{K_v/L_w}$ is the norm of the relative discriminant.
- **Serre duality**:
Through the Fourier transform correspondence, the author also proves the relative Serre duality, which holds in both geometric and arithmetic cases.
### Applications and significance
This work not only deepens the understanding of the geometric - arithmetic analogy, but also provides new tools and perspectives for the study of high - dimensional algebraic varieties. In particular, it shows how to deal with the cohomology theory in the relative case through the Fourier analysis method, thus providing a new proof approach for the Grothendieck - Riemann - Roch theorem.