Integral of the reflection operator in arbitrary symmetric spaces.

Funken
Messages
2
Reaction score
0
Just as the title says, suppose X is a symmetric manifold and \hat{S}(x) is the linear operator associated to \sigma_x\in G for some unitary irreducible representation,
where \sigma_x is the group element that performs reflections around x (remember X=G/H for H\subset G).

Now take the integral

\int_X d\mu(x) \hat{S}(x),

where d\mu(x) is the (normalized) reimannian measure in X.

Then, by covariance and using Schur's Lemmas, one can show that

\int_X d\mu(x) \hat{S}(x)=c\hat I

for some real value c.

Using heuristic arguments one can infer that c=1/2. I have calculated this integral explicitly for different cases (X=\mathbb{R}^{2n},S^2,\mathbb{H}^2) and it's always the same.
Of course it doesn't say the integral will take that value in the general case.

This looks like a very simple problem and it probably is, sadly I haven't been able to come up with a rigorous proof. Might as well be a well known result from group
theory, but a quick research in the literature gave no results. Group theory is not my expertise field, so any suggestions on this matter are most welcome.
 
Last edited:
Physics news on Phys.org
Actually, after repeating the evaluation of the integral on those manifolds more cautiously I found that for S^2 the integral is exactly the identity operator,
while for \mathbb{H}^2 the factor 1/2 remains. For \mathbb{R}^{2n} the situation changes too as c=2^{-n}.

So no universal result here, but interesting nonetheless. I'm still checking in the literature to find anything regarding the evaluation of this integral using more
general arguments (group theoretical, diff. geometry, etc.) than just doing the whole calculation case by case. If anyone here has any idea, anything, or can
point me in the right direction it would definitely help me with what I'm working at the moment.
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...

Similar threads

Back
Top