03.03.05 · differential-geometry / lie-groups

p-adic Lie group and the p-adic exponential

shipped3 tiersLean: nonepending prereqs

Anchor (Master): Lazard 1965 Publ. Math. IHES; Bourbaki 1972; Serre 1965; Dixon-du Sautoy-Mann-Segal Analytic Pro-p Groups

Intuition [Beginner]

The real exponential map $e^{x}$ sends addition to multiplication. In the world of $p$ -adic numbers (where distances are measured by divisibility by a prime $p$ ), there is an analogous exponential: a power series that sends $p$ -adic addition to $p$ -adic multiplication. This $p$ -adic exponential is the foundation of $p$ -adic Lie group theory.

A $p$ -adic Lie group is a group that is also a $p$ -adic manifold, just as an ordinary Lie group is a group that is also a smooth manifold. The $p$ -adic exponential map provides coordinates near the identity, turning the group into a $p$ -adic version of a vector space (the Lie algebra).

The key difference from the real case is convergence. The $p$ -adic exponential $exp (X) = 1 + X + X^{2} /2 + \dots$ only converges when $∣ X ∣_{p} < p^{- 1/ (p - 1)}$ , because the denominators $n!$ have large $p$ -adic valuation. This restricted domain shapes the entire theory: the exponential is only locally defined, and the group structure it captures is inherently $p$ -adic analytic.

Visual [Beginner]

A number line labelled with $p$ -adic distances (small near 0, growing by powers of $p$ ). A small disc around the origin is highlighted as the "convergence disc" of the $p$ -adic exponential. Arrows show the exponential mapping the additive disc to a multiplicative disc inside the $p$ -adic group, with the logarithm as the reverse arrow.

The $p$ -adic exponential maps a small additive disc to a multiplicative disc inside the $p$ -adic group.

Worked example [Beginner]

The $p$ -adic exponential for $p = 2$ . Consider the 2-adic numbers $Q_{2}$ . The exponential series is $exp (X) = 1 + X + X^{2} /2! + X^{3} /3! + \dots$ .

Step 1. For $p = 2$ , the convergence condition requires $∣ X ∣_{2} < 2^{- 1/ (2 - 1)} = 1/2$ . So $X$ must be divisible by 2.

Step 2. Take $X = 2$ . Then $∣2 ∣_{2} = 1/2$ , which is on the boundary. The series converges because the $p$ -adic valuation of $X^{n} / n!$ grows as $n$ increases.

Step 3. Compute $exp (2) = 1 + 2 + 2 + 4/3 + \dots$ . In 2-adic arithmetic, the partial sums converge to a well-defined 2-adic number. The result is a 2-adic unit (a number with $∣ z ∣_{2} = 1$ ).

What this tells us: the $p$ -adic exponential works, but only inside a disc of controlled $p$ -adic radius. The group law it produces is the formal group law of the Lie group, evaluated in the convergent region.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $p$ be a prime. A $p$ -adic analytic manifold of dimension $n$ is a topological space locally modelled on $Q_{p}^{n}$ with transition functions given by convergent $p$ -adic power series.

Definition ( $p$ -adic Lie group). A $p$ -adic Lie group is a group $G$ equipped with the structure of a $p$ -adic analytic manifold such that the multiplication map $G \times G \to G$ and the inversion map $G \to G$ are $p$ -adic analytic.

Definition ( $p$ -adic exponential). The $p$ -adic exponential is the power series

$exp_{p} (X) = n = 0 \sum \infty \frac{X ^{n}}{n !}$

It converges in $Q_{p}$ for $∣ X ∣_{p} < p^{- 1/ (p - 1)}$ . The $p$ -adic logarithm is

$lo g_{p} (1 + X) = n = 1 \sum \infty \frac{( - 1 ) ^{n + 1}}{n} X^{n}$

converging for $∣ X ∣_{p} < 1$ . On their common domain, $exp_{p}$ and $lo g_{p}$ are inverse functions.

Definition ( $p$ -adic Lie algebra). The Lie algebra $g$ of a $p$ -adic Lie group $G$ is the tangent space at the identity $T_{e} G ≅ Q_{p}^{n}$ , equipped with the Lie bracket defined by the $p$ -adic Baker-Campbell-Hausdorff formula: $[X, Y] = BCH (X, Y) - X - Y + higher order terms$ .

Counterexamples to common slips

