Higher traces as boundary averages on finite-dimensional normed spaces

Abstract

Let $X$ be an $N$-dimensional real normed space, let $1⩽k⩽N$, and set $V={\Lambda }^{k}X$ and $m=\left(\genfrac{}{}{0ex}{}{N}{k}\right)$. We characterise the probability measures $\eta$ on the unit sphere of $V$ for which \[ \operatorname{tr}(Λ^kA)=m\int w^\sharp\big((Λ^kA)w\big)dη(w) \] holds for every $A\in \mathrm{End}(X)$: this is equivalent to $m\int w\otimes w^{♯}d\eta (w)={\mathrm{Id}}_V$. The cone probability measure always satisfies this condition, giving a canonical higher-trace formula for every norm. Normalised Euclidean hypersurface measure also does so under a scalar-commutant symmetry hypothesis, including spaces with a $1$-symmetric basis. We further obtain atomic and polyhedral formulae and show that, within a natural power-weighted family, cone measure is the unique universally isotropic member; for hypersurface measure the first-order obstruction is precisely the degree-$2$ spherical harmonic component of the support function.

arXiv comment14 pp