In this short post I want to introduce an instance of certain objects that will be the subject of a few more posts. This particular object arises naturally in Affine Differential Geometry and turned out to have a relevant rôle in Harmonic Analysis too (in both Fourier restriction and in the theory of Radon transforms).
1. Affine Invariant measures
Affine Differential Geometry is the study of (differential-)geometric properties that are invariant with respect to . A very interesting object arising in Affine Geometry is the notion of an Affine Invariant Measure. Sticking to examples rather than theory (since the theory is still quite underdeveloped!), consider a hypersurface sufficiently smooth to have well-defined Gaussian curvature, which we denote by (a function on ). If we let denote the surface measure on (induced from the Lebesgue measure on the ambient space for example, or by taking directly , the restriction of the -dimensional Hausdorff measure to the hypersurface) then this crafty little object is called Affine Invariant Surface Measure and is given by
It was first introduced by Blaschke for (finding the reference seems impossible; it’s [B] in this paper, if you feel luckier) and by Leichtweiss for general . The reason this measure is so interesting is that it is (equi)affine invariant in the sense that if is an equi-affine transformation (thus with and so volume-preserving since ) then, using subscripts to distinguish the two surfaces, we have
for any measurable . We remark the following fact: that seemingly mysterious power in the definition of is the only exponent for which the resulting measure is (equi)affine-invariant.