# Gauge Theory of Gravitation --A Unified Formulation of Poincare and (Anti-}De Sitter Gauge Theories--

Size: px
Start display at page:

Download "Gauge Theory of Gravitation --A Unified Formulation of Poincare and (Anti-}De Sitter Gauge Theories--"

Transcription

1 711 Progress of Theoretical Physics, Vol. 80, No.4, October 1988 Gauge Theory of Gravitation --A Unified Formulation of Poincare and (Anti-}De Sitter Gauge Theories-- Takeshi SHIRAFUJI and Masahumi SUZUKI Physics Department, Saitama University, Urawa 338 (Received May 28, 1988) We formulate the (anti-)de Sitter gauge theory by requiring the ';-scale invariance besides the (anti-)de Sitter gauge invariance. Owing to the former invariance, the resultant theory does not depend on the dimensional constant which specifies the constant curvature of the initial (anti-)de Sitter spacetime. A metric and an affine connection can be defined on spacetime in a ';-scale invariant manner. The spacetime then becomes a Riemann-Cartan space, and its curvature and torsion are just the two ';-scale invariant parts of the (anti-)de Sitter gauge field strength. The Poincare gauge theory is reproduced in a special gauge. We also discuss the (anti-)de Sitter gauge useful for studying global aspects of asymptotically non-flat spacetimes. 1. Introduction Gauge theory of gravity was first formulated by Utiyama as the gauge theory of the Lorentz group/) then by Nakano as that of the translation group,2) and finally by Kibble as that of the Poincare group (Poincare gauge theory or "PGT" for brevity):3) Gauging the Poincare group introduces two kinds of gauge fields, the translation gauge field and the Lorentz gauge field. The underlying spacetime is a Riemann Cart an space with a metric and a nonsymmetric affine connection, and it is characterized by the curvature and the torsion which are identified with the Lorentz and the translation gauge field strengths, respectively. This theory of gravity is based on the gravitational Lagrangian given by a sum of linear and quadratic invariants of curvature and torsion, and provides a general framework to describe the gravitational interaction in microscopic world. 4 )-7) The PGT is constructed by starting from Minkowski spacetime where special relativistic law is valid. This seems quite natural because special relativity has been confirmed to the highest energies available at present. As is well known, however, exact solutions of the PGT are not in general asymptotically flat, but asymptotically approach spacetime with constant curvature (namely, de Sitter or anti-de Sitter spacetime).8) Accordingly, we could reasonably anticipate that we would be led to the PGT even if we started from de Sitter (or anti-de Sitter) spacetime instead of Minkowski spacetime. The purpose of this paper'is to show that this is indeed the case. The de Sitter gauge theory (or "dsgt") is formulated by gauging the isometry group 0(4,1) of de Sitter spacetime, and the anti-de Sitter gauge theory (or "AdSGT") is obtained by gauging the isometry group 0(3,2) of anti-de Sitter spacetime. 9 )-:-18) We shall denote by R({ })=121]/.Q2 the constant curvature of the initial spacetime of which the isometry group is gauged. Here.Q is a positive constant with dimension of length, and 1]= + 1 for the dsgt and 1]= -1 for the AdSGT. Then the dimensional

2 712 T. Shirajuji and M. Suzuki constant Q enters the resultant theory,and we denote it by dsgt[q] (or AdSGT[Q]) when it is necessary to specify the constant curvature of the initial spacetime. In the dsgt and AdSGT formulated in the past, the Q was considered to be a fundamental constant of the theory, and two arguments were put forward about the transition of dsgt (or AdSGT) to PGT: One is to take the limit Q_HlO,9),10) and the other is based on the symmetry breaking of the gauge group from 0(4,1) (or 0(3,2» to 0(3, 1).12H8) In this paper we take a different standpoint: We do not take Q as a fundamental constant, but construct the dsgt (and AdSGT) by requiring it to be independent of the value of Q. The resultant theory is then shown to coincide with the PGT. In order to do this, we introduce a transformation which defines a correspondence between dsgt[q] and dsgt[q'=aq] (or between AdSGT[Q] and AdSGT[Q'=AQ]) with A being a positive constant parameter. Under this transformation, the fivedimensional vector field.;a(x), which is. a generalization of the five-dimensional coordinate function specifying the initial de Sitter (or anti-de Sitter) spacetime as a hypersurface in a five-dimensional flat space, is scaled as,;ra(x)= A.;a(x), and the gauge field A ab vex) is changed so that the spacetime metric be kept unchanged: Furthermore, this transformation does not involve any coordinate change. We shall refer to this transformation as the ';-scale transformation. The matter fields, such as the spinor fields representing quarks and leptons, are assumed to be left unchanged under ';-scale transformations. It is then shown that the spinor wave equation is also ';-scale invariant. We shall require the equivalence between dsgt[q] and dsgt[q'] (or AdSGT[Q] and AdSGT[Q']): More specifically, we shall postulate that the gravitational action be invariant under both gauge and ';-scale transformations. It is then found that the gravitational Lagrangian is made of the invariants formed of the spacetime metric, the curvature and the torsion. The basic properties of (anti-)de Sitter spacetime are briefly reviewed in 2 in order to fix our notations:*) In particular, the spinor wave equation is discussed as the typical example of the field equations of matter fields. The isometry group of (anti-)de Sitter spacetime is gauged in 3, and the geometric structure of underlying spacetime is studied in 4. The ';-scale transformation is introduced in 5, and the (anti-)de Sitter gauge field strength is decomposed into ';-scale invariant parts. The extension of ';-scale transformations is attempted in 6 in order to cover positiondependent parameters A(x), and the gravitation~il Lagrangian is constructed by assuming its invariance under ';-scale as well as gauge transformations. Various special gauge choices are discussed in 7, and conclusions are summarized in the final section. An Appendix is devoted to derive the spin or wave equation in (anti-)de Sitter spacetime. 2. The (anti-)de Sitter spacetime The (anti-)de Sitter spacetime is a space with constant curvature, and it can be embedded in a five-dimensional flat space as a hypersurface by19) *) We use the abbreviation "(anti-)de Sitter" in those statements which apply both to de Sitter and anti-de Sitter cases.

3 Gauge Theory of Gravitation 713 (Z l) where e(a=:=0~3, 5) are five-dimensional cartesian coordinates and 7]ab denotes the fiat metric, 7]ab=diag(-l, +1, +1, +1, 7]55=7]). Here Q is a positive constant determining the constant curvature, and we put 7]= + 1( -1) for de Sitter (anti-de Sitter) spacetime. The quadratic form (Z 1) is kept invariant under (anti-)de Sitter transformations whose infinitesimal expressions read (Z Z) where ({Jab = ({J[ab] are infinitesimal, ten parameters. These transformations generate the isometry group 0(4,1) (0(3,2» of de Sitter (anti-de Sitter) spacetime. 20 ) Given a coordinate patch {x"}, the metric tensor g"li is derived from the fivedimensional coordinates ~a(x) as with The Riemann-Christoffel curvature tensor is then given by By virtue of (Z 1), the sa", of (Z 4) satisfies the orthogonality relation, (Z 3) (Z 4) (Z 5), (Z 6) Throughout this paper five-dimensional latin indices are raised or lowered with the metic 7]ab or 7]ab. As for greek indices referred to the coordinate patch {x"}, the metric tensor, g"li or its inverse g"li, is used to lower or raise them. Then we have in particular, (Z 7) Let us consider a four-component spinor field describing spin-liz particles in (anti-)de Sitter spacetime: It is changed under infinitesimal (anti-)de Sitter transfor-, mations of (Z Z) as ' (2 8) where sab are the (anti-)de Sitter generators defined by (Z 9) with r a being 4 x 4 matrices which satisfy {ra, rb} = - Z7]ab. (Z 10)

4 714 T. Shirafuji and M. Suzuki for 0(4,1), for 0(3,2). (2-11) Here the Minkowski metric is given by 7]km=diag( -1, + 1, + 1, + 1). As is shewn in the Appendix, the spin or wave equation is derived from the Lagrangian density LM(O)= -j -g [(i/2) call (rav,}ol 7t)O)ra) +m ] with = t yo for 0(4,1), or (2-12a) x [(i/12) (SabV )OL 17)o)sab) + (im/24)c b v r a ] with =i trsyofor 0(3,2), where Vv(O) is defined by V v(o) = [all+(i/2)(~acb v- ecall)sab/(~- ~)], (2-12b) (2-13) and totally antisymmetric symbols cabcde and C VAPI1 are normalized as C0123S= + 1 and c0 123 = -1, respectively. The spinor wave equation takes the form, (2-14) both in de Sitter and anti-de Sitter spacetimes. It is also shown in the Appendix that the wave equation (2-14) is reduced to Dirac's spinor wave equation by a unitary transformation. 2 1) 3_ Gauging the (anti-)de Sitter group Let us generalize the relation (2-4) and the Lagrangian density for the spinor field given by (2-12a, b) so that they be invariant under (anti-)de Sitter gauge transformations with wab(x) being infinitesimal arbitrary functions.. This is achieved by introducing the gauge field Aabv=A[abl v which transforms as (3-1) and then by replacing the ordinary derivative ap in (2-4) and (2-12a, b) by the covariant derivative D p Namely, we assume that the metric tensor is given by the relation (2-3) with cap now being defined to be (3-2) Equation (3 -I) ensures that the cap transforms as a vector under (anti-)de Sitter gauge transformations. The Lagrangian density for the spin or field is obtained from (2-12q) and (2-12b) for dsgt and AdSGT, respectively, by replacing the ordinary derivative av by the covariant derivative, Dv =[av+(i/2)a ab vsab]. (3-3) If we define the derivative fjll by

