18 Scope of the finite reconstruction
On this page · Visual guide: Where the complete arguments are retained · Permalink · Source line 1983
The article proves the following statements under their displayed hypotheses.
Tame irreducible Weil atoms are transitive Frobenius packets induced from unramified extensions.
Regular tame packets have the stated Möbius count.
Finite cuspidal blocks have exact primitive central projectors.
Tame tensor products satisfy the greatest common divisor and least common multiple packet formula.
Tame local polynomials, conductors, and finite Gauss phases are explicit.
Nondegenerate scalar projective commutators give full matrix twisted group algebras and unique finite Heisenberg representations.
A declared one break Clifford datum has a choice independent radical free symplectic envelope.
An equivariant symplectic isometry gives a Heisenberg bridge unique up to scalar.
One generator phase removes the scalar discrepancy for a cyclic stabilizer.
Odd finite Weil phases and dyadic Arf signs are multiplicative across orthogonal break packets.
Matrix holonomy on a fundamental cycle basis is the exact finite gluing obstruction.
The article does not independently prove the local Langlands correspondence, simple character theory, the canonical beta extension, or universal wild companion existence. It does not construct the Galois to type symplectic isometry for an arbitrary wild atom. It does not compare all pair local factors in the wild case.