Abstract:A self-adjoint operator is constructed on the $L_2$-functions on the $K$-rational points $X(K)$ of a Mumford curve $X$ defined over a non-archimedean local field $K$. It generates a Feller semi-group, and the corresponding heat equation describes a Markov process on $X(K)$. Its spectrum is non-positive, contains zero and has finitely many limit points which are the only non-eigenvalues, and correspond to the zeros of a given regular differential 1-form on $X(K)$. This allows to recover the genus of X from the spectrum. The hyperelliptic case allows in principle an explicit genus extraction.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to recover the genus of Mumford curves from spectral information through the heat equation and automorphic forms. Specifically:
1. **Construct self - adjoint operators**: A self - adjoint operator is constructed on the \(L^2\)-function space of the \(K\)-rational points \(X(K)\) of the Mumford curve \(X\) defined over the non - Archimedean local field \(K\). This operator generates a Feller semi - group, and the corresponding heat equation describes a Markov process on \(X(K)\).
2. **Spectral analysis**: The spectrum of this operator is non - positive, contains zero, and a finite number of limit points are the only non - eigenvalues. These limit points correspond to the zeros of a given regular differential 1 - form \(\omega\) on \(X(K)\). This makes it possible to recover the genus of the curve \(X\) from the spectral information.
3. **Extract genus information**: Especially in the hyperelliptic case, in principle, the genus of the curve can be explicitly extracted from the spectral information. This method provides hope for future research on more refined inverse problems.
### Formula summary
- **Self - adjoint operator \(H_f\)**:
\[
H_f:L^2(X(K)\setminus V(f),|\omega|)\to L^2(X(K)\setminus V(f),|\omega|)
\]
is a self - adjoint operator, where \(V(f)\) represents the zero - set of the function \(f\).
- **Heat equation**:
\[
\frac{\partial h(x,t)}{\partial t}-H_fh(x,t) = 0
\]
With the initial condition of the continuous function \(h_0(x)\), the solution is in the form of:
\[
h(x,t)=\int_{X(K)\setminus V(\omega)}h_0(y)p_t(x,|\omega(y)|)
\]
- **Spectral properties**:
- The spectrum is non - positive and contains zero.
- The number of limit points is equal to the size of \(V(\omega)\).
- These limit points are the only non - eigenvalues.
### Theorem summary
- **Theorem 1**: Suppose \(V(\omega)\subseteq V(f)\), then the operator \(H_f\) is self - adjoint on the Hilbert space \(L^2(X(K)\setminus V(f),|\omega|)\) and has an orthogonal \(H_f\)-invariant decomposition.
- **Theorem 2**: There exists a probability measure \(p_t(x,\cdot)\) such that the Cauchy problem of the heat equation has a unique solution, and \(p_t(x,\cdot)\) is the transition function of a Markov process.
- **Theorem 3**: Given a regular 1 - form \(\omega\), the genus \(g(X)\) of the curve \(X\) can be recovered from the spectrum of \(H_f\).
These results show that through the study of the heat equation and automorphic forms, the topological information of Mumford curves, especially their genus, can be effectively extracted from spectral information.