2025-11-15T02:16:11.629749

Edge Zeta Functions and Eigenvalues for Buildings of Finite Groups of Lie Type

Shen

For the Tits building B(G) of a finite group of Lie type G(Fq), we study the edge zeta function, which enumerates edge-geodesic cycles in the 1-skeleton. We show that every nonzero edge eigenvalue becomes a power of q after raising to a bounded exponent k depending on the type of G. The proof is uniform across types using a Hecke algebra approach. This extends previous results for type A and for oppositeness graphs to the full edge-geodesic setting and all finite groups of Lie type.

academic

유한 리형군의 건물에 대한 모서리 제타함수와 고유값

기본정보

논문ID: 2405.14395
제목: Edge Zeta Functions and Eigenvalues for Buildings of Finite Groups of Lie Type: A Uniform Hecke Algebra Approach
저자: SHEN, Jianhao
분류: math.CO (조합론), math.NT (수론), math.RT (표현론)
발표시간: 2025년 10월 15일 (arXiv v2 버전은 2025년 10월 13일)
논문링크: https://arxiv.org/abs/2405.14395

초록

본 논문은 유한 리형군 G(F_q)의 Tits 건물 B(G)의 모서리 제타함수를 연구하며, 이 함수는 1-골격에서 모서리-측지선 루프의 개수를 계산한다. 저자는 모든 0이 아닌 모서리 고유값이 G의 유형에 따라 결정되는 유계 지수 k로 올린 후 q의 거듭제곱이 됨을 증명했다. 증명은 모든 유형에 걸쳐 통일적으로 수행되는 Hecke 대수 방법을 사용한다. 이는 A형 및 대척 그래프에 관한 이전 결과를 완전한 모서리-측지 설정 및 모든 유한 리형군으로 확장한다.

연구 배경 및 동기

문제 배경

구면 건물의 제타함수: 구면 건물의 제타함수는 기하학, 조합론 및 표현론 사이의 심층적 연결을 드러낸다. 이들은 정규 그래프의 Ihara 제타함수 및 q-정규 트리에 대한 이변수 확장을 일반화한다.
기존 연구의 한계:
- 1차원 경우(정규 그래프)는 고전적 Ihara 제타함수 이론으로 완전히 이해됨
- 고차원 아핀 건물의 모서리 및 복도 제타함수는 광범위하게 연구됨
- 그러나 유한체 위의 구면 건물의 제타함수 연구는 상대적으로 적으며, 1차원 경우를 제외하고는 주로 대척 그래프 및 그 스펙트럼에 초점을 맞춤
연구 동기:
- 저자는 초기 연구18에서 A_n형 구면 건물의 모서리 제타함수를 도입하고 폐쇄 공식을 유도함
- 이 프레임워크를 다른 고전형 및 예외형으로 일반화할 필요성
- 모든 유한 구면 건물의 모서리 고유값의 표현론적 기원 확립

핵심 문제

유한 두께 구면 건물 B(G)의 모서리 제타함수 Z_B(u)를 연구하며, 이는 B(G)의 1-골격에서 원시 폐측지선의 개수를 계산하고, 모서리 고유값의 대수적 형태를 결정한다.

핵심 기여

주요 정리: F_q 위의 유한 리형군 G의 각 모서리 고유값 λ에 대해, λ^k이 q의 정수 거듭제곱이 되는 양의 정수 k > 0이 존재함을 증명
통일적 방법: Luo의 최신 분해 정리와 Iwahori-Hecke 대수의 중심 원소에 관한 Springer의 정리를 결합하여 모든 유한 유형에 걸친 통일적 Hecke 대수 방법 제공
구체적 공식:
- A형: 모든 λ에 대해 k = 6
- B 또는 C형: k = 8
- D형: λ에 따라 k = 6 또는 8
새로운 명시적 공식: 심플렉틱 경우(C형)에 대한 새로운 폐쇄 공식을 유도하고 해당 루프 구조 및 지수 2m을 표로 작성
이론 확장: 이전의 A형 및 대척 그래프 결과를 완전한 모서리-측지 설정 및 모든 유한 리형군으로 확장

방법 상세 설명

