Ljunggren--Jacobsthal and Bailey-Type Congruences for Rectangular Gaussian Binomial Coefficients

技術要約：長方形ガウス二項係数におけるリュングレン–ヤコブスタールおよびベイリー型の合同式

問題と動機
本論文は、ガウス整数 $\mathbb{Z}[i]$ 上の二次元階乗比である、長方形ガウス二項係数（$R(A, B; C, D)$ と表記）の算術的性質を調査している。この対象は、平行移動された $C \times D$ 格子長方形上の積を、基本となる $C \times D$ 長方形上の積で除した商として定義される：
$$R(A, B; C, D) := \frac{\prod_{x=A-C+1}^{A} \prod_{y=B-D+1}^{B} (x + iy)}{\prod_{x=1}^{C} \prod_{y=1}^{D} (x + iy)}.$$
本研究の動機は、$\mathbb{Z}[i]$ における逆根の対称関数を高次の合同式に関連付ける、カリニンのガウス版ヴォルステンホルムの定理にある。著者は、古典的な二項係数の合同式、特にパラメータの素数冪による拡大に関するリュングレン–ヤコブスタール合同式、および大きなブロックと桁への分解に関するベイリーによるルーカスの定理の洗練を、この二次元ガウス設定へと拡張することを目的としている。

手法
証明は、$p$ 進解析と組合せ論的なブロック分解の組み合わせに基づいている。解析は、$\mathbb{Z}[i]$ において不活性である、すなわち $p \equiv 3 \pmod 4$ である有理素数 $p$ に限定されている。この条件により、$p$ は $\mathbb{Z}[i]$ において素数のままであり、剰余体は $\mathbb{F}_{p^2}$ となり、$\mathbb{Z}[i]$ における $p$ による割り切れは実部と虚部の同時割り切れに対応する。

主要な手法ステップは以下の通りである：

1. 逆数冪和： 著者らは、$p^k$ モジュロの完全な単位集合 $U_k$ 上の和 $H_j(k) = \sum_{z \in U_k} z^{-j}$ を定義する。カリニンの結果とニュートンの恒等式を用いた帰納的な議論を用い、本論文は $p > 5$ のとき $H_1(k) \equiv 0 \pmod{p^{2k}}$ および $H_2(k) \equiv 0 \pmod{p^k}$ であることを確立する。
2. ブロック分解： 大きな長方形の積を、完全な $p^k \times p^k$ の単位ブロックと境界ストリップに分割する。平行移動されたブロック上の積の不変性は、第一および第二の逆数冪和の消失に依存することが示される。
3. 包含排除： 長方形係数は、長方形階乗 $P(X, Y)$ の乗法的包含排除を通じて表現される。これにより、$p$ で割り切れる因子（より低いスケールの係数に還元される）と、単位因子（完全なブロックを形成する）を分離することが可能になる。

主要な貢献と結果

1. $p$ 整数性： 本論文はまず、$R(A, B; C, D)$ がすべての $p \equiv 3 \pmod 4$ に対して $p$ 整数（$\mathcal{O}_p$ に属する）であることを証明し、合同式のウェルディファインド性を確立している。

2. リュングレン–ヤコブスタール型超合同式（定理 1.2）：
   $p > 5$ かつ $p \equiv 3 \pmod 4$ である素数に対し、すべてのパラメータを $p$ 倍に同時拡大すると：
   $$R(p^k A, p^k B; p^k C, p^k D) \equiv R(p^{k-1} A, p^{k-1} B; p^{k-1} C, p^{k-1} D) \pmod{p^{3k}}.$$
   この結果は、カリニンの予想における不活性素数のケースを証明し、古典的なリュングレン–ヤコブスタール合同式をガウス長方形設定へと一般化するものである。

3. ベイリー型合同式（定理 1.3）：
   パラメータが大きな $p$ 倍と残差の桁（$A = pA' + \alpha$ など）に分解されるとき、以下の合同式を確立する：
   $$R(pA + \alpha, pB + \beta; pC + \gamma, pD + \delta) \equiv R(A, B; C, D) R(\alpha, \beta; \gamma, \delta) \binom{\alpha}{\gamma}^D \binom{\beta}{\delta}^C \pmod p.$$
   一次元のベイリー合同式とは異訳、この結果には、垂直および水平の境界ストリップから生じる2つの通常の二項係数因子 $\binom{\alpha}{\gamma}^D$ および $\binom{\beta}{\delta}^C$ が含まれている。

4. 概念的枠組み：
   本論文は、これらの結果を「古典的–ガウス辞書」の中に位置づけている。これは、整数格子 $\mathbb{Z}$ と円関数を、正方格子 $\mathbb{Z}[i]$ とレムニスケート関数（CM楕円曲線 $y^2 = x^3 - x$ に関連）へと写像するものである。格子の対称群（$\mathbb{Z}[i]$ の四分回転対称 vs $\mathbb{Z}$ の鏡映対称）が、どの逆数モーメントが消失するかを決定しており、これが合同式における $p$ の特定の次数を説明している。

意義と範囲
本論文は、ガウス版ヴォルステンホルム型合同式に関するカリニンの予想の不活性素数ケースを解決したと主張している。これは、長方形ガウス二項係数の算術が、古典的な二項係数と同じメカニズム（逆数冪和とブロック不変性）によって支配されていることを示しているが、二次元格子と $\mathbb{Z}[i]$ の特定の対称性に起因する構造的な修正を伴う。

著者は明示的に制限事項と今後の方向性を述べている：

• 結果は現在、不活性素数（$p \equiv 3 \pmod 4$）に限定されている。分裂ケース（$p \equiv 1 \pmod 4$）は、剰余環における零因子が存在するため、異なる扱いを必要とする。
• ベイリー型合同式は $p$ モジュロでのみ証明されている。高次のリフトは自然な継続として示唆されているが、証明はされていない。
• 本論文は、一般的な虚二次順序への拡張、およびグローバルな整数性とバーンズ二重ガンマ表示に関する問題を提起している。

本研究は実験的な応用を主張するものではなく、ガウス階乗比の算術のための理論的基礎を確立し、それらをCM楕円曲線や形式群の理論へと結びつけるものである。