5 Gauge Theory of Gravitation Z ~a bv_~b av Dv=Dv+ 2 ~.~ Sab, (3 4) the Lagrangian density then reads for dsgt, and (3 5) for AdSGT. Incidentally we notice that we shall meet the derivative jjv again in 5, where we discuss ~-scale transformations: The spinor wave equation derived from the Lagrangian density will be given there. The five-dimensional vector field e is supposed to satisfy the condition (2 1), and hence the orthogonality relation (2 6) is still valid. Since the gl'v and a I' are both derived from ~a and A ab v, the latter two fields are the basic dynamical variables. The gauge field behaves like a vector under general coordinate transformations, while it is not a tensor for (anti-)de Sitter gauge transformations. We then define the field strength by (3 7) which transforms like a second-rank anti symmetric tensor. The commutator of Dv is then [DI', Dv]ua=F.abI'VUb (3 8) for any vector field ua. Throughout this paper we understand that Dv denotes the covariant derivative for latin indices and that it is ordinary differentiation for greek ones; namely, we put, for example, 4. Geometric interpretations A vector under general coordinate transformations will be referred to as a world vector, while a vector for (anti-)de Sitter gauge transformations will be called a local vector. Given a world vector field VI', we can define a local vector field by va = al' VI', which is orthogonal to the field ~a. Conversely, for any local vector field ua, we can form a world vector field UI'= ai'u a, which can be solved to give ua= ai'ui' if and only if U a is orthogonal to ~a. For a world vector field VI', we define the covariant derivative [7 v by (4 1) with va= ai'vi'. This is assumed to hold for any world vector field, and therefore the affine connection coefficients are given by

6 716 T. Shirafuji and M. Suzuki (4 2) from which follows the metric condition, (4 3) The gauge field A ab v (or the covariant derivative Du) defines parallel transport of local vectors: Given a curve C in spacetime connecting two points P and Q, then a local vector ua(p) at P can be parallel transported along C to the point Q, defining a parallel transported vector field on C, U"a(x(il», which satisfies DU/la = du/la +Aa U b dx v =0 Dil - dil bv /I dil. (4 4) Here il is an arbitrary parameter specifying the curve. The relation (4 1) means that a world vector V" at P is to be parallel transported as follows: One first represents the vector as a local vector va=cap VI' at P, then parallel transports va along C to Q, and finally expresses the resultant local vector at Q, V/la(Q), as a world vector, V//(Q)=ca"(Q) V//a(Q). The connection coefficients rp'u of (4 2) are not symmetric with respect to f.1. and v: So the underlying spacetime is Riemann-Cartan space characterized by curvature and torsion defined respectively by and The commutator of [1 u is then (4 5) (4 6) (4 7) for any world vector field V!. Computing the left-hand side of (4 7) with the help of (3 2), (3 8) and (4 1), we obtain The torsion tensor, on the other hand, is related to the field strength by (4 8) (4 9) as is seen from (3 8) and (4 6). We shall now study in more detail the geometrical meanings of the gauging procedure explained in the previous section. First of all we notice that the gauging of (anti-)de Sitter invariance implicitly assumes the existence of a flinf-bein field E(x) ={Ea{x); a=0~3, 5} by referring to which local vectors and spinors are defined: The scalar product g(, ) is also supposed to be defined with the property, g(ea, Eb)= T}ab. For a local (anti-)de Sitter transformation, (4 10)

7 Gauge Theory of Gravitation 717 (4'11) a local vector field Ua(x), for example, is changed like (4 '12) From the flinf-bein at a spacetime point P,*) we can construct a five-dimensional fiat space q; p attached to spacetime at P: Each vector formed of E(P) is considered as a position vector in q; p with the initial point being located at P. The scalar product g(, ) defines an invariant distance in q; P. If we put the basic relation between c a,., and g,.,)) implies Accordingly we can identify {E,.,; J.l=O~3} (4'13) (4'14) with the coordinate basis of the tangent Minkowski space T p : The four-dimensional subspace of q; p which is spanned by {E,.,} and which involves the point P is then identified with Tp Let us next define the origin Op of q; p by requiring that o;p = e E a, and represent points of q; p by their coordinates (xa) with respect to this origin. The hypersurface satisfying X X = 7JQ2( = ~.~) is an (anti-)de Sitter space in q; P, which is denoted as SP. The space Tp is tangent to Sp, and hence the latter is also tangent to spacetime at P (see Fig. l(a». Now consider another spacetime point Q near P with the coordinates x"'+dx"'. When the flinf-bein E(Q) at Q is parallel transported to P, it becomes a flinf-bein at P, E,/P) = {E"a(P)}, which is related to E(P) by (4'15) with A~a)) being the (anti-)de Sitter gauge field. This relation defines how to parallel transport local vectors from Q to P: For a local vector U(Q)= Ua(Q)Ea(Q), the transported vector is '\ I, (4 '16) (a) (b) Fig.1. The five dimensional fiat space CUP. (a) The origin Op, the tangent Minkowski space Tp and the (anti )de Sitter space SP. (b) The nearby point Q represented on SP. *) Hereafter in this section we shall denote by P a spacetime point with the coordinates (x P ).

8 718 T. Shirafuji and M. Suzuki where the last equation defines U//a(P). Using (4 15) in (4 16) gives (4 17) which is also obtainable from (4 4). So the rule of parallel transport implied by (4 15) agrees with the previous definition by (4 4). The nearby two spacetime points P and Q are connected by a tangent vector at P, (4 18) which represents the position of Q on Tp: The point Q can also be said to lie on Sp, because the space Sp is tangent to Tp at P. The fundamental relation postulated in ~ 3, (4 19) then means that the vector OpQ in V p coincides with t;//(p), the parallel transported vector from Q to P (see Fig. l(b)). We can therefore define the following one-to-one mapping from V Q onto V p : (1) The origin OQ is mapped to the origin Op, and (2) a point of V Q with five-dimensional coordinates {Xa(Q)} is mapped to the point of V p with the coordinates {x//a(p)}. Here X//a(P) are related to Xa(Q) by (4 17). Owing to (4 19), the point Q of V Q is mapped correctly to the point of V p represented by (4 18). Also, the (anti-)de Sitter space SQ of V Q is mapped onto Sp, but the tangent Minkowski space TQ at Q is not mapped onto T p Using this mapping successively, loops in spacetime from P to P can be developed on Sp.*),22) Given a loop C from P to P, (4 20) its development on Sp means the curve on Sp defined by {t;//a(x; A); 0::;;,1::;; I}, where t;//a(x; A) denotes the vector obtained by parallel transporting t;a(x(a)) along C from X(A) to x(a=l). In particular, the round trip of t;a(x) at P along the loop C determines the location of the initial point J5 of the development. For an infinitesimal loop, the dislocation vector PP = Llt;a EaCP) is a tangent vector with its components given by (4 21) This result agrees with that for the development associated with the affine connection of (4 2):23) This is quite reasonable because there is no distinction between the two spaces Sp and Tp in the infinitesimal neighborhood of P. *) This is to be compared with the development associated with an affine connection, in which case loops in spacetime from P to P are developed on the tangent Minkowski space T p

