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

learn more… | top users | synonyms

1
vote
1answer
73 views

A question about differential forms

I have checked Rudin's proof about Poincaré Lemma (Principles of Mathematical Analysis) and it seems to have a mistake. Through Google, I found another guy who has noted such error. More details here: ...
3
votes
2answers
57 views

Poles of abelian differentials

Let $X$ be a smooth projective curve of genus $g$ over an algebraically closed field $k$. As a corollary of the Riemann-Roch theorem we know that for every abelian differential $\omega$ on $X$ we have ...
2
votes
2answers
102 views

Show that $a \wedge * b = g(a,b) \operatorname{vol}$

$\newcommand{\vol}{\operatorname{vol}}$ Let $\omega$ be a $p$-form on a Riemannian manifold $M^n$ with metric $g$ and let $\vol_{i_1,\ldots,i_n}=\sqrt{\lvert g\rvert} \epsilon_{i_1,\ldots,i_n}$ be a ...
0
votes
0answers
164 views

Hodge dual exterior derivative

The introduction of the Hodge dual to the structure of the cotangent space requires the reference to a specific basis or an inner product. I was wondering however, if the composition of hodge dual and ...
1
vote
1answer
39 views

Residues of a meromorphic differential on some particular points

Let $X$ be a compact Riemann surface, $\omega$ a meromorphic differential on $X$ and $f$ a meromorphic function on $X$ with poles only over the points $P_1,\dots,P_d$. The product $\;f\cdot\omega\;$ ...
7
votes
3answers
281 views

Why are differential forms more important than symmetric tensors?

In differential geometry, differential forms are totally anti-symmetric tensors and play an important role. I am led to wonder why do we not study totally symmetric tensors as much as forms. What ...
1
vote
0answers
47 views

invariance of 2-form under $SO(3)$

I'm trying to understand how to derive forms that invariant under action of some group. For example 2-form on $S^2$ and on $\mathbb{R}^3$ is very interesting for me (because I have troubles with it). ...
2
votes
0answers
72 views

differential of a differential form

Given a differential form $w$ on a manifold, I know how to calculate $dw$ in local coordinates. But is there any way to define $dw$ independent of local coordinates?
2
votes
2answers
115 views

p-forms as multilinear maps

I'm studying differential geometry and am learning about differential forms. We have a very intuitive and simple way to understand 1-forms as linear maps on from the tangent space to the base field, ...
1
vote
1answer
88 views

A (not so?) simple question about differential forms

Let $M^n$ be a compact orientable manifold and let $\omega$ be a $(n-1)$-form in $M^n$. I want to show that there is $p\in M$ such that $(d\omega)_p=0$. Can somebody help me, please ? Thanks :)
2
votes
0answers
31 views

Laplacian on a warped product.

Let $(M, g)$, $(N, h)$ be complete Riemannian manifolds (not necessarily compact). Let $f : M \rightarrow (0, \infty)$ be a smooth function, and finally let $$\overline{M} = M \times_f N$$ be the ...
0
votes
0answers
204 views

$\alpha \wedge \beta = 0$ iff $\beta = \alpha \wedge \gamma$

I have been given the following problem: Let $\alpha$ be a nowhere-zero 1-form. Prove that for a (p+1)-form $\beta$ $(p\geq0)$, one has $\alpha \wedge \beta = 0$ if and only if $\beta = \alpha ...
3
votes
1answer
355 views

What's the geometrical intuition behind differential forms?

This question can look like a duplicate of this one, but it's kind of different. I'm trying to relate some geometrical meanings I've seem in some books to the definition of differential forms in ...
0
votes
2answers
60 views

Decomposing a 2-form into a product of two 1-forms

I'm trying to decompose the 2-form $\omega = dx \wedge dy + 4dx \wedge dz + 3dz \wedge dy$ (in $\mathbb{R}^{3}$) as the product of two 1-forms, but get stuck. Is it posible to do this?
4
votes
0answers
66 views

Derivations of the algebra of differential forms

It is well known that the interior product, the Lie derivative, and the De Rham differential are derivations of the algebra of differential forms. Does there exist other derivations of this algebra ...
0
votes
2answers
156 views

Pullback of a Volume Form Under a Diffeomorphism.

I have an exercise here, which I have no idea how to do. Problem: Let $ U $ and $ V $ be open sets in $ \mathbb{R}^{n} $ and $ f: U \to V $ an orientation-preserving diffeomorphism. Then show that ...
2
votes
0answers
48 views

What is the differential of a function?

I'm reading Do Carmo's Differential Forms and Applications (1st ed) and on page 6 he takes a differentiable map $f: \mathbb{R}^{n} \rightarrow \mathbb{R}^{m}$, a point $p \in \mathbb{R}^{n}$ and a ...
0
votes
1answer
149 views

Finding Reeb Vector Field Associated with a Contact Form

I would greatly appreciate it if you could help me with the following: I'm curious as to how to find the Reeb field $R_w$ associated to a specific contact form $w$; does one actually find $R_w$ as ...
1
vote
1answer
49 views

Is $\omega = dU = sin(x+y)dx+cos(x+y)dy$ an exact form?

In my thermodynamics homework I should prove that $dU = sin(x+y)dx+cos(x+y)dy$ is a function of state. Which means it's integration over any path be constant or in other word $dU$ should be an exact ...
6
votes
3answers
561 views

Differential Forms and Vector Fields correspondence

Barrett O'Neill's Differential Geometry book says that Classical vector analysis avoids the use of differential forms on $\mathbb{R}^3$ by converting 1-forms and 2-forms into vector fields via the ...
2
votes
1answer
45 views

Cohomology of volume forms

If g and h are Riemannian metrics on the same manifold, say both of volume 1, then it follows (I guess from Poincaré duality) that their volume forms dvol_g and dvol_h are cohomologous. Question: is ...
6
votes
2answers
744 views

Cartan's magic formula

A possible proof of Cartan's magic formula $$L_X = i_X \circ d+d \circ i_X$$ is to follow the steps: Show that two derivations on $\Omega^{\bullet}(M)$ commuting with $d$ are equal iff they agree on ...
5
votes
1answer
158 views

Is $ds$ a differential form?

I am somewhat confused as to whether $ds$ (line element) is actually a differential form... we have (in $\mathbb{R}^2$): $$ds^2 = dx^2 + dy^2$$ Differential 1-forms are supposed to be linear ...
4
votes
5answers
1k views

How to calculate gradient of $x^TAx$

I am watching the following video lecture: https://www.youtube.com/watch?v=G_p4QJrjdOw In there, he talks about calculating gradient of $ x^{T}Ax $ and he does that using the concept of exterior ...
0
votes
1answer
63 views

How to prove matrix differential rules using differential forms rules

I am learning differential forms on my own through lectures on youtube and one of the things that I am attempting to do is to check if I can derive matrix differential rules using the rules for ...
4
votes
2answers
164 views

Why do all solutions to this equation have the same form?

In this paper on page 45, the authors state that Let's assume we know that $$ w \times dw = d\varphi + \sum_{j=1}^3\alpha_jdx_j, \tag{1}$$ where $\varphi \in H^1(\mathbb{R}^3, \mathbb{R})$, ...
2
votes
1answer
46 views

Proof and counter-example that a chain $c_{R, n} \ne \partial c$. Where is the error?

If $R > 0$ and $n \in \mathbb{Z}$ we can define the singular 1-cube $c_{R, n}\colon [0, 1] \rightarrow \mathbb{R}^2$ by $$c_{R, n}(t) = (R\cos(2\pi n t), R\sin(2\pi n t))$$ We know that $c_{R, n} ...
5
votes
1answer
102 views

A form problem between $S^3$ and $S^2$.

Let $\phi: S^3 \rightarrow S^2$ be an smooth map. a) Suppose that $\omega$ is a 2-form on $S^2$ with $\int_{S^2} \omega =1$. Show that there exists a 1-form $\alpha$ on $S^3$ with ...
4
votes
1answer
164 views

The homology of the torus.

I am reading "Riemann surface" by Donaldson. On page 68, the calculation of the first homology of the torus $T$ is given but there are several steps that I don't understand. Here is the calculation. ...
1
vote
1answer
70 views

How to show $[\omega]=0$ implies $[\omega^n]=0$?

I'm trying to prove the following: If $(M, \omega)$ is a symplectic manifold and $[\omega]=0$ then $[\omega^n]=0$, where $[\omega]$ is the De Rham cohomology class of $\omega$. Well what I've done ...
5
votes
1answer
182 views

1- forms on a torus

I think this is a very simple question but I'm not really confident in mathematics (even if I like it very much) Let's fix a cube $[0,1]^3$ in $R^3$ and identify opposite sides, so as to construct a ...
9
votes
1answer
249 views

Homework: closed 1-forms on $S^2$ are exact.

From the 2008 UCLA Geometry-Topology qualifying exam: let $\theta$ be a $1$-form on $S^2$ with $d \theta = 0$. Construct a function $f$ on $S^2$ with $d f = \theta$. I'm not very confident in my ...
3
votes
1answer
259 views

A $2$-form on $S^2$ is exact if it integrates to zero.

I'm trying to show that a $2$-form on $S^2$ is exact if and only if it integrates to zero, without appealing to de Rham's theorem (basically only using the Poincaré lemma [that every closed form on a ...
4
votes
1answer
94 views

Integrating 2-form

In $\mathbb{R}^3$ I consider the compact 2-dimensional manifold $$ M=\left\{(x,y,z)\in\mathbb{R}^2: z=xy\right\} $$ which is orientated by the (global) map ...
5
votes
2answers
298 views

Why is arc length not a differential form?

I read that the arc length is not a differential form. But I don't understand why it isn't. I understand that differential forms are integrands and arc length is an expression which is integrable. ...
0
votes
0answers
61 views

Show that $\int_Md\omega=0$.

Let $\omega$ be a continiously differentiable $(k-1)$-form in the open set $U\subset\mathbb{R}^n$ and $M\subseteq U$ an orientated compact k-dimensional manifold. Show that $$ ...
1
vote
1answer
111 views

Relation between de Rham cohomology and integration

This question is a follow-up to When does a null integral implies that a form is exact? . As mentionned in the selected answer, given certain conditions it is possible to find an isomorphism between ...
11
votes
3answers
579 views

What is the motivation for differential forms?

I am that point in my mathematical career where I am learning differential forms. I am reading from M.Spivak's Calculus on Manifolds. So far I have gone over the tensor and wedge products and their ...
3
votes
3answers
106 views

Inner product of De Rham cohomology classes

Is there a well-defined inner product between cohomology classes? In particular, is it possible to extend the Hodge inner product? If I try, I obtain this: $$\int *(\omega + d\lambda)\wedge (\sigma + ...
3
votes
1answer
116 views

What do we mean when we say a differential form “descends to the quotient”?

Let $S$ be a surface and let $f:S\rightarrow S$ be a diffeomorphism. We define the mapping torus $M_f$ of the pair $(S,f)$ to be the quotient $$(S\times I) /\sim \quad \text{ where } \ (1,x) \sim ...
2
votes
3answers
452 views

When does a null integral implies that a form is exact?

It is trivial to prove that the integration of a $(n-1)$ exact form on the boundary of a $n$-manifold is 0. What about the contraposative ? If the integration of a $(n-1)$-form on the boundary of a ...
0
votes
2answers
141 views

“Ordinary” and “polar” vector fields in Euclidean $3$-space

In his book Differential Forms with Applications to the Physical Sciences, on pages 19--20, Harley Flanders writes: "a one-form $$ \omega = P\,dx+Q\,dy+R\,dz$$ may be identified with an ...
1
vote
1answer
102 views

symplectic strucutre

Suppose $\omega$ is symplectic structure on $\mathbb R^n$. Let $\omega_0:=\omega|_{x=0}$. Let $\overline{\omega}= \omega_0-\omega$ and for $t\in[0,1]; \omega_t:= \omega+ t\overline{\omega}$. How ...
3
votes
0answers
134 views

Intuitive meaning of $L_X\omega$

Suppose $\alpha$ is a one form and $\omega$ is two form such that $$\alpha= \omega(X,.)\text{ for some } X$$ Then what does intutive meaning of the following expression $$L_X\omega= \omega$$
3
votes
1answer
221 views

Lie derivative along time-dependent vector fields

In "Lectures on Symplectic Geometry" by A. C. da Silva (http://www.math.ist.utl.pt/~acannas/Books/lsg.pdf) the author gives the following definition: $$ \mathcal{L}_{v_t} := \frac{\mathrm d }{\mathrm ...
11
votes
3answers
737 views

Geometric understanding of differential forms.

I would like to understand differential forms more intuitively. I have yet to find a book which explains how the use of the exterior product in differential forms ties into the geometrical ...
3
votes
1answer
134 views

De Rham cohomology notation

According to http://en.wikipedia.org/wiki/De_Rham_cohomology, one defines the $k$-th de Rham cohomology group $H^{k}_{\mathrm{dR}}(M)$ to be the set of equivalence classes, that is, the set ...
10
votes
1answer
378 views

Writing Integrals using Differential Forms

Consider some smooth curve $C \subset \mathbb{R^n}$ and $\gamma:[a,b] \subset\mathbb{R}\rightarrow C$ a parametrisation of $C$ and a continuous vector field $K:\mathbb{R^n} \rightarrow \mathbb{R^n}$. ...
2
votes
1answer
84 views

Question on Differential forms

Let $\Omega\subseteq \mathbb{R}^2$ be an open set and $\omega=\omega^1dx_1+\omega^2dx_2$ an $1$-form on $\Omega$ and $$L=\omega^2\frac{\partial}{\partial x_1}-\omega_1\frac{\partial}{\partial ...
0
votes
1answer
28 views

Question on 2-chain on $\mathbb{R}^3$

Let $\gamma:[0,1]\to\mathbb{R}^3\setminus\{0\}$ be a simplex, with $\gamma(0)=\gamma(1)$. How can I show that exists a $2$-chain $\sigma$ on $\mathbb{R}^3\setminus\{0\}$ such that ...