GL(2)の場合のJacquet–Rallis転送を実証、低次元で「多項式型」検査関数は対応を持つ
この論文は、Jacquet–Rallisの相対トレース公式の局所的な比較で出てくる「転送」を実地的に扱います。要点は次の通りです。一般に、GL側と対応するユニタリ群側で「軌道積分」と呼ばれる同じ種類の積分が一致するかを問います。著者らは実数体(アーキメデス)での設定に集中し、次数n=2、つまりGL(2)がgl(3)に作用する場合について、特に「多項式型シュワルツ関数」が両側に対応(転送)することを示しました。シュワルツ関数とは、滑らかで十分速く減衰する関数のことです。軌道積分とは、ある行列に共役する元の集合(共役類)に沿って関数を積分したものです。転送とは、GL側の関数の軌道積分がユニタリ側の対応する軌道積分と一致することを指します。
研究の仕方は次の通りです。著者らは群ではなくリー代数と(g,K)-モジュールの視点を取ります。計算の鍵はワイル表現(二次形式に関わる重要な表現)と、可換でないが両側に作用する不変微分作用素の環の解析です。GL側では三つの具体的な関数が与えられ、これらで生成されるモジュールが問題の空間を生成することを示します。一方、ユニタリ側では標準的なシーゲル・ガウス関数(標準的なガウス型関数)の軌道積分が生成元になることを示します。さらに、これらの生成元どうしが互いに転送になっていることを確認して、全体の転送結果を導きます。
証明の構造は三段階の混合的な手法に依っています。第一に、ある超平面上で積分式が一致することを単純な置換で示します。第二に、両側の軌道積分が特定の重みを持つ微分作用素により消される(すなわち同じ微分方程式を満たす)ことを示し、その微分方程式の解は超平面での値で一意に決まると証明します。第三に、その両辺が十分に解析的(実解析的)であることを確認します。後者の解析性の確認は片側については自明ですが、反対側では項数が多く、短いコンピュータ・プログラムを使ってチェックした部分があります。
重要な注意点と限界も明確に述べられています。今回の主定理はn=2のケース、かつ多項式型のシュワルツ関数に限定されます。すべてのシュワルツ関数についての完全な転送(アーキメデス側一般)の主張はまだ未解決です。論文はこれをより強い予想として掲げています。また、ある符号や次元に関しては解析性を完全には証明できておらず、そこで部分的な結果に頼っている箇所があります。解析的な性質をより構造的に示すことや、大域的な近似論を用いて一般のシュワルツ関数へ拡張することが今後の課題として挙げられています。
背景の文脈としては、非アーキメデス(p進)場合ではW. Zhangの結果が既に転送を証明しています。また、Hang Xueの仕事は各側で転送可能な関数の集合が稠密であることを示しています。Jacquet–Rallisの転送は、Gan–Gross–Prasadの大域的な問題と関連が深く、局所的な転送結果は大域的な応用や算術的交差理論(例えば複素乗法サイクルに関する研究)にもつながる可能性があります。著者らは今回の多項式型シュワルツ関数の観点が表現論的に自然であると主張し、これを足がかりにさらなる一般化を期待しています。