[论文解读] Tidy subgroups for commuting automorphisms of totally disconnected groups: an analogue of simultaneous triangularisation of matrices

George A. Willis|ArXiv.org|Feb 18, 2003

Protein Tyrosine Phosphatases参考文献 8被引用 30

一句话总结

本文通过引入公共整洁子群的概念，为完全不连通局部紧群的交换自同构建立了同时三角化的类比。证明了有限个交换自同构存在一个公共整洁子群，反之，若一个自同构群具有公共整洁子群，则其在保持该子群的自同构模下是阿贝尔群。此类群的结构通过类似特征子群和类似特征值的实特征标进一步刻画。

ABSTRACT

Let αbe an automorphism of the totally disconnected group G. The compact open subgroup, V, if G is tidy for αif [α(V') : α(V')\cap V'] is minimised at V, where V' ranges over all compact open subgroups of G. Identifying a subgroup tidy for αis analogous to identifying a basis which puts a linear transformation into Jordan canonical form. This analogy is developed here by showing that commuting automorphisms have a common tidy subgroup of G and, conversely, that a group H of automorphisms having a common tidy subgroup V is abelian modulo the automorphisms which leave V invariant. Certain subgroups of G are the analogues of eigenspaces and corresponding real characters of H the analogues of eigenvalues.

研究动机与目标

• 将此前仅针对单个自同构定义的整洁子群理论扩展至交换自同构的集合。
• 建立有限个交换自同构存在公共整洁子群的条件。
• 刻画共享公共整洁子群的自同构群的代数结构。
• 在完全不连通群自同构的背景下，引入特征空间和特征值的类比概念。
• 为具有局部整洁子群的自同构群发展诸如秩、因子数和余秩群等不变量。

提出的方法

• 将先前工作中提出的整理程序适配于有限个交换自同构，以生成一个公共整洁子群。
• 引入T1性质的改进版本：若紧开子群V可分解为子群Vₐ，使得每个自同构αⱼ在Vₐ上分别表现为扩张、收缩或中性作用，则称V对多个自同构α₁,…,αₙ是整洁的。
• 定义一组同态φ: H → ℚ⁺，为每个自同构α ∈ H 分配一个类似特征值的尺度因子，类比于特征值。
• 将秩群R(H)定义为同态H → ℤⁿ的像，将余秩群AH定义为(⊕φ∈Φ ℤ)/R(H)，类比于外尔群及其作用。
• 利用模函数和尺度函数的性质（s(αⁿ) = s(α)ⁿ，∆(α) = s(α)/s(α⁻¹)⁻¹）分析自同构群的结构。
• 利用H在Aut(G)中的正规化子在Φ上诱导置换作用，从而在R(H)和AH上诱导表示。

实验结果

研究问题

• RQ1 在何种条件下，完全不连通群的有限个交换自同构会存在一个公共整洁子群？
• RQ2 一个自同构群H若共享一个公共整洁子群，其代数结构如何被刻画？
• RQ3 线性代数中特征值与特征空间的概念如何推广至完全不连通群的自同构？
• RQ4 可为具有局部整洁子群的自同构群关联哪些不变量——例如秩、因子数和余秩群？
• RQ5 H在Aut(G)中的正规化子如何作用于尺度同态集合Φ？该作用揭示了群结构的哪些信息？

主要发现

• 完全不连通局部紧群的有限个交换自同构存在一个公共整洁子群。
• 若自同构群H具有公共整洁子群V，则H在保持V的自同构模下是阿贝尔群。
• 群H可分解为子群Vₐ，使得每个自同构在Vₐ上分别表现为扩张、收缩或中性作用，类比于广义特征空间。
• 每个α ∈ H的尺度函数s(α)可表示为这些子群上局部扩张因子的乘积，类比于特征值。
• 因子数f.n.(H)是Φ中不同尺度同态φ的数量，在例6.11中，f.n.(H) = 6（当H ≤ SL(3, ℚₚ)时）。
• 余秩群AH在例6.11中同构于ℤ⁴，在例6.17中同构于ℤ，表明这些不变量在极大子群中并非唯一。