basic introduction to quotient geometry
TRANSCRIPT
![Page 1: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/1.jpg)
Basic Introduction to Quotient Geometry
Raviteja Vemulapalli
University of Maryland, College Park
April 17, 2013
Raviteja Vemulapalli Slide number 1/28
![Page 2: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/2.jpg)
Outline
• Quotient space, Horizontal space, Vertical space.
• Horizontal lift and Horizontal curves.
• Quotient space Riemannian metrics and Geodesics.
Raviteja Vemulapalli Slide number 2/28
![Page 3: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/3.jpg)
Quotient space
M1/G =M2
M2 is the quotient space ofM1 under a specified action by thegroup G.
What does this mean?
Raviteja Vemulapalli Slide number 3/28
![Page 4: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/4.jpg)
Quotient space (Ex 1: Space of concentric circles)
G = O2 ={R ∈ R2×2 | R>R = I2
}M1 = R2
Action: Left multiplication
Let x ∈M1 and g ∈ G. The action of g on x produces gx ∈M1.(because the action here is left multiplication)
The action of G on x ∈M1 produces the set[x] = Gx = {gx | g ∈ G}. Note that gx is inM1 for all g ∈ G.
Every element in Gx is said to be equivalent to x under thisgroup action. Gx is referred to as equivalence class of x (alsoreferred to as fiber).
Raviteja Vemulapalli Slide number 4/28
![Page 5: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/5.jpg)
Quotient space (Ex 1: Space of concentric circles)
Raviteja Vemulapalli Slide number 5/28
![Page 6: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/6.jpg)
Quotient space (Ex 1: Space of concentric circles)
The action of G dividesM1 into multiple disjoint equivalenceclasses (which happen to be circles centered at the origin inthis example).
Quotient spaceM2 is nothing but the set of all equivalenceclasses. In this example, quotient space is the space of circlescentered at the origin in R2.
Raviteja Vemulapalli Slide number 6/28
![Page 7: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/7.jpg)
Quotient space (Ex 2: Real Projective Space)
G = R− {0}M1 = R2 − {0}Action: Scalar multiplication
R2 − {0}/R− {0} = RP1
For a given x ∈M1, its equivalence class is given byGx = {gx | g ∈ R− {0}}, which can be associated with aunique line(except the origin) in R2.
Real projective space RP1 is nothing but the space of linespassing through the origin in R2.
Raviteja Vemulapalli Slide number 7/28
![Page 8: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/8.jpg)
Quotient space (Ex 2: Real Projective Space)
Raviteja Vemulapalli Slide number 8/28
![Page 9: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/9.jpg)
Quotient space (Exercise 1)
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
What isM1/G ?
M1/G is the space of spheres centered at the origin in R3.
Raviteja Vemulapalli Slide number 9/28
![Page 10: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/10.jpg)
Quotient space (Exercise 1)
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
What isM1/G ?
M1/G is the space of spheres centered at the origin in R3.
Raviteja Vemulapalli Slide number 9/28
![Page 11: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/11.jpg)
Quotient space (Exercise 2)
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
What isM1/G ?
M1/G is the real projective space RP2, i.e., the space of linespassing through the origin in R3.
Raviteja Vemulapalli Slide number 10/28
![Page 12: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/12.jpg)
Quotient space (Exercise 2)
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
What isM1/G ?
M1/G is the real projective space RP2, i.e., the space of linespassing through the origin in R3.
Raviteja Vemulapalli Slide number 10/28
![Page 13: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/13.jpg)
Quotient geometry
We have seen how some manifolds can be interpreted asquotient spaces of others manifolds.
What is the use of this?
Given a manifold with closed form expressions for geodesics,parallel transport, distances, etc., we can easily (relatively)derive closed form expressions for these quantities on quotientspaces of that manifold.
Raviteja Vemulapalli Slide number 11/28
![Page 14: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/14.jpg)
Quotient geometry: Tangent space
Given a Riemannian manifoldM, at every point X ∈M, wehave a tangent space TXM.
M = R2
TXM = R2
Raviteja Vemulapalli Slide number 12/28
![Page 15: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/15.jpg)
Quotient geometry: Equivalence classes / Fibers
Given a manifoldM, group G and an action, we get a set ofequivalence classes / fibers onM by the action of G.
M1 = R2 M2 = R2 − {0}G =
{R ∈ R2×2 | R>R = I2
}G = R− {0}
Action: Left multiplication Action: Scalar multiplication
Raviteja Vemulapalli Slide number 13/28
![Page 16: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/16.jpg)
Quotient geometry: Vertical space
Vertical space VXM at X ∈M is the set of all tangent vectorsin TXM that are tangent to the equivalence class / fiber of X.
Vertical space can also be seen as the set of tangent vectors,movements along which keep X in its equivalence class / fiber.
Raviteja Vemulapalli Slide number 14/28
![Page 17: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/17.jpg)
Quotient geometry: Horizontal space
Horizontal space HXM at X ∈M is the orthogonalcomplement of vertical space VXM.
Horizontal space can also be seen as the set of tangentvectors, movements along which move X across equivalenceclasses / fibers.
Raviteja Vemulapalli Slide number 15/28
![Page 18: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/18.jpg)
Quotient geometry: Horizontal space
Horizontal vectors actually correspond to movements in thequotient space.
Horizontal vectors at a point X ∈M provide a representationfor the tangents vectors to the quotient spaceM/G at GX.
Dimensionality of quotient space is equal to the dimensionalityof horizontal space.
Dimensionality of tangent space is equal to the sum ofdimensionalities of Horizontal and Vertical spaces.
Raviteja Vemulapalli Slide number 16/28
![Page 19: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/19.jpg)
Quotient geometry: Horizontal and Vertical spaces
Space of circles in R2 centered at the origin is a onedimensional manifold.
Real projective space RP1 is a one dimensional manifold.
Raviteja Vemulapalli Slide number 17/28
![Page 20: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/20.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 1:
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
Fibers:
Spheres centered at the origin in R3
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Tangent plane to the sphere passingthrough X (2-dimensional).
Horizontal space at X ∈M1: Normal to the sphere passingthrough X (1-dimensional).
Space of spheres in R2 centered at the origin is a onedimensional manifold.
Raviteja Vemulapalli Slide number 18/28
![Page 21: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/21.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 1:
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
Fibers: Spheres centered at the origin in R3
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Tangent plane to the sphere passingthrough X (2-dimensional).
Horizontal space at X ∈M1: Normal to the sphere passingthrough X (1-dimensional).
Space of spheres in R2 centered at the origin is a onedimensional manifold.
Raviteja Vemulapalli Slide number 18/28
![Page 22: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/22.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 1:
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
Fibers: Spheres centered at the origin in R3
Tangent space at X ∈M1:
R3 (3-dimensional)
Vertical space at X ∈M1: Tangent plane to the sphere passingthrough X (2-dimensional).
Horizontal space at X ∈M1: Normal to the sphere passingthrough X (1-dimensional).
Space of spheres in R2 centered at the origin is a onedimensional manifold.
Raviteja Vemulapalli Slide number 18/28
![Page 23: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/23.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 1:
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
Fibers: Spheres centered at the origin in R3
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Tangent plane to the sphere passingthrough X (2-dimensional).
Horizontal space at X ∈M1: Normal to the sphere passingthrough X (1-dimensional).
Space of spheres in R2 centered at the origin is a onedimensional manifold.
Raviteja Vemulapalli Slide number 18/28
![Page 24: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/24.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 1:
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
Fibers: Spheres centered at the origin in R3
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1:
Tangent plane to the sphere passingthrough X (2-dimensional).
Horizontal space at X ∈M1: Normal to the sphere passingthrough X (1-dimensional).
Space of spheres in R2 centered at the origin is a onedimensional manifold.
Raviteja Vemulapalli Slide number 18/28
![Page 25: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/25.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 1:
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
Fibers: Spheres centered at the origin in R3
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Tangent plane to the sphere passingthrough X (2-dimensional).
Horizontal space at X ∈M1: Normal to the sphere passingthrough X (1-dimensional).
Space of spheres in R2 centered at the origin is a onedimensional manifold.
Raviteja Vemulapalli Slide number 18/28
![Page 26: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/26.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 1:
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
Fibers: Spheres centered at the origin in R3
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Tangent plane to the sphere passingthrough X (2-dimensional).
Horizontal space at X ∈M1:
Normal to the sphere passingthrough X (1-dimensional).
Space of spheres in R2 centered at the origin is a onedimensional manifold.
Raviteja Vemulapalli Slide number 18/28
![Page 27: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/27.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 1:
G = O3 ={R ∈ R3×3 | R>R = I3
}M1 = R3
Action: Left multiplication
Fibers: Spheres centered at the origin in R3
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Tangent plane to the sphere passingthrough X (2-dimensional).
Horizontal space at X ∈M1: Normal to the sphere passingthrough X (1-dimensional).
Space of spheres in R2 centered at the origin is a onedimensional manifold.
Raviteja Vemulapalli Slide number 18/28
![Page 28: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/28.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 2:
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
Fibers:
Lines passing through the origin in R3.
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Line passing through origin and X(1-dimensional).
Horizontal space at X ∈M1: Plane orthogonal to the linepassing through origin and X (2-dimensional).
Space of lines passing through the origin in R3 is a twodimensional manifold.
Raviteja Vemulapalli Slide number 19/28
![Page 29: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/29.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 2:
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
Fibers: Lines passing through the origin in R3.
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Line passing through origin and X(1-dimensional).
Horizontal space at X ∈M1: Plane orthogonal to the linepassing through origin and X (2-dimensional).
Space of lines passing through the origin in R3 is a twodimensional manifold.
Raviteja Vemulapalli Slide number 19/28
![Page 30: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/30.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 2:
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
Fibers: Lines passing through the origin in R3.
Tangent space at X ∈M1:
R3 (3-dimensional)
Vertical space at X ∈M1: Line passing through origin and X(1-dimensional).
Horizontal space at X ∈M1: Plane orthogonal to the linepassing through origin and X (2-dimensional).
Space of lines passing through the origin in R3 is a twodimensional manifold.
Raviteja Vemulapalli Slide number 19/28
![Page 31: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/31.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 2:
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
Fibers: Lines passing through the origin in R3.
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Line passing through origin and X(1-dimensional).
Horizontal space at X ∈M1: Plane orthogonal to the linepassing through origin and X (2-dimensional).
Space of lines passing through the origin in R3 is a twodimensional manifold.
Raviteja Vemulapalli Slide number 19/28
![Page 32: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/32.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 2:
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
Fibers: Lines passing through the origin in R3.
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1:
Line passing through origin and X(1-dimensional).
Horizontal space at X ∈M1: Plane orthogonal to the linepassing through origin and X (2-dimensional).
Space of lines passing through the origin in R3 is a twodimensional manifold.
Raviteja Vemulapalli Slide number 19/28
![Page 33: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/33.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 2:
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
Fibers: Lines passing through the origin in R3.
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Line passing through origin and X(1-dimensional).
Horizontal space at X ∈M1: Plane orthogonal to the linepassing through origin and X (2-dimensional).
Space of lines passing through the origin in R3 is a twodimensional manifold.
Raviteja Vemulapalli Slide number 19/28
![Page 34: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/34.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 2:
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
Fibers: Lines passing through the origin in R3.
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Line passing through origin and X(1-dimensional).
Horizontal space at X ∈M1:
Plane orthogonal to the linepassing through origin and X (2-dimensional).
Space of lines passing through the origin in R3 is a twodimensional manifold.
Raviteja Vemulapalli Slide number 19/28
![Page 35: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/35.jpg)
Quotient geometry: Horizontal and Vertical spaces
Exercise 2:
G = R− {0}M1 = R3 − {0}Action: Scalar multiplication
Fibers: Lines passing through the origin in R3.
Tangent space at X ∈M1: R3 (3-dimensional)
Vertical space at X ∈M1: Line passing through origin and X(1-dimensional).
Horizontal space at X ∈M1: Plane orthogonal to the linepassing through origin and X (2-dimensional).
Space of lines passing through the origin in R3 is a twodimensional manifold.
Raviteja Vemulapalli Slide number 19/28
![Page 36: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/36.jpg)
Quotient geometry: Horizontal lift
Let ζ be a tangent vector to the quotient spaceM/G at GX.Then, the corresponding horizontal vector at X ∈M, denotedby ζ�X ∈ TXM is referred to as horizontal lift of ζ at X.
Raviteja Vemulapalli Slide number 20/28
![Page 37: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/37.jpg)
Quotient geometry: Riemannian metric
We need to equip the quotient spaceM/G with a Riemannianmetric to make it a Riemannian manifold.
We can derive a Riemannian metric for the quotient spaceM/G using the Riemannian metric ofM.
The idea is to define inner product between two tangent vectorsζ and η at GX ∈M/G in terms of inner product between theirhorizontal lifts ζ�X and η�X at X ∈M.
Since a single point GX ∈M/G corresponds to multiple pointsinM, we need to make sure that the value of the inner productbetween ζ and η at GX ∈M/G does not depend on theX ∈M used for lifting.
Raviteja Vemulapalli Slide number 21/28
![Page 38: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/38.jpg)
Quotient geometry: Riemannian metric
Space of circles: < ζ, η >GX= ζ>�Xη�X
Space of spheres: < ζ, η >GX= ζ>�Xη�X
Real projective space RP1: < ζ, η >GX=ζ>�Xη�XX>X
Real projective space RP2: < ζ, η >GX=ζ>�Xη�XX>X
Raviteja Vemulapalli Slide number 22/28
![Page 39: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/39.jpg)
Quotient geometry: Horizontal curveA horizontal curve c(t) ∈M is a curve such that the tangentvector c
′(t) is a horizontal vector for all t.
Horizontal curves onM correspond to curves in the quotientspaceM/G.
Raviteja Vemulapalli Slide number 23/28
![Page 40: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/40.jpg)
Quotient geometry: Geodesics in quotient space
Tangent vectors onM/G −→ Horizontal vectors onM.
Curves onM/G −→ Horizontal curves onM.
Geodesics onM/G −→
Horizontal geodesics onM ???
Raviteja Vemulapalli Slide number 24/28
![Page 41: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/41.jpg)
Quotient geometry: Geodesics in quotient space
Tangent vectors onM/G −→ Horizontal vectors onM.
Curves onM/G −→ Horizontal curves onM.
Geodesics onM/G −→ Horizontal geodesics onM ???
Raviteja Vemulapalli Slide number 24/28
![Page 42: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/42.jpg)
Quotient geometry: Geodesics in quotient space
It is not guaranteed that we will always have horizontalgeodesics onM.
In the above figure, horizontal curves are circles, which are notgeodesics onM(R2 − {0}).
Raviteja Vemulapalli Slide number 25/28
![Page 43: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/43.jpg)
Quotient geometry: Geodesics in quotient space
What if we have horizontal geodesic curves onM ? Canwe represent the geodesic curves onM/G using thehorizontal geodesics onM?
• Stiefel and Grassmann manifolds – Yes.• General case – Not sure.
Raviteja Vemulapalli Slide number 26/28
![Page 44: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/44.jpg)
Quotient geometry: Summary
• Quotient space• Horizontal space• Vertical space• Horizontal lift• Quotient space Riemannian metric• Horizontal curves• Horizontal Geodesic curves
Raviteja Vemulapalli Slide number 27/28
![Page 45: Basic Introduction to Quotient Geometry](https://reader031.vdocuments.net/reader031/viewer/2022012518/61926b53b3501d25eb27ae72/html5/thumbnails/45.jpg)
Quotient geometry: Take home message
If we know a manifoldM1 very well, i.e., we have closed formexpressions for geodesics, distances, parallel transport, etc.,then we can derive closed form expressions for these quantitieson quotient spaces ofM.
Raviteja Vemulapalli Slide number 28/28