Registry · Definition
III.D12
tau-effective
formalized
III.D12 — Boundary-to-Interior Functor
The functor Φ: Char(L) → O(τ³) mapping boundary characters to interior holomorphic functions. This is Langlands₀: boundary functoriality. Takes a character on L and produces a holomorphic extension into the fibered product τ³.
Book III
Part 2
Ch. 9