Intrinsic geometric exponential calculus
Construct and establish the admissibility of intrinsic chart-based logarithm and exponential operations, \(\log_G\) and \(\exp_G\), that satisfy algebraic consistency, normalization compatibility, reparametrization invariance, and a coherent statistical interpretation, thereby determining whether probability geometry yields an exponential calculus broader than transported G-exponential families.
References
Finally, the intrinsic question of Section~\ref{sec:intrinsic}---whether probability geometry generates its own exponential calculus---remains, in our view, the deepest open direction, and the transported theory developed here is intended as its rigorous point of departure.
Several directions remain open. The anchoring caveat of Section~\ref{sec:inference} calls for an estimated-chart extension: a two-step theory in the sense of in which the chart family $G_{\mu,\sigma}=G_0((\cdot-\mu)/\sigma)$ is calibrated before the exponential parameter is estimated, restoring equivariance at the price of a calibration correction. Chart selection---which benchmark geometry to impose, and how to compare fits across charts given the information invariance of Proposition~\ref{prop:invariance}---is a model-choice problem specific to this framework. Multivariate extensions through the copula coordinates of would transport exponential families on the unit cube.