A functional Loomis-Whitney type inequality in the Heisenberg group and projection theorems over finite fields

技術的要約：有限ハイゼンベルク群における関数的ルーミス・ウィトニー不等式

問題提起
本論文は、奇数次冪 $q$ の有限体上のハイゼンベルク群 $H_n(\mathbb{F}_q)$ という非可換な設定における、関数的ルーミス・ウィトニー型の不等式を調査するものである。古典的なルーミス・ウィトニー不等式は、$d$ 次元の体の体積を、その $(d-1)$ 次元の座標射影の体積によって抑えるものである。離散的な設定においては、これは集合 $A$ のサイズと、その射影 $\pi_i(A)$ のサイズの関連性に関わる。

著者らは、ハイゼンベルク群におけるこれらと類似した関数的不等式を確立することを目的としている。具体的には、以下の不等式が $q$ に関して一様に成立する指数の鋭い領域 $(u_1, \dots, u_{2n})$ を特定しようとしている：
$$\frac{1}{q^{2n+1}} \sum_{(x,t) \in H_n(\mathbb{F}_q)} \prod_{j=1}^{2n} f_j(\pi_j(x, t)) \lesssim \prod_{j=1}^{2n} \|f_j\|_{L^{u_j}(\mathbb{F}_q^{2n}, dx)}$$
ここで、$\pi_j$ は $H_n(\mathbb{F}_q)$ から部分群 $W_j \cong \mathbb{F}_q^{2n}$ への特定の垂直座標射影である。また、本研究は、部分集合 $K \subset H_n(\mathbb{F}_q)$ の濃度 $|K|$ を、その射影の集合 $\{|\pi_j(K)|\}_{j=1}^{2n}$ によって抑える、対応する集合論的な不等式についても扱う。

手法
本論文では、調和解析、組合せ幾何学、および次元 $n$ に関する帰納法を組み合わせた手法を用いている。

1. 部分群の構造解析： 著者らはまず、$H_n(\mathbb{F}_q)$ の部分群構造を分析する。彼らは、一般の部分群（$q$ が素数の場合）と、同次的部分群（膨張作用に対して不変なもの）を区別する。これらの部分群を、基礎となるシンプレクティック空間 $\mathbb{F}_q^{2n}$ の等方的部分空間を用いて特徴付け、これらの部分群の計数公式を確立する。
2. $n=1$ の場合（平面ハイゼンベルク群）： $n=1$ の場合、問題は双線形作用素 $L(f_1, f_2)$ の分析へと還元される。著者らは、ヘルダーの不等式とノルムの包含性質を利用する。彼らは、特定の関数を用いてテストを行い、補間定理を適用することで、指数の鋭い領域を決定する。証明は、群の乗法構造から導かれる特定の線形作用素 $A$ からの作用素境界 $A(s \to r)$ を確立することに依拠している。
3. 一般の $n > 1$ の場合： 高次元の場合、著者らは（より複雑な）全許容指数領域の完全な特徴付けには取り組まない。代わりに、対称的な臨界指数 $u = \frac{n(2n+1)}{n+1}$ に焦点を当てる。
   • 次元に関する帰納法： 対称的な推定の証明は、連続的な設定に触発されつつも有限体向けに適応させた帰納スキームに依拠している。核心となる戦略は、一つのシンプレクティック座標対を「凍結」させることで、$n$ 次元の形式を平均化された $(n-1)$ 次元のハイゼンベルク・ルーミス・ウィトニー形式として書き換えることである。
   • 非対称推定： 著者らはまず、一つのシンプレクティック座標の入力が $L^{\frac{2n+1}{2}}$ で測定され、残りの入力が $L^{2n+1}$ で測定される一連の非対称推定（定理 4.1）を確立する。
   • 多重線形補間： これらの非対称境界を、多重線形補間スキームを用いて組み合わせることで、臨界指数における対称的推定へと到達する。