9 Gauge Theory of Gravitation ~-scale transformations So far we have been assuming that the local vector field ~a(x) satisfies the condition ~. ~= 7JQ2, where Q-2 stands for the magnitude of the constant curvature of the original spacetime from which we started. Once the (anti-)de Sitter invariance is gauged, however, spacetime is curved differently from the original spacetime, and the constant curvature of the original spacetime is not a directly observable quantity. So it seems that there does not exist any reason to stick to a particular value of Q. Instead, it will be much more appealing to suppose that physically observable effects are invariant under ~-scale transformations, (5 1) where A is a dimensionless constant parameter. In order to find the transformation rule of the gauge field under (5 1), we shall require that the cap- is ~-scale invariant. According to (2 3), this will ensure that the metric tensor is also ~-scale invariant. It follows from (3 2) that this requirement for cap- is satisfied if the gauge field is changed as (5 2) which we shall assume henceforth. Using (5 2) in (4 2), we see with the help of (2 6) that the affine connection coefficients r;v are also invariant under ~-scale transformations: Thus, both the curvature and the torsion of spacetime are ~-scale invariant. Equation (5 2) implies that the gauge field strength of (3 7) transforms as F ab p-v ~ Fabp-v + (l-l/a)(~a FbCp-v - ~b Facp.v)~c/ (~.~) from which we observe that Tap-v and R ab p-v defined respectively by and (5 3) (5 4) R ab p-v= F ab p-v+ (~a FbCp-v - e F ac p-v)~ci (~.~) + (c a p-c b v- c b p-c a v) / (~.~) (5-5) are the ~-scale invariant parts of the gauge field strength: It follows from (4 8) and (4 9) that (5 6) Inspection of (5 2) also shows that the field Aabv defined by Aab v= A ab v+(~acbv~ ecav)/(~.~) (5 7) does not change under ~-scale transformations. Since both ~a and c b v transform as a vector under (anti-)de Sitter gauge transformations, the field Aabv behaves in the same manner as the gauge field. The derivative operator jjv introduced by (3-4) is just the covariant derivative with respect to this modified gauge field, and hence is

