The factorization of over a finite field where is of first degree and L(x) is linear
The field-of-norms functor is applied to deduce an explicit formula for the Hilbert symbol in the mixed characteristic case from the explicit formula for the Witt symbol in characteristic in the context of higher local fields. Is is shown that a “very special case” of this construction gives Vostokov’s explicit formula.
Given a maximal arithmetic Kleinian group , we compute its finite subgroups in terms of the arithmetic data associated to by Borel. This has applications to the study of arithmetic hyperbolic 3-manifolds.