18
$\begingroup$

I would like to learn more about Cartan Geometry ("les espaces généralisés de Cartan"). I ordered Rick Sharpe's book "Differential Geometry: Cartan's generalization...", which would take a long time to arrive though. In the mean time, can someone recommend possibly some online lecture notes, or some online papers containing an introduction to Cartan Geometry, with I hope several examples worked out?

I kind of get what it is. When you model it on Euclidean geometry, it yields Riemannian Geometry. When you model it on affine space, it yields a manifold with an affine connection. When you model it on G/H, it gives a kind of curved space, which looks infinitesimally like G/H. Ok, this is the rough idea, but I would like to learn a bit more. Does anyone know of a few online resources on the topic by any chance?

Edit 1: I thank everyone who replied. I have learned a lot from various people, and I thank you all.

Edit 2: Check out the very nice and short introduction to Cartan geometry by Derek Wise (it is very well written and concise):

https://arxiv.org/abs/gr-qc/0611154

A hilarious point in the explanation, is the image of a hamster rolling inside a sphere tangent to the manifold (followed by expressions such as "hamster configurations" etc). It was really funny, and it explained the idea very well. I just realized that it is a shortened version of Derek Wise's thesis, which Tobias Fritz had already suggested as a reference in the comments below (thank you!).

Edit 3: R. Sharpe's book has arrived. I find it interesting that R. Sharpe's motivation for writing the book was this question "why is Differential Geometry the study of a connection on a principal bundle?". He wrote that he kept bugging differential geometers with this question, and that attempting to answer this question eventually led him to write his book on Cartan geometry! I appreciate anecdotes like this one.

$\endgroup$
3
  • 6
    $\begingroup$ Bill Goldman has written some very nice papers explaining the theory of flat Cartan geometries: "Locally homogeneous geometric manifolds" and "Geometric structures on manifolds". My work on Cartan geometries consists in (1) look at the flat cases and then (2) argue that the curved cases are not much different. $\endgroup$
    – Ben McKay
    Aug 6, 2017 at 20:23
  • 3
    $\begingroup$ Derek Wise's thesis at math.ucr.edu/home/baez/thesis_wise.pdf also contains a nice introduction. $\endgroup$ Aug 6, 2017 at 22:52
  • $\begingroup$ I am currently reading a paper by Derek Wise: arxiv.org/abs/gr-qc/0611154 It has a very nice introduction to Cartan geometry with some nice figures. $\endgroup$
    – Malkoun
    Aug 7, 2017 at 9:30

3 Answers 3

11
$\begingroup$

There is a series of four recorded lectures by Rod Gover introducing conformal geometry and tractor calculus. Tractor bundles are natural bundles equipped with canonical linear connections associated to $(\mathfrak{g}, H)$-modules. Tractor connections play the same role in general Cartan geometries that the Levi-Civita connection plays in Riemannian geometry; for general Cartan geometries the tangent bundle does not have a canonical linear connection.

There's also a set of introductory notes on conformal tractor calculus written by Rod Gover and Sean Curry.

If you have the book in your library, I would also suggest having a look at Cap & Slovak's Parabolic Geometries text. This is the modern bible on Cartan geometry, and parabolic geometries in particular. It is more terse than Sharpe, but also covers much more. Parabolic geometries are Cartan geometries modelled on $(\mathfrak{g}, P)$ where $\mathfrak{g}$ is semisimple and $P$ is a parabolic subgroup. Parabolic geometries include conformal, projective geometry, CR geometry, and many more geometries of interest.

In the parabolic setting representation-theoretic tools are often used to construct invariant differential operators. For instance, there are so-called BGG sequences of operators associated to irreducible representations, which in the flat case compute the same sheaf cohomology groups as the twisted de Rham sequence.

