0
votes
1answer
14 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$ ...
4
votes
0answers
35 views

Non-vanishing differential forms and flatness

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 ...
0
votes
2answers
44 views

Differential identity and wedge products

Apparently $dx^{i_1} \wedge ... \wedge dx^{i_k}=d(x^{i_1}dx^{i_2}\wedge ... \wedge dx^{i_k})$ which I cannot see proved anywhere in my notes. It just stated as if it is obvious which I don't believe ...
2
votes
2answers
67 views

Part of proof that $d^2\omega=0$

The following comes from the proof in differentiable manifolds that $d^2\omega=0$. Let $f$ belong to the set of $0$-forms. From definition I have that $\displaystyle df = \frac{\partial f}{\partial ...
12
votes
0answers
260 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 ...
1
vote
0answers
31 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
35 views

Vector Laplace Beltrami operator on surface tangent and surface normal vector field

Consider a closed, compact, embedded surface $f:M \rightarrow \mathbb{R}^3$ and a vectorfield $X$ on the surface that can be decomposed in the surface frame basis $\{e_1,e_2,e_3\}$, where ...
1
vote
2answers
96 views

Idempotent operators over the exterior algebra

I am wondering if there exists a (reasonably) well-known set of operators $A_i$ over the exterior algebra such that $\{A_i,A_j\} = \frac{1}{2}(A_i +A_j)$, where $\{X,Y\}=(XY+YX)/2$.
4
votes
1answer
329 views

The Hodge $*$-operator and the wedge product

On every Riemannian manifold $M$, we can consider the Hodge $*$-operator, which is characterised by the following formula: $$a \wedge *b = (a,b)\nu.$$ Here $a$ and $b$ are smooth forms on $M$, $(\ ,\ ...
8
votes
1answer
302 views

Effect of pullback of differential forms on an ideal

Say that the exterior differential system (EDS) corresponding to a PDE system is: $$df-f_x\,dx-f_y\,dy-f_w\,dw-f_z\,dz=0,\\ a_1\,f_x+a_2\,f_y=0,\tag{sys}$$ Of course we also require the independence ...
1
vote
1answer
25 views

To show that $\Lambda^pL(V\rightarrow W)$ and $L(\Lambda^pV\rightarrow W)$ are not necessarily isomorphic

Let $V$ and $W$ be two vector spaces. Use $L(V\rightarrow W)$ to represent the vector space of linear map from $V$ to $W$. It is proved that $\Lambda^p(V^*)\cong (\Lambda^pV)^*$, where $\Lambda$ is ...
7
votes
0answers
234 views

Hodge-Star-Operator on arbitrary oriented basis

Assume that $V$ is oriented finite dimensional vectorspace with dimension $n$, $g \in T^0_2(V)$ a given symmetric and nondegenerate tensor. Let $\mu$ be the corresponding volume element of $V$. ...
3
votes
2answers
82 views

How to integrate this differential form on the boundary of the cube

The setup. Assume $u = u_1+iu_2: \mathbb{R}^3 \to \mathbb{C}$ and we have the differential 1-forms $$ \star\xi=-x_2 dx_3 + x_3 dx_2 $$ and $$ u \times du = \sum_{i=1}^3 (u \times \partial_i u) dx_i = ...
2
votes
1answer
83 views

Pullback expanded form.

Definition. If $f: X \to Y$ is a smooth map and $\omega$ is a $p$-form on $Y$, define a $p$-form $f^*\omega$ on $X$ as follows: $$f^*\omega(x) = (df_x)^*\omega[f(x)].$$ According to Daniel ...
0
votes
1answer
80 views

Exterior Product $d\Phi_1\wedge d\Phi_2$ and spherical coordinates

One short question: If $\Phi\colon\mathbb{R}^3\to\mathbb{R}^3$, defined by $$ \begin{pmatrix}r\\\vartheta\\\phi\end{pmatrix}\mapsto\begin{pmatrix}r\sin \vartheta\cos \phi\\r\sin \vartheta ...
1
vote
1answer
270 views

The wedge product

I have seen the wedge-product as being defined in differential geometry in the definition of a differential form or p-form. Now in the course we have proven the basic properties of this product and ...
2
votes
2answers
69 views

Why is $\theta \not \in C^{\infty}(S^1)$?

Why is $\theta \not \in C^{\infty}(S^1)$? I know that since $\int_{S^1} d\theta = 2\pi$ then $d\theta$ is not exact. Thus since $d(\theta)=d\theta$, $\theta$ must not be $C^{\infty}$ but it seems ...
0
votes
1answer
82 views

Wedge product and change of variables

The question is: Let $\phi : \mathbb{R}^n \to \mathbb{R}^n$ be a $C^1$ map and let $y = \phi(x)$ be the change of variables. Show that $$dy_1\wedge\dots\wedge dy_n = ...
5
votes
2answers
262 views

If $\omega$ is a 2-form on $\mathbb{R}^4$ and $\omega \wedge \omega = 0$, then $\omega$ is decomposable.

I am trying to prove the following from a book I am reading through. Thm: If $\omega$ is a 2-form on $\mathbb{R}^4$ and $\omega \wedge \omega = 0$, then $\omega$ is decomposable. Note ...
4
votes
1answer
177 views

Proving the Poincare Lemma for $1$ forms on $\mathbb{R}^2$

I am trying to prove the Poincare Lemma for $1$ forms on $\mathbb{R^2}$. So I said that if I doing this, I start of with $$\omega = f_1(x_1,x_2) dx_1 + f_2(x_1,x_2)dx_2.$$ First thing I want to ...
2
votes
1answer
91 views

If $ \eta $ and $ \varphi $ are closed differential forms, then prove that $ \varphi \wedge \eta $ is a closed differential form.

Let’s assume that $ \eta $ and $ \varphi $ are closed differential forms. Then how can I prove that $ \varphi \wedge \eta $ is a closed differential form as well? Please explain how to solve this ...
6
votes
3answers
321 views

Exterior algebra of a vector bundle

Associated to any vector space $V$ is its exterior algebra $\Lambda(V)$ which has the direct sum decomposition $\Lambda(V) = \bigoplus_{i=0}^n\Lambda^i(V)$ where $n = \dim V$. My first interaction ...
5
votes
2answers
193 views

$\alpha\wedge\beta = 0$ for all $\beta$ implies $\alpha = 0$ without using the Hodge dual

Let $\alpha$ be a differential $k$-form on an orientable smooth $n$-dimensional manifold. If $\alpha\wedge\beta = 0$ for every differential $(n - k)$-form $\beta$, then $\alpha = 0$ because we can ...
4
votes
2answers
240 views

algebraic manipulation of differential form

Suppose $\phi_1, \phi_2, \dots, \phi_k \in (\mathbb{R}^n)^*$, and $\mathbf{v}_1, \dots, \mathbf{v}_k \in \mathbb{R}^n$ $(\mathbb{R}^n)^*$ stands for the space of all linear transformations that goes ...
2
votes
1answer
192 views

Wedge product with a non-degenerate form

Let $\alpha$ be a non-degenerate form in $\Lambda^k(V)$ for some vector space $V$, $\dim V = n$. (Here non-degenerate means that if $x\in V$ is nonzero, then $(y_1 , ... , y_{k-1}) \mapsto \alpha(x , ...
50
votes
5answers
4k views

Exterior Derivative vs. Covariant Derivative vs. Lie Derivative

In differential geometry, there are several notions of differentiation, namely: Exterior Derivative, $d$ Covariant Derivative/Connection, $\nabla$ Lie Derivative, $\mathcal{L}$. I have listed them ...
4
votes
3answers
151 views

elementary question regarding differential forms

Is it possible to give a high level explanation why changing the order of differentials will give rise to a minus sign ? I.e. why do we have $$ dx\,dt = - dt\,dx $$ (I am going to take a course on ...
5
votes
0answers
65 views

Inner product of $p$-forms [duplicate]

Possible Duplicate: Extension of Riemannian Metric to Higher Forms I have no problems with understanding the inner product of 1-forms on a Riemannian manifold. We have a metric tensor, it's ...
21
votes
3answers
456 views

What's the connection between derivatives and boundaries?

The (second) fundamental theorem of calculus says that $$\int_a^b f'(x) dx = f(b) - f(a)$$ which can also be stated, if one knows enough about what's coming next, as: The integral of the ...
5
votes
1answer
653 views

Covectors $\omega^1, …, \omega^k$ are linearly dependent iff their wedge product is zero

How can I prove that covectors $\omega^1, ..., \omega^k$ are linearly independent iff their wedge product $\omega^1\wedge ...\wedge \omega^k$ is not zero?
12
votes
4answers
4k views

Wedge product and cross product - any difference?

I'm taking a course in differential geometry, and have here been introduced to the wedge product of to vectors defined (in Differential Geometry of Curves and Surfaces by Manfredo Perdigão do Carmo) ...