Tagged Questions

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

learn more… | top users | synonyms

-1
votes
0answers
34 views

Harmonic $k$-forms on torus

Find all harmonic $k$-froms on $n$-dimensional torus equipped with metrics $ds^2 = x_1^2 + \dots + x_n^2$. Harmonic means that Laplace-Beltrami operator $D = dd^* + d^*d = 0$.
0
votes
1answer
26 views

Can you switch the order of the determinants when changing variables using the Jacobian?

Let say we're changing the variables and we use the Jacobian to do this. Lets say we integrate in respect to $u$ and $v$, does it matter if we set up the integral like ...
2
votes
2answers
68 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
2answers
29 views

Wedge product computation

Let $\omega \in \Omega^{2}(\mathbb{R}^{2n})$ be the $2$-form $\omega=dx^{1} \wedge dx^{2} + dx^{3} \wedge dx^{4} + \dots + dx^{2n-1} \wedge dx^{2n}$. I want to compute the wedge product of $\omega$ ...
3
votes
1answer
101 views

Coordinate-free definition of integration of differential forms?

Let $\omega$ be an $n$-form on an oriented $n$-manifold $M$. To integrate $\omega$, we choose an atlas $(O_\alpha, (x^1_\alpha,\dots, x^n_\alpha))_\alpha$ for $M$ and a partition of unity ...
1
vote
0answers
36 views

How to Interpret Exterior Derivative as Infinitesimal

In Riemann Integral, one can intuitively interpret $dx$ as infinitesimal, and it makes sense, but in differential forms, it lost this interpretation, is there a way to make connection between these ...
2
votes
2answers
45 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 ...
1
vote
0answers
44 views

double Hodge star operator

$*$ is the Hodge star operator acting on differential $k$-forms on $\mathbb{R}^{n}$ as below: $$*:Λ^k(\mathbb{R}^{n}) \to Λ^{n-k}(\mathbb{R}^{n})$$ $$\alpha \wedge (\star \beta) = \langle ...
1
vote
0answers
29 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
54 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
29 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
40 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
40 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
0answers
31 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
0answers
39 views

Closed 1-forms implies exact 1-forms

I have two problems, the first one I think I´ve prove it, 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 ...
0
votes
1answer
24 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
40 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
56 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
22 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 | ...
4
votes
2answers
90 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
32 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
3answers
48 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
1answer
39 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
33 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 ...
3
votes
1answer
66 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 ...
0
votes
0answers
19 views

differential forms and index

The other question i can´t solve is this, If $\varphi$ a differential transformation such that $\varphi (x,y)=(f(x,y),g(x,y))$ and define $i(\varphi ,D)=\frac{1}{2\pi }\int _{\gamma }\theta _{0}$. ...
1
vote
0answers
40 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
18 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
42 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
34 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
57 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
25 views

Integral of differential of $C^1$ $(k-1)-$form in $\mathbb{R}^n$ over orientable $k$-manifold without boundary is zero

I don't get it. Is this really true? I thought compactness of the manifold would be necessary... It is asserted that $\int_M dw =0$, under the hypothesis that $w$ is of class $C^1$ and is a ...
0
votes
0answers
13 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
33 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
31 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
48 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
42 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
29 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
60 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
132 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
21 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
58 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
102 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
122 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} ...
6
votes
1answer
59 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 ...
5
votes
0answers
66 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
65 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
26 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
1answer
68 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
40 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 ...