$\endgroup$
6
  • 1
    $\begingroup$ It sounds interesting! Thank you, I will have a look. I think I have stumbled upon the expression "tractor calculus" or something close, but did not know that it was directly related to Cartan geometry. Thank you! $\endgroup$
    – Malkoun
    Aug 6, 2017 at 9:23
  • $\begingroup$ Thank you. It looks like Gover and Curry applied Cartan geometry modeled on the conformal sphere to get various conformally invariant tensor quantities. It is very interesting, but do you know of some other references where they discuss more the Cartan geometry part please? $\endgroup$
    – Malkoun
    Aug 6, 2017 at 9:37
  • 1
    $\begingroup$ So that's what "parabolic geometry" means! Ok, in some sense Cartan geometry modeled on a kind of generalized partial flag manifold (I am not sure if I am using the words right). Thank you again. I will accept your answer. $\endgroup$
    – Malkoun
    Aug 6, 2017 at 9:46
  • 1
    $\begingroup$ Regarding BGG resolutions, Baston and Eastwood wrote a book entitled "The Penrose Transform", where they apply the BGG resolutions to Twistor theory (this is how I have first learned about them). BGG resolutions are more efficient than De Rham, being adapted to the given parabolic geometry. Parabolic geometries are broad enough to include the Cartan geometries that I am interested in at the moment. Thank you for this informative reply. $\endgroup$
    – Malkoun
    Aug 6, 2017 at 10:04
  • 1
    $\begingroup$ Indeed, the paper of Calderbank and Diemmer is in my opinion the best text that deals with general BGG sequences. I'm working on implementing the underlying combinatorial calculations in Sage (sagemath.org) but my progress is slow as I don't have any financial support at the moment. $\endgroup$ Aug 7, 2017 at 0:44
10
$\begingroup$

You can download some shorter text dealing with conformal geometries from Slovák's homepage One could download his book with Čap from the infamous Russian server (which appears to be down at the moment). I'm not sure whether the Sharpe's book is there as well.

I think a really good introductory text is the book Cartan for beginners by Ivey and Landsberg which doesn't really deal with Cartan geometries per se but rather teaches the Cartan method which, in a sense, is precisely the machinery that really makes the Cartan geometries work.

Tractor connections and tractor bundles are not really part of Cartan geometries but rather an independent (and in many cases equivalent) approach to study geometrical problems. In conformal geometry they were discovered by T. Y. Thomas in the mid twenties. See Thomas's structure bundle for conformal, projective and related structures. for details.

$\endgroup$
7
  • 1
    $\begingroup$ Thank you so much. I am not completely ignorant of Cartan's methods, but I am always willing to learn more. There is a lot I don't understand deeply though. I have downloaded the text by Slovák, thanks. Now I have a lot to read. I really like that the Cartan point of view, particularly Cartan geometry, provides a general and unifying point of view for differential geometry (Riemannian, conformal, projective etc.). $\endgroup$
    – Malkoun
    Aug 6, 2017 at 12:45
  • 2
    $\begingroup$ I guess the notorious difficulty of Cartan's papers has something to do with that. :) Sharpe's book explains this unifying point of view really well. It's point of view is that a Cartan geometry is to Klein geometry what Riemannian geometry is to Euclidean geometry. $\endgroup$ Aug 6, 2017 at 12:50
  • 1
    $\begingroup$ I agree that E. Cartan is difficult to read. $\endgroup$
    – Malkoun
    Aug 6, 2017 at 12:51
  • $\begingroup$ I would say that tractor connections are part of Cartan geometry. You can define them as associated bundles to the Cartan principal bundle which come from $(\mathfrak{g}, H)$-modules. It's just a matter of perspective whether you want to build the Cartan principal bundle first and then take associated bundles, or construct tractor bundles and then take their frame bundles (for faithful reps). $\endgroup$
    – ಠ_ಠ
    Aug 6, 2017 at 19:22
  • 1
    $\begingroup$ Minor non-technical note: did you perhaps mean Kazakh instead of Russian? $\endgroup$
    – Ben Burns
    Aug 7, 2017 at 0:25
4
$\begingroup$

I wrote an introduction to Cartan geometries. I am still working on it.

$\endgroup$
4
  • $\begingroup$ Thank you so much for writing it! It looks like a really nice document, very well latex-ed and with many figures. $\endgroup$
    – Malkoun
    Mar 31, 2023 at 21:00
  • $\begingroup$ I've been looking for a source that derives Cartan's first structure equation in the language of this link math.berkeley.edu/~bmcmilla/Talks/…, and your book seems to get pretty close but I can't find it. Any pointers? $\endgroup$
    – level1807
    Mar 10 at 15:33
  • $\begingroup$ @level1807: you could try Robbie Gardiner's book The Method of Equivalence and its Applications, to derive the structure equations of a G-structure. It is a very nice book. You might want to approach his choice of normalization of torsion with some skepticism. $\endgroup$
    – Ben McKay
    Mar 11 at 20:20
  • $\begingroup$ @BenMcKay Thanks! $\endgroup$
    – level1807
    Mar 14 at 18:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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