Section 2. Basic formulas and identities in Riemannian geometry
|
|
- Reynard Ross
- 6 years ago
- Views:
Transcription
1 Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l = 0. We may prove the above formulas directly. But it would be easy to prove them by using the Cartan structure equations. The twice contracted second Bianchi identity is g ij i R jk = 1 2 kr. This is equivalent to the Einstein tensor R ij 1Rg 2 ij being divergence-free: div (Rc 12 Rg = 0. Theorem 1 (Schur Let M be connected and dim M 3. If the sectional curvature of M is constant at each point, i.e. K (P = f (x for all 2-plane P T x M, then f (x = const., and M is a space form. Likewise, if the Ricci curvature is constant at each point, i.e. R ik = c (x g ij, then c (x = const., and M is Einstein. 1
2 Proof. By the definition of the sectional curvature, we have R ijkl = f (x (g ik g jl g il g jk then by the second Bianchi identity, we have (take normal coordinates at x M 0 = R ijkl,m + R ijlm,k + R ijmk,l = f,m (δ ik δ jl δ il δ jk + f,k (δ il δ jm δ im δ jl + f,l (δ im δ jk δ ik δ jm Since we assume dim M 3, for each m, we can find m, i, j, k, l with i = k, j = l and i m, j m and i j. Then we have f,m = 0. Since M is connected, then f (x = const.. The second claim follows in the same manner. QED 2. Lie derivative. For fixed point q M, one seeks a curve through q whose tangent vector at each point coincides with the value of a given vector X at this point, i.e. a curve c q (t is always tangent to the vector field X. Now we want to fix t and vary q; we put ϕ t (q := c q (t. Theorem 2. We have ϕ t ϕ s (q = ϕ t+s (q if s, t, s + t I q (2.1 and if ϕ t is defined on U M, it maps U diffeomorphically onto its image. Proof. We have c q (t + s = X (c q (t + s, hence c q (t + s = c cq(s (t. Starting from q, at time s one reaches the point c q (s, and if one proceeds a time t further, one reaches c q (t + s. One therefore reaches the same point if one walks from q on the integral curve for a time t + s, or if one walks a time t from c q (s. This shows (2.1. Inserting t = s into (2.1 for s I q, we obtain ϕ s ϕ s (q = ϕ 0 (q = q. 2
3 Thus the map ϕ s is the inverse of ϕ s, and the diffeomorphism property follows. QED Definition 1 A family (ϕ t t I ( I open interval with 0 I of diffeomorphisms from M to M satisfying (2.1 is called a local 1-parameter group of diffeomorphisms. In general, a local 1-parameter group need not be extendable to a group, since the maximal interval of definition I q of c q need not be all of R. This is already seen by easy example, e.g. M = R, X (τ = τ 2 d, i.e. c dτ (t = c 2 (t as differential equation. However, on a compact differentiable manifold, any vector field generates a 1-parameter group of diffeomorphisms. We call a vector field X is complete if there is a 1-parameter group of diffeomorphisms {ϕ t } t R generated by X. If M n is closed, then any smooth vector field is complete. Let α be a tensor of type (r, s and let X be a complete vector field generating a global 1-parameter group of diffeomorphisms ϕ t. The Lie derivative of α with respect to X is defined by 1 L X α =: lim t 0 t (α (ϕ t α. (2.2 Here (ϕ t : T p M T ϕt(pm is the differential of ϕ t. It acts on the cotangent bundle by (ϕ t = ( ϕ 1 t : T p M Tϕ M n t(p. We can naturally extend the action of (ϕ t to the tensor bundles of M n, which is used in (2.2. The Lie derivative, which measures the infinitesimal lack of diffeomorphism invariance of a tensor with respect to a 1-parameter group of diffeomorphism generated by a vector field, has the following properties: (1 If f is a function, then L X f = X (f. (2 If Y is a vector field, then L X Y = [X, Y ]. (3 If α and β are tensors, then L X (α β = (L X α β + α (L X β. (4 If α is an (0, r tensor, then for any vector fields X, Y 1,..., Y r (L X α (Y 1,..., Y r = X (α (Y 1,..., Y r For example, if α is a 2-tensor, then Σ r i=1α (Y 1,..., Y i 1, [X, Y i ], Y i+1,..., Y r = ( X α (Y 1,..., Y r + Σ r i=1α (Y 1,..., Y i 1, Yi X, Y i+1,..., Y r (2.3 (L X α ij = ( X α ij + g kl ( i X k α lj + j X k α il. 3
4 Recall that the gradient of a function f with respect to the metric g is defined by g (grad g f, X := Xf = df (X. In other words, grad g f is the dual of the 1-form df. using (2.3, we may show that the Lie derivative of the metric is given by (L X g (Y 1, Y 2 = g ( Y1 X, Y 2 + g (Y 1, Y2 X. In local coordinates, this implies (L X g ij = i X j + j X i. In particular, if f is a function, then ( Lgradgfg ij = 2 i j f. We say that a vector field X on (M n, g is Killing if L X g = 0. If X is a complete Killing vector field, then a 1-parameter group of diffeomorphisms ϕ t that it generates is a 1-parameter group of isometries of (M n, g. Definition 2. We say that a diffeomorphism ψ : (M n, g (N n, h is an isometry if ψ h = g. Two Riemannian manifolds are said to be isometric if there is an isometry from one to the other. 3. Differential forms. The volume form dµ of an oriented riemannian manifold (M n, g is defined in terms of a positively oriented orthonormal coframe {ω i } n i=1 by dµ = ω 1... ω n. The volume satisfies (dµ (e 1,..., e n = 1, where {e i } n i=1 is the orthonormal frame dual to {ω i } n i=1 (i.e. ωi (e j = δj. i In a positively oriented local coordinate system {x i }, we have dµ = det (g ij dx 1... dx n. In general, the wedge product of a p-form α and a q-form β is defined by α β (X 1,..., X p+q (p + q! =: A (α β (X 1,..., X p+q p!q! = Σ (J,K sign (J, K α ( ( X j1,..., X jp β Xk1,..., X kq, 4
5 where J = (j 1,..., j p and K = (k 1,..., k q are multi-indices and sign (J, K is the sign of the permutation (1,..., p + q (j 1,..., j p, k 1,..., k q. A p is the operator: p T M p T M p T M, A p (α = 1 p! Σ J (signj Jα. Recall that the exterior derivative of a p-form β satisfies (dβ (Y 1,..., Y p+1 = Σ p+1 i=1 ( 1i 1 Y i (β (Y 1,..., Y i,..., Y p+1 + Σ i<j ( 1 i+j β ([Y i, Y j ], Y 1,..., Y i,..., Y j,..., Y p+1. Using the product rule and the fact that is torsion-free, we may express dβ in terms of covariant derivatives as (dβ (Y 1,..., Y p+1 = Σ ( p+1 j=1 ( 1j 1 Yj β ( Y 1,..., Y j,..., Y p+1. (2.4 In local coordinates, this is (dβ i1...i p+1 = Σ p+1 j=1 ( 1j 1 β i1... i j...i p+1,i j where β i1...i p = β (,..., x i 1 x. For example, if β is a 1-form, then ip If β is a 2-form, then (dβ ij = β j,i β i,j. (dβ ijk = β jk,i β ik,j + β ij,k = β jk,i + β ki,j + β ij,k. Now we define the divergence of a (0, p-tensor as In particular, if X is a 1-form, then (divα i1...i p 1 = g jk α ki1...i p 1,j. div (X = g ij X j,i. 5
6 Given a p-form β and a vector field X, we define the interior product by (ι X β (Y 1,..., Y p 1 =: β (X, Y 1,..., Y p 1 for all vector fields Y 1,..., Y p 1. Recall that for any vector field X and any differential form γ L X γ = (d ι X + ι X d γ. (2.5 The inner product on p T M is defined by For example, γ, η =: g i 1j 1...g ipjp γ i1...i p η j1...j p. ω i 1... ω ip, ω j 1... ω jp = 1 p! det ( δ i kj l. Recall that given p-forms γ and η, their L 2 -inner product is defined by (γ, η L 2 =: γ, η dµ. M n The Hodge star operator : p T M n p T M, p = 0, 1,..., n is defined by γ, η dµ = γ η for any γ, η p T M. For example ( ω 1... ω p = ω p+1... ω n for a positively oriented orthonormal coframe {ω i } n i=1. The adjoint operator δ of d acting on a p-form α is defined in terms of d and the Hodge star operator by the formula δα = ( 1 np+n+1 d α. In terms of covariant derivatives, the adjoint δ is given by (δα (X 1,..., X p 1 = Σ p i=1 ( e i α (e i, X 1,..., X p 1, (2.6 where {e i } n i=1 coordinates, is an orthonormal frame. That is, δα = divα, or in local (δα i1...i p 1 = g jk α ki1...i p 1,j. 6
7 One easily verifies that (dβ, α L 2 = (β, δα L 2 where α p T M and β p 1 T M. The Hodge Laplacian acting on differential p-forms is defined by d =: (dδ + δd. Note that d is a self-adjoint operator. Acting on functions, it is the same as the Laplace-Beltrami operator defined by ( =: div = g ij i j = g ij 2 x i x j Γk ij. x k There are other equivalent ways to define, such as f = Σ n a=1e a (e a f ( ea e a f, where {e a } n a=1 is an orthonormal frame. Or or f = T race (Hessf = T race f = Σ n a=1 2 f (e a, e a, f = 1 ( Σ n g g ij f i,j=1 g x i x j where g = det (g ij. More generally, the (rough Laplacian operator acting on tensors is given by = div = trace g 2 = g ij i j =: i i. More explicitly, given an (r, s-tensor β, β is an (r, s + 2-tensor, which we contract to get β ( ω 1,..., ω r, X 1,..., X s =, n β ( ω 1,..., ω r, X 1,..., X s ; e a, e a a=1 for all covectors ω 1,..., ω r and vectors X 1,..., X s. Lemma 1. For any function f, we have i f = i f + R ij f. 7
8 Proof. This follows from f i,jj = f j,ij = f j,ji + R k jijf k. QED Similarly, the Bochner formula for f 2 is f 2 = 2 f 2 + 2R ij i f j f + 2 i f i ( f. If X is a 1-form, then If β is a 2-form, then X i R ij X j = d X i. ( d β ij = β ij + 2R ikjl β kl R ik β kj R jk β ik. Now let α be a differential p-form. Using (2.4 and (2.6, in local coordinates we may write the Hodge Laplacian as ( d α i1...i r = ( 1 j+1 g kl ij k α li1... i j...i r + g kl k l α i1...i r + ( 1 j g kl k ij α li1... i j...i r = ( α i1...i r + ( 1 j g kl ( k ij ij k αli1... i j...i r. 4. Integration by parts. Recall that Stokes Theorem says that Theorem 3. If α is an (n 1-form on a compact oriented manifold M n with (possibly empty boundary M, then dα = α. M Let (M n, g be an oriented Riemannian manifold with boundary M. The orientation on M defines an orientation on M. Locally, on the boundary, choose a positively oriented frame field {e i } n i=1 such that e 1 = ν is the unit outward normal. Then the frame field {e i } n i=2 is positively oriented on M. Let {ω i } n i=1 denote the orthonormal coframe field dual to {e i} n i=1. The volume form of M is dµ = ω 1... ω n 8 M
9 and the volume form of M is It is not difficult to see that Indeed, dσ = ω 2... ω n. dσ = ι ν (dµ. ι ν (dµ (e 2,..., e n = (dµ (e 1, e 2,..., e n = 1. The divergence theorem says Theorem 4. Let (M n, g be a compact oriented Riemannian manifold. If X is a vector field, then div (X dµ = X, ν dσ, where div (X = X i, i. Proof. Define the (n 1-form α by Using d 2 = 0 and (2.5 we compute M M α = ι X (dµ. dα = d ι X (dµ = (d ι X + ι X d (dµ = L X (dµ = div (X dµ, where to obtain the last equality, we may compute in an orthonormal frame e 1,..., e n : L X (dµ (e 1,..., e n = n dµ (e 1,..., ei X,..., e n i=1 = div (X dµ (e 1,..., e n. Now Stokes Theorem implies that div (X dµ = dα = α M M M = ι X (dµ = M 9 M X, ν dσ.
10 To verify the last equality, we used (ι X (dµ (e 2,..., e n = (dµ (X, e 2,..., e n = X, ν (dµ (e 1,..., e n = X, ν. Hence the theorem is proved. QED Corollary 1. Let (M n, g be a compact oriented Riemannian manifold. If α is an (r, s-tensor and β is an (r, s 1-tensor, then α, β dv = div (α, β dv. Proof. Let X j = α k 1...k r M M ji 2...i s β k 1...k r i 2...i s. We compute that divx = div (α, β + α, β, and the result follows from the divergence theorem. QED 10
CS 468. Differential Geometry for Computer Science. Lecture 13 Tensors and Exterior Calculus
CS 468 Differential Geometry for Computer Science Lecture 13 Tensors and Exterior Calculus Outline Linear and multilinear algebra with an inner product Tensor bundles over a surface Symmetric and alternating
More informationTENSORS AND DIFFERENTIAL FORMS
TENSORS AND DIFFERENTIAL FORMS SVANTE JANSON UPPSALA UNIVERSITY Introduction The purpose of these notes is to give a quick course on tensors in general differentiable manifolds, as a complement to standard
More informationCS 468 (Spring 2013) Discrete Differential Geometry
CS 468 (Spring 2013) Discrete Differential Geometry Lecture 13 13 May 2013 Tensors and Exterior Calculus Lecturer: Adrian Butscher Scribe: Cassidy Saenz 1 Vectors, Dual Vectors and Tensors 1.1 Inner Product
More information1 Normal (geodesic) coordinates
Riemannian Geometry The Bochner- Weitzenbock formula If we need to verify some tensor identity (or inequality) on Riemannina manifolds, we only need to choose, at every point, a suitable local coordinate,
More informationRiemannian Curvature Functionals: Lecture I
Riemannian Curvature Functionals: Lecture I Jeff Viaclovsky Park City athematics Institute July 16, 2013 Overview of lectures The goal of these lectures is to gain an understanding of critical points of
More informationarxiv:math/ v1 [math.dg] 19 Nov 2004
arxiv:math/04426v [math.dg] 9 Nov 2004 REMARKS ON GRADIENT RICCI SOLITONS LI MA Abstract. In this paper, we study the gradient Ricci soliton equation on a complete Riemannian manifold. We show that under
More informationCartesian Tensors. e 2. e 1. General vector (formal definition to follow) denoted by components
Cartesian Tensors Reference: Jeffreys Cartesian Tensors 1 Coordinates and Vectors z x 3 e 3 y x 2 e 2 e 1 x x 1 Coordinates x i, i 123,, Unit vectors: e i, i 123,, General vector (formal definition to
More informationSyllabus. May 3, Special relativity 1. 2 Differential geometry 3
Syllabus May 3, 2017 Contents 1 Special relativity 1 2 Differential geometry 3 3 General Relativity 13 3.1 Physical Principles.......................................... 13 3.2 Einstein s Equation..........................................
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationDifferential Forms, Integration on Manifolds, and Stokes Theorem
Differential Forms, Integration on Manifolds, and Stokes Theorem Matthew D. Brown School of Mathematical and Statistical Sciences Arizona State University Tempe, Arizona 85287 matthewdbrown@asu.edu March
More informationGEOMETRICAL TOOLS FOR PDES ON A SURFACE WITH ROTATING SHALLOW WATER EQUATIONS ON A SPHERE
GEOETRICAL TOOLS FOR PDES ON A SURFACE WITH ROTATING SHALLOW WATER EQUATIONS ON A SPHERE BIN CHENG Abstract. This is an excerpt from my paper with A. ahalov [1]. PDE theories with Riemannian geometry are
More informationThe Hodge Star Operator
The Hodge Star Operator Rich Schwartz April 22, 2015 1 Basic Definitions We ll start out by defining the Hodge star operator as a map from k (R n ) to n k (R n ). Here k (R n ) denotes the vector space
More informationExercise 1 (Formula for connection 1-forms) Using the first structure equation, show that
1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral
More informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationLecture Notes Topics in Differential Geometry MATH 542
Lecture Notes Topics in Differential Geometry MATH 542 Instructor: Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 August 25, 2014 Author: Ivan Avramidi; File: topicsdiffgeom.tex;
More informationSurvey on exterior algebra and differential forms
Survey on exterior algebra and differential forms Daniel Grieser 16. Mai 2013 Inhaltsverzeichnis 1 Exterior algebra for a vector space 1 1.1 Alternating forms, wedge and interior product.....................
More informationt, H = 0, E = H E = 4πρ, H df = 0, δf = 4πJ.
Lecture 3 Cohomologies, curvatures Maxwell equations The Maxwell equations for electromagnetic fields are expressed as E = H t, H = 0, E = 4πρ, H E t = 4π j. These equations can be simplified if we use
More informationPHYS 4390: GENERAL RELATIVITY NON-COORDINATE BASIS APPROACH
PHYS 4390: GENERAL RELATIVITY NON-COORDINATE BASIS APPROACH 1. Differential Forms To start our discussion, we will define a special class of type (0,r) tensors: Definition 1.1. A differential form of order
More informationSolutions to Exercises in Notes 1., multiplying byg kl, and using [ ]
Fo any vecto fields X, Y and Z that Solutions to Execises in Notes. 2g ( X Y, Z) = X (g (Y, Z)) + Y (g (X, Z)) Z (g (X, Y )) () + g ([X, Y ], Z) g ([X, Z], Y ) g ([Y, Z], X). Applying this to X =, Y =,
More informationDIFFERENTIAL FORMS AND COHOMOLOGY
DIFFERENIAL FORMS AND COHOMOLOGY ONY PERKINS Goals 1. Differential forms We want to be able to integrate (holomorphic functions) on manifolds. Obtain a version of Stokes heorem - a generalization of the
More informationProposition 1 (Exterior Derivative of a 1-Form). For any smooth 1-form ω and smooth vector fields X and Y, (1) dω(x, Y )=X(ω(Y )) Y (ω(x)) ω([x, Y ]).
Proposition 1 (Exterior Derivative of a 1-Form). For any smooth 1-form ω and smooth vector fields X and Y, (1) dω(x, Y )=X(ω(Y )) Y (ω(x)) ω([x, Y ]). Proof. Since any smooth 1-form can be expressed locally
More information1.13 The Levi-Civita Tensor and Hodge Dualisation
ν + + ν ν + + ν H + H S ( S ) dφ + ( dφ) 2π + 2π 4π. (.225) S ( S ) Here, we have split the volume integral over S 2 into the sum over the two hemispheres, and in each case we have replaced the volume-form
More informationPoisson Equation on Closed Manifolds
Poisson Equation on Closed anifolds Andrew acdougall December 15, 2011 1 Introduction The purpose of this project is to investigate the poisson equation φ = ρ on closed manifolds (compact manifolds without
More informationHyperbolic Geometric Flow
Hyperbolic Geometric Flow Kefeng Liu Zhejiang University UCLA Page 1 of 41 Outline Introduction Hyperbolic geometric flow Local existence and nonlinear stability Wave character of metrics and curvatures
More informationFaculty of Engineering, Mathematics and Science School of Mathematics
Faculty of Engineering, Mathematics and Science School of Mathematics JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Module MA3429: Differential Geometry I Trinity Term 2018???, May??? SPORTS
More informationFundamental Materials of Riemannian Geometry
Chapter 1 Fundamental aterials of Riemannian Geometry 1.1 Introduction In this chapter, we give fundamental materials in Riemannian geometry. In this book, we assume basic materials on manifolds. We give,
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationGradient Estimates and Sobolev Inequality
Gradient Estimates and Sobolev Inequality Jiaping Wang University of Minnesota ( Joint work with Linfeng Zhou) Conference on Geometric Analysis in honor of Peter Li University of California, Irvine January
More informationA brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström
A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationElements of differential geometry
Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, 28.7. - 1.8. 2014 1. tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and
More informationUNIVERSITY OF DUBLIN
UNIVERSITY OF DUBLIN TRINITY COLLEGE JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Faculty of Engineering, Mathematics and Science school of mathematics Trinity Term 2015 Module MA3429
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More information7 Curvature of a connection
[under construction] 7 Curvature of a connection 7.1 Theorema Egregium Consider the derivation equations for a hypersurface in R n+1. We are mostly interested in the case n = 2, but shall start from the
More informationNOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS
NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? Let V be a finite-dimensional vector space. 1 It could be R n, it could be the tangent space to a manifold at a point, or it could just
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationLie algebra cohomology
Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and
More informationCurvature homogeneity of type (1, 3) in pseudo-riemannian manifolds
Curvature homogeneity of type (1, 3) in pseudo-riemannian manifolds Cullen McDonald August, 013 Abstract We construct two new families of pseudo-riemannian manifolds which are curvature homegeneous of
More informationLECTURE 5: COMPLEX AND KÄHLER MANIFOLDS
LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.
More informationThe spectral action for Dirac operators with torsion
The spectral action for Dirac operators with torsion Christoph A. Stephan joint work with Florian Hanisch & Frank Pfäffle Institut für athematik Universität Potsdam Tours, ai 2011 1 Torsion Geometry, Einstein-Cartan-Theory
More informationHomework for Math , Spring 2012
Homework for Math 6170 1, Spring 2012 Andres Treibergs, Instructor April 24, 2012 Our main text this semester is Isaac Chavel, Riemannian Geometry: A Modern Introduction, 2nd. ed., Cambridge, 2006. Please
More informationPerelman s Dilaton. Annibale Magni (TU-Dortmund) April 26, joint work with M. Caldarelli, G. Catino, Z. Djadly and C.
Annibale Magni (TU-Dortmund) April 26, 2010 joint work with M. Caldarelli, G. Catino, Z. Djadly and C. Mantegazza Topics. Topics. Fundamentals of the Ricci flow. Topics. Fundamentals of the Ricci flow.
More informationWARPED PRODUCTS PETER PETERSEN
WARPED PRODUCTS PETER PETERSEN. Definitions We shall define as few concepts as possible. A tangent vector always has the local coordinate expansion v dx i (v) and a function the differential df f dxi We
More informationMathematical Preliminaries
Mathematical Preliminaries Introductory Course on Multiphysics Modelling TOMAZ G. ZIELIŃKI bluebox.ippt.pan.pl/ tzielins/ Table of Contents Vectors, tensors, and index notation. Generalization of the concept
More informationDifferential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18
Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results
More informationDivergence Theorems in Path Space. Denis Bell University of North Florida
Divergence Theorems in Path Space Denis Bell University of North Florida Motivation Divergence theorem in Riemannian geometry Theorem. Let M be a closed d-dimensional Riemannian manifold. Then for any
More informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
More information1 Curvature of submanifolds of Euclidean space
Curvature of submanifolds of Euclidean space by Min Ru, University of Houston 1 Curvature of submanifolds of Euclidean space Submanifold in R N : A C k submanifold M of dimension n in R N means that for
More informationGeometric and Spectral Properties of Hypoelliptic Operators
Geometric and Spectral Properties of Hypoelliptic Operators aster Thesis Stine. Berge ay 5, 017 i ii Acknowledgements First of all I want to thank my three supervisors; Erlend Grong, Alexander Vasil ev
More informationHyperbolic Geometric Flow
Hyperbolic Geometric Flow Kefeng Liu CMS and UCLA August 20, 2007, Dong Conference Page 1 of 51 Outline: Joint works with D. Kong and W. Dai Motivation Hyperbolic geometric flow Local existence and nonlinear
More informationTWISTOR AND KILLING FORMS IN RIEMANNIAN GEOMETRY
TWISTOR AND KILLING FORMS IN RIEMANNIAN GEOMETRY Andrei Moroianu CNRS - Ecole Polytechnique Palaiseau Prague, September 1 st, 2004 joint work with Uwe Semmelmann Plan of the talk Algebraic preliminaries
More informationLet F be a foliation of dimension p and codimension q on a smooth manifold of dimension n.
Trends in Mathematics Information Center for Mathematical Sciences Volume 5, Number 2,December 2002, Pages 59 64 VARIATIONAL PROPERTIES OF HARMONIC RIEMANNIAN FOLIATIONS KYOUNG HEE HAN AND HOBUM KIM Abstract.
More informationis the desired collar neighbourhood. Corollary Suppose M1 n, M 2 and f : N1 n 1 N2 n 1 is a diffeomorphism between some connected components
1. Collar neighbourhood theorem Definition 1.0.1. Let M n be a manifold with boundary. Let p M. A vector v T p M is called inward if for some local chart x: U V where U subsetm is open, V H n is open and
More informationCONNECTIONS ON PRINCIPAL BUNDLES AND CLASSICAL ELECTROMAGNETISM
CONNECTIONS ON PRINCIPAL BUNDLES AND CLASSICAL ELECTROMAGNETISM APURV NAKADE Abstract. The goal is to understand how Maxwell s equations can be formulated using the language of connections. There will
More informationVector calculus. Appendix A. A.1 Definitions. We shall only consider the case of three-dimensional spaces.
Appendix A Vector calculus We shall only consider the case of three-dimensional spaces A Definitions A physical quantity is a scalar when it is only determined by its magnitude and a vector when it is
More information4.7 The Levi-Civita connection and parallel transport
Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationGravitation: Tensor Calculus
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More informationOn the BCOV Conjecture
Department of Mathematics University of California, Irvine December 14, 2007 Mirror Symmetry The objects to study By Mirror Symmetry, for any CY threefold, there should be another CY threefold X, called
More informationTopology III Home Assignment 8 Subhadip Chowdhury
Topology Home Assignment 8 Subhadip Chowdhury Problem 1 Suppose {X 1,..., X n } is an orthonormal basis of T x M for some point x M. Then by definition, the volume form Ω is defined to be the n form such
More informationTensor Analysis in Euclidean Space
Tensor Analysis in Euclidean Space James Emery Edited: 8/5/2016 Contents 1 Classical Tensor Notation 2 2 Multilinear Functionals 4 3 Operations With Tensors 5 4 The Directional Derivative 5 5 Curvilinear
More informationCLASSIFICATION OF MÖBIUS ISOPARAMETRIC HYPERSURFACES IN THE UNIT SIX-SPHERE
Tohoku Math. J. 60 (008), 499 56 CLASSIFICATION OF MÖBIUS ISOPARAMETRIC HYPERSURFACES IN THE UNIT SIX-SPHERE Dedicated to Professors Udo Simon and Seiki Nishikawa on the occasion of their seventieth and
More informationLecture 13. Differential forms
Lecture 13. Differential forms In the last few lectures we have seen how a connection can be used to differentiate tensors, and how the introduction of a Riemannian metric gives a canonical choice of connection.
More informationOn the Killing Tensor Fields on a Compact Riemannian Manifold
On the Killing Tensor Fields on a Compact Riemannian Manifold Grigorios Tsagas Abstract Let (M, g) be a compact Riemannian manifold of dimension n The aim of the present paper is to study the dimension
More informationSome Remarks on Ricci Solitons
University of New Haven Digital Commons @ New Haven Mathematics Faculty Publications Mathematics 12-2017 Some Remarks on Ricci Solitons Ramesh Sharma University of New Haven, rsharma@newhaven.edu S Balasubramanian
More information1. Divergence of a product: Given that φ is a scalar field and v a vector field, show that
1. Divergence of a product: Given that φ is a scalar field and v a vector field, show that div(φv) = (gradφ) v + φ div v grad(φv) = (φv i ), j g i g j = φ, j v i g i g j + φv i, j g i g j = v (grad φ)
More informationDierential geometry for Physicists
Dierential geometry for Physicists (What we discussed in the course of lectures) Marián Fecko Comenius University, Bratislava Syllabus of lectures delivered at University of Regensburg in June and July
More informationThe Algebra of Tensors; Tensors on a Vector Space Definition. Suppose V 1,,V k and W are vector spaces. A map. F : V 1 V k
The Algebra of Tensors; Tensors on a Vector Space Definition. Suppose V 1,,V k and W are vector spaces. A map F : V 1 V k is said to be multilinear if it is linear as a function of each variable seperately:
More informationLet V, W be two finite-dimensional vector spaces over R. We are going to define a new vector space V W with two properties:
5 Tensor products We have so far encountered vector fields and the derivatives of smooth functions as analytical objects on manifolds. These are examples of a general class of objects called tensors which
More informationCONFORMAL DEFORMATION OF A CONIC METRIC. A Thesis by. Miranda Rose Jones. Bachelor of Science, Kansas State University, 2009
CONFORMAL DEFORMATION OF A CONIC METRIC A Thesis by Miranda Rose Jones Bachelor of Science, Kansas State University, 2009 Submitted to the Department of Mathematics and Statistics and the faculty of the
More informationDIVERGENCE THEOREMS IN PATH SPACE
DIVERGENCE THEOREMS IN PATH SPACE Denis Bell Department of Mathematics, University of North Florida, 4567 St. Johns Bluff Road South, Jacksonville, FL 32224, U. S. A. email: dbell@unf.edu This paper is
More informationCRITICAL METRICS OF THE VOLUME FUNCTIONAL ON MANIFOLDS WITH BOUNDARY arxiv: v1 [math.dg] 9 Mar 2016
CRITICAL ETRICS OF THE VOLUE FUNCTIONAL ON ANIFOLDS WITH BOUNDARY arxiv:1603.02932v1 [math.dg] 9 ar 2016 H. BALTAZAR & E. RIBEIRO JR Abstract. The goal of this article is to study the space of smooth Riemannian
More informationAn introduction to General Relativity and the positive mass theorem
An introduction to General Relativity and the positive mass theorem National Center for Theoretical Sciences, Mathematics Division March 2 nd, 2007 Wen-ling Huang Department of Mathematics University of
More informationIn this lecture we define tensors on a manifold, and the associated bundles, and operations on 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
More informationWarped Products. by Peter Petersen. We shall de ne as few concepts as possible. A tangent vector always has the local coordinate expansion
Warped Products by Peter Petersen De nitions We shall de ne as few concepts as possible. A tangent vector always has the local coordinate expansion a function the di erential v = dx i (v) df = f dxi We
More informationIntrinsic Differential Geometry with Geometric Calculus
MM Research Preprints, 196 205 MMRC, AMSS, Academia Sinica No. 23, December 2004 Intrinsic Differential Geometry with Geometric Calculus Hongbo Li and Lina Cao Mathematics Mechanization Key Laboratory
More informationHamiltonian flows, cotangent lifts, and momentum maps
Hamiltonian flows, cotangent lifts, and momentum maps Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Symplectic manifolds Let (M, ω) and (N, η) be symplectic
More informationINTRO TO SUBRIEMANNIAN GEOMETRY
INTRO TO SUBRIEMANNIAN GEOMETRY 1. Introduction to subriemannian geometry A lot of this tal is inspired by the paper by Ines Kath and Oliver Ungermann on the arxiv, see [3] as well as [1]. Let M be a smooth
More informationDifferential Forms and Applications to Complex Analysis, Harmonic Functions, and Degree Theory Michael Taylor
Differential Forms and Applications to Complex Analysis, Harmonic Functions, and Degree Theory Michael Taylor Contents 6. Differential forms 7. Products and exterior derivatives of forms 8. The general
More informationON THE GEOMETRY OF TANGENT BUNDLE OF A (PSEUDO-) RIEMANNIAN MANIFOLD
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I.CUZA IAŞI Tomul XLIV, s.i.a, Matematică, 1998, f1 ON THE GEOMETRY OF TANGENT BUNDLE OF A (PSEUDO-) RIEMANNIAN MANIFOLD BY V. OPROIU and N. PAPAGHIUC 0. Introduction.
More informationIntroduction to finite element exterior calculus
Introduction to finite element exterior calculus Ragnar Winther CMA, University of Oslo Norway Why finite element exterior calculus? Recall the de Rham complex on the form: R H 1 (Ω) grad H(curl, Ω) curl
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationTHE LOCAL THEORY OF ELLIPTIC OPERATORS AND THE HODGE THEOREM
THE LOCAL THEORY OF ELLIPTIC OPERATORS AND THE HODGE THEOREM BEN LOWE Abstract. In this paper, we develop the local theory of elliptic operators with a mind to proving the Hodge Decomposition Theorem.
More informationCompatible Discretization Schemes
Compatible Discretization Schemes Marc Gerritsma 1 1 Collaborators Artur Palha, Guido Oud, Jasper Kreeft & Mick Bouman Marc Gerritsma Burgers Course CFD I, 25-29 January 2010 1 / 81 What if... Why mimetic
More informationNotes on Cartan s Method of Moving Frames
Math 553 σιι June 4, 996 Notes on Cartan s Method of Moving Frames Andrejs Treibergs The method of moving frames is a very efficient way to carry out computations on surfaces Chern s Notes give an elementary
More informationRepresentation theory and the X-ray transform
AMSI Summer School on Integral Geometry and Imaging at the University of New England, Lecture 1 p. 1/18 Representation theory and the X-ray transform Differential geometry on real and complex projective
More informationsatisfying the following condition: If T : V V is any linear map, then µ(x 1,,X n )= det T µ(x 1,,X n ).
ensities Although differential forms are natural objects to integrate on manifolds, and are essential for use in Stoke s theorem, they have the disadvantage of requiring oriented manifolds in order for
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationInfinitesimal Einstein Deformations. Kähler Manifolds
on Nearly Kähler Manifolds (joint work with P.-A. Nagy and U. Semmelmann) Gemeinsame Jahrestagung DMV GDM Berlin, March 30, 2007 Nearly Kähler manifolds Definition and first properties Examples of NK manifolds
More information2-harmonic maps and their first and second variational formulas i
Note di atematica Note at. 1(2008, suppl. n. 1, 209-232 ISSN 1123-2536, e-issn 1590-0932 DOI 10.1285/i15900932v28n1supplp209 Note http://siba2.unile.it/notemat di atematica 28, suppl. n. 1, 2009, 209 232.
More informationIntegration of non linear conservation laws?
Integration of non linear conservation laws? Frédéric Hélein, Institut Mathématique de Jussieu, Paris 7 Advances in Surface Theory, Leicester, June 13, 2013 Harmonic maps Let (M, g) be an oriented Riemannian
More informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten
More informationNOTES ON NEWLANDER-NIRENBERG THEOREM XU WANG
NOTES ON NEWLANDER-NIRENBERG THEOREM XU WANG Abstract. In this short note we shall recall the classical Newler-Nirenberg theorem its vector bundle version. We shall also recall an L 2 -Hörmer-proof given
More informationRIEMANNIAN GEOMETRY: SOME EXAMPLES, INCLUDING MAP PROJECTIONS
RIEMANNIAN GEOMETRY: SOME EXAMPLES, INCLUDING MAP PROJECTIONS SVANTE JANSON Abstract. Some standard formulas are collected on curvature in Riemannian geometry, using coordinates. (There are, as far as
More informationON TOTALLY REAL SUBMANIFOLDS IN A NEARLY KÄHLER MANIFOLD *
PORTUGALIAE MATHEMATICA Vol. 58 Fasc. 2 2001 Nova Série ON TOTALLY REAL SUBMANIFOLDS IN A NEARLY KÄHLER MANIFOLD * Zhong Hua Hou Abstract: Let M m be a totally real submanifold of a nearly Kähler manifold
More informationA Note on Cohomology of a Riemannian Manifold
Int. J. Contemp. ath. Sciences, Vol. 9, 2014, no. 2, 51-56 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijcms.2014.311131 A Note on Cohomology of a Riemannian anifold Tahsin Ghazal King Saud
More information