https://shiraz-k.com/tags/differential-geometry/ Recent content in Differential Geometry on Shiraz Hugo en-us Thu, 13 Nov 2025 21:23:17 -0500 https://shiraz-k.com/posts/robotics/ Thu, 13 Nov 2025 21:23:17 -0500 https://shiraz-k.com/posts/robotics/ I&rsquo;ve been going through Russ Tedrake&rsquo;s notes on robotics, which got me thinking about their so-called monogram notation. The result of this deliberation was a new notation for spatial velocities that bridges the gap between abstract Lie groups and their applications to robotics and computer graphics. https://shiraz-k.com/posts/bundles/ Fri, 24 Oct 2025 20:55:32 -0400 https://shiraz-k.com/posts/bundles/ A principal bundle is a fiber bundle, that additionally has the right-action of a group that preserves fibers. Beginning with coset spaces, we look at some interesting examples of principal bundles and the things we can do with them. https://shiraz-k.com/posts/lemmas/ Mon, 13 Jan 2025 12:46:04 -0500 https://shiraz-k.com/posts/lemmas/ Some results about the differentials (i.e., pushforwards) of the exponential and logarithm maps of a Lie group. I rely extensively on the interpretation of tangent vectors as equivalence classes of curves. https://shiraz-k.com/posts/sphere/ Sun, 24 Mar 2024 10:43:16 -0400 https://shiraz-k.com/posts/sphere/ Here, I solve Problem 5-5 from John Lee&rsquo;s book on <em>Riemannian Manifolds</em>, which demonstrates the non-flatness of the 2-sphere. This problem is particularly interesting because it serves as the motivating example for a later chapter in the book on curvature. https://shiraz-k.com/posts/lie-groups_riemannian/ Tue, 30 Jan 2024 09:53:05 -0500 https://shiraz-k.com/posts/lie-groups_riemannian/ A <span class=accented>Lie group</span> is a group that is also a (continuous, differentiable) topological space. To measure lengths and volumes (and relatedly, to define and integrate probability densities) we need to endow the group with additional structure so that it is not merely a manifold, but a <span class=accented>Riemannian manifold</span>. https://shiraz-k.com/posts/lie-groups_construction/ Wed, 24 Jan 2024 14:20:59 -0500 https://shiraz-k.com/posts/lie-groups_construction/ There are multiple ways to construct new groups from old ones. I provide an intuition for how these constructions work, and also go over some of the additional structures that can be imposed on Lie groups, paving the path towards doing differential geometry and calculus on Lie groups. https://shiraz-k.com/posts/lie-groups/ Mon, 15 Jan 2024 07:24:59 -0500 https://shiraz-k.com/posts/lie-groups/ A <span class=accented>topological group</span> is a set of elements that has both a group operation and a topology. The group operation satisfies the usual axioms (same as those of finite groups), and the presence of a topology lets us say things like &rsquo;the group is connected&rsquo; and &rsquo;the group operation is continuous'. https://shiraz-k.com/posts/vector-fields/ Wed, 03 Jan 2024 11:22:28 -0500 https://shiraz-k.com/posts/vector-fields/ Over the past year, I have struggled to pin down what the scope of my blog should be. Maybe it is for me to catalog the process of self-learning mathematics as an engineering major who lacks a curricular background in modern mathematics. This post serves in part the purpose of organizing my own thoughts on these matters, and in part the purpose of providing a roadmap for others who are interested in embarking on a similar journey.