DOCSLIB.ORG

4.3 Sectional Curvature Notation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
4.3 Sectional Curvature Notation MATH 250A: Chapter 4 Lecture Notes 6 December 2017 Aaron Nelson 4.3 Sectional curvature Notation. Here and throughout, let M denote a Riemannian manifold of dimension n ≥ 2, with metric h·; ·i, and R: X (M) × X (M) !L(X (M)) the curvature operator; for a given p 2 M, we will abuse notation and write R: TpM × TpM !L(TpM), which makes sense if we extend vectors v 2 TpM to vector fields V 2 X (M) in the usual way. Next, let V be a real vector space (of dimension at least 2) equipped with an inner-product h·; ·i (differentiating between the two uses of this symbol will be clear from context). Finally, for each x; y 2 V denote the area of the parallelogram determined by x and y by jx ^ yj := pjxj2jyj2 − jhx; yij2: This notation is not surprising if one is familiar with the wedge product; indeed, we may write x ^ y = jx ^ yj(e1 ^ e2) for some orthonormal basis fe1; e2g for spanfx; yg. More generally, if dim(V ) ≥ m ≥ 2, then the wedge product gives x1 ^ · · · ^ xm = jx1 ^ · · · ^ xmj(e1 ^ · · · ^ em) m m for some orthonormal basis fekgk=1 for spanfxkgk=1, where jx1 ^ · · · ^ xmj denotes the volume m of the parallelepiped determined by fxkgk=1. Definition. Let p 2 M and V ⊂ TpM be a two-dimensional subspace. Define K : V × V ! R by ( hR(x;y)x;yi if x; y are linearly independent; K(x; y) := jx^yj2 0 otherwise: Proposition (3.1). Let p 2 M and V ⊂ TpM be a two-dimensional subspace. If (x; y); (u; v) 2 V × V are pairs of linearly independent vectors in V , then K(x; y) = K(u; v). Proof. First, observe that it is possible to transform the basis fx; yg for V into any other basis for V using compositions of the operations (a) fx; yg ! fy; xg; (b) fx; yg ! fλx, yg for some nonzero λ 2 R; (c) fx; yg ! fx + λy; yg for some λ 2 R. Hence, it suffices to prove that K is invariant under these operations. To this end, let x; y 2 V be linearly independent and note the following: (a) Clearly, jy ^xj = jx^yj, and so it suffices to show that hR(y; x)y; xi = hR(x; y)x; yi, which follows by applying part (b) of Proposition (2.5): hR(y; x)y; xi = −hR(x; y)y; xi = hR(x; y)x; yi: 1 (b) Suppose λ 2 Rnf0g. Since jλx^yj = jλjjx^yj, it suffices to note that hR(λx, y)(λx); yi = λ2hR(x; y)x; yi by the bilinearity of R on V × V and linearity of R(·; ·) on V . (c) Suppose λ 2 R. Then we have j(x + λy) ^ yj2 = jx + λyj2jyj2 − jhx + λy; yij2 = jxj2 + 2λhx; yi + λ2jyj2jyj2 − hx; yi2 + λ2jyj4 + 2λhx; yijyj2 = jxj2jyj2 − jhx; yij2 = jx ^ yj2; and so it remains to show that hR(x + λy; y)(x + λy); yi = hR(x; y)x; yi. For this, observe that the bilinearity of R on V × V and linearity of R(·; ·) on V yield hR(x + λy; y)(x + λy); yi = hR(x; y)(x + λy); yi + λhR(y; y)(x + λy); yi = hR(x; y)x; yi + λhR(x; y)y; yi + λhR(y; y)x; yi + λ2hR(y; y)y; yi and, hence, the result follows by applying parts (b) and (c) of Proposition (2.5) to obtain hR(y; y); y; yi = 0 and hR(y; y)x; yi = hR(x; y)y; yi = 0. Remark. An immediate consequence of Proposition (3.1) is that the value of K depends only the linear (in)dependence of its arguments and not on the arguments themselves. In particular, K is constant over the set of pairs of linearly independent vectors in V ; we denote this constant value by K(V ). Definition (3.2). Let p 2 M and V ⊂ TpM be a two-dimensional subspace. The sectional curva- ture of V at p is K(V ). Sectional curvature is important because of its relationship to the curvature operator R. In particu- lar, for any p 2 M, knowing the values fK(V )gV ⊂TpM for all two-dimensional subspaces of TpM completely determines R. We make this precise with the following lemma: Lemma (3.3). Let p 2 M and f : TpM × TpM × TpM ! TpM be a tri-linear mapping satisfying (i) hf(x; y; z); wi + hf(y; z; x); wi + hf(z; x; y); wi = 0; (ii) hf(x; y; z); wi = −hf(y; x; z); wi; (iii) hf(x; y; z); wi = −hf(x; y; w); zi; (iv) hf(x; y; z); wi = hf(z; w; x); yi for all x; y; z; w 2 TpM. For each two-dimensional subspace V ⊂ TpM define hf(x; y; x); yi κ(V ) := jx ^ yj2 2 for any pair (x; y) of linearly independent vectors in V . If for each such V we have κ(V ) = K(V ), then f(x; y; z) = R(x; y)z for all x; y; z 2 TpM. Remark. Before we prove Lemma (3.3), it is necessary to remark that κ is well-defined. Indeed, by the assumptions on f, verifying that κ(V ) is constant over the set of pairs of linearly independent vectors in V is identical to the proof of Proposition (3.1). Proof of Lemma (3.3). It suffices to prove hf(x; y; z); wi = hR(x; y)z; wi for any x; y; z; w 2 TpM. To this end, observe that we have hf(x; y; x); yi = hR(x; y)x; yi for all x; y 2 TpM; in- deed, for linearly independent x and y this follows from the assumptions on κ, and for linearly dependent x and y it is easy to verify that hf(x; y; x); yi = 0 = hR(x; y)x; yi. In particular, for any x; y; z 2 TpM, we have hf(x + z; y; x + z); yi = hR(x + z; y)(x + z); yi and so by expanding we obtain hf(x; y; x); yi + 2hf(x; y; z); yi + hf(z; y; z); yi = hR(x; y)x; yi + 2hR(x; y)z; yi + hR(z; y)z; yi; which simplifies to hf(x; y; z); yi = hR(x; y)z; yi. Substituting y + w for y in this expression, expanding, and rearranging then yields hf(x; y; z); wi − hR(x; y)z; wi = hf(y; z; x); wi − hR(y; z)x; wi; from which it follows that hf(x; y; z); wi − hR(x; y)z; wi is invariant under cyclic permutations of (x; y; z). Applying assumption (i) and part (a) of Proposition (2.5), we therefore have 0 = 3hf(x; y; z); wi − hR(x; y)z; wi; the desired result is an immediate consequence of this equality. We now consider the case of constant sectional curvature; that is, for each p 2 M, we require that K(V ) = K(W ) for all two-dimensional subspaces V; W ⊂ TpM. The following proposition (lemma in Do Carmo) provides a characterization of Riemannian manifolds with this property: Proposition (3.4). Let p 2 M and g : TpM × TpM × TpM ! TpM be a tri-linear mapping satisfying hg(x; y; z); wi = hx; zihy; wi − hy; zihx; wi for all x; y; z; w 2 TpM. Then the sectional curvature at p is constant (and equal to K0 2 R) if and only if K0g(x; y; z) = R(x; y)z for all x; y; z 2 TpM. Proof. Before we begin, we observe some simple facts about g: 3 (i) Let x; y; z; w 2 TpM. Then hg(x; y; z); wi + hg(y; z; x); wi + hg(z; x; y); wi = hx; zihy; wi − hy; zihx; wi + hy; xihz; wi − hz; xihy; wi + hz; yihx; wi − hx; yihz; wi = 0: (ii) Let x; y; z; w 2 TpM. Then hg(x; y; z); wi = hx; zihy; wi − hy; zihx; wi = −hy; zihx; wi − hx; zihy; wi = −hg(y; x; z); wi: (iii) Let x; y; z; w 2 TpM. Then hg(x; y; z); wi = hx; zihy; wi − hy; zihx; wi = −hx; wihy; zi − hy; wihx; zi = −hg(x; y; w); zi: (iv) Let x; y; z; w 2 TpM. Then hg(x; y; z); wi = hx; zihy; wi − hy; zihx; wi = hz; xihw; yi − hz; yihw; xi = hg(z; w; x); yi: With these facts in hand, we now prove each implication separately: ()) Assume that the sectional curvature at p is constant (and equal to K0 2 R). Then by definition 2 we have hR(x; y)x; yi = K0jx ^ yj for all x; y 2 TpM. Since we also have hg(x; y; x); yi = jxj2jyj2 − hx; yi2 = jx ^ yj2; it follows that K0hg(x; y; x); yi = hR(x; y)x; yi; that is K hg(x; y; x); yi hR(x; y)x; yi 0 = K = ; jx ^ yj2 0 jx ^ yj2 which is one of the assumptions of Lemma (3.3), provided we take f := K0g. As g (and therefore K0g) satisfies properties (i)-(iv) above, the remaining assumptions of Lemma (3.3) are also satisfied (with f = K0g), and so applying the lemma yields K0g(x; y; z) = R(x; y)z for all x; y; z 2 TpM, as desired. (() Assume that K0g(x; y; z) = R(x; y)z for all x; y; z 2 TpM and some K0 2 R.
Load more

Recommended publications
  • The Simplicial Ricci Tensor 2
    The Simplicial Ricci Tensor Paul M. Alsing1, Jonathan R. McDonald 1,2 & Warner A. Miller3 1Information Directorate, Air Force Research Laboratory, Rome, New York 13441 2Insitut f¨ur Angewandte Mathematik, Friedrich-Schiller-Universit¨at-Jena, 07743 Jena, Germany 3Department of Physics, Florida Atlantic University, Boca Raton, FL 33431 E-mail: [email protected] Abstract. The Ricci tensor (Ric) is fundamental to Einstein’s geometric theory of gravitation. The 3-dimensional Ric of a spacelike surface vanishes at the moment of time symmetry for vacuum spacetimes. The 4-dimensional Ric is the Einstein tensor for such spacetimes. More recently the Ric was used by Hamilton to define a non-linear, diffusive Ricci flow (RF) that was fundamental to Perelman’s proof of the Poincar`e conjecture. Analytic applications of RF can be found in many fields including general relativity and mathematics. Numerically it has been applied broadly to communication networks, medical physics, computer design and more. In this paper, we use Regge calculus (RC) to provide the first geometric discretization of the Ric. This result is fundamental for higher-dimensional generalizations of discrete RF. We construct this tensor on both the simplicial lattice and its dual and prove their equivalence. We show that the Ric is an edge-based weighted average of deficit divided by an edge-based weighted average of dual area – an expression similar to the vertex-based weighted average of the scalar curvature reported recently. We use this Ric in a third and independent geometric derivation of the RC Einstein tensor in arbitrary dimension. arXiv:1107.2458v1 [gr-qc] 13 Jul 2011 The Simplicial Ricci Tensor 2 1.
    [Show full text]
  • Differential Geometry: Curvature and Holonomy Austin Christian
    University of Texas at Tyler Scholar Works at UT Tyler Math Theses Math Spring 5-5-2015 Differential Geometry: Curvature and Holonomy Austin Christian Follow this and additional works at: https://scholarworks.uttyler.edu/math_grad Part of the Mathematics Commons Recommended Citation Christian, Austin, "Differential Geometry: Curvature and Holonomy" (2015). Math Theses. Paper 5. http://hdl.handle.net/10950/266 This Thesis is brought to you for free and open access by the Math at Scholar Works at UT Tyler. It has been accepted for inclusion in Math Theses by an authorized administrator of Scholar Works at UT Tyler. For more information, please contact [email protected]. DIFFERENTIAL GEOMETRY: CURVATURE AND HOLONOMY by AUSTIN CHRISTIAN A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science Department of Mathematics David Milan, Ph.D., Committee Chair College of Arts and Sciences The University of Texas at Tyler May 2015 c Copyright by Austin Christian 2015 All rights reserved Acknowledgments There are a number of people that have contributed to this project, whether or not they were aware of their contribution. For taking me on as a student and learning differential geometry with me, I am deeply indebted to my advisor, David Milan. Without himself being a geometer, he has helped me to develop an invaluable intuition for the field, and the freedom he has afforded me to study things that I find interesting has given me ample room to grow. For introducing me to differential geometry in the first place, I owe a great deal of thanks to my undergraduate advisor, Robert Huff; our many fruitful conversations, mathematical and otherwise, con- tinue to affect my approach to mathematics.
    [Show full text]
  • Riemannian Geometry – Lecture 16 Computing Sectional Curvatures
    Riemannian Geometry – Lecture 16 Computing Sectional Curvatures Dr. Emma Carberry September 14, 2015 Stereographic projection of the sphere Example 16.1. We write Sn or Sn(1) for the unit sphere in Rn+1, and Sn(r) for the sphere of radius r > 0. Stereographic projection φ from the north pole N = (0;:::; 0; r) gives local coordinates on Sn(r) n fNg Example 16.1 (Continued). Example 16.1 (Continued). Example 16.1 (Continued). We have for each i = 1; : : : ; n that ui = cxi (1) and using the above similar triangles, we see that r c = : (2) r − xn+1 1 Hence stereographic projection φ : Sn n fNg ! Rn is given by rx1 rxn φ(x1; : : : ; xn; xn+1) = ;:::; r − xn+1 r − xn+1 The inverse φ−1 of stereographic projection is given by (exercise) 2r2ui xi = ; i = 1; : : : ; n juj2 + r2 2r3 xn+1 = r − : juj2 + r2 and so we see that stereographic projection is a diffeomorphism. Stereographic projection is conformal Definition 16.2. A local coordinate chart (U; φ) on Riemannian manifold (M; g) is conformal if for any p 2 U and X; Y 2 TpM, 2 gp(X; Y ) = F (p) hdφp(X); dφp(Y )i where F : U ! R is a nowhere vanishing smooth function and on the right-hand side we are using the usual Euclidean inner product. Exercise 16.3. Prove that this is equivalent to: 1. dφp preserving angles, where the angle between X and Y is defined (up to adding multi- ples of 2π) by g(X; Y ) cos θ = pg(X; X)pg(Y; Y ) and also to 2 2.
    [Show full text]
  • Math 865, Topics in Riemannian Geometry
    Math 865, Topics in Riemannian Geometry Jeff A. Viaclovsky Fall 2007 Contents 1 Introduction 3 2 Lecture 1: September 4, 2007 4 2.1 Metrics, vectors, and one-forms . 4 2.2 The musical isomorphisms . 4 2.3 Inner product on tensor bundles . 5 2.4 Connections on vector bundles . 6 2.5 Covariant derivatives of tensor fields . 7 2.6 Gradient and Hessian . 9 3 Lecture 2: September 6, 2007 9 3.1 Curvature in vector bundles . 9 3.2 Curvature in the tangent bundle . 10 3.3 Sectional curvature, Ricci tensor, and scalar curvature . 13 4 Lecture 3: September 11, 2007 14 4.1 Differential Bianchi Identity . 14 4.2 Algebraic study of the curvature tensor . 15 5 Lecture 4: September 13, 2007 19 5.1 Orthogonal decomposition of the curvature tensor . 19 5.2 The curvature operator . 20 5.3 Curvature in dimension three . 21 6 Lecture 5: September 18, 2007 22 6.1 Covariant derivatives redux . 22 6.2 Commuting covariant derivatives . 24 6.3 Rough Laplacian and gradient . 25 7 Lecture 6: September 20, 2007 26 7.1 Commuting Laplacian and Hessian . 26 7.2 An application to PDE . 28 1 8 Lecture 7: Tuesday, September 25. 29 8.1 Integration and adjoints . 29 9 Lecture 8: September 23, 2007 34 9.1 Bochner and Weitzenb¨ock formulas . 34 10 Lecture 9: October 2, 2007 38 10.1 Manifolds with positive curvature operator . 38 11 Lecture 10: October 4, 2007 41 11.1 Killing vector fields . 41 11.2 Isometries . 44 12 Lecture 11: October 9, 2007 45 12.1 Linearization of Ricci tensor .
    [Show full text]
  • Elementary Differential Geometry
    ELEMENTARY DIFFERENTIAL GEOMETRY YONG-GEUN OH { Based on the lecture note of Math 621-2020 in POSTECH { Contents Part 1. Riemannian Geometry 2 1. Parallelism and Ehresman connection 2 2. Affine connections on vector bundles 4 2.1. Local expression of covariant derivatives 6 2.2. Affine connection recovers Ehresmann connection 7 2.3. Curvature 9 2.4. Metrics and Euclidean connections 9 3. Riemannian metrics and Levi-Civita connection 10 3.1. Examples of Riemannian manifolds 12 3.2. Covariant derivative along the curve 13 4. Riemann curvature tensor 15 5. Raising and lowering indices and contractions 17 6. Geodesics and exponential maps 19 7. First variation of arc-length 22 8. Geodesic normal coordinates and geodesic balls 25 9. Hopf-Rinow Theorem 31 10. Classification of constant curvature surfaces 33 11. Second variation of energy 34 Part 2. Symplectic Geometry 39 12. Geometry of cotangent bundles 39 13. Poisson manifolds and Schouten-Nijenhuis bracket 42 13.1. Poisson tensor and Jacobi identity 43 13.2. Lie-Poisson space 44 14. Symplectic forms and the Jacobi identity 45 15. Proof of Darboux' Theorem 47 15.1. Symplectic linear algebra 47 15.2. Moser's deformation method 48 16. Hamiltonian vector fields and diffeomorhpisms 50 17. Autonomous Hamiltonians and conservation law 53 18. Completely integrable systems and action-angle variables 55 18.1. Construction of angle coordinates 56 18.2. Construction of action coordinates 57 18.3. Underlying geometry of the Hamilton-Jacobi method 61 19. Lie groups and Lie algebras 62 1 2 YONG-GEUN OH 20. Group actions and adjoint representations 67 21.
    [Show full text]
  • SECTIONAL CURVATURE-TYPE CONDITIONS on METRIC SPACES 2 and Poincaré Conditions, and Even the Measure Contraction Property
    SECTIONAL CURVATURE-TYPE CONDITIONS ON METRIC SPACES MARTIN KELL Abstract. In the first part Busemann concavity as non-negative curvature is introduced and a bi-Lipschitz splitting theorem is shown. Furthermore, if the Hausdorff measure of a Busemann concave space is non-trivial then the space is doubling and satisfies a Poincaré condition and the measure contraction property. Using a comparison geometry variant for general lower curvature bounds k ∈ R, a Bonnet-Myers theorem can be proven for spaces with lower curvature bound k > 0. In the second part the notion of uniform smoothness known from the theory of Banach spaces is applied to metric spaces. It is shown that Busemann functions are (quasi-)convex. This implies the existence of a weak soul. In the end properties are developed to further dissect the soul. In order to understand the influence of curvature on the geometry of a space it helps to develop a synthetic notion. Via comparison geometry sectional curvature bounds can be obtained by demanding that triangles are thinner or fatter than the corresponding comparison triangles. The two classes are called CAT (κ)- and resp. CBB(κ)-spaces. We refer to the book [BH99] and the forthcoming book [AKP] (see also [BGP92, Ots97]). Note that all those notions imply a Riemannian character of the metric space. In particular, the angle between two geodesics starting at a com- mon point is well-defined. Busemann investigated a weaker notion of non-positive curvature which also applies to normed spaces [Bus55, Section 36]. A similar idea was developed by Pedersen [Ped52] (see also [Bus55, (36.15)]).
    [Show full text]
  • Chapter 13 Curvature in Riemannian Manifolds
    Chapter 13 Curvature in Riemannian Manifolds 13.1 The Curvature Tensor If (M, , )isaRiemannianmanifoldand is a connection on M (that is, a connection on TM−), we− saw in Section 11.2 (Proposition 11.8)∇ that the curvature induced by is given by ∇ R(X, Y )= , ∇X ◦∇Y −∇Y ◦∇X −∇[X,Y ] for all X, Y X(M), with R(X, Y ) Γ( om(TM,TM)) = Hom (Γ(TM), Γ(TM)). ∈ ∈ H ∼ C∞(M) Since sections of the tangent bundle are vector fields (Γ(TM)=X(M)), R defines a map R: X(M) X(M) X(M) X(M), × × −→ and, as we observed just after stating Proposition 11.8, R(X, Y )Z is C∞(M)-linear in X, Y, Z and skew-symmetric in X and Y .ItfollowsthatR defines a (1, 3)-tensor, also denoted R, with R : T M T M T M T M. p p × p × p −→ p Experience shows that it is useful to consider the (0, 4)-tensor, also denoted R,givenby R (x, y, z, w)= R (x, y)z,w p p p as well as the expression R(x, y, y, x), which, for an orthonormal pair, of vectors (x, y), is known as the sectional curvature, K(x, y). This last expression brings up a dilemma regarding the choice for the sign of R. With our present choice, the sectional curvature, K(x, y), is given by K(x, y)=R(x, y, y, x)but many authors define K as K(x, y)=R(x, y, x, y). Since R(x, y)isskew-symmetricinx, y, the latter choice corresponds to using R(x, y)insteadofR(x, y), that is, to define R(X, Y ) by − R(X, Y )= + .
    [Show full text]
  • 3. Sectional Curvature of Lorentzian Manifolds. 1
    3. SECTIONAL CURVATURE OF LORENTZIAN MANIFOLDS. 1. Sectional curvature, the Jacobi equation and \tidal stresses". The (3,1) Riemann curvature tensor has the same definition in the rie- mannian and Lorentzian cases: R(X; Y )Z = rX rY Z − rY rX Z − r[X;Y ]Z: If f(t; s) is a parametrized 2-surface in M (immersion) and W (t; s) is a vector field on M along f, we have the Ricci formula: D DW D DW − = R(@ f; @ f)W: @t @s @s @t t s For a variation f(t; s) = γs(t) of a geodesic γ(t) (with variational vector field J(t) = @sfjs=0 along γ(t)) this leads to the Jacobi equation for J: D2J + R(J; γ_ )_γ = 0: dt2 ? The Jacobi operator is the self-adjoint operator on (γ _ ) : Rp[v] = Rp(v; γ_ )_γ. When γ is a timelike geodesic (the worldline of a free-falling massive particle) the physical interpretation of J is the relative displacement (space- like) vector of a neighboring free-falling particle, while the second covariant 00 derivative J represents its relative acceleration. The Jacobi operator Rp gives the \tidal stresses" in terms of the position vector J. In the Lorentzian case, the sectional curvature is defined only for non- degenerate two-planes Π ⊂ TpM. Definition. Let Π = spanfX; Y g be a non-degenerate two-dimensional subspace of TpM. The sectional curvature σXY = σΠ is the real number σ defined by: hR(X; Y )Y; Xi = σhX ^ Y; X ^ Y i: Remark: by a result of J.
    [Show full text]
  • The Ricci Curvature of Rotationally Symmetric Metrics
    The Ricci curvature of rotationally symmetric metrics Anna Kervison Supervisor: Dr Artem Pulemotov The University of Queensland 1 1 Introduction Riemannian geometry is a branch of differential non-Euclidean geometry developed by Bernhard Riemann, used to describe curved space. In Riemannian geometry, a manifold is a topological space that locally resembles Euclidean space. This means that at any point on the manifold, there exists a neighbourhood around that point that appears ‘flat’and could be mapped into the Euclidean plane. For example, circles are one-dimensional manifolds but a figure eight is not as it cannot be pro- jected into the Euclidean plane at the intersection. Surfaces such as the sphere and the torus are examples of two-dimensional manifolds. The shape of a manifold is defined by the Riemannian metric, which is a measure of the length of tangent vectors and curves in the manifold. It can be thought of as locally a matrix valued function. The Ricci curvature is one of the most sig- nificant geometric characteristics of a Riemannian metric. It provides a measure of the curvature of the manifold in much the same way the second derivative of a single valued function provides a measure of the curvature of a graph. Determining the Ricci curvature of a metric is difficult, as it is computed from a lengthy ex- pression involving the derivatives of components of the metric up to order two. In fact, without additional simplifications, the formula for the Ricci curvature given by this definition is essentially unmanageable. Rn is one of the simplest examples of a manifold.
    [Show full text]
  • Operator-Valued Tensors on Manifolds: a Framework for Field
    Operator-Valued Tensors on Manifolds: A Framework for Field Quantization 1 2 H. Feizabadi , N. Boroojerdian ∗ 1,2Department of pure Mathematics, Faculty of Mathematics and Computer Science, Amirkabir University of Technology, No. 424, Hafez Ave., Tehran, Iran. Abstract In this paper we try to prepare a framework for field quantization. To this end, we aim to replace the field of scalars R by self-adjoint elements of a commu- tative C⋆-algebra, and reach an appropriate generalization of geometrical concepts on manifolds. First, we put forward the concept of operator-valued tensors and extend semi-Riemannian metrics to operator valued metrics. Then, in this new geometry, some essential concepts of Riemannian geometry such as curvature ten- sor, Levi-Civita connection, Hodge star operator, exterior derivative, divergence,... will be considered. Keywords: Operator-valued tensors, Operator-Valued Semi-Riemannian Met- rics, Levi-Civita Connection, Curvature, Hodge star operator MSC(2010): Primary: 65F05; Secondary: 46L05, 11Y50. 0 Introduction arXiv:1501.05065v2 [math-ph] 27 Jan 2015 The aim of the present paper is to extend the theory of semi-Riemannian metrics to operator-valued semi-Riemannian metrics, which may be used as a framework for field quantization. Spaces of linear operators are directly related to C∗-algebras, so C∗- algebras are considered as a basic concept in this article. This paper has its roots in Hilbert C⋆-modules, which are frequently used in the theory of operator algebras, allowing one to obtain information about C⋆-algebras by studying Hilbert C⋆-modules over them. Hilbert C⋆-modules provide a natural generalization of Hilbert spaces arising when the field of scalars C is replaced by an arbitrary C⋆-algebra.
    [Show full text]
  • Differential Geometry of Diffeomorphism Groups
    CHAPTER IV DIFFERENTIAL GEOMETRY OF DIFFEOMORPHISM GROUPS In EN Lorenz stated that a twoweek forecast would b e the theoretical b ound for predicting the future state of the atmosphere using largescale numerical mo dels Lor Mo dern meteorology has currently reached a go o d correlation of the observed versus predicted for roughly seven days in the northern hemisphere whereas this p erio d is shortened by half in the southern hemisphere and by two thirds in the tropics for the same level of correlation Kri These dierences are due to a very simple factor the available data density The mathematical reason for the dierences and for the overall longterm unre liability of weather forecasts is the exp onential scattering of ideal uid or atmo spheric ows with close initial conditions which in turn is related to the negative curvatures of the corresp onding groups of dieomorphisms as Riemannian mani folds We will see that the conguration space of an ideal incompressible uid is highly nonat and has very p eculiar interior and exterior dierential geom etry Interior or intrinsic characteristics of a Riemannian manifold are those p ersisting under any isometry of the manifold For instance one can b end ie map isometrically a sheet of pap er into a cone or a cylinder but never without stretching or cutting into a piece of a sphere The invariant that distinguishes Riemannian metrics is called Riemannian curvature The Riemannian curvature of a plane is zero and the curvature of a sphere of radius R is equal to R If one Riemannian manifold can b e
    [Show full text]
  • Geometric Algebra Techniques for General Relativity
    Geometric Algebra Techniques for General Relativity Matthew R. Francis∗ and Arthur Kosowsky† Dept. of Physics and Astronomy, Rutgers University 136 Frelinghuysen Road, Piscataway, NJ 08854 (Dated: February 4, 2008) Geometric (Clifford) algebra provides an efficient mathematical language for describing physical problems. We formulate general relativity in this language. The resulting formalism combines the efficiency of differential forms with the straightforwardness of coordinate methods. We focus our attention on orthonormal frames and the associated connection bivector, using them to find the Schwarzschild and Kerr solutions, along with a detailed exposition of the Petrov types for the Weyl tensor. PACS numbers: 02.40.-k; 04.20.Cv Keywords: General relativity; Clifford algebras; solution techniques I. INTRODUCTION Geometric (or Clifford) algebra provides a simple and natural language for describing geometric concepts, a point which has been argued persuasively by Hestenes [1] and Lounesto [2] among many others. Geometric algebra (GA) unifies many other mathematical formalisms describing specific aspects of geometry, including complex variables, matrix algebra, projective geometry, and differential geometry. Gravitation, which is usually viewed as a geometric theory, is a natural candidate for translation into the language of geometric algebra. This has been done for some aspects of gravitational theory; notably, Hestenes and Sobczyk have shown how geometric algebra greatly simplifies certain calculations involving the curvature tensor and provides techniques for classifying the Weyl tensor [3, 4]. Lasenby, Doran, and Gull [5] have also discussed gravitation using geometric algebra via a reformulation in terms of a gauge principle. In this paper, we formulate standard general relativity in terms of geometric algebra. A comprehensive overview like the one presented here has not previously appeared in the literature, although unpublished works of Hestenes and of Doran take significant steps in this direction.
    [Show full text]