[論文レビュー] Analytic properties of bivariate representation and conjugacy class zeta functions of finitely generated nilpotent groups

Paula Macedo Lins de Araujo|arXiv (Cornell University)|Jul 15, 2018

Advanced Algebra and Geometry参考文献 13被引用数 4

ひとこと要約

本稿では、数体の整数環上の単根数群の族から得られる、二変数表現および共役類のゼータ関数の収束域および有理型拡張の領域が、基礎となる数体に依存しないことを確立している。これは、有限個の局所因子を除いて成り立つ。この結果は、素イデアルにおける局所ゼータ関数の分析に依拠し、有限個の例外的集合を除いて、すべての数体において一様な収束性および有理型性を示す。

ABSTRACT

Let $\mathbf{G}$ be a unipotent group scheme defined in terms of a nilpotent Lie lattice over the ring $\mathcal{O}$ of integers of a number field. We consider bivariate zeta functions of groups of the form $\mathbf{G}(\mathcal{O})$ encoding, respectively, the numbers of isomorphism classes of irreducible complex representations of finite dimensions and the numbers of conjugacy classes of congruence quotients of the associated groups. We show that the domains of convergence and meromorphic continuation of these zeta functions of groups $\mathbf{G}(\mathcal{O})$ are independent of the number field $\mathcal{O}$ considered, up to finitely many local factors.

研究の動機と目的

• 有限生成ノルム群の表現および共役類のデータを符号化する二変数ゼータ関数の解析的性質を研究すること。
• これらのゼータ関数の収束域および有理型拡張が、数体の選択に依存するかどうかを特定すること。
• このような解析的性質が、有限個の局所因子を除いて数体に依存しないことを示すこと。
• 異なる数体の整数環にわたるゼータ関数の収束性および有理型性の均一性を確立すること。
• 素イデアルにおける局所ゼータ関数の分析と、それらのグローバルな積構造の解明。

提案手法

• 合同剰余群と次元・共役類のサイズに基づいて、群 $\mathbf{G}(\mathcal{O})$ の二変数ゼータ関数を定義する。
• 整数環 $\mathcal{O}$ の素イデアル $\mathfrak{p}$ を通じたエラー積としてグローバルゼータ関数を表現する。
• 各素イデアル $\mathfrak{p}$ に対して、表現論的および群論的データから導かれる収束条件を用いて、局所ゼータ関数 $\mathcal{Z}^{\ast}_{\mathbf{G}(\mathcal{O}_{\mathfrak{p}})}(s_1,s_2)$ を分析する。
• グローバルゼータ関数の収束域および有理型拡張が、$\mathcal{O}$ に依存しないことを証明する。
• 領域の分解と交差の議論を用いて、収束領域が数体に依存しない臨界帯の均一的近傍を含むことを示す。
• $\mathscr{D}_{\mathscr{R},\delta}$ 領域の構造を活用し、有限個の素イデアルを除いて、一様な収束性および有理型性を確立する。

実験結果

リサーチクエスチョン

• RQ1 二変数表現ゼータ関数 $\mathcal{Z}^{\textup{irr}}_{\mathbf{G}(\mathcal{O})}(s_1,s_2)$ の収束域は、数体 $K$ に依存するか？
• RQ2 二変数共役類ゼータ関数 $\mathcal{Z}^{\textup{cc}}_{\mathbf{G}(\mathcal{O})}(s_1,s_2)$ の有理型拡張は、数体の整数環 $\mathcal{O}$ に依存しないか？
• RQ3 これらのゼータ関数の解析的性質を、有限個の局所因子を除いて、すべての数体にわたって一様化できるか？
• RQ4 グローバルゼータ関数の収束域の正確な構造は、局所収束条件の観点からどのように記述できるか？
• RQ5 素イデアルにおける局所ゼータ関数は、ゼータ関数のグローバルな解析的構造にどのように寄与するか？

主な発見

• 二変数ゼータ関数 $\mathcal{Z}^{\textup{irr}}_{\mathbf{G}(\mathcal{O})}(s_1,s_2)$ および $\mathcal{Z}^{\textup{cc}}_{\mathbf{G}(\mathcal{O})}(s_1,s_2)$ の収束域および有理型拡張は、数体 $K$ に依存しない。ただし有限個の局所因子を除く。
• 有限個の素イデアルからなる集合 $\mathcal{Q}$ が存在し、グローバルゼータ関数 $\mathcal{Z}^{\ast}_{\mathbf{G}(\mathcal{O})}^{\mathcal{Q}}(s_1,s_2)$ の収束域および有理型拡張が $\mathcal{O}$ に依存しない。
• 収束領域 $\mathscr{D}_{\mathscr{R},\delta}$ はすべての数体にわたって一様であり、$\delta > 0$ は $\mathcal{O}$ に依存しない。これにより解析的均一性が保証される。
• グローバルゼータ関数は、$\mathcal{O}$ に依存しない領域 $\mathscr{M}_{\mathbf{G}}^{\ast}$ で有理型に拡張可能であり、これは臨界領域 $\mathscr{D}_{\mathbf{G}}^{\ast}$ を厳密に含む。
• 有限集合 $\mathcal{Q}$ を除くすべての $\mathfrak{p}$ に対して、局所ゼータ関数 $\mathcal{Z}^{\ast}_{\mathbf{G}(\mathcal{O}_{\mathfrak{p}})}(s_1,s_2)$ は共通の領域で一様に収束し、有理型である。
• $\prod_{\mathfrak{p} \notin \mathcal{Q}} \mathcal{Z}^{\ast}_{\mathbf{G}(\mathcal{O}_{\mathfrak{p}})}(s_1,s_2)$ の積は、$\mathcal{O}$ に依存しない領域に収束し、有理型に拡張可能である。