Abstract:We provide a practical technique to obtain plenty of algebraic relations for theta functions on the bounded symmetric domains of type $I$. In our framework, each theta relation is controlled by combinatorial properties of a pair $(T,P)$ of a regular matrix $T$ over an imaginary quadratic field and a positive-definite Hermitian matrix $P$ over the complex number field.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to provide a practical technique to obtain a large number of algebraic relations of theta functions on the bounded symmetric domain \(H_I^{(g)}\). Specifically, the author studied the \(g^2\)-dimensional bounded symmetric domain \(H_I^{(g)}\) of type I and proposed a systematic method to obtain various algebraic relations of these theta functions.
#### Main contributions
1. **Generalize the classical Riemann - type theta relations**:
- The main purpose of the paper is to generalize the classical theta relations, such as the classical Riemann quartic relation of Jacobi theta functions (formula (0.2)). By introducing a pair of matrices \((T, P)\), where \(T\) is a regular matrix defined on an imaginary quadratic field and \(P\) is a positive definite Hermite matrix, the author was able to derive new theta relations.
2. **Introduce new theta functions**:
- The author introduced a new theta function \(\Theta_P[W]\), which depends on the imaginary quadratic field \(K\). This dependence is necessary, especially when studying the moduli space of K3 surfaces (for example, the \(KMSY\) and \(KNS\) families mentioned in Table 1).
3. **Application background**:
- These theta relations have important applications not only in number theory and geometry but also in the study of arithmetic hyperbolic 3 - manifolds (for example, the generalization of the arithmetic - geometric mean mentioned in [MNY] and [MT]).
4. **Technical method**:
- The author used combinatorial properties and an appropriate matrix \(T\) to derive these relations, rather than being limited to orthogonal matrices or unitary matrices. This method is applicable to any imaginary quadratic field \(K\) and can produce a large number of non - trivial theta relations.
### Formula summary
- **Classical Riemann theta relations**:
\[
2\vartheta_{00}(x', \tau)\vartheta_{00}(y', \tau)\vartheta_{00}(u', \tau)\vartheta_{00}(v', \tau)=\vartheta_{00}(x, \tau)\vartheta_{00}(y, \tau)\vartheta_{00}(u, \tau)\vartheta_{00}(v, \tau)+\cdots
\]
where \(x', y', u', v'\) are related to \(x, y, u, v\) through the orthogonal matrix \(T_0\).
- **New theta function**:
\[
\Theta(W)=\sum_{n \in O_K^g} \exp\left(\pi i t(n)Wn\right)
\]
where \(O_K\) is the integer ring of the imaginary quadratic field \(K\).
- **Main theorem (Riemann - type relation)**:
\[
\Theta_Q\left[\begin{array}{c}
A_0 tT^{-1} \\
B_0 T
\]](W)=\frac{1}{\sharp G_2} \sum_{B \in G_2} \sum_{A \in G_1} \exp\left(-2\pi i \text{ReTr}(tA_0 \hat{B})\right)\cdot\Theta_P\left[\begin{array}{c}
A_0 + A \\
B_0 + \hat{B}
\end{array}\right](W)
\]
Through these techniques, the author hopes to accelerate the study of the moduli space of algebraic variety families such as \(KMSY\) or...