2025-11-10T03:07:02.690437

Epsilon dichotomy for twisted linear models

Xue, Yan
Let $E/F$ be a quadratic extension of local nonarchimedean fields of characteristic zero and let $D$ be a quaternion algebra over $F$ containing $E$. In this paper, we study a relation between the existence of twisted linear models on $\mathrm{GL}_n(D)$ and the local root numbers.
academic

Dicotomia epsilon per modelli lineari contorti

Informazioni Fondamentali

  • ID Articolo: 2404.00561
  • Titolo: Epsilon dichotomy for twisted linear models
  • Autori: Hang Xue, Pan Yan
  • Classificazione: math.NT (Teoria dei Numeri), math.RT (Teoria della Rappresentazione)
  • Data di Pubblicazione: 10 dicembre 2024 (versione più recente v3)
  • Link Articolo: https://arxiv.org/abs/2404.00561

Riassunto

Sia E/FE/F un'estensione quadratica di un campo locale non-archimedeo di caratteristica zero, e sia DD un'algebra di quaternioni su FF contenente EE. Questo articolo studia la relazione tra l'esistenza di modelli lineari contorti su GLn(D)\mathrm{GL}_n(D) e i numeri radice locali.

Contesto di Ricerca e Motivazione

Il problema centrale affrontato in questo articolo è la congettura di Prasad-Takloo-Bighash, un importante problema aperto nella teoria della rappresentazione. Nello specifico:

  1. Problema Centrale: La congettura predice quando una rappresentazione irriducibile ammissibile π\pi è (H,χ−1)(H,\chi^{-1})-distinguibile, dove HH è il centralizzatore di un'algebra centrale semplice.
  2. Importanza:
    • Questa congettura è una generalizzazione della congettura locale di Gross-Prasad
    • Collega le proprietà di distinzione nella teoria della rappresentazione alle proprietà analitiche delle funzioni L
    • Ha importanti applicazioni nella teoria delle forme automorfe e nella geometria aritmetica
  3. Limitazioni Attuali:
    • Quando χ\chi è il carattere banale, sono disponibili risultati parziali
    • Per χ\chi generale, solo pochi casi speciali sono stati risolti
    • Manca un metodo unificato per affrontare tutti i casi
  4. Motivazione della Ricerca:
    • Sviluppare metodi di traccia relativa per gestire periodi lineari contorti
    • Stabilire la relazione precisa tra numeri radice locali e proprietà di distinzione
    • Fornire una base locale per il caso globale

Contributi Principali

  1. Dimostrazione della Direzione Diretta: Per G=GLn(D)G = \mathrm{GL}_n(D) (dove DD è un'algebra di quaternioni), è stata completamente provata la direzione diretta della congettura di Prasad-Takloo-Bighash (Teorema 1.2)
  2. Dimostrazione Parziale della Direzione Inversa: Sotto ipotesi aggiuntive (χ∣F×\chi|_{F^×} banale e BC(π0)\mathrm{BC}(\pi_0) supercuspidiale), è stata provata la direzione inversa della congettura (Teorema 1.3)
  3. Sviluppo di Nuove Tecniche Metodologiche:
    • Utilizzo della traccia relativa per gestire periodi contorti
    • Introduzione della teoria dell'ellitticità e dello sviluppo in germi di Shalika
    • Stabilimento della teoria di corrispondenza tra il lato scindibile e il lato non scindibile
  4. Fornimento di Costruzioni Globalizzate: Attraverso argomenti globali sono stati risolti certi problemi locali, evitando complessi calcoli di integrali orbitali unipotenti

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Studiare quando una rappresentazione irriducibile ammissibile π\pi soddisfa HomH(π,χ−1)≠0\mathrm{Hom}_H(\pi, \chi^{-1}) \neq 0, e stabilire la relazione di questa proprietà con il numero radice locale ε(π0,E⊗χ)\varepsilon(\pi_{0,E} \otimes \chi).

Architettura del Modello

1. Configurazione Fondamentale

  • E/FE/F: estensione di campo quadratica, η=ηE/F\eta = \eta_{E/F} il carattere quadratico corrispondente
  • AA: algebra centrale semplice su FF di dimensione 4n24n^2, contenente l'immersione E→AE \to A
  • BB: centralizzatore di EE in AA, di dimensione n2n^2
  • G=A×G = A^×, H=B×H = B^×

2. Metodo della Traccia Relativa

Costruzione della corrispondenza tra il lato scindibile G′=ResE/F(GL2n)G' = \mathrm{Res}_{E/F}(\mathrm{GL}_{2n}) e il lato non scindibile G=GLn(D)G = \mathrm{GL}_n(D):

Lato Geometrico:

  • Spazio simmetrico: S′={gg−1∣g∈G′}≅G′/H′′S' = \{gg^{-1} | g \in G'\} \cong G'/H''
  • Integrali orbitali: OG′(x,f′)=∫(H′×H′′)x\(H′×H′′)f′(h−1xh′′)χH′(h)−1η−1(h−1xh′′)dhdh′′O^{G'}(x, f') = \int_{(H' \times H'')_x \backslash (H' \times H'')} f'(h^{-1}xh'') \chi_{H'}(h)^{-1}\eta^{-1}(h^{-1}xh'') dh dh''

