Vertical subspace in HPn (Riemannian submersions)

In summary: M is just F(p)*v. This is just a generalization of the fact that the derivative of a function at a point is the slope of the line connecting that point to the function at that point.
  • #1
Sajet
48
0
Hi!

I'm trying to work through a script on Riemannian submersions but I have some problems with one proof in particular (or more likely the general underlying concepts). No worries, this is not about the entire proof, but just one step.

This is about the quaternionic projective space

[itex]\mathbb{H}P^n = \{pS^3 | p \in \mathbb{S}^{4n+3}\}[/itex]

as the orbit space under the free isometric group action

[itex]S^3 \times \mathbb{S}^{4n+3} \rightarrow \mathbb{S}^{4n+3}, (g, p) \mapsto pg^{-1}[/itex]

The projection [itex]\pi: \mathbb{S}^{4n+3} \rightarrow \mathbb{S}^{4n+3}/S^3 = \mathbb{H}P^n[/itex] should be the associated Riemannian submersion if I understand correctly.

Therefore, we can speak of vertical and horizontal vectors in [itex]T_p \mathbb{S}^{4n+3}[/itex].

Without going into the entire context of the proof, I don't really understand the following:

"Let [itex]v, w[/itex] be horizontal unit vectors in [itex]T_p \mathbb{S}^{4n+3}, p = (1, 0, ..., 0) \in \mathbb H^{n+1}.[/itex] [...] We can regard v, w as vectors in [itex]\mathbb H^{n+1}[/itex] (through the canonical isomorphism). [...] The vertical subspace of [itex]T_p \mathbb{S}^{4n+3}[/itex] in p is generated by [itex](i, 0, ..., 0), (j, 0, ..., 0), (k, 0, ..., 0).[/itex] Therefore the horizontal vectors v, w are of the form [itex](0, *, ..., *).[/itex]"

I don't understand why the vertical subspace is generated by these three vectors. Why isn't the vector (1, 0, ...) also necessary to generate the subspace?

Thanks in advance!
 
Physics news on Phys.org
  • #2
Ok, I have some new insights that I can use to clarify my question. You can disregard the above. It boils down to this:

[itex]\mathbb S^{4n+3} \subset \mathbb H^{n+1}[/itex] is a manifold. For every [itex]p \in \mathbb S^{4n+3}[/itex] we have a submanifold [itex]pS^3, S^3 \subset \mathbb H[/itex].

What I'm looking for is the tangent space [itex]T_p (pS^3)[/itex] (vertical) and [itex](T_p (pS^3))^\perp \subset T_p \mathbb S^{4n+3}[/itex] (horizontal) respectively.

[itex]T_p (pS^3)[/itex] seems to be generated by the vectors [itex]ip, jp, kp[/itex]

I would be very grateful if someone could explain to me why this is the case.
 
  • #3
This sounds like it's a simple computation. The vertical subspace Vp you're after is ker (pi*), where pi* means the derivative of the submersion pi at p. In the context of quotient spaces, Vp is just TpO, the so-called tangent space to the orbit O through p. Consider the map µp:S³-->S^{4n+3} defined by µp(g)=pg-1. Then TpO is just the image of (µp)* (derivative of µp at the identity element of the group). So you only need to compute this to find Vp! To to this, you will may find it helpful instead to consider S³ as acting on the whole H^n, and define instead µp:S³-->H^n. Of course, Vp is still just Im((µp)*), but now you don't have to worry about the unpleasant charts of S^{4n+3}.
 
  • #4
More useful is to consider the action of S³ as the restriction of the action of the whole of H\{0}. This allows you to compute TpO as the R-span in H of

[tex]\dot{\gamma}(0), \ \dot{\sigma}(0), \dot{\tau}(0)[/tex]

where

[tex]\gamma(t)=1+ti, \ \sigma(t) = 1+tj, \ \tau(t)=1+tk[/tex]
 
  • #5
Thank you!

All of your first post makes lots of sense to me. Unfortunately, I don't really see where [itex]\gamma, \sigma, \tau[/itex] come from in your second post and how it connects to the rest.

So, we have the action [itex]\mu_p : S^3 \rightarrow \mathbb H^{n+1} \supset \mathbb S^{4n+3}, g \mapsto pg^{-1}[/itex]

I fear this is a very basic concept but I didn't manage to figure out how I can calculate the differential. Maybe this is even what your second post is about, but if so I can't find the connection. Do I need a chart for S³ for that? Or maybe this is why you said I should extend the action of the whole of [itex]H\setminus \{0\}[/itex].

