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

learn more… | top users | synonyms

3
votes
1answer
26 views

Notation for the set of holomorphic differential forms

I used to write $\Omega^p(M)$ for the set of $p$-forms on $M$ and $\Omega^{p,q}(M)$ for the set of $(p,q)$-forms on a complex manifold $M$. Now some authors use $\Omega^p(M)$ to denote the set ...
0
votes
0answers
38 views

Cohomology classes of the DeRham cohomology

May be $TM$ a tangent bundle of the manifold $M$ and $\wedge^n TM$ the set of all $n$-forms. The map $d: \bigwedge^n TM \rightarrow \bigwedge^{n+1}TM$ is called the exterior derivative and it holds ...
1
vote
0answers
26 views

Integral Over the N-Sphere in the framework of chains:

Integration over manifolds is commonly defined with object called chains. What about if I want to integrate the exterior derivative of a $k-form$ over the n-sphere and use Stokes theorem: ...
4
votes
1answer
59 views

Poincaré Lemma, differential forms and I do have troubles

I think I need some hints about a proof I am currently reading in order to understand it. This question is similar to the construction used in Lemma 17.9 in the book "Introduction to smooth manifolds" ...
2
votes
1answer
30 views

Pullback Solid Angle, Stereographic projection

I have an issue with a differential geometry task. Given is the solid angle form: $$\omega = \frac{\epsilon_{ijk} x^i dx^j \wedge dx^k}{2 [ (x^1)^2 + (x^2)^2 +(x^3)^2]^{3/2}}$$ The aim of the task ...
1
vote
1answer
46 views

The adjoint of left exterior multiplication by $\xi$ for hodge star operator

As we know, for $V$ vectoral space and a orientation $\mathcal{O}$ on $V$ and $e_{1},...,e_{n}$, the hodge star operator $\ast:\wedge V^*\rightarrow\wedge V^*$ is defined for ...
3
votes
1answer
39 views

Lie derivative for a wedge product $\omega_{1}\wedge\omega_{2}$

I have to prove that $L_X\omega_{1}\wedge\omega_{2}=(L_X\omega_{1})\wedge\omega_{2}+\omega_{1}\wedge(L_X\omega_{2})$ using the definition ...
2
votes
0answers
37 views

Volume form on $(n-1)$-sphere $S^{n-1}$

Let $\omega$ the (n-1) form on $\mathbb{R}^n$ $$\omega=\sum_{j=1}^{n}(-1)^{j-1}x_{j}dx_{1}\wedge\cdots\wedge \hat{dx_{j}}\wedge\cdots dx_{n}$$ Show that the restriction of $\omega$ to $S^{n-1}$ in ...
1
vote
1answer
48 views

For $(n-1)$-form $\omega$ on $M^{n}$ compact, orientable without boundary, then $d\omega$ vanish for some point

Let $M^{n}$ manifold compact, orientable without boundary and $\omega$ $(n-1)$-form then there is $p\in M$ such that $d\omega(p)=0$. This is for my homework of integration on manifolds & Stokes ...
4
votes
1answer
91 views

Is $\omega=\sin\varphi\,\mathrm{d}\theta\wedge\mathrm{d}\varphi$ an exact form?

Let $\omega=\sin\varphi\,\mathrm{d}\theta\wedge\mathrm{d}\varphi$ be a $2$-form on $\mathbb{R}^3\setminus\{0\}$. Then ...
0
votes
0answers
40 views

Is this differential 2-form closed

Consider a unit sphere $S^2 \subset R^3$ and a map $\omega_p : T_pS^2 \times T_pS^2 \to \mathbb{R}$ defined by $$\omega_p(u,v) = (u \times v) \cdot p$$ How do I know is this 2-form (on $S^2$) closed ...
1
vote
1answer
35 views

Poincare: Change of form to a primitive 1-form

Given a 2-form w on $R^3$, such that dw=0; how does one find all 1-forms k such that dk=w? Provided a homotopy H(t) one can pull back w and apply the Poincare operator on it. But what if one does not ...
0
votes
1answer
20 views

Deduce that there is a cup product that is well-defined

I have showed that if $\alpha$ and $\beta$ are closed forms on a smooth manifold $M$, then $\alpha \wedge \beta$ also be closed. Further, if one of $\alpha$ or $\beta$ is exact, than $\alpha \wedge ...
2
votes
1answer
69 views

An interpretation of $ \frac{\partial^{2}}{\partial x^{2}} $.

$ \left( \dfrac{\partial}{\partial x} \right)_{p} $ is both an element of the tangent space $ {T_{p}}(M) $ and a linear functional on $ {C^{1}}(M) $, while $ (\mathrm{d}{x})_{p} $ is an element of the ...
3
votes
2answers
55 views

Differential forms in Physics

In the context of physics, I just read about the the symplectic 2-form $\omega$ on a symplectic manifold $M$ of dimension $2n$. Unfortunately, I could not follow a few arguments. I.e. it was said ...
2
votes
0answers
32 views

