的Bruhat-Tits树构造与应用详解)
1. 从代数到几何理解SL₂(F)的Bruhat-Tits树为何重要在非阿基米德局部域的世界里比如p-adic数域Qₚ或者更一般的域F我们熟悉的欧几里得几何直觉常常会失效。距离不再是连续的三角形内角和也不再是180度。在这种“怪异”的几何下研究像SL₂(F)这样的线性群的结构如果还停留在矩阵运算的层面往往会陷入复杂的代数泥潭。这时Bruhat-Tits树简称BT树的出现就像是为这片混沌的代数世界点亮了一盏几何的明灯。它把一个高度非线性的代数对象——SL₂(F)及其子群——的许多性质转化为了一个相对直观的、一维的、树状的几何对象上的作用。我第一次接触这个概念时感觉就像是在用地图导航一个抽象的城市代数关系是错综复杂的街道而BT树就是那张清晰的地铁线路图虽然简化了细节但抓住了最重要的连接关系。那么这个“树”到底是什么简单来说它是一个无限连通的、没有回路的图即一棵树其顶点和边可以用F上二维向量空间的“格点”来标记而SL₂(F)中的矩阵则通过改变这些格点的标定方式在树上产生一个“运动”。这种几何视角的威力是巨大的群元素的分类抛物型、椭圆型、双曲型对应着在树上的不同运动模式固定一个点、旋转、沿一条直线平移子群的结构比如算术子群、合同子群对应着对树的一部分子树或顶点/边集合的稳定化子甚至更复杂的表示论和自守形式问题也能在树的调和分析中找到对应。因此无论是想理解p-adic域上的模形式还是研究算术群的上同调BT树都是一个无法绕开的、强有力的工具。本文将从两个最核心的视角——超度量范数和格点——出发为你彻底拆解SL₂(F)的Bruhat-Tits树的构造、直观以及它如何成为连接代数与几何的桥梁。2. 基石超度量域F与超度量范数要理解BT树必须先理解它所生长的土壤——非阿基米德局部域F以及其上定义的核心结构超度量范数或称非阿基米德绝对值。这是所有直觉的起点也是与实数域R的根本区别。2.1 什么是“非阿基米德”我们熟悉的实数绝对值满足三角不等式|x y| ≤ |x| |y|。在非阿基米德域F上我们有一个更强的条件超度量不等式或称强三角不等式 |x y| ≤ max{|x|, |y|} 这意味着两个数相加其“大小”范数不会超过两者中较大的那个。这个性质初看反直觉却带来了一系列奇妙的几何后果。一个经典的例子是p-adic数域Qₚ。一个p-adic数x可以写成洛朗级数形式x p^ν * (a₀ a₁p a₂p² ...)其中ν是整数a₀是不被p整除的整数。它的p-adic绝对值定义为 |x|_p p^{-ν}当x≠0时。你可以验证这个定义满足超度量不等式。直观上这导致了一个现象所有在同一个“球”里的点都是这个球的中心。也就是说如果|y| ≤ r那么对于任何满足|x| ≤ r的点都有|x - y| ≤ r。这彻底颠覆了我们对“距离”和“球”的认知。2.2 赋值环、极大理想与剩余域从超度量范数出发我们可以定义F中一些关键的代数结构赋值环 O O {x ∈ F : |x| ≤ 1}。你可以把它想象成F中的“整数环”包含了所有范数不超过1的元素。极大理想 {x ∈ F : |x| 1}。这是O中所有“真分数”范数小于1的部分它是O的一个极大理想。剩余域 k k O / 。这是一个有限域对于Qₚk就是有限域Fₚ。这个有限域k将在后续构造树时扮演关键角色。还有一个关键元素素元 π。它是中的一个生成元满足 |π| 1并且 (π) πO。在Qₚ中π就是素数p本身。素元的作用类似于一个“缩放因子”乘以π会让范数缩小。这些结构是构建BT树的“砖块”。树的顶点和边的代数定义将完全由O、和π这些对象来描述。理解它们之间的关系是读懂后续构造的前提。例如O是一个局部环它的所有理想都是的幂次O ⊃ ⊃ ² ⊃ ³ ⊃ ...这形成了一个自然的滤链这个滤链的“商”结构即O/, /², ...的维数信息将决定树的“分支数”。3. 格点视角构建树的砖瓦与粘合剂格点视角是构造BT树最直观、也最贴近线性代数本质的方法。它把抽象的顶点和边具体化为我们熟悉的向量空间中的子模。3.1 什么是F上的格设V F² 是一个二维向量空间也就是列向量空间。V中的一个格LatticeL是指一个秩为2的O-子模。更具体地说L是V的一个子集满足L对O的乘法封闭若 a ∈ O, v ∈ L则 av ∈ L。L在F上张成整个VF·L V。L是自由O-模秩为2。即存在一组基 {e₁, e₂} ⊂ V使得 L Oe₁ ⊕ Oe₂。通俗地讲格就是V中一个由O生成的“离散”子群虽然在F的拓扑下它并不离散但在更粗的“模”意义下是离散的。你可以把它想象成铺满整个平面的平行四边形网格只不过“基本平行四边形”的边是由O中的元素张成的而不是整数。3.2 格的等价类与树的顶点关键的一步来了我们并不关心格本身而是关心格的相似类。两个格L和L‘称为相似的或等价的如果存在一个非零的标量 λ ∈ F*使得 L‘ λL。也就是说一个格和它的均匀缩放被视为同一个东西。为什么因为SL₂(F)作用在格上时缩放因子会被消去。我们定义树的顶点集 Vert(T) { 格L的相似类 [L] }这样每个顶点就代表了一族彼此成比例的格。例如标准格 L₀ Oe₁ ⊕ Oe₂ 是一个顶点。用素元π去缩放它得到 πL₀它与L₀是不同的格但因为 πL₀ π · L₀所以 [πL₀] [L₀]它们代表同一个顶点。这一点非常重要它保证了树的顶点不会因为简单的缩放而无限增多从而使得树的结构是“局部有限”的。3.3 边与邻接关系包含与商结构顶点有了边怎么定义边的定义同样来自格之间的自然关系包含。 我们说两个顶点 [L] 和 [L‘] 由一条边相连如果我们可以选取它们的代表元L和L‘使得满足如下包含关系 L ⊊ L‘ ⊊ L 或者等价地 L ⊊ L‘ ⊊ π⁻¹L。 并且要求商模 L / L‘ 同构于剩余域 k O/。这个条件的几何意义非常深刻层级关系 L‘ 严格介于 L 和它的“一次缩放” πL 之间。这定义了两个格之间一个固定的“距离”或“层级差”。一维商 L / L‘ ≅ k 是一个一维的k-向量空间。因为k是有限域假设它有q个元素例如对于Qₚqp那么这个商空间的大小就是q。这个数字q将直接决定树的分支数。对称性 如果 L‘ ⊂ L 且 L/L‘ ≅ k那么反过来考虑 L‘ 和 πL‘你会发现 πL‘ ⊂ L‘ 且 L‘/πL‘ ≅ k。但 [πL‘] [L‘]所以从顶点[L]到[L‘]的边也可以视为从[L‘]到[L]的边。因此我们通常将边视为无向边。但在具体作用时群元素可以赋予边一个方向。通过这种方式所有的格相似类被连接成了一幅巨大的图。可以证明这个图是一棵树——即任意两个顶点之间有且仅有一条路径相连并且没有回路。这就是SL₂(F)的Bruhat-Tits树 T。3.4 一个具体例子SL₂(Qₚ)的树让我们以最经典的FQₚ为例让上述抽象定义变得具体。O Zₚ p-adic整数环。 pZₚ。π p。k Fₚ p个元素的有限域。V Qₚ²。取标准基e₁(1,0), e₂(0,1)。标准格 L₀ Zₚ e₁ ⊕ Zₚ e₂。 与L₀相邻的格有哪些我们需要找到满足 pL₀ ⊊ L‘ ⊊ L₀且 L₀/L‘ ≅ Fₚ 的格L‘。L₀ / pL₀ 同构于 (Zₚ/pZₚ)² Fₚ²这是一个二维Fₚ-向量空间。满足条件的L‘对应于这个二维空间中的一维子空间。因为L‘是L₀的子格且商是一维的所以L‘的选取等价于在商空间L₀/pL₀ ≅ Fₚ²中指定一个方向一条过原点的直线。Fₚ²中一共有多少条这样的直线答案是 (p² - 1) / (p - 1) p 1。推导Fₚ²中有p²-1个非零向量每条直线包含p-1个非零向量所以直线总数是(p²-1)/(p-1)p1。因此在SL₂(Qₚ)的BT树中每个顶点都恰好连接着 p1 条边即树是 (p1)-正则的。这是一个极其优美且重要的结论。当p2时树是3-正则的每个点连3条边当p3时是4-正则的以此类推。你可以想象当p很大时从一点出发的分支非常多树的结构非常“茂盛”。4. 超度量范数视角树的另一种诞生方式格点视角从离散的代数对象格出发构造树。而超度量范数视角则更几何、更分析它直接从F²上的“距离”函数诱导出树的结构。这两种视角最终是等价的但后者提供了不同的洞察。4.1 F²上的超度量范数我们可以在二维空间VF²上定义推广的“范数”。一个超度量范数或简称范数是一个函数 ||·||: V → ℝ≥0满足||v|| 0 当且仅当 v0。||a v|| |a| · ||v|| 对任意 a ∈ F, v ∈ V。这里|a|是F上的超度量绝对值。超度量不等式 ||v w|| ≤ max{||v||, ||w||}。注意这里的范数不是我们在线性代数中熟悉的欧几里得范数它不来自内积并且满足更强的超度量不等式。一个典型的例子是最大范数对于v(x,y)定义 ||v||ₘ max{|x|, |y|}。你可以验证它满足上述所有条件。4.2 范数类型与树的顶点关键思想是我们关心的是范数的相似类。两个范数||·||和||·||‘称为相似的如果存在常数c0使得||v||‘ c ||v|| 对所有v成立。这类似于格的相似。那么树的顶点可以定义为不可约超度量范数的相似类。什么是“不可约”粗略地说它意味着这个范数不能分解为两个更低维范数的直和。在二维情况下一个可约范数对应的“单位球”会分裂成两个更小的球的直和这对应于树上的一个“终端”顶点叶子节点不在无限树中情况更复杂而我们主要关心的是那些“真正”的二维顶点。更具体、也更连通格点视角的表述是给定一个范数||·||它的单位球B { v ∈ V : ||v|| ≤ 1 } 是V中的一个O-子模。可以证明在二维不可约情况下这个单位球B本身就是一个格反之给定一个格L我们可以定义一个范数||v||_L inf{ |a| : a ∈ F*, 且 v ∈ aL }。这个范数的单位球恰好就是L。因此范数的相似类 [||·||] 与格的相似类 [L] 是一一对应的。超度量范数视角把顶点看作一个“度量”或“形状”单位球而格点视角则把它看作一个具体的代数对象。前者更几何后者更代数。4.3 从范数到边滤链与约化边的构造在范数视角下同样清晰。考虑一个范数||·||。由于满足超度量不等式它的“闭单位球” B {v: ||v|| ≤ 1} 和“开单位球” B° {v: ||v|| 1} 都是O-模。并且B/B°作为k-向量空间其维数是多少在不可约二维情况下这个维数就是1。现在考虑一个介于B°和B之间的O-子模L‘即 B° ⊊ L‘ ⊊ B并且要求 L‘/B° 是B/B°中的一个一维子空间。那么L‘本身也是一个格验证它满足格的三个条件并且它对应的范数||·||‘与||·||是不同的但紧密相关。事实上[L‘]就是树中与[B]相邻的一个顶点。这个过程可以系统地描述为一个超度量范数由其单位球B决定。B有一个自然的滤链... ⊋ πB ⊋ B ⊋ π⁻¹B ⊋ ...。树的边对应于在相邻层级比如B和π⁻¹B之间插入一个中间模这个中间模由商空间B/πB一个二维k-空间中的一条直线决定。这完全对应了我们在格点视角中看到的“p1条边”的构造。5. SL₂(F)在树上的作用几何实现代数构造出树T本身固然美妙但它的威力只有在群SL₂(F)作用上来时才真正爆发。这个作用是理解群本身几何结构的关键。5.1 群如何作用在顶点和边上群GSL₂(F)自然作用在向量空间VF²上对于一个矩阵 g [[a, b], [c, d]] 和向量 v(x,y) g·v (axby, cxdy)。这个作用诱导了G在格的集合上的作用g 把格 L 映到 gL { g·v : v ∈ L }。因为g的行列式为1它是一个可逆线性变换所以gL确实还是一个秩为2的格。更重要的是如果两个格相似L‘ λL那么 gL‘ g(λL) λ (gL)。所以G的作用与相似关系是相容的从而G作用在树的顶点集Vert(T)上g · [L] [gL]。这个作用也保持边的邻接关系。如果 [L] 和 [L‘] 相邻即存在代表元满足 L ⊊ L‘ ⊊ L那么作用后(gL) g(L) ⊊ gL‘ ⊊ gL并且由于g是同构维数关系保持不变所以 [gL] 和 [gL‘] 也相邻。因此G通过图自同构的方式作用在整棵树T上。5.2 三种运动模式双曲、抛物、椭圆在树T上SL₂(F)中元素的运动模式可以清晰地分类这对应着矩阵在F上的特征值性质。这是BT树最直观的应用之一。双曲元素或称斜驶元素代数特征矩阵g在F或其二次扩域中有两个不同的特征值且它们的绝对值范数不相等|λ₁| ≠ |λ₂|。几何作用这样的元素g在树T上有一个不变的双直线或称为轴。它沿着这条轴进行非平凡的平移。这条轴是一条无限的、没有分支的直线树的测地线。g的作用就像是沿着这条轴滑动一段固定的距离平移长度这个距离可以由特征值的范数比计算出来translation length |log|λ₁/λ₂||。这是树上的“双曲等距”。例子对角矩阵 diag(π, π⁻¹)其中π是素元。它把标准格 L₀ O⊕O 映射到 πO ⊕ π⁻¹O。这两个格不相似因为一个分量放大一个分量缩小所以它把顶点[L₀]移动到了另一个不同的顶点。实际上它沿着连接[L₀]和[πO⊕π⁻¹O]的路径进行平移。抛物元素代数特征矩阵g在F中只有一个特征值几何重数1或者说它不能对角化且特征值的绝对值为1。典型例子是上三角矩阵 [[1, b], [0, 1]] b≠0。几何作用抛物元素g没有不动点顶点或边但它有一个唯一的固定端点。这个端点是树在无穷远处的边界点可以理解为一条射线趋向的“方向”。g的作用是沿着朝向或离开这个端点的射线进行“漂移”。在树上观察它可能固定一条射线上的无穷多个顶点也可能沿着一条路径缓慢移动但没有一个全局的固定轴或点。直观想象一棵树你盯着远方的一个点边界点然后你沿着朝向那个点的路径不断前进但同时你的脚步可以左右轻微摆动固定射线上的点你的整体位置在向那个点靠近但你没有固定在一个具体的顶点上。这就是抛物运动。椭圆元素代数特征矩阵g在F或其二次扩域中的两个特征值其绝对值范数相等|λ₁| |λ₂|。特别地有限阶元素如有限子群中的元素都是椭圆的。几何作用椭圆元素g固定树T上的一个顶点或者一条边。这是最“温和”的作用。如果g固定一个顶点那么它属于该顶点稳定子群即保持对应格相似的矩阵群。如果g固定一条边但不固定其端点那么它会在两个端点之间交换即关于该边的“反射”。但注意在SL₂(F)中固定一条边但不固定端点的元素其行列式可能为-1如果考虑GL₂(F)在SL₂(F)中更常见的是旋转固定一个有限子树。例子有限域k上的矩阵模约化后如果可对角化且特征值在k中不同它在树上的作用可能固定一个顶点。更复杂的椭圆元素可能来自F的未ramified二次扩张中的单位根。这种分类将抽象的矩阵性质翻译成了树上清晰可见的几何运动为研究子群结构、动力系统等提供了强大的工具。6. 稳定子群与商图从树到具体应用理解了群在树上的作用我们就可以利用树的几何来研究群的代数性质。一个核心的应用是考察顶点或边的稳定子群以及这些子群作用后得到的商图。6.1 顶点稳定子与边稳定子对于一个顶点v [L]它的稳定子群或称迷向子群是 Stab_G(v) { g ∈ SL₂(F) : g·[L] [L] } { g ∈ SL₂(F) : gL λL, 对某个 λ ∈ F* }。 由于g的行列式为1如果gL λL那么λ² det(g) 1所以 λ ±1不在F中λ²1的解不一定只有±1。实际上由gL λL可知λ⁻¹g 保持格L不变即 λ⁻¹g ∈ Aut_O(L) ≅ GL₂(O) ∩ SL₂(F)更精确地说我们得到 g ∈ F* · Aut_O(L)。由于我们关心SL₂(F)需要模掉标量。最终顶点稳定子同构于SL₂(O)的一个共轭。因为任何格L都可以通过某个基变换g₀变成标准格所以 Stab_G([L]) g₀ SL₂(O) g₀⁻¹。类似地一条边e连接顶点v和w它的稳定子群 Stab_G(e) 是同时固定v和w的子群。通常边稳定子比顶点稳定子更大它可能包含交换两个顶点的元素在SL₂(F)中这要求该元素行列式为1且平方后属于顶点稳定子。这些稳定子群是紧开子群。这是p-adic群表示论中非常重要的性质。紧开子群是构建赫克代数、研究光滑表示的基础。6.2 合同子群与商图在数论中我们经常研究算术子群如合同子群Γ(N) { g ∈ SL₂(O) : g ≡ I (mod N) }其中N是O的理想比如Nⁿ。 这些子群Γ是SL₂(F)的离散子群在p-adic拓扑下甚至是有限指数的如果考虑SL₂(Z)在SL₂(Q)中的话但在p-adic情形下Γ作为SL₂(Qₚ)的子群是无限的但它在树上的作用通常具有有限商图。考虑子群Γ在树T上的作用。这个作用通常不是自由的可能有顶点或边被固定但如果我们忽略这些固定点或者考虑Γ对一个“够小”的有限指数子群的作用那么商空间 Γ\T 是一个有限图。这个有限图包含了丰富的算术信息图的顶点/边对应于Γ在T上作用的轨道。顶点的稳定子对应于Γ中固定某个格相似类的元素这些通常是有限群或更小的算术群。商图的结构比如亏格、Betti数与Γ的算术性质如同调群、模形式空间维数紧密相关。计算实例考虑FQ₂群Γ SL₂(Z₂)。这里OZ₂2Z₂kF₂。树是3-正则的。 标准格L₀的稳定子在Γ中就是SL₂(Z₂)本身。我们需要找出Γ作用下与[L₀]相邻的顶点的轨道。 与[L₀]相邻的顶点对应于L₀/pL₀ ≅ F₂²中的一维子空间。F₂²中有3条直线(1,0), (0,1), (1,1)。直线(1,0)对应的子格L₁由向量(2,0)和(0,1)生成更准确地说是满足L₀/L‘ ≅ (1,0) 的格L‘。一个方便的代表是 L₁ {(x,y) ∈ Z₂² : y ∈ 2Z₂}。即第二个坐标是偶数的格。类似地(0,1)对应 L₂ {(x,y) ∈ Z₂² : x ∈ 2Z₂}。(1,1)对应 L₃ {(x,y) ∈ Z₂² : x-y ∈ 2Z₂}。现在Γ SL₂(Z₂) 作用在这些格上。可以验证Γ可迁地作用在这三个相邻顶点上。也就是说对于任意两个相邻顶点总存在一个Γ中的矩阵把其中一个变成另一个。这意味着在商图 Γ\T 中顶点[L₀]在商图中只有一个像并且这个像连接着一条边因为三条边在Γ作用下彼此等价。但这条边在商图中可能变成一个“环”不我们需要检查边本身是否被识别。 实际上Γ不仅把[L₀]的三个邻居粘在一起它也可能把[L₀]自己与某个邻居等同起来吗我们需要检查是否存在 γ ∈ Γ使得 γ[L₀] [L₁]。如果存在那么[L₀]和[L₁]在商图中就是同一个点。经过计算寻找矩阵把标准基映射到L₁的基我们发现这样的γ确实存在例如矩阵 [[1,0],[1,1]] 模2后把(0,1)送到(1,1)但需要仔细验证它对格的作用。更系统的分析表明对于SL₂(Z₂)商图 Γ\T 实际上是一个单顶点带一条自环的图。这个自环对应于那条被粘合的边。这个简单的商图反映了SL₂(Z₂)在树上的作用具有很强的传递性。对于更小的合同子群比如主同余子群 Γ(2) {g ∈ SL₂(Z₂) : g ≡ I mod 2}它的作用更“小”商图会更大、更复杂可能包含多个顶点和边。这个商图是计算Γ(2)的模形式空间维数、上同调群等的重要工具。7. 边界与端树的完备化与群作用的动力学树T本身是一个局部紧但非紧的空间。为了完整地研究SL₂(F)的作用我们通常需要将树紧化也就是添加“无穷远点”即树的边界。7.1 树的端Ends在一棵无限树中一条射线是一个无限的、没有回溯的路径一串顶点 (v₀, v₁, v₂, ...)其中每个v_i与v_{i1}相邻且所有v_i互不相同。两条射线被认为是等价的如果它们在有限步后重合即“尾等价”。一个端就是这样的等价类。对于SL₂(F)的BT树其边界∂T所有端的集合有一个漂亮的描述它一一对应于F上的一维子空间的旗或者说射影直线 P¹(F)。更具体地说一个端 ξ 可以对应到VF²中的一个“嵌套的格链” L₀ ⊋ L₁ ⊋ L₂ ⊋ ...其中每个商 L_i / L_{i1} 是一维的k-空间。这个嵌套链的交集是V中的一个一维F-子空间一条过原点的直线。反之给定一条直线我们可以构造出许多指向它的射线。另一种观点边界 ∂T 同胚于射影直线 P¹(F) F ∪ {∞}。这个同胚是拓扑的也是测度的赋予P¹(F)自然的p-adic拓扑。这个边界非常重要因为许多群作用在树上时其动力学性质在边界上表现得更为明显。例如一个双曲元素g它的两个特征方向就对应着边界上的两个不动点一个吸引点一个排斥点。g的作用在树上沿着连接这两个点的轴测地线平移在边界上则表现为这两个点附近的“扩张”和“压缩”。7.2 群作用在边界上与抛物子群SL₂(F)自然作用在射影直线P¹(F)上通过莫比乌斯变换。通过边界同胚这个作用与它在树边界∂T上的作用是一致的。抛物元素在边界P¹(F)上恰好有一个不动点。这个不动点就是它对应的特征向量方向在不可对角化情况下这是唯一的特征空间。在树上它固定这个边界点但不固定任何有限的顶点或边。双曲元素在边界上有两个不动点吸引点和排斥点。椭圆元素在边界上可能没有不动点如果它固定树的一个有限子树或者有整个不动点集如果它作用平凡。抛物子群即稳定P¹(F)中某个点的子群在树的几何中扮演着特殊角色。它们恰好是树上的稳定某个端的子群。这些子群的结构通常是O和一个加法群的半直积例如上三角矩阵群。理解群在边界上的作用是将BT树应用于边界表示、拟共形映射和刚性理论的基础。例如Mostow刚性定理在p-adic情形的证明就深刻依赖于对树及其边界上群作用的理解。8. 实操中的思考从理论到计算的桥梁理论固然优美但当我们真正要用BT树做计算或证明时会遇到一些需要小心处理的细节。这里分享几点从理论过渡到具体操作时的经验和注意事项。1. 格的“好基”选取在具体计算中我们经常需要为格选取一组具体的O-基。虽然任何两组基之间相差一个GL₂(O)矩阵但选取一组“好基”能极大简化计算。对于标准格L₀基就是标准基e₁, e₂。对于一个与L₀相邻的格L‘满足 L₀ ⊊ L‘ ⊊ L₀我们可以选取形如 {πe₁, e₂} 或 {e₁, πe₂} 或 {e₁απe₂, e₂} (α ∈ O/) 这样的基。这对应于将L₀/pL₀ ≅ k²中的一条直线提升到L₀中。明确写出基有助于具体计算群元素如何作用在格上。2. 商图计算的系统性方法计算离散子群Γ的商图 Γ\T 是常见的任务。一套系统的方法是找到基本域在树上找一个连通的有限子图D使得Γ-平移覆盖整个树且D内部没有两个点被Γ等同除了可能在边界上。对于SL₂(Zₚ)这样的“大”群基本域可能小到只是一个顶点或一条边。对于合同子群Γ(ⁿ)基本域会随着n增大而迅速变大。确定边的粘合找出D的边界上哪些点/边在Γ作用下是等价的。这需要解一些矩阵方程找到Γ中连接D中两个不同点的元素。使用约化理论对于SL₂(Qₚ)有类似于实数情形下的“闵可夫斯基约化”或“西格尔集”的理论可以帮助系统地找到基本域。这通常涉及寻找“最小范数”的格代表元。软件辅助对于较小的p和n可以用计算机代数系统如SageMath、Magma来枚举格的有限集合并计算群作用。SageMath的Graph模块和MatrixGroup功能可以部分实现这个过程。3. 特征值绝对值与平移长度的计算判断一个矩阵g ∈ SL₂(F)是双曲、抛物还是椭圆核心是计算其特征值在F或其代数闭包上的绝对值。在p-adic域Qₚ中特征值是二次方程的解。其绝对值p-adic赋值可以通过求解方程并计算根的赋值来得到。一个实用技巧对于矩阵 g [[a,b],[c,d]]其迹tad和行列式为1决定了特征值。特征值λ满足 λ² - tλ 1 0。判别式 Δ t² - 4。在Qₚ中Δ的赋值以及它是否为平方决定了特征值的性质。如果 |Δ|_p 1即Δ的赋值0则两个特征值绝对值互为倒数|λ₁|_p p^{k}, |λ₂|_p p^{-k} (k0)这是双曲元素。平移长度 2k · log p。如果 |Δ|_p ≤ 1 且 Δ 是Qₚ中的平方则特征值在Qₚ中且绝对值均为1因为乘积为1。这是椭圆元素如果特征值不同或中心元素如果特征值相同。如果 |Δ|_p ≤ 1 且 Δ 不是平方则特征值在一个二次扩张中但其范数到Qₚ的范仍为1所以绝对值作为Qₚ上的赋值仍为1。这也是椭圆元素。抛物元素对应 Δ0即t±2且矩阵不可对角化。此时特征值为±1但几何重数为1。4. 稳定子群计算的陷阱计算顶点稳定子 Stab_G([L]) 时容易混淆“保持格L不变”和“保持格类[L]不变”。前者要求 gL L这是一个更严格的条件对应的群是 Aut_O(L) ≅ GL₂(O)但需考虑行列式。后者允许缩放gL λL。在SL₂(F)中由于det(g)1从gLλL可得 λ² det(L的基矩阵变换?)1实际上λ必须是F中满足λ²1的元素。在大多数p-adic域中只有λ±1。所以对于大多数FStab_G([L]) { g ∈ SL₂(F) : gL L or gL -L }。当p为奇素数时-1 ≠ 1所以稳定子可能比Aut_O(L) ∩ SL₂(F) 稍大一点包含乘以-1。在计算商图时这个细微差别会影响顶点稳定子群的阶进而影响商图顶点上的“权重”或“奇点”。5. 从树到上同调BT树是计算p-adic群及其算术子群的上同调群的强大工具。因为树T是一个可缩空间一棵树是合同伦于一个点的而群G作用在其上。对于无挠子群Γ其分类空间可以构造为 Γ\T这是一个有限图如果Γ是余紧的或具有有限图的图如果Γ有挠。那么Γ的上同调群就同构于这个图/空间的上同调群。即使Γ有挠包含椭圆元素通过使用带稳定子的复形也称为“杂拼复形”仍然可以用树的几何来计算上同调。这是将几何信息转化为代数不变量的典范例子。在实际计算中这意味着计算商图Γ\T的顶点和边以及它们的稳定子群然后应用一个谱序列或Mayer-Vietoris序列来拼出整体的上同调。
)
