DOCSLIB.ORG

Riemannian Manifolds and Connections

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Riemannian Manifolds and Connections Chapter 6 Riemannian Manifolds and Connections 6.1 Riemannian Metrics Fortunately, the rich theory of vector spaces endowed with aEuclideaninnerproductcan,toagreatextent,belifted to various bundles associated with a manifold. The notion of local (and global) frame plays an important technical role. Definition 6.1.1 Let M be an n-dimensional smooth manifold. For any open subset, U M,ann-tuple of ⊆ vector fields, (X1,...,Xn), over U is called a frame over U iff(X1(p),...,Xn(p)) is a basis of the tangent space, T M,foreveryp U.IfU = M,thentheX are global p ∈ i sections and (X1,...,Xn)iscalledaframe (of M). 455 456 CHAPTER 6. RIEMANNIAN MANIFOLDS AND CONNECTIONS The notion of a frame is due to Elie´ Cartan who (after Darboux) made extensive use of them under the name of moving frame (and the moving frame method). Cartan’s terminology is intuitively clear: As a point, p, moves in U,theframe,(X1(p),...,Xn(p)), moves from fibre to fibre. Physicists refer to a frame as a choice of local gauge. If dim(M)=n,thenforeverychart,(U,ϕ), since 1 n dϕ− : R T M is a bijection for every p U,the ϕ(p) → p ∈ n-tuple of vector fields, (X1,...,Xn), with 1 Xi(p)=dϕϕ−(p)(ei), is a frame of TM over U,where n (e1,...,en)isthecanonicalbasisofR . The following proposition tells us when the tangent bun- dle is trivial (that is, isomorphic to the product, M Rn): × 6.1. RIEMANNIAN METRICS 457 Proposition 6.1.2 The tangent bundle, TM,ofa smooth n-dimensional manifold, M,istrivialiffit possesses a frame of global sections (vector fields de- fined on M). As an illustration of Proposition 6.1.2 we can prove that the tangent bundle, TS1,ofthecircle,istrivial. Indeed, we can find a section that is everywhere nonzero, i.e. anon-vanishingvectorfield,namely X(cos θ,sin θ)=( sin θ, cos θ). − The reader should try proving that TS3 is also trivial (use the quaternions). However, TS2 is nontrivial, although this not so easy to prove. More generally, it can be shown that TSn is nontrivial for all even n 2. It can even be shown that S1, S3 and S7 are the only≥ spheres whose tangent bundle is trivial. This is a rather deep theorem and its proof is hard. 458 CHAPTER 6. RIEMANNIAN MANIFOLDS AND CONNECTIONS Remark: Amanifold,M,suchthatitstangentbundle, TM,istrivialiscalledparallelizable. We now define Riemannian metrics and Riemannian man- ifolds. Definition 6.1.3 Given a smooth n-dimensional man- ifold, M,aRiemannian metric on M (or TM) is a family, ( , p)p M ,ofinnerproductsoneachtangent '− −( ∈ space, TpM,suchthat , p depends smoothly on p, which means that for every'− chart,−( ϕ : U Rn,forevery α α → frame, (X1,...,Xn), on Uα,themaps p X (p),X (p) ,pU , 1 i, j n )→ ' i j (p ∈ α ≤ ≤ are smooth. A smooth manifold, M,withaRiemannian metric is called a Riemannian manifold. 6.1. RIEMANNIAN METRICS 459 If dim(M)=n,thenforeverychart,(U,ϕ), we have the 1 frame, (X1,...,Xn), over U,withXi(p)=dϕϕ−(p)(ei), n where (e1,...,en)isthecanonicalbasisofR .Sinceev- n ery vector field over U is a linear combination, i=1 fiXi, for some smooth functions, fi: U R,theconditionof Definition 6.1.3 is equivalent to the→ fact that the! maps, 1 1 p dϕ− (e ),dϕ− (e ) ,pU, 1 i, j n, )→ ' ϕ(p) i ϕ(p) j (p ∈ ≤ ≤ are smooth. If we let x = ϕ(p), the above condition says that the maps, 1 1 x dϕ− (ei),dϕ− (ej) 1 ,x ϕ(U), 1 i, j n, )→ ' x x (ϕ− (x) ∈ ≤ ≤ are smooth. If M is a Riemannian manifold, the metric on TM is often denoted g =(gp)p M .Inachart,usinglocalcoordinates, we often use the notation∈ g = g dx dx or simply ij ij i ⊗ j g = gijdxidxj,where ij ! ! ∂ ∂ gij(p)= , . ∂xi ∂xj "# $p # $p%p 460 CHAPTER 6. RIEMANNIAN MANIFOLDS AND CONNECTIONS For every p U,thematrix,(gij(p)), is symmetric, pos- itive definite.∈ The standard Euclidean metric on Rn,namely, g = dx2 + + dx2, 1 ··· n makes Rn into a Riemannian manifold. Then, every submanifold, M,ofRn inherits a metric by restricting the Euclidean metric to M. n 1 For example, the sphere, S − ,inheritsametricthat n 1 makes S − into a Riemannian manifold. It is a good exercise to find the local expression of this metric for S2 in polar coordinates. AnontrivialexampleofaRiemannianmanifoldisthe Poincar´eupper half-space,namely,theset H = (x, y) R2 y>0 equipped with the metric { ∈ | } dx2 + dy2 g = . y2 6.1. RIEMANNIAN METRICS 461 Awaytoobtainametriconamanifold,N,istopull- back the metric, g,onanothermanifold,M,alongalocal diffeomorphism, ϕ: N M. → Recall that ϕ is a local diffeomorphism iff dϕ : T N T M p p → ϕ(p) is a bijective linear map for every p N. ∈ Given any metric g on M,ifϕ is a local diffeomorphism, we define the pull-back metric, ϕ∗g,onN induced by g as follows: For all p N,forallu, v T N, ∈ ∈ p (ϕ∗g)p(u, v)=gϕ(p)(dϕp(u),dϕp(v)). We need to check that (ϕ∗g)p is an inner product, which is very easy since dϕp is a linear isomorphism. Our map, ϕ,betweenthetwoRiemannianmanifolds (N,ϕ∗g)and(M,g)isalocalisometry,asdefinedbe- low. 462 CHAPTER 6. RIEMANNIAN MANIFOLDS AND CONNECTIONS Definition 6.1.4 Given two Riemannian manifolds, (M1,g1)and(M2,g2), a local isometry is a smooth map, ϕ: M M ,suchthatdϕ : T M T M is an 1 → 2 p p 1 → ϕ(p) 2 isometry between the Euclidean spaces (TpM1, (g1)p)and (T M , (g ) ), for every p M ,thatis, ϕ(p) 2 2 ϕ(p) ∈ 1 (g1)p(u, v)=(g2)ϕ(p)(dϕp(u),dϕp(v)), for all u, v TpM1 or, equivalently, ϕ∗g2 = g1.More- over, ϕ is an∈ isometry iffit is a local isometry and a diffeomorphism. The isometries of a Riemannian manifold, (M,g), form a group, Isom(M,g), called the isometry group of (M,g). An important theorem of Myers and Steenrod asserts that the isometry group, Isom(M,g), is a Lie group. 6.1. RIEMANNIAN METRICS 463 Given a map, ϕ: M M ,andametricg on M ,in 1 → 2 1 1 general, ϕ does not induce any metric on M2. However, if ϕ has some extra properties, it does induce ametriconM2.ThisisthecasewhenM2 arises from M1 as a quotient induced by some group of isometries of M1. For more on this, see Gallot, Hulin and Lafontaine [?], Chapter 2, Section 2.A. Now, because a manifold is paracompact (see Section 4.6), a Riemannian metric always exists on M.Thisis aconsequenceoftheexistenceofpartitionsofunity(see Theorem 4.6.5). Theorem 6.1.5 Every smooth manifold admits a Rie- mannian metric. 464 CHAPTER 6. RIEMANNIAN MANIFOLDS AND CONNECTIONS 6.2 Connections on Manifolds Given a manifold, M,ingeneral,foranytwopoints, p, q M,thereisno“natural”isomorphismbetween ∈ the tangent spaces TpM and TqM. Given a curve, c:[0, 1] M,onM as c(t)moveson → M,howdoesthetangentspace,Tc(t)M change as c(t) moves? n n If M = R ,thenthespaces,Tc(t)R ,arecanonically n n n isomorphic to R and any vector, v Tc(0)R ∼= R ,is simply moved along c by parallel transport∈ ,thatis,at n c(t), the tangent vector, v,alsobelongstoTc(t)R . However, if M is curved, for example, a sphere, then it is not obvious how to “parallel transport” a tangent vector at c(0) along a curve c. 6.2. CONNECTIONS ON MANIFOLDS 465 Awaytoachievethisistodefinethenotionofparallel vector field along a curve and this, in turn, can be defined in terms of the notion of covariant derivative of a vector field. Assume for simplicity that M is a surface in R3. Given any two vector fields, X and Y defined on some open sub- set, U R3,foreveryp U,thedirectional derivative, ⊆ ∈ DXY (p),ofY with respect to X is defined by Y (p + tX(p)) Y (p) DXY (p)=lim − . t 0 → t If f: U R is a differentiable function on U,forevery p U,the→ directional derivative, X[f](p) (or X(f)(p)), of∈f with respect to X is defined by f(p + tX(p)) f(p) X[f](p)=lim − . t 0 → t We know that X[f](p)=df p(X(p)). 466 CHAPTER 6. RIEMANNIAN MANIFOLDS AND CONNECTIONS It is easily shown that DXY (p)isR-bilinear in X and Y , is C∞(U)-linear in X and satisfies the Leibnitz derivation rule with respect to Y ,thatis: Proposition 6.2.1 The directional derivative of vec- tor fields satisfies the following properties: DX1+X2Y (p)=DX1Y (p)+DX2Y (p) DfXY (p)=fDXY (p) DX(Y1 + Y2)(p)=DXY1(p)+DXY2(p) DX(fY)(p)=X[f](p)Y (p)+f(p)DXY (p), for all X, X ,X ,Y,Y ,Y X(U) and all f C∞(U). 1 2 1 2 ∈ ∈ Now, if p U where U M is an open subset of M,for ∈ ⊆ any vector field, Y ,definedonU (Y (p) TpM,forall p U), for every X T M,thedirectionalderivative,∈ ∈ ∈ p DXY (p), makes sense and it has an orthogonal decom- position, D Y (p)= Y (p)+(D ) Y (p), X ∇X n X where its horizontal (or tangential) component is Y (p) T M and its normal component is (D ) Y (p). ∇X ∈ p n X 6.2. CONNECTIONS ON MANIFOLDS 467 The component, Y (p), is the covariant derivative of ∇X Y with respect to X TpM and it allows us to define the covariant derivative∈ of a vector field, Y X(U), with respect to a vector field, X X(M), on M∈.
Load more

