DOCSLIB.ORG

Affine Manifolds and Orbits of Algebraic Groups Author(S): William M

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Affine Manifolds and Orbits of Algebraic Groups Author(S): William M Affine Manifolds and Orbits of Algebraic Groups Author(s): William M. Goldman and Morris W. Hirsch Source: Transactions of the American Mathematical Society, Vol. 295, No. 1 (May, 1986), pp. 175-198 Published by: American Mathematical Society Stable URL: http://www.jstor.org/stable/2000152 Accessed: 17/06/2010 04:01 Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=ams. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. American Mathematical Society is collaborating with JSTOR to digitize, preserve and extend access to Transactions of the American Mathematical Society. http://www.jstor.org crossed homomorphismu: Aff(E) ) E, g g(0). TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 295, Number 1, May 1986 AFFINE MANIFOLDS AND ORBITS OF ALGEBRAIC GROUPS1 WILLIAMM. GOLDMAN AND MORRIS W. HIRSCH Dedicated to the memory of Jacques Vey ABSTRACT.This paper is the sequel to The radiance obstruction and par- allel forms on a;ffne manifolds (lYans. Amer. Math. Soc. 286 (1984), 629 649) which introduceda new family of secondarycharacteristic classes for affine structures on manifolds. The present paper utilizes the representation of these classes in Lie algebra cohomology and algebraic group cohomologyto deduce new results relating the geometric propertiesof a compact affine mani- fold Mn to the action on Rn Ofthe algebraichull A(r) of the affine holonomy group r c Aff(Rn). A main technical result of the paper is that if M has a nonzero cohomology class representedby a parallel k-form,then every orbit of A(r) has dimension > k. When M is compact, then A(r) acts transitively provided that M is complete or has parallel volume; the converse holds when r is nilpotent. A 4-dimensional subgroup of Aff(R3) is exhibited which does not contain the holonomy group of any compact affine 3-manifold. When M has solvableholonomy and is complete, then M must have parallel volume. Conversely,if M has parallel volume and is of the homotopy type of a solvmanifold, then M is complete. If M is a compact homogeneous affine manifoldor if M possesses a rational Riemannianmetric, then it is shown that the conditions of parallel volume and completeness are equivalent. Thispaper is the sequelto ourprevious paper [22]. In that paperwe exploited certaincharacteristic classes (exterior powers of the radianceobstruction) to obtain relationshipsbetween various properties of affinemanifolds. Our results supported the conjecture(first made by L. Markus[36]) that a compactaffine manifold is completeif and only if it has parallelvolume. We shall refer to this as the main conjecture. Let M be a compactaffine manifold with developingmap dev:M > E and affineholonomy representation h: 7r > h(7r)= r c Aff(E). Here1r is the groupof decktransformations of the universalcover M, E is the vectorspace Rn, and Aff(E) is the groupof affineautomorphisms of E. The map dev is a locally affineimmersion which is equivariantrespecting h. The linearholonomy homb morphismis the compositionA: 1r > GL(E)of h with the naturalhomomorphism L:Aff(E) > GL(E). The obstructionto r fixinga pointin E is a 1-dimensional cohomologyclass CM E H1(M;Ex) with coefficientsin E twistedby A. It comes froma universalclass in the groupcohomology H1 (Aff(E); EL) whichcontains the Received by the editors December 12, 1984 and, in revised form, May 29, 1985. 1980 Mathematics Subject Classification (1985 Revision). Primary57R99, 53C05;Secondary 53C10, 55R25. 1Research partially supportedby fellowshipsand grants from the National Science Foundation. (a)1986 American Mathematical Society 0002-9947/86 $1.00 + $.25 per page 175 W. M. GOLDMAN AND M. W. HIRSCH 176 The resultsin our previouspaper were obtained by calculatingCM in various cohomologytheories singular,tech, andde Rham.In the presentwork we obtain furtherinformation by relatingCM to the cohomologyof the algebraichull A(r) of r in Aff(E). Ourgeneral theme is to relategeometrical properties of M to algebraic propertiesof A(r). Forexample the mainconjecture states that completeness,a geometricalproperty of M, is equivalentto the conditionthat A(r) preservevolume in E. Manyother propertiesof M can be describedin termsof A(r). Thus r is solvablewhen the algebraicgroup A(r) has the sameproperty. It turnsout that this conditionbrings us closerto affirmingthe mainconjecture. PROPOSITIONS. LetM be a compactaffine manifold with solvable holonomy groupr. Then: (a) If M is complete,then M has parallelvolume. (b) If M hasparallel volume and the solvable rank of r is less thanthe dimension of M, thenM is complete. (The solvablerank is the minimumsum of the ranksof the abelianquotients in a compositionseries. Forexample, the hypothesesof (b) are satisfiedif M is homotopy-equivalentto a solvmanifold.) Oneof the maincomponents of the proofof PropositionS is the followingresult: PROPOSITIONT. LetM be a compactaffine manifold. If M is complete,or if M has parallelvolume, then A(r) acts transitivelyon E. As an immediatecorollary we obtain PROPOSITIONF. If M is as in PropositionT and is connected,then every rationalfunction on M is constant. By a rationalfunction on M we meana functiondefined in a denseopen set, whichappears rational in everyaffine coordinate chart. Equivalently, such a func- tion correspondsvia the developingmap (fromthe universalcovering of M to E) to a rationalfunction on E whichis fixedby A(r). In a similarway one defines polynomialfunctions (and more generally tensors) on M. It is unknownwhether any compactaffine manifold can supporta nonconstantpolynomial function. In dimensionthree this cannothappen (D. Fried[9], W. Goldman[19]). Forcertain classes of affinemanifolds, transitivity of A(r) is sufficientfor com- pleteness. Theseinclude homogeneous affine manifolds, manifolds admitting ra- tionalRiemannian metrics, and, more generally, affine manifolds whose developing mapsare covering maps onto semialgebraic open sets. Ourmethods give a geometricproof of the followingresult of J. Helmstetter[25], whichis relatedto the mainconjecture: PROPOSITIONH. A left-invariantaffine structure on a Lie groupG is complete if andonly if everyright-invariant volume form on G is parallel. Ourresults also applyto manifoldswhich are not assumedto be completeor to haveparallel volume. The basic strategyis to derivea lowerbound for the dimensionsof the orbitsof A(r) fromknowledge of somecohomologically nontrivial exteriorform on the manifold;a parallelvolume form is a specialcase. Whenr is nilpotentwe use this methodto strengthensome of the resultsof Fried,Goldman andHirsch [13]: AFFINE MANIFOLDS AND ORBITS OF ALGEBRAIC GROUPS 177 PROPOSITIONN. LetAI be a compactaffine manifold with nilpotent holonomy groupr. Then: (a) Thehighest degree of a nonvanishingexterior power of the radianceobstruc- tion equalsthe smallestdimension of an orbitof A(r). (b) M is completeif andonly if A(r) acts transitivelyon E. (c) If M is incomplete,then the orbitsof A(r) havingsmallest dimension lie outsidethe developingimage (in fact thereis onlyone). It seemsreasonable to conjecturethat a similarpicture holds more generally, say for r solvable.This has been verifiedfor the specialcase that M has dimension threeand solvable fundamental group (Goldman [19]). By explicitexample we showthat condition(a) of PropositionN doesnot hold for arbitraryalgebraic subgroups of the affinegroup. In this way condition(a) canbe usedto excludecertain subgroups of Aff(E)from being holonomy groups of compactaffine manifolds. More precisely we exhibitalgebraic subgroups of Aff(E) whichact transitivelyon E anddo not containany such holonomy groups. The proofsof theseresults heavily use the structuretheory of nilpotentaffine groupswhich is developedin ourprevious paper [13]. The uniquesmallest-dimen- sionalorbit of the algebraichull is provedto be an affinesubspace Eu, coinciding with what we calledthe Fittingsubspace in [13]. This subspaceis characterized as the uniquer-invariant affine subspace upon which r acts unipotently(i.e. the linearpart L(r) c GL(E)is a groupof unipotentlinear transformations). The dimensionof Eu is a measureof completenessof the affinestructure, because the correspondingpower of the radianceobstruction is a cohomologicalinvariant whose nonvanishingexpresses an algebraiccondition akin to parallelvolume. We shall call the restrictionof r to Eu the Fittingcomponent of the holonomygroup of M. A necessarycondition that a unipotentaffine action of a finitelygenerated group G be a Fittingcomponent of the holonomyof a compactmanifold is that the actionbe syndeticon all of E, i.e. that thereexists a compactset K c
Load more

