RICCI CURVATURES on HERMITIAN MANIFOLDS Contents 1. Introduction 1 2. Background Materials 9 3. Geometry of the Levi-Civita Ricc

Total Page:16

File Type:pdf, Size:1020Kb

RICCI CURVATURES on HERMITIAN MANIFOLDS Contents 1. Introduction 1 2. Background Materials 9 3. Geometry of the Levi-Civita Ricc TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000–000 S 0002-9947(XX)0000-0 RICCI CURVATURES ON HERMITIAN MANIFOLDS KEFENG LIU AND XIAOKUI YANG Abstract. In this paper, we introduce the first Aeppli-Chern class for com- plex manifolds and show that the (1, 1)- component of the curvature 2-form of the Levi-Civita connection on the anti-canonical line bundle represents this class. We systematically investigate the relationship between a variety of Ricci curvatures on Hermitian manifolds and the background Riemannian manifolds. Moreover, we study non-K¨ahler Calabi-Yau manifolds by using the first Aeppli- Chern class and the Levi-Civita Ricci-flat metrics. In particular, we construct 2n−1 1 explicit Levi-Civita Ricci-flat metrics on Hopf manifolds S × S . We also construct a smooth family of Gauduchon metrics on a compact Hermitian manifold such that the metrics are in the same first Aeppli-Chern class, and their first Chern-Ricci curvatures are the same and nonnegative, but their Rie- mannian scalar curvatures are constant and vary smoothly between negative infinity and a positive number. In particular, it shows that Hermitian man- ifolds with nonnegative first Chern class can admit Hermitian metrics with strictly negative Riemannian scalar curvature. Contents 1. Introduction 1 2. Background materials 9 3. Geometry of the Levi-Civita Ricci curvature 12 4. Curvature relations on Hermitian manifolds 22 5. Special metrics on Hermitian manifolds 26 6. Levi-Civita Ricci-flat and constant negative scalar curvature metrics on Hopf manifolds 29 7. Appendix: the Riemannian Ricci curvature and ∗-Ricci curvature 35 References 37 1. Introduction Let (M, h) be a Hermitian manifold and g the background Riemannian metric. It is well-known that, when (M, h) is not K¨ahler,the complexification of the real curvature tensor R is extremely complicated. Moreover, on the Hermitian holo- morphic vector bundle (T 1,0M, h), there are two typical connections: the (induced) Received by the editors April 23, 2015 and, in revised form, May 21, 2016. 2010 Mathematics Subject Classification. Primary 53C55, 32Q25, 32Q20. The first author is supported in part by NSF Grant. The second author is partially supported by China’s Recruitment Program of Global Experts and National Center for Mathematics and Interdisciplinary Sciences, Chinese Academy of Sciences. c XXXX American Mathematical Society 1 2 KEFENG LIU AND XIAOKUI YANG Levi-Civita connection and the Chern connection. The curvature tensors of them are denoted by R and Θ respectively. It is known that the complexified Riemannian curvature R, the Hermitian Levi-Civita curvature R and the Chern curvature Θ are mutually different. It is also obvious that R is closely related to the Riemann- ian geometry of M, and Θ can characterize many complex geometric properties of M whereas R can be viewed as a bridge between R and Θ, i.e. a bridge between Riemannian geometry and Hermitian geometry. i n Let {z }i=1 be the local holomorphic coordinates centered at a point p ∈ M. We can compare the curvature tensors of R, Θ when restricted on the space 1,1 ∗ 1,0 Γ(M, Λ T M ⊗ End(T M)). That is, we can find relations between Rijk` and Θijk`. We denoted by √ R(1) = −1R(1)dzi ∧ dzj with R(1) = hk`R , ij ij ijk` √ R(2) = −1R(2)dzi ∧ dzj with R(2) = hk`R , ij ij k`ij √ R(3) = −1R(3)dzi ∧ dzj with R(3) = hk`R , ij ij i`kj and √ R(4) = −1R(4)dzi ∧ dzj with R(4) = hk`R . ij ij kji` R(1) and R(2) are called the first Levi-Civita Ricci curvature and the second Levi- Civita Ricci curvature of (T 1,0M, h) respectively; R(3)and R(4) are the correspond- ing third and fourth Levi-Civita Ricci curvatures. Similarly, we can define the first Chern-Ricci curvature Θ(1), the second Chern-Ricci curvature Θ(2), the third and fourth Chern-Ricci curvatures Θ(3) and Θ(4) respectively. As shown in [41], R(2) and Θ(2) are closely related to the geometry of M, for example, we can use them to study the cohomology groups and plurigenera of compact Hermitian mani- folds. On the other hand, it is well-known that Θ(1) represents the first Chern class c (M) ∈ H1,1(M). However, in general, the first Levi-Civita Ricci form R(1) is not 1 ∂ d-closed, and so it can not represent a class in H1,1(M). ∂ We introduce two cohomology groups to study the geometry of compact com- plex (especially, non-K¨ahler) manifolds, the Bott-Chern cohomology and the Aeppli cohomology: Kerd ∩ Ωp,q(M) Ker∂∂ ∩ Ωp,q(M) Hp,q (M) := and Hp,q(M) := . BC Im∂∂ ∩ Ωp,q(M) A Im∂ ∩ Ωp,q(M) + Im∂ ∩ Ωp,q(M) Suppose α is a d-closed (p, q)-form. We denote by [α]BC and [α]A, the corresponding p,q p,q classes in HBC (M) and HA (M) respectively. Let Pic(M) be the set of holomorphic line bundles over M. As similar as the first Chern class map c1 : Pic(M) → H1,1(M), there is a first Aeppli-Chern class map ∂ AC 1,1 (1.1) c1 : Pic(M) → HA (M), which can be described as follows. Definition 1.1. Let L → M be a holomorphic line bundle over M. The first Aeppli-Chern class is defined as √ AC 1,1 (1.2) c1 (L) = − −1∂∂ log h A ∈ HA (M) RICCI CURVATURES ON HERMITIAN MANIFOLDS 3 √ where h is an arbitrary smooth Hermitian metric on L. Note that − −1∂∂ log h is the (local) curvature form Θh of the√ Hermitian line bundle (L, h). If we choose 0 h a different metric h , then Θh0 − Θh = −1∂∂ log h0 is globally ∂∂-exact. Hence AC 1,1 c1 (L) is well-defined in HA (M) and it is independent of the metric h. For a AC AC −1 −1 complex manifold M, c1 (M) is defined to be c1 (KM ) where KM is the anti- canonical line bundle ∧nT 1,0M. BC AC Note that, for a Hermitian line bundle (L, h), the√ classes c1(L), c1 (L) and c1 (L) have the same (1, 1)-form representative Θh = − −1∂∂ log h (in different classes). On K¨ahler manifolds or Hermitian manifolds the first Chern classes and first Bott-Chern classes are well-studied in the literatures by using the Chern connec- tion. In particular, the related Monge-Amp`ere type equations are extensively inves- tigated since the celebrated work of Yau. However, the geometry of the Levi-Civita connection is not well understood in complex geometry although it has rich real Riemannian geometry structures. 1.1. The complex geometry of the Levi-Civita connection. In the first part of this paper, we study (non-K¨ahler)Hermitian manifolds by using Levi-Civita Ricci AC forms and Aeppli-Chern class c1 (M). At first, we establish the following result which is analogous to the classical result that the (first) Chern-Ricci curvature Θ(1) represents the first Chern class c1(M). Theorem 1.2. On a compact Hermitian manifold (M, ω), the first Levi-Civita (1) AC 1,1 Ricci form R represents the first Aeppli-Chern class c1 (M) in HA (M). More precisely, 1 ∗ (1.3) R(1) = Θ(1) − (∂∂∗ω + ∂∂ ω). 2 In particular, we obtain (1) R(1) = Θ(1) if and only if d∗ω = 0, i.e. (M, ω) is a balanced manifold; ∗ (1) (2) if ∂∂ ω = 0, then R represents the real first Chern class c1(M) ∈ 2 AC 2 HdR(M), i.e. c1(M) = c1 (M) in HdR(M). We also show that, on complex manifolds supporting ∂∂-lemma (e.g. manifolds in Fujiki class C and in particular, Moishezon manifolds), the converse statement of (2) holds. There is an important class of manifolds, so called Calabi-Yau manifolds which are extensively studied by mathematicians and also physicians. In this paper, a Calabi-Yau manifold is a complex manifold with c1(M) = 0 and we will focus on non-K¨ahler Calabi-Yau manifolds. There are many fundamental results on non- K¨ahler Hermitian manifolds with vanishing first Bott-Chern classes. They are al- ways characterized by using the first Chern-Ricci curvature Θ(1) and the related Monge-Amp`eretype equations (e.g.[19, 26, 52, 53, 54, 55, 56, 8]). For more details on this subject, we refer the reader to the nice survey paper [51]. Next, we make the following observation: Corollary 1.3. Let M be a complex manifold. Then BC AC c1 (M) = 0 =⇒ c1(M) = 0 =⇒ c1 (M) = 0. 4 KEFENG LIU AND XIAOKUI YANG Moreover, on a complex manifold satisfying the ∂∂-lemma, BC AC c1 (M) = 0 ⇐⇒ c1(M) = 0 ⇐⇒ c1 (M) = 0. That means, it is very natural to study non-K¨ahler Calabi-Yau manifolds by using AC (1) the first Aeppli-Chern class c1 and the first Levi-Civita Ricci curvature R . Definition 1.4. A Hermitian metric ω on M is called Levi-Civita Ricci-flat if R(1)(ω) = 0. It is known that Hopf manifolds M = S2n−1 × S1 are all non-K¨ahler Calabi-Yau manifolds (n ≥ 2), i.e. c1(M) = 0. However, there is no Chern Ricci-flat Hermitian metrics on M, i.e. there does not exist a Hermitian metric ω such that Θ(1)(ω) = 0 BC since c1 (M) 6= 0 (see Remark 6.1 for more details). On the contrary, we can construct explicit Levi-Civita Ricci-flat metrics on them.
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]
  • Kähler Manifolds, Ricci Curvature, and Hyperkähler Metrics
    K¨ahlermanifolds, Ricci curvature, and hyperk¨ahler metrics Jeff A. Viaclovsky June 25-29, 2018 Contents 1 Lecture 1 3 1.1 The operators @ and @ ..........................4 1.2 Hermitian and K¨ahlermetrics . .5 2 Lecture 2 7 2.1 Complex tensor notation . .7 2.2 The musical isomorphisms . .8 2.3 Trace . 10 2.4 Determinant . 11 3 Lecture 3 11 3.1 Christoffel symbols of a K¨ahler metric . 11 3.2 Curvature of a Riemannian metric . 12 3.3 Curvature of a K¨ahlermetric . 14 3.4 The Ricci form . 15 4 Lecture 4 17 4.1 Line bundles and divisors . 17 4.2 Hermitian metrics on line bundles . 18 5 Lecture 5 21 5.1 Positivity of a line bundle . 21 5.2 The Laplacian on a K¨ahlermanifold . 22 5.3 Vanishing theorems . 25 6 Lecture 6 25 6.1 K¨ahlerclass and @@-Lemma . 25 6.2 Yau's Theorem . 27 6.3 The @ operator on holomorphic vector bundles . 29 1 7 Lecture 7 30 7.1 Holomorphic vector fields . 30 7.2 Serre duality . 32 8 Lecture 8 34 8.1 Kodaira vanishing theorem . 34 8.2 Complex projective space . 36 8.3 Line bundles on complex projective space . 37 8.4 Adjunction formula . 38 8.5 del Pezzo surfaces . 38 9 Lecture 9 40 9.1 Hirzebruch Signature Theorem . 40 9.2 Representations of U(2) . 42 9.3 Examples . 44 2 1 Lecture 1 We will assume a basic familiarity with complex manifolds, and only do a brief review today. Let M be a manifold of real dimension 2n, and an endomorphism J : TM ! TM satisfying J 2 = −Id.
    [Show full text]
  • Quantum Dynamical Manifolds - 3A
    Quantum Dynamical Manifolds - 3a. Cold Dark Matter and Clifford’s Geometrodynamics Conjecture D.F. Scofield ApplSci, Inc. 128 Country Flower Rd. Newark, DE, 19711 scofield.applsci.com (June 11, 2001) The purpose of this paper is to explore the concepts of gravitation, inertial mass and spacetime from the perspective of the geometrodynamics of “mass-spacetime” manifolds (MST). We show how to determine the curvature and torsion 2-forms of a MST from the quantum dynamics of its constituents. We begin by reformulating and proving a 1876 conjecture of W.K. Clifford concerning the nature of 4D MST and gravitation, independent of the standard formulations of general relativity theory (GRT). The proof depends only on certain derived identities involving the Riemann curvature 2-form in a 4D MST having torsion. This leads to a new metric-free vector-tensor fundamental law of dynamical gravitation, linear in pairs of field quantities which establishes a homeomorphism between the new theory of gravitation and electromagnetism based on the mean curvature potential. Its generalization leads to Yang-Mills equations. We then show the structure of the Riemann curvature of a 4D MST can be naturally interpreted in terms of mass densities and currents. By using the trace curvature invariant, we find a parity noninvariance is possible using a de Sitter imbedding of the Poincar´egroup. The new theory, however, is equivalent to the Newtonian one in the static, large scale limit. The theory is compared to GRT and shown to be compatible outside a gravitating mass in the absence of torsion. We apply these results on the quantum scale to determine the gravitational field of leptons.
    [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]
  • A Theorem on Holonomy
    A THEOREM ON HOLONOMY BY W. AMBROSE AND I. M. SINGER Introduction. The object of this paper is to prove Theorem 2 of §2, which shows, for any connexion, how the curvature form generates the holonomy group. We believe this is an extension of a theorem stated without proof by E. Cartan [2, p. 4]. This theorem was proved after we had been informed of an unpublished related theorem of Chevalley and Koszul. We are indebted to S. S. Chern for many discussions of matters considered here. In §1 we give an exposition of some needed facts about connexions; this exposition is derived largely from an exposition of Chern [5 ] and partly from expositions of H. Cartan [3] and Ehresmann [7]. We believe this exposition does however contain one new element, namely Lemma 1 of §1 and its use in passing from H. Cartan's definition of a connexion (the definition given in §1) to E. Cartan's structural equation. 1. Basic concepts. We begin with some notions and terminology to be used throughout this paper. The term "differentiable" will always mean what is usually called "of class C00." We follow Chevalley [6] in general for the definition of tangent vector, differential, etc. but with the obvious changes needed for the differentiable (rather than analytic) case. However if <p is a differentiable mapping we use <j>again instead of d<f>and 8<(>for the induced mappings of tangent vectors and differentials. If AT is a manifold, by which we shall always mean a differentiable manifold but which is not assumed connected, and mGM, we denote the tangent space to M at m by Mm.
    [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]
  • Kähler Manifolds and Holonomy
    K¨ahlermanifolds, lecture 3 M. Verbitsky K¨ahler manifolds and holonomy lecture 3 Misha Verbitsky Tel-Aviv University December 21, 2010, 1 K¨ahlermanifolds, lecture 3 M. Verbitsky K¨ahler manifolds DEFINITION: An Riemannian metric g on an almost complex manifiold M is called Hermitian if g(Ix; Iy) = g(x; y). In this case, g(x; Iy) = g(Ix; I2y) = −g(y; Ix), hence !(x; y) := g(x; Iy) is skew-symmetric. DEFINITION: The differential form ! 2 Λ1;1(M) is called the Hermitian form of (M; I; g). REMARK: It is U(1)-invariant, hence of Hodge type (1,1). DEFINITION: A complex Hermitian manifold (M; I; !) is called K¨ahler if d! = 0. The cohomology class [!] 2 H2(M) of a form ! is called the K¨ahler class of M, and ! the K¨ahlerform. 2 K¨ahlermanifolds, lecture 3 M. Verbitsky Levi-Civita connection and K¨ahlergeometry DEFINITION: Let (M; g) be a Riemannian manifold. A connection r is called orthogonal if r(g) = 0. It is called Levi-Civita if it is torsion-free. THEOREM: (\the main theorem of differential geometry") For any Riemannian manifold, the Levi-Civita connection exists, and it is unique. THEOREM: Let (M; I; g) be an almost complex Hermitian manifold. Then the following conditions are equivalent. (i)( M; I; g) is K¨ahler (ii) One has r(I) = 0, where r is the Levi-Civita connection. 3 K¨ahlermanifolds, lecture 3 M. Verbitsky Holonomy group DEFINITION: (Cartan, 1923) Let (B; r) be a vector bundle with connec- tion over M. For each loop γ based in x 2 M, let Vγ;r : Bjx −! Bjx be the corresponding parallel transport along the connection.
    [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]
  • 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]
  • Hermitian Geometry
    1 Hermitian Geometry Simon M. Salamon Introduction These notes are based on graduate courses given by the author in 1998 and 1999. The main idea was to introduce a number of aspects of the theory of complex and symplectic structures that depend on the existence of a compatible Riemannian metric. The present notes deal mostly with the complex case, and are designed to introduce a selection of topics and examples in differential geometry, accessible to anyone with an acquaintance of the definitions of smooth manifolds and vector bundles. One basic problem is, given a Riemannian manifold (M; g), to determine whether there exists an orthogonal complex structure J on M , and to classify all such J . A second problem is, given (M; g), to determine whether there exists an orthogonal almost-complex structure for which the corresponding 2-form ! is closed. The first problem is more tractible in the sense that there is an easily identifiable curvature obstruction to the existence of J , and this obstruction can be interpreted in terms of an auxiliary almost-complex structure on the twistor space of M . This leads to a reasonably complete resolution of the problem in the first non-trivial case, that of four real dimensions. The theory has both local and global aspects that are illustrated in Pontecorvo's classification [89] of bihermitian anti-self-dual 4-manifolds. Much less in known in higher dimensions, and some of the basic classification questions concerning orthogonal complex structures on Riemannian 6-manifolds remain unanswered. The second problem encompasses the so-called Goldberg conjecture.
    [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]