Projective Differential Geometry Old and New: From the Schwarzian Derivative to the Cohomology of Diffeomorphism Groups

Preface: why projective? 1. Introduction 2. The geometry of the projective line 3. The algebra of the projective line and cohomology of Diff(S1) 4. Vertices of projective curves 5. Projective invariants of submanifolds 6. Projective structures on smooth manifolds 7. Multi-dimensional Schwarzian derivatives and differential operators Appendix 1. Five proofs of the Sturm theorem Appendix 2. The language of symplectic and contact geometry Appendix 3. The language of connections Appendix 4. The language of homological algebra Appendix 5. Remarkable cocycles on groups of diffeomorphisms Appendix 6. The Godbillon-Vey class Appendix 7. The Adler-Gelfand-Dickey bracket and infinite-dimensional Poisson geometry Bibliography Index.

[1]  N. H. Kuiper Locally projective spaces of dimension one. , 1953 .

[2]  A. Kirillov Orbits of the group of diffeomorphisms of a circle and local Lie superalgebras , 1981 .

[3]  A. Lichnerowicz Geometry and cohomologies associated with a contact manifold , 1984 .

[4]  M. Crampin,et al.  On projective connections: the ane case , 2004 .

[5]  S. Tabachnikov Geometry of Lagrangian and Legendrian 2-web , 1993 .

[6]  S. Sternberg,et al.  Douglas' solution of the Plateau problem. , 1988, Proceedings of the National Academy of Sciences of the United States of America.

[7]  S. Tabachnikov Exact Transverse Line Fields and Projective Billiards in a Ball , 1997 .

[8]  V. Ovsienko Contact analogues of the Virasoro algebra , 1990 .

[9]  L. Dickey Soliton Equations and Hamiltonian Systems , 2003 .

[10]  On the cohomology of sℓ(m + 1,R) acting on differential operators and sℓ(m + 1, R)-equivariant symbol , 1998, math/9801121.

[11]  V. Arnold On the number of flattening points on space curves , 1995 .

[12]  Dusa McDuff,et al.  Introduction to Symplectic Topology , 1995 .

[13]  L-CONVEX-CONCAVE SETS IN REAL PROJECTIVE SPACE AND L-DUALITY , 2002, math/0203203.

[14]  George Birkhoff Physical aspects of dynamical systems , 1927 .

[15]  A. Tjurin Periods and Principal Parts of Quadratic Differentials on a Rigged Riemann Surface , 1977 .

[16]  Hichem Gargoubi Sur la géométrie de l'espace des opérateurs différentiels linéaires sur R , 1980 .

[17]  J. Little Nondegenerate homotopies of curves on the unit 2-sphere , 1970 .

[18]  Vladislav Viktorovich Golʹdberg,et al.  Projective differential geometry of submanifolds , 1993 .

[19]  Udo Simon,et al.  Introduction to the affine differential geometry of hypersurfaces , 1991 .

[20]  W. Goldman,et al.  The classification of real projective structures on compact surfaces , 1997 .

[21]  W. J. Studden,et al.  Tchebycheff Systems: With Applications in Analysis and Statistics. , 1967 .

[22]  C. Duval,et al.  The Virasoro group and Lorentzian surfaces: the hyperboloid of one sheet , 2000 .

[23]  Serge Tabachnikov Around four vertices , 1990 .

[24]  V. Ovsienko,et al.  Cohomology of the Vector Fields Lie Algebra and Modules of Differential Operators on a Smooth Manifold , 1999, Compositio Mathematica.

[25]  B. Khesin,et al.  Nondegenerate curves onS2 and orbit classification of the Zamolodchikov algebra , 1992 .

[26]  R. Rankin,et al.  The Construction of Automorphic Forms From the Derivatives of a Given Form II , 1985, Canadian Mathematical Bulletin.

[27]  Serge Tabachnikov A Four Vertex Theorem for Polygons , 2000, Am. Math. Mon..

[28]  Über die Mindestanzahl stationärer Schmiegebenen bei geschlossenen streng-konvexen Raumkurven , 1956 .

[29]  Kenneth S. Brown,et al.  Cohomology of Groups , 1982 .

[30]  Shôshichi Kobayashi Transformation groups in differential geometry , 1972 .

[31]  諏訪 立雄 複素解析的特異葉層構造 (Topology of Foliations) , 1979 .

