• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

185 submissions , 145 unreviewed
4,718 questions , 1,924 unanswered
5,264 answers , 22,441 comments
1,470 users with positive rep
743 active unimported users
More ...

  What exactly is a Cartan radius vector (and its role in Poincaré gauge theories)

+ 5 like - 0 dislike

I am studying approaches to gravity where the Poincaré group is "gauged". The original motivation of this is to understand what is meant on the statement that "Teleparallel gravity is a gauge theory of the translation group". The standard references are highly confusing and imprecise.

The situation with Poincaré-based theories is also messy with lots of papers using very "physicist-y" math where the geometric meaning or even the validity of construction is questionable. I have also found some papers where more rigorous mathematics is employed, however in this case, I have difficulty translating between the two languages.

I suspect I can clarify a great deal of my (mis)understanding if I understand properly what a "Cartan radius vector" is.

  • I am doing a bit of a "translation work" here, so it is also possible I completely misunderstand my references, but it seems to me a "naive" approach to gauging the Poincaré group is to work (at least initially) in flat Minkowski spacetime, (with general curvilinear coordinates $x^\mu$ is necessary) and we are given four functions $y^a$ on the space, which are interpreted as flat/inertial/Cartesian coordinates. In this case a holonomic, orthonormal vielbein is given by $$ \theta^a=\mathrm dy^a. $$ Under a Poincaré transformation with constant coefficients $y^{\prime a}=\Lambda^a_{\ b}y^b+\tau^a$, the vielbein transforms as $$ \theta^{\prime a}=\Lambda^a_{\ b}\theta^b, $$ however under a Poincaré transformation with point-dependent coefficients, this is not the case. $$\\$$We can save the day however by considering the inertial coordinates $y^a$ as some kind of section of an affine bundle, and introduce the affine connection $$ \mathscr Dy^a=\mathrm dy^a+\Gamma^a_{\ b}y^b+B^a, $$ and define $\theta^a=\mathscr Dy^a$. $$ \\ $$ From this point on, however it gets fuzzy, because teleparallel gravitists (see for ex. Aldrovandi, Pereira) tend to use this expression to define the vielbein. $$ \\ $$ But in for example Metric-affine gauge theory of gravity by Hehl et al. it is stated that $y^a$ is the "Cartan radius vector" if $B^a=0$, and also that in order to have the $(\theta^a,\Gamma^a_{\ b})$ double as a Cartan-connection, we must have (here apparantly only the linear part of the conenction is used) $$ Dy^a=\mathrm dy^a+\Gamma^a_{\ b}y^b=0. $$
  • A bit later in the same Hehl paper, it is stated that the Cartan radius vector is defined by the equation (they used the notation $\xi$ for what I called $y$ before as well) $$ D\xi^a=\theta^a. $$ Here apprantly it is a linear object, not an affine one, and the covariant derivative $D$ is linear, and is claimed that the above equation is not totally integrable in general, but if integrated along an infinitesimal loop, it gives essentially affine holonomy of the form $$ \Delta\xi^a=\frac{1}{2}\left(R^a_{\ b\mu\nu}\xi^b+T^a_{\ \mu\nu}\right)\mathrm dx^\mu\wedge\mathrm dx^\nu. $$
  • Based on what I have read about Cartan connections, one can describe a Cartan connection modelled on $G/H$ by having a $G$-fiber bundle $(E,\pi,M,G/H,G)$ with typical fiber $G/H$, an Ehresmann $G$-connection on $E$ specified by a vertical projector $\mathrm v:TE\rightarrow VE$, and a section $s:M\rightarrow E$ such that the pullback $$ s^\ast\mathrm v|_x:T_xM\rightarrow V_{s(x)}E\simeq\mathfrak g/\mathfrak h $$ is an isomorphism. $$\\$$ Here the section $s$ has interpretation of specifying the point of contact between the model geometry $E_x$ and the manifold $M$, and the last condition states that at the point of contact the tangent space of the model geometry must be isomorphic to the tangent space of the base geometry. $$ \\ $$ In fibred coordinates $(x^\mu,y^a)$ for $E$, we can write the connection as $$ \mathrm v=\partial_a\otimes\left( \mathrm dy^a+\Gamma^a(x,y) \right). $$ In case we have $G=\text{ISO}(3,1)$ and $H=\text{SO}(3,1)$, the model space is $G/H\simeq\mathbb R^4$ the affine Minkowski space, and the connection is $$ \mathrm v=\partial_a\otimes(\mathrm dy^a+\Gamma^a_{\ b}(x)y^b+B^a(x)), $$ since $G$ is an affine group, and the pullback condition is that $$ s^\ast\mathrm v=\partial_a\otimes(\mathrm ds^a(x)+\Gamma^a_{\ b}(x)s^b(x)+B^a(x)) $$ is nondegenerate. But this is basically the affine covariant derivative of $s$.

So my question is, how are the objects $y^a$, $\xi^a$, $s$ defined in my bullet points related? What is it we actually mean under a Cartan radius vector? What is its interpretation?

It is clear to me that my $y^a$ in the first bullet point is basically $s$ (in the last bullet point), however confusingly, Hehl says that our affine connection is a Cartan connection if $dy^a+\Gamma^a_{\ b}y^b=0$, which seems to me that i) is impossible to be integrated in general, ii) is in conflict with the more abstract definition in the third bullet point, where for the connection to be Cartan it is enough that $dy^a+\Gamma^a_{\ b}y^b+B^a$ is nondegenerate (which is consistent with the interpretation of $\mathscr D y^a$ as a vielbein).

But I also know that a Cartan connection is, from another point of view, basically a coframe and a linear connection together, and $B^a$ is not in general a coframe in terms of transformation properties, as it has been elucidated by Hehl.

I basically would like to clarify this mess into something coherent. References for papers treating Poincaré gauge gravity with mathematic rigour, consistency and geometric clarity is something I also would like.

This post imported from StackExchange MathOverflow at 2019-08-21 22:42 (UTC), posted by SE-user Bence Racskó
asked May 13, 2019 in Theoretical Physics by Bence Racskó (25 points) [ no revision ]
retagged Aug 22, 2019

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights