The ψ-operator for (φ,Γ)-modules plays an important role in the study of Iwasawa theory via Fontaine’s big rings. In this note, we prove several sharp estimates for the ψ-operator in the cyclotomic case. These estimates immediately imply a number of sharp p-adic combinatorial congruences, one of which extends the classical congruences of Fleck (1913) and Weisman (1977). 1 Combinatorial Congruen...

In this paper, we will construct the p-adic zeta function for a non-commutative p-extension F of a totally real number field F such that the finite part of its Galois group G is a p-group with exponent p. We first calculate the Whitehead groups of the Iwasawa algebra Λ(G) and its canonical Ore localization Λ(G)S by using Oliver-Taylor’s theory on integral logarithms. Then we reduce the main con...

The Iwasawa decomposition of a connected semisimple complex Lie group or a connected semisimple split real Lie group is one of the most fundamental observations of classical Lie theory. It implies that the geometry of a connected semisimple complex resp. split real Lie group G is controlled by any maximal compact subgroup K. Examples are Weyl’s unitarian trick in the representation theory of Li...

We obtain an explicit Iwasawa decomposition of the symplectic matrices, complex or real, in terms of the Cholesky factorization for positive definite n×n matrices. We also provide a MATLAB program to compute the decomposition. 1. Iwasawa decomposition of the symplectic groups Let G be the real (noncompact) symplectic group [3, p.129] (the notation there is Spn), [4, p.265] G := Spn(R) = {g ∈ SL...

The Iwasawa decomposition of a connected semisimple complex Lie group or a connected semisimple split real Lie group is one of the most fundamental observations of classical Lie theory. It implies that the geometry of a connected semisimple complex resp. split real Lie group G is controlled by any maximal compact subgroup K. Examples are Weyl’s unitarian trick in the representation theory of Li...

In this paper, we introduce new non-abelian zeta functions for number fields and study their basic properties. Recall that for number fields, we have the classical Dedekind zeta functions. These functions are usually called abelian, since, following Artin, they are associated to one dimensional representations of Galois groups; moreover, following Tate and Iwasawa, they may be constructed as in...