[32]  S. Tabachnikov Geometry of exact transverse line fields and projective billiards , 2022 .

[33]  Josef Grünvald,et al.  Projective differential geometry of curves and ruled surfaces , 1908 .

[34]  D. B. Fuks Cohomology of Infinite-Dimensional Lie Algebras , 1986 .

[35]  J. Douglas Solution of the Inverse Problem of the Calculus of Variations. , 1939, Proceedings of the National Academy of Sciences of the United States of America.

[36]  Jaak Peetre,et al.  Une caractérisation abstraite des opérateurs différentiels. , 1959 .

[37]  Vladislav Viktorovich Golʹdberg Theory of multicodimensional (n + 1)-webs , 1988 .

[38]  A. Kirillov LOCAL LIE ALGEBRAS , 1976 .

[39]  A. Hurwitz Über die Fourierschen Konstanten integrierbarer Funktionen , 1904 .

[40]  Henri Cohen,et al.  Sums involving the values at negative integers of L-functions of quadratic characters , 1975 .

[41]  V. Ovsienko Classification of third-order linear differential equations and symplectic sheets of the Gel'fand-Dikii bracket , 1990 .

[42]  J. Moser,et al.  Geometry of Quadrics and Spectral Theory , 1980 .

[43]  H. Rund The Differential Geometry of Finsler Spaces , 1959 .

[44]  B. Osgood Old and New on the Schwarzian Derivative , 1998 .

[45]  W. Thurston,et al.  Three-Dimensional Geometry and Topology, Volume 1 , 1997, The Mathematical Gazette.

[46]  V. Ovsienko,et al.  Lie Derivatives of Order n on the Line. Tensor Meaning of the Gelfand-Dikii Bracket , 1991 .

[47]  A weak counterexample to the Carathéodory conjecture , 2001 .

[48]  A. Weinstein Local structure of Poisson manifolds , 2021, Lectures on Poisson Geometry.

[49]  V. Ovsienko Self-adjoint differential operators and curves on a Lagrangian Grassmannian, subject to a train , 1990 .

[50]  Three Cocycles on $\Diff(S^1)$ Generalizing the Schwarzian Derivative , 1997, dg-ga/9710018.

[51]  Les multihérissons et le théorème de Sturm-Hurwitz , 2003 .

[52]  O. Veblen Projective and Affine Geometry of Paths. , 1922, Proceedings of the National Academy of Sciences of the United States of America.

[53]  V. Ovsienko,et al.  Generalizations of Virasoro group and Virasoro algebra through extensions by modules of tensor-densities on S1 , 1998 .

[54]  G. Bol Invarianten linearer Differentialgleichungen , 1949 .

[55]  G. Faltings Real projective structures on Riemann surfaces , 1983 .

[56]  I. Biswas,et al.  DIFFERENTIAL OPERATORS : ON COMPLEX MANIFOLDS WITH A FLAT PROJECTIVE STRUCTURE By , 2004 .

[57]  A. V. Pogorelov,et al.  Hilbert's Fourth Problem , 1979 .

[58]  W. Blaschke Einführung in die Geometrie der Waben , 1955 .

[59]  J. Moser,et al.  Discrete versions of some classical integrable systems and factorization of matrix polynomials , 1991 .

[60]  V. Ovsienko,et al.  Symplectic leaves of the Gel'fand-Dikii brackets and homotopy classes of nondegenerate curves , 1990 .

[61]  S. Janson,et al.  A New Generalization of Hankel Operators (the Case of Higher Weights) , 1987 .

[62]  H. P. Introduction à la géométrie projective différentielle des surfaces , 1932, Nature.

[63]  S. Tabachnikov Projective connections , group Vey cocycle and deformation quantization , 1996 .

[64]  Suhyoung Choi,et al.  Geometric structures on manifolds and holonomy-invariant metrics , 1997 .

[65]  P. Grozman Classification of bilinear invariants of operators on tensor fields , 1980 .

[66]  Guosong Zhao,et al.  Global Affine Differential Geometry of Hypersurfaces , 1993 .

[67]  Remarks on the geometry of exact transverse line fields. Differential topology, infinite-dimensional Lie algebras, and applications. , 1999 .

[68]  H. Hamburger Beweis einer Caratheodoryschen Vermutung , 1941 .

[69]  V. Ovsienko,et al.  Modules of Differential Operators on the Real Line , 2001 .

[70]  M. Shapiro Topology of the space of nondegenerate curves , 1992 .