The $p$ -adic exponential converges everywhere. False. The $p$ -adic valuation $v_{p} (n!) = (n - S_{n}) / (p - 1)$ (where $S_{n}$ is the digit sum of $n$ in base $p$ ) grows linearly, so the convergence radius is $p^{- 1/ (p - 1)}$ , strictly less than 1.
Every $p$ -adic Lie group is a matrix group. False in general. Over $Q_{p}$ , the Ado-Iwasawa theorem gives a local embedding into $G L_{n} (Q_{p})$ , but the global structure can be more complicated.
The $p$ -adic BCH series is the same as the real BCH series. True as a formal power series. The difference is in the convergence domain: the $p$ -adic BCH converges on a smaller disc than the real one.

Key theorem with proof [Intermediate+]

Theorem ( $p$ -adic Lie group-Lie algebra correspondence). Let $G$ be a $p$ -adic Lie group with Lie algebra $g$ . The $p$ -adic exponential map $exp_{p} : g \to G$ (defined in coordinates via the power series) is a local $p$ -adic analytic isomorphism from a neighbourhood of $0$ in $g$ to a neighbourhood of $e$ in $G$ . The group law in exponential coordinates is given by the $p$ -adic BCH formula: $exp_{p} (X) \cdot exp_{p} (Y) = exp_{p} (BCH (X, Y))$ .

Proof sketch. The $p$ -adic exponential is defined by the same power series as in the real case. The derivative at zero is the identity map, so the $p$ -adic inverse function theorem guarantees a local analytic inverse (the $p$ -adic logarithm). The group multiplication, expressed in exponential coordinates, is analytic and agrees with the BCH series to all orders because both are determined by the same formal identities.

The key technical step is the convergence of BCH in the $p$ -adic setting. Since BCH $(X, Y) = X + Y + \frac{1}{2} [X, Y] + \dots$ involves denominators $n!$ , the $p$ -adic valuation of the coefficients must be tracked. The $p$ -adic BCH converges on the domain $∣ X ∣_{p}, ∣ Y ∣_{p} < p^{- 1/ (p - 1)}$ because the $p$ -adic valuation of the denominators grows fast enough. $□$

Bridge. This theorem builds toward Lazard's characterisation of $p$ -adic analytic groups via uniform pro- $p$ groups in the Master section, and the foundational reason the correspondence works is that the formal group law 03.03.04 of the Lie group, evaluated in the convergent region of the $p$ -adic exponential, produces the $p$ -adic BCH formula. This is exactly the mechanism by which the algebraic formal group law theory connects to the analytic $p$ -adic group theory, and the bridge is that the $p$ -adic exponential converts the formal group law into a convergent analytic group law. The result pairs with the real Lie group-Lie algebra correspondence where the same BCH formula appears, but the $p$ -adic convergence analysis is different due to the ultrametric inequality, and this leads to the Lazard theory of $p$ -adic analytic groups 03.03.06.

Exercises [Intermediate+]

Exercise 8 (hard, symbolic).

Prove that the $p$ -adic exponential map $exp_{p} : p Z_{p} \to 1 + p Z_{p}$ is an isomorphism of topological groups when $p$ is odd.

Hint

Show that $exp_{p}$ is injective, surjective, and a homomorphism on this domain. For surjectivity, use $lo g_{p}$ as the inverse.

Answer

For odd $p$ : $1/ (p - 1) < 1$ , so the convergence condition $∣ X ∣_{p} < p^{- 1/ (p - 1)}$ is satisfied for all $X \in p Z_{p}$ (since $∣ X ∣_{p} \leq p^{- 1} < p^{- 1/ (p - 1)}$ ). The logarithm $lo g_{p} (1 + X)$ converges for $∣ X ∣_{p} < 1$ , i.e., for $1 + X \in 1 + p Z_{p}$ . On the common domain, $exp_{p}$ and $lo g_{p}$ are inverses. For $X, Y \in p Z_{p}$ (which commute in the additive group), $exp_{p} (X + Y) = exp_{p} (X) exp_{p} (Y)$ by the commuting exponential identity. Injectivity: if $exp_{p} (X) = 1$ , then $lo g_{p} (1) = 0 = X$ . Surjectivity: for any $u \in 1 + p Z_{p}$ , $X = lo g_{p} (u) \in p Z_{p}$ satisfies $exp_{p} (X) = u$ .

Advanced results [Master]

