Principal branch: Difference between revisions
en>SmackBot m Dated {{Dead link}}. (Build p611) |
en>Addbot m Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q2923691 |
||
Line 1: | Line 1: | ||
The | {{norefs|date=May 2007}} | ||
{{Context|date=October 2009}} | |||
{{Merge to|tetrad formalism|date=September 2011}} | |||
: ''This page covers applications of the '''Cartan formalism'''. For the general concept see [[Cartan connection]].'' | |||
The '''vierbein''' or '''[[tetrad (general relativity)|tetrad]]''' theory much used in theoretical physics is a special case of the application of [[Cartan connection]] in four-dimensional [[manifold]]s. It applies to metrics of any signature. (See [[metric tensor]].) This section is an approach to tetrads, but written in general terms. In dimensions other than 4, words like '''triad''', '''pentad''', '''zweibein''', '''fünfbein''', '''elfbein''' etc. have been used. '''Vielbein''' covers all dimensions. (In German, ''vier'' stands for four and ''viel'' stands for many.) | |||
For a basis-dependent index notation, see [[tetrad (index notation)]]. | |||
==The basic ingredients== | |||
Suppose we are working on a [[differential manifold]] ''M'' of dimension ''n'', and have fixed natural numbers ''p'' and ''q'' with | |||
:''p'' + ''q'' = ''n''. | |||
Furthermore, we assume that we are given a [[generalized special orthogonal group|SO(''p'', ''q'')]] [[principal bundle]] ''B'' over ''M'' and a [[vector bundle|SO(''p'', ''q'')-vector bundle]] ''V'' associated to ''B'' by means of the natural ''n''-dimensional [[representations of Lie groups/algebras|representation]] of SO(''p'', ''q''). Equivalently, ''V'' is a rank ''n'' real vector bundle over ''M'', | |||
equipped with a [[Metric (mathematics)|metric]] η with [[metric signature|signature]] (''p'', ''q'') (aka non degenerate [[quadratic form]]).<ref name=spin(p,q)>A variant of the construction uses reduction to a [[spin group|Spin(''p'', ''q'')]] principal [[spin bundle]]. In that case, the principal bundle contains more information than the bundle ''V'' together with the metric η, which is needed to construct [[spinor]]ial fields.</ref> | |||
The basic ingredient of the Cartan formalism is an [[invertible]] [[linear map]] <math>e\colon{\rm T}M\to V</math>, between [[vector bundle]]s over ''M'' where T''M'' is the [[tangent bundle]] of ''M''. The invertibility condition on ''e'' is sometimes dropped. In particular if ''B'' is the trivial bundle, as we can always assume locally, | |||
''V'' has a basis of orthogonal sections | |||
<math>f_a = f_1 \ldots f_n</math>. With respect to this basis | |||
<math> \eta_{ab} = \eta(f_a, f_b) = {\rm diag}(1,\ldots 1, -1, \ldots, -1)</math> is a constant matrix. For a choice of local coordinates <math>x^\mu = x^{-1}, \ldots, x^{-n}</math> on ''M'' (the negative indices are only to distinguish them from the indices labeling the <math>f_a</math>) and a corresponding local frame | |||
<math>\partial_\mu = \frac{\partial}{\partial x^\mu}</math> of the tangent bundle, the map ''e'' is determined by the images | |||
of the basis sections | |||
:<math> e_a := e(f_a) := e^\mu_a \partial_\mu.</math> | |||
They determine a (non coordinate) basis of the tangent bundle (provided ''e'' is invertible and only locally if B is only locally trivialised). The matrix <math>e^\mu_a , \mu = -1, \dots, -n, a = 1, \dots, n</math> is called the [[tetrad (general relativity)|tetrad, vierbein, vielbein etc.]]. | |||
Its interpretation as a local frame crucially depends on the implicit choice of local bases. | |||
Note that an isomorphism | |||
<math>V \cong {\rm T}M</math> gives a [[principal bundle#reduction|reduction]] <math>B \to {\rm Fr}(M)</math> of the [[frame bundle]], the principal bundle of the tangent bundle. In general, such a reduction is impossible for topological | |||
reasons. Thus, in general for continuous maps ''e'', one cannot avoid that ''e'' becomes degenerate at some points of ''M''. | |||
==Example: general relativity== | |||
{{Main|Frame fields in general relativity}} | |||
We can describe geometries in [[general relativity]] in terms of a tetrad field instead of the usual metric tensor field. The metric tensor <math>g_{\alpha\beta}\!</math> gives the [[inner product]] in the [[tangent space]] directly: | |||
:<math> \langle \mathbf{x},\mathbf{y} \rangle = g_{\alpha\beta} \, x^{\alpha} \, y^{\beta}.\, </math> | |||
The tetrad <math>e_{\alpha}^i</math> may be seen as a (linear) map from the tangent space to Minkowski space that preserves the inner product. This lets us find the inner product in the tangent space by mapping our two vectors into Minkowski space and taking the usual inner product there: | |||
:<math> \langle \mathbf{x},\mathbf{y} \rangle = \eta_{ij} (e_{\alpha}^i \, x^{\alpha}) (e_{\beta}^j \, y^{\beta}).\, </math> | |||
Here <math>\alpha</math> and <math>\beta</math> range over tangent-space coordinates, while <math>i</math> and <math>j</math> range over Minkowski coordinates. The tetrad field <math>e_{\alpha}^i(\mathbf{x})</math> defines a metric tensor field via the pullback <math>g_{\alpha\beta}(\mathbf{x}) = \eta_{ij} \, e_{\alpha}^i(\mathbf{x}) \, e_{\beta}^j(\mathbf{x})</math>. | |||
==Constructions== | |||
A ([[pseudo-Riemannian manifold|pseudo-]])[[Riemannian metric]] is defined over ''M'' as the [[pullback (differential geometry)|pullback]] of η by ''e''. To put it in other words, if we have two sections of T''M'', '''X''' and '''Y''', | |||
:''g''('''X''','''Y''') = η(''e''('''X'''), ''e''('''Y''')). | |||
A [[connection form|connection]] over ''V'' is defined as the unique connection '''A''' satisfying these two conditions: | |||
* ''d''η(a,b) = η(''d''<sub>'''A'''</sub>''a'',''b'') + η(''a'',''d''<sub>'''A'''</sub>''b'') for all differentiable sections ''a'' and ''b'' of ''V'' (i.e. ''d''<sub>'''A'''</sub>η = 0) where d<sub>'''A'''</sub> is the [[covariant exterior derivative]]. This implies that '''A''' can be extended to a [[connection form|connection]] over the SO(''p'',''q'') [[principal bundle]]. | |||
* ''d''<sub>'''A'''</sub>''e'' = 0. The quantity on the left hand side is called the [[torsion coefficient|torsion]]. This basically states that <math>\nabla</math> defined below is torsion-free. This condition is dropped in the [[Einstein-Cartan theory]], but then we cannot define '''A''' uniquely anymore. | |||
This is called the '''spin connection'''. | |||
Now that we have specified '''A''', we can use it to define a connection ∇ over T''M'' via the [[isomorphism]] ''e'': | |||
:''e''(∇'''X''') = ''d''<sub>'''A'''</sub>''e''('''X''') for all differentiable sections '''X''' of T''M''. | |||
Since what we now have here is a SO(''p'',''q'') [[gauge theory]], the curvature '''F''' defined as <math>\bold{F}\ \stackrel{\mathrm{def}}{=}\ d\bold{A}+\bold{A}\wedge\bold{A}</math> is pointwise gauge covariant. This is simply the [[Riemann tensor|Riemann curvature tensor]] in a different form. | |||
An alternate notation writes the [[connection form]] '''A''' as ω, the [[curvature form]] '''F''' as Ω, the canonical vector-valued 1-form ''e'' as θ, and the [[exterior covariant derivative]] <math>d_A</math> as ''D''. | |||
==The Palatini action== | |||
In the tetrad formulation of general relativity, the [[action (physics)|action]], as a [[functional (mathematics)|functional]] of the vierbein e and a [[connection form]] <math>\omega</math>, with an associated field strength <math>\Omega = D\omega = d\omega + \omega \wedge \omega</math>, over a four-dimensional [[differentiable manifold]] ''M'' is given by | |||
:<math>S\ \stackrel{\mathrm{def}}{=}\ M^2_{pl}\int_M \epsilon_{abcd}( e^{a} \wedge e^{b} \wedge \Omega^{cd}) = M^2_{pl}\int_M d^4x \epsilon^{\mu \nu \rho \sigma} \epsilon_{abcd} e^a_{\mu} e^b_{\nu} R^{cd}_{\rho \sigma}[\omega] </math> | |||
:<math> = M^2_{pl}\int |e| d^4 x \frac{1}{2} e^{\mu}_a e^{\nu}_b R^{ab}_{\mu \nu} </math> | |||
:<math> = \frac{c^4}{16 \pi G} \int d^4x \sqrt{-g} R[g]</math> | |||
where <math>\Omega_{\mu \nu} ^{ab} = R_{\mu \nu} ^{ab}</math> is the [[gauge curvature]] [[2-form]], <math>\epsilon_{abcd}</math> is the antisymmetric [[Levi-Civita symbol]], and that <math>|e| = \epsilon^{\mu \nu \rho \sigma} \epsilon_{abcd} e^a_{\mu}e^b_{\nu}e^c_{\rho}e^d_{\sigma}</math> is the determinant of <math>e_{\mu}^a</math>. Here we see that the differential form language leads to an equivalent action to that of the normal [[Einstein–Hilbert action]], using the relations <math> |e| = \sqrt{-g}</math> and <math> R^{\lambda \sigma}_{\mu \nu}= e^{\lambda}_a e^{\sigma}_b R^{ab}_{\mu \nu} </math>. Note that in terms of the Planck mass, we set <math> \hbar = c =1</math>, whereas the last term keeps all the SI unit factors. | |||
Note that in the presence of [[spinor field]]s, the Palatini action implies that <math>d\omega</math> is nonzero. So there's a non-zero [[torsion tensor| torsion]], i.e. that <math> \hat{\omega}^{ab}_{\mu} = \omega^{ab}_{\mu} + K^{a b}_{\mu}</math>. See [[Einstein-Cartan theory]]. | |||
== Notes == | |||
<references /> | |||
{{tensors}} | |||
{{DEFAULTSORT:Cartan Formalism (Physics)}} | |||
[[Category:Differential geometry]] | |||
[[Category:Mathematical methods in general relativity]] | |||
[[Category:Connection (mathematics)]] |
Revision as of 22:59, 11 March 2013
Template:Norefs
My name is Jestine (34 years old) and my hobbies are Origami and Microscopy.
Here is my web site; http://Www.hostgator1centcoupon.info/ (support.file1.com)
Hostgator is a large independently possessed hosting business operating from several state of the art centers in Dallas, Texas. Hostgator was founded in 2002, because then they have actually expanded rapidly and currently host over 400,000 websites.
Hostgator offers numerous different hosting packages, and deal with a broad array of customers. From the first time webmaster who needs simple, stress cost-free hosting for their personal website; all the way with to big corporations, who require specialist devoted hosting services.
Hostgator's hosting packages can be split into 3 teams; basic shared hosting plans (suitable for the huge bulk people), reseller hosting strategies (these are generally for people and companies that want to "resell" their account resources to consumers of their own), and lastly committed server strategies (these accounts give client their own server, so they don't have to share its resources with anyone else). Really few of us will every need a devoted server so this testimonial will focus on the shared hosting strategies that Hostgator offer.
Attributes
Hostgator's 3 major shared hosting plans are named: "Hatchling" (the entry level plan priced at $6.95 / month), "Child" (this is the most popular plan, and it is likely to satisfy the requirements of a really wide range of customers), and "Swamp" (similar as the "Baby" plan, however with increases in bandwidth and disk space, priced at $14.95 / month).
For a complete list of features and a side by side contrast of all hosting strategies you should see Hostgator's website below. Below is a testimonial of the most vital features of the "Baby" strategy, this is most likely the most ideal plan for the majority of users, and it is our favorite plan.
Disk space 100GB - This amount has actually been just recently upgraded by Hostgator from 5GB to a huge 100GB. All users are most likely to discover it impossible to tire this quantity of disk space.
Bandwidth 1000GB/month - Also enhanced is the bandwidth allotment, from 75GB to a relatively extreme 1000GB. Once again virtually absolutely no opportunity of making use of all that, but it's good to understand that you absolutely won't be dealing with additional costs for reviewing your limitation, even if you have an extremely hectic internet site(s).
Website Studio website home builder - This is an excellent free program that permits you to build your site from scratch. You have over 500 design templates and color schemes to select from. You require no HTML experience, or code writing understanding. It provides the most basic possible method of making an expert looking site in a really short area of time. Nonetheless, there is no have to take my word for it, as Hostgator offers us with a trial version of the software application on their internet site!
Unrestricted add-on domains - This truly is the stand out function of this hosting plan (the "Hatchling" strategy just permits 1 domain), and allows you to host as lots of internet sites as you like on a single account, at no additional expense. This permits you to make full use of your massive bandwidth and disk space allowances, and host numerous internet sites at a portion of the regular cost.
99.9 % Uptime guarantee - This generally tells us that Hostgator is a significant host offering a trusted service. If uptime drops below this figure in any provided month then you do not spend for that months hosting, it's as basic as that! We would never ever think about making use of a host that did not provide a strong uptime assurance; this is simply because there is only one great reason why a host will not offer an uptime assurance - undependable uptime!
30 Day money back guarantee - This has become a pretty conventional function in the webhosting community, though it's good to have for added assurance.
Immediate setup - Many hosting providers take 24-48 hours to setup your account however Hostgator guarantees to have you up and running in under 15 minutes (they do not charge a setup charge either)!
Endless MySQL databases - This is really helpful because each Fantastico (see below) script requires its own MySQL database.
Fantastico DeLuxe - This remarkable program permits you to instantly install over 50 scripts through your control board. Scripts include blog sites, forums, galleries, buying carts, and more.
If you cherished this article and also you would like to receive more info pertaining to Hostgator Coupons generously visit our own web site. Unrestricted e-mail accounts - Permits you to have as many, or as few, different email addresses as you like.
It contains numerous features and offers good performance. Best of all, there is a complete working demo on the Hostgator website, so you can test it out yourself!
Customer service and technical support
Hostgator offers us 24/7 phone support, and live online chat. The fact that you are provided 2 options to receive instantaneous technical support at any time of the day is excellent. Our experience has actually always been really good when speaking to Hostgator, their operatives are extremely respectful and most significantly they appear to understand their things when dealing with technical issues.
Performance
The efficiency from Hostgator's servers is outstanding! Hostgator location much tighter limitations on the variety of websites sharing the exact same server compared with most various other shared hosting carriers. This offers higher dependability since less stress is put on the servers; and it also greatly enhances the rate at which your web pages run.
Server efficiency is an additional one of the essential areas where Hostgator distinguish themselves from the crowd of various other host.
Our decision
Overall there is so much to such as about the method Hostgator does company, they actually do appear to have a great grasp on what the typical customer requires from a web hosting provider. Rarely do you come across reports of unhappy Hostgator customers, and after hosting with them ourselves we now understand why! At simply $9.95 / month for the "Baby" strategy (which includes limitless domains); anyone looking to host more than one internet site has a rather easy decision to make.
- This page covers applications of the Cartan formalism. For the general concept see Cartan connection.
The vierbein or tetrad theory much used in theoretical physics is a special case of the application of Cartan connection in four-dimensional manifolds. It applies to metrics of any signature. (See metric tensor.) This section is an approach to tetrads, but written in general terms. In dimensions other than 4, words like triad, pentad, zweibein, fünfbein, elfbein etc. have been used. Vielbein covers all dimensions. (In German, vier stands for four and viel stands for many.)
For a basis-dependent index notation, see tetrad (index notation).
The basic ingredients
Suppose we are working on a differential manifold M of dimension n, and have fixed natural numbers p and q with
- p + q = n.
Furthermore, we assume that we are given a SO(p, q) principal bundle B over M and a SO(p, q)-vector bundle V associated to B by means of the natural n-dimensional representation of SO(p, q). Equivalently, V is a rank n real vector bundle over M, equipped with a metric η with signature (p, q) (aka non degenerate quadratic form).[1]
The basic ingredient of the Cartan formalism is an invertible linear map , between vector bundles over M where TM is the tangent bundle of M. The invertibility condition on e is sometimes dropped. In particular if B is the trivial bundle, as we can always assume locally, V has a basis of orthogonal sections . With respect to this basis is a constant matrix. For a choice of local coordinates on M (the negative indices are only to distinguish them from the indices labeling the ) and a corresponding local frame of the tangent bundle, the map e is determined by the images of the basis sections
They determine a (non coordinate) basis of the tangent bundle (provided e is invertible and only locally if B is only locally trivialised). The matrix is called the tetrad, vierbein, vielbein etc.. Its interpretation as a local frame crucially depends on the implicit choice of local bases.
Note that an isomorphism gives a reduction of the frame bundle, the principal bundle of the tangent bundle. In general, such a reduction is impossible for topological reasons. Thus, in general for continuous maps e, one cannot avoid that e becomes degenerate at some points of M.
Example: general relativity
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.
We can describe geometries in general relativity in terms of a tetrad field instead of the usual metric tensor field. The metric tensor gives the inner product in the tangent space directly:
The tetrad may be seen as a (linear) map from the tangent space to Minkowski space that preserves the inner product. This lets us find the inner product in the tangent space by mapping our two vectors into Minkowski space and taking the usual inner product there:
Here and range over tangent-space coordinates, while and range over Minkowski coordinates. The tetrad field defines a metric tensor field via the pullback .
Constructions
A (pseudo-)Riemannian metric is defined over M as the pullback of η by e. To put it in other words, if we have two sections of TM, X and Y,
- g(X,Y) = η(e(X), e(Y)).
A connection over V is defined as the unique connection A satisfying these two conditions:
- dη(a,b) = η(dAa,b) + η(a,dAb) for all differentiable sections a and b of V (i.e. dAη = 0) where dA is the covariant exterior derivative. This implies that A can be extended to a connection over the SO(p,q) principal bundle.
- dAe = 0. The quantity on the left hand side is called the torsion. This basically states that defined below is torsion-free. This condition is dropped in the Einstein-Cartan theory, but then we cannot define A uniquely anymore.
This is called the spin connection.
Now that we have specified A, we can use it to define a connection ∇ over TM via the isomorphism e:
- e(∇X) = dAe(X) for all differentiable sections X of TM.
Since what we now have here is a SO(p,q) gauge theory, the curvature F defined as is pointwise gauge covariant. This is simply the Riemann curvature tensor in a different form.
An alternate notation writes the connection form A as ω, the curvature form F as Ω, the canonical vector-valued 1-form e as θ, and the exterior covariant derivative as D.
The Palatini action
In the tetrad formulation of general relativity, the action, as a functional of the vierbein e and a connection form , with an associated field strength , over a four-dimensional differentiable manifold M is given by
where is the gauge curvature 2-form, is the antisymmetric Levi-Civita symbol, and that is the determinant of . Here we see that the differential form language leads to an equivalent action to that of the normal Einstein–Hilbert action, using the relations and . Note that in terms of the Planck mass, we set , whereas the last term keeps all the SI unit factors.
Note that in the presence of spinor fields, the Palatini action implies that is nonzero. So there's a non-zero torsion, i.e. that . See Einstein-Cartan theory.
Notes
- ↑ A variant of the construction uses reduction to a Spin(p, q) principal spin bundle. In that case, the principal bundle contains more information than the bundle V together with the metric η, which is needed to construct spinorial fields.