A survey of projective geometric structures on...
Transcript of A survey of projective geometric structures on...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
A survey of projective geometricstructures on 2-,3-manifolds
S. Choi
Department of Mathematical ScienceKAIST, Daejeon, South Korea
Tokyo Institute of Technology
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Outline
I Survey: Classical geometriesI Euclidean geometry: Babylonians, Egyptians,
Greeks, Chinese (Euclid’s axiomatic methods underPlato’s philosphy)
I Spherical geometry: Greek astronomy, Gauss,Riemann
I Hyperbolic geometry: Bolyai, Lobachevsky, Gauss,Beltrami,Klein, Poincare
I Conformal geometry (Mobius geometry or circlegeometry)
I Projective geometryI Erlanger program, Cartan connections, Ehresmann
connections
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Outline
I Survey: Classical geometriesI Euclidean geometry: Babylonians, Egyptians,
Greeks, Chinese (Euclid’s axiomatic methods underPlato’s philosphy)
I Spherical geometry: Greek astronomy, Gauss,Riemann
I Hyperbolic geometry: Bolyai, Lobachevsky, Gauss,Beltrami,Klein, Poincare
I Conformal geometry (Mobius geometry or circlegeometry)
I Projective geometryI Erlanger program, Cartan connections, Ehresmann
connections
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Outline
I Survey: Classical geometriesI Euclidean geometry: Babylonians, Egyptians,
Greeks, Chinese (Euclid’s axiomatic methods underPlato’s philosphy)
I Spherical geometry: Greek astronomy, Gauss,Riemann
I Hyperbolic geometry: Bolyai, Lobachevsky, Gauss,Beltrami,Klein, Poincare
I Conformal geometry (Mobius geometry or circlegeometry)
I Projective geometryI Erlanger program, Cartan connections, Ehresmann
connections
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Outline
I Survey: Classical geometriesI Euclidean geometry: Babylonians, Egyptians,
Greeks, Chinese (Euclid’s axiomatic methods underPlato’s philosphy)
I Spherical geometry: Greek astronomy, Gauss,Riemann
I Hyperbolic geometry: Bolyai, Lobachevsky, Gauss,Beltrami,Klein, Poincare
I Conformal geometry (Mobius geometry or circlegeometry)
I Projective geometryI Erlanger program, Cartan connections, Ehresmann
connections
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Outline
I Survey: Classical geometriesI Euclidean geometry: Babylonians, Egyptians,
Greeks, Chinese (Euclid’s axiomatic methods underPlato’s philosphy)
I Spherical geometry: Greek astronomy, Gauss,Riemann
I Hyperbolic geometry: Bolyai, Lobachevsky, Gauss,Beltrami,Klein, Poincare
I Conformal geometry (Mobius geometry or circlegeometry)
I Projective geometryI Erlanger program, Cartan connections, Ehresmann
connections
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Outline
I Survey: Classical geometriesI Euclidean geometry: Babylonians, Egyptians,
Greeks, Chinese (Euclid’s axiomatic methods underPlato’s philosphy)
I Spherical geometry: Greek astronomy, Gauss,Riemann
I Hyperbolic geometry: Bolyai, Lobachevsky, Gauss,Beltrami,Klein, Poincare
I Conformal geometry (Mobius geometry or circlegeometry)
I Projective geometryI Erlanger program, Cartan connections, Ehresmann
connections
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Outline
I Survey: Classical geometriesI Euclidean geometry: Babylonians, Egyptians,
Greeks, Chinese (Euclid’s axiomatic methods underPlato’s philosphy)
I Spherical geometry: Greek astronomy, Gauss,Riemann
I Hyperbolic geometry: Bolyai, Lobachevsky, Gauss,Beltrami,Klein, Poincare
I Conformal geometry (Mobius geometry or circlegeometry)
I Projective geometryI Erlanger program, Cartan connections, Ehresmann
connections
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with geometric structures
I Manifolds with geometric structures: manifolds needsome canonical descriptions.
I Manifolds with geometric structures.I Deformation spaces of geometric structures.I Examples
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with geometric structures
I Manifolds with geometric structures: manifolds needsome canonical descriptions.
I Manifolds with geometric structures.I Deformation spaces of geometric structures.I Examples
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with geometric structures
I Manifolds with geometric structures: manifolds needsome canonical descriptions.
I Manifolds with geometric structures.I Deformation spaces of geometric structures.I Examples
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with geometric structures
I Manifolds with geometric structures: manifolds needsome canonical descriptions.
I Manifolds with geometric structures.I Deformation spaces of geometric structures.I Examples
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with projective structures
I Some history.I Projective manifolds: how many?I Projective surfaces
I Projective surfaces and gauge theory.I Labourie’s generalizationI Projective surfaces and affine differential geometry.
I Projective 3-manifolds and deformations
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with projective structures
I Some history.I Projective manifolds: how many?I Projective surfaces
I Projective surfaces and gauge theory.I Labourie’s generalizationI Projective surfaces and affine differential geometry.
I Projective 3-manifolds and deformations
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with projective structures
I Some history.I Projective manifolds: how many?I Projective surfaces
I Projective surfaces and gauge theory.I Labourie’s generalizationI Projective surfaces and affine differential geometry.
I Projective 3-manifolds and deformations
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with projective structures
I Some history.I Projective manifolds: how many?I Projective surfaces
I Projective surfaces and gauge theory.I Labourie’s generalizationI Projective surfaces and affine differential geometry.
I Projective 3-manifolds and deformations
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with projective structures
I Some history.I Projective manifolds: how many?I Projective surfaces
I Projective surfaces and gauge theory.I Labourie’s generalizationI Projective surfaces and affine differential geometry.
I Projective 3-manifolds and deformations
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with projective structures
I Some history.I Projective manifolds: how many?I Projective surfaces
I Projective surfaces and gauge theory.I Labourie’s generalizationI Projective surfaces and affine differential geometry.
I Projective 3-manifolds and deformations
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with projective structures
I Some history.I Projective manifolds: how many?I Projective surfaces
I Projective surfaces and gauge theory.I Labourie’s generalizationI Projective surfaces and affine differential geometry.
I Projective 3-manifolds and deformations
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Euclidean geometry
I Babylonian, Egyptian, Chinese, Greek...I Euclid developed his axiomatic method to planar and
solid geometry under the influence of Plato, whothought that geometry should be the foundation of allthought after the Pythagorian attempt to understandthe world using rational numbers failed....
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Euclidean geometry
I Babylonian, Egyptian, Chinese, Greek...I Euclid developed his axiomatic method to planar and
solid geometry under the influence of Plato, whothought that geometry should be the foundation of allthought after the Pythagorian attempt to understandthe world using rational numbers failed....
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Euclidean geometry consists of some notions suchas lines, points, lengths, angle, and their interplay insome space called a plane...
I The Euclid had five axiomsI D. Hilbert, and many others made a modern
foundation so that the Euclidean geometry wasreduced to logic.
I Euclidean geometry has a notion of rigidtransformations which made the spacehomogeneous. They form a group called a group ofrigid motions. They preserve lines, length, angles,and every geometric statements.
I The group is useful in proving statements.... Turningit around, we see that actually the transformationgroup is more important. wallpaper groups
I Notions of Euclidean subspaces...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Euclidean geometry consists of some notions suchas lines, points, lengths, angle, and their interplay insome space called a plane...
I The Euclid had five axiomsI D. Hilbert, and many others made a modern
foundation so that the Euclidean geometry wasreduced to logic.
I Euclidean geometry has a notion of rigidtransformations which made the spacehomogeneous. They form a group called a group ofrigid motions. They preserve lines, length, angles,and every geometric statements.
I The group is useful in proving statements.... Turningit around, we see that actually the transformationgroup is more important. wallpaper groups
I Notions of Euclidean subspaces...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Euclidean geometry consists of some notions suchas lines, points, lengths, angle, and their interplay insome space called a plane...
I The Euclid had five axiomsI D. Hilbert, and many others made a modern
foundation so that the Euclidean geometry wasreduced to logic.
I Euclidean geometry has a notion of rigidtransformations which made the spacehomogeneous. They form a group called a group ofrigid motions. They preserve lines, length, angles,and every geometric statements.
I The group is useful in proving statements.... Turningit around, we see that actually the transformationgroup is more important. wallpaper groups
I Notions of Euclidean subspaces...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Euclidean geometry consists of some notions suchas lines, points, lengths, angle, and their interplay insome space called a plane...
I The Euclid had five axiomsI D. Hilbert, and many others made a modern
foundation so that the Euclidean geometry wasreduced to logic.
I Euclidean geometry has a notion of rigidtransformations which made the spacehomogeneous. They form a group called a group ofrigid motions. They preserve lines, length, angles,and every geometric statements.
I The group is useful in proving statements.... Turningit around, we see that actually the transformationgroup is more important. wallpaper groups
I Notions of Euclidean subspaces...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Euclidean geometry consists of some notions suchas lines, points, lengths, angle, and their interplay insome space called a plane...
I The Euclid had five axiomsI D. Hilbert, and many others made a modern
foundation so that the Euclidean geometry wasreduced to logic.
I Euclidean geometry has a notion of rigidtransformations which made the spacehomogeneous. They form a group called a group ofrigid motions. They preserve lines, length, angles,and every geometric statements.
I The group is useful in proving statements.... Turningit around, we see that actually the transformationgroup is more important. wallpaper groups
I Notions of Euclidean subspaces...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Euclidean geometry consists of some notions suchas lines, points, lengths, angle, and their interplay insome space called a plane...
I The Euclid had five axiomsI D. Hilbert, and many others made a modern
foundation so that the Euclidean geometry wasreduced to logic.
I Euclidean geometry has a notion of rigidtransformations which made the spacehomogeneous. They form a group called a group ofrigid motions. They preserve lines, length, angles,and every geometric statements.
I The group is useful in proving statements.... Turningit around, we see that actually the transformationgroup is more important. wallpaper groups
I Notions of Euclidean subspaces...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Spherical geometry.
I Greeks: astronomical, navigational... Arabs,..I From astronomical viewpoint, it is nice to view the
sky as a unit sphere S2 in the Euclidean 3-space.(See spherical.cdy)
I The great circles replaced lines and angles aremeasured in the tangential sense. Lengths aremeasured by taking arcs in the great circles.
I Geometric objects such as triangles behave a littlebit different.
I Higher dimensional spherical geometry Sn can beeasily constructed.
I The group of orthogonal transformations O(n + 1)acts on Sn preserving every spherical geometricnotions. The geometry of sphere
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Spherical geometry.
I Greeks: astronomical, navigational... Arabs,..I From astronomical viewpoint, it is nice to view the
sky as a unit sphere S2 in the Euclidean 3-space.(See spherical.cdy)
I The great circles replaced lines and angles aremeasured in the tangential sense. Lengths aremeasured by taking arcs in the great circles.
I Geometric objects such as triangles behave a littlebit different.
I Higher dimensional spherical geometry Sn can beeasily constructed.
I The group of orthogonal transformations O(n + 1)acts on Sn preserving every spherical geometricnotions. The geometry of sphere
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Spherical geometry.
I Greeks: astronomical, navigational... Arabs,..I From astronomical viewpoint, it is nice to view the
sky as a unit sphere S2 in the Euclidean 3-space.(See spherical.cdy)
I The great circles replaced lines and angles aremeasured in the tangential sense. Lengths aremeasured by taking arcs in the great circles.
I Geometric objects such as triangles behave a littlebit different.
I Higher dimensional spherical geometry Sn can beeasily constructed.
I The group of orthogonal transformations O(n + 1)acts on Sn preserving every spherical geometricnotions. The geometry of sphere
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Spherical geometry.
I Greeks: astronomical, navigational... Arabs,..I From astronomical viewpoint, it is nice to view the
sky as a unit sphere S2 in the Euclidean 3-space.(See spherical.cdy)
I The great circles replaced lines and angles aremeasured in the tangential sense. Lengths aremeasured by taking arcs in the great circles.
I Geometric objects such as triangles behave a littlebit different.
I Higher dimensional spherical geometry Sn can beeasily constructed.
I The group of orthogonal transformations O(n + 1)acts on Sn preserving every spherical geometricnotions. The geometry of sphere
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Spherical geometry.
I Greeks: astronomical, navigational... Arabs,..I From astronomical viewpoint, it is nice to view the
sky as a unit sphere S2 in the Euclidean 3-space.(See spherical.cdy)
I The great circles replaced lines and angles aremeasured in the tangential sense. Lengths aremeasured by taking arcs in the great circles.
I Geometric objects such as triangles behave a littlebit different.
I Higher dimensional spherical geometry Sn can beeasily constructed.
I The group of orthogonal transformations O(n + 1)acts on Sn preserving every spherical geometricnotions. The geometry of sphere
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Spherical geometry.
I Greeks: astronomical, navigational... Arabs,..I From astronomical viewpoint, it is nice to view the
sky as a unit sphere S2 in the Euclidean 3-space.(See spherical.cdy)
I The great circles replaced lines and angles aremeasured in the tangential sense. Lengths aremeasured by taking arcs in the great circles.
I Geometric objects such as triangles behave a littlebit different.
I Higher dimensional spherical geometry Sn can beeasily constructed.
I The group of orthogonal transformations O(n + 1)acts on Sn preserving every spherical geometricnotions. The geometry of sphere
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Hyperbolic geometry.I Lobachevsky and Bolyai tried to build a geometry
that did not satisfy the fifth axiom of Euclid. (Seehyperbolic.cdy)
I Their attempts were justified by Beltrami-Klein modelwhich is a disk and lines were replaced by chordsand lengths were given by the logarithms of crossratios. See Beltrami-Klein model. Later other modelssuch as Poincare half space model and Poincaredisk model were developed. Poincare model (Inst.figuring).
I Here the group of rigid motions is the Lie groupSL(2,R).
I Higher-dimensional hyperbolic spaces were laterconstructed. Actually, an upper part of a hyperboloidin the Lorentzian space would be a model andPO(1,n) forms the group of rigid motions.Minkowsky model
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Hyperbolic geometry.I Lobachevsky and Bolyai tried to build a geometry
that did not satisfy the fifth axiom of Euclid. (Seehyperbolic.cdy)
I Their attempts were justified by Beltrami-Klein modelwhich is a disk and lines were replaced by chordsand lengths were given by the logarithms of crossratios. See Beltrami-Klein model. Later other modelssuch as Poincare half space model and Poincaredisk model were developed. Poincare model (Inst.figuring).
I Here the group of rigid motions is the Lie groupSL(2,R).
I Higher-dimensional hyperbolic spaces were laterconstructed. Actually, an upper part of a hyperboloidin the Lorentzian space would be a model andPO(1,n) forms the group of rigid motions.Minkowsky model
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Hyperbolic geometry.I Lobachevsky and Bolyai tried to build a geometry
that did not satisfy the fifth axiom of Euclid. (Seehyperbolic.cdy)
I Their attempts were justified by Beltrami-Klein modelwhich is a disk and lines were replaced by chordsand lengths were given by the logarithms of crossratios. See Beltrami-Klein model. Later other modelssuch as Poincare half space model and Poincaredisk model were developed. Poincare model (Inst.figuring).
I Here the group of rigid motions is the Lie groupSL(2,R).
I Higher-dimensional hyperbolic spaces were laterconstructed. Actually, an upper part of a hyperboloidin the Lorentzian space would be a model andPO(1,n) forms the group of rigid motions.Minkowsky model
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Hyperbolic geometry.I Lobachevsky and Bolyai tried to build a geometry
that did not satisfy the fifth axiom of Euclid. (Seehyperbolic.cdy)
I Their attempts were justified by Beltrami-Klein modelwhich is a disk and lines were replaced by chordsand lengths were given by the logarithms of crossratios. See Beltrami-Klein model. Later other modelssuch as Poincare half space model and Poincaredisk model were developed. Poincare model (Inst.figuring).
I Here the group of rigid motions is the Lie groupSL(2,R).
I Higher-dimensional hyperbolic spaces were laterconstructed. Actually, an upper part of a hyperboloidin the Lorentzian space would be a model andPO(1,n) forms the group of rigid motions.Minkowsky model
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Conformal geometryI Suppose that we use to study circles and spheres
only... We allow all transformations that preservescircles...
I This geometry looses a notion of lengths but has anotion of angles. There are no lines or geodesics butthere are circles.
I The Euclidean plane is compactifed by adding aunique point as an infinity. The group of motions isgenerated by inversions in circles. The group iscalled the Mobius transformation group. That is, thegroup of transformations of form
z → az + bcz + d
,az + bcz + d
I The space itself is considered as a complex sphere,i.e., the complex plane with the infinity added.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Conformal geometryI Suppose that we use to study circles and spheres
only... We allow all transformations that preservescircles...
I This geometry looses a notion of lengths but has anotion of angles. There are no lines or geodesics butthere are circles.
I The Euclidean plane is compactifed by adding aunique point as an infinity. The group of motions isgenerated by inversions in circles. The group iscalled the Mobius transformation group. That is, thegroup of transformations of form
z → az + bcz + d
,az + bcz + d
I The space itself is considered as a complex sphere,i.e., the complex plane with the infinity added.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Conformal geometryI Suppose that we use to study circles and spheres
only... We allow all transformations that preservescircles...
I This geometry looses a notion of lengths but has anotion of angles. There are no lines or geodesics butthere are circles.
I The Euclidean plane is compactifed by adding aunique point as an infinity. The group of motions isgenerated by inversions in circles. The group iscalled the Mobius transformation group. That is, thegroup of transformations of form
z → az + bcz + d
,az + bcz + d
I The space itself is considered as a complex sphere,i.e., the complex plane with the infinity added.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Conformal geometryI Suppose that we use to study circles and spheres
only... We allow all transformations that preservescircles...
I This geometry looses a notion of lengths but has anotion of angles. There are no lines or geodesics butthere are circles.
I The Euclidean plane is compactifed by adding aunique point as an infinity. The group of motions isgenerated by inversions in circles. The group iscalled the Mobius transformation group. That is, thegroup of transformations of form
z → az + bcz + d
,az + bcz + d
I The space itself is considered as a complex sphere,i.e., the complex plane with the infinity added.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Conformal geometry is useful in solving PDEs incomplex analysis. (The huge work of Ahlfors-Bersschool).
I Recent work on discretization of complex analytic(conformal) maps... (The circle packing theorem:Koebe-Andreev-Thurston theorem)
I For higher-dimensions, the conformal geometry canbe defined similarly.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Conformal geometry is useful in solving PDEs incomplex analysis. (The huge work of Ahlfors-Bersschool).
I Recent work on discretization of complex analytic(conformal) maps... (The circle packing theorem:Koebe-Andreev-Thurston theorem)
I For higher-dimensions, the conformal geometry canbe defined similarly.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Conformal geometry is useful in solving PDEs incomplex analysis. (The huge work of Ahlfors-Bersschool).
I Recent work on discretization of complex analytic(conformal) maps... (The circle packing theorem:Koebe-Andreev-Thurston theorem)
I For higher-dimensions, the conformal geometry canbe defined similarly.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometryI Projective geometry naturally arose in fine art
drawing perspectives during Renascence.Perspective drawings
I Desargues, Kepler first tried to add infinite pointscorresponding to each direction that a line in a planecan take. Thus, a plane with infinite point for eachdirection form a projective plane.
I Transformations are ones generated by change ofperspectives. In fact, when we are taking x-rays orother scans.
I The notions such as lengths, angles lose meaning.But notions of lines or geodesics are preserved. TheGreeks discovered that the cross ratios, i.e., ratios ofratios, are preserved.
I The infinite points are just like the ordinary pointsunder transformations.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometryI Projective geometry naturally arose in fine art
drawing perspectives during Renascence.Perspective drawings
I Desargues, Kepler first tried to add infinite pointscorresponding to each direction that a line in a planecan take. Thus, a plane with infinite point for eachdirection form a projective plane.
I Transformations are ones generated by change ofperspectives. In fact, when we are taking x-rays orother scans.
I The notions such as lengths, angles lose meaning.But notions of lines or geodesics are preserved. TheGreeks discovered that the cross ratios, i.e., ratios ofratios, are preserved.
I The infinite points are just like the ordinary pointsunder transformations.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometryI Projective geometry naturally arose in fine art
drawing perspectives during Renascence.Perspective drawings
I Desargues, Kepler first tried to add infinite pointscorresponding to each direction that a line in a planecan take. Thus, a plane with infinite point for eachdirection form a projective plane.
I Transformations are ones generated by change ofperspectives. In fact, when we are taking x-rays orother scans.
I The notions such as lengths, angles lose meaning.But notions of lines or geodesics are preserved. TheGreeks discovered that the cross ratios, i.e., ratios ofratios, are preserved.
I The infinite points are just like the ordinary pointsunder transformations.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometryI Projective geometry naturally arose in fine art
drawing perspectives during Renascence.Perspective drawings
I Desargues, Kepler first tried to add infinite pointscorresponding to each direction that a line in a planecan take. Thus, a plane with infinite point for eachdirection form a projective plane.
I Transformations are ones generated by change ofperspectives. In fact, when we are taking x-rays orother scans.
I The notions such as lengths, angles lose meaning.But notions of lines or geodesics are preserved. TheGreeks discovered that the cross ratios, i.e., ratios ofratios, are preserved.
I The infinite points are just like the ordinary pointsunder transformations.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometryI Projective geometry naturally arose in fine art
drawing perspectives during Renascence.Perspective drawings
I Desargues, Kepler first tried to add infinite pointscorresponding to each direction that a line in a planecan take. Thus, a plane with infinite point for eachdirection form a projective plane.
I Transformations are ones generated by change ofperspectives. In fact, when we are taking x-rays orother scans.
I The notions such as lengths, angles lose meaning.But notions of lines or geodesics are preserved. TheGreeks discovered that the cross ratios, i.e., ratios ofratios, are preserved.
I The infinite points are just like the ordinary pointsunder transformations.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Klein finally formalized it by considering a projectiveplane as the space of lines through origin in theEuclidean 3-space. Here, a Euclidean plane isrecovered as a subspace of the lines not in thexy -plane and the infinite points are the lines in thexy -plane.
I Many interesting geometric theorems hold:Desargues, Pappus,... Moreover, the theorems comein pairs: duality of lines and points: PappusTheorem, Pascal Theorem
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Klein finally formalized it by considering a projectiveplane as the space of lines through origin in theEuclidean 3-space. Here, a Euclidean plane isrecovered as a subspace of the lines not in thexy -plane and the infinite points are the lines in thexy -plane.
I Many interesting geometric theorems hold:Desargues, Pappus,... Moreover, the theorems comein pairs: duality of lines and points: PappusTheorem, Pascal Theorem
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Many geometries are actually sub-geometries ofprojective (conformal) geometry. (The twocorrespond to maximal finite-dimensional Liealgebras acting locally on manifolds...)
I Hyperbolic geometry: Hn imbeds in RPn andPO(n,1) in PGL(n + 1,R) in canonical way.
I spherical, euclidean geometry.I The affine geometry G = SL(n,R) · Rn and X = Rn.I Six of eight 3-dimensional geometries: euclidean,
spherical, hyperbolic, nil, sol, SL(2,R) (B. Thiel)I S2 × R and H2 × R. (almost)I Some symmetric spaces and matrix groups...
I Recently, some graphics applications.... imagesuperposition,..
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Many geometries are actually sub-geometries ofprojective (conformal) geometry. (The twocorrespond to maximal finite-dimensional Liealgebras acting locally on manifolds...)
I Hyperbolic geometry: Hn imbeds in RPn andPO(n,1) in PGL(n + 1,R) in canonical way.
I spherical, euclidean geometry.I The affine geometry G = SL(n,R) · Rn and X = Rn.I Six of eight 3-dimensional geometries: euclidean,
spherical, hyperbolic, nil, sol, SL(2,R) (B. Thiel)I S2 × R and H2 × R. (almost)I Some symmetric spaces and matrix groups...
I Recently, some graphics applications.... imagesuperposition,..
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Many geometries are actually sub-geometries ofprojective (conformal) geometry. (The twocorrespond to maximal finite-dimensional Liealgebras acting locally on manifolds...)
I Hyperbolic geometry: Hn imbeds in RPn andPO(n,1) in PGL(n + 1,R) in canonical way.
I spherical, euclidean geometry.I The affine geometry G = SL(n,R) · Rn and X = Rn.I Six of eight 3-dimensional geometries: euclidean,
spherical, hyperbolic, nil, sol, SL(2,R) (B. Thiel)I S2 × R and H2 × R. (almost)I Some symmetric spaces and matrix groups...
I Recently, some graphics applications.... imagesuperposition,..
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Many geometries are actually sub-geometries ofprojective (conformal) geometry. (The twocorrespond to maximal finite-dimensional Liealgebras acting locally on manifolds...)
I Hyperbolic geometry: Hn imbeds in RPn andPO(n,1) in PGL(n + 1,R) in canonical way.
I spherical, euclidean geometry.I The affine geometry G = SL(n,R) · Rn and X = Rn.I Six of eight 3-dimensional geometries: euclidean,
spherical, hyperbolic, nil, sol, SL(2,R) (B. Thiel)I S2 × R and H2 × R. (almost)I Some symmetric spaces and matrix groups...
I Recently, some graphics applications.... imagesuperposition,..
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Many geometries are actually sub-geometries ofprojective (conformal) geometry. (The twocorrespond to maximal finite-dimensional Liealgebras acting locally on manifolds...)
I Hyperbolic geometry: Hn imbeds in RPn andPO(n,1) in PGL(n + 1,R) in canonical way.
I spherical, euclidean geometry.I The affine geometry G = SL(n,R) · Rn and X = Rn.I Six of eight 3-dimensional geometries: euclidean,
spherical, hyperbolic, nil, sol, SL(2,R) (B. Thiel)I S2 × R and H2 × R. (almost)I Some symmetric spaces and matrix groups...
I Recently, some graphics applications.... imagesuperposition,..
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Many geometries are actually sub-geometries ofprojective (conformal) geometry. (The twocorrespond to maximal finite-dimensional Liealgebras acting locally on manifolds...)
I Hyperbolic geometry: Hn imbeds in RPn andPO(n,1) in PGL(n + 1,R) in canonical way.
I spherical, euclidean geometry.I The affine geometry G = SL(n,R) · Rn and X = Rn.I Six of eight 3-dimensional geometries: euclidean,
spherical, hyperbolic, nil, sol, SL(2,R) (B. Thiel)I S2 × R and H2 × R. (almost)I Some symmetric spaces and matrix groups...
I Recently, some graphics applications.... imagesuperposition,..
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Many geometries are actually sub-geometries ofprojective (conformal) geometry. (The twocorrespond to maximal finite-dimensional Liealgebras acting locally on manifolds...)
I Hyperbolic geometry: Hn imbeds in RPn andPO(n,1) in PGL(n + 1,R) in canonical way.
I spherical, euclidean geometry.I The affine geometry G = SL(n,R) · Rn and X = Rn.I Six of eight 3-dimensional geometries: euclidean,
spherical, hyperbolic, nil, sol, SL(2,R) (B. Thiel)I S2 × R and H2 × R. (almost)I Some symmetric spaces and matrix groups...
I Recently, some graphics applications.... imagesuperposition,..
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective geometry
I Many geometries are actually sub-geometries ofprojective (conformal) geometry. (The twocorrespond to maximal finite-dimensional Liealgebras acting locally on manifolds...)
I Hyperbolic geometry: Hn imbeds in RPn andPO(n,1) in PGL(n + 1,R) in canonical way.
I spherical, euclidean geometry.I The affine geometry G = SL(n,R) · Rn and X = Rn.I Six of eight 3-dimensional geometries: euclidean,
spherical, hyperbolic, nil, sol, SL(2,R) (B. Thiel)I S2 × R and H2 × R. (almost)I Some symmetric spaces and matrix groups...
I Recently, some graphics applications.... imagesuperposition,..
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Erlangen program of Klein
I A Lie group is a set of symmetries of some objectforming a manifold.
I Klein worked out a general scheme to study almostall geometries...
I Klein proposed that "geometry" is actually a spacewith a Lie group acting on it transitively.
I Essentially, the transformation group actually definesthe geometry by determining which properties arepreserved.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Erlangen program of Klein
I A Lie group is a set of symmetries of some objectforming a manifold.
I Klein worked out a general scheme to study almostall geometries...
I Klein proposed that "geometry" is actually a spacewith a Lie group acting on it transitively.
I Essentially, the transformation group actually definesthe geometry by determining which properties arepreserved.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Erlangen program of Klein
I A Lie group is a set of symmetries of some objectforming a manifold.
I Klein worked out a general scheme to study almostall geometries...
I Klein proposed that "geometry" is actually a spacewith a Lie group acting on it transitively.
I Essentially, the transformation group actually definesthe geometry by determining which properties arepreserved.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Erlangen program of Klein
I A Lie group is a set of symmetries of some objectforming a manifold.
I Klein worked out a general scheme to study almostall geometries...
I Klein proposed that "geometry" is actually a spacewith a Lie group acting on it transitively.
I Essentially, the transformation group actually definesthe geometry by determining which properties arepreserved.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I We extract properties from the pair:I For each pair (X ,G) where G is a Lie group and X is
a space.I Thus, Euclidean geometry is given by X = Rn and
G = Isom(Rn) = O(n) · Rn.I The spherical geometry: G = O(n + 1,R) and
X = Sn.I The hyperbolic geometry: G = PO(n,1) and X upper
part of the hyperboloid t2 − x21 − · · · − x2
n = 1. Forn = 2, we also have G = PSL(2,R) and X the upperhalf-plane. For n = 3, we also have G = PSL(2,C)and X the upper half-space in R3.
I Lorentzian space-times.... de Sitter, anti-de-Sitter,...I The conformal geometry: G = SO(n + 1,1) and X
the celestial sphere in Rn+1,1.I The affine geometry G = SL(n,R) · Rn and X = Rn.I The projective geometry G = PGL(n + 1,R) and
X = RPn. (The conformal and projective geometriesare “maximal” geometry in the sense of Klein.)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I We extract properties from the pair:I For each pair (X ,G) where G is a Lie group and X is
a space.I Thus, Euclidean geometry is given by X = Rn and
G = Isom(Rn) = O(n) · Rn.I The spherical geometry: G = O(n + 1,R) and
X = Sn.I The hyperbolic geometry: G = PO(n,1) and X upper
part of the hyperboloid t2 − x21 − · · · − x2
n = 1. Forn = 2, we also have G = PSL(2,R) and X the upperhalf-plane. For n = 3, we also have G = PSL(2,C)and X the upper half-space in R3.
I Lorentzian space-times.... de Sitter, anti-de-Sitter,...I The conformal geometry: G = SO(n + 1,1) and X
the celestial sphere in Rn+1,1.I The affine geometry G = SL(n,R) · Rn and X = Rn.I The projective geometry G = PGL(n + 1,R) and
X = RPn. (The conformal and projective geometriesare “maximal” geometry in the sense of Klein.)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I We extract properties from the pair:I For each pair (X ,G) where G is a Lie group and X is
a space.I Thus, Euclidean geometry is given by X = Rn and
G = Isom(Rn) = O(n) · Rn.I The spherical geometry: G = O(n + 1,R) and
X = Sn.I The hyperbolic geometry: G = PO(n,1) and X upper
part of the hyperboloid t2 − x21 − · · · − x2
n = 1. Forn = 2, we also have G = PSL(2,R) and X the upperhalf-plane. For n = 3, we also have G = PSL(2,C)and X the upper half-space in R3.
I Lorentzian space-times.... de Sitter, anti-de-Sitter,...I The conformal geometry: G = SO(n + 1,1) and X
the celestial sphere in Rn+1,1.I The affine geometry G = SL(n,R) · Rn and X = Rn.I The projective geometry G = PGL(n + 1,R) and
X = RPn. (The conformal and projective geometriesare “maximal” geometry in the sense of Klein.)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I We extract properties from the pair:I For each pair (X ,G) where G is a Lie group and X is
a space.I Thus, Euclidean geometry is given by X = Rn and
G = Isom(Rn) = O(n) · Rn.I The spherical geometry: G = O(n + 1,R) and
X = Sn.I The hyperbolic geometry: G = PO(n,1) and X upper
part of the hyperboloid t2 − x21 − · · · − x2
n = 1. Forn = 2, we also have G = PSL(2,R) and X the upperhalf-plane. For n = 3, we also have G = PSL(2,C)and X the upper half-space in R3.
I Lorentzian space-times.... de Sitter, anti-de-Sitter,...I The conformal geometry: G = SO(n + 1,1) and X
the celestial sphere in Rn+1,1.I The affine geometry G = SL(n,R) · Rn and X = Rn.I The projective geometry G = PGL(n + 1,R) and
X = RPn. (The conformal and projective geometriesare “maximal” geometry in the sense of Klein.)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I We extract properties from the pair:I For each pair (X ,G) where G is a Lie group and X is
a space.I Thus, Euclidean geometry is given by X = Rn and
G = Isom(Rn) = O(n) · Rn.I The spherical geometry: G = O(n + 1,R) and
X = Sn.I The hyperbolic geometry: G = PO(n,1) and X upper
part of the hyperboloid t2 − x21 − · · · − x2
n = 1. Forn = 2, we also have G = PSL(2,R) and X the upperhalf-plane. For n = 3, we also have G = PSL(2,C)and X the upper half-space in R3.
I Lorentzian space-times.... de Sitter, anti-de-Sitter,...I The conformal geometry: G = SO(n + 1,1) and X
the celestial sphere in Rn+1,1.I The affine geometry G = SL(n,R) · Rn and X = Rn.I The projective geometry G = PGL(n + 1,R) and
X = RPn. (The conformal and projective geometriesare “maximal” geometry in the sense of Klein.)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I We extract properties from the pair:I For each pair (X ,G) where G is a Lie group and X is
a space.I Thus, Euclidean geometry is given by X = Rn and
G = Isom(Rn) = O(n) · Rn.I The spherical geometry: G = O(n + 1,R) and
X = Sn.I The hyperbolic geometry: G = PO(n,1) and X upper
part of the hyperboloid t2 − x21 − · · · − x2
n = 1. Forn = 2, we also have G = PSL(2,R) and X the upperhalf-plane. For n = 3, we also have G = PSL(2,C)and X the upper half-space in R3.
I Lorentzian space-times.... de Sitter, anti-de-Sitter,...I The conformal geometry: G = SO(n + 1,1) and X
the celestial sphere in Rn+1,1.I The affine geometry G = SL(n,R) · Rn and X = Rn.I The projective geometry G = PGL(n + 1,R) and
X = RPn. (The conformal and projective geometriesare “maximal” geometry in the sense of Klein.)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I We extract properties from the pair:I For each pair (X ,G) where G is a Lie group and X is
a space.I Thus, Euclidean geometry is given by X = Rn and
G = Isom(Rn) = O(n) · Rn.I The spherical geometry: G = O(n + 1,R) and
X = Sn.I The hyperbolic geometry: G = PO(n,1) and X upper
part of the hyperboloid t2 − x21 − · · · − x2
n = 1. Forn = 2, we also have G = PSL(2,R) and X the upperhalf-plane. For n = 3, we also have G = PSL(2,C)and X the upper half-space in R3.
I Lorentzian space-times.... de Sitter, anti-de-Sitter,...I The conformal geometry: G = SO(n + 1,1) and X
the celestial sphere in Rn+1,1.I The affine geometry G = SL(n,R) · Rn and X = Rn.I The projective geometry G = PGL(n + 1,R) and
X = RPn. (The conformal and projective geometriesare “maximal” geometry in the sense of Klein.)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I We extract properties from the pair:I For each pair (X ,G) where G is a Lie group and X is
a space.I Thus, Euclidean geometry is given by X = Rn and
G = Isom(Rn) = O(n) · Rn.I The spherical geometry: G = O(n + 1,R) and
X = Sn.I The hyperbolic geometry: G = PO(n,1) and X upper
part of the hyperboloid t2 − x21 − · · · − x2
n = 1. Forn = 2, we also have G = PSL(2,R) and X the upperhalf-plane. For n = 3, we also have G = PSL(2,C)and X the upper half-space in R3.
I Lorentzian space-times.... de Sitter, anti-de-Sitter,...I The conformal geometry: G = SO(n + 1,1) and X
the celestial sphere in Rn+1,1.I The affine geometry G = SL(n,R) · Rn and X = Rn.I The projective geometry G = PGL(n + 1,R) and
X = RPn. (The conformal and projective geometriesare “maximal” geometry in the sense of Klein.)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I We extract properties from the pair:I For each pair (X ,G) where G is a Lie group and X is
a space.I Thus, Euclidean geometry is given by X = Rn and
G = Isom(Rn) = O(n) · Rn.I The spherical geometry: G = O(n + 1,R) and
X = Sn.I The hyperbolic geometry: G = PO(n,1) and X upper
part of the hyperboloid t2 − x21 − · · · − x2
n = 1. Forn = 2, we also have G = PSL(2,R) and X the upperhalf-plane. For n = 3, we also have G = PSL(2,C)and X the upper half-space in R3.
I Lorentzian space-times.... de Sitter, anti-de-Sitter,...I The conformal geometry: G = SO(n + 1,1) and X
the celestial sphere in Rn+1,1.I The affine geometry G = SL(n,R) · Rn and X = Rn.I The projective geometry G = PGL(n + 1,R) and
X = RPn. (The conformal and projective geometriesare “maximal” geometry in the sense of Klein.)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Cartan, Ehresmann connections: Mostgeneral geometry possible
I Cartan proposed that for each pair (X ,G), we canimpart their properties to at each point of themanifolds so that they vary also. The flatness impliesthat the (X ,G)-geometry is actually recovered.
I Ehresmann introduced the most general notion ofconnections by generalizing Cartan connections.
I For example, for euclidean geometry, a Cartanconnection gives us Riemannian geometry.
I For projective geometry, a Cartan connectioncorresponds to a projectively flat torsion-free affineconnections and conversely.
I Wilson Stothers’ Geometry PagesI Reference: Projective and Cayley-Klein Geometries
(Springer Monographs in Mathematics) (Hardcover)by Arkadij L. Onishchik (Author), Rolf Sulanke(Author)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Cartan, Ehresmann connections: Mostgeneral geometry possible
I Cartan proposed that for each pair (X ,G), we canimpart their properties to at each point of themanifolds so that they vary also. The flatness impliesthat the (X ,G)-geometry is actually recovered.
I Ehresmann introduced the most general notion ofconnections by generalizing Cartan connections.
I For example, for euclidean geometry, a Cartanconnection gives us Riemannian geometry.
I For projective geometry, a Cartan connectioncorresponds to a projectively flat torsion-free affineconnections and conversely.
I Wilson Stothers’ Geometry PagesI Reference: Projective and Cayley-Klein Geometries
(Springer Monographs in Mathematics) (Hardcover)by Arkadij L. Onishchik (Author), Rolf Sulanke(Author)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Cartan, Ehresmann connections: Mostgeneral geometry possible
I Cartan proposed that for each pair (X ,G), we canimpart their properties to at each point of themanifolds so that they vary also. The flatness impliesthat the (X ,G)-geometry is actually recovered.
I Ehresmann introduced the most general notion ofconnections by generalizing Cartan connections.
I For example, for euclidean geometry, a Cartanconnection gives us Riemannian geometry.
I For projective geometry, a Cartan connectioncorresponds to a projectively flat torsion-free affineconnections and conversely.
I Wilson Stothers’ Geometry PagesI Reference: Projective and Cayley-Klein Geometries
(Springer Monographs in Mathematics) (Hardcover)by Arkadij L. Onishchik (Author), Rolf Sulanke(Author)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Cartan, Ehresmann connections: Mostgeneral geometry possible
I Cartan proposed that for each pair (X ,G), we canimpart their properties to at each point of themanifolds so that they vary also. The flatness impliesthat the (X ,G)-geometry is actually recovered.
I Ehresmann introduced the most general notion ofconnections by generalizing Cartan connections.
I For example, for euclidean geometry, a Cartanconnection gives us Riemannian geometry.
I For projective geometry, a Cartan connectioncorresponds to a projectively flat torsion-free affineconnections and conversely.
I Wilson Stothers’ Geometry PagesI Reference: Projective and Cayley-Klein Geometries
(Springer Monographs in Mathematics) (Hardcover)by Arkadij L. Onishchik (Author), Rolf Sulanke(Author)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Cartan, Ehresmann connections: Mostgeneral geometry possible
I Cartan proposed that for each pair (X ,G), we canimpart their properties to at each point of themanifolds so that they vary also. The flatness impliesthat the (X ,G)-geometry is actually recovered.
I Ehresmann introduced the most general notion ofconnections by generalizing Cartan connections.
I For example, for euclidean geometry, a Cartanconnection gives us Riemannian geometry.
I For projective geometry, a Cartan connectioncorresponds to a projectively flat torsion-free affineconnections and conversely.
I Wilson Stothers’ Geometry PagesI Reference: Projective and Cayley-Klein Geometries
(Springer Monographs in Mathematics) (Hardcover)by Arkadij L. Onishchik (Author), Rolf Sulanke(Author)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Cartan, Ehresmann connections: Mostgeneral geometry possible
I Cartan proposed that for each pair (X ,G), we canimpart their properties to at each point of themanifolds so that they vary also. The flatness impliesthat the (X ,G)-geometry is actually recovered.
I Ehresmann introduced the most general notion ofconnections by generalizing Cartan connections.
I For example, for euclidean geometry, a Cartanconnection gives us Riemannian geometry.
I For projective geometry, a Cartan connectioncorresponds to a projectively flat torsion-free affineconnections and conversely.
I Wilson Stothers’ Geometry PagesI Reference: Projective and Cayley-Klein Geometries
(Springer Monographs in Mathematics) (Hardcover)by Arkadij L. Onishchik (Author), Rolf Sulanke(Author)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with geometric structures:
Topology of manifolds
I Manifolds come up in many areas of technology andsciences.
I Studying the topological structures of manifolds iscomplicated by the fact that there is no uniform wayto describe many topologically important featuresand provides useful coordinates.
I We would like to find some good descriptions andperhaps even classify collections of manifolds.
I Of course these are for pure-mathematical uses fornow....
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with geometric structures:
Topology of manifolds
I Manifolds come up in many areas of technology andsciences.
I Studying the topological structures of manifolds iscomplicated by the fact that there is no uniform wayto describe many topologically important featuresand provides useful coordinates.
I We would like to find some good descriptions andperhaps even classify collections of manifolds.
I Of course these are for pure-mathematical uses fornow....
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with geometric structures:
Topology of manifolds
I Manifolds come up in many areas of technology andsciences.
I Studying the topological structures of manifolds iscomplicated by the fact that there is no uniform wayto describe many topologically important featuresand provides useful coordinates.
I We would like to find some good descriptions andperhaps even classify collections of manifolds.
I Of course these are for pure-mathematical uses fornow....
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with geometric structures:
Topology of manifolds
I Manifolds come up in many areas of technology andsciences.
I Studying the topological structures of manifolds iscomplicated by the fact that there is no uniform wayto describe many topologically important featuresand provides useful coordinates.
I We would like to find some good descriptions andperhaps even classify collections of manifolds.
I Of course these are for pure-mathematical uses fornow....
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I An (X ,G)-geometric structure on a manifold M isgiven by an atlas of charts to X where the transitionmaps are in G.
I This equips M with all of the local (X ,G)-geometricalnotions.
I If the geometry admits notions such as geodesic,length, angle, cross ratio, then M now has suchnotions...
I So the central question is: which manifolds admitwhich structures and how many and if geometricstructures do not exists, why not?
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I An (X ,G)-geometric structure on a manifold M isgiven by an atlas of charts to X where the transitionmaps are in G.
I This equips M with all of the local (X ,G)-geometricalnotions.
I If the geometry admits notions such as geodesic,length, angle, cross ratio, then M now has suchnotions...
I So the central question is: which manifolds admitwhich structures and how many and if geometricstructures do not exists, why not?
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I An (X ,G)-geometric structure on a manifold M isgiven by an atlas of charts to X where the transitionmaps are in G.
I This equips M with all of the local (X ,G)-geometricalnotions.
I If the geometry admits notions such as geodesic,length, angle, cross ratio, then M now has suchnotions...
I So the central question is: which manifolds admitwhich structures and how many and if geometricstructures do not exists, why not?
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I An (X ,G)-geometric structure on a manifold M isgiven by an atlas of charts to X where the transitionmaps are in G.
I This equips M with all of the local (X ,G)-geometricalnotions.
I If the geometry admits notions such as geodesic,length, angle, cross ratio, then M now has suchnotions...
I So the central question is: which manifolds admitwhich structures and how many and if geometricstructures do not exists, why not?
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
b1
a1
b2'
a2'
b2
a2
b1'
a1'
AB
C
D
E
F
G
H
K
<)b1a1'= 0.248
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Deformation spaces of geometric structures
I In major cases, M = X/Γ for a discrete subgroup Γ inthe Lie group G.
I Thus, X provides a global coordinate system and theclassification of discrete subgroups of G providesclassifications of manifolds like M.
I Here Γ tends to be the fundamental group of M.Thus, a geometric structure can be considered adiscrete representation of π1(M) in G.
I Often, there are cases when Γ is unique up toconjugations and there is a unique (X ,G)-structure.(Rigidity)
I Given an (X ,G)-manifold (orbifold) M, thedeformation space D(X ,G)(M) is locallyhomeomorphic to the G-representation spaceHom(π1(M),G)/G of π1(M).
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Deformation spaces of geometric structures
I In major cases, M = X/Γ for a discrete subgroup Γ inthe Lie group G.
I Thus, X provides a global coordinate system and theclassification of discrete subgroups of G providesclassifications of manifolds like M.
I Here Γ tends to be the fundamental group of M.Thus, a geometric structure can be considered adiscrete representation of π1(M) in G.
I Often, there are cases when Γ is unique up toconjugations and there is a unique (X ,G)-structure.(Rigidity)
I Given an (X ,G)-manifold (orbifold) M, thedeformation space D(X ,G)(M) is locallyhomeomorphic to the G-representation spaceHom(π1(M),G)/G of π1(M).
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Deformation spaces of geometric structures
I In major cases, M = X/Γ for a discrete subgroup Γ inthe Lie group G.
I Thus, X provides a global coordinate system and theclassification of discrete subgroups of G providesclassifications of manifolds like M.
I Here Γ tends to be the fundamental group of M.Thus, a geometric structure can be considered adiscrete representation of π1(M) in G.
I Often, there are cases when Γ is unique up toconjugations and there is a unique (X ,G)-structure.(Rigidity)
I Given an (X ,G)-manifold (orbifold) M, thedeformation space D(X ,G)(M) is locallyhomeomorphic to the G-representation spaceHom(π1(M),G)/G of π1(M).
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Deformation spaces of geometric structures
I In major cases, M = X/Γ for a discrete subgroup Γ inthe Lie group G.
I Thus, X provides a global coordinate system and theclassification of discrete subgroups of G providesclassifications of manifolds like M.
I Here Γ tends to be the fundamental group of M.Thus, a geometric structure can be considered adiscrete representation of π1(M) in G.
I Often, there are cases when Γ is unique up toconjugations and there is a unique (X ,G)-structure.(Rigidity)
I Given an (X ,G)-manifold (orbifold) M, thedeformation space D(X ,G)(M) is locallyhomeomorphic to the G-representation spaceHom(π1(M),G)/G of π1(M).
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Deformation spaces of geometric structures
I In major cases, M = X/Γ for a discrete subgroup Γ inthe Lie group G.
I Thus, X provides a global coordinate system and theclassification of discrete subgroups of G providesclassifications of manifolds like M.
I Here Γ tends to be the fundamental group of M.Thus, a geometric structure can be considered adiscrete representation of π1(M) in G.
I Often, there are cases when Γ is unique up toconjugations and there is a unique (X ,G)-structure.(Rigidity)
I Given an (X ,G)-manifold (orbifold) M, thedeformation space D(X ,G)(M) is locallyhomeomorphic to the G-representation spaceHom(π1(M),G)/G of π1(M).
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
ExamplesI Closed surfaces have either a spherical, euclidean,
or hyperbolic structures depending on genus. Wecan classify these to form deformation spaces suchas Teichmuller spaces.
I A hyperbolic surface equals H2/Γ for the image Γ ofthe representation π → PSL(2,R).
I A Teichmuller space can be identified with acomponent of the space Hom(π,PSL(2,R))/ ∼ ofconjugacy classes of representations. Thecomponent consists of discrete faithfulrepresentations.
I For closed 3-manifolds, it is recently proved that theydecompose into pieces admitting one of eightgeometrical structures including hyperbolic,euclidean, spherical ones... Thus, these manifoldsare now being classified... (Proof of thegeometrization conjecture by Perelman).
I For higher-dimensional manifolds, there are othertypes of geometric structures...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
ExamplesI Closed surfaces have either a spherical, euclidean,
or hyperbolic structures depending on genus. Wecan classify these to form deformation spaces suchas Teichmuller spaces.
I A hyperbolic surface equals H2/Γ for the image Γ ofthe representation π → PSL(2,R).
I A Teichmuller space can be identified with acomponent of the space Hom(π,PSL(2,R))/ ∼ ofconjugacy classes of representations. Thecomponent consists of discrete faithfulrepresentations.
I For closed 3-manifolds, it is recently proved that theydecompose into pieces admitting one of eightgeometrical structures including hyperbolic,euclidean, spherical ones... Thus, these manifoldsare now being classified... (Proof of thegeometrization conjecture by Perelman).
I For higher-dimensional manifolds, there are othertypes of geometric structures...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
ExamplesI Closed surfaces have either a spherical, euclidean,
or hyperbolic structures depending on genus. Wecan classify these to form deformation spaces suchas Teichmuller spaces.
I A hyperbolic surface equals H2/Γ for the image Γ ofthe representation π → PSL(2,R).
I A Teichmuller space can be identified with acomponent of the space Hom(π,PSL(2,R))/ ∼ ofconjugacy classes of representations. Thecomponent consists of discrete faithfulrepresentations.
I For closed 3-manifolds, it is recently proved that theydecompose into pieces admitting one of eightgeometrical structures including hyperbolic,euclidean, spherical ones... Thus, these manifoldsare now being classified... (Proof of thegeometrization conjecture by Perelman).
I For higher-dimensional manifolds, there are othertypes of geometric structures...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
ExamplesI Closed surfaces have either a spherical, euclidean,
or hyperbolic structures depending on genus. Wecan classify these to form deformation spaces suchas Teichmuller spaces.
I A hyperbolic surface equals H2/Γ for the image Γ ofthe representation π → PSL(2,R).
I A Teichmuller space can be identified with acomponent of the space Hom(π,PSL(2,R))/ ∼ ofconjugacy classes of representations. Thecomponent consists of discrete faithfulrepresentations.
I For closed 3-manifolds, it is recently proved that theydecompose into pieces admitting one of eightgeometrical structures including hyperbolic,euclidean, spherical ones... Thus, these manifoldsare now being classified... (Proof of thegeometrization conjecture by Perelman).
I For higher-dimensional manifolds, there are othertypes of geometric structures...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
ExamplesI Closed surfaces have either a spherical, euclidean,
or hyperbolic structures depending on genus. Wecan classify these to form deformation spaces suchas Teichmuller spaces.
I A hyperbolic surface equals H2/Γ for the image Γ ofthe representation π → PSL(2,R).
I A Teichmuller space can be identified with acomponent of the space Hom(π,PSL(2,R))/ ∼ ofconjugacy classes of representations. Thecomponent consists of discrete faithfulrepresentations.
I For closed 3-manifolds, it is recently proved that theydecompose into pieces admitting one of eightgeometrical structures including hyperbolic,euclidean, spherical ones... Thus, these manifoldsare now being classified... (Proof of thegeometrization conjecture by Perelman).
I For higher-dimensional manifolds, there are othertypes of geometric structures...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with (real) projective structures
I Cartan first considered projective structures onsurfaces as projectively flat torsion-free connectionson surfaces.
I Chern worked on general type of projectivestructures in the differential geometry point of view.
I The study of affine manifolds precede that ofprojective manifolds.
I There were extensive work on affine manifolds, andaffine Lie groups by Chern, Auslander, Goldman,Fried, Smillie, Nagano, Yagi, Shima, Carriere,Margulis,...
I There are outstanding questions such as the Chernconjecture, Auslander conjecture,...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with (real) projective structures
I Cartan first considered projective structures onsurfaces as projectively flat torsion-free connectionson surfaces.
I Chern worked on general type of projectivestructures in the differential geometry point of view.
I The study of affine manifolds precede that ofprojective manifolds.
I There were extensive work on affine manifolds, andaffine Lie groups by Chern, Auslander, Goldman,Fried, Smillie, Nagano, Yagi, Shima, Carriere,Margulis,...
I There are outstanding questions such as the Chernconjecture, Auslander conjecture,...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with (real) projective structures
I Cartan first considered projective structures onsurfaces as projectively flat torsion-free connectionson surfaces.
I Chern worked on general type of projectivestructures in the differential geometry point of view.
I The study of affine manifolds precede that ofprojective manifolds.
I There were extensive work on affine manifolds, andaffine Lie groups by Chern, Auslander, Goldman,Fried, Smillie, Nagano, Yagi, Shima, Carriere,Margulis,...
I There are outstanding questions such as the Chernconjecture, Auslander conjecture,...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with (real) projective structures
I Cartan first considered projective structures onsurfaces as projectively flat torsion-free connectionson surfaces.
I Chern worked on general type of projectivestructures in the differential geometry point of view.
I The study of affine manifolds precede that ofprojective manifolds.
I There were extensive work on affine manifolds, andaffine Lie groups by Chern, Auslander, Goldman,Fried, Smillie, Nagano, Yagi, Shima, Carriere,Margulis,...
I There are outstanding questions such as the Chernconjecture, Auslander conjecture,...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Manifolds with (real) projective structures
I Cartan first considered projective structures onsurfaces as projectively flat torsion-free connectionson surfaces.
I Chern worked on general type of projectivestructures in the differential geometry point of view.
I The study of affine manifolds precede that ofprojective manifolds.
I There were extensive work on affine manifolds, andaffine Lie groups by Chern, Auslander, Goldman,Fried, Smillie, Nagano, Yagi, Shima, Carriere,Margulis,...
I There are outstanding questions such as the Chernconjecture, Auslander conjecture,...
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective manifolds: how many?I By the Klein-Beltrami model of hyperbolic space, we
can consider Hn as a unit ball B in an affinesubspace of RPn and PO(n + 1,R) as a subgroup ofPGL(n + 1,R) acting on B. Thus, a (complete)hyperbolic manifold has a projective structure. (Infact any closed surface has one.)
I In fact, 3-manifolds with six types of geometricstructures have real projective structures. (In fact,up to coverings of order two, 3-manifolds with eightgeometric structures have real projective structures.)
I A question arises whether these projective structurescan be deformed to purely projective structures.
I Deformed projective manifolds from closedhyperbolic ones are convex in the sense that anypath can be homotoped to a geodesic path. (Koszul’sopenness)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective manifolds: how many?I By the Klein-Beltrami model of hyperbolic space, we
can consider Hn as a unit ball B in an affinesubspace of RPn and PO(n + 1,R) as a subgroup ofPGL(n + 1,R) acting on B. Thus, a (complete)hyperbolic manifold has a projective structure. (Infact any closed surface has one.)
I In fact, 3-manifolds with six types of geometricstructures have real projective structures. (In fact,up to coverings of order two, 3-manifolds with eightgeometric structures have real projective structures.)
I A question arises whether these projective structurescan be deformed to purely projective structures.
I Deformed projective manifolds from closedhyperbolic ones are convex in the sense that anypath can be homotoped to a geodesic path. (Koszul’sopenness)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective manifolds: how many?I By the Klein-Beltrami model of hyperbolic space, we
can consider Hn as a unit ball B in an affinesubspace of RPn and PO(n + 1,R) as a subgroup ofPGL(n + 1,R) acting on B. Thus, a (complete)hyperbolic manifold has a projective structure. (Infact any closed surface has one.)
I In fact, 3-manifolds with six types of geometricstructures have real projective structures. (In fact,up to coverings of order two, 3-manifolds with eightgeometric structures have real projective structures.)
I A question arises whether these projective structurescan be deformed to purely projective structures.
I Deformed projective manifolds from closedhyperbolic ones are convex in the sense that anypath can be homotoped to a geodesic path. (Koszul’sopenness)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective manifolds: how many?I By the Klein-Beltrami model of hyperbolic space, we
can consider Hn as a unit ball B in an affinesubspace of RPn and PO(n + 1,R) as a subgroup ofPGL(n + 1,R) acting on B. Thus, a (complete)hyperbolic manifold has a projective structure. (Infact any closed surface has one.)
I In fact, 3-manifolds with six types of geometricstructures have real projective structures. (In fact,up to coverings of order two, 3-manifolds with eightgeometric structures have real projective structures.)
I A question arises whether these projective structurescan be deformed to purely projective structures.
I Deformed projective manifolds from closedhyperbolic ones are convex in the sense that anypath can be homotoped to a geodesic path. (Koszul’sopenness)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I In 1960s, Benzecri started working on strictly convexdomain Ω where a projective transformation group Γacted with a compact quotient. That is, M = Ω/Γ is acompact manifold (orbifold). (Related to convexcones and group transformations (Kuiper,Koszul,Vinberg,...)). He showed that the boundary iseither C1 or is an ellipsoid.
I Kac-Vinberg found the first example for n = 2 for atriangle reflection group associated with Kac-Moodyalgebra.
I Recently, Benoist found many interesting propertiessuch as the fact that Ω is strictly convex if and only ifthe group Γ is Gromov-hyperbolic.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I In 1960s, Benzecri started working on strictly convexdomain Ω where a projective transformation group Γacted with a compact quotient. That is, M = Ω/Γ is acompact manifold (orbifold). (Related to convexcones and group transformations (Kuiper,Koszul,Vinberg,...)). He showed that the boundary iseither C1 or is an ellipsoid.
I Kac-Vinberg found the first example for n = 2 for atriangle reflection group associated with Kac-Moodyalgebra.
I Recently, Benoist found many interesting propertiessuch as the fact that Ω is strictly convex if and only ifthe group Γ is Gromov-hyperbolic.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I In 1960s, Benzecri started working on strictly convexdomain Ω where a projective transformation group Γacted with a compact quotient. That is, M = Ω/Γ is acompact manifold (orbifold). (Related to convexcones and group transformations (Kuiper,Koszul,Vinberg,...)). He showed that the boundary iseither C1 or is an ellipsoid.
I Kac-Vinberg found the first example for n = 2 for atriangle reflection group associated with Kac-Moodyalgebra.
I Recently, Benoist found many interesting propertiessuch as the fact that Ω is strictly convex if and only ifthe group Γ is Gromov-hyperbolic.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces
I For closed surfaces, in 80s, Goldman found ageneral dimension counting method for thenonsingular part of the surface-group representationspace into the Lie group G which is dim G× (2g − 2)if g ≥ 2.
I Since the deformation space D(RP2,PGL(3,R))(S) for aclosed surface S is locally homeomorphic toHom(π1(S),PGL(3,R))/PGL(3,R), we know thedimension of the deformation space to be 8(2g − 2).
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces
I For closed surfaces, in 80s, Goldman found ageneral dimension counting method for thenonsingular part of the surface-group representationspace into the Lie group G which is dim G× (2g − 2)if g ≥ 2.
I Since the deformation space D(RP2,PGL(3,R))(S) for aclosed surface S is locally homeomorphic toHom(π1(S),PGL(3,R))/PGL(3,R), we know thedimension of the deformation space to be 8(2g − 2).
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Goldman found that the the deformation space ofconvex projective structures is a cell of dimension16g − 16. Deformations (The real pro. str. on hyp.mflds.
I Choi showed that if g ≥ 2, then a projective surfacealways decomposes into convex projective surfacesand annuli along disjoint closed geodesics. (Someare not convex)
I The annuli were classified by Nagano, Yagi, andGoldman earlier.
I Using this, we have a complete classification ofprojective structures on closed surfaces (evenconstructive one).
I For 2-orbifolds, Goldman and Choi completed theclassification. developing images
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Goldman found that the the deformation space ofconvex projective structures is a cell of dimension16g − 16. Deformations (The real pro. str. on hyp.mflds.
I Choi showed that if g ≥ 2, then a projective surfacealways decomposes into convex projective surfacesand annuli along disjoint closed geodesics. (Someare not convex)
I The annuli were classified by Nagano, Yagi, andGoldman earlier.
I Using this, we have a complete classification ofprojective structures on closed surfaces (evenconstructive one).
I For 2-orbifolds, Goldman and Choi completed theclassification. developing images
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Goldman found that the the deformation space ofconvex projective structures is a cell of dimension16g − 16. Deformations (The real pro. str. on hyp.mflds.
I Choi showed that if g ≥ 2, then a projective surfacealways decomposes into convex projective surfacesand annuli along disjoint closed geodesics. (Someare not convex)
I The annuli were classified by Nagano, Yagi, andGoldman earlier.
I Using this, we have a complete classification ofprojective structures on closed surfaces (evenconstructive one).
I For 2-orbifolds, Goldman and Choi completed theclassification. developing images
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Goldman found that the the deformation space ofconvex projective structures is a cell of dimension16g − 16. Deformations (The real pro. str. on hyp.mflds.
I Choi showed that if g ≥ 2, then a projective surfacealways decomposes into convex projective surfacesand annuli along disjoint closed geodesics. (Someare not convex)
I The annuli were classified by Nagano, Yagi, andGoldman earlier.
I Using this, we have a complete classification ofprojective structures on closed surfaces (evenconstructive one).
I For 2-orbifolds, Goldman and Choi completed theclassification. developing images
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Goldman found that the the deformation space ofconvex projective structures is a cell of dimension16g − 16. Deformations (The real pro. str. on hyp.mflds.
I Choi showed that if g ≥ 2, then a projective surfacealways decomposes into convex projective surfacesand annuli along disjoint closed geodesics. (Someare not convex)
I The annuli were classified by Nagano, Yagi, andGoldman earlier.
I Using this, we have a complete classification ofprojective structures on closed surfaces (evenconstructive one).
I For 2-orbifolds, Goldman and Choi completed theclassification. developing images
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces and gauge theory
I Atiyah and Hitchin studied self-dual connections onsurfaces (70s)
I Given a Lie group G, a representation of π1(S)→ Gcan be thought of as a flat G-connection on aprincipal G-bundle over S and vice versa.
I Corlette showed that flat G-connections for manifolds(80s) can be realized as harmonic maps to certainassociated symmetric space bundles.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces and gauge theory
I Atiyah and Hitchin studied self-dual connections onsurfaces (70s)
I Given a Lie group G, a representation of π1(S)→ Gcan be thought of as a flat G-connection on aprincipal G-bundle over S and vice versa.
I Corlette showed that flat G-connections for manifolds(80s) can be realized as harmonic maps to certainassociated symmetric space bundles.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces and gauge theory
I Atiyah and Hitchin studied self-dual connections onsurfaces (70s)
I Given a Lie group G, a representation of π1(S)→ Gcan be thought of as a flat G-connection on aprincipal G-bundle over S and vice versa.
I Corlette showed that flat G-connections for manifolds(80s) can be realized as harmonic maps to certainassociated symmetric space bundles.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Hitchin used Higgs field on principal G-bundles oversurfaces to obtain parametrizations of flatG-connections over surfaces. (G is a real split formof a reductive group.) (90s)
I A Teichmüller space
T (Σ) = hyperbolic structures on Σ/isotopies
is a component of
Hom+(π1(Σ),PSL(2,R))/PSL(2,R)
of Fuchian representations.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Hitchin used Higgs field on principal G-bundles oversurfaces to obtain parametrizations of flatG-connections over surfaces. (G is a real split formof a reductive group.) (90s)
I A Teichmüller space
T (Σ) = hyperbolic structures on Σ/isotopies
is a component of
Hom+(π1(Σ),PSL(2,R))/PSL(2,R)
of Fuchian representations.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Hitchin-Teichmüller components:
ΓFuchsian→ PSL(2,R)
irreducible→ G. (1)
gives a component of
Hom+(π1(Σ),G)/G.
I The Hitchin-Teichmüller component ishomeomorphic to a cell of dimension (2g− 2) dim Gr .
I For n > 2,
Hom+(π1(Σ),PGL(n,R))/PGL(n,R)
has three connected components if n is odd and sixcomponents if n is even.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Hitchin-Teichmüller components:
ΓFuchsian→ PSL(2,R)
irreducible→ G. (1)
gives a component of
Hom+(π1(Σ),G)/G.
I The Hitchin-Teichmüller component ishomeomorphic to a cell of dimension (2g− 2) dim Gr .
I For n > 2,
Hom+(π1(Σ),PGL(n,R))/PGL(n,R)
has three connected components if n is odd and sixcomponents if n is even.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Hitchin-Teichmüller components:
ΓFuchsian→ PSL(2,R)
irreducible→ G. (1)
gives a component of
Hom+(π1(Σ),G)/G.
I The Hitchin-Teichmüller component ishomeomorphic to a cell of dimension (2g− 2) dim Gr .
I For n > 2,
Hom+(π1(Σ),PGL(n,R))/PGL(n,R)
has three connected components if n is odd and sixcomponents if n is even.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I A convex projective surface is of form Ω/Γ. Hence,there is a representation π1(Σ)→ Γ determined onlyup to conjugation by PGL(3,R). This gives us a map
hol : D(Σ)→ Hom(π1(Σ),PGL(3,R))/ ∼ .
This map is known to be a local-homeomorphism(Ehresmann, Thurston) and is injective (Goldman)
I The map is in fact a homeomorphism ontoHitchin-Teichmüller component (Goldman, Choi) Themain idea for proof is to show that the image of themap is closed.
I As a consequence, we know that theHitchin-Teichmuller component for PGL(3,R))consists of discrete faithful representations only.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I A convex projective surface is of form Ω/Γ. Hence,there is a representation π1(Σ)→ Γ determined onlyup to conjugation by PGL(3,R). This gives us a map
hol : D(Σ)→ Hom(π1(Σ),PGL(3,R))/ ∼ .
This map is known to be a local-homeomorphism(Ehresmann, Thurston) and is injective (Goldman)
I The map is in fact a homeomorphism ontoHitchin-Teichmüller component (Goldman, Choi) Themain idea for proof is to show that the image of themap is closed.
I As a consequence, we know that theHitchin-Teichmuller component for PGL(3,R))consists of discrete faithful representations only.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I A convex projective surface is of form Ω/Γ. Hence,there is a representation π1(Σ)→ Γ determined onlyup to conjugation by PGL(3,R). This gives us a map
hol : D(Σ)→ Hom(π1(Σ),PGL(3,R))/ ∼ .
This map is known to be a local-homeomorphism(Ehresmann, Thurston) and is injective (Goldman)
I The map is in fact a homeomorphism ontoHitchin-Teichmüller component (Goldman, Choi) Themain idea for proof is to show that the image of themap is closed.
I As a consequence, we know that theHitchin-Teichmuller component for PGL(3,R))consists of discrete faithful representations only.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Generalizations
I Labourie recently generalized this to n ≥ 2,3: Thatthe component of representations that can bedeformed to the Fuschian representation acts on ahyperconvex curve in RPn−1.
I Corollary: Every Hitchin representation is a discretefaithful and “purely loxodromic”. The mapping classgroup acts properly on H(n).
I Burger, Iozzi, Labourie, Wienhard generalized thisresult to maximal representations into other Liegroups.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Generalizations
I Labourie recently generalized this to n ≥ 2,3: Thatthe component of representations that can bedeformed to the Fuschian representation acts on ahyperconvex curve in RPn−1.
I Corollary: Every Hitchin representation is a discretefaithful and “purely loxodromic”. The mapping classgroup acts properly on H(n).
I Burger, Iozzi, Labourie, Wienhard generalized thisresult to maximal representations into other Liegroups.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Generalizations
I Labourie recently generalized this to n ≥ 2,3: Thatthe component of representations that can bedeformed to the Fuschian representation acts on ahyperconvex curve in RPn−1.
I Corollary: Every Hitchin representation is a discretefaithful and “purely loxodromic”. The mapping classgroup acts properly on H(n).
I Burger, Iozzi, Labourie, Wienhard generalized thisresult to maximal representations into other Liegroups.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces and affine differentialgeometry
I John Loftin (simultaneously Labourie) showed usingthe work of Calabi, Cheng-Yau, and C.P. Wang onaffine spheres: Let Mn be a closed projectively flatmanifold.
I Then M is convex if and only if M admits an affinesphere structure in Rn+1.
I For n = 2, the affine sphere structure is equivalent tothe conformal structure on M with a holomorphiccubic-differential.
I In particular, this shows that the deformation spaceD(Σ) of convex projective structures on Σ admits acomplex structure, which is preserved under themoduli group actions. (Is it Kahler?)
I Loftin also worked out Mumford typecompactifications of the moduli space M(Σ) ofconvex projective structures.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces and affine differentialgeometry
I John Loftin (simultaneously Labourie) showed usingthe work of Calabi, Cheng-Yau, and C.P. Wang onaffine spheres: Let Mn be a closed projectively flatmanifold.
I Then M is convex if and only if M admits an affinesphere structure in Rn+1.
I For n = 2, the affine sphere structure is equivalent tothe conformal structure on M with a holomorphiccubic-differential.
I In particular, this shows that the deformation spaceD(Σ) of convex projective structures on Σ admits acomplex structure, which is preserved under themoduli group actions. (Is it Kahler?)
I Loftin also worked out Mumford typecompactifications of the moduli space M(Σ) ofconvex projective structures.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces and affine differentialgeometry
I John Loftin (simultaneously Labourie) showed usingthe work of Calabi, Cheng-Yau, and C.P. Wang onaffine spheres: Let Mn be a closed projectively flatmanifold.
I Then M is convex if and only if M admits an affinesphere structure in Rn+1.
I For n = 2, the affine sphere structure is equivalent tothe conformal structure on M with a holomorphiccubic-differential.
I In particular, this shows that the deformation spaceD(Σ) of convex projective structures on Σ admits acomplex structure, which is preserved under themoduli group actions. (Is it Kahler?)
I Loftin also worked out Mumford typecompactifications of the moduli space M(Σ) ofconvex projective structures.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces and affine differentialgeometry
I John Loftin (simultaneously Labourie) showed usingthe work of Calabi, Cheng-Yau, and C.P. Wang onaffine spheres: Let Mn be a closed projectively flatmanifold.
I Then M is convex if and only if M admits an affinesphere structure in Rn+1.
I For n = 2, the affine sphere structure is equivalent tothe conformal structure on M with a holomorphiccubic-differential.
I In particular, this shows that the deformation spaceD(Σ) of convex projective structures on Σ admits acomplex structure, which is preserved under themoduli group actions. (Is it Kahler?)
I Loftin also worked out Mumford typecompactifications of the moduli space M(Σ) ofconvex projective structures.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective surfaces and affine differentialgeometry
I John Loftin (simultaneously Labourie) showed usingthe work of Calabi, Cheng-Yau, and C.P. Wang onaffine spheres: Let Mn be a closed projectively flatmanifold.
I Then M is convex if and only if M admits an affinesphere structure in Rn+1.
I For n = 2, the affine sphere structure is equivalent tothe conformal structure on M with a holomorphiccubic-differential.
I In particular, this shows that the deformation spaceD(Σ) of convex projective structures on Σ admits acomplex structure, which is preserved under themoduli group actions. (Is it Kahler?)
I Loftin also worked out Mumford typecompactifications of the moduli space M(Σ) ofconvex projective structures.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective 3-manifolds and deformations
I We saw that many 3-manifolds has projectivestructures.
I Cooper showed that RP3#RP3 does not admit a realprojective structures. (answers Bill Goldman’squestion). Other examples?
I We wish to understand the deformation spaces forhigher-dimensional manifolds and so on. (Thedeformation theory is still very difficult for conformalstructures as well.)
I There is a well-known construction of Apanasovusing bending: deforming along a closed totallygeodesic hypersurface.
I Johnson and Millson found deformations ofhigher-dimensional hyperbolic manifolds which arelocally singular. (also bending constructions)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective 3-manifolds and deformations
I We saw that many 3-manifolds has projectivestructures.
I Cooper showed that RP3#RP3 does not admit a realprojective structures. (answers Bill Goldman’squestion). Other examples?
I We wish to understand the deformation spaces forhigher-dimensional manifolds and so on. (Thedeformation theory is still very difficult for conformalstructures as well.)
I There is a well-known construction of Apanasovusing bending: deforming along a closed totallygeodesic hypersurface.
I Johnson and Millson found deformations ofhigher-dimensional hyperbolic manifolds which arelocally singular. (also bending constructions)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective 3-manifolds and deformations
I We saw that many 3-manifolds has projectivestructures.
I Cooper showed that RP3#RP3 does not admit a realprojective structures. (answers Bill Goldman’squestion). Other examples?
I We wish to understand the deformation spaces forhigher-dimensional manifolds and so on. (Thedeformation theory is still very difficult for conformalstructures as well.)
I There is a well-known construction of Apanasovusing bending: deforming along a closed totallygeodesic hypersurface.
I Johnson and Millson found deformations ofhigher-dimensional hyperbolic manifolds which arelocally singular. (also bending constructions)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective 3-manifolds and deformations
I We saw that many 3-manifolds has projectivestructures.
I Cooper showed that RP3#RP3 does not admit a realprojective structures. (answers Bill Goldman’squestion). Other examples?
I We wish to understand the deformation spaces forhigher-dimensional manifolds and so on. (Thedeformation theory is still very difficult for conformalstructures as well.)
I There is a well-known construction of Apanasovusing bending: deforming along a closed totallygeodesic hypersurface.
I Johnson and Millson found deformations ofhigher-dimensional hyperbolic manifolds which arelocally singular. (also bending constructions)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
Projective 3-manifolds and deformations
I We saw that many 3-manifolds has projectivestructures.
I Cooper showed that RP3#RP3 does not admit a realprojective structures. (answers Bill Goldman’squestion). Other examples?
I We wish to understand the deformation spaces forhigher-dimensional manifolds and so on. (Thedeformation theory is still very difficult for conformalstructures as well.)
I There is a well-known construction of Apanasovusing bending: deforming along a closed totallygeodesic hypersurface.
I Johnson and Millson found deformations ofhigher-dimensional hyperbolic manifolds which arelocally singular. (also bending constructions)
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Cooper,Long and Thistlethwaite found a numerical(some exact algebraic) evidences that out of the first1000 closed hyperbolic 3-manifolds in theHodgson-Weeks census, a handful admit non-trivialdeformations of their SO+(3,1)-representations intoSL(4,R); each resulting representation variety thengives rise to a family of real projective structures onthe manifold.
I Benoist and Choi found some class of 3-dimensionalreflection orbifold that has positive dimensionaldeformation spaces. But we haven’t been able tostudy the wider class of reflection orbifolds. (prisms,pyramids, icosahedron,...)
I We have been working algebraically and numericallyfor simple polytopes.
I So far, there are no Gauge theoretic or affine sphereapproach to 3-dimensional projective manifolds.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Cooper,Long and Thistlethwaite found a numerical(some exact algebraic) evidences that out of the first1000 closed hyperbolic 3-manifolds in theHodgson-Weeks census, a handful admit non-trivialdeformations of their SO+(3,1)-representations intoSL(4,R); each resulting representation variety thengives rise to a family of real projective structures onthe manifold.
I Benoist and Choi found some class of 3-dimensionalreflection orbifold that has positive dimensionaldeformation spaces. But we haven’t been able tostudy the wider class of reflection orbifolds. (prisms,pyramids, icosahedron,...)
I We have been working algebraically and numericallyfor simple polytopes.
I So far, there are no Gauge theoretic or affine sphereapproach to 3-dimensional projective manifolds.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Cooper,Long and Thistlethwaite found a numerical(some exact algebraic) evidences that out of the first1000 closed hyperbolic 3-manifolds in theHodgson-Weeks census, a handful admit non-trivialdeformations of their SO+(3,1)-representations intoSL(4,R); each resulting representation variety thengives rise to a family of real projective structures onthe manifold.
I Benoist and Choi found some class of 3-dimensionalreflection orbifold that has positive dimensionaldeformation spaces. But we haven’t been able tostudy the wider class of reflection orbifolds. (prisms,pyramids, icosahedron,...)
I We have been working algebraically and numericallyfor simple polytopes.
I So far, there are no Gauge theoretic or affine sphereapproach to 3-dimensional projective manifolds.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures
I Cooper,Long and Thistlethwaite found a numerical(some exact algebraic) evidences that out of the first1000 closed hyperbolic 3-manifolds in theHodgson-Weeks census, a handful admit non-trivialdeformations of their SO+(3,1)-representations intoSL(4,R); each resulting representation variety thengives rise to a family of real projective structures onthe manifold.
I Benoist and Choi found some class of 3-dimensionalreflection orbifold that has positive dimensionaldeformation spaces. But we haven’t been able tostudy the wider class of reflection orbifolds. (prisms,pyramids, icosahedron,...)
I We have been working algebraically and numericallyfor simple polytopes.
I So far, there are no Gauge theoretic or affine sphereapproach to 3-dimensional projective manifolds.
A survey ofprojectivegeometric
structures on2-,3-manifolds
S. Choi
Outline
ClassicalgeometriesEuclidean geometry
Spherical geometry
Manifolds withgeometricstructures:manifolds needsome canonicaldescriptions..
Manifolds with(real) projectivestructures