[論文レビュー] Graphs of Hecke operators

Oliver Lorscheid|arXiv (Cornell University)|Dec 16, 2010

Advanced Algebra and Geometry参考文献 5被引用数 3

ひとこと要約

本稿は、関数体上のヘッケ作用素のための新しいグラフ理論的枠組みを導入し、非分岐アトモーフィック形式と還元理論を統合するグラフによってその作用をモデル化する。このグラフが有限核と有限個の尖点に分解されることを示し、グラフ関数上の線形条件を通じて、非分岐尖点形式およびトーラス的アトモーフィック形式の有限次元性の新たな証明が可能になる。

ABSTRACT

Let $X$ be a curve over $\F_q$ with function field $F$. In this paper, we define a graph for each Hecke operator with fixed ramification. A priori, these graphs can be seen as a convenient language to organize formulas for the action of Hecke operators on automorphic forms. However, they will prove to be a powerful tool for explicit calculations and proofs of finite dimensionality results. We develop a structure theory for certain graphs $G_x$ of unramified Hecke operators, which is of a similar vein to Serre's theory of quotients of Bruhat Tits trees. To be precise, $G_x$ is locally a quotient of a Bruhat Tits tree and has finitely many components. An interpretation of $G_x$ in terms of rank 2 bundles on $X$ and methods from reduction theory show that $G_x$ is the union of finitely many cusps, which are infinite subgraphs of a simple nature, and a nucleus, which is a finite subgraph that depends heavily on the arithmetics of $F$. We describe how one recovers unramified automorphic forms as functions on the graphs $G_x$. In the exemplary cases of the cuspidal and the toroidal condition, we show how a linear condition on functions on $G_x$ leads to a finite dimensionality result. In particular, we re-obtain the finite-dimensionality of the space of unramified cusp forms and the space of unramified toroidal automorphic forms. In an Appendix, we calculate a variety of examples of graphs over rational function fields.

研究の動機と目的

• 関数体上のヘッケ作用素のためのグローバル幾何的枠組みを構築し、偶数類数または偶数次元の場所を含む場合における強い近似の限界を克服すること。
• 非分岐ヘッケ作用素のアトモーフィック形式への作用を表す組み合わせ的モデル—ヘッケ作用素のグラフ—を提供すること。
• セールのブリュア=ティツ木の商の理論に類似した、これらのグラフの構造論を確立すること。
• グラフ関数上の線形条件を用いて、非分岐尖点形式およびトーラス的アトモーフィック形式の空間の有限次元性を証明すること。
• グラフ構造をランク2のベクトルバンドルおよび曲線X上の還元理論と関連付けること。

提案手法

• 各非分岐ヘッケ作用素に対し、場所$x$におけるグラフ$\mathcal{G}_x$を定義し、頂点を二重剰因子$\Gamma \backslash \mathrm{PGL}_2(F_x)/\mathrm{PGL}_2(\mathcal{O}_x)$に対応させる。
• ブリュア=ティツ木$\mathcal{T}_x$における隣接関係と、安定化部分群および剰因子代表元を用いて辺を構成する。
• ランク2のベクトルバンドルの還元理論を用いて、グラフ構造を幾何的に解釈する。
• 頂点ラベル写像を用いて、グラフの成分を理想類および$F$の算術と関連付ける。
• $\mathcal{G}_x$を、算術に依存する有限核と、幾何的に単純な無限個の尖点に分解する。
• アトモーフィック形式を$\mathcal{G}_x$上の関数としてモデル化し、ヘッケ作用素を隣接和によって作用させる。

実験結果

リサーチクエスチョン

• RQ1 グローバル関数体上のアトモーフィック形式におけるヘッケ作用素は、局所$p$-進枠組みを越えて、どのように幾何的に表現できるか？
• RQ2 非分岐ヘッケ作用素に関連するグラフのグローバル構造は何か？ また、関数体の算術とどのように関係するか？
• RQ3 このグラフ理論的モデルを用いて、非分岐尖点形式の空間の有限次元性を再導出できるか？
• RQ4 グラフの成分—核と尖点—は、対応する曲線および関数体の幾何と算術をどのように反映するか？
• RQ5 グラフ上の関数に線形条件を課すことで、既知のアトモーフィック形式空間をどの程度回復できるか？

主な発見

• 非分岐ヘッケ作用素のグラフ$\mathcal{G}_x$は、局所的にブリュア=ティツ木の商であり、有限個の連結成分を持つ。
• $\mathcal{G}_x$は、関数体$F$の算術を符号化する有限核と、それぞれが一本のレイトに同型である有限個の無限尖点に分解される。
• 非分岐アトモーフィック形式は、ヘッケ作用素の作用から導かれる線形条件を満たす$\mathcal{G}_x$上の関数として実現される。
• 尖点における消滅条件を課すことにより、非分岐尖点形式の空間の有限次元性が回復され、有限次元解空間が得られる。
• 非分岐トーラス的アトモーフィック形式の空間の有限次元性は、尖点条件に類似したグラフ関数上の線形条件を用いて得られる。
• この理論は、偶数類数または偶数次元の場所を有する関数体を含む、任意のグローバル関数体に普遍的に適用可能であり、強い近似の限界を克服する。