Generalized Analytic Automorphic Forms for some Arithmetic Congruence subgroups of the Vahlen group on the n-Dimensional Hyperbolic Space

Rolf Soeren Krausshar

2004-01-16

Abstract: This paper deals with a new analytic type of vector- and Clifford algebra valued automorphic forms in one and two vector variables. For hypercomplex generalizations of the classical modular group and their arithmetic congruence subgroups Eisenstein- and Poincaré type series that are annihilated by Dirac operators, and more generally, by iterated Dirac operators on the upper half-space of $R^n$ are discussed. In particular we introduce (poly-)monogenic modular forms on hypercomplex generalizations of the classical theta group.

Number Theory,Complex Variables

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to construct new analytic vector - valued and Clifford - valued automorphic forms for certain arithmetic congruence subgroups in high - dimensional hyperbolic spaces. Specifically, the author focuses on the generalization of the Vahlen group, especially the action of these groups in the upper half - space, and discusses the Eisenstein series and Poincaré series annihilated by the Dirac operator and its iterations.

### Main problems of the paper

1. **Introducing new types of automorphic forms**: The author proposes a new analytic vector - valued and Clifford - valued automorphic forms, which are defined on certain arithmetic congruence subgroups in high - dimensional hyperbolic spaces.

2. **Constructing Eisenstein series and Poincaré series**: For these new automorphic forms, the author constructs Eisenstein series and Poincaré series, which are zero - solutions of the Dirac operator and its iterations.

3. **Studying the properties of these forms**: The author explores the analytic properties of these new forms, especially their behavior in high - dimensional hyperbolic spaces, and proves their non - triviality under specific conditions.

### Formula summary

- **Dirac operator**:
\[
D_x := \sum_{i = 1}^n e_i\frac{\partial}{\partial x_i}
\]

- **Fundamental solution**:
\[
q_0^{(s)}(x)=\begin{cases}
\frac{x}{\|x\|^{n + 1 - s}}&\text{if }s\text{ is odd and }s < n\\
\frac{1}{\|x\|^{n - s}}&\text{if }s\text{ is even and }s < n
\end{cases}
\]

- **Partial derivative**:
\[
q_m^{(s)}(x):=\frac{\partial^{|m|}}{\partial x^m}q_0^{(s)}(x)
\]

- **Transformed function**:
\[
F(x)=q_0^{(s)}(cx + d)f((ax + b)(cx + d)^{-1})
\]

### Main conclusions

- For even weights \(s\), by choosing an appropriate bounded left monogenic function \(\tilde{f}\), non - trivial automorphic forms can be constructed.
- For odd weights \(s\), only for smaller principal congruence subgroups (such as \(\Gamma_p[N]\) and \(N\geq3\)) can non - trivial automorphic forms be constructed.
- By introducing two weight factors (one from the left and one from the right) and introducing a second auxiliary variable, more complex non - trivial automorphic forms can be obtained.

Through these methods, the author has successfully extended the classical automorphic form theory to higher - dimensional spaces and provided a basis for further research in the future.