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.
- ID Articolo: 2405.14395
- Titolo: Edge Zeta Functions and Eigenvalues for Buildings of Finite Groups of Lie Type: A Uniform Hecke Algebra Approach
- Autore: SHEN, Jianhao
- Classificazione: math.CO (Matematica Combinatoria), math.NT (Teoria dei Numeri), math.RT (Teoria della Rappresentazione)
- Data di Pubblicazione: 15 ottobre 2025 (versione arXiv v2 del 13 ottobre 2025)
- Link Articolo: https://arxiv.org/abs/2405.14395
Questo articolo studia le funzioni zeta di bordo dell'edificio di Tits B(G) per gruppi finiti di tipo Lie G(F_q), che contano il numero di cicli geodedesici di bordo nello scheletro 1-dimensionale. L'autore dimostra che ogni autovalore di bordo non nullo diventa una potenza di q dopo essere elevato a un esponente limitato k che dipende dal tipo di G. La dimostrazione utilizza il metodo dell'algebra di Hecke, applicato uniformemente su tutti i tipi. Questo estende i risultati precedenti sul tipo A e sui grafi di opposizione all'impostazione completa dei bordi geodedesici e a tutti i gruppi finiti di tipo Lie.
- Funzioni zeta degli edifici sferici: Le funzioni zeta degli edifici sferici rivelano connessioni profonde tra geometria, combinatoria e teoria della rappresentazione. Generalizzano la funzione zeta di Ihara per grafi regolari e le sue estensioni bivariabili a alberi q-regolari.
- Limitazioni della Ricerca Esistente:
- Il caso unidimensionale (grafi regolari) è completamente compreso attraverso la teoria classica della funzione zeta di Ihara
- Le funzioni zeta di bordo e corridoio degli edifici affini di dimensione superiore sono state ampiamente studiate
- Tuttavia, lo studio delle funzioni zeta degli edifici sferici su campi finiti è relativamente limitato; al di fuori del caso unidimensionale, i lavori precedenti si sono concentrati principalmente sui grafi di opposizione e sui loro spettri
- Motivazione della Ricerca:
- L'autore ha introdotto in lavori precedenti 18 la funzione zeta di bordo degli edifici sferici di tipo A_n e ha derivato formule chiuse
- È necessario generalizzare questo quadro ad altri tipi classici ed eccezionali
- Stabilire l'origine nella teoria della rappresentazione degli autovalori di bordo di tutti gli edifici sferici finiti
Studiare la funzione zeta di bordo Z_B(u) dell'edificio sferico finito e spesso B(G), che conta il numero di geodetiche chiuse primitive nello scheletro 1-dimensionale di B(G), e determinare la forma algebrica dei suoi autovalori di bordo.
- Teorema Principale: Dimostra che per ogni autovalore di bordo λ di un gruppo finito di tipo Lie G su F_q, esiste un intero k > 0 tale che λ^k è una potenza intera di q
- Metodo Uniforme: Fornisce un metodo uniforme dell'algebra di Hecke applicabile a tutti i tipi finiti, combinando il recente teorema di decomposizione di Luo e il teorema di Springer sugli elementi centrali dell'algebra di Iwahori-Hecke
- Formule Concrete:
- Tipo A: k = 6 per tutti gli λ
- Tipo B o C: k = 8
- Tipo D: k = 6 o 8 (a seconda di λ)
- Nuove Formule Esplicite: Deriva nuove formule chiuse per il caso simplettico (tipo C) e tabula le corrispondenti strutture di cicli e indici 2m
- Estensione Teorica: Estende i risultati precedenti sul tipo A e sui grafi di opposizione all'impostazione completa dei bordi geodedesici e a tutti i gruppi finiti di tipo Lie
Dato un gruppo finito di tipo Lie G(F_q) e il suo edificio associato B(G), si definisce la funzione zeta di bordo:
Z(B,u)=exp(∑l=1∞lN(l)ul)
dove N(l) è il numero di cicli geodedesici di lunghezza l. L'obiettivo è determinare le proprietà algebriche degli zeri di 1/Z(B,u) (autovalori di bordo).
- Grafo di Bordo Geodedesico X_2(B): Riformula il problema come grafo di bordo geodedesico, i cui cammini chiusi corrispondono alle geodetiche in B
- Decomposizione per Parti: Decompone X_2(B) in componenti multipartiti per orbite di tipo, lo spettro di ogni componente può essere studiato separatamente
- Elementi di Destinazione Relativa (RDE): Esprime le relazioni di adiacenza dei componenti attraverso operatori RDE nell'algebra di gruppo
L'innovazione tecnica centrale consiste nel ridurre lunghi prodotti RDE a forme semplici:
Proposizione 3.1.1: Esiste un intero positivo m tale che c | 2m, e
D(v0,v0,c)2m/c=aP0wSPmaP0wSPm
dove P_m e P_0 sono sottogruppi parabolici standard opposti.
Teorema 3.1.2 (Decomposizione di Luo): Per il gruppo di Weyl (W,S) di un sistema di radici ridotto Φ, dati s_0, s_1 ∈ S distinti, definendo una sequenza ricorsiva, esiste un unico intero m tale che:
w0′wS=(w0′w1)(w1′w2)...(wm−1′wm)
e le lunghezze si sommano: l(w0′wS)=∑k=1ml(wk−1′wk)
- Riduzione Uniforme: Riduce complessi prodotti RDE a prodotti di due operatori di doppi coset attraverso la decomposizione di Luo
- Applicazione del Teorema di Springer: Utilizza l'azione degli elementi centrali dell'algebra di Iwahori-Hecke per determinare gli autovalori
- Metodo Indipendente dal Tipo: Fornisce un trattamento uniforme applicabile a tutti i tipi di Lie
Per G = GL_n(F_q), l'edificio è di tipo A_:
- Lunghezza del ciclo: tipicamente c = 6, caso equilibrato c = 2
- Decomposizione di Luo: 2m = 6
- Autovalori: radici (2m/c)-esime di potenze di q
Per G = Sp_{2n}(F_q), l'edificio è di tipo C_n:
- Descrizione geometrica: i vertici corrispondono a sottospazi completamente isotropi di dimensione i
- Orbite di tipo: C = {(i, i+j), (i+j, j), (j, i+j), (i+j, i)}
- Lunghezza del ciclo: c = 4 quando j ≠ i, c = 2 quando j = i
- Decomposizione di Luo: 2m = 8
- Algebricità: Gli autovalori elevati sono potenze di q?
- Uniformità: Il metodo è applicabile a tutti i tipi di Lie?
- Esplicitezza: Si possono ottenere formule chiuse?
Teorema Principale 1.0.1: Sia G un gruppo finito di tipo Lie su F_q e B(G) il suo edificio associato. Per ogni autovalore di bordo λ, esiste un intero k > 0 tale che λ^k è una potenza intera di q.
Forma Raffinata (Teorema 3.3.1):
- Per ogni autovalore λ dell'operatore c-step T_C, la potenza λ^{2m/c} è una potenza intera di q
- I fattori zeta hanno espressioni esplicite:
Z(X2(B)∣C,u)=∏χ:nχ=0∏ζd=1(1−ζ(Q(wI)−2qfχ)1/duc)mC,χ(ζ)dχ1
Per il caso n = 2, (i,j) = (1,1):
- Bipartizione (∅,(1,1)): fattore (1−q0u2)1×q4
- Bipartizione (∅,(2)): fattore (1+q1u2)1×21q(q2+1)
- Bipartizione ((1),(1)): fattore ((1+iqu2)(1−iqu2))1×21q(q+1)2
L'articolo fornisce dati di ciclo completi per vari tipi di Lie:
- Tipo A: m = 3
- Tipo C: m = 4
- Tipo D: m = 4 (caso generale), m = 3 (caso speciale)
- Tipi eccezionali: G_2(m=6), F_4(m=6), E_6(m=4,5), E_7(m=4,5,6), E_8(m=6,8)
- Teoria Classica: Funzione zeta di Ihara e teoria delle varianti per grafi regolari
- Generalizzazioni ad Alta Dimensione: Studio delle funzioni zeta di bordo e corridoio degli edifici affini
- Caso Sferico: Principalmente limitato allo studio dei grafi di opposizione e dei loro spettri
- Primo trattamento uniforme di tutti gli edifici sferici finiti
- Stabilimento dell'origine nella teoria della rappresentazione degli autovalori di bordo
- Estensione dei risultati noti per il tipo A a tutti i tipi
- Universalità: Gli autovalori di bordo di tutti i gruppi finiti di tipo Lie possiedono la proprietà di essere "potenze di q"
- Uniformità: Il metodo dell'algebra di Hecke fornisce un quadro uniforme tra i tipi
- Computabilità: Il metodo produce formule chiuse concretamente calcolabili
- Complessità del Tipo D: La tabella completa per il tipo D non è fornita in questo articolo
- Complessità Computazionale: Il calcolo per alcuni tipi eccezionali rimane piuttosto complesso
- Caso Non Scisso: Si concentra principalmente sul caso scisso; i gruppi non scissi richiedono lavoro aggiuntivo
- Funzioni Zeta ad Alta Dimensione: Estensione agli scheletri di dimensione superiore dell'edificio
- Elementi Regolari: Studio dei modelli di autovalori per elementi regolari generalizzati
- Connessioni Coomologiche: Esplorazione delle connessioni con la coomologia dell'edificio
- Uniformità Teorica: Primo trattamento uniforme di tutti i tipi di Lie
- Innovazione Tecnica: Combinazione ingegnosa della decomposizione di Luo e del teorema di Springer
- Fattibilità Computazionale: Il metodo produce formule praticamente calcolabili
- Completezza: Trattamento completo dalla teoria agli esempi concreti
- Soglia Tecnica Elevata: Richiede una profonda conoscenza dei gruppi di Lie, della teoria degli edifici e dell'algebra di Hecke
- Complessità Computazionale: Sebbene la teoria sia uniforme, il calcolo concreto rimane complesso
- Ambito di Applicazione: Principalmente risultati teorici; le applicazioni pratiche non sono ancora chiare
- Contributo Teorico: Fornisce nuovi strumenti per la teoria degli edifici e la ricerca sulle funzioni zeta
- Valore Metodologico: Il metodo di riduzione dell'algebra di Hecke potrebbe avere applicazioni più ampie
- Valore Computazionale: Fornisce un metodo sistematico per i calcoli correlati
- Ricerca in combinatoria algebrica
- Teoria degli edifici e teoria geometrica dei gruppi
- Studio delle funzioni zeta nella teoria dei numeri
- Problemi di autovalori nella teoria della rappresentazione
L'articolo cita 38 importanti riferimenti, tra cui:
- Lavori classici di Ihara sui sottogruppi discreti di gruppi p-adici
- Teoria fondamentale degli edifici sferici di Tits
- Teoria dell'algebra di Hecke di Springer
- Risultati recenti sulla decomposizione del gruppo di Weyl di Luo
- Lavori precedenti dell'autore sul caso di tipo A
Valutazione Complessiva: Questo è un articolo di matematica teorica di alta qualità che fornisce contributi importanti nell'intersezione tra teoria degli edifici, combinatoria e teoria della rappresentazione. Sebbene la soglia tecnica sia elevata, il metodo uniforme e le intuizioni teoriche profonde lo rendono un progresso significativo nel campo.