CARTAN S GENERALIZATION OF LIE S THIRD THEOREM


 Prudence Elliott
 1 years ago
 Views:
Transcription
1 CARTAN S GENERALIZATION OF LIE S THIRD THEOREM ROBERT L. BRYANT MATHEMATICAL SCIENCES RESEARCH INSTITUTE JUNE 13, 2011 CRM, MONTREAL
2 In many ways, this talk (and much of the work it reports on) owes its existence to an article I. M. Singer and S. Sternberg, The infinite groups of Lie and Cartan. Part I (the transitive groups), JournalD AnalyseMath. 15 (1965), Simple examples (now called pseudogroups) include: (1) Diffeomorphisms (2) Volumepreserving diffeomorphisms (3) Symplectomorphisms and Contactomorphisms (4) Biholomorphisms, etc. Part II never appeared, and so there was no mention of gauge groups (one of Cartan s examples of an intransitive infinite simple group), and some of the more delicate issues that Cartan faced (with only partial success) were avoided.
3 In many ways, this talk (and much of the work it reports on) owes its existence to an article I. M. Singer and S. Sternberg, The infinite groups of Lie and Cartan. Part I (the transitive groups), JournalD AnalyseMath. 15 (1965), Simple examples (now called pseudogroups) include: (1) Diffeomorphisms (2) Volumepreserving diffeomorphisms (3) Symplectomorphisms and Contactomorphisms (4) Biholomorphisms, etc. Cartan s work on the intransitive case has been (partially) taken up by many different people, and it has given rise to the theory of what are now called Lie algebroids and Lie groupoids.
4 Lie s Third Theorem: If L is a finitedimensional, real Lie algebra, then there exists a Lie algebra homomorphism λ : L Vect(L) satisfying λ(x)(0) = x for all x L. Dual Formulation: Let δ : L Λ 2 (L )bealinearmap. Ifitsextension δ :Λ (L ) Λ (L )asagradedderivationofdegree1satisfiesδ 2 =0, then there is a DGA homomorphism φ : ( Λ (L ),δ ) ( Ω (L), d ) satisfying φ(α)(0) = α. Basis Formulation: If Cjk i = Ci kj (1 i, j, k n) areconstants,then there exist linearly independent 1forms ω i (1 i n) onr n satisfying the structure equations dω i = 1 2 Ci jk ω j ω k if and only if these formulae imply d ( dω i) =0as a formal consequence.
5 Ageometricproblem:Classify those Riemannian surfaces (M 2,g)whose Gauss curvature K satisfies the second order system for some functions a and b. Hess g (K) =a(k)g + b(k)dk 2 Analysis Writing g = ω ω 2 2,thestructureequationsyield dω 1 = ω 12 ω 2 dω 2 = ω 12 ω 1 dω 12 = Kω 1 ω 2 dk = K 1 ω 1 + K 2 ω 2 and the condition to be studied is encoded as ( ) ( ) ( dk1 K2 a(k)+b(k) 2 K1 b(k) K = ω dk 2 K K b(k) K 1 K 2 a(k)+b(k) K 1 Applying d 2 =0tothesetwoequationsyields ( a (K) a(k)b(k)+k ) K i =0 fori =1, 2. )( ω1 Thus, unless a (K) =a(k)b(k) K, suchmetricshavek constant. ). ω 2
6 Conversely, suppose that a (K) = a(k)b(k) K. Does there exist a solution (N 3,ω)tothefollowingsystem? dω 1 = ω 12 ω 2 dω 2 = ω 12 ω 1 ω 1 ω 2 ω 12 0, ω = ω 1 ω 2 dω 12 = Kω 1 ω 2 ω 12 dk K 1 K 2 0 ω 1 dk 1 = 2 a(k)+b(k) K 1 b(k) K 1 K 2 K 2 ω 2. 2 dk 2 b(k) K 1 K 2 a(k)+b(k) K 1 ω 12 Note: d 2 =0is formallysatisfied forthesestructureequations. K 1 Answer: AtheoremofÉ. Cartan [1904] implies that a solution (N 3,ω) does indeed exist and is determined uniquely (locally near p, up to diffeomorphism) by the value of (K, K 1,K 2 )atp.
7 Cartan s result: Suppose that Cjk i = Ci kj and F i α (with 1 i, j, k n and 1 α s) arerealanalyticfunctionsonr s such that the equations dω i = 1 2 Ci jk (a) ωj ω k and da α = Fi α (a) ωi formally satisfy d 2 =0. Then,foreveryb 0 R s,thereexistsanopen neighborhood U of 0 R n,linearlyindependent1formsη i on U, anda function b : U R s satisfying dη i = 1 2 Ci jk(b) η j η k, db α = F α i (b) η i, and b(0) = b 0. Up to local diffeomorphism of (R n, 0), the pair (η, b) isgermunique. Remark 1: Cartan assumed that F =(Fi α)hasconstantrank,butit turns out that, for a solution (η, b) withu connected, F (b) = ( Fi α(b)) always has constant rank anyway. Remark 2: Cartan worked in the realanalytic category and used the CartanKähler theorem in his proof, but the above result is now known to be true in the smooth category. (Cf. P. Dazord)
8 The Hessian equation example: dω 1 = ω 12 ω 2 dω 2 = ω 12 ω 1 ω 1 ω 2 ω 12 0, ω = ω 1 ω 2 dω 12 = Kω 1 ω 2 ω 12 dk K 1 K 2 0 ω 1 dk 1 = 2 a(k)+b(k) K 1 b(k) K 1 K 2 K 2 ω 2. 2 dk 2 b(k) K 1 K 2 a(k)+b(k) K 1 ω 12 K 1 d 2 =0isformallysatisfiedwhena (K) =a(k)b(k) K. Remark: The F matrix either has rank 0 (when K 1 = K 2 = a(k) =0) or 2 (all other cases). The rank 0 cases have K constant. The rank 2 cases have a 1dimensional symmetry group and each represents a surface of revolution.
9 Modern formulation of Cartan s theory: A Lie algebroid is a vector bundle a : Y A over a manifold A endowed with a Lie algebra structure {, } :Γ(Y ) Γ(Y ) Γ(Y ) and a bundle map α : Y TA that induces a Lie algebra homomorphism on sections and satisfies the Leibnitz compatibility condition {U, fv } = α(u)(f) V + f {U, V } for f C (A) andu, V Γ(Y ). In our case, take a basis U i of Y = R s R n with a : Y R s the projection and define {U j, U k } = C i jk(a) U i and α(u i )=F α i (a) a α. The formal condition d 2 = 0 ensures that α induces a Lie algebra homomorphism and satisfies the above compatibility condition. A solution isab : B n A covered by a bundle map η : TB Y of rank n that induces a Lie algebra homomorphism on sections.
10 Some geometric applications: 1. Classification of BochnerKähler metrics. (B, 2001) 2. Classification of Leviflat minimal hypersurfaces in C 2.(B,2002) 3. Classification of isometrically deformable surfaces preserving the mean curvature. (originally done by Bonnet in the 1880s) 4. Surfaces with prescribed curvature operator. (B, 2001) 5. Classification of projectively flat Finsler surfaces of constant flag curvature (B, 1997). 6. Classification of austere 3folds. (B, 1991) 7. Classification of the exotic symplectic holonomies. (originally done by Schwachhofer, et al.) Many more examples drawn from classical differential geometry.
11 AgeneralizationofCartan stheorem.consider equations dη i = 1 2 Ci jk(h) η j η k dh a = ( F a i (h)+a a iα(h)p α) η i. C i jk, F a i,anda a iα (where 1 i, j, k n, 1 a s, and1 α r) are specified functions on a domain X R s. Assume: (1) The functions C, F,andA are real analytic. (2) The tableau A(h) = ( A a iα (h)) is rank r and involutive, withcartan characters s 1 s 2 s q >s q+1 =0forallh R s. (3) d 2 =0reducestoequationsoftheform 0=A a iα(h) ( dp α + B α j (h, p) η j) η i for some functions Bj α.(torsion absorbable hypothesis) Then: Modulo diffeomorphism, the general realanalytic solution depends on s q functions of q variables. Moreover, one can specify h and p arbitrarily at a point. Remark: The proof is a straightforward modification of Cartan s proof in the case r =0(i.e.,whenthereareno freederivatives p α ).
12 Example: Riemannian 3manifolds with const. Ricci eigenvalues. For simplicity, assume the eigenvalues are all distinct, with c 1 >c 2 >c 3. Then there exist ω i,φ i so that g = ω ω ω 3 2 and dω 1 = φ 2 ω 3 φ 3 ω 2 dω 2 = φ 3 ω 1 φ 1 ω 3 dω 3 = φ 1 ω 2 φ 2 ω 1 dφ 1 = φ 2 φ 3 + c 1 ω 2 ω 3 dφ 2 = φ 3 φ 1 + c 2 ω 3 ω 1 dφ 3 = φ 1 φ 2 + c 3 ω 1 ω 2 2 nd Bianchi implies that there are functions a i and b i so that φ 1 = a 1 ω 1 +(c 1 c 3 ) b 3 ω 2 +(c 1 c 2 ) b 2 ω 3 φ 2 = a 2 ω 2 +(c 2 c 1 ) b 1 ω 3 +(c 2 c 3 ) b 3 ω 1 φ 3 = a 3 ω 3 +(c 3 c 2 ) b 2 ω 1 +(c 3 c 1 ) b 1 ω 2. d(dω i )=0,thenyields9equationsforda i,db i. These can be written in the form da i = ( A ij (a, b)+p ij ) ωj db i = ( B ij (a, b)+q ij ) ωj, where q ii =0andq ij = p jk /(c i c j )when(i, j, k) aredistinct.
13 dω 1 = φ 2 ω 3 φ 3 ω 2 dω 2 = φ 3 ω 1 φ 1 ω 3 dω 3 = φ 1 ω 2 φ 2 ω 1 φ 1 = a 1 ω 1 +(c 1 c 3 ) b 3 ω 2 +(c 1 c 2 ) b 2 ω 3 φ 2 = a 2 ω 2 +(c 2 c 1 ) b 1 ω 3 +(c 2 c 3 ) b 3 ω 1 φ 3 = a 3 ω 3 +(c 3 c 2 ) b 2 ω 1 +(c 3 c 1 ) b 1 ω 2. da i = ( A ij (a, b)+p ij ) ωj db i = ( B ij (a, b)+q ij ) ωj, where q ii =0andq ij = p jk /(c i c j )when(i, j, k) aredistinct. This defines an involutive tableau (in the pvariables) of rank r =9and with characters s 1 =6,s 2 =3,ands 3 =0. Cartan scriteriaaresatisfied, so the desired metrics depend on three functions of two variables. Asimilaranalysisapplieswhenc 1 = c 2 c 3,showingthatsuchmetrics depend on one function of two variables. When c 1 = c 2 = c 3,theCartananalysisgivestheexpectedresultthat the solutions depend on a single constant.
14 General Holonomy. A torsionfree Hstructure on M n (where H GL(m) anddim(m) =n) satisfiesthefirststructureequation dω = φ ω where φ takes values in h GL(m) andthesecondstructureequation dφ = φ φ + R(ω ω) where R takes values in K 0 (h), the space of curvature tensors. Bianchi becomes dr = φ R + R (ω) where R takes values in K 1 (h) K 0 (h) m. Second Theorem: For all groups H satisfying Berger s criteria except the exotic symplectic list, K 1 (h) isaninvolutivetableauandtheaboveequations satisfy Cartan s criteria. Ex: For G 2 GL(7, R), the tableau K 1 (g 2 )hass 6 = 6 >s 7 =0,sothe general metric with G 2 holonomy depends on 6 functions of 6 variables.
15 Other examples. 1. (Cartan, 1926) The metrics in dimension 4 with holonomy SU(2) depend locally on 2 functions of 3 variables. 2. (CartanEinstein, ) Analysis of Einstein s proposed unified field theory via connections with torsion. 3. (Cartan, 1943) The EinsteinWeyl structures in dimension 3 depend on 4 functions of 2 variables. 4. (B, 1987) The Riccisolitons in dimension 3 depend on 2 functions of 2 variables. (More generally, Ric(g) =a(f) g +b(f)df 2 +c(f) Hess g (f).) 5. (B, 2008) The solitons for the G 2 flow in dimension 7 depend on 16 functions of 6 variables.
Extrinsic geometric flows
On joint work with Vladimir Rovenski from Haifa Paweł Walczak Uniwersytet Łódzki CRM, Bellaterra, July 16, 2010 Setting Throughout this talk: (M, F, g 0 ) is a (compact, complete, any) foliated, Riemannian
More informationLECTURE III. BiHamiltonian chains and it projections. Maciej B laszak. Poznań University, Poland
LECTURE III BiHamiltonian chains and it projections Maciej B laszak Poznań University, Poland Maciej B laszak (Poznań University, Poland) LECTURE III 1 / 18 BiHamiltonian chains Let (M, Π) be a Poisson
More informationINVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS
INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the leftinvariant metrics with nonnegative
More informationInvariant Metrics with Nonnegative Curvature on Compact Lie Groups
Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.
More informationSimilarity and Diagonalization. Similar Matrices
MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that
More informationThe cover SU(2) SO(3) and related topics
The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of
More informationQuantum Mechanics and Representation Theory
Quantum Mechanics and Representation Theory Peter Woit Columbia University Texas Tech, November 21 2013 Peter Woit (Columbia University) Quantum Mechanics and Representation Theory November 2013 1 / 30
More informationLECTURE 1: DIFFERENTIAL FORMS. 1. 1forms on R n
LECTURE 1: DIFFERENTIAL FORMS 1. 1forms on R n In calculus, you may have seen the differential or exterior derivative df of a function f(x, y, z) defined to be df = f f f dx + dy + x y z dz. The expression
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
More informationFiber Bundles and Connections. Norbert Poncin
Fiber Bundles and Connections Norbert Poncin 2012 1 N. Poncin, Fiber bundles and connections 2 Contents 1 Introduction 4 2 Fiber bundles 5 2.1 Definition and first remarks........................ 5 2.2
More information14.11. Geodesic Lines, Local GaussBonnet Theorem
14.11. Geodesic Lines, Local GaussBonnet Theorem Geodesics play a very important role in surface theory and in dynamics. One of the main reasons why geodesics are so important is that they generalize
More informationClassification of Cartan matrices
Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms
More informationNOTES ON LINEAR TRANSFORMATIONS
NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all
More informationUniversity of Lille I PC first year list of exercises n 7. Review
University of Lille I PC first year list of exercises n 7 Review Exercise Solve the following systems in 4 different ways (by substitution, by the Gauss method, by inverting the matrix of coefficients
More informationtr g φ hdvol M. 2 The EulerLagrange equation for the energy functional is called the harmonic map equation:
Notes prepared by Andy Huang (Rice University) In this note, we will discuss some motivating examples to guide us to seek holomorphic objects when dealing with harmonic maps. This will lead us to a brief
More informationLessons on Teaching Undergraduate General Relativity and Differential Geometry Courses
Lessons on Teaching Undergraduate General Relativity and Differential Geometry Courses Russell L. Herman and Gabriel Lugo University of North Carolina Wilmington, Wilmington, NC Abstract We describe the
More informationMath 241, Exam 1 Information.
Math 241, Exam 1 Information. 9/24/12, LC 310, 11:1512:05. Exam 1 will be based on: Sections 12.112.5, 14.114.3. The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/241fa12/241.html)
More informationSOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS
SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the rth
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationDEFORMATION OF DIRAC STRUCTURES ALONG ISOTROPIC SUBBUNDLES. and MARCO ZAMBON
Vol. 65 (2010) REPORTS ON MATHEMATICAL PHYSICS No. 2 DEFORMATION OF DIRAC STRUCTURES ALONG ISOTROPIC SUBBUNDLES IVÁN CALVO Laboratorio Nacional de Fusión, Asociación EURATOMCIEMAT, E28040 Madrid, Spain
More informationCONNECTIONS ON PRINCIPAL GBUNDLES
CONNECTIONS ON PRINCIPAL GBUNDLES RAHUL SHAH Abstract. We will describe connections on principal Gbundles via two perspectives: that of distributions and that of connection 1forms. We will show that
More informationQuantum Field Theory and Representation Theory
Quantum Field Theory and Representation Theory Peter Woit woit@math.columbia.edu Department of Mathematics Columbia University Quantum Field Theory and Representation Theory p.1 Outline of the talk Quantum
More informationWhy do mathematicians make things so complicated?
Why do mathematicians make things so complicated? Zhiqin Lu, The Math Department March 9, 2010 Introduction What is Mathematics? Introduction What is Mathematics? 24,100,000 answers from Google. Introduction
More informationRIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific
More informationISU Department of Mathematics. Graduate Examination Policies and Procedures
ISU Department of Mathematics Graduate Examination Policies and Procedures There are four primary criteria to be used in evaluating competence on written or oral exams. 1. Knowledge Has the student demonstrated
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationNonzero degree tangential maps between dual symmetric spaces
ISSN 14722739 (online) 14722747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris
More informationFiber bundles and nonabelian cohomology
Fiber bundles and nonabelian cohomology Nicolas Addington April 22, 2007 Abstract The transition maps of a fiber bundle are often said to satisfy the cocycle condition. If we take this terminology seriously
More informationAlmost Quaternionic Structures on Quaternionic Kaehler Manifolds. F. Özdemir
Almost Quaternionic Structures on Quaternionic Kaehler Manifolds F. Özdemir Department of Mathematics, Faculty of Arts and Sciences Istanbul Technical University, 34469 MaslakIstanbul, TURKEY fozdemir@itu.edu.tr
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A kform ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)form σ Ω k 1 (M) such that dσ = ω.
More informationMathematical Physics, Lecture 9
Mathematical Physics, Lecture 9 Hoshang Heydari Fysikum April 25, 2012 Hoshang Heydari (Fysikum) Mathematical Physics, Lecture 9 April 25, 2012 1 / 42 Table of contents 1 Differentiable manifolds 2 Differential
More informationGeometry and Topology
Geometry and Topology CMUP 21/07/2008 CMUP (21/07/2008) Geometry and Topology 1 / 9 People Permanent academic staff (plurianual 2007 2010) Inês Cruz Poisson and symplectic geometry, singularities of vector
More informationLQG with all the degrees of freedom
LQG with all the degrees of freedom Marcin Domagała, Kristina Giesel, Wojciech Kamiński, Jerzy Lewandowski arxiv:1009.2445 LQG with all the degrees of freedom p.1 Quantum gravity within reach The recent
More informationTensors on a vector space
APPENDIX B Tensors on a vector space In this Appendix, we gather mathematical definitions and results pertaining to tensors. The purpose is mostly to introduce the modern, geometrical view on tensors,
More informationGeometric discretisation of GR
Geometric discretisation of GR AMS Meeting New Orleans, January 2007 1 Motivation 2 2 Motivation GR is a geometric theory 2 2 Motivation GR is a geometric theory invariance under arbitrary diffeomorphisms
More information1 Symmetries of regular polyhedra
1230, notes 5 1 Symmetries of regular polyhedra Symmetry groups Recall: Group axioms: Suppose that (G, ) is a group and a, b, c are elements of G. Then (i) a b G (ii) (a b) c = a (b c) (iii) There is an
More informationFiber Bundles. 4.1 Product Manifolds: A Visual Picture
4 Fiber Bundles In the discussion of topological manifolds, one often comes across the useful concept of starting with two manifolds M ₁ and M ₂, and building from them a new manifold, using the product
More informationElasticity Theory Basics
G22.3033002: Topics in Computer Graphics: Lecture #7 Geometric Modeling New York University Elasticity Theory Basics Lecture #7: 20 October 2003 Lecturer: Denis Zorin Scribe: Adrian Secord, Yotam Gingold
More informationRow Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More informationarxiv:math/0010057v1 [math.dg] 5 Oct 2000
arxiv:math/0010057v1 [math.dg] 5 Oct 2000 HEAT KERNEL ASYMPTOTICS FOR LAPLACE TYPE OPERATORS AND MATRIX KDV HIERARCHY IOSIF POLTEROVICH Preliminary version Abstract. We study the heat kernel asymptotics
More informationCONTROLLABILITY. Chapter 2. 2.1 Reachable Set and Controllability. Suppose we have a linear system described by the state equation
Chapter 2 CONTROLLABILITY 2 Reachable Set and Controllability Suppose we have a linear system described by the state equation ẋ Ax + Bu (2) x() x Consider the following problem For a given vector x in
More informationPOLYTOPES WITH MASS LINEAR FUNCTIONS, PART I
POLYTOPES WITH MASS LINEAR FUNCTIONS, PART I DUSA MCDUFF AND SUSAN TOLMAN Abstract. We analyze mass linear functions on simple polytopes, where a mass linear function is an affine function on whose value
More informationCOBORDISM IN ALGEBRA AND TOPOLOGY
COBORDISM IN ALGEBRA AND TOPOLOGY ANDREW RANICKI (Edinburgh) http://www.maths.ed.ac.uk/ aar Dedicated to Robert Switzer and Desmond Sheiham Göttingen, 13th May, 2005 1 Cobordism There is a cobordism equivalence
More informationSurface bundles over S 1, the Thurston norm, and the Whitehead link
Surface bundles over S 1, the Thurston norm, and the Whitehead link Michael Landry August 16, 2014 The Thurston norm is a powerful tool for studying the ways a 3manifold can fiber over the circle. In
More informationGauged supergravity and E 10
Gauged supergravity and E 10 Jakob Palmkvist AlbertEinsteinInstitut in collaboration with Eric Bergshoeff, Olaf Hohm, Axel Kleinschmidt, Hermann Nicolai and Teake Nutma arxiv:0810.5767 JHEP01(2009)020
More informationMATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix.
MATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix. Nullspace Let A = (a ij ) be an m n matrix. Definition. The nullspace of the matrix A, denoted N(A), is the set of all ndimensional column
More informationUNIVERSAL PROLONGATION OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS ON FILTERED MANIFOLDS. Katharina Neusser
ARCHIVUM MATHEMATICUM BRNO) Tomus 45 29), 289 3 UNIVERSAL PROLONGATION OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS ON FILTERED MANIFOLDS Katharina Neusser Dedicated to Peter W. Michor at the occasion of his
More information1 Sets and Set Notation.
LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most
More informationClassification of Bundles
CHAPTER 2 Classification of Bundles In this chapter we prove Steenrod s classification theorem of principal G  bundles, and the corresponding classification theorem of vector bundles. This theorem states
More information1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1
Publ. Mat. 45 (2001), 69 77 PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Bernard Coupet and Nabil Ourimi Abstract We describe the branch locus of proper holomorphic mappings between
More informationGroup Theory. 1 Cartan Subalgebra and the Roots. November 23, 2011. 1.1 Cartan Subalgebra. 1.2 Root system
Group Theory November 23, 2011 1 Cartan Subalgebra and the Roots 1.1 Cartan Subalgebra Let G be the Lie algebra, if h G it is called a subalgebra of G. Now we seek a basis in which [x, T a ] = ζ a T a
More information88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a
88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small
More informationCLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS
POISSON GEOMETRY BANACH CENTER PUBLICATIONS, VOLUME 51 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 000 CLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS PHILIPP E BO
More informationThe Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationLinear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)
MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of
More informationarxiv:1112.3556v3 [math.at] 10 May 2012
ON FIBRATIONS WITH FORMAL ELLIPTIC FIBERS MANUEL AMANN AND VITALI KAPOVITCH arxiv:1112.3556v3 [math.at] 10 May 2012 Abstract. We prove that for a fibration of simplyconnected spaces of finite type F E
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More informationErnst Binz and Peter ojners Universität Mannheirh Lehrstuhl Mathematik I, SeminJrgebäude 68131 Mannheim
Einstein Equation and Geometrie Quantization Ernst Binz and Peter ojners Universität Mannheirh Lehrstuhl Mathematik, SeminJrgebäude 68131 Mannheim A5 No. 202 / 1995 Einstein Equation and Geometnic Quantization
More informationISOMETRIES OF R n KEITH CONRAD
ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x
More informationChapter 20. Vector Spaces and Bases
Chapter 20. Vector Spaces and Bases In this course, we have proceeded stepbystep through lowdimensional Linear Algebra. We have looked at lines, planes, hyperplanes, and have seen that there is no limit
More informationIdeal Class Group and Units
Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals
More informationFactoring Cubic Polynomials
Factoring Cubic Polynomials Robert G. Underwood 1. Introduction There are at least two ways in which using the famous Cardano formulas (1545) to factor cubic polynomials present more difficulties than
More information1. True/False: Circle the correct answer. No justifications are needed in this exercise. (1 point each)
Math 33 AH : Solution to the Final Exam Honors Linear Algebra and Applications 1. True/False: Circle the correct answer. No justifications are needed in this exercise. (1 point each) (1) If A is an invertible
More informationChapter 9 Unitary Groups and SU(N)
Chapter 9 Unitary Groups and SU(N) The irreducible representations of SO(3) are appropriate for describing the degeneracies of states of quantum mechanical systems which have rotational symmetry in three
More informationSection 6.1  Inner Products and Norms
Section 6.1  Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,
More informationFiber bundles. Chapter 23. c Amitabha Lahiri: Lecture Notes on Differential Geometry for Physicists 2011
Chapter 23 Fiber bundles Consider a manifold M with the tangent bundle T M = P M T P M. Let us look at this more closely. T M can be thought of as the original manifold M with a tangent space stuck at
More informationAPPLICATIONS OF TENSOR ANALYSIS
APPLICATIONS OF TENSOR ANALYSIS (formerly titled: Applications of the Absolute Differential Calculus) by A J McCONNELL Dover Publications, Inc, Neiv York CONTENTS PART I ALGEBRAIC PRELIMINARIES/ CHAPTER
More informationCanonical Heights, Nef Divisors, and Arithmetic Degrees Joseph H. Silverman
Canonical Heights, Nef Divisors, and Arithmetic Degrees Joseph H. Silverman Brown University Joint work with Shu Kawaguchi Conference on Diophantine Problems and Arithmetic Dynamics Academia Sinica, Taipei,
More informationA QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS
A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More information1 VECTOR SPACES AND SUBSPACES
1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such
More informationFIXED POINT SETS OF FIBERPRESERVING MAPS
FIXED POINT SETS OF FIBERPRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 email: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics
More informationStructure of the Root Spaces for Simple Lie Algebras
Structure of the Root Spaces for Simple Lie Algebras I. Introduction A Cartan subalgebra, H, of a Lie algebra, G, is a subalgebra, H G, such that a. H is nilpotent, i.e., there is some n such that (H)
More informationDecisionmaking with the AHP: Why is the principal eigenvector necessary
European Journal of Operational Research 145 (2003) 85 91 Decision Aiding Decisionmaking with the AHP: Why is the principal eigenvector necessary Thomas L. Saaty * University of Pittsburgh, Pittsburgh,
More informationTHREE DIMENSIONAL GEOMETRY
Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +
More informationby the matrix A results in a vector which is a reflection of the given
Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the yaxis We observe that
More informationMatrix Representations of Linear Transformations and Changes of Coordinates
Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under
More informationEikonal Slant Helices and Eikonal Darboux Helices In 3Dimensional Riemannian Manifolds
Eikonal Slant Helices and Eikonal Darboux Helices In Dimensional Riemannian Manifolds Mehmet Önder a, Evren Zıplar b, Onur Kaya a a Celal Bayar University, Faculty of Arts and Sciences, Department of
More informationMATH1231 Algebra, 2015 Chapter 7: Linear maps
MATH1231 Algebra, 2015 Chapter 7: Linear maps A/Prof. Daniel Chan School of Mathematics and Statistics University of New South Wales danielc@unsw.edu.au Daniel Chan (UNSW) MATH1231 Algebra 1 / 43 Chapter
More informationMath 5311 Gateaux differentials and Frechet derivatives
Math 5311 Gateaux differentials and Frechet derivatives Kevin Long January 26, 2009 1 Differentiation in vector spaces Thus far, we ve developed the theory of minimization without reference to derivatives.
More informationMATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform
MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish
More informationTHE DIMENSION OF A VECTOR SPACE
THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field
More information3.8 Finding Antiderivatives; Divergence and Curl of a Vector Field
3.8 Finding Antiderivatives; Divergence and Curl of a Vector Field 77 3.8 Finding Antiderivatives; Divergence and Curl of a Vector Field Overview: The antiderivative in one variable calculus is an important
More informationOn Bhargava s representations and Vinberg s invariant theory
On Bhargava s representations and Vinberg s invariant theory Benedict H. Gross Department of Mathematics, Harvard University Cambridge, MA 02138 gross@math.harvard.edu January, 2011 1 Introduction Manjul
More informationÉtale groupoids and their morphisms
Étale groupoids and their morphisms Ganna Kudryavtseva University of Ljubljana Semigroup Representations 2013 Edinburgh Ganna Kudryavtseva (Ljubljana) Étale groupoids and their morphisms April 11, 2013
More informationReference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.
5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2
More informationSpectral Networks and Harmonic Maps to Buildings
Spectral Networks and Harmonic Maps to Buildings 3 rd Itzykson Colloquium Fondation Mathématique Jacques Hadamard IHES, Thursday 7 November 2013 C. Simpson, joint work with Ludmil Katzarkov, Alexander
More information(Quasi)Newton methods
(Quasi)Newton methods 1 Introduction 1.1 Newton method Newton method is a method to find the zeros of a differentiable nonlinear function g, x such that g(x) = 0, where g : R n R n. Given a starting
More informationState of Stress at Point
State of Stress at Point Einstein Notation The basic idea of Einstein notation is that a covector and a vector can form a scalar: This is typically written as an explicit sum: According to this convention,
More informationA class of infinite dimensional stochastic processes
A class of infinite dimensional stochastic processes John Karlsson Linköping University CRM Barcelona, July 7, 214 Joint work with JörgUwe Löbus John Karlsson (Linköping University) Infinite dimensional
More informationDistributive inverse semigroups
Distributive inverse semigroups Mark V Lawson HeriotWatt University and the Maxwell Institute for Mathematical Sciences Edinburgh, Scotland, UK August 2012 This talk is based on work carried out in collaboration
More informationMICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 00029939(XX)00000 MICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI
More informationRESULTANT AND DISCRIMINANT OF POLYNOMIALS
RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results
More informationA simple application of the implicit function theorem
Boletín de la Asociación Matemática Venezolana, Vol. XIX, No. 1 (2012) 71 DIVULGACIÓN MATEMÁTICA A simple application of the implicit function theorem Germán LozadaCruz Abstract. In this note we show
More informationDIVISORS AND LINE BUNDLES
DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More informationGeometry: Unit 1 Vocabulary TERM DEFINITION GEOMETRIC FIGURE. Cannot be defined by using other figures.
Geometry: Unit 1 Vocabulary 1.1 Undefined terms Cannot be defined by using other figures. Point A specific location. It has no dimension and is represented by a dot. Line Plane A connected straight path.
More information