Jacobi descent charts and logarithmic quotient coordinates for split symmetric spaces

Abstract

Let $F$ be a non-Archimedean local field of characteristic zero and residue characteristic different from $2$, and let $(G,H)$ be an equal-rank split symmetric pair with $G$ split semisimple and adjoint and with an $F$-split maximal $θ$-split torus. Motivated by the singular contribution near the nilpotent fiber on the $θ$-fixed side of the infinitesimal local relative trace formula, we construct finite descent charts for regular families in $\mathfrak h$ approaching that fiber. On each chart, a Cartan lift defined over $F$ conjugates the sparse Jacobi family \[ Q(q)=\sum_{α\inΔ}(γ_αn_{-α}+q_αn_α) \] into $\mathfrak h$. The family $Q(q)$ is regular for every $q$ and takes the principal nilpotent value $Q(0)$. The restriction of the adjoint quotient to this family has generic rank equal to the number of odd exponents of $G$. For split symmetric pairs this rank equals $\operatorname{rank}H$; hence in equal rank the map is generically finite étale. Kummer theory classifies the twisted square-root covers on which the Cartan lifts are defined, and these covers exhaust the rational branches. On every branch, with $q_α=z_α^2$, the quotient Jacobian cancels the relative Weyl discriminant exactly: \[ \frac{ds}{|D_H^G|^{1/2}}=C\prod_{α\inΔ}d^\times z_α. \] Thus the normalized $H^\circ$-quotient density is a multiplicative Haar measure on the parameter torus, uniformly across all rational twists. After a finite clopen refinement, the associated Iwasawa heights are piecewise affine in the valuations $\operatorname{val}(z_α)$. For $(\operatorname{Sp}_{2n},\operatorname{GL}_n)$, the construction is explicit in Hurwitz coordinates, and the Cartan lift factors through commuting long-root $\operatorname{SL}_2$-subgroups.