0.1. For any finite group Γ, a “nonabelian Fourier transform matrix” was introduced in [L1]. This is a square matrix whose rows and columns are indexed by pairs formed by an element of Γ and an irreducible representation of the centralizer of that element (both defined up to conjugation). As shown in [L2], this matrix, which is unitary with square 1, enters (for suitable Γ) in the character for...

1. Hensel’s lemma 2. Metric definition of p-adic integers Zp and p-adic rationals Qp 3. Elementary/clumsy definitions of adeles A and ideles J 4. Uniqueness of objects characterized by mapping properties 5. Existence of limits 6. Zp and Ẑ as limits 7. Qp and A as colimits 8. Abelian solenoids (R×Qp)/Z[1/p] and A/Q 9. Non-abelian solenoids and SL2(Q)\SL2(A) Although we will also give the more ty...

In this article we prove a Grothendieck trace formula for L-functions of not necessarily commutative adic sheaves.