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 informationA new viewpoint on geometry of a lightlike hypersurface in a semieuclidean space
A new viewpoint on geometry of a lightlike hypersurface in a semieuclidean space Aurel Bejancu, Angel Ferrández Pascual Lucas Saitama Math J 16 (1998), 31 38 (Partially supported by DGICYT grant PB970784
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 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 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 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 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 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 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 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 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 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 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 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 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 information1 Eigenvalues and Eigenvectors
Math 20 Chapter 5 Eigenvalues and Eigenvectors Eigenvalues and Eigenvectors. Definition: A scalar λ is called an eigenvalue of the n n matrix A is there is a nontrivial solution x of Ax = λx. Such an x
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 information(57) (58) (59) (60) (61)
Module 4 : Solving Linear Algebraic Equations Section 5 : Iterative Solution Techniques 5 Iterative Solution Techniques By this approach, we start with some initial guess solution, say for solution and
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 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 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 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 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 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 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 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 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 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 informationQuantum manifolds. Manuel Hohmann
Quantum manifolds Manuel Hohmann Zentrum für Mathematische Physik und II. Institut für Theoretische Physik, Universität Hamburg, Luruper Chaussee 149, 22761 Hamburg, Germany Abstract. We propose a mathematical
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 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 informationThe determinant of a skewsymmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14
4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with
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 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 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 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 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 informationC 1 x(t) = e ta C = e C n. 2! A2 + t3
Matrix Exponential Fundamental Matrix Solution Objective: Solve dt A x with an n n constant coefficient matrix A x (t) Here the unknown is the vector function x(t) x n (t) General Solution Formula in Matrix
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 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 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 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 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 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 informationIndeterminate Analysis Force Method 1
Indeterminate Analysis Force Method 1 The force (flexibility) method expresses the relationships between displacements and forces that exist in a structure. Primary objective of the force method is to
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 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 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 informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F) denotes the collection of all m n matrices over F Matrices will usually be denoted
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 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 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 informationEuclidean Geometry. We start with the idea of an axiomatic system. An axiomatic system has four parts:
Euclidean Geometry Students are often so challenged by the details of Euclidean geometry that they miss the rich structure of the subject. We give an overview of a piece of this structure below. We start
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 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 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 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 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 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 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 informationMath 497C Sep 9, Curves and Surfaces Fall 2004, PSU
Math 497C Sep 9, 2004 1 Curves and Surfaces Fall 2004, PSU Lecture Notes 2 15 sometries of the Euclidean Space Let M 1 and M 2 be a pair of metric space and d 1 and d 2 be their respective metrics We say
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 informationVarious Symmetries in Matrix Theory with Application to Modeling Dynamic Systems
Various Symmetries in Matrix Theory with Application to Modeling Dynamic Systems A Aghili Ashtiani a, P Raja b, S K Y Nikravesh a a Department of Electrical Engineering, Amirkabir University of Technology,
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 informationComputation of crystal growth. using sharp interface methods
Efficient computation of crystal growth using sharp interface methods University of Regensburg joint with John Barrett (London) Robert Nürnberg (London) July 2010 Outline 1 Curvature driven interface motion
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 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 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 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 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 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 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 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 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 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 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 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 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