Does the wedge product of bundle-valued forms induce a universal object?

Given a smooth manifold $M$ and a vector bundle $E$ over $M$, the $C^\infty(M)$-module of $E$-valued $p$-forms on $M$ is defined to be $$\Omega^p(M; E) := \Gamma_M\left( \bigwedge^p T^*M \otimes E ...
8
votes
1answer
69 views

What makes differential forms special

There are two natural structures defined on differential manifolds, namely tangent bundle and its dual cotangent bundle. An element of tangent bundle $TM$ at a base point $p\in M$ can be described by ...
3
votes
1answer
55 views

Geometric intuition about the exterior derivative

Let $M$ be a smooth manifold. One $k$-form is a section of the bundle $\bigwedge^k T^\ast M$, that is, if $p\in M$ and $\omega$ is a $k$-form then $\omega_p$ is one $k$-linear alternating real ...
1
vote
0answers
34 views

1-form integration

Let $\alpha:[-1,1]\rightarrow R^2$ be the curve segment given by $\alpha=(t,t^2)$. If $\phi=v^2du+2uvdv$, (the fist component of $R^2$ is $u$ and the second one is $v$) I have $$\int_\alpha ...
2
votes
1answer
30 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: ...
8
votes
2answers
35 views

$\text{Alt}\,(\phi_1 \otimes \phi_2 \otimes \phi_3)$

How do I write out $\text{Alt}(\phi_1 \otimes \phi_2 \otimes \phi_3)$ for $\phi_1, \phi_2, \phi_3 \in V^*$?
3
votes
1answer
45 views

Integration with 2-forms

Wikipedia says: Let $$ \omega=f_{z}\, \mathrm dx \wedge \mathrm dy + f_{x}\, \mathrm dy \wedge \mathrm dz + f_{y}\, \mathrm dz \wedge \mathrm dx $$ be a 2-form on a surface with parametrization ...
0
votes
0answers
21 views

Proof of a result in differential forms

I want to prove the following result: Let $w = w_1 dx + w_2 dy + w_3 dz$ a 1-differential form, such that $ w_1,w_2,w_3$ are homogenous of order $\alpha$ show that if $w $ is closed then $ w = df$ ...
1
vote
1answer
45 views

Is $\omega = x^2\,dy\,dz +y^2\,dz\,dx + z^2\,dx\,dy$ exact?

this isn't a homework problem or anything. Basically is $\omega = x^2 \,dy\,dz +y^2\,dz\,dx + z^2\,dx\,dy$ exact? That is, is there a $\lambda$ such that $\omega=d\lambda$, if so what is it? I think ...
0
votes
0answers
47 views

Basic Question on Mayer-Vietoris Sequence

On Pg 449 of Lee's Introduction to SMooth Manifolds (2nd Edition), the Mayer-Vietoris Theorem is given: Let $M$ be a smooth manifold. Let $U$ and $V$ be open in $M$ such that $U\cup V=M$. Then ...
3
votes
1answer
46 views

Area form a differential form?

I just read that $\omega_x( \eta, \zeta) := \langle x, \eta \times \zeta \rangle $ is the area form on the sphere, where $x \in \mathbb{S}^2$ and $\eta,\zeta \in T_xM.$ All I see is that this is ...
1
vote
1answer
35 views

Derivative for numerical models.

I am working in Mechanical engineering and Computer vision, in which I use a matlab code (or codes) to represent a specific system or process. Of course such model has an input , an implimented ...
1
vote
1answer
24 views

rank of the symplectic form

This is a general question about ranks of differential forms. I read in a book the phrase "symplectic form has constant rank..." I understand that the symplectic form is a nondegenerate differential ...
2
votes
1answer
35 views

An Application of Stokes's Theorem

Let $D^2=\{(x,y)\in \mathbf R^2: x^2+y^2\leq 1\}$ be the unit disc in $\mathbf R^2$, and $D^3=\{(x,y,z)\in \mathbf R^3: x^2+y^2+y^2\leq 1\}$ be the unit disc in $\mathbf R^3$. Let $i_{\pm}:D^2\to ...
0
votes
1answer
34 views

how to find points where a k-form is nonvanishing.

for example, if we are given 2-form $\omega=2xdx\wedge dy+2ydy\wedge dz$, what are the points where the form vanishes? I can only think of points $(0,0,z)$, is it all? Additionally, if we have a form ...
0
votes
0answers
65 views

Integration over a manifold with boundary (Check).

Assume that $ f: \Bbb{R}^{3} \to \Bbb{R} $ is a smooth function such that $ M \stackrel{\text{df}}{=} \left\{ \mathbf{x} \in \Bbb{R}^{3} ~ \middle| ~ f(\mathbf{x}) \ge 0 \right\} $ is a non-empty ...
1
vote
1answer
43 views

Is the form closed?

$S$ is an n dimensional unit sphere such that $S^n=(x\in \Bbb R^{n+1}: |x|=1)$ with some fixed orientation and $\omega$ is a volume form on $S$. Prove that $\omega$ is closed. Prove that $\omega$ ...
0
votes
1answer
29 views

Compute the wedge product n times

Let $\omega$ be a 2-differential form in $\mathbb{R}^{2n}$ given by $$\displaystyle \omega=dx^1\wedge dx^2+dx^3\wedge dx^4 + \cdots + dx^{2n-1}\wedge dx^{2n}$$ Compute: $$\displaystyle ...
0
votes
0answers
10 views

Prove a certain property of the Hodge double star operator

I want to solve the following problem Show that $\ast\ast\omega = (-1)^{k(n-k)}\omega$ where $ \displaystyle \ast\omega =\sum_I \text{sgn}(I,J)\omega_I dx^J$ and $\omega$ is a k-form in ...
0
votes
0answers
15 views

Use a Lie series in order to find the solution to initial value problem

We were presented with a fairly difficult bonus question on my multivariable calculus exam today. I was hoping you all could hope me crack it. The question is as follows: Use a Lie series to find, ...
1
vote
0answers
44 views

Compute the double Hodge star operator

I am taking a course in Multivariable Analysis and I am asked to do the following problem: Show that $\ast\ast\omega = (-1)^{k(n-k)}\omega$ So I start as follows: We know that $\displaystyle ...
2
votes
0answers
59 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 ...
1
vote
1answer
25 views

Direct differentaition

In a STEP problem I found this: the vector "$\vec r$" is given as below ($a$ and $L$ are constants) and then it said to perform direct differentation to get the second equation. $$\vec r = a (\sin ...
0
votes
1answer
21 views

Basic question that has to do with exterior derivative.

Basic question: If we have $$Y=d\left(\frac{1}{\alpha} +\frac{1}{\bar{\alpha}}\right)$$ where $d$ is exterior derivative, i.e, $Y$ is a $1$-form. Now we could write that as ...
0
votes
0answers
48 views

Relationship between Cartan and Fréchet derivative

Let $f: X \rightarrow \mathbb{R}$ be smooth, then the Fréchet derivative is a map $Df: X \rightarrow L(X, \mathbb{R}).$ But if $f: M \rightarrow \mathbb{R}$ is smooth and $M$ a manifold, then the ...
1
vote
0answers
15 views

An expression of covectors acting on vectors on the tangent space of a manifold

Let $M$ be a smooth manifold. Take $p\in M$ and $(U,\varphi)$, $\varphi:U\rightarrow \mathbb{R^n}$, a chart around $p$. Let $\mathbb{R}^n\left[\frac{\partial}{\partial x_i}\right]$ and ...
3
votes
2answers
218 views

Differentiation Tricks

Since most derivatives are trivial to take, it's understandable why integrals get most of the mathematical tricksters' attention. However, not all derivatives are trivial to take and I think it's good ...
1
vote
0answers
61 views

Integrability problem in Cauchy Integral Formula

This is problem on the integrability of a 2-form in the nhbd of its singularity. I was looking at the general Cauchy formula (general because it works for $\mathcal C^1$ function, and makes the case ...
0
votes
0answers
17 views

How to obtain the line element in cylindrical coordinates, using definition of differential forms

In general, a volume element is a k-form on an K-dimensional manifold. a k-form w on $\mathbb{R}^{n}$ is defined as $w(x) = \sum_{i_{1}<i_{2}<...<i_{k}} w_{i_{1}i_{2}...i_{k}}(x) ...
1
vote
0answers
30 views

Cohomology of two pieces of torus

In an exercise from an old exam, I found myself confronted with $M=\{(\sqrt{x^2+y^2}-2)^2+z^2=1\}$, $U=M\cap\{x\neq0\vee y>0\}$, $V=M\cap\{x\neq0\vee y<0\}$ and $U\cap V$, all subsets of ...
0
votes
0answers
30 views

Green's theorem via Stokes's theorem

I am considering the following form of Stokes's theorem: Let $\omega$ be an $n-1$ differential form with compact support on an oriented manifold of dimension $n$. Let us consider the boundary ...
1
vote
0answers
35 views

Pullback 1-differential form

Let $(x_0,x'_0) \in \mathbb{R}^2$ be initial data for the Euler Lagrange equation with some given Lagrangian $L: \mathbb{R}^2 \rightarrow \mathbb{R}.$ Then $F^t$ is the flow that maps the initial ...
5
votes
1answer
178 views

Different definitions of differential forms?

I am a physicist and was reading about differential forms in Classical Mechanics. Now, I thought that a two-form is a smooth map $\omega : M \rightarrow \Lambda(T^*M)$ so that a point $p$ on the ...
1
vote
0answers
25 views

Bianchi Identity - Gauge Theory

I am reading through some lecture notes (found here) and following a proof of the Bianchi identity in the context of principal bundles. That is, $h^*\Omega = 0$, where $\Omega$ is the curvature ...
0
votes
1answer
105 views

Differential forms - looking for 3 definitions!

I am sorry for this type of question, but I currently have to deal with differential forms although I have not heard so far what they actually are, so I have just a few very particular questions about ...