[71]  V. Fock,et al.  Poisson structure on moduli of flat connections on Riemann surfaces and $r$-matrix , 1998 .

[72]  V. Ovsienko,et al.  Deformations of Poisson brackets and extensions of Lie algebras of contact vector fields , 1992 .

[73]  Projectively Equivariant Symbol Calculus , 1998, math/9809061.

[74]  M. Spivak A comprehensive introduction to differential geometry , 1979 .

[75]  V. Ovsienko,et al.  Space of second order linear differential operators as a module over the Lie algebra of vector fields , 1994 .

[76]  R. Schwartz Pappus’s theorem and the modular group , 1993 .

[77]  G. Segal Unitary representations of some infinite dimensional groups , 1981 .

[78]  N. Hitchin LIE-GROUPS AND TEICHMULLER SPACE , 1992 .

[79]  D. B. Fuks,et al.  Homology of the Lie algebra of vector fields on the line , 1980 .

[80]  Peter J. Olver,et al.  Differential invariants for parametrized projective surfaces , 1999 .

[81]  George Polya,et al.  On the oscillation of the derivatives of a periodic function , 1942 .

[82]  Dynamical and Topological Methods in the Theory of Geodesically Equivalent Metrics , 1999, math/9911054.

[83]  B. Segre Some properties of differentiable varieties and transformations , 1957 .

[84]  J. Landsberg Algebraic geometry and projective differential geometry , 1999 .

[85]  Stationary Veselov-Novikov equation and isothermally asymptotic surfaces in projective differential geometry , 1998, math/9805011.

[86]  G. Pólya,et al.  Problems and theorems in analysis , 1983 .

[87]  B. Dubrovin,et al.  Modern geometry--methods and applications , 1984 .

[88]  Paula B. Cohen,et al.  AUTOMORPHIC PSEUDODIFFERENTIAL OPERATORS , 1997 .

[89]  Projective structures and contact forms , 1994 .

[90]  Structures symplectiques sur les espaces de courbes projectives et affines , 1994, hep-th/9409105.

[91]  P. Zsombor-Murray,et al.  Elementary Mathematics from an Advanced Standpoint , 1940, Nature.

[92]  Inflection Points, Extatic Points and Curve Shortening , 1999 .

[93]  C. Roger Various Aspects and Generalizations of the Godbillon-Vey Invariant , 1998 .

[94]  E. J. Wilczynski Projective differential geometry , 1906 .

[95]  S. Tabachnikov On Zeroes of the Schwarzian Derivative , 1997 .

[96]  C. Titus A proof of a conjecture of Loewner and of the conjecture of caratheodory on umbilic points , 1973 .

[97]  S. Tabachnikov Computation of the Bennequin invariant of a Legendre curve from the geometry of its front , 1988 .

[98]  J. '. Paiva,et al.  Hilbert's fourth problem in two dimensions. , 2003 .

[99]  V. Arnold Topological Invariants of Plane Curves and Caustics , 1994 .

[100]  Mark Adler,et al.  On a trace functional for formal pseudo-differential operators and the symplectic structure of the Korteweg-devries type equations , 1978 .

[101]  Eduard Zehnder,et al.  Symplectic Invariants and Hamiltonian Dynamics , 1994 .

[102]  V. Matveev,et al.  Geodesic Equivalence via Integrability , 2003 .

[103]  L. Santaló Integral geometry and geometric probability , 1976 .

[104]  T. Tsujishita Continuous cohomology of the Lie algebra of vector fields , 1981 .

[105]  J. Little Third order nondegenerate homotopies of space curves , 1971 .

[106]  Emmanuel Ferrand,et al.  On the Bennequin Invariant and the Geometry of Wave Fronts , 1997 .

[107]  Projective geometry of polygons and discrete 4-vertex and 6-vertex theorems , 1999, math/9909150.

[108]  G. Thorbergsson,et al.  Sextactic points on a simple closed curve , 2000, Nagoya Mathematical Journal.

[109]  G. Bol Über Nabelpunkte auf einer Eifläche , 1943 .

[110]  Valentin Ovsienko Lagrange schwarzian derivative and symplectic Sturm theory , 1993 .

[111]  P. Mathonet Intertwining operators between some spaces of differential operators on a manifold , 1999 .

[112]  Geodesic equivalence of metrics as a particular case of integrability of geodesic flows , 2000 .

