[论文解读] 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

一句话总结

该论文证明了，从数域整数环上的单位根群概形导出的有限生成幂零群的二元表示与共轭类zeta函数的收敛域及亚纯延拓域，其依赖性仅限于有限个局部因子，与底层数域无关。该结果基于对素理想处局部zeta函数的分析，并证明了在有限例外集之外，所有数域上均存在一致的收敛性与亚纯性。

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.

研究动机与目标

• 研究有限生成幂零群的表示与共轭类数据编码的二元zeta函数的解析行为。
• 确定这些zeta函数的收敛域与亚纯延拓域是否依赖于数域的选择。
• 证明此类解析性质与数域无关，仅受限于有限个局部因子。
• 建立不同数域整数环上zeta函数收敛性与亚纯性的统一性。
• 分析素理想处的局部zeta函数及其全局乘积结构。

提出的方法

• 通过同余商、维数与共轭类大小，定义群 $\mathbf{G}(\mathcal{O})$ 的二元zeta函数。
• 将全局zeta函数表示为整数环 $\mathcal{O}$ 的素理想 $\mathfrak{p}$ 上的欧拉乘积。
• 对每个素理想 $\mathfrak{p}$，分析局部zeta函数 $\mathcal{Z}^{\ast}_{\mathbf{G}(\mathcal{O}_{\mathfrak{p}})}(s_1,s_2)$，利用来自表示论与群论数据的收敛条件。
• 证明全局zeta函数的收敛域与亚纯延拓域相对于 $\mathcal{O}$ 是独立的，仅受限于有限个局部因子。
• 通过区域分解与交集论证，证明收敛域包含一个与数域无关的临界带的统一邻域。
• 利用 $\mathscr{D}_{\mathscr{R},\delta}$ 区域的结构，建立在有限个素数集之外的统一收敛性与亚纯性。

实验结果

研究问题

• RQ1 二元表示zeta函数 $\mathcal{Z}^{\textup{irr}}_{\mathbf{G}(\mathcal{O})}(s_1,s_2)$ 的收敛域是否依赖于数域 $K$？
• RQ2 二元共轭类zeta函数 $\mathcal{Z}^{\textup{cc}}_{\mathbf{G}(\mathcal{O})}(s_1,s_2)$ 的亚纯延拓是否与数域的整数环 $\mathcal{O}$ 无关？
• RQ3 这些zeta函数的解析行为能否在所有数域上实现统一，仅受限于有限个局部因子？
• RQ4 从局部收敛条件来看，全局zeta函数的收敛域具有何种精确结构？
• RQ5 素理想处的局部zeta函数如何贡献于zeta函数的全局解析结构？

主要发现

• 二元zeta函数 $\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}$，使得全局zeta函数 $\mathcal{Z}^{\ast}_{\mathbf{G}(\mathcal{O})}^{\mathcal{Q}}(s_1,s_2)$ 的收敛域与亚纯延拓域不依赖于 $\mathcal{O}$。
• 收敛域 $\mathscr{D}_{\mathscr{R},\delta}$ 在所有数域上是统一的，其中 $\delta > 0$ 与 $\mathcal{O}$ 无关，从而确保了解析统一性。
• 全局zeta函数在严格包含临界域 $\mathscr{D}_{\mathbf{G}}^{\ast}$ 的域 $\mathscr{M}_{\mathbf{G}}^{\ast}$ 上亚纯，且该域与 $\mathcal{O}$ 无关。
• 在有限集 $\mathcal{Q}$ 之外的所有 $\mathfrak{p}$ 上，局部zeta函数 $\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}$ 无关的域上亚纯延拓。