4. インシデンス幾何学（$n=1$ の特殊なケース）： $n=1$ かつ $|K| > q$ のとき、著者らはVinhの点・直線インシデンス定理を利用して、一般的な関数的不等式よりも強い最大射影サイズの低次境界を導出し、この特定の領域において改善を行う。

主要な貢献と結果

• $n=1$ における鋭い指数： 本論文は、不等式が $q$ に関して一様に成立する指数の正確な領域 $(u_1, u_2)$ を決定する。条件は以下の系で与えられる：
  $$\frac{1}{u_1} + \frac{2}{u_2} \leq 2 \quad \text{および} \quad \frac{2}{u_1} + \frac{1}{u_2} \leq 2.$$
  これには、端点推定である $L^{3/2} \times L^{3/2} \to L^1$ が含まれ、これが最適であることが示されている。
• 一般の $n$ に対する対称的多重線形推定： 著者らは、上述の帰納および補間戦略を通じて、端点指数 $u = \frac{n(2n+1)}{n+1}$ における対称的多重線形推定を証明する。
• 鋭い集合不等式： 関数的結果を指示関数に特化させることで、鋭いルーミス・ウィトニー型の集合不等式が得られる。任意の有限集合 $K \subset H_n(\mathbb{F}_q)$ に対して、サイズは以下のように抑えられる：
  $$|K| \lesssim q^{\frac{1}{2n+1}} \prod_{j=1}^{2n} |\pi_j(K)|^{\frac{n+1}{n(2n+1)}}.$$
  したがって、本論文は最大射影サイズの低次境界を導出する：
  $$\max_{1 \leq j \leq 2n} |\pi_j(K)| \gtrsim_n |K|^{\frac{2n+1}{2(n+1)}} q^{-\frac{1}{2(n+1)}}.$$
  著者らは、特定の例を構成することにより、この結果が絶対定数を除いて最適であることを示している。
• $n=1$ における改善された境界： $n=1$ かつ大きな集合（$|K| > q$）の場合、インシデンス幾何学を用いてより強い境界を提示する：
  $$\max\{|\pi_1(K)|, |\pi_2(K)|\} \gtrsim \min\left\{ |K|^{1/2}q^{1/2}, |K|q^{-1/2} \right\}.$$

意義と関連性
本論文は、その結果を離散的調和解析と組合せ幾何学の間の架け橋として位置づけている。

• 構造的洞察： これらの不等式は、有限体上のハイゼンベルク群の構造的特性、特に（シンプレクティック形式を介した）非可換構造が射影の挙動にどのように影響するかについての洞察を与える。
• 有界性の問題との関連： 著者らは、Bhowmik, Iosevich, Koh, および Pham (2025) によって研究されている有限体上の多重線形形式／作用素の有界性問題との直接的な関連性を強調している。具体的には、彼らの不等式の $n=1$ のケースは、二次関係によって定義されるカーネルを持つ、2頂点の完全グラフに関連する特定的多重線形作用素の有界性と一致することが示されている。
• 直交射影： 結果は、Chen (2018) によって研究されている $\mathbb{F}_q^{2n+1}$ における直交射影および被覆の問題と比較される。著者らは、ハイゼンベルク射影の族 $\{\pi_j\}$ が、ベクトル空間の設定におけるChenの結果から導かれる直交射影の境界よりも、最大射影サイズに対して厳密に強い下限を与えることを示している。
• 今後の方向性： 本論文は、すべての部分群（特に非積型部分群）の分類が依然として未解決の問題であることを述べている。さらに、著者らは、続報において実ハイゼンベルク群の離散的な被覆問題（Balogh, Fässler, Mattila, および Tyson の研究に関連するもの）を調査する計画についても言及している。

本研究は、非可換有限群へのルーミス・ウィトニー理論の拡張における基礎的な一歩として位置づけられ、これまで未知であった臨界指数と鋭い定数を特定している。