Theorem 1 (Lazard's theorem on $p$ -adic analytic groups). A topological group is $p$ -adic analytic if and only if it contains an open subgroup which is a uniform pro- $p$ group of finite rank. The rank equals the dimension of the $p$ -adic Lie group.

Theorem 2 (Powerful $p$ -groups and analyticity). A finitely generated pro- $p$ group $G$ is $p$ -adic analytic if and only if $G$ is powerful: $[G, G] \subseteq G^{p}$ (for odd $p$ ) or $[G, G] \subseteq G^{4}$ (for $p = 2$ ). This algebraic criterion detects $p$ -adic analyticity without reference to manifolds.

Theorem 3 ( $p$ -adic Ado theorem). Every finite-dimensional Lie algebra over $Q_{p}$ has a faithful finite-dimensional representation. Consequently, every $p$ -adic Lie group locally embeds into $G L_{n} (Q_{p})$ for some $n$ .

Theorem 4 (Iwasawa decomposition for $p$ -adic groups). A semisimple $p$ -adic Lie group $G$ admits an Iwasawa decomposition $G = K A N$ where $K$ is a maximal compact subgroup, $A$ is a split torus, and $N$ is a unipotent group. This mirrors the real Iwasawa decomposition but with $p$ -adic components.

Theorem 5 (Mahler expansion). Every continuous function $f : Z_{p} \to Q_{p}$ has a unique Mahler expansion $f (x) = \sum_{n = 0}^{\infty} a_{n} (n x)$ with $a_{n} \to 0$ in $Q_{p}$ . This is the $p$ -adic analogue of Taylor expansion and provides the analytic toolkit for $p$ -adic Lie groups.

Synthesis. The $p$ -adic exponential is the foundational reason that $p$ -adic Lie groups admit a Lie theory parallel to the real case; the central insight is that the formal group law 03.03.04 of the Lie group, when evaluated on the convergent disc of the $p$ -adic exponential, produces an analytic group law whose algebraic structure is captured by the Lie bracket. Putting these together with Lazard's theorem, the $p$ -adic analytic groups are precisely the topological groups containing a uniform pro- $p$ subgroup, which is exactly the bridge between the topological and algebraic viewpoints on $p$ -adic group theory. This pattern recurs throughout the subject, appearing in the powerful $p$ -group criterion for analyticity, the $p$ -adic BCH formula that converts Lie algebra data into group data, and the connection to the formal group law height 03.03.04 which governs the $p$ -adic structure through the $p$ -series. The result also connects to number theory via the Galois representations attached to $p$ -adic Lie groups by $p$ -adic Hodge theory, where the Lie algebra of the Galois group controls the arithmetic of the field extension.

Full proof set [Master]

Proposition (Convergence of the $p$ -adic exponential). The $p$ -adic exponential series $exp_{p} (X) = \sum X^{n} / n!$ converges for $∣ X ∣_{p} < p^{- 1/ (p - 1)}$ .

Proof. By Legendre's formula, $v_{p} (n!) = (n - S_{n}) / (p - 1) \geq (n - lo g_{p} (n) \cdot (p - 1)) / (p - 1)$ . For $∣ X ∣_{p} = p^{- v}$ with $v > 1/ (p - 1)$ :

$v_{p} (X^{n} / n!) = n v - v_{p} (n!) \leq n v - \frac{n - S _{n}}{p - 1} = n (v - \frac{1}{p - 1}) + \frac{S _{n}}{p - 1}$

Since $v > 1/ (p - 1)$ and $S_{n} / (p - 1)$ is bounded, $v_{p} (X^{n} / n!) \to \infty$ , so $∣ X^{n} / n! ∣_{p} \to 0$ . $□$

Proposition ( $p$ -adic logarithm as inverse). The series $lo g_{p} (1 + X) = \sum (- 1)^{n + 1} X^{n} / n$ and $exp_{p} (X) = \sum X^{n} / n!$ are inverse functions on their common domain of convergence.

Proof. Both series satisfy the formal identity $lo g (exp (X)) = X$ and $exp (lo g (1 + X)) = 1 + X$ as identities in $Q [[X]]$ . Since both sides converge $p$ -adically on the common domain (where $∣ X ∣_{p} < p^{- 1/ (p - 1)}$ and $∣ X ∣_{p} < 1$ ), the formal identity becomes an analytic identity. $□$

Connections [Master]

Formal group law 03.03.04. The $p$ -adic exponential evaluates the formal group law of a Lie group in the convergent $p$ -adic regime. The height of the formal group law 03.03.04 controls the $p$ -adic structure of the group through the $p$ -series, and the $p$ -adic BCH formula is the convergent realisation of the formal group law.
Lie groups and Lie algebras 03.03.01. The $p$ -adic Lie group-Lie algebra correspondence parallels the real correspondence from 03.03.01, but the $p$ -adic exponential has a restricted convergence domain. The Lie algebra structure (bracket, BCH formula) is formally identical; only the analytic properties differ.
Lie's third theorem 03.03.06. Lie's third theorem 03.03.06 asserts that every Lie algebra integrates to a Lie group in the simply-connected case. The $p$ -adic version uses the $p$ -adic exponential and BCH formula to construct the group law on the Lie algebra disc, and the convergence analysis provides the integration in the $p$ -adic setting.
$Z_{p}$ -extensions and Iwasawa theory 21.07.01. Number-theoretic application unit. The Galois group $Γ = Gal (K_{\infty} / K) ≅ Z_{p}$ of the cyclotomic $Z_{p}$ -extension is the simplest non-discrete $p$ -adic Lie group: a $1$ -dimensional pro- $p$ group whose Lie algebra is $Q_{p}$ . The Iwasawa algebra $Λ = Z_{p} [[Γ]] ≅ Z_{p} [[T]]$ is the completed group algebra of this $1$ -dimensional $p$ -adic Lie group, providing the algebraic carrier on which Iwasawa-theoretic class-group and Selmer-group invariants live. The non-commutative Iwasawa theory of Coates-Fukaya-Kato-Sujatha-Venjakob 2005 extends this picture to higher-dimensional pro- $p$ Lie groups arising from non-abelian $Z_{p}$ -towers, with the $p$ -adic Lie group structure of the present unit as the foundational substrate.

Historical & philosophical context [Master]

The theory of $p$ -adic Lie groups was created by Michel Lazard in his monumental 1965 paper "Groupes analytiques p-adiques" ^{[Lazard 1965]}, published in Publications Mathematiques de l'IHES. Lazard established the equivalence between $p$ -adic analytic groups, uniform pro- $p$ groups, and Lie algebras over $Q_{p}$ , creating a complete parallel to the classical theory of real Lie groups.

Jean-Pierre Serre systematised the theory in his 1965 lectures "Lie Algebras and Lie Groups" ^{[Serre 1965]}, emphasising the role of the formal group law and the BCH formula as the bridge between the algebraic and analytic viewpoints.

The modern treatment via powerful pro- $p$ groups is due to Lubotzky and Mann (1987), and the definitive reference is Dixon-du Sautoy-Mann-Segal "Analytic Pro-p Groups" (1999) ^{[Dixon et al. 1999]}, which gives a purely group-theoretic characterisation of $p$ -adic analytic groups without any reference to manifolds.

Bibliography [Master]

@article{lazard1965,
  author = {Lazard, Michel},
  title = {Groupes analytiques $p$-adiques},
  journal = {Publ. Math. Inst. Hautes \'Etudes Sci.},
  volume = {26},
  year = {1965}
}

@book{bourbaki1972,
  author = {Bourbaki, Nicolas},
  title = {Lie Groups and Lie Algebras, Ch. 4},
  publisher = {Hermann},
  year = {1972}
}

@book{serre1965,
  author = {Serre, Jean-Pierre},
  title = {Lie Algebras and Lie Groups},
  publisher = {Benjamin},
  year = {1965}
}

@book{dixon1999,
  author = {Dixon, J. D. and du Sautoy, M. P. F. and Mann, A. and Segal, D.},
  title = {Analytic Pro-$p$ Groups},
  edition = {2},
  publisher = {Cambridge Univ. Press},
  year = {1999}
}

Prerequisites

03.03.04 pending

Tier anchors

beginner: Serre Lie Algebras and Lie Groups informal; exponential map as a power series
intermediate: Bourbaki Lie Groups and Lie Algebras Ch. 4; Serre Lie Algebras and Lie Groups Part II
master: Lazard 1965 Publ. Math. IHES; Bourbaki 1972; Serre 1965; Dixon-du Sautoy-Mann-Segal Analytic Pro-p Groups

References

TODO_REF
Lazard — Groupes analytiques p-adiques (1965) · Publ. Math. IHES 26; the founding treatise on p-adic Lie groups
TODO_REF
Bourbaki — Lie Groups and Lie Algebras Ch. 4 (1972) · Sections 4--5 (p-adic Lie groups and the exponential map)
TODO_REF
Serre — Lie Algebras and Lie Groups (1965) · Part II, Ch. 4 (p-adic Lie groups)
TODO_REF
Dixon-du Sautoy-Mann-Segal — Analytic Pro-p Groups (1999) · Ch. 1--4 (p-adic analytic groups)

Reviewer

TBD

Estimated time

beginner: 14m
intermediate: 40m
master: 75m