Über die Darstellung der Determinante einer positiven quadratischen Form durch die Form. (Q2586090)

Es sei \(Q(\mathfrak x) = \sum\limits_{i,k=1}^{2r} b_{ik}x_ix_k\) eine positiv-definite quadratische Form mit ganzen \(b_{ii}\), ganzen \(2b_{ik} = 2 b_{ki}\) (\(i \not = k\)), \(r\) ganz und der Betrag der Diskriminante von \(Q\) eine ungerade Primzahl \(q\). Bezeichnet \(a (n, Q)\) die Anzahl der Darstellungen \(n = Q (\mathfrak x)\) mit ganzen \(\mathfrak x\), so stellt die Fourier-Reihe \[ F (\tau) = \sum_{n=0}^\infty a(n,Q) e^{2\pi in\tau} \] eine ganze Modulform der Stufe \(q\) dar, die bei ganzem \(\begin{pmatrix} a & b \\ c & d \end{pmatrix} \) mit \(ad - bc =1\) und \(c \equiv 0\pmod q\) der Funktionalgleichung \[ F \left(\frac {a\tau + b }{c\tau + d} \right) = \left(\frac {d }{q} \right) (c\tau + d)^r F(\tau ) \tag{1} \] genügt. Aus älteren Ergebnissen: \textit{E. Hecke} [Math. Ann. 114, 1--28, 316--351 (1937; JFM 63.0339.03)], \textit{H. Petersson} [Math. Ann. 116, 401--412 (1939); 117, 39--64 (1939; JFM 65.0355.02)] folgt, daß die Dirichlet-Reihe \[ \varphi (s,Q) = \sum_{n=1}^\infty a(n,Q) n^{-s} \] sich aus endlich vielen kanonischen Euler-Produkten, d. h. Produkten der Gestalt \[ E(s) = \prod_p \left(1 - c_pp^{-s} + \left(\frac pq \right) p^{r-1-2s}\right)^{-1}, \tag{2} \] die als Dirichlet-Reihen wie \(\varphi (s,Q)\) aus einem \(F(\tau)\) des Verhaltens (1) entstehen, auf eine und nur eine Weise linear zusammensetzen läßt. Die vorliegende Arbeit enthält die Beweisandeutung für die folgenden beiden überraschenden Tatsachen: Zwei Dirichlet-Reihen mit je einer Produktentwicklung \[ \prod_p (1 +c_pp^{-s}+c^\prime_p p^{-2s} + \cdots ), \] die beide zu Modulformen des Verhaltens (1) in der Beziehung wie \(\varphi (s,Q)\) zu \(F(\tau)\) stehen, fallen zusammen, wenn sie in den \(c_p\) mit \(p\neq q\) übereinstimmen. Wenn ein kanonisches Produkt \(E(s)\) dieser Art eine ganze Funktion von \(s\) darstellt, so gilt \(| c_q| = q^{\tfrac {r-1}2}\).