G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2...
Transcript of G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2...
![Page 1: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/1.jpg)
G-structures and affine immersions
Paolo Piccione
Departamento de MatemáticaInstituto de Matemática e Estatística
Universidade de São Paulo
1o Congres(s)o Latino-Americano de Grupos de Lie en(m)Geometria
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 1 / 33
![Page 2: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/2.jpg)
Outline.
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 2 / 33
![Page 3: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/3.jpg)
Outline.
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 2 / 33
![Page 4: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/4.jpg)
Outline.
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 2 / 33
![Page 5: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/5.jpg)
Outline.
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 2 / 33
![Page 6: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/6.jpg)
Outline.
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 2 / 33
![Page 7: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/7.jpg)
Outline.
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 2 / 33
![Page 8: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/8.jpg)
Outline.
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 2 / 33
![Page 9: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/9.jpg)
Outline
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 3 / 33
![Page 10: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/10.jpg)
G-structure on sets
X0 set, Bij(X0) group of bijections f : X0 → X0.
X another set, with Bij(X0, X ) 6= ∅.
Bij(X0) acts transitively on Bij(X0, X ) by composition on the right.
G ⊂ Bij(X0) subgroup
DefinitionA G-structure on X modeled on X0 is a subset P of Bij(X0, X ) which isa G-orbit.
(a) p−1 ◦ q : X0 → X0 is in G, for all p, q ∈ P;(b) p ◦ g : X0 → X is in P, for all p ∈ P and all g ∈ G.
Given a G-structure P on X and a G-structure Q on Y , a mapf : X → Y is G-structure preserving if f ◦ p ∈ Q for all p ∈ P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 4 / 33
![Page 11: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/11.jpg)
G-structure on sets
X0 set, Bij(X0) group of bijections f : X0 → X0.
X another set, with Bij(X0, X ) 6= ∅.
Bij(X0) acts transitively on Bij(X0, X ) by composition on the right.
G ⊂ Bij(X0) subgroup
DefinitionA G-structure on X modeled on X0 is a subset P of Bij(X0, X ) which isa G-orbit.
(a) p−1 ◦ q : X0 → X0 is in G, for all p, q ∈ P;(b) p ◦ g : X0 → X is in P, for all p ∈ P and all g ∈ G.
Given a G-structure P on X and a G-structure Q on Y , a mapf : X → Y is G-structure preserving if f ◦ p ∈ Q for all p ∈ P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 4 / 33
![Page 12: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/12.jpg)
G-structure on sets
X0 set, Bij(X0) group of bijections f : X0 → X0.
X another set, with Bij(X0, X ) 6= ∅.
Bij(X0) acts transitively on Bij(X0, X ) by composition on the right.
G ⊂ Bij(X0) subgroup
DefinitionA G-structure on X modeled on X0 is a subset P of Bij(X0, X ) which isa G-orbit.
(a) p−1 ◦ q : X0 → X0 is in G, for all p, q ∈ P;(b) p ◦ g : X0 → X is in P, for all p ∈ P and all g ∈ G.
Given a G-structure P on X and a G-structure Q on Y , a mapf : X → Y is G-structure preserving if f ◦ p ∈ Q for all p ∈ P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 4 / 33
![Page 13: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/13.jpg)
G-structure on sets
X0 set, Bij(X0) group of bijections f : X0 → X0.
X another set, with Bij(X0, X ) 6= ∅.
Bij(X0) acts transitively on Bij(X0, X ) by composition on the right.
G ⊂ Bij(X0) subgroup
DefinitionA G-structure on X modeled on X0 is a subset P of Bij(X0, X ) which isa G-orbit.
(a) p−1 ◦ q : X0 → X0 is in G, for all p, q ∈ P;(b) p ◦ g : X0 → X is in P, for all p ∈ P and all g ∈ G.
Given a G-structure P on X and a G-structure Q on Y , a mapf : X → Y is G-structure preserving if f ◦ p ∈ Q for all p ∈ P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 4 / 33
![Page 14: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/14.jpg)
G-structure on sets
X0 set, Bij(X0) group of bijections f : X0 → X0.
X another set, with Bij(X0, X ) 6= ∅.
Bij(X0) acts transitively on Bij(X0, X ) by composition on the right.
G ⊂ Bij(X0) subgroup
DefinitionA G-structure on X modeled on X0 is a subset P of Bij(X0, X ) which isa G-orbit.
(a) p−1 ◦ q : X0 → X0 is in G, for all p, q ∈ P;(b) p ◦ g : X0 → X is in P, for all p ∈ P and all g ∈ G.
Given a G-structure P on X and a G-structure Q on Y , a mapf : X → Y is G-structure preserving if f ◦ p ∈ Q for all p ∈ P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 4 / 33
![Page 15: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/15.jpg)
G-structure on sets
X0 set, Bij(X0) group of bijections f : X0 → X0.
X another set, with Bij(X0, X ) 6= ∅.
Bij(X0) acts transitively on Bij(X0, X ) by composition on the right.
G ⊂ Bij(X0) subgroup
DefinitionA G-structure on X modeled on X0 is a subset P of Bij(X0, X ) which isa G-orbit.
(a) p−1 ◦ q : X0 → X0 is in G, for all p, q ∈ P;
(b) p ◦ g : X0 → X is in P, for all p ∈ P and all g ∈ G.
Given a G-structure P on X and a G-structure Q on Y , a mapf : X → Y is G-structure preserving if f ◦ p ∈ Q for all p ∈ P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 4 / 33
![Page 16: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/16.jpg)
G-structure on sets
X0 set, Bij(X0) group of bijections f : X0 → X0.
X another set, with Bij(X0, X ) 6= ∅.
Bij(X0) acts transitively on Bij(X0, X ) by composition on the right.
G ⊂ Bij(X0) subgroup
DefinitionA G-structure on X modeled on X0 is a subset P of Bij(X0, X ) which isa G-orbit.
(a) p−1 ◦ q : X0 → X0 is in G, for all p, q ∈ P;(b) p ◦ g : X0 → X is in P, for all p ∈ P and all g ∈ G.
Given a G-structure P on X and a G-structure Q on Y , a mapf : X → Y is G-structure preserving if f ◦ p ∈ Q for all p ∈ P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 4 / 33
![Page 17: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/17.jpg)
G-structure on sets
X0 set, Bij(X0) group of bijections f : X0 → X0.
X another set, with Bij(X0, X ) 6= ∅.
Bij(X0) acts transitively on Bij(X0, X ) by composition on the right.
G ⊂ Bij(X0) subgroup
DefinitionA G-structure on X modeled on X0 is a subset P of Bij(X0, X ) which isa G-orbit.
(a) p−1 ◦ q : X0 → X0 is in G, for all p, q ∈ P;(b) p ◦ g : X0 → X is in P, for all p ∈ P and all g ∈ G.
Given a G-structure P on X and a G-structure Q on Y , a mapf : X → Y is G-structure preserving if f ◦ p ∈ Q for all p ∈ P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 4 / 33
![Page 18: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/18.jpg)
Examples of G-structure
Example (1)V n-dimensional vector space
A frame is an iso p : Rn → V , FR(V ) ⊂ Bij(Rn, V )GL(n) acts on the right transitively on FR(V ), hence FR(V ) is aGL(n)-structure on V .Conversely, given a GL(n)-structure P ⊂ Bij(Rn, V ) on a set V , thereexists a unique vector space structure on V such that P = FR(V ).More generally, FRV0(V ) is a GL(V0)-structure on V .
Example (2)M0, M diffeomorphic differentiable manifoldsDiff(M0, M) ⊂ Bij(M0, M) is a Diff(M0)-structure on M.Conversely, given a Diff(M0)-structure P ⊂ Bij(M0, M) on a set M,there exists a unique differentiable structure on M such thatP = Diff(M0, M).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 5 / 33
![Page 19: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/19.jpg)
Examples of G-structure
Example (1)V n-dimensional vector spaceA frame is an iso p : Rn → V , FR(V ) ⊂ Bij(Rn, V )
GL(n) acts on the right transitively on FR(V ), hence FR(V ) is aGL(n)-structure on V .Conversely, given a GL(n)-structure P ⊂ Bij(Rn, V ) on a set V , thereexists a unique vector space structure on V such that P = FR(V ).More generally, FRV0(V ) is a GL(V0)-structure on V .
Example (2)M0, M diffeomorphic differentiable manifoldsDiff(M0, M) ⊂ Bij(M0, M) is a Diff(M0)-structure on M.Conversely, given a Diff(M0)-structure P ⊂ Bij(M0, M) on a set M,there exists a unique differentiable structure on M such thatP = Diff(M0, M).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 5 / 33
![Page 20: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/20.jpg)
Examples of G-structure
Example (1)V n-dimensional vector spaceA frame is an iso p : Rn → V , FR(V ) ⊂ Bij(Rn, V )GL(n) acts on the right transitively on FR(V ), hence FR(V ) is aGL(n)-structure on V .
Conversely, given a GL(n)-structure P ⊂ Bij(Rn, V ) on a set V , thereexists a unique vector space structure on V such that P = FR(V ).More generally, FRV0(V ) is a GL(V0)-structure on V .
Example (2)M0, M diffeomorphic differentiable manifoldsDiff(M0, M) ⊂ Bij(M0, M) is a Diff(M0)-structure on M.Conversely, given a Diff(M0)-structure P ⊂ Bij(M0, M) on a set M,there exists a unique differentiable structure on M such thatP = Diff(M0, M).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 5 / 33
![Page 21: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/21.jpg)
Examples of G-structure
Example (1)V n-dimensional vector spaceA frame is an iso p : Rn → V , FR(V ) ⊂ Bij(Rn, V )GL(n) acts on the right transitively on FR(V ), hence FR(V ) is aGL(n)-structure on V .Conversely, given a GL(n)-structure P ⊂ Bij(Rn, V ) on a set V , thereexists a unique vector space structure on V such that P = FR(V ).
More generally, FRV0(V ) is a GL(V0)-structure on V .
Example (2)M0, M diffeomorphic differentiable manifoldsDiff(M0, M) ⊂ Bij(M0, M) is a Diff(M0)-structure on M.Conversely, given a Diff(M0)-structure P ⊂ Bij(M0, M) on a set M,there exists a unique differentiable structure on M such thatP = Diff(M0, M).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 5 / 33
![Page 22: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/22.jpg)
Examples of G-structure
Example (1)V n-dimensional vector spaceA frame is an iso p : Rn → V , FR(V ) ⊂ Bij(Rn, V )GL(n) acts on the right transitively on FR(V ), hence FR(V ) is aGL(n)-structure on V .Conversely, given a GL(n)-structure P ⊂ Bij(Rn, V ) on a set V , thereexists a unique vector space structure on V such that P = FR(V ).More generally, FRV0(V ) is a GL(V0)-structure on V .
Example (2)M0, M diffeomorphic differentiable manifoldsDiff(M0, M) ⊂ Bij(M0, M) is a Diff(M0)-structure on M.Conversely, given a Diff(M0)-structure P ⊂ Bij(M0, M) on a set M,there exists a unique differentiable structure on M such thatP = Diff(M0, M).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 5 / 33
![Page 23: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/23.jpg)
Examples of G-structure
Example (1)V n-dimensional vector spaceA frame is an iso p : Rn → V , FR(V ) ⊂ Bij(Rn, V )GL(n) acts on the right transitively on FR(V ), hence FR(V ) is aGL(n)-structure on V .Conversely, given a GL(n)-structure P ⊂ Bij(Rn, V ) on a set V , thereexists a unique vector space structure on V such that P = FR(V ).More generally, FRV0(V ) is a GL(V0)-structure on V .
Example (2)M0, M diffeomorphic differentiable manifolds
Diff(M0, M) ⊂ Bij(M0, M) is a Diff(M0)-structure on M.Conversely, given a Diff(M0)-structure P ⊂ Bij(M0, M) on a set M,there exists a unique differentiable structure on M such thatP = Diff(M0, M).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 5 / 33
![Page 24: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/24.jpg)
Examples of G-structure
Example (1)V n-dimensional vector spaceA frame is an iso p : Rn → V , FR(V ) ⊂ Bij(Rn, V )GL(n) acts on the right transitively on FR(V ), hence FR(V ) is aGL(n)-structure on V .Conversely, given a GL(n)-structure P ⊂ Bij(Rn, V ) on a set V , thereexists a unique vector space structure on V such that P = FR(V ).More generally, FRV0(V ) is a GL(V0)-structure on V .
Example (2)M0, M diffeomorphic differentiable manifoldsDiff(M0, M) ⊂ Bij(M0, M) is a Diff(M0)-structure on M.
Conversely, given a Diff(M0)-structure P ⊂ Bij(M0, M) on a set M,there exists a unique differentiable structure on M such thatP = Diff(M0, M).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 5 / 33
![Page 25: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/25.jpg)
Examples of G-structure
Example (1)V n-dimensional vector spaceA frame is an iso p : Rn → V , FR(V ) ⊂ Bij(Rn, V )GL(n) acts on the right transitively on FR(V ), hence FR(V ) is aGL(n)-structure on V .Conversely, given a GL(n)-structure P ⊂ Bij(Rn, V ) on a set V , thereexists a unique vector space structure on V such that P = FR(V ).More generally, FRV0(V ) is a GL(V0)-structure on V .
Example (2)M0, M diffeomorphic differentiable manifoldsDiff(M0, M) ⊂ Bij(M0, M) is a Diff(M0)-structure on M.Conversely, given a Diff(M0)-structure P ⊂ Bij(M0, M) on a set M,there exists a unique differentiable structure on M such thatP = Diff(M0, M).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 5 / 33
![Page 26: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/26.jpg)
Strengthening G-structures
Given a G-structure P ⊂ Bij(X0, X ) on X and a subgroup H ⊂ G.
An H-structure Q ⊂ P is a strengthening of P.
ExampleGiving an O(n)-structure Q ⊂ FR(V ) is the same as giving apositive definite inner product on V .SO(n)-structure Q ⊂ FR(V ) ⇐⇒ inner product + orientation on VIf n = 2m, U(m)-structure Q ⊂ FR(V ) ⇐⇒ real positive definiteinner product on V and an orthogonal complex structure on VSL(n)-structure Q ⊂ FR(V ) ⇐⇒ a volume form on VA 1-structure Q ⊂ FR(V ) is an identification of V with Rn.
Given a G-structure P ⊂ Bij(X0, X ) and a subgroup H ⊂ G, there are[G : H] strengthening H-structures of P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 6 / 33
![Page 27: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/27.jpg)
Strengthening G-structures
Given a G-structure P ⊂ Bij(X0, X ) on X and a subgroup H ⊂ G.An H-structure Q ⊂ P is a strengthening of P.
ExampleGiving an O(n)-structure Q ⊂ FR(V ) is the same as giving apositive definite inner product on V .SO(n)-structure Q ⊂ FR(V ) ⇐⇒ inner product + orientation on VIf n = 2m, U(m)-structure Q ⊂ FR(V ) ⇐⇒ real positive definiteinner product on V and an orthogonal complex structure on VSL(n)-structure Q ⊂ FR(V ) ⇐⇒ a volume form on VA 1-structure Q ⊂ FR(V ) is an identification of V with Rn.
Given a G-structure P ⊂ Bij(X0, X ) and a subgroup H ⊂ G, there are[G : H] strengthening H-structures of P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 6 / 33
![Page 28: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/28.jpg)
Strengthening G-structures
Given a G-structure P ⊂ Bij(X0, X ) on X and a subgroup H ⊂ G.An H-structure Q ⊂ P is a strengthening of P.
ExampleGiving an O(n)-structure Q ⊂ FR(V ) is the same as giving apositive definite inner product on V .
SO(n)-structure Q ⊂ FR(V ) ⇐⇒ inner product + orientation on VIf n = 2m, U(m)-structure Q ⊂ FR(V ) ⇐⇒ real positive definiteinner product on V and an orthogonal complex structure on VSL(n)-structure Q ⊂ FR(V ) ⇐⇒ a volume form on VA 1-structure Q ⊂ FR(V ) is an identification of V with Rn.
Given a G-structure P ⊂ Bij(X0, X ) and a subgroup H ⊂ G, there are[G : H] strengthening H-structures of P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 6 / 33
![Page 29: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/29.jpg)
Strengthening G-structures
Given a G-structure P ⊂ Bij(X0, X ) on X and a subgroup H ⊂ G.An H-structure Q ⊂ P is a strengthening of P.
ExampleGiving an O(n)-structure Q ⊂ FR(V ) is the same as giving apositive definite inner product on V .SO(n)-structure Q ⊂ FR(V ) ⇐⇒ inner product + orientation on V
If n = 2m, U(m)-structure Q ⊂ FR(V ) ⇐⇒ real positive definiteinner product on V and an orthogonal complex structure on VSL(n)-structure Q ⊂ FR(V ) ⇐⇒ a volume form on VA 1-structure Q ⊂ FR(V ) is an identification of V with Rn.
Given a G-structure P ⊂ Bij(X0, X ) and a subgroup H ⊂ G, there are[G : H] strengthening H-structures of P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 6 / 33
![Page 30: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/30.jpg)
Strengthening G-structures
Given a G-structure P ⊂ Bij(X0, X ) on X and a subgroup H ⊂ G.An H-structure Q ⊂ P is a strengthening of P.
ExampleGiving an O(n)-structure Q ⊂ FR(V ) is the same as giving apositive definite inner product on V .SO(n)-structure Q ⊂ FR(V ) ⇐⇒ inner product + orientation on VIf n = 2m, U(m)-structure Q ⊂ FR(V ) ⇐⇒ real positive definiteinner product on V and an orthogonal complex structure on V
SL(n)-structure Q ⊂ FR(V ) ⇐⇒ a volume form on VA 1-structure Q ⊂ FR(V ) is an identification of V with Rn.
Given a G-structure P ⊂ Bij(X0, X ) and a subgroup H ⊂ G, there are[G : H] strengthening H-structures of P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 6 / 33
![Page 31: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/31.jpg)
Strengthening G-structures
Given a G-structure P ⊂ Bij(X0, X ) on X and a subgroup H ⊂ G.An H-structure Q ⊂ P is a strengthening of P.
ExampleGiving an O(n)-structure Q ⊂ FR(V ) is the same as giving apositive definite inner product on V .SO(n)-structure Q ⊂ FR(V ) ⇐⇒ inner product + orientation on VIf n = 2m, U(m)-structure Q ⊂ FR(V ) ⇐⇒ real positive definiteinner product on V and an orthogonal complex structure on VSL(n)-structure Q ⊂ FR(V ) ⇐⇒ a volume form on V
A 1-structure Q ⊂ FR(V ) is an identification of V with Rn.
Given a G-structure P ⊂ Bij(X0, X ) and a subgroup H ⊂ G, there are[G : H] strengthening H-structures of P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 6 / 33
![Page 32: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/32.jpg)
Strengthening G-structures
Given a G-structure P ⊂ Bij(X0, X ) on X and a subgroup H ⊂ G.An H-structure Q ⊂ P is a strengthening of P.
ExampleGiving an O(n)-structure Q ⊂ FR(V ) is the same as giving apositive definite inner product on V .SO(n)-structure Q ⊂ FR(V ) ⇐⇒ inner product + orientation on VIf n = 2m, U(m)-structure Q ⊂ FR(V ) ⇐⇒ real positive definiteinner product on V and an orthogonal complex structure on VSL(n)-structure Q ⊂ FR(V ) ⇐⇒ a volume form on VA 1-structure Q ⊂ FR(V ) is an identification of V with Rn.
Given a G-structure P ⊂ Bij(X0, X ) and a subgroup H ⊂ G, there are[G : H] strengthening H-structures of P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 6 / 33
![Page 33: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/33.jpg)
Strengthening G-structures
Given a G-structure P ⊂ Bij(X0, X ) on X and a subgroup H ⊂ G.An H-structure Q ⊂ P is a strengthening of P.
ExampleGiving an O(n)-structure Q ⊂ FR(V ) is the same as giving apositive definite inner product on V .SO(n)-structure Q ⊂ FR(V ) ⇐⇒ inner product + orientation on VIf n = 2m, U(m)-structure Q ⊂ FR(V ) ⇐⇒ real positive definiteinner product on V and an orthogonal complex structure on VSL(n)-structure Q ⊂ FR(V ) ⇐⇒ a volume form on VA 1-structure Q ⊂ FR(V ) is an identification of V with Rn.
Given a G-structure P ⊂ Bij(X0, X ) and a subgroup H ⊂ G, there are[G : H] strengthening H-structures of P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 6 / 33
![Page 34: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/34.jpg)
Outline
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 7 / 33
![Page 35: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/35.jpg)
Principal spaces
DefinitionA principal space consists of a set P 6= ∅, a group G (structural group)and a free and transitive right action of G on P.
Each p ∈ P gives a bijection βp : G → P, βp(g) = p · g
ExampleG = V vector space, a principal space with structural group G isan affine space parallel to V .Any group is a principal space with structural group G (rightmultiplication)Given a subgroup H ⊂ G, for all g ∈ G the left coset gH is aprincipal space with structural group H.FRV0(V ) is a principal space with structural group GL(V0).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 8 / 33
![Page 36: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/36.jpg)
Principal spaces
DefinitionA principal space consists of a set P 6= ∅, a group G (structural group)and a free and transitive right action of G on P.
Each p ∈ P gives a bijection βp : G → P, βp(g) = p · g
ExampleG = V vector space, a principal space with structural group G isan affine space parallel to V .Any group is a principal space with structural group G (rightmultiplication)Given a subgroup H ⊂ G, for all g ∈ G the left coset gH is aprincipal space with structural group H.FRV0(V ) is a principal space with structural group GL(V0).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 8 / 33
![Page 37: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/37.jpg)
Principal spaces
DefinitionA principal space consists of a set P 6= ∅, a group G (structural group)and a free and transitive right action of G on P.
Each p ∈ P gives a bijection βp : G → P, βp(g) = p · g
ExampleG = V vector space, a principal space with structural group G isan affine space parallel to V .
Any group is a principal space with structural group G (rightmultiplication)Given a subgroup H ⊂ G, for all g ∈ G the left coset gH is aprincipal space with structural group H.FRV0(V ) is a principal space with structural group GL(V0).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 8 / 33
![Page 38: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/38.jpg)
Principal spaces
DefinitionA principal space consists of a set P 6= ∅, a group G (structural group)and a free and transitive right action of G on P.
Each p ∈ P gives a bijection βp : G → P, βp(g) = p · g
ExampleG = V vector space, a principal space with structural group G isan affine space parallel to V .Any group is a principal space with structural group G (rightmultiplication)
Given a subgroup H ⊂ G, for all g ∈ G the left coset gH is aprincipal space with structural group H.FRV0(V ) is a principal space with structural group GL(V0).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 8 / 33
![Page 39: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/39.jpg)
Principal spaces
DefinitionA principal space consists of a set P 6= ∅, a group G (structural group)and a free and transitive right action of G on P.
Each p ∈ P gives a bijection βp : G → P, βp(g) = p · g
ExampleG = V vector space, a principal space with structural group G isan affine space parallel to V .Any group is a principal space with structural group G (rightmultiplication)Given a subgroup H ⊂ G, for all g ∈ G the left coset gH is aprincipal space with structural group H.
FRV0(V ) is a principal space with structural group GL(V0).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 8 / 33
![Page 40: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/40.jpg)
Principal spaces
DefinitionA principal space consists of a set P 6= ∅, a group G (structural group)and a free and transitive right action of G on P.
Each p ∈ P gives a bijection βp : G → P, βp(g) = p · g
ExampleG = V vector space, a principal space with structural group G isan affine space parallel to V .Any group is a principal space with structural group G (rightmultiplication)Given a subgroup H ⊂ G, for all g ∈ G the left coset gH is aprincipal space with structural group H.FRV0(V ) is a principal space with structural group GL(V0).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 8 / 33
![Page 41: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/41.jpg)
Fiber productsA G-space is a set N carrying a left G-action.
Given a principal space P with structural group G and a G-space N,there is a left G-action on P × N: g · (p, n) = (pg−1, gn).
DefinitionThe fiber product P ×G N is the quotient (P × N)/G.
For all p ∈ P, the map p : N → P ×G N, p(n) = [p, n] is a bijection.
ExampleGiven a representation ρ : G → GL(V0) (i.e., a left action of G on V0 bylinear isomorphisms) and a G-principal space P, the set:
P ⊂ FRV0(P ×G V0)
consisting of all bijections p : V0 → P ×G V0 is a GL(V0)-structure.Hence, P ×G V0 has the structure of a vector space.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 9 / 33
![Page 42: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/42.jpg)
Fiber productsA G-space is a set N carrying a left G-action.Given a principal space P with structural group G and a G-space N,there is a left G-action on P × N: g · (p, n) = (pg−1, gn).
DefinitionThe fiber product P ×G N is the quotient (P × N)/G.
For all p ∈ P, the map p : N → P ×G N, p(n) = [p, n] is a bijection.
ExampleGiven a representation ρ : G → GL(V0) (i.e., a left action of G on V0 bylinear isomorphisms) and a G-principal space P, the set:
P ⊂ FRV0(P ×G V0)
consisting of all bijections p : V0 → P ×G V0 is a GL(V0)-structure.Hence, P ×G V0 has the structure of a vector space.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 9 / 33
![Page 43: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/43.jpg)
Fiber productsA G-space is a set N carrying a left G-action.Given a principal space P with structural group G and a G-space N,there is a left G-action on P × N: g · (p, n) = (pg−1, gn).
DefinitionThe fiber product P ×G N is the quotient (P × N)/G.
For all p ∈ P, the map p : N → P ×G N, p(n) = [p, n] is a bijection.
ExampleGiven a representation ρ : G → GL(V0) (i.e., a left action of G on V0 bylinear isomorphisms) and a G-principal space P, the set:
P ⊂ FRV0(P ×G V0)
consisting of all bijections p : V0 → P ×G V0 is a GL(V0)-structure.Hence, P ×G V0 has the structure of a vector space.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 9 / 33
![Page 44: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/44.jpg)
Fiber productsA G-space is a set N carrying a left G-action.Given a principal space P with structural group G and a G-space N,there is a left G-action on P × N: g · (p, n) = (pg−1, gn).
DefinitionThe fiber product P ×G N is the quotient (P × N)/G.
For all p ∈ P, the map p : N → P ×G N, p(n) = [p, n] is a bijection.
ExampleGiven a representation ρ : G → GL(V0) (i.e., a left action of G on V0 bylinear isomorphisms) and a G-principal space P, the set:
P ⊂ FRV0(P ×G V0)
consisting of all bijections p : V0 → P ×G V0 is a GL(V0)-structure.Hence, P ×G V0 has the structure of a vector space.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 9 / 33
![Page 45: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/45.jpg)
Fiber productsA G-space is a set N carrying a left G-action.Given a principal space P with structural group G and a G-space N,there is a left G-action on P × N: g · (p, n) = (pg−1, gn).
DefinitionThe fiber product P ×G N is the quotient (P × N)/G.
For all p ∈ P, the map p : N → P ×G N, p(n) = [p, n] is a bijection.
ExampleGiven a representation ρ : G → GL(V0) (i.e., a left action of G on V0 bylinear isomorphisms) and a G-principal space P, the set:
P ⊂ FRV0(P ×G V0)
consisting of all bijections p : V0 → P ×G V0 is a GL(V0)-structure.Hence, P ×G V0 has the structure of a vector space.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 9 / 33
![Page 46: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/46.jpg)
Outline
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 10 / 33
![Page 47: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/47.jpg)
Principal fiber bundles
a set P (total space)
a differentiable manifold M (base space)a map Π : P → M (projection)a Lie group G (structural group)a right action of G on P that makes the fiber Px = Π−1(x) aprincipal space, for all x ∈ ma maximal atlas of admissible local sections of Π.
LemmaThere exists a unique differentiable structure on P that makes theaction of G on P smooth, Π a smooth submersion, Px a smoothsubmanifold, every admissible local section s : U ⊂ M → P smooth,.
Verp = Ker(dΠp
)⊂ TpP vertical space;
canonical isomorphism dβp(1) : g∼=−→ VerpP.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 11 / 33
![Page 48: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/48.jpg)
Principal fiber bundles
a set P (total space)a differentiable manifold M (base space)
a map Π : P → M (projection)a Lie group G (structural group)a right action of G on P that makes the fiber Px = Π−1(x) aprincipal space, for all x ∈ ma maximal atlas of admissible local sections of Π.
LemmaThere exists a unique differentiable structure on P that makes theaction of G on P smooth, Π a smooth submersion, Px a smoothsubmanifold, every admissible local section s : U ⊂ M → P smooth,.
Verp = Ker(dΠp
)⊂ TpP vertical space;
canonical isomorphism dβp(1) : g∼=−→ VerpP.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 11 / 33
![Page 49: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/49.jpg)
Principal fiber bundles
a set P (total space)a differentiable manifold M (base space)a map Π : P → M (projection)
a Lie group G (structural group)a right action of G on P that makes the fiber Px = Π−1(x) aprincipal space, for all x ∈ ma maximal atlas of admissible local sections of Π.
LemmaThere exists a unique differentiable structure on P that makes theaction of G on P smooth, Π a smooth submersion, Px a smoothsubmanifold, every admissible local section s : U ⊂ M → P smooth,.
Verp = Ker(dΠp
)⊂ TpP vertical space;
canonical isomorphism dβp(1) : g∼=−→ VerpP.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 11 / 33
![Page 50: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/50.jpg)
Principal fiber bundles
a set P (total space)a differentiable manifold M (base space)a map Π : P → M (projection)a Lie group G (structural group)
a right action of G on P that makes the fiber Px = Π−1(x) aprincipal space, for all x ∈ ma maximal atlas of admissible local sections of Π.
LemmaThere exists a unique differentiable structure on P that makes theaction of G on P smooth, Π a smooth submersion, Px a smoothsubmanifold, every admissible local section s : U ⊂ M → P smooth,.
Verp = Ker(dΠp
)⊂ TpP vertical space;
canonical isomorphism dβp(1) : g∼=−→ VerpP.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 11 / 33
![Page 51: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/51.jpg)
Principal fiber bundles
a set P (total space)a differentiable manifold M (base space)a map Π : P → M (projection)a Lie group G (structural group)a right action of G on P that makes the fiber Px = Π−1(x) aprincipal space, for all x ∈ m
a maximal atlas of admissible local sections of Π.
LemmaThere exists a unique differentiable structure on P that makes theaction of G on P smooth, Π a smooth submersion, Px a smoothsubmanifold, every admissible local section s : U ⊂ M → P smooth,.
Verp = Ker(dΠp
)⊂ TpP vertical space;
canonical isomorphism dβp(1) : g∼=−→ VerpP.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 11 / 33
![Page 52: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/52.jpg)
Principal fiber bundles
a set P (total space)a differentiable manifold M (base space)a map Π : P → M (projection)a Lie group G (structural group)a right action of G on P that makes the fiber Px = Π−1(x) aprincipal space, for all x ∈ ma maximal atlas of admissible local sections of Π.
LemmaThere exists a unique differentiable structure on P that makes theaction of G on P smooth, Π a smooth submersion, Px a smoothsubmanifold, every admissible local section s : U ⊂ M → P smooth,.
Verp = Ker(dΠp
)⊂ TpP vertical space;
canonical isomorphism dβp(1) : g∼=−→ VerpP.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 11 / 33
![Page 53: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/53.jpg)
Principal fiber bundles
a set P (total space)a differentiable manifold M (base space)a map Π : P → M (projection)a Lie group G (structural group)a right action of G on P that makes the fiber Px = Π−1(x) aprincipal space, for all x ∈ ma maximal atlas of admissible local sections of Π.
LemmaThere exists a unique differentiable structure on P that makes theaction of G on P smooth, Π a smooth submersion, Px a smoothsubmanifold, every admissible local section s : U ⊂ M → P smooth,.
Verp = Ker(dΠp
)⊂ TpP vertical space;
canonical isomorphism dβp(1) : g∼=−→ VerpP.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 11 / 33
![Page 54: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/54.jpg)
Principal fiber bundles
a set P (total space)a differentiable manifold M (base space)a map Π : P → M (projection)a Lie group G (structural group)a right action of G on P that makes the fiber Px = Π−1(x) aprincipal space, for all x ∈ ma maximal atlas of admissible local sections of Π.
LemmaThere exists a unique differentiable structure on P that makes theaction of G on P smooth, Π a smooth submersion, Px a smoothsubmanifold, every admissible local section s : U ⊂ M → P smooth,.
Verp = Ker(dΠp
)⊂ TpP vertical space;
canonical isomorphism dβp(1) : g∼=−→ VerpP.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 11 / 33
![Page 55: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/55.jpg)
Examples of principal fiber bundles
trivial principal bundle: M manifold, G Lie group, P0 a principalG-space, P = M × P0.
quotient of Lie groups: G Lie group, H ⊂ G closed subgroup,Π : G → G/H projection; for x ∈ G/H, Π−1(x) is a left coset of Hin G. H is the structural group.restriction: Π : P → M principal fiber bundle, U ⊂ M open subsetP|U = Π−1(U).principal subbundles: Π : P → M principal fiber bundle withstructural group G, H ⊂ G a Lie subgroup, Q ⊂ P satisfying:
I for all x ∈ M, Qx = Px ∩Q is a principal subspace of Px withstructural group H;
I for all x ∈ M, there exists a smooth local section s : U → P withx ∈ U and s(U) ⊂ Q.
pull-backs: Π : P → M principal fiber bundle, f : M ′ → M smoothmap, f ∗P =
⋃y∈M′
({y} × Pf (y)
).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 12 / 33
![Page 56: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/56.jpg)
Examples of principal fiber bundles
trivial principal bundle: M manifold, G Lie group, P0 a principalG-space, P = M × P0.quotient of Lie groups: G Lie group, H ⊂ G closed subgroup,Π : G → G/H projection; for x ∈ G/H, Π−1(x) is a left coset of Hin G. H is the structural group.
restriction: Π : P → M principal fiber bundle, U ⊂ M open subsetP|U = Π−1(U).principal subbundles: Π : P → M principal fiber bundle withstructural group G, H ⊂ G a Lie subgroup, Q ⊂ P satisfying:
I for all x ∈ M, Qx = Px ∩Q is a principal subspace of Px withstructural group H;
I for all x ∈ M, there exists a smooth local section s : U → P withx ∈ U and s(U) ⊂ Q.
pull-backs: Π : P → M principal fiber bundle, f : M ′ → M smoothmap, f ∗P =
⋃y∈M′
({y} × Pf (y)
).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 12 / 33
![Page 57: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/57.jpg)
Examples of principal fiber bundles
trivial principal bundle: M manifold, G Lie group, P0 a principalG-space, P = M × P0.quotient of Lie groups: G Lie group, H ⊂ G closed subgroup,Π : G → G/H projection; for x ∈ G/H, Π−1(x) is a left coset of Hin G. H is the structural group.restriction: Π : P → M principal fiber bundle, U ⊂ M open subsetP|U = Π−1(U).
principal subbundles: Π : P → M principal fiber bundle withstructural group G, H ⊂ G a Lie subgroup, Q ⊂ P satisfying:
I for all x ∈ M, Qx = Px ∩Q is a principal subspace of Px withstructural group H;
I for all x ∈ M, there exists a smooth local section s : U → P withx ∈ U and s(U) ⊂ Q.
pull-backs: Π : P → M principal fiber bundle, f : M ′ → M smoothmap, f ∗P =
⋃y∈M′
({y} × Pf (y)
).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 12 / 33
![Page 58: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/58.jpg)
Examples of principal fiber bundles
trivial principal bundle: M manifold, G Lie group, P0 a principalG-space, P = M × P0.quotient of Lie groups: G Lie group, H ⊂ G closed subgroup,Π : G → G/H projection; for x ∈ G/H, Π−1(x) is a left coset of Hin G. H is the structural group.restriction: Π : P → M principal fiber bundle, U ⊂ M open subsetP|U = Π−1(U).principal subbundles: Π : P → M principal fiber bundle withstructural group G, H ⊂ G a Lie subgroup, Q ⊂ P satisfying:
I for all x ∈ M, Qx = Px ∩Q is a principal subspace of Px withstructural group H;
I for all x ∈ M, there exists a smooth local section s : U → P withx ∈ U and s(U) ⊂ Q.
pull-backs: Π : P → M principal fiber bundle, f : M ′ → M smoothmap, f ∗P =
⋃y∈M′
({y} × Pf (y)
).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 12 / 33
![Page 59: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/59.jpg)
Examples of principal fiber bundles
trivial principal bundle: M manifold, G Lie group, P0 a principalG-space, P = M × P0.quotient of Lie groups: G Lie group, H ⊂ G closed subgroup,Π : G → G/H projection; for x ∈ G/H, Π−1(x) is a left coset of Hin G. H is the structural group.restriction: Π : P → M principal fiber bundle, U ⊂ M open subsetP|U = Π−1(U).principal subbundles: Π : P → M principal fiber bundle withstructural group G, H ⊂ G a Lie subgroup, Q ⊂ P satisfying:
I for all x ∈ M, Qx = Px ∩Q is a principal subspace of Px withstructural group H;
I for all x ∈ M, there exists a smooth local section s : U → P withx ∈ U and s(U) ⊂ Q.
pull-backs: Π : P → M principal fiber bundle, f : M ′ → M smoothmap, f ∗P =
⋃y∈M′
({y} × Pf (y)
).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 12 / 33
![Page 60: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/60.jpg)
Examples of principal fiber bundles
trivial principal bundle: M manifold, G Lie group, P0 a principalG-space, P = M × P0.quotient of Lie groups: G Lie group, H ⊂ G closed subgroup,Π : G → G/H projection; for x ∈ G/H, Π−1(x) is a left coset of Hin G. H is the structural group.restriction: Π : P → M principal fiber bundle, U ⊂ M open subsetP|U = Π−1(U).principal subbundles: Π : P → M principal fiber bundle withstructural group G, H ⊂ G a Lie subgroup, Q ⊂ P satisfying:
I for all x ∈ M, Qx = Px ∩Q is a principal subspace of Px withstructural group H;
I for all x ∈ M, there exists a smooth local section s : U → P withx ∈ U and s(U) ⊂ Q.
pull-backs: Π : P → M principal fiber bundle, f : M ′ → M smoothmap, f ∗P =
⋃y∈M′
({y} × Pf (y)
).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 12 / 33
![Page 61: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/61.jpg)
Examples of principal fiber bundles
trivial principal bundle: M manifold, G Lie group, P0 a principalG-space, P = M × P0.quotient of Lie groups: G Lie group, H ⊂ G closed subgroup,Π : G → G/H projection; for x ∈ G/H, Π−1(x) is a left coset of Hin G. H is the structural group.restriction: Π : P → M principal fiber bundle, U ⊂ M open subsetP|U = Π−1(U).principal subbundles: Π : P → M principal fiber bundle withstructural group G, H ⊂ G a Lie subgroup, Q ⊂ P satisfying:
I for all x ∈ M, Qx = Px ∩Q is a principal subspace of Px withstructural group H;
I for all x ∈ M, there exists a smooth local section s : U → P withx ∈ U and s(U) ⊂ Q.
pull-backs: Π : P → M principal fiber bundle, f : M ′ → M smoothmap, f ∗P =
⋃y∈M′
({y} × Pf (y)
).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 12 / 33
![Page 62: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/62.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-space
Associated bundle: P ×G N =⋃
x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 63: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/63.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 64: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/64.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 65: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/65.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)
a differentiable manifold M (base manifold)a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 66: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/66.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)
a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 67: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/67.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)a map π : E → M (projection)
a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 68: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/68.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)
a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 69: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/69.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 70: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/70.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 71: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/71.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 72: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/72.jpg)
Associated and vector bundlesG Lie group, Π : P → M a G-principal bundle, N a differential G-spaceAssociated bundle: P ×G N =
⋃x∈M Px ×G N
DefinitionA vector bundle consists of:
a set E (total space)a differentiable manifold M (base manifold)a map π : E → M (projection)a finite dimensional vector space E0 (typical fiber)a vector space structure on each fiber Ex = π−1 isomorphic to E0
a maximal atlas of admissible local sections of the fiber bundleFRE0(E) =
⋃x∈M FRE0(Ex).
FRE0(E)×GL(E0) E0∼= E , [p, e0] 7→ p(e0) ∈ E
Def.: A G-structure on E is a G-principal subbundle of FR(E).Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 13 / 33
![Page 73: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/73.jpg)
Outline
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 14 / 33
![Page 74: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/74.jpg)
Principal connectionsΠ : P → M principal fiber bundle, G structural group
A principal connection on P is a distribution Hor(P) ⊂ TP:TpP = Horp ⊕ Verp
Horpg = Horp · gConnection form of Hor: g-valued one form ω on P:
Ker(ωp) = Horp, ωp|Verp = dβp(1)−1 : Verp∼=−→ g
G-principal bundles Π : P → M, Π′ : Q → M with connections Hor(P)and Hor(Q) and a morphism of principal bundles φ : P → Q, then φ isconnection preserving if:
dφ(Hor(P)
)⊂ Hor(Q) ⇐⇒ φ∗(ωQ) = ωP
Properties of principal connectionscan be pushed forwardinduce connections on all associated bundles
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 15 / 33
![Page 75: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/75.jpg)
Principal connectionsΠ : P → M principal fiber bundle, G structural groupA principal connection on P is a distribution Hor(P) ⊂ TP:
TpP = Horp ⊕ Verp
Horpg = Horp · gConnection form of Hor: g-valued one form ω on P:
Ker(ωp) = Horp, ωp|Verp = dβp(1)−1 : Verp∼=−→ g
G-principal bundles Π : P → M, Π′ : Q → M with connections Hor(P)and Hor(Q) and a morphism of principal bundles φ : P → Q, then φ isconnection preserving if:
dφ(Hor(P)
)⊂ Hor(Q) ⇐⇒ φ∗(ωQ) = ωP
Properties of principal connectionscan be pushed forwardinduce connections on all associated bundles
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 15 / 33
![Page 76: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/76.jpg)
Principal connectionsΠ : P → M principal fiber bundle, G structural groupA principal connection on P is a distribution Hor(P) ⊂ TP:
TpP = Horp ⊕ Verp
Horpg = Horp · gConnection form of Hor: g-valued one form ω on P:
Ker(ωp) = Horp, ωp|Verp = dβp(1)−1 : Verp∼=−→ g
G-principal bundles Π : P → M, Π′ : Q → M with connections Hor(P)and Hor(Q) and a morphism of principal bundles φ : P → Q, then φ isconnection preserving if:
dφ(Hor(P)
)⊂ Hor(Q) ⇐⇒ φ∗(ωQ) = ωP
Properties of principal connectionscan be pushed forwardinduce connections on all associated bundles
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 15 / 33
![Page 77: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/77.jpg)
Principal connectionsΠ : P → M principal fiber bundle, G structural groupA principal connection on P is a distribution Hor(P) ⊂ TP:
TpP = Horp ⊕ Verp
Horpg = Horp · g
Connection form of Hor: g-valued one form ω on P:
Ker(ωp) = Horp, ωp|Verp = dβp(1)−1 : Verp∼=−→ g
G-principal bundles Π : P → M, Π′ : Q → M with connections Hor(P)and Hor(Q) and a morphism of principal bundles φ : P → Q, then φ isconnection preserving if:
dφ(Hor(P)
)⊂ Hor(Q) ⇐⇒ φ∗(ωQ) = ωP
Properties of principal connectionscan be pushed forwardinduce connections on all associated bundles
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 15 / 33
![Page 78: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/78.jpg)
Principal connectionsΠ : P → M principal fiber bundle, G structural groupA principal connection on P is a distribution Hor(P) ⊂ TP:
TpP = Horp ⊕ Verp
Horpg = Horp · gConnection form of Hor: g-valued one form ω on P:
Ker(ωp) = Horp, ωp|Verp = dβp(1)−1 : Verp∼=−→ g
G-principal bundles Π : P → M, Π′ : Q → M with connections Hor(P)and Hor(Q) and a morphism of principal bundles φ : P → Q, then φ isconnection preserving if:
dφ(Hor(P)
)⊂ Hor(Q) ⇐⇒ φ∗(ωQ) = ωP
Properties of principal connectionscan be pushed forwardinduce connections on all associated bundles
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 15 / 33
![Page 79: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/79.jpg)
Principal connectionsΠ : P → M principal fiber bundle, G structural groupA principal connection on P is a distribution Hor(P) ⊂ TP:
TpP = Horp ⊕ Verp
Horpg = Horp · gConnection form of Hor: g-valued one form ω on P:
Ker(ωp) = Horp, ωp|Verp = dβp(1)−1 : Verp∼=−→ g
G-principal bundles Π : P → M, Π′ : Q → M with connections Hor(P)and Hor(Q) and a morphism of principal bundles φ : P → Q, then φ isconnection preserving if:
dφ(Hor(P)
)⊂ Hor(Q) ⇐⇒ φ∗(ωQ) = ωP
Properties of principal connectionscan be pushed forwardinduce connections on all associated bundles
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 15 / 33
![Page 80: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/80.jpg)
Principal connectionsΠ : P → M principal fiber bundle, G structural groupA principal connection on P is a distribution Hor(P) ⊂ TP:
TpP = Horp ⊕ Verp
Horpg = Horp · gConnection form of Hor: g-valued one form ω on P:
Ker(ωp) = Horp, ωp|Verp = dβp(1)−1 : Verp∼=−→ g
G-principal bundles Π : P → M, Π′ : Q → M with connections Hor(P)and Hor(Q) and a morphism of principal bundles φ : P → Q, then φ isconnection preserving if:
dφ(Hor(P)
)⊂ Hor(Q) ⇐⇒ φ∗(ωQ) = ωP
Properties of principal connections
can be pushed forwardinduce connections on all associated bundles
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 15 / 33
![Page 81: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/81.jpg)
Principal connectionsΠ : P → M principal fiber bundle, G structural groupA principal connection on P is a distribution Hor(P) ⊂ TP:
TpP = Horp ⊕ Verp
Horpg = Horp · gConnection form of Hor: g-valued one form ω on P:
Ker(ωp) = Horp, ωp|Verp = dβp(1)−1 : Verp∼=−→ g
G-principal bundles Π : P → M, Π′ : Q → M with connections Hor(P)and Hor(Q) and a morphism of principal bundles φ : P → Q, then φ isconnection preserving if:
dφ(Hor(P)
)⊂ Hor(Q) ⇐⇒ φ∗(ωQ) = ωP
Properties of principal connectionscan be pushed forward
induce connections on all associated bundles
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 15 / 33
![Page 82: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/82.jpg)
Principal connectionsΠ : P → M principal fiber bundle, G structural groupA principal connection on P is a distribution Hor(P) ⊂ TP:
TpP = Horp ⊕ Verp
Horpg = Horp · gConnection form of Hor: g-valued one form ω on P:
Ker(ωp) = Horp, ωp|Verp = dβp(1)−1 : Verp∼=−→ g
G-principal bundles Π : P → M, Π′ : Q → M with connections Hor(P)and Hor(Q) and a morphism of principal bundles φ : P → Q, then φ isconnection preserving if:
dφ(Hor(P)
)⊂ Hor(Q) ⇐⇒ φ∗(ωQ) = ωP
Properties of principal connectionscan be pushed forwardinduce connections on all associated bundles
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 15 / 33
![Page 83: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/83.jpg)
Connections on vector bundles
DefinitionA connection on the vector bundle E is an R-bilinear map∇ : IΓ(TM)× IΓ(E) 3 (X , ε) 7−→ ∇X ε ∈ IΓ(E)
C∞(M)-linear in XLeibnitz rule: ∇X (f ε) = X (f )ε + f∇X ε
a section s : U ⊂ M → FR(E) (trivialization of E) defines aconnection in E |U : ∇s
vε = s(x)(d(s−1ε)xv
)x ∈ U, v ∈ TxM.
the difference ∇−∇s defines the Christoffel tensor:Γs
x : TxM × Ex → Ex
∇ induces natural connections on all vector bundles obtained withfunctorial constructions from E : sums, tensor products, duals,pull-backs, ...
Connections on E ⇐⇒ Principal connections on FR(E)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 16 / 33
![Page 84: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/84.jpg)
Connections on vector bundles
DefinitionA connection on the vector bundle E is an R-bilinear map∇ : IΓ(TM)× IΓ(E) 3 (X , ε) 7−→ ∇X ε ∈ IΓ(E)
C∞(M)-linear in X
Leibnitz rule: ∇X (f ε) = X (f )ε + f∇X ε
a section s : U ⊂ M → FR(E) (trivialization of E) defines aconnection in E |U : ∇s
vε = s(x)(d(s−1ε)xv
)x ∈ U, v ∈ TxM.
the difference ∇−∇s defines the Christoffel tensor:Γs
x : TxM × Ex → Ex
∇ induces natural connections on all vector bundles obtained withfunctorial constructions from E : sums, tensor products, duals,pull-backs, ...
Connections on E ⇐⇒ Principal connections on FR(E)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 16 / 33
![Page 85: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/85.jpg)
Connections on vector bundles
DefinitionA connection on the vector bundle E is an R-bilinear map∇ : IΓ(TM)× IΓ(E) 3 (X , ε) 7−→ ∇X ε ∈ IΓ(E)
C∞(M)-linear in XLeibnitz rule: ∇X (f ε) = X (f )ε + f∇X ε
a section s : U ⊂ M → FR(E) (trivialization of E) defines aconnection in E |U : ∇s
vε = s(x)(d(s−1ε)xv
)x ∈ U, v ∈ TxM.
the difference ∇−∇s defines the Christoffel tensor:Γs
x : TxM × Ex → Ex
∇ induces natural connections on all vector bundles obtained withfunctorial constructions from E : sums, tensor products, duals,pull-backs, ...
Connections on E ⇐⇒ Principal connections on FR(E)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 16 / 33
![Page 86: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/86.jpg)
Connections on vector bundles
DefinitionA connection on the vector bundle E is an R-bilinear map∇ : IΓ(TM)× IΓ(E) 3 (X , ε) 7−→ ∇X ε ∈ IΓ(E)
C∞(M)-linear in XLeibnitz rule: ∇X (f ε) = X (f )ε + f∇X ε
a section s : U ⊂ M → FR(E) (trivialization of E) defines aconnection in E |U : ∇s
vε = s(x)(d(s−1ε)xv
)x ∈ U, v ∈ TxM.
the difference ∇−∇s defines the Christoffel tensor:Γs
x : TxM × Ex → Ex
∇ induces natural connections on all vector bundles obtained withfunctorial constructions from E : sums, tensor products, duals,pull-backs, ...
Connections on E ⇐⇒ Principal connections on FR(E)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 16 / 33
![Page 87: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/87.jpg)
Connections on vector bundles
DefinitionA connection on the vector bundle E is an R-bilinear map∇ : IΓ(TM)× IΓ(E) 3 (X , ε) 7−→ ∇X ε ∈ IΓ(E)
C∞(M)-linear in XLeibnitz rule: ∇X (f ε) = X (f )ε + f∇X ε
a section s : U ⊂ M → FR(E) (trivialization of E) defines aconnection in E |U : ∇s
vε = s(x)(d(s−1ε)xv
)x ∈ U, v ∈ TxM.
the difference ∇−∇s defines the Christoffel tensor:Γs
x : TxM × Ex → Ex
∇ induces natural connections on all vector bundles obtained withfunctorial constructions from E : sums, tensor products, duals,pull-backs, ...
Connections on E ⇐⇒ Principal connections on FR(E)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 16 / 33
![Page 88: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/88.jpg)
Connections on vector bundlesDefinitionA connection on the vector bundle E is an R-bilinear map∇ : IΓ(TM)× IΓ(E) 3 (X , ε) 7−→ ∇X ε ∈ IΓ(E)
C∞(M)-linear in XLeibnitz rule: ∇X (f ε) = X (f )ε + f∇X ε
a section s : U ⊂ M → FR(E) (trivialization of E) defines aconnection in E |U : ∇s
vε = s(x)(d(s−1ε)xv
)x ∈ U, v ∈ TxM.
the difference ∇−∇s defines the Christoffel tensor:Γs
x : TxM × Ex → Ex
∇ induces natural connections on all vector bundles obtained withfunctorial constructions from E : sums, tensor products, duals,pull-backs, ...
Connections on E ⇐⇒ Principal connections on FR(E)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 16 / 33
![Page 89: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/89.jpg)
Connections on vector bundles
DefinitionA connection on the vector bundle E is an R-bilinear map∇ : IΓ(TM)× IΓ(E) 3 (X , ε) 7−→ ∇X ε ∈ IΓ(E)
C∞(M)-linear in XLeibnitz rule: ∇X (f ε) = X (f )ε + f∇X ε
a section s : U ⊂ M → FR(E) (trivialization of E) defines aconnection in E |U : ∇s
vε = s(x)(d(s−1ε)xv
)x ∈ U, v ∈ TxM.
the difference ∇−∇s defines the Christoffel tensor:Γs
x : TxM × Ex → Ex
∇ induces natural connections on all vector bundles obtained withfunctorial constructions from E : sums, tensor products, duals,pull-backs, ...
Connections on E ⇐⇒ Principal connections on FR(E)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 16 / 33
![Page 90: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/90.jpg)
Curvature and torsionCurvature tensor of ∇: R : IΓ(TM)× IΓ(TM)× IΓ(E) −→ IΓ(E)
R(X , Y )ε = ∇X∇Y ε−∇Y∇X ε−∇[X ,Y ]ε
Rx : TxM × TxM × Ex → Ex
Given ι : TM → E vector bundle morphism, ι-torsion tensor:T ι : IΓ(TM)× IΓ(TM) → IΓ(E)
T ι(X , Y ) = ∇X(ι(Y )
)−∇Y
(ι(X )
)− ι([X , Y ]
)T ι
x : TxM × TxM → Ex
When E = TM, torsion: T (X , Y ) = ∇X Y −∇Y X − [X , Y ].
∇ is symmetric if T = 0
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 17 / 33
![Page 91: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/91.jpg)
Curvature and torsionCurvature tensor of ∇: R : IΓ(TM)× IΓ(TM)× IΓ(E) −→ IΓ(E)
R(X , Y )ε = ∇X∇Y ε−∇Y∇X ε−∇[X ,Y ]ε
Rx : TxM × TxM × Ex → Ex
Given ι : TM → E vector bundle morphism, ι-torsion tensor:T ι : IΓ(TM)× IΓ(TM) → IΓ(E)
T ι(X , Y ) = ∇X(ι(Y )
)−∇Y
(ι(X )
)− ι([X , Y ]
)T ι
x : TxM × TxM → Ex
When E = TM, torsion: T (X , Y ) = ∇X Y −∇Y X − [X , Y ].
∇ is symmetric if T = 0
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 17 / 33
![Page 92: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/92.jpg)
Curvature and torsionCurvature tensor of ∇: R : IΓ(TM)× IΓ(TM)× IΓ(E) −→ IΓ(E)
R(X , Y )ε = ∇X∇Y ε−∇Y∇X ε−∇[X ,Y ]ε
Rx : TxM × TxM × Ex → Ex
Given ι : TM → E vector bundle morphism, ι-torsion tensor:T ι : IΓ(TM)× IΓ(TM) → IΓ(E)
T ι(X , Y ) = ∇X(ι(Y )
)−∇Y
(ι(X )
)− ι([X , Y ]
)T ι
x : TxM × TxM → Ex
When E = TM, torsion: T (X , Y ) = ∇X Y −∇Y X − [X , Y ].
∇ is symmetric if T = 0
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 17 / 33
![Page 93: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/93.jpg)
Gauss, Codazzi and Ricci equationsπ1 : E1 → M and π2 : E2 → M vector bundle.Whitney sum: π : E = E1 ⊕ E2 → M, pri : E → E i projection.
∇ connection on E . Given sections εi ∈ IΓ(E i):∇1
X ε1 = pr1(∇X ε1
)connection in E1
∇2X ε1 = pr2
(∇X ε2
)connection in E2
α1(X , ε2) = pr1(∇X ε2
), tensor α1
x : TxM × E2x → E1
xα2(X , ε1) = pr2
(∇X ε1
), tensor α2
x : TxM × E1x → E2
xGauss equation:
pr1(R(X , Y )ε1
)= R1(X , Y )ε1 + α1(X , α2(Y , ε1)
)− α1(Y , α2(X , ε1)
)Codazzi equations
pr2(R(X , Y )ε1
)= ∇α2(X , Y , ε1)−∇α2(Y , X , ε1) + α2(T (X , Y ), ε1
)pr1(R(X , Y )ε2
)= ∇α1(X , Y , ε2)−∇α1(Y , X , ε2) + α1(T (X , Y ), ε2
)Ricci equation
pr2(R(X , Y )ε2
)= R2(X , Y )ε2 + α2(X , α1(Y , ε2)
)− α2(Y , α1(X , ε2)
)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 18 / 33
![Page 94: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/94.jpg)
Gauss, Codazzi and Ricci equationsπ1 : E1 → M and π2 : E2 → M vector bundle.Whitney sum: π : E = E1 ⊕ E2 → M, pri : E → E i projection.∇ connection on E . Given sections εi ∈ IΓ(E i):
∇1X ε1 = pr1
(∇X ε1
)connection in E1
∇2X ε1 = pr2
(∇X ε2
)connection in E2
α1(X , ε2) = pr1(∇X ε2
), tensor α1
x : TxM × E2x → E1
xα2(X , ε1) = pr2
(∇X ε1
), tensor α2
x : TxM × E1x → E2
xGauss equation:
pr1(R(X , Y )ε1
)= R1(X , Y )ε1 + α1(X , α2(Y , ε1)
)− α1(Y , α2(X , ε1)
)Codazzi equations
pr2(R(X , Y )ε1
)= ∇α2(X , Y , ε1)−∇α2(Y , X , ε1) + α2(T (X , Y ), ε1
)pr1(R(X , Y )ε2
)= ∇α1(X , Y , ε2)−∇α1(Y , X , ε2) + α1(T (X , Y ), ε2
)Ricci equation
pr2(R(X , Y )ε2
)= R2(X , Y )ε2 + α2(X , α1(Y , ε2)
)− α2(Y , α1(X , ε2)
)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 18 / 33
![Page 95: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/95.jpg)
Gauss, Codazzi and Ricci equationsπ1 : E1 → M and π2 : E2 → M vector bundle.Whitney sum: π : E = E1 ⊕ E2 → M, pri : E → E i projection.∇ connection on E . Given sections εi ∈ IΓ(E i):
∇1X ε1 = pr1
(∇X ε1
)connection in E1
∇2X ε1 = pr2
(∇X ε2
)connection in E2
α1(X , ε2) = pr1(∇X ε2
), tensor α1
x : TxM × E2x → E1
xα2(X , ε1) = pr2
(∇X ε1
), tensor α2
x : TxM × E1x → E2
xGauss equation:
pr1(R(X , Y )ε1
)= R1(X , Y )ε1 + α1(X , α2(Y , ε1)
)− α1(Y , α2(X , ε1)
)Codazzi equations
pr2(R(X , Y )ε1
)= ∇α2(X , Y , ε1)−∇α2(Y , X , ε1) + α2(T (X , Y ), ε1
)pr1(R(X , Y )ε2
)= ∇α1(X , Y , ε2)−∇α1(Y , X , ε2) + α1(T (X , Y ), ε2
)Ricci equation
pr2(R(X , Y )ε2
)= R2(X , Y )ε2 + α2(X , α1(Y , ε2)
)− α2(Y , α1(X , ε2)
)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 18 / 33
![Page 96: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/96.jpg)
Gauss, Codazzi and Ricci equationsπ1 : E1 → M and π2 : E2 → M vector bundle.Whitney sum: π : E = E1 ⊕ E2 → M, pri : E → E i projection.∇ connection on E . Given sections εi ∈ IΓ(E i):
∇1X ε1 = pr1
(∇X ε1
)connection in E1
∇2X ε1 = pr2
(∇X ε2
)connection in E2
α1(X , ε2) = pr1(∇X ε2
), tensor α1
x : TxM × E2x → E1
xα2(X , ε1) = pr2
(∇X ε1
), tensor α2
x : TxM × E1x → E2
xGauss equation:
pr1(R(X , Y )ε1
)= R1(X , Y )ε1 + α1(X , α2(Y , ε1)
)− α1(Y , α2(X , ε1)
)Codazzi equations
pr2(R(X , Y )ε1
)= ∇α2(X , Y , ε1)−∇α2(Y , X , ε1) + α2(T (X , Y ), ε1
)pr1(R(X , Y )ε2
)= ∇α1(X , Y , ε2)−∇α1(Y , X , ε2) + α1(T (X , Y ), ε2
)Ricci equation
pr2(R(X , Y )ε2
)= R2(X , Y )ε2 + α2(X , α1(Y , ε2)
)− α2(Y , α1(X , ε2)
)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 18 / 33
![Page 97: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/97.jpg)
Gauss, Codazzi and Ricci equationsπ1 : E1 → M and π2 : E2 → M vector bundle.Whitney sum: π : E = E1 ⊕ E2 → M, pri : E → E i projection.∇ connection on E . Given sections εi ∈ IΓ(E i):
∇1X ε1 = pr1
(∇X ε1
)connection in E1
∇2X ε1 = pr2
(∇X ε2
)connection in E2
α1(X , ε2) = pr1(∇X ε2
), tensor α1
x : TxM × E2x → E1
x
α2(X , ε1) = pr2(∇X ε1
), tensor α2
x : TxM × E1x → E2
xGauss equation:
pr1(R(X , Y )ε1
)= R1(X , Y )ε1 + α1(X , α2(Y , ε1)
)− α1(Y , α2(X , ε1)
)Codazzi equations
pr2(R(X , Y )ε1
)= ∇α2(X , Y , ε1)−∇α2(Y , X , ε1) + α2(T (X , Y ), ε1
)pr1(R(X , Y )ε2
)= ∇α1(X , Y , ε2)−∇α1(Y , X , ε2) + α1(T (X , Y ), ε2
)Ricci equation
pr2(R(X , Y )ε2
)= R2(X , Y )ε2 + α2(X , α1(Y , ε2)
)− α2(Y , α1(X , ε2)
)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 18 / 33
![Page 98: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/98.jpg)
Gauss, Codazzi and Ricci equationsπ1 : E1 → M and π2 : E2 → M vector bundle.Whitney sum: π : E = E1 ⊕ E2 → M, pri : E → E i projection.∇ connection on E . Given sections εi ∈ IΓ(E i):
∇1X ε1 = pr1
(∇X ε1
)connection in E1
∇2X ε1 = pr2
(∇X ε2
)connection in E2
α1(X , ε2) = pr1(∇X ε2
), tensor α1
x : TxM × E2x → E1
xα2(X , ε1) = pr2
(∇X ε1
), tensor α2
x : TxM × E1x → E2
x
Gauss equation:
pr1(R(X , Y )ε1
)= R1(X , Y )ε1 + α1(X , α2(Y , ε1)
)− α1(Y , α2(X , ε1)
)Codazzi equations
pr2(R(X , Y )ε1
)= ∇α2(X , Y , ε1)−∇α2(Y , X , ε1) + α2(T (X , Y ), ε1
)pr1(R(X , Y )ε2
)= ∇α1(X , Y , ε2)−∇α1(Y , X , ε2) + α1(T (X , Y ), ε2
)Ricci equation
pr2(R(X , Y )ε2
)= R2(X , Y )ε2 + α2(X , α1(Y , ε2)
)− α2(Y , α1(X , ε2)
)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 18 / 33
![Page 99: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/99.jpg)
Gauss, Codazzi and Ricci equationsπ1 : E1 → M and π2 : E2 → M vector bundle.Whitney sum: π : E = E1 ⊕ E2 → M, pri : E → E i projection.∇ connection on E . Given sections εi ∈ IΓ(E i):
∇1X ε1 = pr1
(∇X ε1
)connection in E1
∇2X ε1 = pr2
(∇X ε2
)connection in E2
α1(X , ε2) = pr1(∇X ε2
), tensor α1
x : TxM × E2x → E1
xα2(X , ε1) = pr2
(∇X ε1
), tensor α2
x : TxM × E1x → E2
xGauss equation:
pr1(R(X , Y )ε1
)= R1(X , Y )ε1 + α1(X , α2(Y , ε1)
)− α1(Y , α2(X , ε1)
)
Codazzi equations
pr2(R(X , Y )ε1
)= ∇α2(X , Y , ε1)−∇α2(Y , X , ε1) + α2(T (X , Y ), ε1
)pr1(R(X , Y )ε2
)= ∇α1(X , Y , ε2)−∇α1(Y , X , ε2) + α1(T (X , Y ), ε2
)Ricci equation
pr2(R(X , Y )ε2
)= R2(X , Y )ε2 + α2(X , α1(Y , ε2)
)− α2(Y , α1(X , ε2)
)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 18 / 33
![Page 100: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/100.jpg)
Gauss, Codazzi and Ricci equationsπ1 : E1 → M and π2 : E2 → M vector bundle.Whitney sum: π : E = E1 ⊕ E2 → M, pri : E → E i projection.∇ connection on E . Given sections εi ∈ IΓ(E i):
∇1X ε1 = pr1
(∇X ε1
)connection in E1
∇2X ε1 = pr2
(∇X ε2
)connection in E2
α1(X , ε2) = pr1(∇X ε2
), tensor α1
x : TxM × E2x → E1
xα2(X , ε1) = pr2
(∇X ε1
), tensor α2
x : TxM × E1x → E2
xGauss equation:
pr1(R(X , Y )ε1
)= R1(X , Y )ε1 + α1(X , α2(Y , ε1)
)− α1(Y , α2(X , ε1)
)Codazzi equations
pr2(R(X , Y )ε1
)= ∇α2(X , Y , ε1)−∇α2(Y , X , ε1) + α2(T (X , Y ), ε1
)pr1(R(X , Y )ε2
)= ∇α1(X , Y , ε2)−∇α1(Y , X , ε2) + α1(T (X , Y ), ε2
)
Ricci equation
pr2(R(X , Y )ε2
)= R2(X , Y )ε2 + α2(X , α1(Y , ε2)
)− α2(Y , α1(X , ε2)
)
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 18 / 33
![Page 101: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/101.jpg)
Gauss, Codazzi and Ricci equationsπ1 : E1 → M and π2 : E2 → M vector bundle.Whitney sum: π : E = E1 ⊕ E2 → M, pri : E → E i projection.∇ connection on E . Given sections εi ∈ IΓ(E i):
∇1X ε1 = pr1
(∇X ε1
)connection in E1
∇2X ε1 = pr2
(∇X ε2
)connection in E2
α1(X , ε2) = pr1(∇X ε2
), tensor α1
x : TxM × E2x → E1
xα2(X , ε1) = pr2
(∇X ε1
), tensor α2
x : TxM × E1x → E2
xGauss equation:
pr1(R(X , Y )ε1
)= R1(X , Y )ε1 + α1(X , α2(Y , ε1)
)− α1(Y , α2(X , ε1)
)Codazzi equations
pr2(R(X , Y )ε1
)= ∇α2(X , Y , ε1)−∇α2(Y , X , ε1) + α2(T (X , Y ), ε1
)pr1(R(X , Y )ε2
)= ∇α1(X , Y , ε2)−∇α1(Y , X , ε2) + α1(T (X , Y ), ε2
)Ricci equation
pr2(R(X , Y )ε2
)= R2(X , Y )ε2 + α2(X , α1(Y , ε2)
)− α2(Y , α1(X , ε2)
)Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 18 / 33
![Page 102: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/102.jpg)
Outline
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 19 / 33
![Page 103: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/103.jpg)
Inner torsion via principal fiber bundlesπ : E → M vector bundle, G ⊂ GL(k), P ⊂ FR(E) a G-structure
Hor(FR(E)
)⊂ T
(FR(E)
)principal connection.
If for p ∈ P, Horp(FR(E)
)⊂ TpP, Hor|P is a principal connection in P.
TpP ⊂ Tp(FR(E)
)= Horp ⊕ Verp
(dΠp,ωp)−→∼= TxM ⊕ gl(Rk )
Since dΠp : TpP∼=−→ TxM and (dΠp, ωp)(TpP) ∩ gl(Rk ) = g, there
exists L : TxM → gl(Rk )/g linear s.t.:
TpP ∼={(v , X ) ∈ TxM ⊕ gl(Rk ) : L(v) = X + g
}OBS 1: L = 0 ⇐⇒ TpP ∼= Tx ⊕ g ⇐⇒ Horp ⊂ TpP
OBS 2: Adp : gl(Rk )∼=−→ gl(Ex), Adp : gl(Rk )/g
∼=−→ gl(Ex)/gx ,
IPx = Adp ◦ L : TxM −→ gl(Ex)/gx does not depend on p!
innertorsion
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 20 / 33
![Page 104: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/104.jpg)
Inner torsion via principal fiber bundlesπ : E → M vector bundle, G ⊂ GL(k), P ⊂ FR(E) a G-structureHor(FR(E)
)⊂ T
(FR(E)
)principal connection.
If for p ∈ P, Horp(FR(E)
)⊂ TpP, Hor|P is a principal connection in P.
TpP ⊂ Tp(FR(E)
)= Horp ⊕ Verp
(dΠp,ωp)−→∼= TxM ⊕ gl(Rk )
Since dΠp : TpP∼=−→ TxM and (dΠp, ωp)(TpP) ∩ gl(Rk ) = g, there
exists L : TxM → gl(Rk )/g linear s.t.:
TpP ∼={(v , X ) ∈ TxM ⊕ gl(Rk ) : L(v) = X + g
}OBS 1: L = 0 ⇐⇒ TpP ∼= Tx ⊕ g ⇐⇒ Horp ⊂ TpP
OBS 2: Adp : gl(Rk )∼=−→ gl(Ex), Adp : gl(Rk )/g
∼=−→ gl(Ex)/gx ,
IPx = Adp ◦ L : TxM −→ gl(Ex)/gx does not depend on p!
innertorsion
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 20 / 33
![Page 105: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/105.jpg)
Inner torsion via principal fiber bundlesπ : E → M vector bundle, G ⊂ GL(k), P ⊂ FR(E) a G-structureHor(FR(E)
)⊂ T
(FR(E)
)principal connection.
If for p ∈ P, Horp(FR(E)
)⊂ TpP, Hor|P is a principal connection in P.
TpP ⊂ Tp(FR(E)
)= Horp ⊕ Verp
(dΠp,ωp)−→∼= TxM ⊕ gl(Rk )
Since dΠp : TpP∼=−→ TxM and (dΠp, ωp)(TpP) ∩ gl(Rk ) = g, there
exists L : TxM → gl(Rk )/g linear s.t.:
TpP ∼={(v , X ) ∈ TxM ⊕ gl(Rk ) : L(v) = X + g
}OBS 1: L = 0 ⇐⇒ TpP ∼= Tx ⊕ g ⇐⇒ Horp ⊂ TpP
OBS 2: Adp : gl(Rk )∼=−→ gl(Ex), Adp : gl(Rk )/g
∼=−→ gl(Ex)/gx ,
IPx = Adp ◦ L : TxM −→ gl(Ex)/gx does not depend on p!
innertorsion
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 20 / 33
![Page 106: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/106.jpg)
Inner torsion via principal fiber bundlesπ : E → M vector bundle, G ⊂ GL(k), P ⊂ FR(E) a G-structureHor(FR(E)
)⊂ T
(FR(E)
)principal connection.
If for p ∈ P, Horp(FR(E)
)⊂ TpP, Hor|P is a principal connection in P.
TpP ⊂ Tp(FR(E)
)= Horp ⊕ Verp
(dΠp,ωp)−→∼= TxM ⊕ gl(Rk )
Since dΠp : TpP∼=−→ TxM and (dΠp, ωp)(TpP) ∩ gl(Rk ) = g, there
exists L : TxM → gl(Rk )/g linear s.t.:
TpP ∼={(v , X ) ∈ TxM ⊕ gl(Rk ) : L(v) = X + g
}OBS 1: L = 0 ⇐⇒ TpP ∼= Tx ⊕ g ⇐⇒ Horp ⊂ TpP
OBS 2: Adp : gl(Rk )∼=−→ gl(Ex), Adp : gl(Rk )/g
∼=−→ gl(Ex)/gx ,
IPx = Adp ◦ L : TxM −→ gl(Ex)/gx does not depend on p!
innertorsion
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 20 / 33
![Page 107: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/107.jpg)
Inner torsion via principal fiber bundlesπ : E → M vector bundle, G ⊂ GL(k), P ⊂ FR(E) a G-structureHor(FR(E)
)⊂ T
(FR(E)
)principal connection.
If for p ∈ P, Horp(FR(E)
)⊂ TpP, Hor|P is a principal connection in P.
TpP ⊂ Tp(FR(E)
)= Horp ⊕ Verp
(dΠp,ωp)−→∼= TxM ⊕ gl(Rk )
Since dΠp : TpP∼=−→ TxM and (dΠp, ωp)(TpP) ∩ gl(Rk ) = g, there
exists L : TxM → gl(Rk )/g linear s.t.:
TpP ∼={(v , X ) ∈ TxM ⊕ gl(Rk ) : L(v) = X + g
}
OBS 1: L = 0 ⇐⇒ TpP ∼= Tx ⊕ g ⇐⇒ Horp ⊂ TpP
OBS 2: Adp : gl(Rk )∼=−→ gl(Ex), Adp : gl(Rk )/g
∼=−→ gl(Ex)/gx ,
IPx = Adp ◦ L : TxM −→ gl(Ex)/gx does not depend on p!
innertorsion
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 20 / 33
![Page 108: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/108.jpg)
Inner torsion via principal fiber bundlesπ : E → M vector bundle, G ⊂ GL(k), P ⊂ FR(E) a G-structureHor(FR(E)
)⊂ T
(FR(E)
)principal connection.
If for p ∈ P, Horp(FR(E)
)⊂ TpP, Hor|P is a principal connection in P.
TpP ⊂ Tp(FR(E)
)= Horp ⊕ Verp
(dΠp,ωp)−→∼= TxM ⊕ gl(Rk )
Since dΠp : TpP∼=−→ TxM and (dΠp, ωp)(TpP) ∩ gl(Rk ) = g, there
exists L : TxM → gl(Rk )/g linear s.t.:
TpP ∼={(v , X ) ∈ TxM ⊕ gl(Rk ) : L(v) = X + g
}OBS 1: L = 0 ⇐⇒ TpP ∼= Tx ⊕ g ⇐⇒ Horp ⊂ TpP
OBS 2: Adp : gl(Rk )∼=−→ gl(Ex), Adp : gl(Rk )/g
∼=−→ gl(Ex)/gx ,
IPx = Adp ◦ L : TxM −→ gl(Ex)/gx does not depend on p!
innertorsion
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 20 / 33
![Page 109: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/109.jpg)
Inner torsion via principal fiber bundlesπ : E → M vector bundle, G ⊂ GL(k), P ⊂ FR(E) a G-structureHor(FR(E)
)⊂ T
(FR(E)
)principal connection.
If for p ∈ P, Horp(FR(E)
)⊂ TpP, Hor|P is a principal connection in P.
TpP ⊂ Tp(FR(E)
)= Horp ⊕ Verp
(dΠp,ωp)−→∼= TxM ⊕ gl(Rk )
Since dΠp : TpP∼=−→ TxM and (dΠp, ωp)(TpP) ∩ gl(Rk ) = g, there
exists L : TxM → gl(Rk )/g linear s.t.:
TpP ∼={(v , X ) ∈ TxM ⊕ gl(Rk ) : L(v) = X + g
}OBS 1: L = 0 ⇐⇒ TpP ∼= Tx ⊕ g ⇐⇒ Horp ⊂ TpP
OBS 2: Adp : gl(Rk )∼=−→ gl(Ex), Adp : gl(Rk )/g
∼=−→ gl(Ex)/gx ,
IPx = Adp ◦ L : TxM −→ gl(Ex)/gx does not depend on p!
innertorsion
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 20 / 33
![Page 110: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/110.jpg)
Inner torsion via vector bundles
π : E → M vector bundle
G ⊂ GL(Rk ) Lie subgroupP ⊂ FR(E) a G-structure on E∇ connection on Es : U → P frame of E compatible with P, x ∈ UΓx : TxM → gl(Ex) Christoffel tensor of ∇ rel. to sω connection form of Hor
(FRE0(E)
)and ω = s∗ω
IPx : TxM → gl(Ex)/gx is given by:
TxMωx
//
IPx
++
Γx &&LLLLLLLLLLL gl(Rk )quotient
//
Adp
��
gl(Rk )/gAdp
// gl(Ex)/gx
gl(Ex)quotient
77
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 21 / 33
![Page 111: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/111.jpg)
Inner torsion via vector bundles
π : E → M vector bundleG ⊂ GL(Rk ) Lie subgroup
P ⊂ FR(E) a G-structure on E∇ connection on Es : U → P frame of E compatible with P, x ∈ UΓx : TxM → gl(Ex) Christoffel tensor of ∇ rel. to sω connection form of Hor
(FRE0(E)
)and ω = s∗ω
IPx : TxM → gl(Ex)/gx is given by:
TxMωx
//
IPx
++
Γx &&LLLLLLLLLLL gl(Rk )quotient
//
Adp
��
gl(Rk )/gAdp
// gl(Ex)/gx
gl(Ex)quotient
77
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 21 / 33
![Page 112: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/112.jpg)
Inner torsion via vector bundles
π : E → M vector bundleG ⊂ GL(Rk ) Lie subgroupP ⊂ FR(E) a G-structure on E
∇ connection on Es : U → P frame of E compatible with P, x ∈ UΓx : TxM → gl(Ex) Christoffel tensor of ∇ rel. to sω connection form of Hor
(FRE0(E)
)and ω = s∗ω
IPx : TxM → gl(Ex)/gx is given by:
TxMωx
//
IPx
++
Γx &&LLLLLLLLLLL gl(Rk )quotient
//
Adp
��
gl(Rk )/gAdp
// gl(Ex)/gx
gl(Ex)quotient
77
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 21 / 33
![Page 113: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/113.jpg)
Inner torsion via vector bundles
π : E → M vector bundleG ⊂ GL(Rk ) Lie subgroupP ⊂ FR(E) a G-structure on E∇ connection on E
s : U → P frame of E compatible with P, x ∈ UΓx : TxM → gl(Ex) Christoffel tensor of ∇ rel. to sω connection form of Hor
(FRE0(E)
)and ω = s∗ω
IPx : TxM → gl(Ex)/gx is given by:
TxMωx
//
IPx
++
Γx &&LLLLLLLLLLL gl(Rk )quotient
//
Adp
��
gl(Rk )/gAdp
// gl(Ex)/gx
gl(Ex)quotient
77
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 21 / 33
![Page 114: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/114.jpg)
Inner torsion via vector bundles
π : E → M vector bundleG ⊂ GL(Rk ) Lie subgroupP ⊂ FR(E) a G-structure on E∇ connection on Es : U → P frame of E compatible with P, x ∈ U
Γx : TxM → gl(Ex) Christoffel tensor of ∇ rel. to sω connection form of Hor
(FRE0(E)
)and ω = s∗ω
IPx : TxM → gl(Ex)/gx is given by:
TxMωx
//
IPx
++
Γx &&LLLLLLLLLLL gl(Rk )quotient
//
Adp
��
gl(Rk )/gAdp
// gl(Ex)/gx
gl(Ex)quotient
77
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 21 / 33
![Page 115: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/115.jpg)
Inner torsion via vector bundles
π : E → M vector bundleG ⊂ GL(Rk ) Lie subgroupP ⊂ FR(E) a G-structure on E∇ connection on Es : U → P frame of E compatible with P, x ∈ UΓx : TxM → gl(Ex) Christoffel tensor of ∇ rel. to s
ω connection form of Hor(FRE0(E)
)and ω = s∗ω
IPx : TxM → gl(Ex)/gx is given by:
TxMωx
//
IPx
++
Γx &&LLLLLLLLLLL gl(Rk )quotient
//
Adp
��
gl(Rk )/gAdp
// gl(Ex)/gx
gl(Ex)quotient
77
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 21 / 33
![Page 116: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/116.jpg)
Inner torsion via vector bundles
π : E → M vector bundleG ⊂ GL(Rk ) Lie subgroupP ⊂ FR(E) a G-structure on E∇ connection on Es : U → P frame of E compatible with P, x ∈ UΓx : TxM → gl(Ex) Christoffel tensor of ∇ rel. to sω connection form of Hor
(FRE0(E)
)and ω = s∗ω
IPx : TxM → gl(Ex)/gx is given by:
TxMωx
//
IPx
++
Γx &&LLLLLLLLLLL gl(Rk )quotient
//
Adp
��
gl(Rk )/gAdp
// gl(Ex)/gx
gl(Ex)quotient
77
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 21 / 33
![Page 117: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/117.jpg)
Inner torsion via vector bundles
π : E → M vector bundleG ⊂ GL(Rk ) Lie subgroupP ⊂ FR(E) a G-structure on E∇ connection on Es : U → P frame of E compatible with P, x ∈ UΓx : TxM → gl(Ex) Christoffel tensor of ∇ rel. to sω connection form of Hor
(FRE0(E)
)and ω = s∗ω
IPx : TxM → gl(Ex)/gx is given by:
TxMωx
//
IPx
++
Γx &&LLLLLLLLLLL gl(Rk )quotient
//
Adp
��
gl(Rk )/gAdp
// gl(Ex)/gx
gl(Ex)quotient
77
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 21 / 33
![Page 118: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/118.jpg)
An example
π : E → M vector bundle with a Riemannian metric g
∇ connection on E .O(k)-structure of g-orthonormal frames of E : P ⊂ FR(E)
Lin(Ex)/so(Ex) ∼= sym(Ex) by the map T 7→ 12(T + T ∗).
An explicit computation using local sections of E that are constant insome orthonormal frame s : U → P gives:
IPx (v) = 1
2
(Γ(v) + Γ(v)∗
)= −1
2∇v g ∈ sym(Ex)
for all x ∈ M, v ∈ TxM.
LemmaIP
x = 0 iff g is ∇-parallel.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 22 / 33
![Page 119: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/119.jpg)
An example
π : E → M vector bundle with a Riemannian metric g∇ connection on E .
O(k)-structure of g-orthonormal frames of E : P ⊂ FR(E)
Lin(Ex)/so(Ex) ∼= sym(Ex) by the map T 7→ 12(T + T ∗).
An explicit computation using local sections of E that are constant insome orthonormal frame s : U → P gives:
IPx (v) = 1
2
(Γ(v) + Γ(v)∗
)= −1
2∇v g ∈ sym(Ex)
for all x ∈ M, v ∈ TxM.
LemmaIP
x = 0 iff g is ∇-parallel.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 22 / 33
![Page 120: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/120.jpg)
An example
π : E → M vector bundle with a Riemannian metric g∇ connection on E .O(k)-structure of g-orthonormal frames of E : P ⊂ FR(E)
Lin(Ex)/so(Ex) ∼= sym(Ex) by the map T 7→ 12(T + T ∗).
An explicit computation using local sections of E that are constant insome orthonormal frame s : U → P gives:
IPx (v) = 1
2
(Γ(v) + Γ(v)∗
)= −1
2∇v g ∈ sym(Ex)
for all x ∈ M, v ∈ TxM.
LemmaIP
x = 0 iff g is ∇-parallel.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 22 / 33
![Page 121: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/121.jpg)
An example
π : E → M vector bundle with a Riemannian metric g∇ connection on E .O(k)-structure of g-orthonormal frames of E : P ⊂ FR(E)
Lin(Ex)/so(Ex) ∼= sym(Ex) by the map T 7→ 12(T + T ∗).
An explicit computation using local sections of E that are constant insome orthonormal frame s : U → P gives:
IPx (v) = 1
2
(Γ(v) + Γ(v)∗
)= −1
2∇v g ∈ sym(Ex)
for all x ∈ M, v ∈ TxM.
LemmaIP
x = 0 iff g is ∇-parallel.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 22 / 33
![Page 122: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/122.jpg)
An example
π : E → M vector bundle with a Riemannian metric g∇ connection on E .O(k)-structure of g-orthonormal frames of E : P ⊂ FR(E)
Lin(Ex)/so(Ex) ∼= sym(Ex) by the map T 7→ 12(T + T ∗).
An explicit computation using local sections of E that are constant insome orthonormal frame s : U → P gives:
IPx (v) = 1
2
(Γ(v) + Γ(v)∗
)= −1
2∇v g ∈ sym(Ex)
for all x ∈ M, v ∈ TxM.
LemmaIP
x = 0 iff g is ∇-parallel.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 22 / 33
![Page 123: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/123.jpg)
An example
π : E → M vector bundle with a Riemannian metric g∇ connection on E .O(k)-structure of g-orthonormal frames of E : P ⊂ FR(E)
Lin(Ex)/so(Ex) ∼= sym(Ex) by the map T 7→ 12(T + T ∗).
An explicit computation using local sections of E that are constant insome orthonormal frame s : U → P gives:
IPx (v) = 1
2
(Γ(v) + Γ(v)∗
)= −1
2∇v g ∈ sym(Ex)
for all x ∈ M, v ∈ TxM.
LemmaIP
x = 0 iff g is ∇-parallel.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 22 / 33
![Page 124: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/124.jpg)
Outline
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 23 / 33
![Page 125: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/125.jpg)
Affine immersions
Problem. Given objects:
M an n-dimensional differentiable manifoldM an n-dimensional differentiable manifoldπ : E → M a vector bundle over M with typical fiber Rk , n = n + k∇ a connection on E = TM ⊕ E∇ a connection on TM
Definition
An affine immersion of (M, E , ∇) into (M,∇) is a pair (f , L), wheref : M → M is a smooth map, L : E → f ∗TM is a connection preservingvector bundle isomorphism with: Lx |Tx M = dfx , ∀ x ∈ M.
Uniqueness: If M is connected, given (f 1, L1) and (f 2, L2) withf 1(x0) = f 2(x0) and L1(x0) = L2(x0), then (f 1, L1) = (f 2, L2).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 24 / 33
![Page 126: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/126.jpg)
Affine immersions
Problem. Given objects:M an n-dimensional differentiable manifold
M an n-dimensional differentiable manifoldπ : E → M a vector bundle over M with typical fiber Rk , n = n + k∇ a connection on E = TM ⊕ E∇ a connection on TM
Definition
An affine immersion of (M, E , ∇) into (M,∇) is a pair (f , L), wheref : M → M is a smooth map, L : E → f ∗TM is a connection preservingvector bundle isomorphism with: Lx |Tx M = dfx , ∀ x ∈ M.
Uniqueness: If M is connected, given (f 1, L1) and (f 2, L2) withf 1(x0) = f 2(x0) and L1(x0) = L2(x0), then (f 1, L1) = (f 2, L2).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 24 / 33
![Page 127: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/127.jpg)
Affine immersions
Problem. Given objects:M an n-dimensional differentiable manifoldM an n-dimensional differentiable manifold
π : E → M a vector bundle over M with typical fiber Rk , n = n + k∇ a connection on E = TM ⊕ E∇ a connection on T M
Definition
An affine immersion of (M, E , ∇) into (M,∇) is a pair (f , L), wheref : M → M is a smooth map, L : E → f ∗TM is a connection preservingvector bundle isomorphism with: Lx |Tx M = dfx , ∀ x ∈ M.
Uniqueness: If M is connected, given (f 1, L1) and (f 2, L2) withf 1(x0) = f 2(x0) and L1(x0) = L2(x0), then (f 1, L1) = (f 2, L2).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 24 / 33
![Page 128: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/128.jpg)
Affine immersions
Problem. Given objects:M an n-dimensional differentiable manifoldM an n-dimensional differentiable manifoldπ : E → M a vector bundle over M with typical fiber Rk , n = n + k
∇ a connection on E = TM ⊕ E∇ a connection on T M
Definition
An affine immersion of (M, E , ∇) into (M,∇) is a pair (f , L), wheref : M → M is a smooth map, L : E → f ∗TM is a connection preservingvector bundle isomorphism with: Lx |Tx M = dfx , ∀ x ∈ M.
Uniqueness: If M is connected, given (f 1, L1) and (f 2, L2) withf 1(x0) = f 2(x0) and L1(x0) = L2(x0), then (f 1, L1) = (f 2, L2).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 24 / 33
![Page 129: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/129.jpg)
Affine immersions
Problem. Given objects:M an n-dimensional differentiable manifoldM an n-dimensional differentiable manifoldπ : E → M a vector bundle over M with typical fiber Rk , n = n + k∇ a connection on E = TM ⊕ E
∇ a connection on TM
Definition
An affine immersion of (M, E , ∇) into (M,∇) is a pair (f , L), wheref : M → M is a smooth map, L : E → f ∗TM is a connection preservingvector bundle isomorphism with: Lx |Tx M = dfx , ∀ x ∈ M.
Uniqueness: If M is connected, given (f 1, L1) and (f 2, L2) withf 1(x0) = f 2(x0) and L1(x0) = L2(x0), then (f 1, L1) = (f 2, L2).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 24 / 33
![Page 130: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/130.jpg)
Affine immersions
Problem. Given objects:M an n-dimensional differentiable manifoldM an n-dimensional differentiable manifoldπ : E → M a vector bundle over M with typical fiber Rk , n = n + k∇ a connection on E = TM ⊕ E∇ a connection on TM
Definition
An affine immersion of (M, E , ∇) into (M,∇) is a pair (f , L), wheref : M → M is a smooth map, L : E → f ∗TM is a connection preservingvector bundle isomorphism with: Lx |Tx M = dfx , ∀ x ∈ M.
Uniqueness: If M is connected, given (f 1, L1) and (f 2, L2) withf 1(x0) = f 2(x0) and L1(x0) = L2(x0), then (f 1, L1) = (f 2, L2).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 24 / 33
![Page 131: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/131.jpg)
Affine immersions
Problem. Given objects:M an n-dimensional differentiable manifoldM an n-dimensional differentiable manifoldπ : E → M a vector bundle over M with typical fiber Rk , n = n + k∇ a connection on E = TM ⊕ E∇ a connection on TM
Definition
An affine immersion of (M, E , ∇) into (M,∇) is a pair (f , L), wheref : M → M is a smooth map, L : E → f ∗TM is a connection preservingvector bundle isomorphism with: Lx |Tx M = dfx , ∀ x ∈ M.
Uniqueness: If M is connected, given (f 1, L1) and (f 2, L2) withf 1(x0) = f 2(x0) and L1(x0) = L2(x0), then (f 1, L1) = (f 2, L2).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 24 / 33
![Page 132: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/132.jpg)
Affine immersions
Problem. Given objects:M an n-dimensional differentiable manifoldM an n-dimensional differentiable manifoldπ : E → M a vector bundle over M with typical fiber Rk , n = n + k∇ a connection on E = TM ⊕ E∇ a connection on TM
Definition
An affine immersion of (M, E , ∇) into (M,∇) is a pair (f , L), wheref : M → M is a smooth map, L : E → f ∗TM is a connection preservingvector bundle isomorphism with: Lx |Tx M = dfx , ∀ x ∈ M.
Uniqueness: If M is connected, given (f 1, L1) and (f 2, L2) withf 1(x0) = f 2(x0) and L1(x0) = L2(x0), then (f 1, L1) = (f 2, L2).
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 24 / 33
![Page 133: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/133.jpg)
Infinitesimally homogeneous manifolds – 1
(M,∇) affine manifold
G ⊂ GL(n) Lie subgroup,
P ⊂ FR(TM) a G-structure.
For x ∈ M, Gx ⊂ GL(TxM) subgroup of G-structure preservingendomorphisms, gx = Lie(Gx).
σ : TxM → TyM G-structure preserving,Iσ : GL(TxM) 3 T 7→ σ ◦ T ◦ σ−1 ∈ GL(TyM).
Adσ : gl(TxM) → gl(TyM) =⇒ Adσ : gl(TxM)/gx → gl(TyM)/gy .
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 25 / 33
![Page 134: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/134.jpg)
Infinitesimally homogeneous manifolds – 1
(M,∇) affine manifold
G ⊂ GL(n) Lie subgroup,
P ⊂ FR(TM) a G-structure.
For x ∈ M, Gx ⊂ GL(TxM) subgroup of G-structure preservingendomorphisms, gx = Lie(Gx).
σ : TxM → TyM G-structure preserving,Iσ : GL(TxM) 3 T 7→ σ ◦ T ◦ σ−1 ∈ GL(TyM).
Adσ : gl(TxM) → gl(TyM) =⇒ Adσ : gl(TxM)/gx → gl(TyM)/gy .
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 25 / 33
![Page 135: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/135.jpg)
Infinitesimally homogeneous manifolds – 1
(M,∇) affine manifold
G ⊂ GL(n) Lie subgroup,
P ⊂ FR(TM) a G-structure.
For x ∈ M, Gx ⊂ GL(TxM) subgroup of G-structure preservingendomorphisms, gx = Lie(Gx).
σ : TxM → TyM G-structure preserving,Iσ : GL(TxM) 3 T 7→ σ ◦ T ◦ σ−1 ∈ GL(TyM).
Adσ : gl(TxM) → gl(TyM) =⇒ Adσ : gl(TxM)/gx → gl(TyM)/gy .
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 25 / 33
![Page 136: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/136.jpg)
Infinitesimally homogeneous manifolds – 1
(M,∇) affine manifold
G ⊂ GL(n) Lie subgroup,
P ⊂ FR(TM) a G-structure.
For x ∈ M, Gx ⊂ GL(TxM) subgroup of G-structure preservingendomorphisms, gx = Lie(Gx).
σ : TxM → TyM G-structure preserving,Iσ : GL(TxM) 3 T 7→ σ ◦ T ◦ σ−1 ∈ GL(TyM).
Adσ : gl(TxM) → gl(TyM) =⇒ Adσ : gl(TxM)/gx → gl(TyM)/gy .
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 25 / 33
![Page 137: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/137.jpg)
Infinitesimally homogeneous manifolds – 1
(M,∇) affine manifold
G ⊂ GL(n) Lie subgroup,
P ⊂ FR(TM) a G-structure.
For x ∈ M, Gx ⊂ GL(TxM) subgroup of G-structure preservingendomorphisms, gx = Lie(Gx).
σ : TxM → TyM G-structure preserving,Iσ : GL(TxM) 3 T 7→ σ ◦ T ◦ σ−1 ∈ GL(TyM).
Adσ : gl(TxM) → gl(TyM) =⇒ Adσ : gl(TxM)/gx → gl(TyM)/gy .
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 25 / 33
![Page 138: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/138.jpg)
Infinitesimally homogeneous manifolds – 2
Definition(M,∇, P) is infinitesimally homogeneous if for all σ : TxM → TyMG-structure preserving:
Adσ ◦ IPx = IP
y ◦ σ
Tx is σ-related with Ty
Rx is σ-related to Ry .
Theorem(M,∇, P) is infinitesimally homogeneous iff IP , T and R are constantin frames of the G-structure P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 26 / 33
![Page 139: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/139.jpg)
Infinitesimally homogeneous manifolds – 2
Definition(M,∇, P) is infinitesimally homogeneous if for all σ : TxM → TyMG-structure preserving:
Adσ ◦ IPx = IP
y ◦ σ
Tx is σ-related with Ty
Rx is σ-related to Ry .
Theorem(M,∇, P) is infinitesimally homogeneous iff IP , T and R are constantin frames of the G-structure P.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 26 / 33
![Page 140: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/140.jpg)
The immersion theorem – 1
Theorem (part 1)
(Mn,∇, P) affine manifold with G-structure P infinitesimally
homogeneous;Mn differentiable manifold, π : E → M vector bundle with typicalfiber Rk , n = n + k;∇ connection on E = TM ⊕ E with ι-torsion T , ι : TM ⊕ E → TMinclusion;P ⊂ FR(E) a G-structure on E.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 27 / 33
![Page 141: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/141.jpg)
The immersion theorem – 1
Theorem (part 1)
(Mn,∇, P) affine manifold with G-structure P infinitesimally
homogeneous;
Mn differentiable manifold, π : E → M vector bundle with typicalfiber Rk , n = n + k;∇ connection on E = TM ⊕ E with ι-torsion T , ι : TM ⊕ E → TMinclusion;P ⊂ FR(E) a G-structure on E.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 27 / 33
![Page 142: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/142.jpg)
The immersion theorem – 1
Theorem (part 1)
(Mn,∇, P) affine manifold with G-structure P infinitesimally
homogeneous;Mn differentiable manifold, π : E → M vector bundle with typicalfiber Rk , n = n + k;
∇ connection on E = TM ⊕ E with ι-torsion T , ι : TM ⊕ E → TMinclusion;P ⊂ FR(E) a G-structure on E.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 27 / 33
![Page 143: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/143.jpg)
The immersion theorem – 1
Theorem (part 1)
(Mn,∇, P) affine manifold with G-structure P infinitesimally
homogeneous;Mn differentiable manifold, π : E → M vector bundle with typicalfiber Rk , n = n + k;∇ connection on E = TM ⊕ E with ι-torsion T , ι : TM ⊕ E → TMinclusion;
P ⊂ FR(E) a G-structure on E.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 27 / 33
![Page 144: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/144.jpg)
The immersion theorem – 1
Theorem (part 1)
(Mn,∇, P) affine manifold with G-structure P infinitesimally
homogeneous;Mn differentiable manifold, π : E → M vector bundle with typicalfiber Rk , n = n + k;∇ connection on E = TM ⊕ E with ι-torsion T , ι : TM ⊕ E → TMinclusion;P ⊂ FR(E) a G-structure on E.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 27 / 33
![Page 145: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/145.jpg)
The immersion theorem – 2
Theorem (part 2)
Assume that for all x ∈ M, y ∈ M and σ : Ex → TyM G-structurepreserving:
Adσ ◦ IbPx = IP ◦ σ|Tx M ;
Tx is σ-related with T y ;
Rx is σ-related with Ry .
Then, for all x0 ∈ M, y0 ∈ M, σ0 : Ex → Ty0M G-structure preserving,there exist a locally defined affine immersion (f , L) of (M, E ,∇) into(M,∇) with f (x0) = y0, L(x0) = σ0, and such that L is G-structurepreserving.If M is simply connected and (M,∇) is geodesically complete, then theaffine immersion is global.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 28 / 33
![Page 146: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/146.jpg)
The immersion theorem – 2
Theorem (part 2)
Assume that for all x ∈ M, y ∈ M and σ : Ex → TyM G-structurepreserving:
Adσ ◦ IbPx = IP ◦ σ|Tx M ;
Tx is σ-related with T y ;
Rx is σ-related with Ry .
Then, for all x0 ∈ M, y0 ∈ M, σ0 : Ex → Ty0M G-structure preserving,there exist a locally defined affine immersion (f , L) of (M, E ,∇) into(M,∇) with f (x0) = y0, L(x0) = σ0, and such that L is G-structurepreserving.If M is simply connected and (M,∇) is geodesically complete, then theaffine immersion is global.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 28 / 33
![Page 147: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/147.jpg)
The immersion theorem – 2
Theorem (part 2)
Assume that for all x ∈ M, y ∈ M and σ : Ex → TyM G-structurepreserving:
Adσ ◦ IbPx = IP ◦ σ|Tx M ;
Tx is σ-related with T y ;
Rx is σ-related with Ry .
Then, for all x0 ∈ M, y0 ∈ M, σ0 : Ex → Ty0M G-structure preserving,there exist a locally defined affine immersion (f , L) of (M, E ,∇) into(M,∇) with f (x0) = y0, L(x0) = σ0, and such that L is G-structurepreserving.If M is simply connected and (M,∇) is geodesically complete, then theaffine immersion is global.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 28 / 33
![Page 148: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/148.jpg)
The immersion theorem – 2
Theorem (part 2)
Assume that for all x ∈ M, y ∈ M and σ : Ex → TyM G-structurepreserving:
Adσ ◦ IbPx = IP ◦ σ|Tx M ;
Tx is σ-related with T y ;
Rx is σ-related with Ry .
Then, for all x0 ∈ M, y0 ∈ M, σ0 : Ex → Ty0M G-structure preserving,there exist a locally defined affine immersion (f , L) of (M, E ,∇) into(M,∇) with f (x0) = y0, L(x0) = σ0, and such that L is G-structurepreserving.If M is simply connected and (M,∇) is geodesically complete, then theaffine immersion is global.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 28 / 33
![Page 149: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/149.jpg)
The immersion theorem – 2
Theorem (part 2)
Assume that for all x ∈ M, y ∈ M and σ : Ex → TyM G-structurepreserving:
Adσ ◦ IbPx = IP ◦ σ|Tx M ;
Tx is σ-related with T y ;
Rx is σ-related with Ry .
Then, for all x0 ∈ M, y0 ∈ M, σ0 : Ex → Ty0M G-structure preserving,there exist a locally defined affine immersion (f , L) of (M, E ,∇) into(M,∇) with f (x0) = y0, L(x0) = σ0, and such that L is G-structurepreserving.If M is simply connected and (M,∇) is geodesically complete, then theaffine immersion is global.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 28 / 33
![Page 150: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/150.jpg)
The immersion theorem – 2
Theorem (part 2)
Assume that for all x ∈ M, y ∈ M and σ : Ex → TyM G-structurepreserving:
Adσ ◦ IbPx = IP ◦ σ|Tx M ;
Tx is σ-related with T y ;
Rx is σ-related with Ry .
Then, for all x0 ∈ M, y0 ∈ M, σ0 : Ex → Ty0M G-structure preserving,there exist a locally defined affine immersion (f , L) of (M, E ,∇) into(M,∇) with f (x0) = y0, L(x0) = σ0, and such that L is G-structurepreserving.
If M is simply connected and (M,∇) is geodesically complete, then theaffine immersion is global.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 28 / 33
![Page 151: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/151.jpg)
The immersion theorem – 2
Theorem (part 2)
Assume that for all x ∈ M, y ∈ M and σ : Ex → TyM G-structurepreserving:
Adσ ◦ IbPx = IP ◦ σ|Tx M ;
Tx is σ-related with T y ;
Rx is σ-related with Ry .
Then, for all x0 ∈ M, y0 ∈ M, σ0 : Ex → Ty0M G-structure preserving,there exist a locally defined affine immersion (f , L) of (M, E ,∇) into(M,∇) with f (x0) = y0, L(x0) = σ0, and such that L is G-structurepreserving.If M is simply connected and (M,∇) is geodesically complete, then theaffine immersion is global.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 28 / 33
![Page 152: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/152.jpg)
Outline
1 G-structures
2 Principal spaces and fiber products
3 Principal fiber bundles
4 Connections
5 Inner torsion of a G-structure
6 Immersion theorems
7 Examples
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 29 / 33
![Page 153: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/153.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 154: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/154.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames
∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 155: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/155.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0
Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 156: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/156.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.
(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 157: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/157.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇
π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 158: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/158.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 159: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/159.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .
P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 160: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/160.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 161: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/161.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 162: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/162.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 163: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/163.jpg)
Manifolds with constant sectional curvature(M
n, g) Riemannian manifold with constant sectional curvature
O(n)-structure P ⊂ FR(T M) given by orthonormal frames∇ Levi–Civita connection of g =⇒ T = 0 and IP = 0Every isometry preserves the curvature, hence (M,∇, P) isinfinitesimally symmetric.(Mn, g) Riemannian manifolds endowed with a connection ∇π : E → M Riemannian vector bundle with typical fiber Rk , k = n − n,and metric gE , endowed with a connection ∇E
Metric g = g ⊕ gE and connection ∇ on E = TM ⊕ E .P ⊂ FR(E) is the O(n)-structure of g-orthonormal frames.
relating T and T = 0 means:I symmetry of the second fundamental formI ∇ symmetric
relating IbP with IP = 0 means: ∇g = 0.
relating R with R: Gauss, Codazzi and Ricci equations.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 30 / 33
![Page 164: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/164.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on Ma quasi-complex orthogonal structure J on TM
Frames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.u(TxM) =
{T ∈ so(TxM) : TJx = JxT
}u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler. (M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 165: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/165.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on M
a quasi-complex orthogonal structure J on TMFrames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.u(TxM) =
{T ∈ so(TxM) : TJx = JxT
}u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler. (M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 166: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/166.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on Ma quasi-complex orthogonal structure J on TM
Frames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.u(TxM) =
{T ∈ so(TxM) : TJx = JxT
}u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler. (M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 167: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/167.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on Ma quasi-complex orthogonal structure J on TM
Frames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.
u(TxM) ={
T ∈ so(TxM) : TJx = JxT}
u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler. (M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 168: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/168.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on Ma quasi-complex orthogonal structure J on TM
Frames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.u(TxM) =
{T ∈ so(TxM) : TJx = JxT
}
u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler. (M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 169: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/169.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on Ma quasi-complex orthogonal structure J on TM
Frames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.u(TxM) =
{T ∈ so(TxM) : TJx = JxT
}u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler. (M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 170: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/170.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on Ma quasi-complex orthogonal structure J on TM
Frames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.u(TxM) =
{T ∈ so(TxM) : TJx = JxT
}u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler. (M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 171: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/171.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on Ma quasi-complex orthogonal structure J on TM
Frames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.u(TxM) =
{T ∈ so(TxM) : TJx = JxT
}u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler. (M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 172: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/172.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on Ma quasi-complex orthogonal structure J on TM
Frames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.u(TxM) =
{T ∈ so(TxM) : TJx = JxT
}u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler.
(M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 173: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/173.jpg)
Kähler manifoldsLet M be a manifold and P ⊂ FR(TM) a U(n)-structure:
g Riemannian metric on Ma quasi-complex orthogonal structure J on TM
Frames p ∈ P are isometries p : R2m ∼= Cm → TxM that are C-linear.u(TxM) =
{T ∈ so(TxM) : TJx = JxT
}u(TxM) ⊂ so(TM) ⊂ Lin(TxM), hence:Lin(TxM)/u(TxM) ∼= [Lin(TxM)/so(TxM)]⊕ [so(TxM)/u(TxM)]
Lin(TxM) 3 T 7−→(T+T∗
2 ,[T−T∗
2 , J])
IPx (v) =
(−1
2∇v g,∇v J + 12 [∇v g, J]
)for all x ∈ M, v ∈ TxM.
TheoremIP = 0 iff (M, g, J) is Kähler. (M,∇, P) is infinitesimally homogeneousiff g has constant holomorphic curvature.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 31 / 33
![Page 174: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/174.jpg)
An example with non vanishing inner torsion(M
n, g) Riemannian manifold, ξ ∈ IΓ(T M) unit vector field.
G =
(SO(n − 1)
.... . . 1
),
G-structure P in T M: orthonormal frames e1, . . . , en−1, ξ
Gx ={
A ∈ SO(TxM) : A(ξ) = ξ}
gx ={
L ∈ so(TxM) : L(ξ) = 0}
gl(TxM)/gx ∼= sym(TxM)⊕ ξ⊥x L + gx 7−→(1
2(L + L∗), 12(L− L∗)ξ
)IP
x (v) =(− 1
2∇v g,∇vξ + 12∇v g
)Lemma
IP = 0 iff g and ξ are parallel. (M,∇, P) is infinitesimallyhomogeneous iff R and ∇ξ can be written in terms of g and ξ only.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 32 / 33
![Page 175: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/175.jpg)
An example with non vanishing inner torsion(M
n, g) Riemannian manifold, ξ ∈ IΓ(T M) unit vector field.
G =
(SO(n − 1)
.... . . 1
),
G-structure P in T M: orthonormal frames e1, . . . , en−1, ξ
Gx ={
A ∈ SO(TxM) : A(ξ) = ξ}
gx ={
L ∈ so(TxM) : L(ξ) = 0}
gl(TxM)/gx ∼= sym(TxM)⊕ ξ⊥x L + gx 7−→(1
2(L + L∗), 12(L− L∗)ξ
)IP
x (v) =(− 1
2∇v g,∇vξ + 12∇v g
)Lemma
IP = 0 iff g and ξ are parallel. (M,∇, P) is infinitesimallyhomogeneous iff R and ∇ξ can be written in terms of g and ξ only.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 32 / 33
![Page 176: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/176.jpg)
An example with non vanishing inner torsion(M
n, g) Riemannian manifold, ξ ∈ IΓ(T M) unit vector field.
G =
(SO(n − 1)
.... . . 1
),
G-structure P in T M: orthonormal frames e1, . . . , en−1, ξ
Gx ={
A ∈ SO(TxM) : A(ξ) = ξ}
gx ={
L ∈ so(TxM) : L(ξ) = 0}
gl(TxM)/gx ∼= sym(TxM)⊕ ξ⊥x L + gx 7−→(1
2(L + L∗), 12(L− L∗)ξ
)IP
x (v) =(− 1
2∇v g,∇vξ + 12∇v g
)Lemma
IP = 0 iff g and ξ are parallel. (M,∇, P) is infinitesimallyhomogeneous iff R and ∇ξ can be written in terms of g and ξ only.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 32 / 33
![Page 177: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/177.jpg)
An example with non vanishing inner torsion(M
n, g) Riemannian manifold, ξ ∈ IΓ(T M) unit vector field.
G =
(SO(n − 1)
.... . . 1
),
G-structure P in T M: orthonormal frames e1, . . . , en−1, ξ
Gx ={
A ∈ SO(TxM) : A(ξ) = ξ}
gx ={
L ∈ so(TxM) : L(ξ) = 0}
gl(TxM)/gx ∼= sym(TxM)⊕ ξ⊥x L + gx 7−→(1
2(L + L∗), 12(L− L∗)ξ
)IP
x (v) =(− 1
2∇v g,∇vξ + 12∇v g
)Lemma
IP = 0 iff g and ξ are parallel. (M,∇, P) is infinitesimallyhomogeneous iff R and ∇ξ can be written in terms of g and ξ only.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 32 / 33
![Page 178: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/178.jpg)
An example with non vanishing inner torsion(M
n, g) Riemannian manifold, ξ ∈ IΓ(T M) unit vector field.
G =
(SO(n − 1)
.... . . 1
),
G-structure P in T M: orthonormal frames e1, . . . , en−1, ξ
Gx ={
A ∈ SO(TxM) : A(ξ) = ξ}
gx ={
L ∈ so(TxM) : L(ξ) = 0}
gl(TxM)/gx ∼= sym(TxM)⊕ ξ⊥x L + gx 7−→(1
2(L + L∗), 12(L− L∗)ξ
)
IPx (v) =
(− 1
2∇v g,∇vξ + 12∇v g
)Lemma
IP = 0 iff g and ξ are parallel. (M,∇, P) is infinitesimallyhomogeneous iff R and ∇ξ can be written in terms of g and ξ only.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 32 / 33
![Page 179: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/179.jpg)
An example with non vanishing inner torsion(M
n, g) Riemannian manifold, ξ ∈ IΓ(T M) unit vector field.
G =
(SO(n − 1)
.... . . 1
),
G-structure P in T M: orthonormal frames e1, . . . , en−1, ξ
Gx ={
A ∈ SO(TxM) : A(ξ) = ξ}
gx ={
L ∈ so(TxM) : L(ξ) = 0}
gl(TxM)/gx ∼= sym(TxM)⊕ ξ⊥x L + gx 7−→(1
2(L + L∗), 12(L− L∗)ξ
)IP
x (v) =(− 1
2∇v g,∇vξ + 12∇v g
)
Lemma
IP = 0 iff g and ξ are parallel. (M,∇, P) is infinitesimallyhomogeneous iff R and ∇ξ can be written in terms of g and ξ only.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 32 / 33
![Page 180: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/180.jpg)
An example with non vanishing inner torsion(M
n, g) Riemannian manifold, ξ ∈ IΓ(T M) unit vector field.
G =
(SO(n − 1)
.... . . 1
),
G-structure P in T M: orthonormal frames e1, . . . , en−1, ξ
Gx ={
A ∈ SO(TxM) : A(ξ) = ξ}
gx ={
L ∈ so(TxM) : L(ξ) = 0}
gl(TxM)/gx ∼= sym(TxM)⊕ ξ⊥x L + gx 7−→(1
2(L + L∗), 12(L− L∗)ξ
)IP
x (v) =(− 1
2∇v g,∇vξ + 12∇v g
)Lemma
IP = 0 iff g and ξ are parallel.
(M,∇, P) is infinitesimallyhomogeneous iff R and ∇ξ can be written in terms of g and ξ only.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 32 / 33
![Page 181: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/181.jpg)
An example with non vanishing inner torsion(M
n, g) Riemannian manifold, ξ ∈ IΓ(T M) unit vector field.
G =
(SO(n − 1)
.... . . 1
),
G-structure P in T M: orthonormal frames e1, . . . , en−1, ξ
Gx ={
A ∈ SO(TxM) : A(ξ) = ξ}
gx ={
L ∈ so(TxM) : L(ξ) = 0}
gl(TxM)/gx ∼= sym(TxM)⊕ ξ⊥x L + gx 7−→(1
2(L + L∗), 12(L− L∗)ξ
)IP
x (v) =(− 1
2∇v g,∇vξ + 12∇v g
)Lemma
IP = 0 iff g and ξ are parallel. (M,∇, P) is infinitesimallyhomogeneous iff R and ∇ξ can be written in terms of g and ξ only.
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 32 / 33
![Page 182: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/182.jpg)
3-dimensional homogeneous manifolds (B. Daniel)
(M, g) 3-dimensional homogeneous manifold with 4-dim. isometrygroup (includes: Berger spheres, Heisenberg space Nil3, ˜PSL2(R),products S2 ×R, H2 ×R)
Geometrical structure: Riemannian fibrations over a 2-dim. spaceform. Fibers are geodesics, the vertical field ξ is Killing.
Classified by two constants: κ curvature of the base, τ bundlecurvature: ∇vξ = τv × ξ (Obs.: needs orientation!)
τ = 0, then M =M2(κ)×Rτ 6= 0:
I κ > 0 =⇒ Berger spheresI κ = 0 =⇒ Nil3I κ < 0 =⇒ ˜PSL2(R)
R computed explicitly: formula involving only g e ξ
Infinitesimally homogeneous SO(n− 1)-structure with non vanishing IP
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 33 / 33
![Page 183: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/183.jpg)
3-dimensional homogeneous manifolds (B. Daniel)
(M, g) 3-dimensional homogeneous manifold with 4-dim. isometrygroup (includes: Berger spheres, Heisenberg space Nil3, ˜PSL2(R),products S2 ×R, H2 ×R)
Geometrical structure: Riemannian fibrations over a 2-dim. spaceform. Fibers are geodesics, the vertical field ξ is Killing.
Classified by two constants: κ curvature of the base, τ bundlecurvature: ∇vξ = τv × ξ (Obs.: needs orientation!)
τ = 0, then M =M2(κ)×Rτ 6= 0:
I κ > 0 =⇒ Berger spheresI κ = 0 =⇒ Nil3I κ < 0 =⇒ ˜PSL2(R)
R computed explicitly: formula involving only g e ξ
Infinitesimally homogeneous SO(n− 1)-structure with non vanishing IP
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 33 / 33
![Page 184: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/184.jpg)
3-dimensional homogeneous manifolds (B. Daniel)
(M, g) 3-dimensional homogeneous manifold with 4-dim. isometrygroup (includes: Berger spheres, Heisenberg space Nil3, ˜PSL2(R),products S2 ×R, H2 ×R)
Geometrical structure: Riemannian fibrations over a 2-dim. spaceform. Fibers are geodesics, the vertical field ξ is Killing.
Classified by two constants: κ curvature of the base, τ bundlecurvature: ∇vξ = τv × ξ (Obs.: needs orientation!)
τ = 0, then M =M2(κ)×Rτ 6= 0:
I κ > 0 =⇒ Berger spheresI κ = 0 =⇒ Nil3I κ < 0 =⇒ ˜PSL2(R)
R computed explicitly: formula involving only g e ξ
Infinitesimally homogeneous SO(n− 1)-structure with non vanishing IP
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 33 / 33
![Page 185: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/185.jpg)
3-dimensional homogeneous manifolds (B. Daniel)
(M, g) 3-dimensional homogeneous manifold with 4-dim. isometrygroup (includes: Berger spheres, Heisenberg space Nil3, ˜PSL2(R),products S2 ×R, H2 ×R)
Geometrical structure: Riemannian fibrations over a 2-dim. spaceform. Fibers are geodesics, the vertical field ξ is Killing.
Classified by two constants: κ curvature of the base, τ bundlecurvature: ∇vξ = τv × ξ (Obs.: needs orientation!)
τ = 0, then M =M2(κ)×Rτ 6= 0:
I κ > 0 =⇒ Berger spheresI κ = 0 =⇒ Nil3I κ < 0 =⇒ ˜PSL2(R)
R computed explicitly: formula involving only g e ξ
Infinitesimally homogeneous SO(n− 1)-structure with non vanishing IP
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 33 / 33
![Page 186: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/186.jpg)
3-dimensional homogeneous manifolds (B. Daniel)
(M, g) 3-dimensional homogeneous manifold with 4-dim. isometrygroup (includes: Berger spheres, Heisenberg space Nil3, ˜PSL2(R),products S2 ×R, H2 ×R)
Geometrical structure: Riemannian fibrations over a 2-dim. spaceform. Fibers are geodesics, the vertical field ξ is Killing.
Classified by two constants: κ curvature of the base, τ bundlecurvature: ∇vξ = τv × ξ (Obs.: needs orientation!)
τ = 0, then M =M2(κ)×Rτ 6= 0:
I κ > 0 =⇒ Berger spheresI κ = 0 =⇒ Nil3I κ < 0 =⇒ ˜PSL2(R)
R computed explicitly: formula involving only g e ξ
Infinitesimally homogeneous SO(n− 1)-structure with non vanishing IP
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 33 / 33
![Page 187: G-structures and affine immersionspiccione/Downloads/Gstructure...Outline. 1 G-structures 2 Principal spaces and fiber products 3 Principal fiber bundles 4 Connections 5 Inner torsion](https://reader035.fdocuments.net/reader035/viewer/2022071507/61282b6d163d074c51263f86/html5/thumbnails/187.jpg)
3-dimensional homogeneous manifolds (B. Daniel)
(M, g) 3-dimensional homogeneous manifold with 4-dim. isometrygroup (includes: Berger spheres, Heisenberg space Nil3, ˜PSL2(R),products S2 ×R, H2 ×R)
Geometrical structure: Riemannian fibrations over a 2-dim. spaceform. Fibers are geodesics, the vertical field ξ is Killing.
Classified by two constants: κ curvature of the base, τ bundlecurvature: ∇vξ = τv × ξ (Obs.: needs orientation!)
τ = 0, then M =M2(κ)×Rτ 6= 0:
I κ > 0 =⇒ Berger spheresI κ = 0 =⇒ Nil3I κ < 0 =⇒ ˜PSL2(R)
R computed explicitly: formula involving only g e ξ
Infinitesimally homogeneous SO(n− 1)-structure with non vanishing IP
Paolo Piccione (IME–USP) G-structures and affine immersions Unicamp, June 2006 33 / 33