For questions about differential forms which commonly arise in differential geometry, and sometimes in multivariable calculus.

learn more… | top users | synonyms

2
votes
1answer
60 views

Tangent space and differential forms of quotient groups

I have difficulty understanding the following argument because it seems that many details are swept under the rug and I am looking for a detailed rigorous exposition on this (I'll try to make clear ...
2
votes
1answer
55 views

Relationship between differential forms and coordinates

For the purpose of this question let us restrict our considerations to smooth $3$-manifolds. So the manifold $M$ we consider here is endowed with smooth coordinate charts $(x,y,z)$. What I have ...
2
votes
1answer
73 views

Constructing functions such that integral along any closed curve is non-zero

Consider smooth maps $f: \mathbb R^2 \setminus \{(0,0)\} \to \mathbb R$. How can I construct such an $f$ with the property that $$ \oint_C f \neq 0$$ for any closed curve $C$ around the origin? ...
2
votes
2answers
66 views

When are the exterior derivative and contraction of forms inverses?

I am trying to get a better feel for both the exterior derivative of a form and the contraction of a form by a vector field $X$. Basically, when are these inverses? If I have a one-form $\omega$ and ...
2
votes
2answers
98 views

Differential forms on $S^1$

I'm reading this old question and there are some things I don't understand. For example, why in the case of $S^1$ can every $1$-form be written in the form $f(\theta)d\theta=c d\theta+dg(\theta)$ ...
2
votes
1answer
50 views

exterior product of forms is exact.

I don't know what to do to prove the following statement: Let $U \subset \mathbb R^n$ be an open set and let $\alpha$ be a $k$-form on $U$ and $\beta$ be an $l$-form on $U$. Suppose both $\alpha, ...
2
votes
1answer
80 views

Identities for differential forms and vectorfields (reference request)

Recently I found the slides of a talk of J. E. Marsden, (Differential Forms and Stokes' Theorem). These slides introduce the required objects and summarize the basics of the corresponding theory. In ...
2
votes
1answer
76 views

Pullback of a form under the retraction $r\colon \mathbb{R}^n\setminus\{0\}\to S^{n-1}$.

The following is from Spivak's DG Lemma 7 in Chapter 8, but I'm muddled in a computation. Define two $(n-1)$-forms on $\mathbb{R}^n\setminus\{0\}$ by $$ ...
2
votes
1answer
45 views

differential form identity and permutations

If $t^1,...,t^k$ are the coordinates of a k-cube. Then apparently $$dt^{\sigma(1)} \wedge \ldots \wedge dt^{\sigma(k)}= (\operatorname{sgn} (\sigma)) dt^1 \wedge dt^k $$ I cannot see how this ...
2
votes
1answer
57 views

Differential Form Over $S^2$

I was checking problems on differential forms and I found the following one. Consider the sphere $S^2 \subseteq R^3$ and the map $\omega_p : T_pS^2 \times T_pS^2 \rightarrow \mathbb{R}$ given by ...
2
votes
1answer
61 views

Conceptual Question on different representations of Hyperplanes, Higher Standpoint, Coordinate-free

In a vector space $V$ over some field $F$ a hyperplane is the kernel of some linear transformation $T : V \to F$, i.e. the kernel of an element of the dual space (this could be taken as the definition ...
2
votes
1answer
68 views

How to make an ideal generated by differential forms into a differential ideal?

Let $M=\mathbb{R}^4$ with standard coordinates $x_1,x_2,x_3,x_4$. Let $\alpha=x_2dx_1+x_3dx_3+dx_4$ and $\beta=2dx_2+x_1^2dx_3+x_1dx_4$ How to find a 1-form $\gamma$ such that the ideal generated ...
2
votes
1answer
89 views

How to define integration over the boundary of a curve?

When learning about Stokes' theorem ($\int_{\partial \Omega} \omega=\int_{\Omega} \mathrm d \omega$), we are told that it is just a generalization of the 2nd Fundamental Theorem of Calculus $(\int_a^b ...
2
votes
1answer
25 views

Definition of an integrand

General Question: Say we have integral $$ \int f(z)\ dz $$ Is the integrand in this context (i) $f(z)$ or (ii) $f(z)\ dz$? In any case, is $f(z)\ dz$ a formally defined mathematical object in its ...
2
votes
1answer
83 views

Why generalize vector calculus with $k$-forms instead of $k$-vectors?

The motivation usually given to differential forms is that they generalize vector calculus nicely. That's true, but there are also $k$-vectors, i.e., objects from $\Lambda^k(V)$ instead of ...
2
votes
2answers
219 views

Integration of a 2-form

$\textit{What is}$ $\int_C{\omega}$ $\textit{where}$ $\omega=\frac{dx \wedge dy}{x^2+y^2}$ $\textit{and}$ $C(t_1,t_2)=(t_1+1)(\cos(2\pi t_2),\sin(2\pi t_2)) : I_2 \rightarrow \mathbb{R}^2 - ...
2
votes
1answer
142 views

About Stokes' theorem

I noticed that in the proof of Stokes' theorem on manifolds, the condition that the form $\omega$ is compactly supported ensures that the sum is finite so that we can change the order of sum and ...
2
votes
1answer
450 views

Closed but not exact one-form on $S^2$

I would like to know whether there is any nice prescription to give an example of a closed but not exact one-form on $S^2$ (not the $3$-ball). I assume to take some points out of this surface, e.g. 3. ...
2
votes
2answers
106 views

Show that $a \wedge * b = g(a,b) \operatorname{vol}$

$\newcommand{\vol}{\operatorname{vol}}$ Let $\omega$ be a $p$-form on a Riemannian manifold $M^n$ with metric $g$ and let $\vol_{i_1,\ldots,i_n}=\sqrt{\lvert g\rvert} \epsilon_{i_1,\ldots,i_n}$ be a ...
2
votes
1answer
50 views

Proof and counter-example that a chain $c_{R, n} \ne \partial c$. Where is the error?

If $R > 0$ and $n \in \mathbb{Z}$ we can define the singular 1-cube $c_{R, n}\colon [0, 1] \rightarrow \mathbb{R}^2$ by $$c_{R, n}(t) = (R\cos(2\pi n t), R\sin(2\pi n t))$$ We know that $c_{R, n} ...
2
votes
1answer
133 views

Computing $n$-th external power of standard simplectic form

I need some help: Define a 2-form on $R^n$ by $\omega=dx_1\wedge dx_2+dx_3\wedge dx_4+...+dx_{2n-1}\wedge dx_{2n}$. How to compute $\omega^n:=\omega\wedge\omega\wedge\ldots\wedge\omega$?
2
votes
1answer
368 views

Differential Forms and Area

I think I'm just misunderstanding something here, but in $\mathbb{R}^2,$ there exists a $1$-form (in fact infinitely many) $\omega$ such that for any region $S,$ we have $\int_{\partial S} \omega = ...
2
votes
1answer
78 views

Orienting curves with differential forms

Consider the circle given by the equation $x^2+y^2=1$. We can orient this curve by choosing the tangent vector field $(-y,x)^T$, which defines a direction. Supposedly we can do this with by taking an ...
2
votes
2answers
170 views

How is differential form different from ordinary calculus objects?

I am going to learn differential form soon, but after reading some introductory parts of my texts, I couldn't get why differential form is needed and how it is different from ordinary mathematics ...
2
votes
1answer
120 views

Independence of coordinate charts in the definition of the order of a pole of a meromorphic 1-form on a Riemann surface

I am currently reading Forster. Let $X$ be a Riemann suface, and $Y$ an open subset of $X$. Assume we have a meromorphic 1-form $\omega \in \Omega(Y \setminus \{a\})$ with a pole at $a \in Y$. One ...
2
votes
2answers
386 views

Hodge dual on orthonormal basis: two inconsistent answers

I'm trying to learn differential geometry using Göckeler & Schücker's book and I have some problems with the hodge star. As an example, say we have two orthonormal bases $e^i$ and ...
2
votes
1answer
48 views

Problem with integration of $1$-form on surface

I have some problem with integration of differential forms on algebraic surfaces (I'm reading Cartan's book on analytic functions). Let $X \subseteq \mathbb{C}^2$ be an algebraic curve given by ...
2
votes
1answer
238 views

Relevance of Differential Forms

I recently started reading about differential forms, and I am trying to figure out their purpose. Lets say $\omega=y\,dx+x\,dy$, and we want to evaluate $\int_C \omega$ over the curve parametrized by ...
2
votes
1answer
244 views

Relationship between Rotational Motion and Standard Linear Motion

I am looking to study elementary mechanics (physics) from the point of view of differential forms on manifolds, and moments, and am wondering if there are any texts that generalize the notions of ...
2
votes
1answer
101 views

Equality of integrals of differential forms

I have two $(n-1)$-forms $\omega_{1}$ and $\omega_{2}$ on $\mathbb{R}^n$ and a smooth function $g(x) \colon \mathbb{R}^n \to \mathbb{R}$ ($dg$ doesn't vanish anywhere) such that $dg \wedge \omega_1 = ...
2
votes
1answer
307 views

Differential forms and a chain rule

Let $U$ be a Riemann surface and let $z:U\longrightarrow B(0,1)$ be a diffeomorphism, where $B(0,1)$ is the open unit disc in $\mathbf{C}$. So $z$ is a coordinate around $P=z^{-1}(0)$. Let $Q\in U$ ...
2
votes
1answer
386 views

Illustration of vector calculus vs. differential forms

I am looking for a nice illustration of how vector calculus relates to differential forms. A demonstration that employs physics is appreciable (e.g. electromagnetism). In particular, while dualizing ...
2
votes
0answers
19 views

Express a quadratic form as a sum of squares using Schur complements

So I was able to figure out the first part of this problem, but I have no concept of how it relates to Schur complements, so I'm not sure (no pun intended) how to proceed. The question is as follows: ...
2
votes
0answers
55 views

How to define the boundary operator using the exterior derivative?

I am looking for a way to define the boundary operator $\partial : M^n \to N^{n-1}$ from an $n$-dimensional manifold $M$ to its boundary $N$ using the the expression \begin{equation*} \int_M d \alpha ...
2
votes
0answers
23 views

Verify stokes theorem example [duplicate]

Let $c:I^2\rightarrow\mathbb{R}^3$ be the singular $2$-cube given by $$c(s,t)=(\frac{1}{2}s^2,st,\frac{1}{2}t^2)$$ Let $$\omega=xy^2dz$$ Questions: i) Compute $c^*\omega$ ii) Compute $c^*d\omega$ ...
2
votes
0answers
32 views

Differentiability of a map into $\wedge T^*M$

Let $M$ a differentiable manifold and $p \in M$. Consider $(U;x_1, \dots, x_n)$ a coordinated system around $p$. $\{dx_\phi\}_\phi$ with $\phi \in \cal{P}(\{1, \dots n\})$, $dx_\phi=dx_{i1} \wedge ...
2
votes
0answers
72 views

Differential one-forms and change of coordinates

Consider two differential one forms: $$\omega=\sum_{i=1}^N \omega_i dx^i$$ $$\omega'=\sum_{i=1}^N \omega'_i dx'^i$$ As I recall from my analysis courses, the symbols $dx$ are a particular notation ...
2
votes
0answers
97 views

Compute the wedge product

This is my first time computing the wedge product, I am not sure if I have done it correctly as I do not have solutions, if I have gotten the answer right or am doing the right method please say. ...
2
votes
1answer
110 views

Moving frame in a semi-Riemannian manifold

Can someone point me some reference for the moving frame theory in semi-Riemannian manifolds, using differential forms? In special, I'm looking for a version of Cartan's structural equations. I've ...
2
votes
0answers
67 views

Pullback of a 1 form on the circle

Q: Let $M$ be a smooth compact manifold, and suppose there is a smooth map $F:M \rightarrow S^{1}$ whose derivative is non-zero at every point. Prove that the de Rham cohomology space $H^{1}(M)$ is ...
2
votes
2answers
64 views

Arc Length and Differential Forms

Suppose $\gamma$ is circle in $\mathbb{R}^3$ defined by coordinates $\begin{pmatrix}r\cos\theta\\r\sin\theta\\0\end{pmatrix}$, and function $F: \gamma \rightarrow \mathbb{R}^3$ is defined by ...
2
votes
0answers
68 views

Homotopy, Stokes Theorem and Orientation

I have a problem in which the theory and the computation disagree about a minus sign. My question requires a little setting up. I have a complex valued 2-form $$ \omega = \alpha(\xi_1,\xi_2)\, ...
2
votes
0answers
64 views

An error applying the Stokes theorem?

M is the surface $z=x^2+y^2$ with standard orientation for $x^2+y^2\leq 1$ and $\varphi = 4x^2ydy+z^2dz$ I'd like to verify that $\int_Md\varphi=\int_{\partial M}\varphi$, which I did, but ...
2
votes
0answers
67 views

Prove Green's theorem for circles

So the problem is in the title. The rules are that I can't split the circle into "rectangles" and I can't use pull-back. I tried to do something similar to the proof on unit squares. The problem is ...
2
votes
0answers
71 views

A few identities on differential forms

I just started studying differentiable manifolds, and I've encountered a few allegedly simple questions that aren't really simple to me. If possible, I'd be very happy to see full proofs (without ...
2
votes
0answers
83 views

The first proof for Poincare lemma in history

How can I get a reference about the first proof of Poincare lemma in history? I already know some methods of proof, but I do want to know the original approach. Thanks for your help!
2
votes
1answer
314 views

Pullback distributes over wedge product

I'm looking to prove that the pullback of a smooth function distributes over wedge product, i.e. $$\varphi^*(\omega \wedge \eta) = \varphi^* \omega \wedge \varphi^* \eta. $$ Here the question is ...
2
votes
0answers
165 views

Volume form on $\mathbb{S}^2$

Let $\omega = x_1 \,dx_2 \wedge dx_3 + x_2 \,dx_3 \wedge dx_1 + x_3\, dx_1 \wedge dx_2$, with $(x_1,x_2,x_3) \in \mathbb{S}^2$, be a volume form on $\mathbb{S}^2$, and let $f : \mathbb{S}^1 \times ...
2
votes
0answers
57 views

Help with local coordinates computations-differential forms

I am reading a lecture notes on differential forms and tangent bundles on complex manifolds and I got stuck on one line where the author does not explain how he did the computation: Let ...
2
votes
0answers
39 views

Laplacian on a warped product.

Let $(M, g)$, $(N, h)$ be complete Riemannian manifolds (not necessarily compact). Let $f : M \rightarrow (0, \infty)$ be a smooth function, and finally let $$\overline{M} = M \times_f N$$ be the ...