CARTAN S GENERALIZATION OF LIE S THIRD THEOREM


 Prudence Elliott
 2 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.
How to minimize without knowing how to differentiate (in Riemannian geometry)
How to minimize without knowing how to differentiate (in Riemannian geometry) Spiro Karigiannis karigiannis@maths.ox.ac.uk Mathematical Institute, University of Oxford Calibrated Geometries and Special
More informationExtrinsic 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 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 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 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 information7  Linear Transformations
7  Linear Transformations Mathematics has as its objects of study sets with various structures. These sets include sets of numbers (such as the integers, rationals, reals, and complexes) whose structure
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 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 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 informationThe Full Pythagorean Theorem
The Full Pythagorean Theorem Charles Frohman January 1, 2010 Abstract This note motivates a version of the generalized pythagorean that says: if A is an n k matrix, then det(a t A) = I det(a I ) 2 where
More informationHOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES
HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Perhaps the most useful analytic tool in gauge theory is the Uhlenbeck compactness
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 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 information1 Orthogonal projections and the approximation
Math 1512 Fall 2010 Notes on least squares approximation Given n data points (x 1, y 1 ),..., (x n, y n ), we would like to find the line L, with an equation of the form y = mx + b, which is the best fit
More informationTHE RICCI FLOW ON RADIALLY SYMMETRIC R 3. Thomas A. Ivey. Department of Mathematics UC San Diego La Jolla CA
THE RICCI FLOW ON RADIALLY SYMMETRIC R 3 Thomas A. Ivey Department of Mathematics UC San Diego La Jolla CA 920930112 tivey@euclid.ucsd.edu Introduction The Ricci flow g/ t = 2Ric(g) is a way of evolving
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationProjective parabolic geometries
1 Projective parabolic geometries David M. J. Calderbank University of Bath Kioloa, March 2013 1. Introduction: projective geometries and metrization. 2. Abelian parabolic geometries. 3. Projective parabolic
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 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 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 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 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 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 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 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 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 informationNonlinear Fourier series and applications to PDE
CNRS/Cergy CIRM Sept 26, 2013 I. Introduction In this talk, we shall describe a new method to analyze Fourier series. The motivation comes from solving nonlinear PDE s. These PDE s are evolution equations,
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 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 informationarxiv: v1 [math.mg] 6 May 2014
DEFINING RELATIONS FOR REFLECTIONS. I OLEG VIRO arxiv:1405.1460v1 [math.mg] 6 May 2014 Stony Brook University, NY, USA; PDMI, St. Petersburg, Russia Abstract. An idea to present a classical Lie group of
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 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 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 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 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 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 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 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 informationH = = + H (2) And thus these elements are zero. Now we can try to do the same for time reversal. Remember the
1 INTRODUCTION 1 1. Introduction In the discussion of random matrix theory and information theory, we basically explained the statistical aspect of ensembles of random matrices, The minimal information
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 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 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 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 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 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 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 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 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 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 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 informationDISCRETE DIFFERENTIAL GEOMETRY: AN APPLIED INTRODUCTION. Keenan Crane CMU (J) Spring 2016
DISCRETE DIFFERENTIAL GEOMETRY: AN APPLIED INTRODUCTION Keenan Crane CMU 15869(J) Spring 2016 PART III: GEOMETRIC STRUCTURE DISCRETE DIFFERENTIAL GEOMETRY: AN APPLIED INTRODUCTION Keenan Crane CMU 15869(J)
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 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 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 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 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 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 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 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 informationBASIC FACTS ABOUT WEAKLY SYMMETRIC SPACES
BASIC FACTS ABOUT WEAKLY SYMMETRIC SPACES GIZEM KARAALI 1. Symmetric Spaces Symmetric spaces in the sense of E. Cartan supply major examples in Riemannian geometry. The study of their structure is connected
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 informationSEMINAR NOTES: GBUNDLES, STACKS AND BG (SEPT. 15, 2009)
SEMINAR NOTES: GBUNDLES, STACKS AND (SEPT. 15, 2009) DENNIS GAITSGORY 1. Gbundles 1.1. Let G be an affine algebraic group over a ground field k. We assume that k is algebraically closed. Definition 1.2.
More informationSEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION
CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Alessandro Artale UniBZ  http://www.inf.unibz.it/ artale/ SECTION 5.2 Mathematical Induction I Copyright Cengage Learning. All rights reserved.
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 informationPRESIDENCY UNIVERSITY, KOLKATA
PRESIDENCY UNIVERSITY, KOLKATA Syllabus for Three Year B.Sc. MATHEMATICS (GenEd) Course (With effect from the Academic Session 201314) Module Structure Semester Module No. Name of the Module Marks I M11
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 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 informationDefinition 12 An alternating bilinear form on a vector space V is a map B : V V F such that
4 Exterior algebra 4.1 Lines and 2vectors The time has come now to develop some new linear algebra in order to handle the space of lines in a projective space P (V ). In the projective plane we have seen
More informationIterative Techniques in Matrix Algebra. Jacobi & GaussSeidel Iterative Techniques II
Iterative Techniques in Matrix Algebra Jacobi & GaussSeidel Iterative Techniques II Numerical Analysis (9th Edition) R L Burden & J D Faires Beamer Presentation Slides prepared by John Carroll Dublin
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 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 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 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 information