For TrGL(M)T\in rGL(M), Shale defines a new measure n(T)n(T) 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 quadratic form" formula.
Examples
  • In finite dimensions, X(T)X(T) reduces to detT|\det T| times an exponential factor.