Recommended publications
  • Minimum Time Problem Controlled by Affine Connection
    S S symmetry Article Minimum Time Problem Controlled by Affine Connection Constantin Udriste *,†,‡ and Ionel Tevy ‡ Department of Mathematics and Informatics, Faculty of Applied Sciences, University Politehnica of Bucharest, Splaiul Independentei 313, Sector 6, 060042 Bucharest, Romania; [email protected] * Correspondence: [email protected]; Tel.: +40-745-371-684 † Second address: Academy of Romanian Scientists, Ilfov 3, Sector 5, 050044 Bucharest, Romania. ‡ These authors contributed equally to this work. Abstract: Geometrically, the affine connection is the main ingredient that underlies the covariant derivative, the parallel transport, the auto-parallel curves, the torsion tensor field, and the curvature tensor field on a finite-dimensional differentiable manifold. In this paper, we come up with a new idea of controllability and observability of states by using auto-parallel curves, and the minimum time problem controlled by the affine connection. The main contributions refer to the following: (i) auto- parallel curves controlled by a connection, (ii) reachability and controllability on the tangent bundle of a manifold, (iii) examples of equiaffine connections, (iv) minimum time problem controlled by a connection, (v) connectivity by stochastic perturbations of auto-parallel curves, and (vi) computing the optimal time and the optimal striking time. The connections with bounded pull-backs result in bang–bang optimal controls. Some significative examples on bi-dimensional manifolds clarify the intention of our paper and suggest possible applications. At the end, an example of minimum striking time with simulation results is presented. Keywords: affine connections; auto-parallel curves; minimum time optimal control; stochastic connectivity MSC: 53B05; 49K15; 70Q05; 60H10 Citation: Udriste, C.; Tevy, I.
    [Show full text]
  • Information Geometry
    Information Geometry Edited by Geert Verdoolaege Printed Edition of the Special Issue Published in Entropy www.mdpi.com/journal/entropy Information Geometry Information Geometry Special Issue Editor Geert Verdoolaege MDPI • Basel • Beijing • Wuhan • Barcelona • Belgrade Special Issue Editor Geert Verdoolaege Ghent University Belgium Editorial Office MDPI St. Alban-Anlage 66 4052 Basel, Switzerland This is a reprint of articles from the Special Issue published online in the open access journal Entropy (ISSN 1099-4300) in 2014 (available at: https://www.mdpi.com/journal/entropy/special issues/ information-geometry) For citation purposes, cite each article independently as indicated on the article page online and as indicated below: LastName, A.A.; LastName, B.B.; LastName, C.C. Article Title. Journal Name Year, Article Number, Page Range. ISBN 978-3-03897-632-5 (Pbk) ISBN 978-3-03897-633-2 (PDF) Cover image courtesy of Geert Verdoolaege. c 2019 by the authors. Articles in this book are Open Access and distributed under the Creative Commons Attribution (CC BY) license, which allows users to download, copy and build upon published articles, as long as the author and publisher are properly credited, which ensures maximum dissemination and a wider impact of our publications. The book as a whole is distributed by MDPI under the terms and conditions of the Creative Commons license CC BY-NC-ND. Contents About the Special Issue Editor ...................................... vii Preface to ”Information Geometry” ................................... ix Shun-ichi Amari Information Geometry of Positive Measures and Positive-DefiniteMatrices: Decomposable Dually Flat Structure Reprinted from: Entropy 2014, 16, 2131–2145, doi:10.3390/e16042131 ................. 1 Harsha K.
    [Show full text]
  • Abdus Salam Educational, Scientific and Cultural Organization International Centre Internacional Atomic Energy Agency for Theoretical Physics
    the IC/2004/104 united nations abdus salam educational, scientific and cultural organization international centre internacional atomic energy agency for theoretical physics NONASSOCIATIVE GEOMETRY OF MANIFOLD WITH TRAJECTORIES T.B. Bouetou and O.A. Matveev Available at: http://ww.ictp.it/~pub_off IC/2004/104 United Nations Educational Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS NONASSOCIATIVE GEOMETRY OF MANIFOLD WITH TRAJECTORIES T.B. Bouetou Ecole Nationale Supérieure Polytechnique, Département de Mathématique et Génie Informatique, В. Р. 8390, Yaounde, République du Cameroun and The Abdus Salam International Centre for Theoretical Physics, Trieste, Italy and O.A. Matveev University of Yaounde I, Faculty of Sciences, P. O. Box 812, Yaounde, Republic of Cameroon. Abstract We give some properties of solution of second order differential or system of dif- ferential equations on the manifold. It turns out that such manifolds can be seen as quasigroups or loop under certain circumstances. Output of the operations are given and the connection defined. MIRAMARE - TRIESTE December 2004 Introduction The purpose of this work is to give the axiomatic properties of the solution of second order differential equations defined on the manifold. It induces the notion of mani- fold with trajectory; which is the generalization of the notion of manifold with affine connection geodesy as described in [12, 15, 16, 17, 20, 21] and the G-space of Busemann- Phadke [4-10]. It is known that the problem of the geometry of second order differential equations leads E. Cartan [11] to the theory of manifold with projective connection.
    [Show full text]
  • Affine Manifolds and Orbits of Algebraic Groups1 William M
    transactions of the american mathematical society Volume 295, Number 1, May 1986 AFFINE MANIFOLDS AND ORBITS OF ALGEBRAIC GROUPS1 WILLIAM M. GOLDMAN AND MORRIS W. HIRSCH Dedicated to the memory of Jacques Vey ABSTRACT. This paper is the sequel to The radiance obstruction and par- allel forms on affine manifolds (Trans. Amer. Math. Soc. 286 (1984), 629-649) which introduced a new family of secondary characteristic classes for affine structures on manifolds. The present paper utilizes the representation of these classes in Lie algebra cohomology and algebraic group cohomology to deduce new results relating the geometric properties of a compact affine mani- fold Mn to the action on Rn of the algebraic hull A(r) of the affine holonomy group T Ç Aff(Rn). A main technical result of the paper is that if M has a nonzero cohomology class represented by a parallel fc-form, then every orbit of A(r) has dimension > A;. When M is compact, then A(r) acts transitively provided that M is complete or has parallel volume; the converse holds when T is nilpotent. A 4-dimensional subgroup of Aff(R3) is exhibited which does not contain the holonomy group of any compact affine 3-manifold. When M has solvable holonomy and is complete, then M must have parallel volume. Conversely, if M has parallel volume and is of the homotopy type of a solvmanifold, then M is complete. If M is a compact homogeneous affine manifold or if M possesses a rational Riemannian metric, then it is shown that the conditions of parallel volume and completeness are equivalent.
    [Show full text]
  • Chern's Conjecture for Special Affine Manifolds
    CHERN'S CONJECTURE FOR SPECIAL AFFINE MANIFOLDS BRUNO KLINGLER Abstract. An affine manifold X in the sense of differential geometry is a differentiable manifold admitting an atlas of charts with value in an affine space, with locally constant affine change of coordinates. Equivalently, it is a manifold whose tangent bundle admits a flat torsion free connection. Around 1955 Chern conjectured that the Euler characteristic of any compact affine manifold has to vanish. In this paper we prove Chern's conjecture in the case where X moreover admits a parallel volume form. Contents 1. Introduction2 1.1. Affine structures2 1.2. Chern's conjecture2 1.3. Results4 1.4. Strategy of the proof of Theorem 1.54 1.5. Notations7 1.6. Acknowledgments7 2. Differential forms on spaces with a local product structure7 2.1. Spectral sequence associated to a foliation7 2.2. Local product structures and para-complex structures8 2.3. The bigraded De Rham complex of a local product structure8 •;• 2.4. Cohomological properties of the bicomplex ΩM 9 3. The case of flat bundles 10 3.1. The complex (L0•; d0) 11 3.2. The complex (L00•; d00) for flat bundles 12 3.3. A criterion for the vanishing of the Euler class of a flat bundle : proof of Proposition 1.9 13 4. The case of affine manifolds 14 4.1. Para-hypercomplex structures 15 4.2. S1-family of para-complex structures on the total space of the tangent bundle of an affine manifold 16 4.3. The one-parameter family of spectral sequences 17 4.4.
    [Show full text]
  • Arxiv:2101.11487V2 [Math.AG] 10 Feb 2021 Neural Networks in Machine Learning
    KAHLER¨ GEOMETRY OF QUIVER VARIETIES AND MACHINE LEARNING GEORGE JEFFREYS AND SIU-CHEONG LAU Abstract. We develop an algebro-geometric formulation for neural networks in machine learning using the moduli space of framed quiver representations. We find natural Hermit- ian metrics on the universal bundles over the moduli which are compatible with the GIT quotient construction by the general linear group, and show that their Ricci curvatures give a Kahler¨ metric on the moduli. Moreover, we use toric moment maps to construct activation functions, and prove the universal approximation theorem for the multi-variable activation function constructed from the complex projective space. 1. Introduction Machine learning by artificial neural networks has made exciting developments and has been applied to many branches of science in recent years. Mathematically, stochastic gradient flow over a matrix space (or called the weight space) is the central tool. The non-convex nature of the cost function has made the problem very interesting. Current research has focused on different types of stochastic gradient flows and finding new types of networks, which have brought great improvements of computational efficiency. In geometry and physics, the applications of gradient flow and Morse theory have a long history and have brought numerous fundamental breakthroughs. For instance, the gradient flow of the Yang-Mills functional is used to find Hermitian Yang-Mills con- nections, whose existence in a stable holomorphic vector bundle is proved by Donald- son [Don85] and Uhlenbeck-Yau [UY86]. The celebrated Ricci flow found by Hamilton [Ham82], which is a crucial tool to solve the three-dimensional Poincare´ conjecture, is essentially a gradient flow [Per02, Per03].
    [Show full text]
  • Affine Manifolds with Nilpotent Holonomy 489
    Comment. Math. Helvetici 56 (1981) 487-523 0010-2571181/004487-37501.50+0.20/0 1981 Birkh~iuser Verlag, Basel Afflne manilolds with nilpotent holonomy DAVID FRIED, WILLIAM GOLDMAN, MORRIS W. HIRSCH Introduction An affine manifold is a differentiable manifold together with an atlas of coordinate charts whose coordinate changes extend to affine automorphisms of Euclidean space. These charts are called atline coordinates. A map between affine manifolds is called affine it its expression in affine coordinates is the restriction of an aftine map between vector spaces. Thus we form the category of affine manifolds and affine m_nps. Let M be a connected affine manifold of dimension n-> 1, locally isomorphic to the vector space E. Its universal covering/~/inherits a unique affine structure for which the covering projection/~/--~ M is an aifine immersion. The group ~r of deck transformations acts on /V/by afline automorphisms. It is well known that there is an affine immersion D :/~5/--~ E, called the developing map. This follows, for example, from Chevalley's Monodromy Theorem; a proof is outlined in Section 2. Such an immersion is unique up to composition with an atiine automorphism of E. Thus for every g ~ "n" there is a unique affine automorphism a(g) of E such that Dog =ct(g)oD. The resulting homomorphism a : ~r --~ Aft (E) from 7r into the group of affine automorphisms of E is called the affine holonomy representation. It is unique up to inner automorphisms of Aft (E). The composition A : 7r ~ GL (E) is called the linear holonomy representation. The affine structure on M is completely determined by the pair (D, a).
    [Show full text]
  • Supersymmetry for Mathematicians: an Introduction
    COU R A N T V. S . V A R A D A R A J A N LECTURE NOTES Supersymmetry for Mathematicians: An Introduction American Mathematical Society AMS Courant Institute of Mathematical Sciences A...,. A i N., I I. I M A. 1.11.... 11 11 Supersymmetry for Mathematicians: An Introduction Courant Lecture Notes in Mathematics Executive Editor Jalal Shatah Managing Editor Paul D. Monsour Assistant Editor Reeva Goldsmith Copy Editor Will Klump V. S. Varadarajan University of California, Los Angeles 11 Supersymmetry for Mathematicians: An Introduction Courant Institute of Mathematical Sciences New York University New York, New York American Mathematical Society Providence, Rhode Island 2000 Mathematics Subject Classification. Primary 58A50, 58C50, 17B70, 22E99; Secondary 14A22, 14M30, 32C11. For additional information and updates on this book, visit www.ams.org/bookpages/cln-11 Library of Congress Cataloging-in-Publication Data Varadarajan, V. S. Supersymmetry for mathematicians: an introduction/V. S. Varadarajan. p. cm. (Courant lecture notes; 11) Includes bibliographical references. ISBN 0-8218-3574-2 (alk. paper) 1. Supersymmetry.I. Title.II. Series. QA174.17.S9V372004 539.7'25-dc22 2004052349 Copying and reprinting.Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society.Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA.
    [Show full text]
  • The Tangent Functor Monad and Foliations by Benoıt Michel Jubin a Dissertation Submitted in Partial Satisfaction of the Require
    The Tangent Functor Monad and Foliations by Beno^ıtMichel Jubin A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Alan Weinstein, Chair Professor Robert Bryant Professor Robert Littlejohn Spring 2012 The Tangent Functor Monad and Foliations Copyright 2012 by Beno^ıtMichel Jubin 1 Abstract The Tangent Functor Monad and Foliations by Beno^ıtMichel Jubin Doctor of Philosophy in Mathematics University of California, Berkeley Professor Alan Weinstein, Chair In category theory, monads, which are monoid objects on endofunctors, play a central role closely related to adjunctions. Monads have been studied mostly in algebraic situations. In this dissertation, we study this concept in some categories of smooth manifolds. Namely, the tangent functor in the category of smooth manifolds is the functor part of a unique monad, which is the main character of this dissertation. After its construction and the study of uniqueness properties in related categories, we study its algebras, which are to this monad what representations are to a group. We give some examples of algebras, and general conditions that they should satisfy. We characterize them in the category of affine manifolds. We also study an analog of the tangent functor monad and its algebras in algebraic geometry. We then prove our main theorem: algebras over the tangent functor monad induce folia- tions on the manifold on which they are defined. This result links the study of these algebras to the study of foliations. A natural question is then to characterize foliations which arise this way.
    [Show full text]
  • Lectures on the Euler Characteristic of Affine Manifolds
    Lectures on the Euler characteristic affine manifolds Camilo Arias Abad Sebasti´anV´elezV´asquez∗ February 13, 2018 Abstract These are lecture notes prepared for the summer school Geometric, algebraic and topo- logical methods in quantum field theory, held in Villa de Leyva in July 2017. Our goal is to provide an introduction to a conjecture of Chern that states that the Euler characteristic of a closed affine manifold vanishes. We present part of the history and motivation for the conjecture as well as some recent developments. All comments and corrections are most welcome!12 Contents 1 Introduction 2 1.1 Affine manifolds . .3 1.2 Complete manifolds and the developing map . .4 2 Some classical results 6 2.1 Milnor's inequalities and the conjecture in dimension d =2 ............6 2.2 The counterexamples of Smillie . 15 2.3 The case of complete manifolds, after Sullivan and Kostant . 19 3 The case of special affine manifolds, after Klingler 22 3.1 Local product structures and affine manifolds . 23 3.2 The spectral sequence and the Euler class . 26 3.3 A lemma about invariant forms . 28 arXiv:1802.03624v1 [math.DG] 10 Feb 2018 3.4 Spectral sequences of sheaves . 29 A Some differential geometry 31 A.1 Connections . 31 A.2 Geodesics and the exponential map . 34 A.3 Curvature and the Chern-Gauss-Bonnet Theorem . 36 B Spectral Sequences 38 ∗Universidad Nacional de Colombia, Medell´ı[email protected], [email protected]. 1Camilo would like to thank the organisers and participants of the school for a great time at Villa de Leyva.
    [Show full text]
  • PROJECTIVE GEOMETRY on MANIFOLDS Contents Introduction 2 1. Affine Geometry 4 1.1. Affine Spaces 4 1.2. the Hierarchy of Structu
    PROJECTIVE GEOMETRY ON MANIFOLDS WILLIAM M. GOLDMAN Contents Introduction 2 1. Affine geometry 4 1.1. Affine spaces 4 1.2. The hierarchy of structures 6 1.3. Affine vector fields 6 1.4. Affine subspaces 8 1.5. Volume in affine geometry 8 1.6. Centers of gravity 9 1.7. Affine manifolds 10 2. Projective geometry 11 2.1. Ideal points 11 2.2. Homogeneous coordinates 12 2.3. The basic dictionary 15 2.4. Affine patches 18 2.5. Projective reflections 19 2.6. Fundamental theorem of projective geometry 20 3. Duality, non-Euclidean geometry and projective metrics 21 3.1. Duality 21 3.2. Correlations and polarities 22 3.3. Intrinsic metrics 24 3.4. The Hilbert metric 28 4. Geometric structures on manifolds 30 4.1. Development, Holonomy 33 4.2. Completeness 35 4.3. Complete affine structures on the 2-torus 37 4.4. Examples of incomplete structures 38 4.5. Maps between manifolds with different geometries 41 4.6. Fibration of geometries 42 4.7. The classification of RP1-manifolds 44 5. Affine structures on surfaces 46 5.1. Suspensions 46 Date:June2,2009. 1 2WILLIAMM.GOLDMAN 5.2. Existence of affine structures on 2-manifolds 49 5.3. Nonexistence of affine structures on certain connected sums 53 5.4. Radiant affine structures 55 5.5. Associative algebras: the group objects in the categoryof affine manifolds 57 5.6. The semiassociative property 59 5.7. 2-dimensional commutative associative algebras 61 6. Convex affine and projective structures 63 6.1. The geometry of convex cones in affine space 63 6.2.
    [Show full text]
  • Math 6520: Differentiable Manifolds I
    Math 6520: Differentiable Manifolds I Taught by Reyer Sjamaar Notes by David Mehrle [email protected] Cornell University Fall 2016 Last updated December 11, 2016. The latest version is online here. Contents 1 Introduction................................. 5 1.1 Dimension............................... 9 1.2 Lots of Examples ........................... 10 1.3 The Smooth Category......................... 14 2 Tangent Vectors............................... 15 2.1 Derivations................................ 21 3 Submanifolds ................................ 26 3.1 Rank ................................... 31 3.2 Submersions and Immersions.................... 35 3.3 Embeddings.............................. 38 4 Vector Fields................................. 42 4.1 Independent vector fields on spheres................ 43 4.2 Flows.................................. 44 4.3 Derivations, Revisited ........................ 50 5 Intermezzo: Point-set topology of Manifolds .............. 54 5.1 Paracompactness ........................... 55 5.2 Partitions of Unity........................... 57 5.3 Some applications........................... 59 6 Lie Groups.................................. 63 6.1 Vector fields on Lie groups...................... 67 6.2 Actions of Lie groups on manifolds................. 69 6.3 Classical Lie Groups ......................... 73 6.4 Smooth maps on Vector Fields.................... 74 6.5 Lie algebras and the Lie bracket................... 77 6.6 Brackets and Flows.......................... 79 7 Vector bundles...............................
    [Show full text]