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

learn more… | top users | synonyms

2
votes
1answer
91 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 ...
1
vote
2answers
46 views

n-form associated with a vector field with general metric

With the euclidean metric I use the musical isomorphisms to obtain $1$-form associated with a vector field, so for a vector field $\vec{F}=(f_1,f_2,f_3)$ we have $ \vec{F}^{\flat}=f_1dx+f_2dy+f_3dz$ ...
0
votes
1answer
74 views

Evaluating a simple differential form

Given the vector field $\partial_x$ and the one form $\,dx$, how would I evaluate $\,dx(\partial_x)$ and show that $\,dx(\partial_x)=1$.
0
votes
3answers
81 views

What exactly is a 0-form?

From what I understand, a k-form in the real numbers is essentially a mapping $\mathbb{R^k} \rightarrow \mathbb{R}$, but I can't seem to find a corresponding definition for a "0-form". Wikipedia seems ...
1
vote
2answers
152 views

Question about integrating differential forms

Maybe it's stupid question, by why: $$\int_S Fdx\wedge dy=\int_S Fdxdy$$ And is calculating a surface integral $$\int_S Fdx\wedge dy+Gdy \wedge dz+H dz\wedge dx=\int_S Fdxdy+\int_SGdydz + ...
1
vote
1answer
24 views

wedge product with and without a second pair of vectors

I am starting to study wedge products, and am stuck on notation. The Bachman book on differential forms says $$ \omega \wedge \nu ( v_1, v_2 ) $$ "gives the area of the parallelogram spanned by ...
2
votes
1answer
81 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 $$ ...
1
vote
1answer
172 views

Shape operator of the sphere.

I want to compute the Weingarten operator (shape) for the sphere $\{(x,y,z) \in \mathbb{R}^3 \ : \ x^2 + y^2 + z^2 = 1\}$. I am given the adapted frame: $$\left\{\begin{array}{l} E_1 = \cos \varphi ...
1
vote
1answer
126 views

Covariant differential on p forms

On Peter Li's book Geometric Analysis on page 19 (http://www.im.ufrj.br/andrew/GR14-2/Lecture%20Notes%20on%20Geometric%20Analysis.pdf) I can't understand the following line $\begin{array}{l} ...
7
votes
1answer
106 views

Non-vanishing differential forms

Let $M$ be a differentiable manifold of dimension $n$. If the tangent bundle is trivial, then the cotangent bundle is trivial, and so are its exterior powers. In other words, on a parallelizable ...
10
votes
0answers
124 views

Characterization of the exterior derivative $d$

In the paper Natural Operations on Differential Forms, the author R. Palais shows that the exterior derivative $d$ is characterized as the unique "natural" linear map from $\Phi^p$ to $\Phi^{p+1}$ ...
1
vote
1answer
76 views

Evaluate line integral without parameterizarion

It's been brought to my attention that line/surface integrals and integrals of differential forms in general can be evaluated without introducing a parameterization, however I haven't been able to ...
0
votes
0answers
31 views

Integrating differential forms over a box

I've only ever seen examples of integrating a differential form over a curve C involving defining a parameterization. I have seen people integrate 1 forms over a box without defining a ...
4
votes
2answers
89 views

How “far” a differential form is from an exterior product

Consider two differential manifolds $X$ and $Y$. Consider now a differential form (of any order) $\omega$ on $X\times Y$. The easiest example is taking $\omega=\xi\wedge\eta$, where $\xi$ is a ...
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 ...
1
vote
1answer
51 views

contraction identity on $k$-forms

$i_\mathbb{X} \omega $ is the contraction of $\omega$ with respect to $\mathbb{X}$. In my notes it is stated that $i_\hat{\mathbb{X}} dx = dx(\hat{\mathbb{X_t}})$. I cannot see how this fits the ...
0
votes
1answer
61 views

Start of the proof of the Poincaré Lemma

Let $\hat{\Phi}:U \rightarrow U$ be a one-parameter family of diffeomorphisms defined for $\ 0 < t \leq 1$. Let $\beta \in \Omega^k(U) $ be a closed k-form. Suppose that $\hat{\Phi}^{*}_1 \beta = ...
0
votes
1answer
25 views

Equivalence relation of differential forms

My notes claim that $\displaystyle d\omega (x) = \frac{1}{k!} d\omega_{i_1\cdots i_k} \wedge f^{(i_1)}\wedge\cdots\wedge f^{(i_k)}$ is equivalent to $\displaystyle d\omega(x) = \frac{1}{k!} ...
17
votes
2answers
697 views

Symmetric and wedge product in algebra and differential geometry

I have been struggling with this issue for a while (and asked a similar question here), but still not found a satisfying answer. The question boils down to: which is the correct identity? $dx \, dy ...
2
votes
2answers
59 views

Exercise on left invariant 2-forms

I'm trying to solve a problem about the Lie group of transformation over $\mathbb{R}$: \begin{equation} x\mapsto ax+b, \end{equation} where $a,b\in\mathbb{R}, a\neq 0.$ I'm asked to find the space of ...
1
vote
2answers
52 views

Given an $(n-1)$-form $\varphi$ on a smooth orientable $n$-manifold, there is a vector field $v$ such that $i_v\varphi = 0$.

I am working on the following problem. Let $M$ be a smooth orientable $n$-manifold, $n \geq 2$, and let $\varphi$ be a smooth $(n-1)$-form on $M$. Show that there is a vector field $v$ on $M$ such ...
2
votes
1answer
63 views

Bogus proof that the Liouville Form on the cotangent bundle is nondegenerate.

Suppose we have a manifold $M$ of dimension $n$ and its cotangent bundle $T^*M$. The Liouville form $\lambda$ on $T^*M$ is defined as $\lambda_{\omega_p} = \pi^*(\omega_p)$ where $\pi$ is the standard ...
0
votes
1answer
39 views

2-form corresponding to a contravariant vector and pseudo-forms

In Frankel's book he writes that in $R^{3}$ with cartesian coordinates, you can always associate to a vector $\vec{v}$ a 1-form $v^{1}dx^{1}+v^{2}dx^{2}+v^{3}dx^{3}$ and a two form $v^{1}dx^{2}\wedge ...
1
vote
0answers
45 views

Reference Request for differential ideals of Pfaffian forms on jet bundles

My setting is the following: Given two families of differential forms $\omega^i$ (with $i=1,...,m$) and $\mathrm d F^j$ (with $j=1...n-m$), define $$\eta^i := \sum_{j=1}^m a^i_j\omega^j + ...
2
votes
0answers
72 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
1answer
65 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 ...
0
votes
1answer
35 views

Why is the derivative Df(p) defined to $ \in \Lambda^1 (\mathbb{R}^n) $, or how is it a 1-form?

I know that obviously the differential operator D would be a differential form through the word differential. But in Spivak Calculus on Manifolds he defines a k-form w $ \in \Lambda^k ...
0
votes
1answer
88 views

$(1,0)$-forms on a complex manifold

I'm reading in a paper: "Let $\theta$ be a $(1,0)$-form with respect to $I$ ($I \theta = -i \theta$)". Here $I$ is the almost complex structure. Any idea why it says $I \theta = -i \theta$ and not $I ...
0
votes
1answer
51 views

Equality in de Rham cohomology

Let $U_1,U_2,...,U_r$ be open sets in $\mathbb{R}^n$ such that $U_i\cap U_j =\emptyset$ for all $i \neq j$. Then prove, $H^k_{dR}(\bigcup_{i=1}^{r} U_i)=\bigoplus_{i=1}^{r} H^k_{dR} (U_i)$
1
vote
1answer
53 views

De Rham cohomology group

We know $m$-th de Rham cohomology group on $U$ is defined to be, $H^{m}_{dR}(U)=ker(d^m)/im(d^{m-1})$ where $d^m:\Omega^m(U)\to \Omega^{m+1}(U)$'s are usual exterior derivative maps. Now its saying ...
3
votes
1answer
109 views

Calculating the pullback of a $2$-form

I have a $2$-form given by $\omega = dx \wedge dp + dy \wedge dq$ and a map $i : (u,v) \mapsto (u,v,f_u,-f_v)$ for a general smooth map $f : (u,v) \mapsto f(u,v)$. I want to calculate the pullback of ...
1
vote
0answers
53 views

differential form: a question in Novikov's book

I met a problem when reading the book of Novikov et al. "Modern geometry, vol 1". In page 200 of the book (GTM 93, English version), they say for 2-form $F$, $$ (F\wedge F)_{0123}=-{1\over ...
0
votes
0answers
48 views

On the existence of integrating factor for 1-form

Question: Is there any holistic approach to determining the existence/finding the integrating factor for 1-forms? I never took any course in differential equations...I guess this is something ...
4
votes
3answers
452 views

Interior product between differential forms and vector fields

I don't understand what is meant when someone writes that forms (or form fields) "eat" vectors (or vector fields). For example when I have a one form field ω=3dx+5dy+3xdz and a vector field ...
1
vote
0answers
106 views

Integrability of 1-forms and Stokes' Theorem

Let $\alpha$ be a $1$-form defined on a manifold $M$ and $\Delta = ker (\alpha)$. The classical theorem of Frobenius says that $\Delta$ is integrable if $\alpha \wedge d\alpha =0$ i.e if $d\alpha$ is ...
1
vote
1answer
74 views

If $M$ is a compact manifold what does $\partial M$ mean?

In the generalized form of stokes theorem it states that the integral of the $k+1$ differential form of an operator over a compact manifold $M$ is equivalent to the integral of the $k$ differential ...
1
vote
1answer
69 views

Differential forms and minor expansion, question about notation.

There are lectures by Theodore Shifrin on differential forms, and sadly one video ends suddendly where he explains some notation. I try to formulate it in my own words: When k=n, we have ...
4
votes
0answers
115 views

Differential forms and determinants

2-forms are defined as $du^{j} \wedge du^{k}(v,w) = v^{j}w^{k}-v^{k}w^{j} = \begin{vmatrix} du^{j}(v) & du^{j}(w) \\ du^{k}(v) & du^{k}(w) \end{vmatrix}$ But what if I have two concret ...
3
votes
0answers
101 views

Second fundamental form of a graph of a function using frame fields

I am trying to recover the second fundamental form $II$ for the graph $\Gamma(f)$ of a smooth real function $f$ in the Euclidean space $\mathbb{R}^3$ using first order frame fields. I have worked with ...
1
vote
2answers
167 views

Is a 1-form locally expressible as $dx$?

Given a 1-form $\alpha$ which is non-zero at every point of a manifold $M^n$, is it true that locally I can express the form as $dx$? (that is around each point there is a coordinate neighborhood such ...
3
votes
1answer
122 views

Differential Forms on submanifolds

Say I take an embedded submanifold of $\Bbb R^n$, like the sphere. Any differential form on $\Bbb R^n$ can be restricted to the sphere. My question is this: is any differential form on the sphere (or ...
3
votes
1answer
68 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 ...
3
votes
1answer
78 views

Integration on $\mathbb{R}^n$ in terms of differential forms

One defines integration on a smooth manifold as follows: First define $\int_M \omega$ when $\omega$ is supported on a single coordinate chart by pulling back to $\mathbb{R}^n$ an integrating there, ...
1
vote
0answers
108 views

A 1-form on a smooth manifold is exact if and only if it integrates to zero on every closed curve

I am stuck on the following problem, which comes from a old qualifying exam. Prove that a 1-form $\phi$ on $M$ is exact if and only if for every closed curve c, $\int_{c} \phi =0$. One way is an ...
1
vote
0answers
41 views

Confused about why $dd=0$ in de rham cohomology?

In Bredon's proof that $dd=0$, he lets $\omega=fdx_1\wedge\cdots\wedge dx_p$, and calculates $$ dd\omega=\sum_{j=1}^n\sum_{i=1}^n\frac{\partial^2 f}{\partial x_i\partial x_j}dx_j\wedge dx_i\wedge ...
1
vote
0answers
52 views

Two isomorphisms of the space of vector fields/forms

Suppose you have a diffeomorphism $$ \phi: M \to N. $$ As far as I understand, this gives rise to two distinct isomorphisms $$ a : \mathcal A^1(M) \cong \mathcal A^1(N) :b $$ between the space of ...
3
votes
1answer
33 views

Global n-form on Calabi-Yau

I am now reading these lectures by Stefan Vandoren on complex geometry. Everything is fine in general, hiwever I am confused with how he defines 1-form on a Calabi-Yau 1-fold (or 2-form on CY$_2$). ...
0
votes
1answer
161 views

Harmonic functions and polar differential forms

Given a harmonic function $u$, its differential and conjugate differential are $$du = \frac{\partial u}{\partial x}dx + \frac{\partial u}{\partial y}dy,\qquad ^{*}du = -\frac{\partial u}{\partial y}dx ...
2
votes
1answer
79 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
98 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 ...