This gives: [itex]\mathbb H\setminus \{0\} \times \mathbb H^{n+1}, g \mapsto pg^{-1}[/itex]

But I'm still not sure how to differentiate this. I have never learned about complex or quaternionic differentiation, but maybe this is not even relevant here, I don't know...

The script script I have in front of me makes it sound like it is very trivial that the vertical space is generated by pi, pj, pk...
 
  • #6
[itex]\mathbb{H}[/itex] is a real vector space, hence its tangent space at any point p is naturally identified with [itex]\mathbb{H}[/itex] itself (as a real vector space).

The tangent space to [itex]S^3\subset\mathbb{H}[/itex] at 1 is, when considered as a vector subspace of TpH=H, simply the R-span of the quaternions i,j,k. This is because S³={q in H | ||q|| = 1} and TpS³ = {q in H | (p,q)=0}, where ( , ) and || || are just the usual euclidean inner product and norm that you get on H by identifying it with R⁴ (as real vector spaces) via the natural map (1,0,0,0) <--> 1, (0,1,0,0) <--> i, (0,0,1,0) <--> j, (0,0,0,1) <--> k. In particular, just observe that (1,i)=(1,j)=(1,k)=0. Hence, i,j,k belong to T1S³ and they actually span T1S³ for dimensional reasons.

On the other hand, if you have a map F:M-->N between manifolds, and v in TpM a tangent vector, then the derivative of F at p in the direction of v, written F*v is equal to
[tex]\left.\frac{d}{dt}\right|_{t=0} (F\circ \gamma(t))[/tex]
where [itex]\gamma(t)[/itex] is any smooth path such that [itex]\gamma(0)=p[/itex] and [itex]\dot{\gamma}(0)=v[/itex].

Now that we know that i,j,k span T1S³, we need to compute (µp)*i, (µp)*j and (µp)*k, where µp:S³--> H^n. For this, all we need is 3 curves [itex]\gamma, \ \sigma, \ \tau[/itex] in S³ passing through 1 at t=0 and s.t. [itex]\dot{\gamma}(0)=i[/itex], [itex]\dot{\sigma}(0)=j[/itex], [itex]\dot{\tau}(0)=k[/itex].

This is basically all that I said implicitely in my first post.

Then in the second post I said "Scratch that last part. Instead, consider µp defined on all of H\{0}. This makes our job easier, because now we don't have to take [itex]\gamma, \ \sigma, \ \tau[/itex] in S³, we just have to take them in H\{0}, and there are obvious candidates for such curves, that will make differentiation trivial, namely [itex]\gamma(t)=1+ti, \ \sigma(t) = 1+tj, \ \tau(t)=1+tk[/itex]."
 
  • #7
Thank you so much! Now I understand :)

You have really helped me out!
 
  • #8
That was the plan! :)
 

1. What is a vertical subspace in HPn?

A vertical subspace in HPn refers to the set of vectors that are tangent to the fibers of a Riemannian submersion from a higher dimensional manifold HPn to a lower dimensional manifold M. In other words, these vectors are orthogonal to the horizontal space of the submersion.

2. How is a vertical subspace related to Riemannian submersions?

A Riemannian submersion is a smooth map between two Riemannian manifolds that preserves the metric structure. The vertical subspace is an essential component of this map, as it determines the direction of the fibers and the curvature of the submersion.

3. What is the significance of studying vertical subspaces in HPn?

Studying vertical subspaces in HPn allows us to understand the geometry and topology of Riemannian submersions. It also has applications in fields such as differential geometry, topology, and mathematical physics.

4. How are vertical subspaces in HPn different from other subspaces?

Vertical subspaces in HPn are different from other subspaces because they are orthogonal to the horizontal space of the submersion. This means that they play a crucial role in determining the geometry of the submersion and cannot be ignored.

5. Can vertical subspaces in HPn be visualized?

Yes, vertical subspaces in HPn can be visualized in certain cases. For example, in a Riemannian submersion from a sphere to a lower dimensional manifold, the vertical subspace can be visualized as the tangent space to the sphere at each point. However, in higher dimensions, visualization may become more challenging.

Similar threads

Replies
8
Views
2K
Replies
4
Views
2K
  • Differential Geometry
Replies
6
Views
2K
Replies
1
Views
1K
  • Differential Geometry
Replies
1
Views
1K
  • Differential Geometry
Replies
13
Views
2K
Replies
4
Views
3K
  • Differential Geometry
Replies
12
Views
3K
  • Calculus and Beyond Homework Help
Replies
0
Views
419
  • Set Theory, Logic, Probability, Statistics
Replies
2
Views
1K
Back
Top