작업 정의

유한 리형군 G(F_q) 및 관련 건물 B(G)가 주어졌을 때, 모서리 제타함수를 다음과 같이 정의: $Z(B,u) = \exp\left(\sum_{l=1}^{\infty} \frac{N(l)}{l} u^l\right)$ 여기서 N(l)은 길이 l인 측지선 루프의 개수이다. 목표는 1/Z(B,u)의 영점(모서리 고유값)의 대수적 성질을 결정하는 것이다.

핵심 방법 구조

1. 건물 제타함수에서 군 대수 문제로

측지 모서리 그래프 X_2(B): 문제를 측지 모서리 그래프로 재구성하며, 폐쇄 경로는 B의 측지선에 대응
부분 분해: X_2(B)를 유형 궤도의 다중부분으로 분해하며, 각 성분의 스펙트럼을 개별적으로 연구
상대 목표 원소(RDE): 군 대수의 RDE 연산자를 통해 성분 인접성 표현

2. Hecke 대수 축약

핵심 기술 혁신은 긴 RDE 곱을 간단한 형태로 축약하는 것:

명제 3.1.1: 양의 정수 m이 존재하여 c | 2m이고, $D(v_0, v_0, c)^{2m/c} = a_{P_0 w_S P_m} a_{P_0 w_S P_m}$ 여기서 P_m과 P_0는 대척 표준 포물선 부분군이다.

3. Luo 분해 정리의 적용

정리 3.1.2 (Luo 분해): Φ의 축약 근계에 대한 Weyl 군(W,S)이 주어졌을 때, 서로 다른 s_0, s_1 ∈ S를 정의하고 재귀 수열을 정의하면, 다음을 만족하는 유일한 정수 m이 존재: $w'_0 w_S = (w'_0 w_1)(w'_1 w_2)...(w'_{m-1} w_m)$ 그리고 길이 합: $l(w'_0 w_S) = \sum_{k=1}^m l(w'_{k-1} w_k)$

기술적 혁신점

통일적 축약: Luo 분해를 통해 복잡한 RDE 곱을 두 개의 쌍곡집합 연산자의 곱으로 축약
Springer 정리 적용: Iwahori-Hecke 대수의 중심 원소 작용을 활용하여 고유값 결정
유형 무관 방법: 모든 리형에 적용 가능한 통일적 처리 방식 제공

실험 설정

구체적 계산 사례

A형 검토

G = GL_n(F_q)의 경우, 건물은 A_형:

루프 길이: 일반적으로 c = 6, 균형 경우 c = 2
Luo 분해: 2m = 6
고유값: λ^{2m/c}의 q의 거듭제곱 근

C형 새로운 공식

G = Sp_{2n}(F_q)의 경우, 건물은 C_n형:

기하학적 설명: 꼭짓점은 i차원 완전 등방 부분공간에 대응
유형 궤도: C = {(i, i+j), (i+j, j), (j, i+j), (i+j, i)}
루프 길이: j ≠ i일 때 c = 4, j = i일 때 c = 2
Luo 분해: 2m = 8

평가 지표

대수성: 고유값 올림 후 q의 거듭제곱 여부
통일성: 방법이 모든 리형에 적용 가능한지 여부
명시성: 폐쇄 공식 도출 가능 여부

실험 결과

주요 결과

주 정리 1.0.1: G를 F_q 위의 유한 리형군이라 하고, B(G)를 관련 건물이라 하자. 각 모서리 고유값 λ에 대해, λ^k이 q의 정수 거듭제곱이 되는 양의 정수 k > 0이 존재한다.

정제된 형태 (정리 3.3.1):

각 c-단계 연산자 T_C의 고유값 λ에 대해, 거듭제곱 λ^{2m/c}은 q의 정수 거듭제곱
제타 인수는 명시적 표현식을 가짐: $Z(X_2(B)|_C, u) = \prod_{\chi:n_\chi \neq 0} \prod_{\zeta^d=1} \frac{1}{(1 - \zeta (Q(w_I)^{-2} q^{f_\chi})^{1/d} u^c)^{m_{C,\chi}(\zeta) d_\chi}}$