Let $f$ and $f'$ be genus $2$ cuspidal Siegel paramodular newforms. We prove that if their Hecke eigenvalues $a_p$ and $a_p'$ satisfy a non-trivial polynomial relation $P(a_p, a_p') = 0$ for a set of primes $p$ of positive density, then $f$ is a scalar multiple of a quadratic twist of $f'$. This result extends the strong multiplicity one theorem, which handles the case $P(x,y) = x - y$, to arbitrary polynomial relations.
Our proof analyses the image of the product Galois representation attached to the pair $(f, f')$: we show that this image is as large as possible, unless $f$ is a twist of $f'$.
Our results also apply to elliptic modular forms. They therefore provide a unified method for distinguishing both elliptic and Siegel modular forms based on their Hecke data, including their Hecke eigenvalues, Satake parameters, Sato--Tate angles, and the coefficients of their $L$-functions. We apply our methods to recover and generalise a range of existing results and to prove new ones in both the elliptic and Siegel settings.
論文ID : 2506.22264タイトル : Distinguishing Siegel modular forms著者 : Arvind Kumar (IIT Jammu) と Ariel Weiss (Ohio State University)分類 : math.NT (数論)投稿日時 : 2025年6月30日にarXivに投稿、2025年11月24日に改訂版論文リンク : https://arxiv.org/abs/2506.22264v2 本論文は、genus 2の尖点Siegel paramodular newforms f f f f ′ f' f ′ a p a_p a p a p ′ a'_p a p ′ P ( a p , a p ′ ) = 0 P(a_p, a'_p) = 0 P ( a p , a p ′ ) = 0 f f f f ′ f' f ′ P ( x , y ) = x − y P(x,y) = x-y P ( x , y ) = x − y
証明方法は、( f , f ′ ) (f, f') ( f , f ′ ) f f f f ′ f' f ′
f f f f ′ f' f ′ p p p a p a_p a p a p ′ a'_p a p ′ P ( a p , a p ′ ) = 0 P(a_p, a'_p) = 0 P ( a p , a p ′ ) = 0 f f f f ′ f' f ′
強重複度1定理の一般化 ：古典的な強重複度1定理は P ( x , y ) = x − y P(x,y) = x-y P ( x , y ) = x − y a p = a p ′ a_p = a'_p a p = a p ′ f f f f ′ f' f ′ 保型形式の同定問題 ：保型形式理論の中心的問題の一つは、部分的なHeckeデータが与えられた場合、保型形式を一意に決定できるかということである。これは保型形式の算術的性質を理解する上で重要である。Galois表現論 ：保型形式とGalois表現の間の深い関連性により、Hecke固有値の代数的関係を研究することは、Galois表現の像の構造を研究することと等価である。強重複度1定理 ：完全に等しい場合（a p = a p ′ a_p = a'_p a p = a p ′ 既存の部分的結果 ：KMS21, WWYY23 などの研究は特殊な場合（例えば a p 2 = a p ′ 2 a_p^2 = a'^2_p a p 2 = a p ′2 技術的限界 ：ほとんどの既存結果はArthur内窺分類などの深い結果に依存するが、これは部分的に未発表である本論文は以下を証明する：捻りが唯一の可能な例外である 。a p a_p a p a p ′ a'_p a p ′ f f f f ′ f' f ′
主定理（Theorem 1.1） ：P ( a , a ′ ) ∈ Q [ a , a ′ ] P(a, a') \in \mathbb{Q}[a, a'] P ( a , a ′ ) ∈ Q [ a , a ′ ] P ( a p , a p ′ ) = 0 P(a_p, a'_p) = 0 P ( a p , a p ′ ) = 0 ( k 1 , k 2 ) = ( k 1 ′ , k 2 ′ ) (k_1, k_2) = (k'_1, k'_2) ( k 1 , k 2 ) = ( k 1 ′ , k 2 ′ ) χ \chi χ Π ≃ Π ′ ⊗ χ \Pi \simeq \Pi' \otimes \chi Π ≃ Π ′ ⊗ χ f f f f ′ ⊗ χ f' \otimes \chi f ′ ⊗ χ より一般的な定理（Theorem 1.3） ：中心特性、スピンL関数係数 a p a_p a p b p b_p b p P ( s , s ′ , a , b , a ′ , b ′ ) P(s, s', a, b, a', b') P ( s , s ′ , a , b , a ′ , b ′ ) Galois表現像の完全な特徴付け（Theorem 1.5） ：積Galois表現 R ℓ = ρ ℓ × ρ ℓ ′ R_\ell = \rho_\ell \times \rho'_\ell R ℓ = ρ ℓ × ρ ℓ ′ Γ ℓ \Gamma_\ell Γ ℓ G κ , κ ′ ( Q ℓ ) G_{\kappa,\kappa'}(\mathbb{Q}_\ell) G κ , κ ′ ( Q ℓ ) Π \Pi Π Π ′ \Pi' Π ′ 統一的枠組み ：楕円および Siegel保型形式に適用可能な統一的方法を提供し、様々なHeckeデータ（固有値、Satakeパラメータ、Sato-Tate角、L関数係数）に基づいて保型形式を判別できる。広範な応用 ：一連の既存結果を回復し一般化する：KMS21, Thm 1.5 を任意のlevelと特性に一般化WWYY23, Thm 1.2 を k 2 = 2 k_2 = 2 k 2 = 2 楕円保型形式の結果Raj98, Ram00, MP17, PR17等 をSiegel情形に拡張 証明は3つの主要なステップに分かれる：
Hecke固有値の代数的関係をGalois表現像の関係として再解釈する 積Galois表現 R ℓ = ρ ℓ × ρ ℓ ′ R_\ell = \rho_\ell \times \rho'_\ell R ℓ = ρ ℓ × ρ ℓ ′ Rajanの代数的Chebotarev密度定理を適用して、多項式の消失と像の厳密な包含を結びつける 各素数 ℓ \ell ℓ ρ ℓ : Gal ( Q ‾ / Q ) → GSp 4 ( Q ℓ ) \rho_\ell : \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \text{GSp}_4(\mathbb{Q}_\ell) ρ ℓ : Gal ( Q / Q ) → GSp 4 ( Q ℓ )
π \pi π
ℓ \ell ℓ π \pi π S S S p ∉ { ℓ } ∪ S p \notin \{\ell\} \cup S p ∈ / { ℓ } ∪ S a p = tr ρ ℓ ( Frob p ) , ϵ ( p ) p k 1 + k 2 − 3 = sim ρ ℓ ( Frob p ) a_p = \text{tr}\,\rho_\ell(\text{Frob}_p), \quad \epsilon(p)p^{k_1+k_2-3} = \text{sim}\,\rho_\ell(\text{Frob}_p) a p = tr ρ ℓ ( Frob p ) , ϵ ( p ) p k 1 + k 2 − 3 = sim ρ ℓ ( Frob p ) b p = tr std ρ ℓ ( Frob p ) = tr ∧ 2 ρ ℓ ( Frob p ) sim ρ ℓ ( Frob p ) − 1 b_p = \text{tr}\,\text{std}\,\rho_\ell(\text{Frob}_p) = \frac{\text{tr}\,\wedge^2\rho_\ell(\text{Frob}_p)}{\text{sim}\,\rho_\ell(\text{Frob}_p)} - 1 b p = tr std ρ ℓ ( Frob p ) = sim ρ ℓ ( Frob p ) tr ∧ 2 ρ ℓ ( Frob p ) − 1 ここで sim : GSp 4 → G m \text{sim}: \text{GSp}_4 \to \mathbb{G}_m sim : GSp 4 → G m std : GSp 4 → PGSp 4 → ∼ SO 5 \text{std}: \text{GSp}_4 \to \text{PGSp}_4 \xrightarrow{\sim} \text{SO}_5 std : GSp 4 → PGSp 4 ∼ SO 5
相似関係により、R ℓ R_\ell R ℓ G κ , κ ′ ( Q ℓ ) = { ( γ , γ ′ ) ∈ GSp 4 ( Q ℓ ) × GSp 4 ( Q ℓ ) : sim ( γ ) κ = sim ( γ ′ ) κ ′ } G_{\kappa,\kappa'}(\mathbb{Q}_\ell) = \{(\gamma, \gamma') \in \text{GSp}_4(\mathbb{Q}_\ell) \times \text{GSp}_4(\mathbb{Q}_\ell) : \text{sim}(\gamma)^\kappa = \text{sim}(\gamma')^{\kappa'}\} G κ , κ ′ ( Q ℓ ) = {( γ , γ ′ ) ∈ GSp 4 ( Q ℓ ) × GSp 4 ( Q ℓ ) : sim ( γ ) κ = sim ( γ ′ ) κ ′ }
ここで κ , κ ′ \kappa, \kappa' κ , κ ′ p p p ( ϵ ( p ) p k 1 + k 2 − 3 ) κ = ( ϵ ′ ( p ) p k 1 ′ + k 2 ′ − 3 ) κ ′ (\epsilon(p)p^{k_1+k_2-3})^\kappa = (\epsilon'(p)p^{k'_1+k'_2-3})^{\kappa'} ( ϵ ( p ) p k 1 + k 2 − 3 ) κ = ( ϵ ′ ( p ) p k 1 ′ + k 2 ′ − 3 ) κ ′
明示的には：
( κ , κ ′ ) = ord ( ϵ ( k 1 ′ + k 2 ′ − 3 ) / n ( ϵ ′ ) ( k 1 + k 2 − 3 ) / n ) ⋅ ( k 1 ′ + k 2 ′ − 3 n , k 1 + k 2 − 3 n ) (κ, κ') = \text{ord}\left(\frac{\epsilon^{(k'_1+k'_2-3)/n}}{(\epsilon')^{(k_1+k_2-3)/n}}\right) \cdot \left(\frac{k'_1 + k'_2 - 3}{n}, \frac{k_1 + k_2 - 3}{n}\right) ( κ , κ ′ ) = ord ( ( ϵ ′ ) ( k 1 + k 2 − 3 ) / n ϵ ( k 1 ′ + k 2 ′ − 3 ) / n ) ⋅ ( n k 1 ′ + k 2 ′ − 3 , n k 1 + k 2 − 3 ) n = gcd ( k 1 + k 2 − 3 , k 1 ′ + k 2 ′ − 3 ) n = \gcd(k_1 + k_2 - 3, k'_1 + k'_2 - 3) n = g cd( k 1 + k 2 − 3 , k 1 ′ + k 2 ′ − 3 )
d = gcd ( κ , κ ′ ) d = \gcd(\kappa, \kappa') d = g cd( κ , κ ′ ) d d d ζ ∈ μ d \zeta \in \mu_d ζ ∈ μ d G κ , κ ′ ζ = { ( γ , γ ′ ) ∈ GSp 4 × GSp 4 : sim ( γ ) κ / d = ζ ⋅ sim ( γ ′ ) κ ′ / d } G^\zeta_{\kappa,\kappa'} = \{(\gamma, \gamma') \in \text{GSp}_4 \times \text{GSp}_4 : \text{sim}(\gamma)^{\kappa/d} = \zeta \cdot \text{sim}(\gamma')^{\kappa'/d}\} G κ , κ ′ ζ = {( γ , γ ′ ) ∈ GSp 4 × GSp 4 : sim ( γ ) κ / d = ζ ⋅ sim ( γ ′ ) κ ′ / d }
系3.6 ：分解 G κ , κ ′ = ⨆ ζ ∈ μ d G κ , κ ′ ζ G_{\kappa,\kappa'} = \bigsqcup_{\zeta \in \mu_d} G^\zeta_{\kappa,\kappa'} G κ , κ ′ = ⨆ ζ ∈ μ d G κ , κ ′ ζ G κ , κ ′ 1 = G κ / d , κ ′ / d G^1_{\kappa,\kappa'} = G_{\kappa/d,\kappa'/d} G κ , κ ′ 1 = G κ / d , κ ′ / d
証明の鍵は以下を使用する：
命題3.4 ：O ( GSp 4 × GSp 4 ) O(\text{GSp}_4 \times \text{GSp}_4) O ( GSp 4 × GSp 4 ) gcd ( κ , κ ′ ) = 1 \gcd(\kappa, \kappa') = 1 g cd( κ , κ ′ ) = 1 t κ − t ′ κ ′ t^\kappa - t'^{\kappa'} t κ − t ′ κ ′ O ( G κ , κ ′ ) O(G_{\kappa,\kappa'}) O ( G κ , κ ′ ) G κ , κ ′ G_{\kappa,\kappa'} G κ , κ ′ Γ ℓ \Gamma_\ell Γ ℓ R ℓ R_\ell R ℓ G κ , κ ′ / Q ℓ G_{\kappa,\kappa'}/\mathbb{Q}_\ell G κ , κ ′ / Q ℓ
大像結果 ：Dieulefait-ZenteroとWeissの研究により、密度1の素数集合 L \mathcal{L} L ℓ ∈ L \ell \in \mathcal{L} ℓ ∈ L ρ ℓ \rho_\ell ρ ℓ ρ ℓ ′ \rho'_\ell ρ ℓ ′ GSp 4 ( Q ℓ ) \text{GSp}_4(\mathbb{Q}_\ell) GSp 4 ( Q ℓ ) Goursat補題の応用 ：Γ ℓ ∘ \Gamma^\circ_\ell Γ ℓ ∘ GSp 4 ( Q ℓ ) \text{GSp}_4(\mathbb{Q}_\ell) GSp 4 ( Q ℓ ) N , N ′ N, N' N , N ′ Γ ℓ ∘ \Gamma^\circ_\ell Γ ℓ ∘ GSp 4 ( Q ℓ ) / N → ∼ GSp 4 ( Q ℓ ) / N ′ \text{GSp}_4(\mathbb{Q}_\ell)/N \xrightarrow{\sim} \text{GSp}_4(\mathbb{Q}_\ell)/N' GSp 4 ( Q ℓ ) / N ∼ GSp 4 ( Q ℓ ) / N ′ 2つの場合の分析 ：場合1 ：Sp 4 ( Q ℓ ) ⊆ N \text{Sp}_4(\mathbb{Q}_\ell) \subseteq N Sp 4 ( Q ℓ ) ⊆ N Γ ℓ ∘ = G a ′ a \Gamma^\circ_\ell = G^a_{a'} Γ ℓ ∘ = G a ′ a a , a ′ a, a' a , a ′ Γ ℓ ∘ = G κ , κ ′ 1 ( Q ℓ ) \Gamma^\circ_\ell = G^1_{\kappa,\kappa'}(\mathbb{Q}_\ell) Γ ℓ ∘ = G κ , κ ′ 1 ( Q ℓ ) Γ ℓ = G κ , κ ′ ( Q ℓ ) \Gamma_\ell = G_{\kappa,\kappa'}(\mathbb{Q}_\ell) Γ ℓ = G κ , κ ′ ( Q ℓ ) 場合2 ：Sp 4 ( Q ℓ ) ⊈ N \text{Sp}_4(\mathbb{Q}_\ell) \not\subseteq N Sp 4 ( Q ℓ ) ⊆ N Proj ρ ℓ ≃ Proj ρ ℓ ′ \text{Proj}\,\rho_\ell \simeq \text{Proj}\,\rho'_\ell Proj ρ ℓ ≃ Proj ρ ℓ ′ χ \chi χ ρ ℓ ≃ ρ ℓ ′ ⊗ χ \rho_\ell \simeq \rho'_\ell \otimes \chi ρ ℓ ≃ ρ ℓ ′ ⊗ χ χ \chi χ Π ≃ Π ′ ⊗ χ \Pi \simeq \Pi' \otimes \chi Π ≃ Π ′ ⊗ χ φ ∈ O ( G κ , κ ′ ) G κ , κ ′ \varphi \in O(G_{\kappa,\kappa'})^{G_{\kappa,\kappa'}} φ ∈ O ( G κ , κ ′ ) G κ , κ ′ φ ( R ℓ ( Frob p ) ) = 0 \varphi(R_\ell(\text{Frob}_p)) = 0 φ ( R ℓ ( Frob p )) = 0 Π ≃ Π ′ ⊗ χ \Pi \simeq \Pi' \otimes \chi Π ≃ Π ′ ⊗ χ
証明 ：Rajanの代数的Chebotarev密度定理（定理4.1）を適用する：
X = { φ = 0 } X = \{\varphi = 0\} X = { φ = 0 } G κ , κ ′ G_{\kappa,\kappa'} G κ , κ ′ 共役不変性により、X X X Φ = Γ ℓ / Γ ℓ ∘ \Phi = \Gamma_\ell/\Gamma^\circ_\ell Φ = Γ ℓ / Γ ℓ ∘ Ψ = { ϕ ∈ Φ : Γ ϕ ⊂ X } \Psi = \{\phi \in \Phi : \Gamma_\phi \subset X\} Ψ = { ϕ ∈ Φ : Γ ϕ ⊂ X } すると { p : R ℓ ( Frob p ) ∈ X } \{p : R_\ell(\text{Frob}_p) \in X\} { p : R ℓ ( Frob p ) ∈ X } ∣ Ψ ∣ / ∣ Φ ∣ |\Psi|/|\Phi| ∣Ψ∣/∣Φ∣ φ \varphi φ Ψ = ∅ \Psi = \emptyset Ψ = ∅ Γ ℓ ≠ G κ , κ ′ ( Q ℓ ) \Gamma_\ell \neq G_{\kappa,\kappa'}(\mathbb{Q}_\ell) Γ ℓ = G κ , κ ′ ( Q ℓ )
補題4.2 ：P ( s , s ′ , a , b , a ′ , b ′ ) P(s, s', a, b, a', b') P ( s , s ′ , a , b , a ′ , b ′ ) s κ − s ′ κ ′ s^\kappa - s'^{\kappa'} s κ − s ′ κ ′ φ : ( γ , γ ′ ) ↦ P ( sim ( γ ) , sim ( γ ′ ) , tr ( γ ) , tr std ( γ ) , tr ( γ ′ ) , tr std ( γ ′ ) ) \varphi: (\gamma, \gamma') \mapsto P(\text{sim}(\gamma), \text{sim}(\gamma'), \text{tr}(\gamma), \text{tr}\,\text{std}(\gamma), \text{tr}(\gamma'), \text{tr}\,\text{std}(\gamma')) φ : ( γ , γ ′ ) ↦ P ( sim ( γ ) , sim ( γ ′ ) , tr ( γ ) , tr std ( γ ) , tr ( γ ′ ) , tr std ( γ ′ )) G κ , κ ′ G_{\kappa,\kappa'} G κ , κ ′
証明は構成的である：各連結成分 G κ , κ ′ ζ G^\zeta_{\kappa,\kappa'} G κ , κ ′ ζ ( γ , γ ′ ) ∈ G κ , κ ′ ζ ( Q ) (\gamma, \gamma') \in G^\zeta_{\kappa,\kappa'}(\mathbb{Q}) ( γ , γ ′ ) ∈ G κ , κ ′ ζ ( Q ) φ ( γ , γ ′ ) ≠ 0 \varphi(\gamma, \gamma') \neq 0 φ ( γ , γ ′ ) = 0
本論文は純粋数学理論論文であり、従来の意味での実験設定、データセット、または数値計算を含まない。すべての結果は厳密な数学的証明である。
本論文は実験結果を含まないが、定理を応用した多くの系を提供する：
正整数 n , m n, m n , m a p n = a p ′ n a^n_p = a'^n_p a p n = a p ′ n b p m = b p ′ m b^m_p = b'^m_p b p m = b p ′ m ( k 1 , k 2 ) = ( k 1 ′ , k 2 ′ ) (k_1, k_2) = (k'_1, k'_2) ( k 1 , k 2 ) = ( k 1 ′ , k 2 ′ ) χ \chi χ Π ≃ Π ′ ⊗ χ \Pi \simeq \Pi' \otimes \chi Π ≃ Π ′ ⊗ χ
一般化の意義 ：
KMS21, Thm 1.5 を任意のlevelと特性に一般化WWYY23, Thm 1.2 を k 2 = 2 k_2 = 2 k 2 = 2 λ p = a p / p ( k 1 + k 2 − 3 ) / 2 \lambda_p = a_p/p^{(k_1+k_2-3)/2} λ p = a p / p ( k 1 + k 2 − 3 ) /2 P ( x , y ) ∈ Q [ x , y ] P(x,y) \in \mathbb{Q}[x,y] P ( x , y ) ∈ Q [ x , y ] P ( λ p , λ p ′ ) = 0 P(\lambda_p, \lambda'_p) = 0 P ( λ p , λ p ′ ) = 0 f f f f ′ f' f ′
特に（系2.6）、λ p n = λ p ′ n \lambda^n_p = \lambda'^n_p λ p n = λ p ′ n MP17, Thm 1 と PR17, Thm 1 （n = 1 n=1 n = 1
正密度の素数上で ∣ λ p ∣ = ∣ λ p ′ ∣ |\lambda_p| = |\lambda'_p| ∣ λ p ∣ = ∣ λ p ′ ∣ f f f f ′ f' f ′
意義 ：Won22, Thm 1.1 を楕円保型形式からSiegel保型形式に一般化する。
Ramanujan予想が成立すると仮定する（k 2 ≥ 3 k_2 \geq 3 k 2 ≥ 3 θ p , θ p ′ ∈ [ 0 , π ] \theta_p, \theta'_p \in [0, \pi] θ p , θ p ′ ∈ [ 0 , π ] 4 cos θ p = λ p 4\cos\theta_p = \lambda_p 4 cos θ p = λ p m , n ∈ Z ∖ { 0 } m, n \in \mathbb{Z} \setminus \{0\} m , n ∈ Z ∖ { 0 } α ∈ R \alpha \in \mathbb{R} α ∈ R m θ p + n θ p ′ = α m\theta_p + n\theta'_p = \alpha m θ p + n θ p ′ = α f f f f ′ f' f ′
革新性 ：GMP21, Thm 2 を一般化し、Siegel保型形式のSato-Tate予想に依存しない（この予想はまだ解決されていない）。
{ β 1 , p , β 2 , p , β 3 , p , β 4 , p } \{\beta_{1,p}, \beta_{2,p}, \beta_{3,p}, \beta_{4,p}\} { β 1 , p , β 2 , p , β 3 , p , β 4 , p } β ‾ i , p = β i , p / p ( k 1 + k 2 − 3 ) / 2 \overline{\beta}_{i,p} = \beta_{i,p}/p^{(k_1+k_2-3)/2} β i , p = β i , p / p ( k 1 + k 2 − 3 ) /2
系2.15 ：Π \Pi Π Π ′ \Pi' Π ′
Satakeパラメータ β i , p \beta_{i,p} β i , p β i , p ′ \beta'_{i,p} β i , p ′ （中心特性が自明な場合）正規化Satakeパラメータ β ‾ i , p \overline{\beta}_{i,p} β i , p β ‾ i , p ′ \overline{\beta}'_{i,p} β i , p ′ 一般化の意義 ：KMS22, Thm 3.1 を高levelの形式に強化し、Wei22, Cor 5.11 を一般化する。
任意の半単純代数表現 r : GSp 4 → GL n r: \text{GSp}_4 \to \text{GL}_n r : GSp 4 → GL n r p r_p r p L ( π , s , r ) = ∑ n r n n − s L(\pi, s, r) = \sum_n r_n n^{-s} L ( π , s , r ) = ∑ n r n n − s p p p P P P P ( r p , r p ′ ) = 0 P(r_p, r'_p) = 0 P ( r p , r p ′ ) = 0 Π ≃ Π ′ ⊗ χ \Pi \simeq \Pi' \otimes \chi Π ≃ Π ′ ⊗ χ
応用 ：スピンL関数、標準L関数、対称幂L関数、随伴L関数などを含む。
単一のSiegel保型形式 π \pi π P ( s , a , b ) ∈ Q [ s , 1 / s , a , b ] P(s, a, b) \in \mathbb{Q}[s, 1/s, a, b] P ( s , a , b ) ∈ Q [ s , 1/ s , a , b ] { p : P ( ϵ ( p ) p k 1 + k 2 − 3 , a p , b p ) = 0 } \{p : P(\epsilon(p)p^{k_1+k_2-3}, a_p, b_p) = 0\} { p : P ( ϵ ( p ) p k 1 + k 2 − 3 , a p , b p ) = 0 }
含意 ：Heckeデータはある意味で「代数的に独立」である。
定理1.8 ：重み k , k ′ k, k' k , k ′ N , N ′ N, N' N , N ′ ϵ , ϵ ′ \epsilon, \epsilon' ϵ , ϵ ′ f , f ′ f, f' f , f ′ P ( s , s ′ , a , a ′ ) ∈ Q [ s , 1 / s , s ′ , 1 / s ′ , a , a ′ ] P(s, s', a, a') \in \mathbb{Q}[s, 1/s, s', 1/s', a, a'] P ( s , s ′ , a , a ′ ) ∈ Q [ s , 1/ s , s ′ , 1/ s ′ , a , a ′ ] s κ − s ′ κ ′ s^\kappa - s'^{\kappa'} s κ − s ′ κ ′ P ( ϵ ( p ) p k − 1 , ϵ ′ ( p ) p k ′ − 1 , a p , a p ′ ) = 0 P(\epsilon(p)p^{k-1}, \epsilon'(p)p^{k'-1}, a_p, a'_p) = 0 P ( ϵ ( p ) p k − 1 , ϵ ′ ( p ) p k ′ − 1 , a p , a p ′ ) = 0 k = k ′ k = k' k = k ′ χ \chi χ f = f ′ ⊗ χ f = f' \otimes \chi f = f ′ ⊗ χ
系1.10 ：固定 n ∈ N n \in \mathbb{N} n ∈ N a p n = a p n ′ a_{p^n} = a'_{p^n} a p n = a p n ′ f = f ′ ⊗ χ f = f' \otimes \chi f = f ′ ⊗ χ
古典的結果 ：Sch18, Sch20, FPRS25 はSiegel paramodular newformsに対して、a p = a p ′ a_p = a'_p a p = a p ′ p p p f f f f ′ f' f ′ 本論文の一般化 ：任意の多項式関係に拡張し、ほぼすべての素数ではなく正密度の素数集合のみを必要とする楕円保型形式 ：Ribet Rib77, Rib85 とMomose Mom81 の古典的研究Siegel保型形式 ：
Taylor Tay91, Tay93 、Laumon Lau05 、Weissauer Wei05, Wei08 がGalois表現を構成 Dieulefait Die02 、Dieulefait-Zenteno DZ20 、Weiss Wei19, Wei22 が像の大きさを証明 楕円保型形式 ：Rajan Raj98 （1次）、Ramakrishnan Ram00 （2次）、Rajan Raj05 （任意次）、Murty-Pujahari MP17 、Patankar-Rajan PR17, PR21 、Gun-Murty-Paul GMP21 、Wong Won22 Siegel保型形式 ：Kumar-Meher-Shankhadhar KMS21, KMS22 、Wang-Wei-Yan-Yi WWYY23 本論文の貢献 ：統一的枠組みを提供し、楕円およびSiegel情形を同時に扱い、ほぼすべての既知結果を一般化代数的Chebotarev密度定理 ：Rajan Raj98, Thm 3 の主要なツールArthur内窺分類 ：Art13 および後続の研究GT19, AGI+24 。本論文の一部の結果は k 2 = 2 k_2 = 2 k 2 = 2 核心定理 ：2つのSiegel paramodular newformsのHecke固有値が正密度の素数集合上で非自明な代数的関係を満たす場合、2つの形式は必ず二次捻りを通じて関連している。これは強重複度1定理の本質的な一般化である。方法論的貢献 ：Heckeデータの代数的関係からGalois表現の像の構造への系統的な関連性を確立し、統一的な証明枠組みを提供する。広範な適用可能性 ：方法は以下に適用可能である：様々なHeckeデータ（固有値、正規化固有値、Satakeパラメータ、L関数係数など） 楕円およびSiegel保型形式 任意のlevelと特性 Arthur分類への依存 ：k 2 = 2 k_2 = 2 k 2 = 2 Cal24 の議論を参照）。k 2 > 2 k_2 > 2 k 2 > 2 正密度仮定 ：定理は多項式関係が正上密度 の素数集合上で成立することを必要とし、有限個の素数または零密度集合に弱めることはできない。これは方法論の本質的な限界である（Chebotarev密度定理が必要）。非提升、非CM/RM仮定 ：π , π ′ \pi, \pi' π , π ′ 二次捻りの制限 ：一般的な自動表現に対して、結論は Π ≃ Π ′ ⊗ χ \Pi \simeq \Pi' \otimes \chi Π ≃ Π ′ ⊗ χ χ \chi χ π , π ′ \pi, \pi' π , π ′ χ \chi χ Arthur分類への依存の除去 ：k 2 = 2 k_2 = 2 k 2 = 2 高genusへの一般化 ：方法は g > 2 g > 2 g > 2 有効性の問題 ：「正密度」の有効な下界を与えることができるか？つまり、結論を得るために関係を満たす素数がいくつ必要か？提升とCM/RM情形 ：除外された場合（自動的帰納、対称三次提升、CM/RM形式）の対応する結果を研究する。Sato-Tate予想との関係 ：系2.11はSato-Tate予想に依存しないが、本論文の結果を逆に利用してSato-Tate予想を進めることができるか？計算応用 ：本論文の結果を利用して、有限Heckeデータから保型形式を同定および分類するアルゴリズムツールを開発する。理論的深さ ：強重複度1定理を最も一般的な形に一般化し、長年の開放問題を解決 保型形式論、Galois表現論、代数幾何を深く関連付ける 証明技術は複数の分野の深い結果を巧みに組み合わせている 統一性 ：楕円およびSiegel保型形式を同時に扱う単一の枠組みを提供 様々なHeckeデータ（固有値、パラメータ、角度、L関数係数）を含む 一度に10以上の既知結果を回復および一般化する（Section 2の21の系） 技術的革新 ：代数群 G κ , κ ′ G_{\kappa,\kappa'} G κ , κ ′ O ( GSp 4 × GSp 4 ) O(\text{GSp}_4 \times \text{GSp}_4) O ( GSp 4 × GSp 4 ) Goursat補題を巧みに適用して積表現の像を分析 広範な応用 ：21の系は保型形式論の複数の側面を含む 保型形式の計算と分類のための理論的基礎を提供 Langlands綱領関連の問題に示唆を与える 明確な記述 ：構造が合理的で、特殊から一般へと段階的に展開 Section 2は結果の力を理解するための詳細な応用を示す 技術的詳細（Section 3.3の代数群論など）は明確に説明されている 未発表の結果への依存 ：k 2 = 2 k_2 = 2 k 2 = 2 著者は誠実にこの限界を指摘している（注釈1.4）が、結果の完全な無条件性に影響する 仮定が強い ：提升、CM/RM情形の除外は適用範囲を制限 正密度仮定は避けられないが、依然として強い 明示的な例の欠如 ：純粋な理論論文として、具体的な保型形式の計算例を提供していない 実践で「正密度」条件を検証する方法について議論していない 技術的敷居の高さ ：代数的数論、代数幾何、表現論の深い背景が必要 一部の証明（命題3.4など）は技術的で、独立した検証が困難 未探索の方向 ：結果の有効性（密度の下界など）について議論していない 他のL関数予想（BSD、Bloch-Kato等）との関連性を探索していない 理論的影響 ：保型形式の強重複度1理論に根本的な貢献 Galois表現の像の研究に新しい視点を提供 他の自動形式（GL(n)など）の類似研究を刺激する可能性 方法論的影響 ：Galois表現を系統的に利用して保型形式の算術的性質を研究する方法を示す Rajan代数的Chebotarev定理の重要な新しい応用 代数群論技術（UFD性質、連結成分分解）の数論への応用例 実用的価値 ：保型形式データベース（LMFDB等）に理論的支援を提供 保型形式を同定および分類するアルゴリズムツールに発展する可能性 Langlands対応の計算検証に指導的意義 再現可能性 ：純粋な理論的証明であり、再現可能性は論理的厳密性に体現される 依存する外部結果はすべて明確に引用されている Arthur分類を除き、他の依存結果はすべて発表済み 理論研究 ：保型形式論研究者が強重複度1現象を研究 Galois表現論研究者が像の構造を研究 Langlands綱領の関数性問題 計算数論 ：保型形式同定アルゴリズムの開発 保型形式データベースの構築と検証 L関数の関数性を検証 教育 ：保型形式の高度なコースの参考文献 現代数論の多分野交差の例 推進研究 ：高genusのSiegel保型形式への一般化 他の約化群上の自動形式への一般化 提升とCM情形の類似結果の研究 Sch18, Sch20 Wei19, Wei22 Raj98 Art13 k 2 = 2 k_2=2 k 2 = 2 Tay91, Wei05, Wei08 Rib77, Rib85, Mom81 総合評価 ：これは数論における傑出した論文であり、保型形式論に重要かつ深刻な貢献をしている。Galois表現論、代数群論、密度定理を巧みに組み合わせることにより、著者らは強重複度1定理を最も一般的な形に一般化し、楕円およびSiegel保型形式を扱うための統一的枠組みを提供した。Arthur分類への依存が存在するにもかかわらず、方法の普遍性と応用の広範性により、この論文は当該分野の重要な進展となっている。論文は理論および計算数論の両方に長期的な影響を持ち、深い研究と推進の価値がある。
