DOCSLIB.ORG

Harmonic Maps of S2 Into a Complex Grassmann Manifold

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Harmonic Maps of S2 Into a Complex Grassmann Manifold Proc. Natl. Acad. Sci. USA Vol. 82, pp. 2217-2219, April 1985 Mathematics Harmonic maps of S2 into a complex Grassmann manifold (harmonic sequences/Frenet harmonic sequences/fundamental collineations/harmonic flags/"crossing" and "turning" constructions) SHIING-SHEN CHERNt AND JON WOLFSONt tDepartment of Mathematics, University of California at Berkeley, and Mathematical Sciences Research Institute, Berkeley, CA 94720; and tDepartment of Mathematics, Rice University, Houston, TX 77251 Contributed by Shiing-shen Chern, December 5, 1984 ABSTRACT Let G(k, n) be the Grassmann manifold of all the coefficients wAB- are the Maurer-Cartan forms ofthe uni- Ck in C., the complex spaces of dimensions k and n, respec- tary group U(n). They are skew-hermitian; i.e., tively, or, what is the same, the manifold of all projective spaces Pk-1 in P.-,, so that G(1, n) is the complex projective WA + (HA=° (OBA = (BAB [1.7] space Pn-1 itself. We study harmonic maps of the two-dimen- sional sphere S2 into G(k, n). The case k = 1 has been the Taking the exterior derivative of Eq. 1.6, we get the Maurer- subject of investigation by several authors [see, for example, Cartan equations Din, A. M. & Zakrzewski, W. J. (1980) Nucl. Phys. B 174, 397-406; Eells, J. & Wood, J. C. (1983) Adv. Math. 49, 217- dwAj = WoAC A ccB. [1.8] 263; and Wolfson, J. G. Trans. Am. Math. Soc., in press]. The harmonic maps S2- G(2, 4) have been studied by Raman- athan These equations contain all the local geometry of G(k, n). [Ramanathan, J. (1984) J. Differ. Geom. 19, 207-219]. An element Ck of G(k, n) can be defined by the multivector We shall describe all harmonic maps S2- G(2, n). The meth- Z1 A ... A 7 defined to a od is based on several geometrical constructions, which lead Zk 0, up factor. This defines a G- from a structure on G(k, n), with G = U(k) x U(n - k). (We have given harmonic map to new harmonic maps, in which called such a structure a Segre structure.) In particular, the the image projective spaces are related by "fundamental col- form lineations." The key result is the degeneracy of some funda- mental collineations, which is a global consequence, following from the fact that the domain manifold is S2. The method ex- ds2 = (alm, wCi [1.9] tends to G(k, n). is a positive definite hermitain form on G(k, n) and defines Geometry of G(k, n) an hermitian metric. Its Kahler form is i We consider C, equipped with the standard hermitian inner fl= w.,, A w~r. [1.10] product. That is, for Z, W E C, 1.8 it can be W = (w1, ..., [1.1] By using Eq. immediately verified that il is WJ, closed, so that the metric ds2 is kahlerian. we have By the expressions for dw,,t7 we see that the connection forms are w,,j,coo; their exterior derivatives give the curva- ture forms of the metric dS2. (Z, W) = ZAWA = E ZAWX. [1.2] Surfaces in G(K, n) Throughout this note we will agree on the following ranges of Consider an oriented surface M immersed by a smooth map indices: f into G(k, n). It acquires an induced riemannian metric and hence a complex structure. Using the latter, we write the 1-A, B, C, ...-.n, 1 a 3, y, ...k, induced metric as ds 2 = sp5, sp being a complex-valued one- form, defined up to a factor of absolute value 1. For x E M k + 1 -'< ... _'4-' i, j, n, [1.3] the image f(x) E G(k, n) has an orthogonal space f(x)' E G(n - k, n), which describes a surface M'. If Z E f(x), then and we shall use the convention -ZA = zX and also the summa- tion convention. A frame consists of an ordered set of n vec- pX + mod tors ZA, such that dZA spY, f(x), [2.1] where X, Y E f(x)'. If Z E C, - {0}, we denote by [Z] the Zi A ... A zn,# O. [1.4] point in P,-1 with Z as the homogeneous coordinate vector. Then It is called unitary, if .-+ .-+ a: lZI [XI I .Jzl WI [2.2] (ZA, ZB) = SNAB [1.5] define projective collineations of the projectivized space If we write [f(x)] into [f(x)']. We shall call these thefundamental col- lineations. Dually there are adjoint fundamental collinea- dZA = WOABZB, [1.6] tions from [f(x)'] to [f(x)]. To express the situation analytically we choose, locally, a The publication costs of this article were defrayed in part by page charge field of unitary frames ZA, so that Z(X) span f(x). Then payment. This article must therefore be hereby marked "advertisement" in accordance with 18 U.S.C. §1734 solely to indicate this fact. f* Wacs = aaijP + b [2.3] 2217 Downloaded by guest on October 1, 2021 2218 Mathematics: Chern and Wolfson Proc. NatL Acad ScL USA 82 (1985) The fundamental collineations a and a send [Za] to [Xa] and quence are of the same dimension, the sequence can be ex- [Ya], respectively, where tended in both directions, giving Xa = a ,Zi, Ya = b -iZi. [2.4] -" < The metric ds2 has a connection form p, which is a real ... <-- L-1 (a Lo* Li . .... [2.10] one-form satisfying the equation dip = -i p A (p. [2.5] A harmonic sequence such that any two members are or- thogonal will be called a Frenet harmonic sequence. A har- Taking the exterior derivative of Eq. 2.3 and using Eqs. monic sequence is called full if its members span the whole 1.8 and 2.5, we get Pn-1. An example of a Frenet harmonic sequence is given by the vertices ..., of the Frenet frame of a holomor- A (p + Dba, A 5 = 0, [2.6] Lo, L1, Ln-1 Dac, phic curve Lo(x), x E M, in G(1, n) = Pn-1. The Frenet for- can be expressed as a Frenet harmonic sequence where mula ' a 0 ) Da - = da - a#; way + a Zwj - i aap, Lo L. .... 0 Ln-l- [2.11] Dba7 = dba- - b7Wag + baj-ji + i bajp. [2.7] In fact, the fundamental theorem on harmonic maps S2 -3 Define P _1 is that any such map is a member of a Frenet harmonic sequence for then it can be obtained from a holomorphic DXa = dXa - (Wan + i p aTB)X3S, curve through fundamental collineations. For k = 2 our process can be briefly described as follows: DYa = dYa - (WaT - i p Sa-)YS1 [2.8] If the harmonic sequence degenerates, we are reduced to a harmonic map into P,,._. If it does not, we will "straighten" Then the condition for the map f to be harmonic (1) is given it into a full Frenet harmonic sequence. This is done through by Theorem 1. two constructions, which we call crossing and turning, re- THEOREM 1. The property that f is a harmonic map is giv- spectively. Their success depends on the vanishing of cer- en by one ofthefollowing conditions, which are equivalent: tain holomorphic differential forms and thus on the fact that the domain manifold is S2. Their inverse processes depend (i) Da, -0, mod 5p, on choices of holomorphic sections of Pl-bundles. (i) Dba7 a0, mod S5, Vanishing Theorems (iii) DX,- 0, mod Z1, Sp, The restriction on the harmonic maps whose domain mani- (iv) DYa 0, mod ZB, Si. fold is S2 arises from the fact that S2 has no holomorphic differential forms of positive degree except zero. From our From this criterion we immediately draw the conclusion that analytical data we are able to construct such forms and ob- a holomorphic or an anti-holomorphic map of M into G(k, n) tain in this way strong conclusions. Our first "vanishing the- is harmonic. Thus we shall study harmonic maps that are not orem" is Theorem 3. ± holomorphic. We have also the following theorem. THEOREM 3. Consider a harmonic map f:S2 -- G(k, n). Let THEOREM 2. Let f:M -* G(k, n) be a harmonic map. Then (i) f': M -. G(n - k, n) is harmonic, where f'(x) = f(x)', x E cat= [3.1] M. a.tb#. (ii) The images of [f(x)] under the fundamental collinea- Then tions 8, d are ofconstant dimensions, say k, - 1, k2 - 1, and the maps ofM into G(k1, n), G(k2, n) so defined are harmon- det(ca, + t 58T) = tk identically in t. [3.2] ic. Denote the images by a[f(x)], a[f(x)], respectively. If ki = k (resp k2 = k), then the image under a (resp a) of W[f(x)] This follows from the fact that, with t as a parameter, (resp a[f(x)]) is [f(x)] itself. det(caX- p2 + t 3,-#) is a holomorphic differential form. This (iii) The kernels of the fundamental collineations a, a are theorem, in different but equivalent formulations, was of constant dimensions. If their orthogonal complements in known to Ramanathan (2), Uhlenbeck (personal communica- [f(x)] are ofdimensions 11 - 1, 12 - 1, respectively, the maps tion), and others. so defined into G(11, n) and G(12, n) are harmonic. Our next vanishing theorem is concerned with a Frenet It is advantageous to use projective geometry, and we harmonic sequence, as follows. write [f(x)] = Lo, being a projective space of dimension k - THEOREM4.
Load more

Recommended publications
  • The Grassmann Manifold
    The Grassmann Manifold 1. For vector spaces V and W denote by L(V; W ) the vector space of linear maps from V to W . Thus L(Rk; Rn) may be identified with the space Rk£n of k £ n matrices. An injective linear map u : Rk ! V is called a k-frame in V . The set k n GFk;n = fu 2 L(R ; R ): rank(u) = kg of k-frames in Rn is called the Stiefel manifold. Note that the special case k = n is the general linear group: k k GLk = fa 2 L(R ; R ) : det(a) 6= 0g: The set of all k-dimensional (vector) subspaces ¸ ½ Rn is called the Grassmann n manifold of k-planes in R and denoted by GRk;n or sometimes GRk;n(R) or n GRk(R ). Let k ¼ : GFk;n ! GRk;n; ¼(u) = u(R ) denote the map which assigns to each k-frame u the subspace u(Rk) it spans. ¡1 For ¸ 2 GRk;n the fiber (preimage) ¼ (¸) consists of those k-frames which form a basis for the subspace ¸, i.e. for any u 2 ¼¡1(¸) we have ¡1 ¼ (¸) = fu ± a : a 2 GLkg: Hence we can (and will) view GRk;n as the orbit space of the group action GFk;n £ GLk ! GFk;n :(u; a) 7! u ± a: The exercises below will prove the following n£k Theorem 2. The Stiefel manifold GFk;n is an open subset of the set R of all n £ k matrices. There is a unique differentiable structure on the Grassmann manifold GRk;n such that the map ¼ is a submersion.
    [Show full text]
  • On Manifolds of Tensors of Fixed Tt-Rank
    ON MANIFOLDS OF TENSORS OF FIXED TT-RANK SEBASTIAN HOLTZ, THORSTEN ROHWEDDER, AND REINHOLD SCHNEIDER Abstract. Recently, the format of TT tensors [19, 38, 34, 39] has turned out to be a promising new format for the approximation of solutions of high dimensional problems. In this paper, we prove some new results for the TT representation of a tensor U ∈ Rn1×...×nd and for the manifold of tensors of TT-rank r. As a first result, we prove that the TT (or compression) ranks ri of a tensor U are unique and equal to the respective seperation ranks of U if the components of the TT decomposition are required to fulfil a certain maximal rank condition. We then show that d the set T of TT tensors of fixed rank r forms an embedded manifold in Rn , therefore preserving the essential theoretical properties of the Tucker format, but often showing an improved scaling behaviour. Extending a similar approach for matrices [7], we introduce certain gauge conditions to obtain a unique representation of the tangent space TU T of T and deduce a local parametrization of the TT manifold. The parametrisation of TU T is often crucial for an algorithmic treatment of high-dimensional time-dependent PDEs and minimisation problems [33]. We conclude with remarks on those applications and present some numerical examples. 1. Introduction The treatment of high-dimensional problems, typically of problems involving quantities from Rd for larger dimensions d, is still a challenging task for numerical approxima- tion. This is owed to the principal problem that classical approaches for their treatment normally scale exponentially in the dimension d in both needed storage and computa- tional time and thus quickly become computationally infeasable for sensible discretiza- tions of problems of interest.
    [Show full text]
  • INTRODUCTION to ALGEBRAIC GEOMETRY 1. Preliminary Of
    INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1. Preliminary of Calculus on Manifolds 1.1. Tangent Vectors. What are tangent vectors we encounter in Calculus? 2 0 (1) Given a parametrised curve α(t) = x(t); y(t) in R , α (t) = x0(t); y0(t) is a tangent vector of the curve. (2) Given a surface given by a parameterisation x(u; v) = x(u; v); y(u; v); z(u; v); @x @x n = × is a normal vector of the surface. Any vector @u @v perpendicular to n is a tangent vector of the surface at the corresponding point. (3) Let v = (a; b; c) be a unit tangent vector of R3 at a point p 2 R3, f(x; y; z) be a differentiable function in an open neighbourhood of p, we can have the directional derivative of f in the direction v: @f @f @f D f = a (p) + b (p) + c (p): (1.1) v @x @y @z In fact, given any tangent vector v = (a; b; c), not necessarily a unit vector, we still can define an operator on the set of functions which are differentiable in open neighbourhood of p as in (1.1) Thus we can take the viewpoint that each tangent vector of R3 at p is an operator on the set of differential functions at p, i.e. @ @ @ v = (a; b; v) ! a + b + c j ; @x @y @z p or simply @ @ @ v = (a; b; c) ! a + b + c (1.2) @x @y @z 3 with the evaluation at p understood.
    [Show full text]
  • DIFFERENTIAL GEOMETRY COURSE NOTES 1.1. Review of Topology. Definition 1.1. a Topological Space Is a Pair (X,T ) Consisting of A
    DIFFERENTIAL GEOMETRY COURSE NOTES KO HONDA 1. REVIEW OF TOPOLOGY AND LINEAR ALGEBRA 1.1. Review of topology. Definition 1.1. A topological space is a pair (X; T ) consisting of a set X and a collection T = fUαg of subsets of X, satisfying the following: (1) ;;X 2 T , (2) if Uα;Uβ 2 T , then Uα \ Uβ 2 T , (3) if Uα 2 T for all α 2 I, then [α2I Uα 2 T . (Here I is an indexing set, and is not necessarily finite.) T is called a topology for X and Uα 2 T is called an open set of X. n Example 1: R = R × R × · · · × R (n times) = f(x1; : : : ; xn) j xi 2 R; i = 1; : : : ; ng, called real n-dimensional space. How to define a topology T on Rn? We would at least like to include open balls of radius r about y 2 Rn: n Br(y) = fx 2 R j jx − yj < rg; where p 2 2 jx − yj = (x1 − y1) + ··· + (xn − yn) : n n Question: Is T0 = fBr(y) j y 2 R ; r 2 (0; 1)g a valid topology for R ? n No, so you must add more open sets to T0 to get a valid topology for R . T = fU j 8y 2 U; 9Br(y) ⊂ Ug: Example 2A: S1 = f(x; y) 2 R2 j x2 + y2 = 1g. A reasonable topology on S1 is the topology induced by the inclusion S1 ⊂ R2. Definition 1.2. Let (X; T ) be a topological space and let f : Y ! X.
    [Show full text]
  • Manifold Reconstruction in Arbitrary Dimensions Using Witness Complexes Jean-Daniel Boissonnat, Leonidas J
    Manifold Reconstruction in Arbitrary Dimensions using Witness Complexes Jean-Daniel Boissonnat, Leonidas J. Guibas, Steve Oudot To cite this version: Jean-Daniel Boissonnat, Leonidas J. Guibas, Steve Oudot. Manifold Reconstruction in Arbitrary Dimensions using Witness Complexes. Discrete and Computational Geometry, Springer Verlag, 2009, pp.37. hal-00488434 HAL Id: hal-00488434 https://hal.archives-ouvertes.fr/hal-00488434 Submitted on 2 Jun 2010 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Manifold Reconstruction in Arbitrary Dimensions using Witness Complexes Jean-Daniel Boissonnat Leonidas J. Guibas Steve Y. Oudot INRIA, G´eom´etrica Team Dept. Computer Science Dept. Computer Science 2004 route des lucioles Stanford University Stanford University 06902 Sophia-Antipolis, France Stanford, CA 94305 Stanford, CA 94305 [email protected] [email protected] [email protected]∗ Abstract It is a well-established fact that the witness complex is closely related to the restricted Delaunay triangulation in low dimensions. Specifically, it has been proved that the witness complex coincides with the restricted Delaunay triangulation on curves, and is still a subset of it on surfaces, under mild sampling conditions. In this paper, we prove that these results do not extend to higher-dimensional manifolds, even under strong sampling conditions such as uniform point density.
    [Show full text]
  • Hodge Theory
    HODGE THEORY PETER S. PARK Abstract. This exposition of Hodge theory is a slightly retooled version of the author's Harvard minor thesis, advised by Professor Joe Harris. Contents 1. Introduction 1 2. Hodge Theory of Compact Oriented Riemannian Manifolds 2 2.1. Hodge star operator 2 2.2. The main theorem 3 2.3. Sobolev spaces 5 2.4. Elliptic theory 11 2.5. Proof of the main theorem 14 3. Hodge Theory of Compact K¨ahlerManifolds 17 3.1. Differential operators on complex manifolds 17 3.2. Differential operators on K¨ahlermanifolds 20 3.3. Bott{Chern cohomology and the @@-Lemma 25 3.4. Lefschetz decomposition and the Hodge index theorem 26 Acknowledgments 30 References 30 1. Introduction Our objective in this exposition is to state and prove the main theorems of Hodge theory. In Section 2, we first describe a key motivation behind the Hodge theory for compact, closed, oriented Riemannian manifolds: the observation that the differential forms that satisfy certain par- tial differential equations depending on the choice of Riemannian metric (forms in the kernel of the associated Laplacian operator, or harmonic forms) turn out to be precisely the norm-minimizing representatives of the de Rham cohomology classes. This naturally leads to the statement our first main theorem, the Hodge decomposition|for a given compact, closed, oriented Riemannian manifold|of the space of smooth k-forms into the image of the Laplacian and its kernel, the sub- space of harmonic forms. We then develop the analytic machinery|specifically, Sobolev spaces and the theory of elliptic differential operators|that we use to prove the aforementioned decom- position, which immediately yields as a corollary the phenomenon of Poincar´eduality.
    [Show full text]
  • Appendix D: Manifold Maps for SO(N) and SE(N)
    424 Appendix D: Manifold Maps for SO(n) and SE(n) As we saw in chapter 10, recent SLAM implementations that operate with three-dimensional poses often make use of on-manifold linearization of pose increments to avoid the shortcomings of directly optimizing in pose parameterization spaces. This appendix is devoted to providing the reader a detailed account of the mathematical tools required to understand all the expressions involved in on-manifold optimization problems. The presented contents will, hopefully, also serve as a solid base for bootstrap- ping the reader’s own solutions. 1. OPERATOR DEFINITIONS In the following, we will make use of some vector and matrix operators, which are rather uncommon in mobile robotics literature. Since they have not been employed throughout this book until this point, it is in order to define them here. The “vector to skew-symmetric matrix” operator: A skew-symmetric matrix is any square matrix A such that AA= − T . This implies that diagonal elements must be all zeros and off-diagonal entries the negative of their symmetric counterparts. It can be easily seen that any 2× 2 or 3× 3 skew-symmetric matrix only has 1 or 3 degrees of freedom (i.e. only 1 or 3 independent numbers appear in such matrices), respectively, thus it makes sense to parameterize them as a vector. Generating skew-symmetric matrices ⋅ from such vectors is performed by means of the []× operator, defined as: 0 −x 2× 2: = x ≡ []v × () × x 0 x 0 z y (1) − 3× 3: []v = y ≡ z0 − x × z −y x 0 × The origin of the symbol × in this operator follows from its application to converting a cross prod- × uct of two 3D vectors ( x y ) into a matrix-vector multiplication ([]x× y ).
    [Show full text]
  • Differential Forms As Spinors Annales De L’I
    ANNALES DE L’I. H. P., SECTION A WOLFGANG GRAF Differential forms as spinors Annales de l’I. H. P., section A, tome 29, no 1 (1978), p. 85-109 <http://www.numdam.org/item?id=AIHPA_1978__29_1_85_0> © Gauthier-Villars, 1978, tous droits réservés. L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam. org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. Inst. Henri Poincare, Section A : Vol. XXIX. n° L 1978. p. 85 Physique’ théorique.’ Differential forms as spinors Wolfgang GRAF Fachbereich Physik der Universitat, D-7750Konstanz. Germany ABSTRACT. 2014 An alternative notion of spinor fields for spin 1/2 on a pseudoriemannian manifold is proposed. Use is made of an algebra which allows the interpretation of spinors as elements of a global minimal Clifford- ideal of differential forms. The minimal coupling to an electromagnetic field is introduced by means of an « U(1 )-gauging ». Although local Lorentz transformations play only a secondary role and the usual two-valuedness is completely absent, all results of Dirac’s equation in flat space-time with electromagnetic coupling can be regained. 1. INTRODUCTION It is well known that in a riemannian manifold the laplacian D := - (d~ + ~d) operating on differential forms admits as « square root » the first-order operator ~ 2014 ~ ~ being the exterior derivative and e) the generalized divergence.
    [Show full text]
  • Lecture 12. Tensors
    Lecture 12. Tensors In this lecture we define tensors on a manifold, and the associated bundles, and operations on tensors. 12.1 Basic definitions We have already seen several examples of the idea we are about to introduce, namely linear (or multilinear) operators acting on vectors on M. For example, the metric is a bilinear operator which takes two vectors to give a real number, i.e. gx : TxM × TxM → R for each x is defined by u, v → gx(u, v). The difference between two connections ∇(1) and ∇(2) is a bilinear op- erator which takes two vectors and gives a vector, i.e. a bilinear operator Sx : TxM × TxM → TxM for each x ∈ M. Similarly, the torsion of a connec- tion has this form. Definition 12.1.1 A covector ω at x ∈ M is a linear map from TxM to R. The set of covectors at x forms an n-dimensional vector space, which we ∗ denote Tx M.Atensor of type (k, l)atx is a multilinear map which takes k vectors and l covectors and gives a real number × × × ∗ × × ∗ → R Tx : .TxM .../0 TxM1 .Tx M .../0 Tx M1 . k times l times Note that a covector is just a tensor of type (1, 0), and a vector is a tensor of type (0, 1), since a vector v acts linearly on a covector ω by v(ω):=ω(v). Multilinearity means that i1 ik j1 jl T c vi1 ,..., c vik , aj1 ω ,..., ajl ω i i j j 1 k 1 l . i1 ik j1 jl = c ...c aj1 ...ajl T (vi1 ,...,vik ,ω ,...,ω ) i1,...,ik,j1,...,jl 110 Lecture 12.
    [Show full text]
  • Differential Geometry Lecture 18: Curvature
    Differential geometry Lecture 18: Curvature David Lindemann University of Hamburg Department of Mathematics Analysis and Differential Geometry & RTG 1670 14. July 2020 David Lindemann DG lecture 18 14. July 2020 1 / 31 1 Riemann curvature tensor 2 Sectional curvature 3 Ricci curvature 4 Scalar curvature David Lindemann DG lecture 18 14. July 2020 2 / 31 Recap of lecture 17: defined geodesics in pseudo-Riemannian manifolds as curves with parallel velocity viewed geodesics as projections of integral curves of a vector field G 2 X(TM) with local flow called geodesic flow obtained uniqueness and existence properties of geodesics constructed the exponential map exp : V ! M, V neighbourhood of the zero-section in TM ! M showed that geodesics with compact domain are precisely the critical points of the energy functional used the exponential map to construct Riemannian normal coordinates, studied local forms of the metric and the Christoffel symbols in such coordinates discussed the Hopf-Rinow Theorem erratum: codomain of (x; v) as local integral curve of G is d'(TU), not TM David Lindemann DG lecture 18 14. July 2020 3 / 31 Riemann curvature tensor Intuitively, a meaningful definition of the term \curvature" for 3 a smooth surface in R , written locally as a graph of a smooth 2 function f : U ⊂ R ! R, should involve the second partial derivatives of f at each point. How can we find a coordinate- 3 free definition of curvature not just for surfaces in R , which are automatically Riemannian manifolds by restricting h·; ·i, but for all pseudo-Riemannian manifolds? Definition Let (M; g) be a pseudo-Riemannian manifold with Levi-Civita connection r.
    [Show full text]
  • Chapter 7 Geodesics on Riemannian Manifolds
    Chapter 7 Geodesics on Riemannian Manifolds 7.1 Geodesics, Local Existence and Uniqueness If (M,g)isaRiemannianmanifold,thentheconceptof length makes sense for any piecewise smooth (in fact, C1) curve on M. Then, it possible to define the structure of a metric space on M,whered(p, q)isthegreatestlowerboundofthe length of all curves joining p and q. Curves on M which locally yield the shortest distance between two points are of great interest. These curves called geodesics play an important role and the goal of this chapter is to study some of their properties. 489 490 CHAPTER 7. GEODESICS ON RIEMANNIAN MANIFOLDS Given any p M,foreveryv TpM,the(Riemannian) norm of v,denoted∈ v ,isdefinedby∈ " " v = g (v,v). " " p ! The Riemannian inner product, gp(u, v), of two tangent vectors, u, v TpM,willalsobedenotedby u, v p,or simply u, v .∈ # $ # $ Definition 7.1.1 Given any Riemannian manifold, M, a smooth parametric curve (for short, curve)onM is amap,γ: I M,whereI is some open interval of R. For a closed→ interval, [a, b] R,amapγ:[a, b] M is a smooth curve from p =⊆γ(a) to q = γ(b) iff→γ can be extended to a smooth curve γ:(a ", b + ") M, for some ">0. Given any two points,− p, q →M,a ∈ continuous map, γ:[a, b] M,isa" piecewise smooth curve from p to q iff → (1) There is a sequence a = t0 <t1 < <tk 1 <t = b of numbers, t R,sothateachmap,··· − k i ∈ γi = γ ! [ti,ti+1], called a curve segment is a smooth curve, for i =0,...,k 1.
    [Show full text]
  • Parallel and Killing Spinors on Spin Manifolds 1 Introduction
    Parallel and Killing Spinors on Spinc Manifolds Andrei Moroianu1 Institut fur¨ reine Mathematik, Ziegelstr. 13a, 10099 Berlin, Germany E-mail: [email protected] Abstract: We describe all simply connected Spinc manifolds carrying parallel and real Killing spinors. In particular we show that every Sasakian manifold (not necessarily Einstein) carries a canonical Spinc structure with Killing spinors. 1 Introduction The classification of irreducible simply connected spin manifolds with parallel spinors was obtained by M. Wang in 1989 [15] in the following way: the existence of a parallel spinor means that the spin representation of the holonomy group has a fixed point. Moreover, it requires the vanishing of the Ricci tensor, so the only symmetric spaces with parallel spinors are the flat ones. Then looking into Berger's list of possible holonomy groups for Riemannian manifolds and using some representation theory one finally obtains that the only suitable manifolds are those with holonomy 0, SU(n), Sp(n), Spin7 and G2. One can give the geometrical description of such a holonomy reduction in each of these cases [15]. For an earlier approach to this problem, see also [10]. The geometrical description of simply connected spin manifolds carrying real Killing spinors is considerably more complicated, and was obtained in 1993 by C. B¨ar [1] after a series of partial results of Th. Friedrich, R. Grunewald, I. Kath and O. Hijazi (cf. [4], [5], [6], [7], [9]). The main idea of C. B¨ar was to consider the cone over a manifold with Killing spinors and to show that the spin representation of the holonomy of the cone has a fixed point for a suitable scalar renormalisation of the metric on the base (actually this construction was already used in 1987 by R.
    [Show full text]