For , Shale defines a new measure n(T)n(T) on the via pullback on LL_\infty, and sets

X(T)=dn(T)dn,X(T)=\frac{dn(T)}{dn},

the .

Remarks

Key properties (paper use):

  • X(T)1/2L2(M,n)X(T)^{1/2}\in L_2(M,n) and appears in the unitary implementer U(T)\mathfrak U(T).
  • When TGL(M)1|T|\in GL(M)_1, X(T)X(T) has an explicit "Gaussian " formula.
Examples
  • In finite dimensions, X(T)X(T) reduces to detT|\det T| times an exponential factor.