Integration on loop groups. I: Quasi invariant measures (Q752206)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Integration on loop groups. I: Quasi invariant measures |
scientific article |
Statements
Integration on loop groups. I: Quasi invariant measures (English)
0 references
1990
0 references
Suppose M is a homogeneous space of a compact connected Lie group G, and a Riemannian metric on G and M is induced by an Ad(G)-invariant euclidean metric on the Lie algebra of G. Given \(m\in M\), a Wiener measure \(\mu_ M\) on \[ {\mathbb{L}}_ m(M)=\{\nu: [0,1]\to M\quad continuous| \quad \nu (0)=\nu (1)=m\}, \] the loop space at \(m\in M\), is defined via the fundamental solution of the heat equation \((\partial /\partial t- \Delta_ M)\). Denote by \(K=\{g\in G|\) \(gm=m\}\) the isotropy group of m in G, and put \[ ^ K{\mathbb{P}}(G)=\{\gamma: [0,1]\to G\quad continuous| \quad \gamma (0)=\gamma (1)\in K\}. \] Then \({}^ K{\mathbb{P}}(G)\) acts on \({\mathbb{L}}_ m(M)\). Put \[ ^ K{\mathbb{P}}^ 1(G)=\{\gamma \in^ K{\mathbb{P}}(G)| \quad \int^{1}_{0}\| \gamma^{-1}(\tau){\dot \gamma}(\tau)\|^ 2d\tau <\infty \}. \] The main result of the present paper is the following. Given \(\gamma \in^ K{\mathbb{P}}^ 1(G)\), there exists \(k(\gamma)=k_{\gamma}\) in the Fréchet space \(\cap_{p}L^ p({\mathbb{L}}_ m(M);\mu_ m)\), such that for every \(v\in L^ q({\mathbb{L}}_ m(M);\mu_ m)\) \[ \int_{{\mathbb{L}}_ m(M)}v(\gamma \lambda)d\mu_ m(\lambda)=\int_{{\mathbb{L}}_ m(M)}v(\lambda)k_{\gamma}(\lambda)d\mu_ m(\lambda). \] Thus, in particular, the Wiener measure \(\mu_ m\) on the loop space \({\mathbb{L}}_ m(M)\) is quasi-invariant under the action of \(\gamma \in^ K{\mathbb{P}}^ 1(G)\). Furthermore, the module of quasi-invariance \(\gamma\mapsto k(\gamma)\) is a differentiable map.
0 references
Cameron-Martin theorem
0 references
homogeneous space
0 references
compact connected Lie group
0 references
Lie algebra
0 references
Wiener measure
0 references
loop space
0 references
fundamental solution
0 references
heat equation
0 references
isotropy group
0 references
Fréchet space
0 references
action
0 references
module of quasi- invariance
0 references
0 references
0 references