Lato Spettrale:

  • Caratteri sferici: IΠ(f′)=∑Wℓ′(Π(f′)W)ℓ′′(W)I_\Pi(f') = \sum_W \ell'(\Pi(f')W)\ell''(W)
  • dove ℓ′∈HomH′(Π⊗χH′,C)\ell' \in \mathrm{Hom}_{H'}(\Pi \otimes \chi_{H'}, \mathbb{C}), ℓ′′∈HomH′′(Π⊗χη,C)\ell'' \in \mathrm{Hom}_{H''}(\Pi \otimes \chi\eta, \mathbb{C})

3. Teoria della Corrispondenza

Definizione della corrispondenza di elementi semisemplici regolari: x∈G′(F)x \in G'(F) e y∈G(F)y \in G(F) corrispondono se e solo se hanno lo stesso polinomio caratteristico.

Punti di Innovazione Tecnica

1. Teoria dell'Ellitticità

  • Definizione: Una rappresentazione π\pi è HH-ellittica se esiste un elemento semisemplice regolare ellittico tale che il carattere sferico sia non nullo
  • Risultato Chiave: Ellitticità delle rappresentazioni supercuspidali (Teorema 4.2)

2. Metodo dell'Involuzione

Definizione dell'involuzione f′†(g)=f′(tg−1)(χχc)(g)f'^†(g) = f'({}^tg^{-1})(\chi\chi^c)(g), che soddisfa: IΠ(f′†)=ε(Π⊗χ)χ(−1)nIΠ(f′)I_\Pi(f'^†) = \varepsilon(\Pi \otimes \chi)\chi(-1)^n I_\Pi(f')

3. Sviluppo in Germi di Shalika

Stabilimento dello sviluppo in germi degli integrali orbitali a livello di algebra di Lie: O(γ,η,f′)=∑O⊂N0ΓO(γ)μO(f′)O(\gamma, \eta, f') = \sum_{O \subset N_0} \Gamma_O(\gamma)\mu_O(f')

Configurazione Sperimentale

Quadro di Verifica Teorica

Questo articolo è principalmente un lavoro teorico, i cui risultati sono verificati attraverso:

  1. Coerenza nei Casi Speciali: Verifica che i nuovi risultati siano coerenti con i casi speciali noti (come quando χ\chi è banale)
  2. Preservazione delle Proprietà Funtoriali: Controllo della preservazione delle proprietà sotto la corrispondenza di Jacquet-Langlands
  3. Compatibilità Globale-Locale: Verifica dei risultati locali attraverso costruzioni globali

Metodi di Confronto

  • Metodo originale di Prasad-Takloo-Bighash
  • Metodo di Xue (2021) per il carattere banale
  • Metodo di classificazione di Suzuki (2021)

Risultati Sperimentali

Risultati Principali

Teorema 1.2 (Direzione Diretta)

Se π\pi è (H,χ−1)(H,\chi^{-1})-distinguibile, allora:

  1. Il parametro di Langlands di π0\pi_0 assume valori in GSp2n(C)\mathrm{GSp}_{2n}(\mathbb{C})
  2. ε(π0,E⊗χ)=εDnη(−1)nχ(−1)n\varepsilon(\pi_{0,E} \otimes \chi) = \varepsilon_D^n \eta(-1)^n \chi(-1)^n

Teorema 1.3 (Direzione Inversa)

Sotto ipotesi aggiuntive, le rappresentazioni di serie discreta che soddisfano le condizioni precedenti sono (H,χ−1)(H,\chi^{-1})-distinguibili.

Risultati Tecnici

Proposizione 4.11 (Identità della Traccia Relativa)

IBC(σ′)(f′)=Jσ(f)+Jσ⊗η(f)I_{\mathrm{BC}(\sigma')}(f') = J_\sigma(f) + J_{\sigma \otimes \eta}(f)

Questa identità è la chiave per collegare il lato scindibile e il lato non scindibile.

Lavori Correlati

Sviluppo Storico

  1. Casi Classici: Teoria della distinzione lineare di Flicker (1991)
  2. Congettura di Gross-Prasad: Casi di gruppi ortogonali e unitari
  3. Congettura di Prasad-Takloo-Bighash: Generalizzazione ad algebre centrali semplici generali

Progressi Recenti

  • Sécherre (2024): Caso di rappresentazioni cuspidali per p≠2p \neq 2
  • Suzuki (2021): Rimozione dell'ipotesi di genericità
  • Chommaux-Matringe (2022): Rappresentazioni cuspidali di profondità zero

Vantaggi di Questo Articolo

  • Gestione di caratteri contorti generali χ\chi
  • Metodo unificato della traccia relativa
  • Evitamento di complessi calcoli di integrali orbitali unipotenti

Conclusioni e Discussione

Conclusioni Principali

  1. Risoluzione completa della direzione diretta della congettura di Prasad-Takloo-Bighash nel caso di algebre di quaternioni
  2. Risoluzione parziale della direzione inversa sotto ipotesi ragionevoli
  3. Sviluppo di nuovi metodi per gestire periodi lineari contorti

Limitazioni

  1. La direzione inversa richiede l'ipotesi aggiuntiva χ∣F×\chi|_{F^×} banale
  2. Il metodo è limitato al caso di GLn(D)\mathrm{GL}_n(D)
  3. Il passo di globalizzazione richiede risultati noti di tipo Gross-Prasad

Direzioni Future

  1. Generalizzazione ad algebre centrali semplici generali
  2. Gestione della direzione inversa per caratteri contorti generali
  3. Sviluppo di congetture di tipo Gross-Prasad per GSpin(2n+1)×GSpin(2)\mathrm{GSpin}(2n+1) \times \mathrm{GSpin}(2)

Valutazione Approfondita

Punti di Forza

  1. Innovazione Metodologica: Il metodo della traccia relativa fornisce un nuovo approccio per gestire periodi contorti
  2. Profondità Teorica: La teoria dell'ellitticità e lo sviluppo in germi di Shalika hanno valore teorico indipendente
  3. Maestria Tecnica: Combinazione abile di metodi locali e globali
  4. Importanza dei Risultati: Avanzamento nella risoluzione di una congettura importante

Insufficienze

  1. Ambito di Applicabilità: Limitato al caso di algebre di quaternioni
  2. Condizioni di Ipotesi: La direzione inversa richiede ipotesi piuttosto forti
  3. Complessità Tecnica: La dimostrazione coinvolge numerosi dettagli tecnici, con leggibilità limitata

Impatto

  1. Contributo Teorico: Fornisce nuove prospettive su un importante problema nel programma di Langlands
  2. Valore Metodologico: Il metodo della traccia relativa potrebbe essere applicabile ad altri problemi
  3. Ricerca Successiva: Fornisce una base per ulteriori generalizzazioni

Scenari di Applicazione

  • Ricerca nella teoria delle rappresentazioni automorfe
  • Studio delle proprietà analitiche delle funzioni L
  • Teoria degli integrali di periodo nella geometria aritmetica

Bibliografia

Questo articolo cita 37 importanti riferimenti, principalmente includenti:

  • PTB11 La congettura originale di Prasad-Takloo-Bighash
  • XZ23 Stabilimento della traccia relativa
  • Xue21 Risultati precedenti nel caso di carattere banale
  • AC89 Teoria del cambio di base di Arthur-Clozel