{"id":291,"date":"2025-08-02T12:51:11","date_gmt":"2025-08-02T12:51:11","guid":{"rendered":"https:\/\/summergeometry.org\/sgi2025\/?p=291"},"modified":"2026-03-03T21:53:29","modified_gmt":"2026-03-03T21:53:29","slug":"from-calculus-to-k-forms","status":"publish","type":"post","link":"https:\/\/summergeometry.org\/sgi2025\/from-calculus-to-k-forms\/","title":{"rendered":"From Calculus to \\(k\\)-forms"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Differential geometry makes heavy use of calculus in order to study geometric objects such as smooth manifolds.  Just as differential geometry builds upon calculus and other fundamentals, the notion of differential forms extend the approaches of differential geometry and calculus, even allowing us to study the larger class of surfaces that are <em>not <\/em>necessarily smooth.  We will motivate from calculus a brief brush with differential forms and their geometric potential.        <\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Review of Vector Fields<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Recall a vector field is a special case of a multivariable vector-valued function (taking in a scalar or a vector and outputting a set of multidimensional vectors). Often they are defined in \\(\\mathbb{R}^2\\) or \\(\\mathbb{R}^3\\), but can also be defined more generally on smooth manifolds.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In three dimensional space, a <strong>vector field<\/strong> is a function \\(V\\) that assigns to each point \\((x, y, z)\\) a three dimensional vector given by \\(V(x, y, z)\\). Consider our identity function<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$ V(x, y, z) = \\begin{bmatrix}x\\\\y\\\\z \\end{bmatrix}, $$<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">where for each point \\((x, y, z)\\) we associate a vector with those same coordinates. Generalizing, for any vector function \\(V(x, y, z)\\), we visualize its vector field by placing the tail of the corresponding vector \\(V(x_0, y_0, z_0)\\) at its point \\((x_0, y_0, z_0)\\) in the domain of \\(V(x, y, z)\\).<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Example fluid flow\" width=\"580\" height=\"326\" src=\"https:\/\/www.youtube.com\/embed\/sHqd9qcTsQ0?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe>\n<\/div><figcaption class=\"wp-element-caption\">Here we consider fluid particles (displayed as blue dots) as points, each with its own magnitude, direction, and velocity that correspond to overall fluid flow. Then to each point in our sample of particles we can assign a vector with speed of velocity as its length. Each arrow not only represents the velocity of the individual particle it is attached to, but also takes into account how the neighborhood of particles around it move.<\/figcaption><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Vector fields can be transformed into scalar fields via \\(\\nabla\\) taken as a vector differentiable operator known as the gradient operator.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Our gradient points in the direction of steepest ascent of a scalar function \\(f(x_1, x_2, x_3, . . . x_n)\\), indicating the direction of greatest change of \\(f\\). A vector field \\(V\\) over an open set \\(S\\) is a<strong> <\/strong>gradient field<strong> <\/strong>if there exists a differentiable real-valued function (the scalar field) \\(f\\) on \\(S\\). Then<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$V = \\nabla f = ( \\frac{\\partial f}{\\partial x_1}, \\frac{\\partial f}{\\partial x_2}, \\frac{\\partial f}{\\partial x_3}, . . . \\frac{\\partial f}{\\partial x_n})$$ <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">is a special type of vector field \\(V\\) defined as the gradient of a scalar function, where each \\( v \\in V\\) is the gradient of \\(f\\) at that point.  <\/p>\n\n\n\n<h2 class=\"wp-block-heading\">The Divergence and Curl Operators<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Now that we have reviewed vector fields, recall that we can also perform operations like divergence and curl over them.   When fluid flows over time, some regions of fluid will become less dense with particles as they flow away (negative divergence). Meanwhile, particles tending towards each other will cause the fluid in that region to be more dense (positive divergence).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Luckily, we have our handy divergence operator to take in the vector-valued function of our vector field and output a scalar-valued function measuring the change in density of the fluid around each point.  Given a vector field \\(V\\), we can think of <strong>divergence<\/strong> <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$\\text{div}\\space V = \\nabla \\cdot V = \\frac{\\partial V_1}{\\partial x} + \\frac{\\partial V_2}{\\partial y}+ \\frac{\\partial V_3}{\\partial z} . . . $$<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">as a variation of the derivative that generalizes to vector fields \\(V\\) of any dimension.  Another &#8220;trick&#8221; to thinking about the divergence formula is as the trace of the Jacobian matrix of the vector field.  <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In differential geometry, one can also define divergence on a <strong>Riemannian manifold <\/strong>\\((M, g)\\), a smooth manifold \\(M\\) endowed with the Riemannian metric \\(g\\) as a choice of inner product for each tangent space of \\(M\\).  <\/p>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-8f761849 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" src=\"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/6\/6d\/Tangent_plane_to_sphere_with_vectors.svg\/250px-Tangent_plane_to_sphere_with_vectors.svg.png\" alt=\"\" \/><figcaption class=\"wp-element-caption\">The <a href=\"https:\/\/en.wikipedia.org\/wiki\/Riemannian_manifold\">Riemannian metric <\/a>allows us to take the inner product of  the two vectors tangent to the sphere.  <\/figcaption><\/figure>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\"><\/div>\n<\/div>\n\n\n\n<p class=\"wp-block-paragraph\">Whereas divergence describes changes in density, <strong>curl<\/strong> measures the &#8220;rotation&#8221;,  or angular momentum, of the vector field \\(V\\).  Likewise, the curl operator takes in a vector-valued function and outputs a function that describes the flow of rotation given by the vector field at each point.  <\/p>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-8f761849 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:33.33%\">\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1022\" height=\"1024\" src=\"https:\/\/summergeometry.org\/sgi2025\/wp-content\/uploads\/2025\/07\/2f87e8cc62d997a79f6ca66680eafc0a1673fc6c-3-1022x1024.png\" alt=\"\" class=\"wp-image-355\" srcset=\"https:\/\/summergeometry.org\/sgi2025\/wp-content\/uploads\/2025\/07\/2f87e8cc62d997a79f6ca66680eafc0a1673fc6c-3-1022x1024.png 1022w, https:\/\/summergeometry.org\/sgi2025\/wp-content\/uploads\/2025\/07\/2f87e8cc62d997a79f6ca66680eafc0a1673fc6c-3-300x300.png 300w, https:\/\/summergeometry.org\/sgi2025\/wp-content\/uploads\/2025\/07\/2f87e8cc62d997a79f6ca66680eafc0a1673fc6c-3-150x150.png 150w, https:\/\/summergeometry.org\/sgi2025\/wp-content\/uploads\/2025\/07\/2f87e8cc62d997a79f6ca66680eafc0a1673fc6c-3-768x769.png 768w, https:\/\/summergeometry.org\/sgi2025\/wp-content\/uploads\/2025\/07\/2f87e8cc62d997a79f6ca66680eafc0a1673fc6c-3-1200x1202.png 1200w, https:\/\/summergeometry.org\/sgi2025\/wp-content\/uploads\/2025\/07\/2f87e8cc62d997a79f6ca66680eafc0a1673fc6c-3.png 1336w\" sizes=\"auto, (max-width: 1022px) 100vw, 1022px\" \/><figcaption class=\"wp-element-caption\"><a href=\"https:\/\/www.khanacademy.org\/math\/multivariable-calculus\/multivariable-derivatives\/divergence-and-curl-articles\/a\/curl-warmup\">Here<\/a>, all the points go in circles in the counterclockwise direction, which we define by \\(V(x, y) = \\begin{bmatrix} -y \\\\ x \\end{bmatrix} = -y\\hat{i} + x\\hat{j}\\).<\/figcaption><\/figure>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:66.66%\">\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Fluid flow of cos(x+y)i+sin(xy)j\" width=\"580\" height=\"326\" src=\"https:\/\/www.youtube.com\/embed\/SHko2gnx6YE?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n<\/div>\n<\/div>\n\n\n\n<p class=\"wp-block-paragraph\">For a vector field function <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$V(x, y) = v_1(x, y)\\hat{i} + v_2(x, y)\\hat{j},$$<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">we can look at the change of a point \\((x_0, y_0)\\) by looking at the change in \\(v_1\\) as \\(y\\) changes and \\(v_2\\) as \\(x\\) changes.  We calculate<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$2\\text{d curl} \\space V = \\nabla \\times V =  \\frac{\\partial v_2}{\\partial x}(x_0, y_0) \\space &#8211; \\frac{\\partial v_1}{y}(x_0, y_0),$$ <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">with a positive evaluation indicating counterclockwise rotation around \\((x_0, y_0)\\)  and a negative evaluation indicating clockwise.  <\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Approach by Differential Forms<\/h2>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" src=\"https:\/\/media.springernature.com\/lw685\/springer-static\/image\/chp%3A10.1007%2F978-3-319-96992-3_9\/MediaObjects\/467642_1_En_9_Fig1_HTML.png\" alt=\"\" \/><figcaption class=\"wp-element-caption\">Vector calculus can also be viewed more generally and geometrically via the theory of <a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-319-96992-3_9\">differential forms<\/a>.  <\/figcaption><\/figure>\n<\/div>\n\n\n<p class=\"wp-block-paragraph\">While curl is typically only defined in two and three dimensions, it can be generalized in the context of differential forms.  The calculus of differential \\(k\\)-forms offers a unified approach to define integrands over curves, surfaces, and higher-dimensional manifolds.  Differential 1-forms of expression form<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$\\omega = f(x)dx$$<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">are defined on an open interval \\( U \\subseteq \\mathbb{R^n}\\) with \\(f: U \\to \\mathbb{R}\\) a smooth function.  We can have 1-forms <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$\\omega = f(x, y)dx + g(x, y)dy$$<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">defined on an open subset \\( U \\subseteq \\mathbb{R^2}\\) , <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$\\omega = f(x, y, z)dx + g(x, y, z)dy + h(x, y, z)dz $$<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">defined on an open subset \\( U \\subseteq \\mathbb{R^3}\\), and so on for any positive integer \\(n\\).  <\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\">\n<p class=\"wp-block-paragraph\"><strong>Correspondence Theorem: <\/strong> Given a 1-form \\(\\omega = f_1dx_1 + f_2dx_2 + . . . f_ndx_n\\), we can define an associated vector field with component functions \\((f_1, f_2, . . . f_n)\\).  Conversely, given a smooth vector field \\(V = (f_1, f_2, . . . f_n)\\), we can define an associated 1-form \\(\\omega = f_1dx_1 + f_2dx_2 + . . . f_ndx_n\\).  <\/p>\n<\/blockquote>\n\n\n\n<p class=\"wp-block-paragraph\">Via the <strong>exterior derivative<\/strong>  and an extension of the correspondence between 1-forms and vector fields to arbitrary \\(k\\)-forms, we can generalize the well-known operators of vector calculus.      <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The exterior derivative \\(d\\omega\\) of a \\(k\\)-form is simply a \\(k + 1\\)-form.  We provide an example of its use in defining curl:    <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Let \\(\\omega = f(x, y, z)dx + g(x, y, z)dy + h(x, y, z)dz\\) be a 1-form on \\( U  \\subseteq \\mathbb{R}^3\\)  with its associated vector field \\(V = (f, g, h)\\).  Its exterior derivative \\(d\\omega\\)  is the 2-form <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$d\\omega = (\\frac{\\partial h}{\\partial y} &#8211; \\frac{\\partial g}{\\partial z}) dy \\wedge dz + (\\frac{\\partial f}{\\partial z} &#8211; \\frac{\\partial h}{\\partial x}) dz \\wedge dx + (\\frac{\\partial g}{\\partial x} &#8211; \\frac{\\partial f}{\\partial y}) dx \\wedge dy,$$<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">where \\(\\wedge\\) is an associative operation known as the <a href=\"https:\/\/mathworld.wolfram.com\/WedgeProduct.html\"><strong>exterior product<\/strong><\/a>.  We define the curl of \\(V\\) <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$ \\nabla \\times V = (\\frac{\\partial h}{\\partial y} &#8211; \\frac{\\partial g}{\\partial z}), (\\frac{\\partial f}{\\partial z} &#8211; \\frac{\\partial h}{\\partial x}), (\\frac{\\partial g}{\\partial x} &#8211; \\frac{\\partial f}{\\partial y})$$<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">as the vector field associated to the 2-form \\(d\\omega\\).  Attempt to see how this definition of curl agrees with the traditional version, but can be  applied in higher dimensions.  <\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" src=\"https:\/\/miro.medium.com\/v2\/resize:fit:1360\/1*gY_5A3SlO0GKpO2eTTlfEg.png\" alt=\"\" \/><figcaption class=\"wp-element-caption\"><a href=\"https:\/\/medium.com\/@luca.ambrogioni\/an-intuitive-look-at-differential-forms-8b405f2429f0\">Curl can be generalized for manifolds<\/a>.  <\/figcaption><\/figure>\n<\/div>\n\n\n<p class=\"wp-block-paragraph\">The natural pairing between vector fields and 1-forms allows for the modern approach of \\(k\\)-forms for multivariable calculus and has also heavily influenced the area of <strong>geometric measure theory<\/strong> <strong>(GMT),<\/strong> where we define <strong>currents<\/strong> as functionals on the space of \\(k\\)-forms.  Via currents, we have the impressive result that a surface can be uniquely defined by the result of integrating differential forms over it.  Further, the differential forms fundamental to GMT open up our toolbox to studying geometry that is not necessarily smooth!     <\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Acknowledgements.<\/strong> We thank Professor  Chien, Erick Jiminez Berumen, and Matheus Araujo for exposing us to new math, questions, and insights, as well as for their mentorship and dedication throughout the &#8220;Developing a Medial Axis for Measures&#8221; project.  We also acknowledge Professor Solomon for suggesting edits incorporated into this post, as well as for his organization of the wonderful summer program in the first place! <\/p>\n\n\n\n<details class=\"wp-block-details is-layout-flow wp-block-details-is-layout-flow\"><summary><strong>References<\/strong><\/summary>\n<ul class=\"wp-block-list\">\n<li><a href=\"https:\/\/web.stanford.edu\/class\/math285\/ts-gmt.pdf\">Introduction to Geometric Measure Theory<\/a> <\/li>\n\n\n\n<li><a href=\"https:\/\/sites.ualberta.ca\/~vbouchar\/MATH215\/front.html\">Calculus IV Notes by Vincent Bouchard<\/a><\/li>\n\n\n\n<li><a href=\"https:\/\/www.khanacademy.org\/math\/multivariable-calculus\">Khan Academy multivariable calculus <\/a><\/li>\n<\/ul>\n<\/details>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Differential geometry makes heavy use of calculus in order to study geometric objects such as smooth manifolds. Just as differential geometry builds upon calculus and other fundamentals, the notion of differential forms extend the approaches of differential geometry and calculus, even allowing us to study the larger class of surfaces that are not necessarily smooth. [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[31],"tags":[],"ppma_author":[5],"class_list":["post-291","post","type-post","status-publish","format-standard","hentry","category-research"],"authors":[{"term_id":5,"user_id":0,"is_guest":1,"slug":"cap-stephanie-p-atherton","display_name":"stephanie.p.atherton","avatar_url":"https:\/\/secure.gravatar.com\/avatar\/?s=96&d=mm&r=g","author_category":"","first_name":"","last_name":"","user_url":"","job_title":"","description":""}],"_links":{"self":[{"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/posts\/291","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/comments?post=291"}],"version-history":[{"count":10,"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/posts\/291\/revisions"}],"predecessor-version":[{"id":2029,"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/posts\/291\/revisions\/2029"}],"wp:attachment":[{"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/media?parent=291"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/categories?post=291"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/tags?post=291"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/summergeometry.org\/sgi2025\/wp-json\/wp\/v2\/ppma_author?post=291"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}