Abstract:This is a survey on the theory of height zeta functions, written on the occasion of a French-Japanese winter school, held in Miura (Kanagawa, Japan) in Jan. 2008. It does not presuppose much knowledge in algebraic geometry. The last chapter of the survey explains recent results obtained in collaboration with Yuri Tschinkel concerning asymptotics of volumes of height balls in analytic geometry over local fields, or in adelic spaces.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the application and understanding of **height functions and height zeta functions at the intersection of algebraic geometry, algebraic number theory and analysis**. Specifically, the article explores the following key issues:
1. **Solutions of Diophantine equations and their geometric properties**:
- The paper first introduces the research background of Diophantine equations and emphasizes the profound connection between these equations and the geometric properties of their solutions. For example, consider geometric invariants such as the genus of algebraic curves, varieties of general type and Fano varieties.
- The article discusses how to describe infinitely many solutions by the size of the solutions (such as the Euclidean norm of integer solutions) and studies the asymptotic behavior of the number of these solutions as the bound grows.
2. **Manin problem**:
- The core of the Manin problem is to understand the asymptotic behavior of the number \( N_X(B) \) of bounded - height points in a closed subscheme \( X\subset \mathbb{P}^n \), that is, the number of rational points \( x\in X(\mathbb{Q}) \) satisfying \( H(x)\leq B \) as \( B\rightarrow\infty \).
- Specifically, the article focuses on two important parameters:
\[
\beta_X^-=\liminf_{B\rightarrow\infty}\frac{\log N_X(B)}{\log B}, \quad \beta_X^+=\limsup_{B\rightarrow\infty}\frac{\log N_X(B)}{\log B}
\]
and points out that \( \beta_X^-\leq\beta_X^+ \), and when \( X = \mathbb{P}^n \), \( \beta_X^-=\beta_X^+ = n + 1 \).
3. **Heath - Brown conjecture**:
- Heath - Brown proposed a conjecture about a uniform upper bound for a closed subscheme \( X \), that is, for any real number \( \varepsilon>0 \) and integer \( d>0 \), there exists a constant \( C(d,\varepsilon) \) such that for any integral closed subscheme \( X \) of degree \( d \) and dimension \( \dim X \), we have:
\[
N_X(B)\leq C(d,\varepsilon)B^{\dim X+\varepsilon}
\]
- The article discusses the progress of this conjecture and its relationship with other mathematical results.
4. **Height zeta function**:
- In order to introduce analytical tools and study their applications, the article introduces the height zeta function \( Z_X(s)=\sum_{x\in X(\mathbb{Q})}H(x)^{-s} \), where \( s \) is a complex parameter.
- The analytic properties of the height zeta function (such as convergence, poles, etc.) provide detailed information about the asymptotic behavior of \( N_X(B) \).
In summary, this paper aims to deeply understand the distribution and asymptotic behavior of solutions of Diophantine equations in algebraic geometry through the study of height functions and height zeta functions, especially the solutions on closed subschemes in high - dimensional projective spaces. This involves the cross - field of algebraic geometry, algebraic number theory and analysis, revealing the profound connections among these fields.