10 720 T. Shirajuji and M. Suzuki ~-scale invariant. Equation (5 7) gives DJJ~a=o and (4 2) implies (5 8) (5 9) This latter equation means that the modified covariant derivative DJJ is commutable with the covariant derivative {1 JJ for world tensors: Namely, the relation (5 10) is valid jor any local vector field U a. This condition is stronger than that for DJJ given by (4 1), and it allows us to have (5 11) We assume that the spinor field remains unchanged under ~-scale transformations. Then, the Lagrangian density (3 5) for dsgt (or (3 6) for AdSGT) is ~-scale invariant, and it can be rewritten by means of (5 10) as follows: for dsgt, or (5 12) L M = cabcdecjjap(j CCACdpC e,,{(if 6) fsab(d JJ + v JJ/2)rj; + {im/24)c b JJfrarj;] (5 13) for AdSGT, where we have ignored total-derivative terms, and the VJJ denotes the vector part of the torsion tensor, VJJ= T.~JJ. The spinor wave equation is then given by for dsgt, or (5 14) cabcdecjjap(j CCACdpC e (J[sab(DJJ + v JJ/2) + (m/ 4)c b JJra]rj; =0 (5 15) for AdSGT. It should be noted that (5 15) can be rewritten into the same form as (5 14): This is shown in the same manner as the spinor wave equation in anti-de Sitter spacetime (see the Appendix). 6. The action integral The basic dynamical variables of the present theory are the ~a, the gauge field AabJJ and other fields collectively called matter fields.*l The field ~a is constrained by the condition ~ ~=constant, however, and only four of its five components are independent. This constraint can be accommodated with the help of Lagrange's multiplier method. But we do not take that way here, and instead we shall extend the framework so that ~. ~ can be any position-dependent function. *l We do not take jfabv of (5 7) as the basic entity, because ~a and jfabv are not independent of each other, being constrained by (5 S).

11 Gauge Theory of Gravitation 721 We still suppose that a five-dimensional flat space CUp is attached to each spacetime point P; the CUp contains the tangent space Tp and (anti-me Sitter space Sp whose constant curvature is determined by (.;- ';)-1. Since the value of.;-.; now varies from point to point, the fundamental relation (4-19) should be modified. We shall postulate this time that the direction vector OpQ in CUp is equal to the renormalized one, [';-';(P)/';-';(Q)yI2~iP),instead of ~ip) itself. Then the vector PQ in CUp is given by with (6-1) (6-2) This is the desired relation which replaces (4-19). The orthogonality relation (2-6) is still valid, and the metric tensor is expressed by (2-3) as before. The covariant derivative of world vectors, [7 v, is still defined by (4 -I), and the affine connection coefficients are given by (4-2) with sav now being expressed by (6-2). The curvature tensor is related to the gauge field strength by (4-8), while the expression for the torsion tensor (4-9) has an additional term given by (1/2)(o,H)v-o/'al') -lnl.; -';1. The ';-~cale transformation (5 -I) can also be extended to position-dependent parameters A(x). The gauge field is assumed to transform like (5-2) as before. Then the sa v of (6-2) is ';-scale invariant. The transformation rule of the gauge field strength (5-3) now has an extra term, [1/A2(.;-.;)][a~(.;asbv-esav)_(J.l~v)]. As regards the ';-scale invariant parts, Tal'V and Rabl'lJ, the former is given by (5-4) with an additional term, (1/2)(sal'a V - Saval')lnl';- ';1, while the latter by (5-5) without alteration. We also notice that these ';-scale invariant parts still coincide with the torsion and the curvature of spacetime, respectively. N ow we are ready to construct the gravitational action, 4 IG= jd x"/-g LG. (6-3) We shall require that the Lagrange function LG be (i) linear or quadratic in the first derivatives of the gauge field A ab v, (io invariant under (anti-)de Sitter gauge transformations, (iii) invariant under ';-scale transformations with arbitrary A(x), and (iv) invariant under general coordinate transformations. The requirement (io together with (iii) indicates that the LG should involve the gauge field only through the ';-scale invariant parts of the gauge field strength, T a I'V and R ab I'V. Since these ';-scale invariant parts are just the torsion and the curvature of spacetime, we find in view of (i) that the gravitational Lagrange function is made of linear or quadratic invariants of the torsion and the curvature of spacetime. This is quite the same as that in Poincare gauge theory. The most general gravitational Lagrange function satisfying the four require-

12 722 T. Shirajuji and M. Suzuki ments (i)~(iv) thus consists of ten terms, a linear invariant of the curvature, three quadratic invariants of the torsion, six quadratic invariants of the curvature*) and finally a possible cosmologica'l term. The matter part of the Lagrange function is also assumed to satisfy requirements (i)~(iv). The Lagrange function for the spin or field, for example, meets these requirements, because it is constructed in terms of the covariant derivative with respect to Jiabll which is,;-scale invariant. Finally, a short remark is in order about the field,;a. It follows from (ii) and (iii) that the field equation for e is automatically satisfied when other fields (A ab 11 and matter fields) obey their field equations. Accordingly, the field,;a is not a true dynamical variable, but an auxiliary field which serves to make the present theory manifestly (anti-)de Sitter gauge invariant. This is also the reason why we do not include the e in requirement (0. (0 The Poincare gauge 7. Gauge conditions Let us consider the gauge in which the,;a satisfies**). e=finite functions (k=o~3), (7 1) where.q is a finite constant. Here 8 is an infinitesimally small parameter, and 0(8) means a term of the order of 8: We shall ignore all the terms of O( 8 n ) with n ~ 1. Then the gauge condition (7 1) is preserved under with (7 2) (7 3) where E is an infinitesimal parameter. The transformation law of e can be rewritten as with (7 4) (7 5) Thus, the four-vector field e is subject to internal Poincare gauge transformations in this gauge. So we shall refer to this gauge as the Poincare gauge. From the orthogonality relation (2 6), it follows that E 5 11 should be 0(8), and hence that the field E a 11 reduces to the tetrad field in this gauge: Namely, *) Only five quadratic invariants of the curvature are independent when action principle is applied. 24 ) **) This gauge is achieved by two steps: First, choose the gauge with e=.q+ 0(8 2 ) and e= 0(8), and then make the ';-scale transformation.;a f-. (1/8).;a.

13 Gauge Theory of Gravitation 723 for a=k, for a=5. (7 6) Since alllni ~. ~I = O( ( 2 ), all the additional terms proportional to alllni ~. ~I that appeared in 6 can be disregarded: For example, (6'2) reduces to (3 2). Consistency of (3 2) with (7 6) requires that A~511=O(0),. and therefore we have the following expression for the tetrad field: where Dlle and A k II are respectively defined by Dlle=alle+A~mll~m, A\=lim[A~511~5]. 8~O (7'7) (7'8) (7 9) (7 '10) According to (7'7), the field A~511 tends to zero in the limit, o~o: This field gives nontrivial contributions, however, when it appears in the renormalized form of A \. The basic fields in this gauge are thus e, Akmll and A k ll. (The fifth component of ~a is an infinitely large constant, and hence it is not a dynamical variable in this gauge.) The allowed gauge transformations are the internal Poincare gauge transformations of (7'4), under which the fields Akmll and A\ transform as (7'1l) (7'12) respectively. The A km ll is therefore identified with the Lorentz gauge field, and the A kll is interpreted as the gauge field for internal translations described by the param. eters ck(x): These two fields just constitute the Poincare gauge field of the Poincare gauge theory as formulated by Kawai. 7 ) As for matter fields collectively denoted by q, the transformation rule for Poincare gauge transformations reads (7'13) because the w\-term is O(co) and can be ignored. Therefore, matter fields undergo only local Lorentz transformations, and do not change under internal translations. (ii) The restricted Poincare gauge Take a more, special gauge satisfying eo=:o y which can be put into e=o, by a suitable ~-scale transformation. Equation (3'2) now gives (7~14) (7'15)

14 724 T. Shirajuji and M. Suzuki e\'=.qa~5v, (7 16) and therefore the (anti-)de Sitter gauge field just consists of the tetrad fielq and the Lorentz gauge field in this gauge. Internal translations are not allowed any longer, and the ordinary Poincare gauge theory is recovered. So we shall refer to this gauge as the restricted Poincare gauge. (iii) The (anti-)de Sitter gauge For an asymptotically flat spacetime, it is convenient to choose the Poincare gauge. Kawai has proposed a nontrivial boundary condition for the e(x), namely, to take asymptotically, (7'17) where Xk are cartesian coordinates of the asymptotic Minkowski spacetime. 25 ) It is not yet clear whether (7 '17) is gauge-equivalent to the trivial boundary condition of c;k=o at infinity.. For Baekler-type solutions which asymptotically approach (anti-)de Sitter spacetime, however, it would be more convenient to choose a gauge in which the field e(x) asymptotically tends to the five-dimensional coordinates c;(o)a(x) of the asymptotic (anti-)de Sitter spacetime: More precisely, take the five-dimensional metric 7Jab as the same as that of the asymptotic (anti-)de Sitter spacetime, and assume that ';:'c;=const (=';:(O).c;(O») everywhere, asymptotically. (7 18) The gauge field then vanishes asymptotically. We shall name this gauge the (anti-) de Sitter gauge. We expect this gauge to be a convenient framework to study mass and spin of the systems described by those exact solutions. 26 ) 8. Conclusions We have formulated the (anti-)de Sitter gauge theory in such a manner that it does not depend on the dimensional constant.q which specifies the constant curvature of the initial (anti-)de Sitter spacetime. The basic dynamical variables are the five-dimensional vector field e, the gauge field A ab v and matter fields. Here matter fields mean those fields which exist before gauging procedure is applied to the isometry group of the initial spacetime of constant curvature. The underlying spacetime is a Riemann-Cartan space which possesses a metric and a nonsymmetric affine connection, both of which are defined by covariant derivatives of the field,;:a.' The,;:-scale transformation plays a crucial role in the present approach. This transformation produces change in c;a and A ab v: In particular, the e is subject to a scale change like,;:a f-4 A(x)e with the parameter A(x) being an arbitrary positive function. However, no change is produced in the metric, the affine connection and matter fields. We have made the basic postulate that physically meaningful content of the

15 Gauge Theory of Gravitation 725 (anti-)de Sitter gauge theory be ';-scale invariant in' addition to being (anti-)de Sitter gauge invariant. The gravitational Lagrange function is then a scalar formed of the metric tensor, the curvature tensor and the torsion tensor, since only these three are ';-scale invariant among those tensors constructed from the basic dynamical variables,.;a and A ab ll, and their first derivatives_ Consequently, the most general gravitational Lagrange function is the same as that in the Poincare gauge theory. In the (anti-)de Sitter gauge theory presented here, the curvature and the torsion tensors are just the two ';-scale invariant parts of the gauge field strength. Thus, the ';-scale invariant structure of the (anti-)de Sitter gauge theory coincides with that of Riemann-Cartan space. This is to be compared with the situation in the Poincare gauge theory, where the curvature and the torsion tensors are directly related to the Lorentz and the translation gauge field strengths, respectively. As for matter fields, we have discussed the spinor field as the typical example. In this case the Lagrange function is ';-scale invariant because the covariant derivative acting on the spinor field is ';-scale invariant. Three gauge choices have been illustrated as examples: (1) The Poincare gauge which reproduces Kawai's approach to the Poincare gauge theory, (2) the restricted Poincare gauge which reproduces the ordinary Poincare gauge theory and (3) the (anti-)de Sitter gauge which is appropriate when spacetime asymptotically approaches (anti-)de Sitter space. It seems interesting to study the asymptotically non-flat exact solutions of the Poincare gauge theory in the light of the present theory. In particular, we expect that the (anti-)de Sitter gauge will be a convenient tool to investigate energy, momentum and angular momentum of the systems described by those exact solutions. Appendix -- The Spinor Wave Equation in (anti-)de Sitter SPacetime*)-- The spin or wave equation in (anti-)de Sitter spacetime has been discussed by many people since Dirac's pioneering Vl:'ork. 21 ),27) It seems, however, that little attention has been paid on the relation to the tetrad formalism on curved spacetime. We shall therefore start from the tetrad formalism, and establish its relation to Dirac's spin or wave equation. Let ekll(x) (k=o~3) be a tetrad (or a vierbein) field in (anti-)de Sitter spacetime, and introduce a spinor field rp<e)(x) by referring to it. This spin or field undergoes spin or transformations for local Lorentz transformations of the tetrad field: For infinitesimal ones given by (A'I) the rp<e) transforms like (A'2) where (f)km( = (f)[km]) are infinitesimal arbitrary functions antisymmetric in k and m, and Skm are the Lorentz generators, Skm=(ij4)[y\ ym] with yk being 4x4 Dirac *) We use the same notations and conventions as in 2.

16 726 T. Shirajuji and M. Suzuki matrices. The Dirac equation for (e) reads (iek U yk17v'e)+m) (e)=o, (A 3) which follows from the Lagrangian density LM(O)= -j - g [(if2)ek U (e)(yk17 v'el 1t)e)yk) +m (e) (e)]. Here m is the mass, [7 U (e) is defined by [7 U (e) = au + (if 2)ilkmuSkm (A 4) (A 5) with ilkmu( =il[km]u) being the Ricci rotation coefficients formed of the tetrad field, and finally the adjoint (e) is (e)= (e)t yo. Now, since (anti-)de Sitter spacetime is a hypersurface satisfying e~a=r;q2, we can define a flinf-beiri field e={ea,}={ea,b} (a'=0~3, 5) by for a'=k=0~3, for a'=5, which satisfies the orthonormality relation, (A 6) (A 7) We can regard the spinor field also as an 0(4,1)- (or 0(3,2)-) spin or field referred to this flinf-bein fields:*) 0(4,1)- (or 0(3,2)-) spinors are denoted as instead of (e). For (anti-)de Sitter transformations of the flinf-bein field given by**) with A a'c' A b'd' r;c'd'= r;a'b', the spin or field transforms like ~ U(A), where U(A) satisfies (A S) (A 9) (A 10) Here we understand that the primed latin indices, a', b' etc., are raised or lowered with the flat metric r;a'b' or r;a'b'. For infinitesimal transformations Aa'b,=r;a'b'+Wa'b.' with Wa'b'= W[a'b'], U(A) is given by U(A)=l + (i/2)wa'b,sa'b'. (A n) It follows from (A n) that U(A) is pseudo-unitary, satisfying UtyO=yOU- 1 Ut y5 yo= y5 yo U- 1 So we define the adjoint by for 0(4,1), for 0(3,2). (A 12) *) The 0(4,1) and 0(3,2) correspond to de Sitter and anti-de Sitter spacetimes, respectively. **) These transformations can be local with Aa'b' being position-dependent.

17 Gauge Theory of Gravitation 727 so that it transforms as if) f--4 if)u(jl)-1. for 0(4,1), for 0(3,2), (A -B) (A -14) The covariant derivative (A -5) can be rewritten as a five dimensional form, rlv=av+(i/2)lia'b'vs a 'b', (A -15) where the generalized Ricci rotation coefficients Lia'b'v are given by - {Llkmv Lla'b'V= 0 for (a', b')=(k, m) (k, m=0~3), for (a', b')=(5, k) or (k, 5). (A -16) The Lagrangian density of (A-4) can be expressed by u~ing rp, its adjoint if) of (A-B) and their covariant derivatives as follows: for 0(4,1) or LM(O)=J -g (\$a,/q)[icb'v if)(sa'b'rlv-vvsa'b')rp+ imif)r,a' rp] for 0(3, 2), where and for a'=k, for a'=5 (A-17a) (A-17b) (A -19) The Lagrangian density (A -17) is invariant under (anti )de Sitter transformations (A-8) and (A-9), if the generalized Ricci rotation coefficients are changed like since the derivatives rl vrp and if)rl then transform as (A -20) rlvrp f--4 U(A)(rlvrp), if)rlv f--4 (if)vv)u(a)-1, (A-21) apd since \$a'.and ca'v are changed as (A -22)

