# Tagged Questions

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

212 views

155 views

### Symplectic Form Preserved by Orthogonal Transformation

I'm trying to prove that the symplectic form $$\omega = d(\cos\theta) \wedge d\phi$$ is preserved by the action of $SO(3)$ on $S^2$ where $\phi$ and $\theta$ are spherical polars. Now $SO(3)$ simply ...
55 views

1k views

### The area form of a Riemannian surface

Let $(M,g)$ be an oriented Riemannian surface. Then globally $(M,g)$ has a canonical area-$2$ form $\mathrm{d}M$ defined by $$\mathrm{d}M=\sqrt{|g|} \mathrm{d}u^1 \wedge \mathrm{d}u^2$$ with respect ...
198 views

70 views

116 views

125 views

44 views

### $d(\iota_v\rho)=0 \implies d(\phi\iota_v\rho)=d\phi(v)\rho$?

My motivation is physical, but my question is purely mathematical. Everybody knows, that the power of the electric current in a piece of wire is $$P=UI$$ where the wire is regular domain $V$ in a ...
40 views

97 views

### Why does a differential form represent a vector field?

I'm trying to learn the Divergence/Stoke's theorem and I can't wrap my head around the meaning of a differential form in this context. What does it mean that a differential form represents a vector ...
93 views

### Proving that the pullback map commutes with the exterior derivative

I'm trying to prove that the pullback map $\phi^{\ast}$ induced by a map $\phi:M\rightarrow N$ commutes with the exterior derivative. Here is my attempt so far: Let $\omega\;\in\Omega^{r}(N)$ and let ...
63 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 L_X\omega=\frac{d}{dt}\vert_{t=0}\varphi_t^*\omega=\lim_{t\...
166 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 ...
Given two Riemannian manifolds $(M,g^M)$ and $(N,g^N)$, we can construct a product Riemannian manifold $(M\times N,g^{M \times N})$ as described in Product of Riemannian manifolds? . Is there a ...