Recommended publications
  • When Is a Connection a Metric Connection?
    NEW ZEALAND JOURNAL OF MATHEMATICS Volume 38 (2008), 225–238 WHEN IS A CONNECTION A METRIC CONNECTION? Richard Atkins (Received April 2008) Abstract. There are two sides to this investigation: first, the determination of the integrability conditions that ensure the existence of a local parallel metric in the neighbourhood of a given point and second, the characterization of the topological obstruction to a globally defined parallel metric. The local problem has been previously solved by means of constructing a derived flag. Herein we continue the inquiry to the global aspect, which is formulated in terms of the cohomology of the constant sheaf of sections in the general linear group. 1. Introduction A connection on a manifold is a type of differentiation that acts on vector fields, differential forms and tensor products of these objects. Its importance lies in the fact that given a piecewise continuous curve connecting two points on the manifold, the connection defines a linear isomorphism between the respective tangent spaces at these points. Another fundamental concept in the study of differential geometry is that of a metric, which provides a measure of distance on the manifold. It is well known that a metric uniquely determines a Levi-Civita connection: a symmetric connection for which the metric is parallel. Not all connections are derived from a metric and so it is natural to ask, for a symmetric connection, if there exists a parallel metric, that is, whether the connection is a Levi-Civita connection. More generally, a connection on a manifold M, symmetric or not, is said to be metric if there exists a parallel metric defined on M.
    [Show full text]
  • Lecture 24/25: Riemannian Metrics
    Lecture 24/25: Riemannian metrics An inner product on Rn allows us to do the following: Given two curves intersecting at a point x Rn,onecandeterminetheanglebetweentheir tangents: ∈ cos θ = u, v / u v . | || | On a general manifold, we would again like to have an inner product on each TpM.Theniftwocurvesintersectatapointp,onecanmeasuretheangle between them. Of course, there are other geometric invariants that arise out of this structure. 1. Riemannian and Hermitian metrics Definition 24.2. A Riemannian metric on a vector bundle E is a section g Γ(Hom(E E,R)) ∈ ⊗ such that g is symmetric and positive definite. A Riemannian manifold is a manifold together with a choice of Riemannian metric on its tangent bundle. Chit-chat 24.3. A section of Hom(E E,R)isasmoothchoiceofalinear map ⊗ gp : Ep Ep R ⊗ → at every point p.Thatg is symmetric means that for every u, v E ,wehave ∈ p gp(u, v)=gp(v, u). That g is positive definite means that g (v, v) 0 p ≥ for all v E ,andequalityholdsifandonlyifv =0 E . ∈ p ∈ p Chit-chat 24.4. As usual, one can try to understand g in local coordinates. If one chooses a trivializing set of linearly independent sections si ,oneob- tains a matrix of functions { } gij = gp((si)p, (sj)p). By symmetry of g,thisisasymmetricmatrix. 85 n Example 24.5. T R is trivial. Let gij = δij be the constant matrix of functions, so that gij(p)=I is the identity matrix for every point. Then on n n every fiber, g defines the usual inner product on TpR ∼= R .
    [Show full text]
  • 2. Chern Connections and Chern Curvatures1
    1 2. Chern connections and Chern curvatures1 Let V be a complex vector space with dimC V = n. A hermitian metric h on V is h : V £ V ¡¡! C such that h(av; bu) = abh(v; u) h(a1v1 + a2v2; u) = a1h(v1; u) + a2h(v2; u) h(v; u) = h(u; v) h(u; u) > 0; u 6= 0 where v; v1; v2; u 2 V and a; b; a1; a2 2 C. If we ¯x a basis feig of V , and set hij = h(ei; ej) then ¤ ¤ ¤ ¤ h = hijei ­ ej 2 V ­ V ¤ ¤ ¤ ¤ where ei 2 V is the dual of ei and ei 2 V is the conjugate dual of ei, i.e. X ¤ ei ( ajej) = ai It is obvious that (hij) is a hermitian positive matrix. De¯nition 0.1. A complex vector bundle E is said to be hermitian if there is a positive de¯nite hermitian tensor h on E. r Let ' : EjU ¡¡! U £ C be a trivilization and e = (e1; ¢ ¢ ¢ ; er) be the corresponding frame. The r hermitian metric h is represented by a positive hermitian matrix (hij) 2 ¡(­; EndC ) such that hei(x); ej(x)i = hij(x); x 2 U Then hermitian metric on the chart (U; ') could be written as X ¤ ¤ h = hijei ­ ej For example, there are two charts (U; ') and (V; Ã). We set g = à ± '¡1 :(U \ V ) £ Cr ¡¡! (U \ V ) £ Cr and g is represented by matrix (gij). On U \ V , we have X X X ¡1 ¡1 ¡1 ¡1 ¡1 ei(x) = ' (x; "i) = à ± à ± ' (x; "i) = à (x; gij"j) = gijà (x; "j) = gije~j(x) j j For the metric X ~ hij = hei(x); ej(x)i = hgike~k(x); gjle~l(x)i = gikhklgjl k;l that is h = g ¢ h~ ¢ g¤ 12008.04.30 If there are some errors, please contact to: [email protected] 2 Example 0.2 (Fubini-Study metric on holomorphic tangent bundle T 1;0Pn).
    [Show full text]
  • Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md
    International Journal of Scientific & Engineering Research, Volume 5, Issue 9, September-2014 157 ISSN 2229-5518 Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md. Abdul Halim Sajal Saha Md Shafiqul Islam Abstract-In the paper some aspects of Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields are focused. The purpose of this paper is to develop the theory of manifolds equipped with Riemannian metric. I have developed some theorems on torsion and Riemannian curvature tensors using affine connection. A Theorem 1.20 named “Fundamental Theorem of Pseudo-Riemannian Geometry” has been established on Riemannian geometry using tensors with metric. The main tools used in the theorem of pseudo Riemannian are tensors fields defined on a Riemannian manifold. Keywords: Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields. —————————— —————————— I. Introduction (c) { } is a family of open sets which covers , that is, 푖 = . Riemannian manifold is a pair ( , g) consisting of smooth 푈 푀 manifold and Riemannian metric g. A manifold may carry a (d) ⋃ is푈 푖푖 a homeomorphism푀 from onto an open subset of 푀 ′ further structure if it is endowed with a metric tensor, which is a 푖 . 푖 푖 휑 푈 푈 natural generation푀 of the inner product between two vectors in 푛 ℝ to an arbitrary manifold. Riemannian metrics, affine (e) Given and such that , the map = connections,푛 parallel transport, curvature tensors, torsion tensors, ( ( ) killingℝ vector fields and conformal killing vector fields play from푖 푗 ) to 푖 푗 is infinitely푖푗 −1 푈 푈 푈 ∩ 푈 ≠ ∅ 휓 important role to develop the theorem of Riemannian manifolds.
    [Show full text]
  • HARMONIC MAPS Contents 1. Introduction 2 1.1. Notational
    HARMONIC MAPS ANDREW SANDERS Contents 1. Introduction 2 1.1. Notational conventions 2 2. Calculus on vector bundles 2 3. Basic properties of harmonic maps 7 3.1. First variation formula 7 References 10 1 2 ANDREW SANDERS 1. Introduction 1.1. Notational conventions. By a smooth manifold M we mean a second- countable Hausdorff topological space with a smooth maximal atlas. We denote the tangent bundle of M by TM and the cotangent bundle of M by T ∗M: 2. Calculus on vector bundles Given a pair of manifolds M; N and a smooth map f : M ! N; it is advantageous to consider the differential df : TM ! TN as a section df 2 Ω0(M; T ∗M ⊗ f ∗TN) ' Ω1(M; f ∗TN): There is a general for- malism for studying the calculus of differential forms with values in vector bundles equipped with a connection. This formalism allows a fairly efficient, and more coordinate-free, treatment of many calculations in the theory of harmonic maps. While this approach is somewhat abstract and obfuscates the analytic content of many expressions, it takes full advantage of the algebraic symmetries available and therefore simplifies many expressions. We will develop some of this theory now and use it freely throughout the text. The following exposition will closely fol- low [Xin96]. Let M be a smooth manifold and π : E ! M a real vector bundle on M or rank r: Throughout, we denote the space of smooth sections of E by Ω0(M; E): More generally, the space of differential p-forms with values in E is given by Ωp(M; E) := Ω0(M; ΛpT ∗M ⊗ E): Definition 2.1.
    [Show full text]
  • A Geodesic Connection in Fréchet Geometry
    A geodesic connection in Fr´echet Geometry Ali Suri Abstract. In this paper first we propose a formula to lift a connection on M to its higher order tangent bundles T rM, r 2 N. More precisely, for a given connection r on T rM, r 2 N [ f0g, we construct the connection rc on T r+1M. Setting rci = rci−1 c, we show that rc1 = lim rci exists − and it is a connection on the Fr´echet manifold T 1M = lim T iM and the − geodesics with respect to rc1 exist. In the next step, we will consider a Riemannian manifold (M; g) with its Levi-Civita connection r. Under suitable conditions this procedure i gives a sequence of Riemannian manifolds f(T M, gi)gi2N equipped with ci c1 a sequence of Riemannian connections fr gi2N. Then we show that r produces the curves which are the (local) length minimizer of T 1M. M.S.C. 2010: 58A05, 58B20. Key words: Complete lift; spray; geodesic; Fr´echet manifolds; Banach manifold; connection. 1 Introduction In the first section we remind the bijective correspondence between linear connections and homogeneous sprays. Then using the results of [6] for complete lift of sprays, we propose a formula to lift a connection on M to its higher order tangent bundles T rM, r 2 N. More precisely, for a given connection r on T rM, r 2 N [ f0g, we construct its associated spray S and then we lift it to a homogeneous spray Sc on T r+1M [6]. Then, using the bijective correspondence between connections and sprays, we derive the connection rc on T r+1M from Sc.
    [Show full text]
  • The Language of Differential Forms
    Appendix A The Language of Differential Forms This appendix—with the only exception of Sect.A.4.2—does not contain any new physical notions with respect to the previous chapters, but has the purpose of deriving and rewriting some of the previous results using a different language: the language of the so-called differential (or exterior) forms. Thanks to this language we can rewrite all equations in a more compact form, where all tensor indices referred to the diffeomorphisms of the curved space–time are “hidden” inside the variables, with great formal simplifications and benefits (especially in the context of the variational computations). The matter of this appendix is not intended to provide a complete nor a rigorous introduction to this formalism: it should be regarded only as a first, intuitive and oper- ational approach to the calculus of differential forms (also called exterior calculus, or “Cartan calculus”). The main purpose is to quickly put the reader in the position of understanding, and also independently performing, various computations typical of a geometric model of gravity. The readers interested in a more rigorous discussion of differential forms are referred, for instance, to the book [22] of the bibliography. Let us finally notice that in this appendix we will follow the conventions introduced in Chap. 12, Sect. 12.1: latin letters a, b, c,...will denote Lorentz indices in the flat tangent space, Greek letters μ, ν, α,... tensor indices in the curved manifold. For the matter fields we will always use natural units = c = 1. Also, unless otherwise stated, in the first three Sects.
    [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]
  • FROM DIFFERENTIATION in AFFINE SPACES to CONNECTIONS Jovana -Duretic 1. Introduction Definition 1. We Say That a Real Valued
    THE TEACHING OF MATHEMATICS 2015, Vol. XVIII, 2, pp. 61–80 FROM DIFFERENTIATION IN AFFINE SPACES TO CONNECTIONS Jovana Dureti´c- Abstract. Connections and covariant derivatives are usually taught as a basic concept of differential geometry, or more precisely, of differential calculus on smooth manifolds. In this article we show that the need for covariant derivatives may arise, or at lest be motivated, even in a linear situation. We show how a generalization of the notion of a derivative of a function to a derivative of a map between affine spaces naturally leads to the notion of a connection. Covariant derivative is defined in the framework of vector bundles and connections in a way which preserves standard properties of derivatives. A special attention is paid on the role played by zero–sets of a first derivative in several contexts. MathEduc Subject Classification: I 95, G 95 MSC Subject Classification: 97 I 99, 97 G 99, 53–01 Key words and phrases: Affine space; second derivative; connection; vector bun- dle. 1. Introduction Definition 1. We say that a real valued function f :(a; b) ! R is differen- tiable at a point x0 2 (a; b) ½ R if a limit f(x) ¡ f(x ) lim 0 x!x0 x ¡ x0 0 exists. We denote this limit by f (x0) and call it a derivative of a function f at a point x0. We can write this limit in a different form, as 0 f(x0 + h) ¡ f(x0) (1) f (x0) = lim : h!0 h This expression makes sense if the codomain of a function is Rn, or more general, if the codomain is a normed vector space.
    [Show full text]
  • Hodge Theory of SKT Manifolds
    Hodge theory and deformations of SKT manifolds Gil R. Cavalcanti∗ Department of Mathematics Utrecht University Abstract We use tools from generalized complex geometry to develop the theory of SKT (a.k.a. pluriclosed Hermitian) manifolds and more generally manifolds with special holonomy with respect to a metric connection with closed skew-symmetric torsion. We develop Hodge theory on such manifolds show- ing how the reduction of the holonomy group causes a decomposition of the twisted cohomology. For SKT manifolds this decomposition is accompanied by an identity between different Laplacian operators and forces the collapse of a spectral sequence at the first page. Further we study the de- formation theory of SKT structures, identifying the space where the obstructions live. We illustrate our theory with examples based on Calabi{Eckmann manifolds, instantons, Hopf surfaces and Lie groups. Contents 1 Linear algebra 3 2 Intrinsic torsion of generalized Hermitian structures8 2.1 The Nijenhuis tensor....................................9 2.2 The intrinsic torsion and the road to integrability.................... 10 2.3 The operators δ± and δ± ................................. 12 3 Parallel Hermitian and bi-Hermitian structures 12 4 SKT structures 14 5 Hodge theory 19 5.1 Differential operators, their adjoints and Laplacians.................. 19 5.2 Signature and Euler characteristic of almost Hermitian manifolds........... 20 5.3 Hodge theory on parallel Hermitian manifolds...................... 22 5.4 Hodge theory on SKT manifolds............................. 23 5.5 Relation to Dolbeault cohomology............................ 23 5.6 Hermitian symplectic structures.............................. 27 6 Hodge theory beyond U(n) 28 6.1 Integrability......................................... 29 Keywords. Strong KT structure, generalized complex geometry, generalized K¨ahlergeometry, Hodge theory, instan- tons, deformations.
    [Show full text]
  • Math 396. Covariant Derivative, Parallel Transport, and General Relativity
    Math 396. Covariant derivative, parallel transport, and General Relativity 1. Motivation Let M be a smooth manifold with corners, and let (E, ∇) be a C∞ vector bundle with connection over M. Let γ : I → M be a smooth map from a nontrivial interval to M (a “path” in M); keep in mind that γ may not be injective and that its velocity may be zero at a rather arbitrary closed subset of I (so we cannot necessarily extend the standard coordinate on I near each t0 ∈ I to part of a local coordinate system on M near γ(t0)). In pseudo-Riemannian geometry E = TM and ∇ is a specific connection arising from the metric tensor (the Levi-Civita connection; see §4). A very fundamental concept is that of a (smooth) section along γ for a vector bundle on M. Before we give the official definition, we consider an example. Example 1.1. To each t0 ∈ I there is associated a velocity vector 0 ∗ γ (t0) = dγ(t0)(∂t|t0 ) ∈ Tγ(t0)(M) = (γ (TM))(t0). Hence, we get a set-theoretic section of the pullback bundle γ∗(TM) → I by assigning to each time 0 t0 the velocity vector γ (t0) at that time. This is not just a set-theoretic section, but a smooth section. Indeed, this problem is local, so pick t0 ∈ I and an open U ⊆ M containing γ(J) for an open ∞ neighborhood J ⊆ I around t0, with J and U so small that U admits a C coordinate system {x1, . , xn}. Let γi = xi ◦ γ|J ; these are smooth functions on J since γ is a smooth map from I into M.
    [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]