数理解析研究所講究録
第 1826 巻 2013 年 24-27

24対称性による Borcherds リフトの特徴付け
Bernhard Heim (German University of Technology (Oman))
篤 (京都産業大学理学部)

村瀬
要旨 :

直交群 $O(2, n+2)$ 上の正則な保型形式の中で、 Borcherds リフトが積対称性によって特徴づけられることを報告する。 また、 ベクトル系に付随する正則ヤコビ形式が類似の積対称性によって特徴づけられることもあわせて報告する。

1

はじめに

Borcherds リフトは、 1990 年代に Borcherds により見いだされた直交群上の保型形式の重要な系列である ([1],[2])。 Borcherds リフトは、 符号 $(2, n+2)$ の 2 次形式の直交群$G=O(2, n+2)$ に付随する対称領域 上の有理型保型形式であり、 無限積表示を持つ。
また、その因子は Heegner 因子の整結合として明示的に記述される。 これらの性質は、般の保型形式には期待できないことであり、 Borcherds リフトの著しい特性である。
筆者達は、 $G$ 上の Borcherds リフトがある種の対称性 (積対称性) を持つことを見いだ
した ([4])。逆に、 $G$ 上の正則保型形式 $F$ が積対称性を持つならば、 $F$ のフーリエ展開係数は極めて強い束縛条件を満たしており、 $F$ が Borcherds リフトになることが期待される。
本稿では、 この期待が正しいこと、すなわち積対称性を持つ正則保型形式は Borcherdsフトであることを示す。 証明には、 Borcherds の導入したベクトル系に付随する正則なヤコビ形式が同様の積対称性により特徴づけられることが用いられる。本稿ではこの結果も$\mathcal{D}$一$|)$あわせて述べる。

2

主結果

簡単のため、 $n=1$ の場合、 すなわち Siegel 保型形式の場合に結果を述べる。 一般の場合の結果と証明については [5] を、 また、 Siegel 保型形式の場合の Borcherds リフトについては [6] を参照されたい。
$G$
とおく。 この群は、 $O(2,3)$ の連結成分に isogeneous である。 $G$ は次のよ$:=Sp_{2}(\mathbb{R})$うに 2 次上半空間 $\mathfrak{H}_{2}:=\{Z\in M_{2}(\mathbb{C})|tZ=Z, {\rm Im}(Z)>0\}$ に作用する :$g\langle Z\rangle=(aZ+b)(cZ+d)^{-1} (g=(\begin{array}{ll}a bc d\end{array})\in G, Z\in \mathfrak{H}_{2})$$\Gamma:=Sp_{2}(\mathbb{Z})$間を$M_{k}(\Gamma)$$M_{k}(\Gamma)$

を 2 次の Siegel modular group とする。と書く。 すなわち、$:=\{F:\mathfrak{H}_{2}arrow \mathbb{C}|F$は$\mathfrak{H}_{2}$上正則，$\Gamma$

上の weight$k$の正則保型形式の空$F(\gamma\langle Z\rangle)=j(\gamma, Z)^{k}F(Z)(\gamma\in\Gamma, Z\in \mathfrak{H}_{2})\}.$

25
以下、の点

$\mathfrak{H}_{2}$$(\begin{array}{ll}\tau zz \tau\end{array})$

を$(\tau, z, \tau’)$と書く。 $F\in M_{k}(\Gamma)$ のフーリエヤコビ展開を、$F( \tau, z, \tau’)=\sum_{m=0}^{\infty}F_{m}(\tau, z)e(m\tau’)$とする。 ここに、
$k$$x\in \mathbb{C}$に対して $e(x)$ $:=\exp(2\pi ix)$ とおく。 $m\geq 1$ に対し、

$F_{m}$

は weight, index $m$ の正則ヤコビ形式である。
$\mu_{F}:=\min\{m\geq 0|F_{m}\neq 0\},$$\phi_{F}(\tau, z):=-\frac{F_{\mu_{F}+1}(\tau,z)}{F_{\mu F}(\tau,z)}$上極を持つが、 もし正則ならば、 weight , index 1 の弱正則ヤコビ形式を与える。 ここで弱正則ヤコビ形式とは、正則ヤコビ形式のフーリエ展開に関する条件を次の形に弱めたものを満たすものである:
とおく。一般に、$\phi_{F}$は$0$$\mathfrak{H}\cross \mathbb{C}$$\phi(\tau, z)=\sum_{l,r\in \mathbb{Z}}c(l, r)e(l\tau+rz)$

において、 $4l-r^{2}$ が十分小さいとき、 $c(l, r)=0$ となる。 $c(l, r)$ は $4l-r^{2}$ のみによるので、 以下 $c(4l-r^{2})$ と書く。