18 728 T. Shirajuji and M. Suzuki five-dimensional flat space, in which the (anti-)de Sitter spacetime is embedded, and consider the local (anti-)de Sitter transformation which brings the flinf-bein e of (A 6) to the global frame e(o}:*} (A 23) Since ea(o}b=oa b, the transformation coefficients Aac' are just the inverse of the components of the flinf-bein ec,b: Namely, it follows from (A 6) and (A 7) that k v A C'----, -c' _ e vea a - e a-{ r;t;a/q for c'=k for c'=5 (A 24) with 71= Using (A 24) in (A 20), we get the following expression for the generalized Ricci rotation coefficients with respect to the global frame: Lf~OJv=(t;acbv - t;bcav) / (t;. t;), (A 25) where cav are given by (2 4). All the quantities are now expressed by referring to the global frame. In particular, the Lagrangian density of the spinor field given by (A 17) reads LM(O}= -) - g [(i/2)cav (f(ra[7 )O) - V v(o} ra) + m(f ] for 0(4,1), or LM(O}=) -g (t;a/q)[icbv(f(sab[7 )0>_ 17v(O}sab) + im(fra ] for 0(3,2). Here [7 v(o} stands for the derivative operator [7 v(o}=av+(i/2)lf~ojvsab, (A 26a) (A 26b) (A 27) which uses the generalized Ricci rotation coefficients with respect to the global frame given by (A 25). By means of the relations, with cabcdecfj.vplfcb fj.ccvcdpce (j= -2471) - g (t;a/q), cabcdecfj.vplfccvcdpce (j~ -671) - g (t;acbv- t;bcav)/q cabcde= + 1 for (abcde)=(01235), Cp.vPlf= + 1 for (PlIPo-)=(0123). The Lagrangian density of (A. 26b) can be rewritten as (A 28a) (A 28b) (A 29). (A 30) *} Note that the five vectors of the global frame are labeled by an unprimed latin index. This is to be contrasted with a fiinf-bein like e={ea,}={ea,b} of (A'6) which has two kinds of indices, a primed imd an. unprimed latin indices: An unprimed latin index represents components of a five-vector with respect to the global frame, while a primed one numbers the five vectors of a fiinf-bein.

