Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $\mathbb{V}$ be a representation of a Lie group $G$ and let $P \to M$ be a principal $G$-bundle with a principal connection. If $\mathbb{V}$ is finite-dimensional, then one can associate to this data an associated vector bundle $P\times_G \mathbb{V}$ with linear connection. I thought that basically the same construction should work also when $\mathbb{V}$ is an infinite-dimensional representation, but I haven't found any textbook that would not constrain itself to finite rank. All the textbooks concerning to infinite-dimensional differential geometry that I know of (Michor, Lang, Neeb) doesn't treat associated bundles and induced connections.


Edit:

I now realize that it may not be as straightforward as it seems on a first glance. I want to, in fact, generalize a slightly more complicated construction -- the so called tractor connection induced by a Cartan connection.

Changing the notation a little bit, given a finite-dimensional Lie group $G$ with a closed subgroup $H$, I need to work with an infinite-dimensional vector space $\mathbb{V}$ which is a representation of $\mathfrak{g}$ and also a representation of $H$ (so I can form associated bundles to $H$-principal bundles) with these two representation being compatible. Practically, I am interested mainly in Harish-Chandra modules and their globalizations. I think I am also fine with just a "sort of connection" working on some dense subbundle of the associated bundle and so $L^2$-globalizations are also OK.

I can briefly describe the construction for $\mathbb{V}$ being finite-dimensional representation of $G$ if it is needed.

share|improve this question
    
Additional negative result: Klingenberg's Riemannian Geometry discusses connections on infinite dimensional bundles, but not associated bundles. –  S. Carnahan Feb 13 '12 at 1:18
    
There's glimpses of this in Kriegl and Michor's book, though I wasn't able to find anything definite at a cursory glance. There's a sort-of related discussion in my paper arxiv.org/abs/0809.3104 but that's more about structures on bundles. The main issue here is getting all the possible topologies right and figuring out what the right generalisation should be. It's doable, but messy, so if it isn't needed then it isn't worth doing just for the sake of doing it. –  Loop Space Feb 13 '12 at 9:35
1  
@Andrew: sure you know these things better than I do, but - as long as $M$ and $G$ are finite-dimensional - what is the problem with taking the same formula as in the finite-dim. case? –  Johannes Ebert Feb 13 '12 at 10:17
    
Johannes: That case didn't occur to me! I assumed that $G$ was an infinite dimensional Lie group. Nonetheless, topology is still important and might behave a bit nastily. A standard situation is the space of $L^2$ sections of some fibre bundle. Then you run into the problem that, for example, $S^1$ doesn't act as nicely as it could on $L^2(S^1)$. Then I guess the explanation for the absence of this from the literature is that one can usually decompose the infinite representation into a sum of finite ones of different characters and study that collection instead of the single infinite one. –  Loop Space Feb 13 '12 at 10:47
2  
r0b0t: Incidentally, what is the actual question here? –  Loop Space Feb 13 '12 at 14:22

1 Answer 1

If you use the cocycle description of principal bundles (for finite dimensions) as in 18.7.4 of 1, you can describe the associated bundle using convenient calculus, since then you can flip coordinates freely. Inducing connections is then described in 19.8 (for associated fiber bundles) and in 19.10 (for associated vector bundles) of 1; use also 19.9 ("recognizing induced connections") where the cocycle description is spelled out.

Idea: You can carry over to infinite dimensions all constructions of finite dimensional differential geometry for which you have direct chart descriptions. But be very careful whenever you have to solve equations (ODE's, implicit functions, etc.)

1 Peter W. Michor: Topics in Differential Geometry. Graduate Studies in Mathematics, Vol. 93 American Mathematical Society, Providence, 2008. (pdf).

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.