The Haar measure of the $p$-adic rotation group $\textrm{SO}(3)_p$ via nautical angles

TL;DR

This paper explicitly constructs the Haar measure on the $p$-adic rotation group $ extrm{SO}(3)_p$ using nautical angles, providing a practical tool for non-Archimedean models requiring angular invariant integration.

Contribution

It introduces a novel explicit formula for the Haar measure on $ extrm{SO}(3)_p$ via nautical coordinates, leveraging $p$-adic quaternion isomorphism and Jacobian computations.

Findings

Derived the change of variables formulas for $ extrm{SO}(3)_p$

Computed the Jacobian in the $p$-adic setting

Obtained a factorized density in nautical angles

Abstract

We study the explicit construction of the Haar measure on the compact $p$-adic rotation group $\textrm{SO}(3)_p$ by nautical (Cardano) parametrization. Exploiting its topological group isomorphism with $\mathbb{H}_p^\times/\mathbb{Q}_p^\times$ of $p$-adic quaternions modulo scalars, we derive the corresponding change of variables formulas and compute the associated Jacobian in the $p$-adic setting, which we combine with the known Haar measure on the multiplicative group of $p$-adic quaternions $\mathbb{H}_p^\times$. This yields an explicit formula for the normalized Haar measure on $\textrm{SO}(3)_p$ in nautical coordinates, with a factorized density in the three angles. Our construction provides a concrete tool suited for applications of non-Archimedean models where an explicit angular description of invariant integration is required.