19 Gauge Theory of Gravitation 729 for 0(3,2), which does not involve e/q. The spin or wave equation can be derived from the Lagrangian density, and it reads for 0(4,1), and (A 31) [2~aCbllsab/7 )0)+ m~ara] =o or equivalently (A 32a) (A 32b) for 0(3, 2). Use of (A 28a, b) in (A 32b) immediately gives (A 32a), and (A 32a) can be put in the same form as (A 31) because (~ara) and (Cbllrb) anticommute with each other due to the orthogonality relation (2 6). Accordingly, the spinor wave equation is given by (A 31) in both de Sitter and anti-de Sitter space times. Equation (A 31) can be rewritten as with the help ofthe relation (~afa)2= -~.~. D=(i/2/~ ~)rarb(~aa/ae- ~ba/ae) =-(~ara//-~ ~)Cbllrball, and the new spinor fields (±) by the unitary transformation, Then they satisfy which are Dirac's spinor equations in (anti-)de Sitter spacetime. References (A 33) Let us introduce the operator D by (A 34) (A 35) (A 36) 1) R. Utiyama, Phys. Rev. 101 (1956), ) T. Nakano, in SOryilshi no Honshitsu, ed. M. Taketani (Iwanami, Tokyo, 1963), p. 161 (in Japanese). K. Hayashi and T. Nakano, Prog. Theor. Phys. 38 (1967), 49l. 3) T. W. B. Kibble, J. Math. Phys. 2 (1961), ) K. Hayashi, Prog. Theor. Phys. 39 (1968), 494. K. Hayashi and A. Bregman, Ann. of Phys. 75 (1973), 562. K. Hayashi and T. Shirafuji, Prog. Theor. Phys. 64 (1980), 866, 883; 65 (1981), ) F. W. Hehl, P. von der Heyde, G. D. Kerlick and J. M. Nester, Rev. Mod. Phys. 48 (1976), 393. F. W. Hehl, in Proceedings of the 6th Course of International School of Cosmology and Gravitation on "Spin, Torsion and Super gravity" ed. P. G. Bergmann and V. Sabbata (Plenum, New York, 1980), p. 5. Earlier references are cited in these review papers. 6) E. M. Mielke, Geometrodynamics of Gauge Fields - On the Geometry of Yang Mills and Gravitational Gauge Fields (Akademie Verlag, Berlin, 1987). 7) T. Kawai, Gen. ReI. Grav. 18 (1986), 995; 19 (1987), 1285E; Prog. Theor. Phys. 76 (1986), ) P. Baekler, Phys. Lett. 99B (1981), 329..

20 730 T. Shirajuji and M. Suzuki C. H. Lee, Phys. Lett. 130B (1983), 257. P. Baekler and F. W. Hehl, in From SU(3) to Gravity --Festschrift in Honor of Yuval Ne'eman ed. E. Gotsman and G. Tauber (Cambridge U.P., Cambridge, 1985), p ) T. Kawai and H. Yoshida, Prog. Theor. Phys. 62 (1979), 266; 64 (1980), ) A. Inomata and M. Trinkala, Phys. Rev. D19 (1979), ) P. Fre, Nuovo Cim. 53B (1979), ) S. W. MacDowell and F. Mansouri, Phys. Rev. Lett. 38 (1977), ) P. K. Townsend, Phys. Rev. D15 (1977), ) K. S. Stelle and P. C. West, Phys. Rev. D21 (1980), ) J. P. Hsu, Phys. Rev. Lett. 42 (1979), 934; Nuovo Cim. 61B (1981), ) T.. Fukuyama, Z. Phys. C10 (1981), 9; Ann. of Phys. 157 (1984), 321. T. Fukuyama and K. Kamimura, Nuovo Cim. 74B (1983), ) A. A. Tseytlin, Phys. Rev. ])26 (1982), ) H. Pagels, Phys. Rev. D29 (1984), ) See, for example, S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space Time (Cambridge U.P., Cambridge, 1973). 20) For general discussions of the (anti )de Sitter group, see, for example, F. GUrsey, in Group Theoretical Concepts and Methods in Elementary Particle Physics, ed. F. GUrsey (Gordon. Breach, New York, 1962), p ) P. A. M. Dirac, Ann. of Math. 36 (1935), ) See, for example, S. Kobayashi and K. Nomizu, Foundations of Differential Geometry I (John Wiley, New York, 1963). 23) See Eq. (3 14) of K. Hayashi and T. Shirafuji, Prog. Theor. Phys. 58 (1977), ) K. Hayashi and T. Shirafuji, Prog. Theor. Phys. 65 (1981), ) T. Kawai, Prog. Theor. Phys. 79 (1988), 920. T. Fukui, T. Kawai and H. Saitoh, Prog. Theor. Phys. 79 (1988), ) For an attempt using the ordinary Poincare gauge theory, see P. Baekler, R. Hecht, F. W. Hehl and T. Shirafuji, Prog. Theor. Phys. 78 (1987), ) See Ref. 20) for a review. Many references are cited also in W. Drechsler, Fortsch. der Phys. 23 (1975), 607; W. Drechsler and R. Sasaki, Nuovo Cim. 46A (1978), 527.

### ISOMETRIES OF R n KEITH CONRAD

ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x

More information

### Generally Covariant Quantum Mechanics

Chapter 15 Generally Covariant Quantum Mechanics by Myron W. Evans, Alpha Foundation s Institutute for Advance Study (AIAS). (emyrone@oal.com, www.aias.us, www.atomicprecision.com) Dedicated to the Late

More information

### LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

More information

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

### Matrix Representations of Linear Transformations and Changes of Coordinates

Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under

More information

### Lecture L3 - Vectors, Matrices and Coordinate Transformations

S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3 - Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between

More information

### Math 312 Homework 1 Solutions

Math 31 Homework 1 Solutions Last modified: July 15, 01 This homework is due on Thursday, July 1th, 01 at 1:10pm Please turn it in during class, or in my mailbox in the main math office (next to 4W1) Please

More information

### Mechanics 1: Conservation of Energy and Momentum

Mechanics : Conservation of Energy and Momentum If a certain quantity associated with a system does not change in time. We say that it is conserved, and the system possesses a conservation law. Conservation

More information

### 1 Introduction to Matrices

1 Introduction to Matrices In this section, important definitions and results from matrix algebra that are useful in regression analysis are introduced. While all statements below regarding the columns

More information

### Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 7 : Symmetries and the Quark Model. Introduction/Aims

Particle Physics Michaelmas Term 2011 Prof Mark Thomson Handout 7 : Symmetries and the Quark Model Prof. M.A. Thomson Michaelmas 2011 206 Introduction/Aims Symmetries play a central role in particle physics;

More information

### A Theory for the Cosmological Constant and its Explanation of the Gravitational Constant

A Theory for the Cosmological Constant and its Explanation of the Gravitational Constant H.M.Mok Radiation Health Unit, 3/F., Saiwanho Health Centre, Hong Kong SAR Govt, 8 Tai Hong St., Saiwanho, Hong

More information

### State of Stress at Point

State of Stress at Point Einstein Notation The basic idea of Einstein notation is that a covector and a vector can form a scalar: This is typically written as an explicit sum: According to this convention,

More information

### Linear Algebra: Vectors

A Linear Algebra: Vectors A Appendix A: LINEAR ALGEBRA: VECTORS TABLE OF CONTENTS Page A Motivation A 3 A2 Vectors A 3 A2 Notational Conventions A 4 A22 Visualization A 5 A23 Special Vectors A 5 A3 Vector

More information

### The Matrix Elements of a 3 3 Orthogonal Matrix Revisited

Physics 116A Winter 2011 The Matrix Elements of a 3 3 Orthogonal Matrix Revisited 1. Introduction In a class handout entitled, Three-Dimensional Proper and Improper Rotation Matrices, I provided a derivation

More information

### Orthogonal Projections

Orthogonal Projections and Reflections (with exercises) by D. Klain Version.. Corrections and comments are welcome! Orthogonal Projections Let X,..., X k be a family of linearly independent (column) vectors

More information

### Introduction to SME and Scattering Theory. Don Colladay. New College of Florida Sarasota, FL, 34243, U.S.A.

June 2012 Introduction to SME and Scattering Theory Don Colladay New College of Florida Sarasota, FL, 34243, U.S.A. This lecture was given at the IUCSS summer school during June of 2012. It contains a

More information

### Derivation of the relativistic momentum and relativistic equation of motion from Newton s second law and Minkowskian space-time geometry

Apeiron, Vol. 15, No. 3, July 2008 206 Derivation of the relativistic momentum and relativistic equation of motion from Newton s second law and Minkowskian space-time geometry Krzysztof Rȩbilas Zak lad

More information

### THREE DIMENSIONAL GEOMETRY

Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,

More information

### MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

More information

### Dynamics. Basilio Bona. DAUIN-Politecnico di Torino. Basilio Bona (DAUIN-Politecnico di Torino) Dynamics 2009 1 / 30

Dynamics Basilio Bona DAUIN-Politecnico di Torino 2009 Basilio Bona (DAUIN-Politecnico di Torino) Dynamics 2009 1 / 30 Dynamics - Introduction In order to determine the dynamics of a manipulator, it is

More information

### MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar

More information

### Notes on Orthogonal and Symmetric Matrices MENU, Winter 2013

Notes on Orthogonal and Symmetric Matrices MENU, Winter 201 These notes summarize the main properties and uses of orthogonal and symmetric matrices. We covered quite a bit of material regarding these topics,

More information

### Lecture 18 - Clifford Algebras and Spin groups

Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning

More information

### Special Theory of Relativity

June 1, 2010 1 1 J.D.Jackson, Classical Electrodynamics, 3rd Edition, Chapter 11 Introduction Einstein s theory of special relativity is based on the assumption (which might be a deep-rooted superstition

More information

### Chapter 9 Unitary Groups and SU(N)

Chapter 9 Unitary Groups and SU(N) The irreducible representations of SO(3) are appropriate for describing the degeneracies of states of quantum mechanical systems which have rotational symmetry in three

More information

### APPLICATIONS OF TENSOR ANALYSIS

APPLICATIONS OF TENSOR ANALYSIS (formerly titled: Applications of the Absolute Differential Calculus) by A J McCONNELL Dover Publications, Inc, Neiv York CONTENTS PART I ALGEBRAIC PRELIMINARIES/ CHAPTER

More information

### Section 1.1. Introduction to R n

The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to

More information

### Unified Lecture # 4 Vectors

Fall 2005 Unified Lecture # 4 Vectors These notes were written by J. Peraire as a review of vectors for Dynamics 16.07. They have been adapted for Unified Engineering by R. Radovitzky. References [1] Feynmann,

More information

### Introduction to Matrix Algebra

Psychology 7291: Multivariate Statistics (Carey) 8/27/98 Matrix Algebra - 1 Introduction to Matrix Algebra Definitions: A matrix is a collection of numbers ordered by rows and columns. It is customary

More information

### Section 1.4. Lines, Planes, and Hyperplanes. The Calculus of Functions of Several Variables

The Calculus of Functions of Several Variables Section 1.4 Lines, Planes, Hyperplanes In this section we will add to our basic geometric understing of R n by studying lines planes. If we do this carefully,

More information

### Localization of scalar fields on Branes with an Asymmetric geometries in the bulk

Localization of scalar fields on Branes with an Asymmetric geometries in the bulk Vladimir A. Andrianov in collaboration with Alexandr A. Andrianov V.A.Fock Department of Theoretical Physics Sankt-Petersburg

More information

### arxiv:astro-ph/9803004v2 3 Mar 1998

Observation of Gravitational Lensing in the Clumpy Universe Hideki ASADA 1 Yukawa Institute for Theoretical Physics Kyoto University, Kyoto 606-01, Japan email: asada@yukawa.kyoto-u.ac.jp arxiv:astro-ph/9803004v2

More information

### THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

### Vector Algebra II: Scalar and Vector Products

Chapter 2 Vector Algebra II: Scalar and Vector Products We saw in the previous chapter how vector quantities may be added and subtracted. In this chapter we consider the products of vectors and define

More information

### Inner Product Spaces and Orthogonality

Inner Product Spaces and Orthogonality week 3-4 Fall 2006 Dot product of R n The inner product or dot product of R n is a function, defined by u, v a b + a 2 b 2 + + a n b n for u a, a 2,, a n T, v b,

More information

### 4.5 Linear Dependence and Linear Independence

4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then

More information

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

### α = u v. In other words, Orthogonal Projection

Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v

More information

### Overview of Violations of the Basic Assumptions in the Classical Normal Linear Regression Model

Overview of Violations of the Basic Assumptions in the Classical Normal Linear Regression Model 1 September 004 A. Introduction and assumptions The classical normal linear regression model can be written

More information

### Inner product. Definition of inner product

Math 20F Linear Algebra Lecture 25 1 Inner product Review: Definition of inner product. Slide 1 Norm and distance. Orthogonal vectors. Orthogonal complement. Orthogonal basis. Definition of inner product

More information

### Continuous Groups, Lie Groups, and Lie Algebras

Chapter 7 Continuous Groups, Lie Groups, and Lie Algebras Zeno was concerned with three problems... These are the problem of the infinitesimal, the infinite, and continuity... Bertrand Russell The groups

More information

### Chapter 17. Orthogonal Matrices and Symmetries of Space

Chapter 17. Orthogonal Matrices and Symmetries of Space Take a random matrix, say 1 3 A = 4 5 6, 7 8 9 and compare the lengths of e 1 and Ae 1. The vector e 1 has length 1, while Ae 1 = (1, 4, 7) has length

More information

### Linear Algebra Notes for Marsden and Tromba Vector Calculus

Linear Algebra Notes for Marsden and Tromba Vector Calculus n-dimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of

More information

### Vector Spaces; the Space R n

Vector Spaces; the Space R n Vector Spaces A vector space (over the real numbers) is a set V of mathematical entities, called vectors, U, V, W, etc, in which an addition operation + is defined and in which

More information

### The cover SU(2) SO(3) and related topics

The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of

More information

### Gauged supergravity and E 10

Gauged supergravity and E 10 Jakob Palmkvist Albert-Einstein-Institut in collaboration with Eric Bergshoeff, Olaf Hohm, Axel Kleinschmidt, Hermann Nicolai and Teake Nutma arxiv:0810.5767 JHEP01(2009)020

More information

### Topologically Massive Gravity with a Cosmological Constant

Topologically Massive Gravity with a Cosmological Constant Derek K. Wise Joint work with S. Carlip, S. Deser, A. Waldron Details and references at arxiv:0803.3998 [hep-th] (or for the short story, 0807.0486,

More information

### Figure 1.1 Vector A and Vector F

CHAPTER I VECTOR QUANTITIES Quantities are anything which can be measured, and stated with number. Quantities in physics are divided into two types; scalar and vector quantities. Scalar quantities have

More information

### a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

### 1 VECTOR SPACES AND SUBSPACES

1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such

More information

### 3. Reaction Diffusion Equations Consider the following ODE model for population growth

3. Reaction Diffusion Equations Consider the following ODE model for population growth u t a u t u t, u 0 u 0 where u t denotes the population size at time t, and a u plays the role of the population dependent

More information

### 9.4. The Scalar Product. Introduction. Prerequisites. Learning Style. Learning Outcomes

The Scalar Product 9.4 Introduction There are two kinds of multiplication involving vectors. The first is known as the scalar product or dot product. This is so-called because when the scalar product of

More information

### 9 Multiplication of Vectors: The Scalar or Dot Product

Arkansas Tech University MATH 934: Calculus III Dr. Marcel B Finan 9 Multiplication of Vectors: The Scalar or Dot Product Up to this point we have defined what vectors are and discussed basic notation

More information

### Gauge theories and the standard model of elementary particle physics

Gauge theories and the standard model of elementary particle physics Mark Hamilton 21st July 2014 1 / 35 Table of contents 1 The standard model 2 3 2 / 35 The standard model The standard model is the most

More information

### T ( a i x i ) = a i T (x i ).

Chapter 2 Defn 1. (p. 65) Let V and W be vector spaces (over F ). We call a function T : V W a linear transformation form V to W if, for all x, y V and c F, we have (a) T (x + y) = T (x) + T (y) and (b)

More information

### A QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS

A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors

More information

### ON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE

i93 c J SYSTEMS OF CURVES 695 ON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE BY C H. ROWE. Introduction. A system of co 2 curves having been given on a surface, let us consider a variable curvilinear

More information

### Mechanics 1: Vectors

Mechanics 1: Vectors roadly speaking, mechanical systems will be described by a combination of scalar and vector quantities. scalar is just a (real) number. For example, mass or weight is characterized

More information

### Similarity and Diagonalization. Similar Matrices

MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

More information

### Nonlinear Iterative Partial Least Squares Method

Numerical Methods for Determining Principal Component Analysis Abstract Factors Béchu, S., Richard-Plouet, M., Fernandez, V., Walton, J., and Fairley, N. (2016) Developments in numerical treatments for

More information

### Chapter 4 One Dimensional Kinematics

Chapter 4 One Dimensional Kinematics 41 Introduction 1 4 Position, Time Interval, Displacement 41 Position 4 Time Interval 43 Displacement 43 Velocity 3 431 Average Velocity 3 433 Instantaneous Velocity

More information

### Solving Systems of Linear Equations

LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how

More information

### Kaluza-Klein for Kids. William O. Straub Pasadena, California 91104 June 27, 2014

Kaluza-Klein for Kids William O. Straub Pasadena, California 91104 June 27, 2014 Abstract A very elementary overview of the original Kaluza-Klein theory is presented, suitable for undergraduates who want

More information

### Elasticity Theory Basics

G22.3033-002: Topics in Computer Graphics: Lecture #7 Geometric Modeling New York University Elasticity Theory Basics Lecture #7: 20 October 2003 Lecturer: Denis Zorin Scribe: Adrian Secord, Yotam Gingold

More information

### Physics 235 Chapter 1. Chapter 1 Matrices, Vectors, and Vector Calculus

Chapter 1 Matrices, Vectors, and Vector Calculus In this chapter, we will focus on the mathematical tools required for the course. The main concepts that will be covered are: Coordinate transformations

More information

### 13 MATH FACTS 101. 2 a = 1. 7. The elements of a vector have a graphical interpretation, which is particularly easy to see in two or three dimensions.

3 MATH FACTS 0 3 MATH FACTS 3. Vectors 3.. Definition We use the overhead arrow to denote a column vector, i.e., a linear segment with a direction. For example, in three-space, we write a vector in terms

More information

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

More information

### SPATIAL COORDINATE SYSTEMS AND RELATIVISTIC TRANSFORMATION EQUATIONS

Fundamental Journal of Modern Physics Vol. 7, Issue, 014, Pages 53-6 Published online at http://www.frdint.com/ SPATIAL COORDINATE SYSTEMS AND RELATIVISTIC TRANSFORMATION EQUATIONS J. H. FIELD Departement

More information

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

More information

### 1 2 3 1 1 2 x = + x 2 + x 4 1 0 1

(d) If the vector b is the sum of the four columns of A, write down the complete solution to Ax = b. 1 2 3 1 1 2 x = + x 2 + x 4 1 0 0 1 0 1 2. (11 points) This problem finds the curve y = C + D 2 t which

More information

### x1 x 2 x 3 y 1 y 2 y 3 x 1 y 2 x 2 y 1 0.

Cross product 1 Chapter 7 Cross product We are getting ready to study integration in several variables. Until now we have been doing only differential calculus. One outcome of this study will be our ability

More information

### 1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

More information

### CBE 6333, R. Levicky 1 Differential Balance Equations

CBE 6333, R. Levicky 1 Differential Balance Equations We have previously derived integral balances for mass, momentum, and energy for a control volume. The control volume was assumed to be some large object,

More information

### Structure of the Root Spaces for Simple Lie Algebras

Structure of the Root Spaces for Simple Lie Algebras I. Introduction A Cartan subalgebra, H, of a Lie algebra, G, is a subalgebra, H G, such that a. H is nilpotent, i.e., there is some n such that (H)

More information

### 18.06 Problem Set 4 Solution Due Wednesday, 11 March 2009 at 4 pm in 2-106. Total: 175 points.

806 Problem Set 4 Solution Due Wednesday, March 2009 at 4 pm in 2-06 Total: 75 points Problem : A is an m n matrix of rank r Suppose there are right-hand-sides b for which A x = b has no solution (a) What

More information

### Vectors Math 122 Calculus III D Joyce, Fall 2012

Vectors Math 122 Calculus III D Joyce, Fall 2012 Vectors in the plane R 2. A vector v can be interpreted as an arro in the plane R 2 ith a certain length and a certain direction. The same vector can be

More information

### NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

More information

### Chapter 22 The Hamiltonian and Lagrangian densities. from my book: Understanding Relativistic Quantum Field Theory. Hans de Vries

Chapter 22 The Hamiltonian and Lagrangian densities from my book: Understanding Relativistic Quantum Field Theory Hans de Vries January 2, 2009 2 Chapter Contents 22 The Hamiltonian and Lagrangian densities

More information

### Lecture 2: Homogeneous Coordinates, Lines and Conics

Lecture 2: Homogeneous Coordinates, Lines and Conics 1 Homogeneous Coordinates In Lecture 1 we derived the camera equations λx = P X, (1) where x = (x 1, x 2, 1), X = (X 1, X 2, X 3, 1) and P is a 3 4

More information

### Systems of Linear Equations

Systems of Linear Equations Beifang Chen Systems of linear equations Linear systems A linear equation in variables x, x,, x n is an equation of the form a x + a x + + a n x n = b, where a, a,, a n and

More information

### Increasing for all. Convex for all. ( ) Increasing for all (remember that the log function is only defined for ). ( ) Concave for all.

1. Differentiation The first derivative of a function measures by how much changes in reaction to an infinitesimal shift in its argument. The largest the derivative (in absolute value), the faster is evolving.

More information

### Solutions to Math 51 First Exam January 29, 2015

Solutions to Math 5 First Exam January 29, 25. ( points) (a) Complete the following sentence: A set of vectors {v,..., v k } is defined to be linearly dependent if (2 points) there exist c,... c k R, not

More information

### Vector and Matrix Norms

Chapter 1 Vector and Matrix Norms 11 Vector Spaces Let F be a field (such as the real numbers, R, or complex numbers, C) with elements called scalars A Vector Space, V, over the field F is a non-empty

More information

### Teaching Electromagnetic Field Theory Using Differential Forms

IEEE TRANSACTIONS ON EDUCATION, VOL. 40, NO. 1, FEBRUARY 1997 53 Teaching Electromagnetic Field Theory Using Differential Forms Karl F. Warnick, Richard H. Selfridge, Member, IEEE, and David V. Arnold

More information

### arxiv:gr-qc/0604127v2 15 Aug 2006

Numerical Bianchi I solutions in semi-classical gravitation Sandro D. P. Vitenti Instituto de Física, UnB Campus Universitário Darcy Ribeiro Cxp 4455, 7919-97, Brasília DF Brasil arxiv:gr-qc/64127v2 15

More information

### Lecture 1: Schur s Unitary Triangularization Theorem

Lecture 1: Schur s Unitary Triangularization Theorem This lecture introduces the notion of unitary equivalence and presents Schur s theorem and some of its consequences It roughly corresponds to Sections

More information

### Linear Algebra Review. Vectors

Linear Algebra Review By Tim K. Marks UCSD Borrows heavily from: Jana Kosecka kosecka@cs.gmu.edu http://cs.gmu.edu/~kosecka/cs682.html Virginia de Sa Cogsci 8F Linear Algebra review UCSD Vectors The length

More information

### LINEAR EQUATIONS IN TWO VARIABLES

66 MATHEMATICS CHAPTER 4 LINEAR EQUATIONS IN TWO VARIABLES The principal use of the Analytic Art is to bring Mathematical Problems to Equations and to exhibit those Equations in the most simple terms that

More information

### THE APPROXIMATION OF ONE MATRIX BY ANOTHER OF LOWER RANK. CARL ECKART AND GALE YOUNG University of Chicago, Chicago, Illinois

PSYCHOMETRIKA--VOL. I, NO. 3 SEPTEMBER, 193.6 THE APPROXIMATION OF ONE MATRIX BY ANOTHER OF LOWER RANK CARL ECKART AND GALE YOUNG University of Chicago, Chicago, Illinois The mathematical problem of approximating

More information

### Rotation: Moment of Inertia and Torque

Rotation: Moment of Inertia and Torque Every time we push a door open or tighten a bolt using a wrench, we apply a force that results in a rotational motion about a fixed axis. Through experience we learn

More information

### MASTER OF SCIENCE IN PHYSICS MASTER OF SCIENCES IN PHYSICS (MS PHYS) (LIST OF COURSES BY SEMESTER, THESIS OPTION)

MASTER OF SCIENCE IN PHYSICS Admission Requirements 1. Possession of a BS degree from a reputable institution or, for non-physics majors, a GPA of 2.5 or better in at least 15 units in the following advanced

More information

### Euclidean quantum gravity revisited

Institute for Gravitation and the Cosmos, Pennsylvania State University 15 June 2009 Eastern Gravity Meeting, Rochester Institute of Technology Based on: First-order action and Euclidean quantum gravity,

More information

### arxiv:1408.3381v1 [physics.gen-ph] 17 Sep 2013

Derivation of the relativistic momentum and relativistic equation of motion from Newton s second law and Minkowskian space-time geometry arxiv:1408.3381v1 [physics.gen-ph] 17 Sep 2013 Krzysztof Rȩbilas

More information

### Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.

More information

### Section 5.3. Section 5.3. u m ] l jj. = l jj u j + + l mj u m. v j = [ u 1 u j. l mj

Section 5. l j v j = [ u u j u m ] l jj = l jj u j + + l mj u m. l mj Section 5. 5.. Not orthogonal, the column vectors fail to be perpendicular to each other. 5..2 his matrix is orthogonal. Check that

More information

### discuss how to describe points, lines and planes in 3 space.

Chapter 2 3 Space: lines and planes In this chapter we discuss how to describe points, lines and planes in 3 space. introduce the language of vectors. discuss various matters concerning the relative position

More information

### Let s first see how precession works in quantitative detail. The system is illustrated below: ...

lecture 20 Topics: Precession of tops Nutation Vectors in the body frame The free symmetric top in the body frame Euler s equations The free symmetric top ala Euler s The tennis racket theorem As you know,

More information

### Differential Relations for Fluid Flow. Acceleration field of a fluid. The differential equation of mass conservation

Differential Relations for Fluid Flow In this approach, we apply our four basic conservation laws to an infinitesimally small control volume. The differential approach provides point by point details of

More information

### How Gravitational Forces arise from Curvature

How Gravitational Forces arise from Curvature 1. Introduction: Extremal ging and the Equivalence Principle These notes supplement Chapter 3 of EBH (Exploring Black Holes by Taylor and Wheeler). They elaborate

More information

### The Characteristic Polynomial

Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem

More information