{"id":96,"date":"2013-08-11T21:00:43","date_gmt":"2013-08-11T21:00:43","guid":{"rendered":"https:\/\/jasoncantarella.com\/wordpress\/?page_id=96"},"modified":"2022-08-04T21:32:38","modified_gmt":"2022-08-05T01:32:38","slug":"grassmannians","status":"publish","type":"page","link":"https:\/\/jasoncantarella.com\/wordpress\/courses\/grassmannians\/","title":{"rendered":"Math 8230: Grassmannians and Stiefel Manifolds"},"content":{"rendered":"<p>This course discusses two families of classical manifolds which have a central place in mathematics: the Grassmann manifold of k-planes in \\mathbb{F}^n and the Stiefel manifold of orthonormal k-frames in \\mathbb{F}^n. Here, the underlying field may be real, complex, or even quaternionic: we&#8217;ll see that each choice adds interesting properties to the manifolds.<\/p>\n<p>There is so much known about these manifolds, and from so many different perspectives, that the really hard part about designing the course is figuring out what to leave out. My ambition (and it may prove to be too much!) is to restrict our attention to three basic perspectives: topological, in which these are classical examples of principal bundles, geometric, in which they are studied by the Schubert calculus (in algebraic geometry) and as homogeneous spaces (in Riemannian geometry), and numerical, in which they are seen as ambient spaces for methods in numerical linear algebra and statistics. The hope is that by intertwining these various views of the manifolds, we will be able to make some new observations in each field!<\/p>\n<h2>Course Notes<\/h2>\n<p>I intend to scan and post my lecture notes before class and encourage you to read them over in advance. I also encourage you to try to read some of the source material that&#8217;s posted on the webpage. &#8221;Courses like this are hard, and you shouldn&#8217;t expect to get everything out of the lectures.&#8221;<\/p>\n<p>Part 1. Matrices and Differential Geometry<\/p>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_introduction.pdf\"> 1. Introduction, Polar Decomposition, and Frames <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/cis61005sl1.pdf\"> Gallier, <em>Manifolds, Lie Groups, Lie Algebras&#8230; 1<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/cis61005sl2.pdf\"> Gallier, <em>Manifolds, Lie Groups, Lie Algebras&#8230; 2<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/polar_decomp_nearest.pdf\"> Kahan, <em>The nearest orthogonal or unitary matrix<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_quotients.pdf\"> 2. Grassmann and Stiefel manifolds as quotients, tangent spaces, dimension <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/Edelman.pdf\"> Edelman, Arias, Smith, <em>The Geometry of Algorithms with Orthogonality Constraints<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_liegroups.pdf\"> 3. Lie groups, Lie Algebras, the Matrix Exponential and Geodesics <\/a>\n<ul>\n<li><a href=\"http:\/\/www.seas.upenn.edu\/~jean\/diffgeom.pdf\"> Gallier, <em>Notes on Differential Geometry and Lie Groups<\/em>, Chap 1. <\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_geodesics.pdf\"> 4. More on Lie Groups, Geodesics on Grassmann and Stiefel manifolds <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/Edelman.pdf\"> Edelman, Arias, Smith, <em>The Geometry of Algorithms with Orthogonality Constraints<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/GeodesicsAndMatrixExp.nb\"> 5. Geodesics and the Matrix Exponential (Practical Demo) <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/2003_Moler.pdf\"> Moler, <em>19 Dubious Ways to Compute the Matrix Exponential, 25 years later<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_geodesics_II.pdf\"> 6. Geodesics in (nxk) coordinates on the Stiefel Manifold <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/quadratic_eigenvalue_problem.pdf\"> Tisseur, Meerbergen, <em>The Quadratic Eigenvalue Problem<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_grassmann_geodesics.pdf\"> 7. Grassmannian geodesics in (nxk) coordinates <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/Edelman.pdf\"> Edelman, Arias, Smith, <em>The Geometry of Algorithms with Orthogonality Constraints<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_distances.pdf\"> 8. Distances and Angles between Subspaces <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/Edelman.pdf\"> Edelman, Arias, Smith, <em>The Geometry of Algorithms with Orthogonality Constraints<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/paige.pdf\"> Paige, Wei, <em>History and Generality of the CS Decomposition<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/sutton.pdf\"> Sutton, <em>Computing the Complete CS Decomposition<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/james_wilkinson.pdf\"> James, Wilkinson, <em>Factorization of the Residual Operator and Canonical Decomposition of Nonorthogonal Factors in the Analysis of Variance<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>Part 2. Topology, Homotopy, and Cohomology Groups, Schubert Calculus<\/p>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_fibre_bundles.pdf\"> 9. Fibre Bundle Structure and Homotopy Groups <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/hatcher_fibrebundle.pdf\"> Excerpt 1 from Hatcher, <em>Algebraic Topology<\/em><br>\n<\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/hutchings_notes.pdf\"> Hutchings, <em>Introduction to higher homotopy groups and obstruction theory<\/em><br>\n<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_homology_I.pdf\"> 10. Homotopy and Homology Groups <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/hatcher_cells.pdf\"> Excerpt 2 from Hatcher, <span style=\"text-decoration: underline;\"><em>Algebraic Topology<\/em><\/span><br>\n<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_morsetheory.pdf\"> 11. Review of Morse Theory <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/morse_bott_grassmann.pdf\"> Hansen, <em>Morse Theory on Complex Grassmannians<\/em><br>\n<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_morsebott.pdf\"> 12. A User&#8217;s Guide to Morse-Bott Theory <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/morse_bott_grassmann.pdf\"> Hansen, <em>Morse Theory on Complex Grassmannians<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/jianwei2.pdf\"> Jianwei, <em>The Geometry and Topology on Grassmann Manifolds<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_morse_complex_grassmann.pdf\"> 13. Morse-Bott Theory on Complex Grassmannians <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/morse_bott_grassmann.pdf\"> Hansen, <em>Morse Theory on Complex Grassmannians<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/jianwei2.pdf\"> Jianwei, <em>The Geometry and Topology on Grassmann Manifolds<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/nic_morse_theory.pdf\"> Nicolaescu, <em>An Invitation to Morse Theory<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_schubert_I.pdf\"> 14. Schubert Cells and the Schubert Calculus <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/schubertcalculusreview.pdf\"> Ledoux, Malham, <em>Introductory Schubert Calculus<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/integral_homology.pdf\"> Cadek, Mimura, Vanzura, <em>The cohomology rings of real Stiefel manifolds with integer coefficients<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_schubert_II.pdf\"> 15. Schubert Cells and the Schubert Calculus II <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/schubertcalculusreview.pdf\"> Ledoux, Malham, <em>Introductory Schubert Calculus<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/integral_homology.pdf\"> Cadek, Mimura, Vanzura, <em>The cohomology rings of real Stiefel manifolds with integer coefficients<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_plucker_I.pdf\"> 16. The Plucker embedding and Plucker Relations I <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/laksov.pdf\"> Kleiman, Laksov, <em>Schubert Calculus<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_plucker_II.pdf\"> 17. The Plucker embedding and Plucker Relations II <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/laksov.pdf\"> Kleiman, Laksov, <em>Schubert Calculus<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_schubert_III.pdf\"> 18. The Plucker embedding and Plucker Relations III: Plucker Relations for Polygons <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/laksov.pdf\"> Kleiman, Laksov, <em>Schubert Calculus<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_schubert_conditions.pdf\"> 19. Schubert Relations and Subspace Intersections I <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/laksov.pdf\"> Kleiman, Laksov, <em>Schubert Calculus<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/LaplaceExpansionTheorem.pdf\"> Eberly, <em>The Laplace Expansion Theorem: Computing the Determinants and Inverses of Matrices<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_schubert_cohomology.pdf\"> 20. The Cohomology Ring of (Complex) Grassmannians and Schubert Cycles <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/laksov.pdf\"> Kleiman, Laksov, <em>Schubert Calculus<\/em><br>\n<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_schubert_conclusion.pdf\"> 21. The Determinental Relation, Pieri&#8217;s Formula, and Explicit Schubert Calculus Calculations <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/laksov.pdf\"> Kleiman, Laksov, <em>Schubert Calculus<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/hutchings_cup.pdf\"> Hutchings, <em>The Cup Product and Intersections<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/hilton_plane_algebraic_curves.pdf\"> Hilton, <em>Plane Algebraic Curves<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_infinite.pdf\"> 22. Infinite-Dimensional Grassmannians and Curve Spaces <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/ymms.pdf\"> Younes, Michor, Shah, Mumford, <em>A Metric on Shape Space with Explicit Geodesics<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/younes.pdf\"> Younes, <em>Computable Elastic Distances Between Shapes<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>Part 3. Numerical Applications<\/p>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_bss_I.pdf\"> 23. Blind Source Separation I <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/CichockiGelEICE.pdf,\"> Cichocki, Georgiev, <em>Blind Source Separation Algorithms with Matrix Constraints<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/gr_bss_2.pdf\"> 23. Blind Source Separation II <\/a>\n<ul>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/bse_to_bss.pdf\"> Cruces-Alvarez, Cichocki, Amari, <em>From Blind Signal Extraction to Blind Instantaneous Signal Separation: Criteria, Algorithms, and Stability<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/info_est-nc.pdf\"> Paninski, <em>Estimation of Entropy and Mutual Information<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/kg_mutual.pdf\"> Kraskov, Stogbauer, Grassberger, <em>Estimating Mutual Information<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/ICA_Hyvarinen.pdf\"> Hyvarinen, Oja <em>Independent Component Analysis: Algorithms and Applications<\/em><\/a><\/li>\n<li><a href=\"https:\/\/jasoncantarella.com\/downloads\/infomax.pdf\"> Bell, Sejnowski <em>An Information Maximization Approach to Blind Separation and Blind Deconvolution<\/em><\/a><\/li>\n<li><a href=\"http:\/\/www.ism.ac.jp\/~shiro\/research\/blindsep.html\"> Ikeda, <em>Audio Examples of Blind Source Separation<\/em> (link)<\/a><\/li>\n<li><a style=\"line-height: 1.75em;\" href=\"http:\/\/en.wikipedia.org\/wiki\/Kullback%E2%80%93Leibler_divergence\">Wikipedia, <em>Kullback-Leibler Divergence<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a style=\"line-height: 1.75em;\" href=\"https:\/\/jasoncantarella.com\/downloads\/gr_statistics_I.pdf\">24. Circular Statistics I<\/a>\n<ul>\n<li><a style=\"line-height: 1.75em;\" href=\"http:\/\/books.google.com\/books\/about\/Directional_Statistics.html?id=PTNiCm4Q-M0C\">Mardia, Jupp, <em>Directional Statistics<\/em><br>\n<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a style=\"line-height: 1.75em;\" href=\"https:\/\/jasoncantarella.com\/downloads\/gr_statistics_II.pdf\">25. Circular Statistics II &#8211; Asymptotics and Testing<\/a>\n<ul>\n<li><a href=\"http:\/\/books.google.com\/books\/about\/Directional_Statistics.html?id=PTNiCm4Q-M0C\">Mardia, Jupp, <em>Directional Statistics<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<li><a style=\"line-height: 1.75em;\" href=\"https:\/\/jasoncantarella.com\/downloads\/gr_statistics_III.pdf\">26. Grassmann and Stiefel Statistics<\/a>\n<ul>\n<li><a href=\"http:\/\/books.google.com\/books\/about\/Directional_Statistics.html?id=PTNiCm4Q-M0C\">Mardia, Jupp, <em>Directional Statistics<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<h2>Other course materials<\/h2>\n<p><a href=\"https:\/\/jasoncantarella.com\/downloads\/Grassmannian_syllabus.pdf\"> Course syllabus <\/a><\/p>\n<h2>Details<\/h2>\n<p>The course meets 1:20-2:15 in Boyd 326 on Mondays, Wednesdays, and Fridays.<\/p>\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"wp-block-paragraph\">Material on this page is a work-for-hire produced for the University of Georgia.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This course discusses two families of classical manifolds which have a central place in mathematics: the Grassmann manifold of k-planes in \\mathbb{F}^n and the Stiefel manifold of orthonormal k-frames in \\mathbb{F}^n. Here, the underlying field may be real, complex, or even quaternionic: we&#8217;ll see that each choice adds interesting properties to the manifolds. There is [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":78,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-96","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/jasoncantarella.com\/wordpress\/wp-json\/wp\/v2\/pages\/96","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/jasoncantarella.com\/wordpress\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/jasoncantarella.com\/wordpress\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/jasoncantarella.com\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/jasoncantarella.com\/wordpress\/wp-json\/wp\/v2\/comments?post=96"}],"version-history":[{"count":9,"href":"https:\/\/jasoncantarella.com\/wordpress\/wp-json\/wp\/v2\/pages\/96\/revisions"}],"predecessor-version":[{"id":1770,"href":"https:\/\/jasoncantarella.com\/wordpress\/wp-json\/wp\/v2\/pages\/96\/revisions\/1770"}],"up":[{"embeddable":true,"href":"https:\/\/jasoncantarella.com\/wordpress\/wp-json\/wp\/v2\/pages\/78"}],"wp:attachment":[{"href":"https:\/\/jasoncantarella.com\/wordpress\/wp-json\/wp\/v2\/media?parent=96"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}