[113]  David Spring The Golden Age of Immersion Theory in Topology: 1959-1973 , 2003 .

[114]  Serge Tabachnikov Dual billiards in the hyperbolic plane* , 2002 .

[115]  L. Eisenhart Spaces with Corresponding Paths. , 1922, Proceedings of the National Academy of Sciences of the United States of America.

[116]  V. G. Grove,et al.  A Treatise On Projective Differential Geometry , 1942 .

[117]  V. V. Ivanov The Analytic Caratheodory Conjecture , 2002 .

[118]  K. Nomizu Affine Differential Geometry , 1994 .

[119]  Theorem on four support vertices of a polygonal line , 1996 .

[120]  V. Arnold Remarks on the Extatic Points of Plane Curves , 1996 .

[121]  W. Thurston Noncobordant foliations of $S^3 $ , 1972 .

[122]  V. Arnold Topological problems of the theory of wave propagation , 1996 .

[123]  J. Moser Integrable Hamiltonian systems and spectral theory , 2003 .

[124]  Franco Magri,et al.  A Simple model of the integrable Hamiltonian equation , 1978 .

[125]  V. Arnold Mathematical Methods of Classical Mechanics , 1974 .

[126]  Vladimir Igorevich Arnold,et al.  Geometrical Methods in the Theory of Ordinary Differential Equations , 1983 .

[127]  A. Kirillov Elements of the theory of representations , 1976 .

[128]  J. Koszul Homologie des complexes de formes différentielles d'ordre supérieur , 1974 .

[129]  Robert Molzon,et al.  The Schwarzian derivative for maps between manifolds with complex projective connections , 1996 .

[130]  W. Goldman GEOMETRIC STRUCTURES ON MANIFOLDS AND VARIETIES OF REPRESENTATIONS , 1988 .

[131]  D. Bao,et al.  An Introduction to Riemann-Finsler Geometry , 2000 .

[132]  E. Cartan,et al.  Leçons sur la géométrie projective complexe ; La théorie des groupes finis et continus et la géométrie différentielle traitées par la méthode du repère mobile ; Leçons sur la théorie des espaces à connexion projective , 1992 .

[133]  A. Rudakov IRREDUCIBLE REPRESENTATIONS OF INFINITE-DIMENSIONAL LIE ALGEBRAS OF CARTAN TYPE , 1974 .

[134]  Kai Cieliebak,et al.  Symplectic Geometry , 1992, New Spaces in Physics.

[135]  Martin Scharlemann,et al.  EIGHT FACES OF THE POINCARE HOMOLOGY 3-SPHERE , 1979 .

[136]  V. Lazutkin,et al.  Normal forms and versal deformations for Hill's equation , 1975 .

[137]  L. Silverman Poncelet's closure theorem , 2000 .

[138]  W. Degen Zur projektiven Differentialgeometrie der Flächen, die von einer einparametrigen Schar von Kegelschnitten erzeugt werden , 1967 .

[139]  Mohsen Hachtroudi Les espaces d'éléments à connexion projective normale , 1937 .

[140]  A. Veselov Confocal surfaces and integrable billiards on the sphere and in the Lobachevsky space , 1990 .

[141]  Fr. Fabricius-bjerre On the Double Tangents of Plane Closed Curves. , 1962 .

[142]  A. Kirillov Infinite dimensional lie groups; their orbits, invariants and representations. The geometry of moments , 1982 .

[143]  S. Tabachnikov Introducing projective billiards , 1997, Ergodic Theory and Dynamical Systems.

[144]  Conformally equivariant quantization: existence and uniqueness , 1999, math/9902032.

[145]  John G. Ratcliffe,et al.  Geometry of Discrete Groups , 2019, Foundations of Hyperbolic Manifolds.

[146]  Kai-Seng Chou,et al.  The Curve Shortening Problem , 2001 .

[147]  INTEGRABLE SYSTEMS IN PROJECTIVE DIFFERENTIAL GEOMETRY , 1999, math/9903150.

[148]  R. Goodman,et al.  Representations and Invariants of the Classical Groups , 1998 .

[149]  P. Lecomte Classification projective des espaces doprateurs diffrentiels agissant sur les densits , 1999 .

[150]  Shôshichi Kobayashi,et al.  Holomorphic projective structures on compact complex surfaces , 1980 .

[151]  C. Godbillon Feuilletages : études géométriques , 1991 .