Corpus definition canonical 2026-05-27T20:53:50+00:00
Corpus v3 · Definition cid001508DEF0278canonicalv1

Automorphic-Galois Duality in τ

Bidirectional correspondence between m-axis (Galois/prime) and n-axis (automorphic/spectral) data on ℤ²

Payload

Automorphic-Galois Duality in τ

Bidirectional correspondence between m-axis (Galois/prime) and n-axis (automorphic/spectral) data on ℤ²

Automorphic-Galois Duality in τ

Summary

Bidirectional correspondence between m-axis (Galois/prime) and n-axis (automorphic/spectral) data on ℤ²

Statement

\label{def:automorphic-galois-duality}
The \emph{automorphic--Galois duality in~$\T$} is the bidirectional correspondence
\begin{equation}
\text{(Galois datum on the $m$-axis)}
\quad \xleftrightarrow{\;\;\T\text{-Langlands}\;\;} \quad
\text{(automorphic datum on the $n$-axis)}
\label{eq:ch48-ag-duality}
\end{equation}
on the character lattice $\mathbb{Z}^2$ at enrichment level~$\Elayer{1}$.  Concretely:
\begin{enumerate}
\item\emph{(Forward.)} The Galois datum $(\operatorname{Fr}_p)_{p}$ determines the automorphic datum $(\lambda_n)_{n}$ via the local matching conditions~\eqref{eq:ch48-matching-condition}: each $\operatorname{Fr}_p$ decomposes into eigenvalues via the split-complex idempotents, and the collection of eigenvalues constitutes the automorphic spectrum.

\item\emph{(Backward.)} The automorphic datum $(\lambda_n)_{n}$ determines the Galois datum $(\operatorname{Fr}_p)_{p}$ via the Euler product~\eqref{eq:ch48-spectral-determinant}: the spectral determinant $L_{\T}(s)$ encodes the full sequence of Frobenius elements, which can be recovered from the $L$-function by inverting the local factors.
\end{enumerate}
The duality is \emph{exact} at $\Elayer{1}$: no information is lost in either direction.  The matching condition~\eqref{eq:ch48-matching-condition} at each prime is the local witness of the global duality.

Proof / Justification

This item is definitional. No manuscript proof is required.

Source Context

  • Registry source: book-03.jsonl line 131
  • Manuscript source: 2nd-edition/book-iii-categorical-spectrum/02_mainmatter/part06/ch48-automorphic-galois-duality.tex lines 183-200

Lean / Formalization Notes

  • Formalization: formalized
  • Module: TauLib.BookIII.Arithmetic.Langlands
  • Name: ag_duality_check

Dependencies

  • Canonical: III.D57, III.T23

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001508
  • Primary alias DEF0278
  • Type Definition
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

III.D63automorphic-galois-duality-indef:automorphic-galois-duality

Release lines

corpus_v3_workingcorpus_v2

Relations

Formalized by (1)

Appears in (1)

Downstream uses (computed) (2)

Items in the corpus that reference this one via load-bearing relations. Computed from the full corpus-v3 graph at build time.

Sources

  • Monograph cid000024Book III, Part 6, Chapter 48 (Part VI)

Version & History

  • v1 · 2026-05-10 imported from v2 registry
  • v1 · 2026-05-10 wired formalized by in wave 5

Status disclaimer

A Corpus Item page reports the program's current internal record for this item. It does not imply external verification, scientific consensus, or final proof unless explicitly stated. Read it together with its dependencies, formalization status, and the program's overall stance.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert