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

learn more… | top users | synonyms

1
vote
0answers
79 views

Wedge product of differential forms

I'm trying to grasp the notation and concept of wedge products(, and tensors as well). In my lecture notes, the following expansion/notation for a $(n,r)$-tensor is used: In a basis $\left\{ ...
0
votes
1answer
110 views

Canonical bundle of a fibered product

Let $f: X \to Z$ and $g: Y \to Z$ be smooth morphisms of smooth projective varieties. Consider the fibered product \begin{array}{ccc} X \times_Z Y &\stackrel{\tilde{f}}{\longrightarrow}& Y\\ ...
2
votes
1answer
53 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, ...
1
vote
0answers
43 views

Zeros of $f$ in a disk

If $f$ holomorphic in a domain $U$ and $f(z)\neq 0$ for all $z\in U$ then every zero of $f$ is such that $f(q)=0$ and $\det(Df_{p})>0$. Using that I have to prove that if $f$ keeps that conditions ...
0
votes
1answer
45 views

Differential forms theorem reference request

Let $f: A\subset\mathbb{R}^n\rightarrow A$ be smooth ($A$ not necessarily open) and homotopic to the identity map ${\rm id}_A$. If $s^k$ is a singular $k$-chain with image set $A$ and such that ...
1
vote
1answer
71 views

Pull back of a vector representing a 2-form in $\mathbb R^3$

Let $\omega$ be a $2$-form defined in $\mathbb R^3$. I know that it can be represented by a vector field $\xi$ in such a way: $$ \omega_x (v,w) = \xi(x)\cdot (v\times w) $$ ($x,v,w \in \mathbb R^3$ ...
1
vote
1answer
98 views

Closed 1-forms implies exact 1-forms

I have two problems, the first one I think I've proved, but I have problems on the second one. Let $\omega$ a closed $1$-form defined on a open $U\subset \mathbb{R^2}$ and let $\gamma:[0,1]\rightarrow ...
0
votes
1answer
30 views

Integration of an equation in terms of differential forms

Suppose we have the equation in terms of differential forms $$ d\mathcal{Y}=f(C)dC,$$ here $d\mathcal{Y}(x^i)$ is one form, $C(x^i)$ is a scalar, $f(C)$ is a function of $C$ only. Can it be ...
0
votes
1answer
70 views

Wedge product is zero

Suppose $C$ is a scalar, $\mathcal{Y}$ is one-form and there is the equation $$ dC\wedge \mathcal{Y}=0 \quad (1)$$ What is the most general solution of this equation? Using the geometrical ...
0
votes
2answers
87 views

Relationship between divergence operators defined with respect to two different volume forms.

Let us assume that you have a volume form $\mu$ defined on a manifold $\mathcal{M}$. Then you can define the divergence operator with respect to this metric, such that the following relationship holds ...
1
vote
0answers
28 views

closed and bounded form

I have this problem, Let $\omega$ a closed $1$ form in $\mathbb{R^{2}}\setminus {0} $ such that $\omega$ restricted to the set $D$ is bounded with $D=\left \{ x\in\mathbb{R} \text{ such that }\left | ...
6
votes
3answers
140 views

Wedge product = set intersection?

In a research article [1] I found the following formulation: The wedge product may be considered as set intersection. For example, surfaces of constant $f(x,y,z)$ and surface of constant ...
1
vote
0answers
43 views

differentiable curve

I´m a little stuck with this problem, I think is false but I can´t find a counter example, here is the problem Let $\omega$ a 1-form defined in $U\subset \mathbb{R^{2}}$(it can be $\mathbb{R^{n}}$, ...
1
vote
4answers
95 views

For a differentiable map $f: \mathbb{R^n}\to \mathbb{R^n}$, Show that $f^*({dy_1 \wedge\cdots \wedge dy_n})=\det(df)dx_1\wedge \cdots\wedge dx_n$

Let $f: \mathbb{R^n}\to \mathbb{R^n}$ be a differentiable map given by $f(x_1,\cdots, x_n) = (y_1,\cdots,y_n)$. Show that $f^*({dy_1 \wedge\cdots \wedge dy_n})=\det(df)dx_1\wedge \cdots\wedge dx_n$ ...
0
votes
2answers
72 views

A question on wedge product of differential forms

Let $\omega$ be a $k$-form, is it true that $$\omega\wedge\omega=0?$$ is it true that $$d\omega\wedge d\omega=0?$$
0
votes
0answers
47 views

Is there a way to use this interpretation of differential forms on manifolds?

I read Rudin's "Principles of Mathematical Analysis". In the part of Differential Forms, he defined them formally. I particularly enjoyed the formal viewpoint, since everywhere else it seems that the ...
7
votes
1answer
137 views

What exactly does “differential forms are coordinate free” mean?

Most introductory texts on differential forms praise their property of allowing for a "coordinate free formulation". What exactly does this mean? What would be a concrete example for which a ...
1
vote
0answers
45 views

1-forms and zero simple

Let $\varphi$ a differential transformation such that $\varphi (x,y)=(f(x,y),g(x,y))$ and $D\subset U$ such that $\varphi$ restricted to $\partial D=\gamma$ be distinct zero and we define $i(\varphi ...
1
vote
0answers
31 views

Pullback of area form of manifold by local chart map

Let $M$ be an orientable $2$-manifold in $\mathbb{R}^n$, with area form $dA$. Let $\phi: U \to M$ be a local coordinate system for $M$, with $U \subseteq \mathbb{R}_{uv}^2$. It is stated that ...
1
vote
1answer
55 views

A question on self-dual differential 2-forms

This question is from Lemma 2 in Derdzinski's paper. Let $$\omega=e_1\wedge e_2+e_3\wedge e_4, \eta=e_1\wedge e_3+e_4\wedge e_2, \theta=e_1\wedge e_4+e_2\wedge e_3$$ be a basis for self-dual ...
1
vote
1answer
40 views

Is there a Poincare lemma for codifferential?

Is every co-closed form also locally co-exact? That is for each $k$-form $\omega$ such that $\delta \omega = 0$ there exists $(k-1)$-form $\eta$ for which locally $\omega = \delta \eta$. My current ...
2
votes
2answers
134 views

Definition of Lie Derivative of a Differential Form

I'm self-studying The Geometry of Physics, Third Edition, by Frankel, and the book's two equations defining the Lie derivative of a form, equations 4.16 on page 132, don't seem like they're consistent ...
0
votes
0answers
20 views

Frobenius theorem for singular foliations , what are hypotheses impose over an endomorphism $P:TM\to TM$ that it span a singular foliation in M?

Let $M$ a smooth manifold. Given a morphism $P:TM\to TM$, i.e, $\pi\circ P\equiv Id$ and is linear over the fibers. If we suppose that $P^2=P$, then for each $x\in M$, $P_{x}:T_xM\to T_xM$ is a ...
0
votes
1answer
39 views

Differential form calculation

Below is a problem from Arnold's Mathematical Methods of Classical Mechanics. I'm not seeing how the calculation for $\omega_3$ is performed. Any help would be appreciated.
2
votes
1answer
68 views

How to derive the standard symplectic form on a 2-sphere in cylindrical polar coordinates?

I have already know that at a point $p\in S^2$ with $u,v$ the tangent vectors at $p$. Then the standard symplectic form is $\omega_p(u,v) :=\langle p,\,u\times v\rangle$ where $u\times v$ is the outer ...
2
votes
1answer
102 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
48 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
79 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
87 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
155 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
25 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
84 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
178 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
107 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 ...
11
votes
0answers
131 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
79 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
97 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
52 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
62 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
723 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
53 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
40 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)\, ...