この報告の主結果は次の通りである。
定理 1$F\in M_{k}(\Gamma)$が次の積対称性を満たすとする : 任意の整数 $N\geq 2$ に対し、$\prod_{ad=N,0\leq b<d}F(\frac{a\tau+b}{d}, \frac{\sqrt{N}}{d}z, \tau’)=\epsilon_{N}\prod_{ad=N,0\leq b<d}F(\tau, \frac{\sqrt{N}}{d}z, \frac{a\tau’+b}{d})$を満たす。 ここに、立つ。

$\epsilon N$は $F$ と $N$ にのみよる$0$でない複素数である。 このとき次が成り(1)$\phi_{F}$は(2)$\phi_{F}$の負のフーリエ係数 $c(n)(n<0)$ は整数である。

(3) $F$ は$\mathfrak{H}\cross \mathbb{C}$$\phi_{F}$

上正則である。従って、 weight , index 1 の弱正則ヤコビ形式を定める。
$0$に付随する Borcherds リフトの定数倍である。 すなわち、${\rm Im}(\tau){\rm Im}(\tau’)-$Im(z)2 が十分大きいとき、$F( \tau, z, \tau’)=Ce(\lambda\tau-\rho z+\mu\tau’)\prod_{(m,r,n)>0}(1-e(m\tau+rz+n\tau’))^{c(4mn-r^{2})}$$(C\in \mathbb{C}^{\cross})$

ここに、$\lambda:=\frac{1}{24}\sum_{r\in \mathbb{Z}}c(-r^{2}) , \rho:=\frac{1}{2}\sum_{r>0}c(-r^{2})r, \mu:=\frac{1}{2}\sum_{r>0}c(-r^{2})r^{2}$であり、 $(m, r, n)>0$ は、 $n>0$ または $n=0,$ $m>0$ または $m=n=0,$ $r>0$ を意味する。

.

26
定理 1 の証明において、次の正則ヤコビ形式に関する結果が重要な役割を果たす。なお、ヤコビ形式については [3] を参照のこと。
定理 2, index $m$ の正則ヤコビ形式とし、次の積対称性を満たすとする: 任意の整数 $N\geq 2$ に対し、$\psi(\tau.z)$

を weight$k$$\prod_{ad=N,0\leq b<d}\psi(\frac{a\tau+b}{d}, az)=\epsilon_{N}’\prod_{ad=N}\psi(\tau, az)^{d}$を満たす。 ここに、$\epsilon_{N}’$は $F$ と $N$ にのみよる$0$でない複素数である。

$\psi(\tau, z)=\sum_{l=0}^{\infty}A_{l}(z)e(\tau)$

を$\psi$の$\tau$に関するフーリエ展開とする。
$\lambda’=\min\{l\geq 0|A_{l}(z)\neq 0\},$$B(z)=- \frac{A_{\lambda’+1}(z)}{A_{\lambda},(z)}$とおく。 このとき次が成り立つ。

(1) $B(z)$ は$\mathbb{C}$上正則である。

(2) $B(z)$ のフーリエ展開を$B(z)= \sum_{r\in \mathbb{Z}}\gamma(r)e(rz)$とする。 このとき、$\gamma(r)\in \mathbb{Z},$$\gamma(-r)=\gamma(r)$であり、 有限個の$r$を除いて $\gamma(r)=0$である。

(3)$\psi(\tau, z)$に、はベクトル系
は無限積$\{\gamma(r)\}$に付随するヤコビ形式$\psi_{\gamma}(\tau, z)$の定数倍である。 ここ$\psi_{\gamma}(\tau, z)$$e(\lambda’\tau-\rho’z)\prod_{(l,r)>0}(1-e(l\tau+rz))^{\gamma(r)}$により与えられる。 ただし、 $(l, r)>0$ は $l>0$ または $l=0,$ $r>0$ を意味し、$\rho’:=\frac{1}{2}\sum_{r>0}\gamma(r)r$である。

参考文献[1] R. E. Borcherds, Automorphic forms on
Math. 120 (1995), 161-213.

$O_{s+2,2}(\mathbb{R})$and infinite products, Invent.

27[2] R. E. Borcherds, Automorphic forms with singularities on Grassmannians, Invent. Math. 132 (1998), 491-562.

[3] M. Eichler and D. Zagier, Theory of Jacobi forms, Progress in Math. 55,

Birkh\"auser, 1985.
[4] B. Heim and A. Murase, Symmetries for the Siegel theta functions, Borcherds
lifts and automorphic Green functions, arXiv: 1003.2248.

[5] B. Heim and A. Murase,
symmetries, preprint.

$A$

characterization of holomorphic Borcherds lifts by[6] B. Heim and A. Murase, Borcherds lifts on, Geometry and Analysisof Automorphic Forms of Several Variables, Proceedings of the international
symposium in honor of Takayuki Oda on the occasion of his 60th birthday,
World Scientific (2011), 56-76.
$Sp_{2}(\mathbb{Z})$