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

learn more… | top users | synonyms

2
votes
0answers
19 views

Hermitian vector space and relation of associated operators.

Here what i want to do is prove proposition 1.1 in chapter 5, on Wells, Differential analysis on complex manifold, The propositions are follows For Hermitian vector space of complex dimension $n$. ...
2
votes
0answers
27 views

Is there a commutative algebra for which multiderivations are not generated by order 1?

By multiderivations (of order $k$) I mean polylinear skew-commutative operations with values in my algebra which satisfy Leibniz rule in each of the arguments. (That is, the dual module to ...
2
votes
0answers
55 views

Integration of forms on product manifolds

Let $M$ be a compact, connected and oriented smooth manifold of dimension $m$ and let $\pi_1,\pi_2:M\times M\rightarrow M$ be the projections to each factor. Given $\alpha\in H^m(M;\mathbb{R})$, I ...
2
votes
0answers
54 views

Are those two equivalent mathematically speaking?

Starting from the action $$S=-\frac{1}{4}\int{F_{\mu\nu}F^{\mu\nu}d^4x}$$ (until here this is physics but my question is about the math) that is: I got the following equation of motion solving for ...
2
votes
0answers
65 views

Integration is only possible for forms and not for general tensors?

Integration is only possible for forms and not for general tensors? What is the true reason for this? Or can integration of $k$-forms be extended in some natural way to arbitrary $(k,l)$ tensors;if so ...
2
votes
0answers
53 views

A compact $n$-manifold is orientable iff there is an everywhere nonzero $n$-form

Let $M$ be a compact differentiable manifold of dimension $n$ without boundary. Show that $M$ is orientable if and only if there exists a diffential $n$-form $\omega$ defined on $M$ and which is ...
2
votes
0answers
38 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 ...
2
votes
0answers
122 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 ...
2
votes
0answers
72 views

Clarification of vector valued forms (sections and tensor products)

I am seeking a bit of clarification on vector valued forms. Intuitively, a vector valued differential form is a differential form on $M$ whose values lie in some vector space. More accurately, Let ...
2
votes
0answers
206 views

What is this inner product on differential forms?

I am trying to understand the definition of $d^\ast$ of $d$ where $d$ denotes the exterior derivative as given in these lecture notes. (please see page 3) Here are my thoughts so far: Let us ...
2
votes
0answers
38 views

Why do entries of Maurer-Cartan 1-form span space of left-invariant 1-forms

Suppose $G$ is a $k$-dimensional Lie group of $n\times n$ matrices of the form $[g_{ij}(x_1,...,x_k)]$ where $g_{ij}$ are smooth functions. As a follow-up to the question I posted recently, I now ...
2
votes
0answers
32 views

Differentiability of a map into $\wedge T^*M$

Let $M$ a differentiable manifold and $p \in M$. Consider $(U;x_1, \dots, x_n)$ a coordinated system around $p$. $\{dx_\phi\}_\phi$ with $\phi \in \cal{P}(\{1, \dots n\})$, $dx_\phi=dx_{i1} \wedge ...
2
votes
0answers
101 views

Differential one-forms and change of coordinates

Consider two differential one forms: $$\omega=\sum_{i=1}^N \omega_i dx^i$$ $$\omega'=\sum_{i=1}^N \omega'_i dx'^i$$ As I recall from my analysis courses, the symbols $dx$ are a particular notation ...
2
votes
0answers
267 views

Compute the wedge product

This is my first time computing the wedge product, I am not sure if I have done it correctly as I do not have solutions, if I have gotten the answer right or am doing the right method please say. ...
2
votes
0answers
132 views

Pullback of a 1 form on the circle

Q: Let $M$ be a smooth compact manifold, and suppose there is a smooth map $F:M \rightarrow S^{1}$ whose derivative is non-zero at every point. Prove that the de Rham cohomology space $H^{1}(M)$ is ...
2
votes
0answers
81 views

Homotopy, Stokes Theorem and Orientation

I have a problem in which the theory and the computation disagree about a minus sign. My question requires a little setting up. I have a complex valued 2-form $$ \omega = \alpha(\xi_1,\xi_2)\, ...
2
votes
0answers
79 views

An error applying the Stokes theorem?

M is the surface $z=x^2+y^2$ with standard orientation for $x^2+y^2\leq 1$ and $\varphi = 4x^2ydy+z^2dz$ I'd like to verify that $\int_Md\varphi=\int_{\partial M}\varphi$, which I did, but ...
2
votes
0answers
126 views

Prove Green's theorem for circles

So the problem is in the title. The rules are that I can't split the circle into "rectangles" and I can't use pull-back. I tried to do something similar to the proof on unit squares. The problem is ...
2
votes
0answers
81 views

A few identities on differential forms

I just started studying differentiable manifolds, and I've encountered a few allegedly simple questions that aren't really simple to me. If possible, I'd be very happy to see full proofs (without ...
2
votes
0answers
109 views

The first proof for Poincare lemma in history

How can I get a reference about the first proof of Poincare lemma in history? I already know some methods of proof, but I do want to know the original approach. Thanks for your help!
2
votes
0answers
230 views

Volume form on $\mathbb{S}^2$

Let $\omega = x_1 \,dx_2 \wedge dx_3 + x_2 \,dx_3 \wedge dx_1 + x_3\, dx_1 \wedge dx_2$, with $(x_1,x_2,x_3) \in \mathbb{S}^2$, be a volume form on $\mathbb{S}^2$, and let $f : \mathbb{S}^1 \times ...
2
votes
0answers
64 views

Help with local coordinates computations-differential forms

I am reading a lecture notes on differential forms and tangent bundles on complex manifolds and I got stuck on one line where the author does not explain how he did the computation: Let ...
2
votes
0answers
53 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 ...
2
votes
0answers
312 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 ...
2
votes
0answers
80 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 ...
2
votes
0answers
221 views

Exact and Closed forms on Manifolds with Boundary

Let $\bar{M}$ be a manifold with boundary and let $M$ be its interior. Is this statement correct? A smooth k-form $\alpha$ on $\bar{M}$ is closed (exact) if and only if its restriction to $M$, i.e. ...
2
votes
0answers
790 views

Top deRham cohomology group of a compact orientable manifold is 1-dimensional

Let $M$ be a compact smooth orientable manifold of dimension $n$. I am looking for a simple proof that $H_{dR}^n(M) \cong \mathbb R$. Equivalently, an $n$-form which integrates to 0 is exact. I can ...
2
votes
0answers
68 views

How to apply Gauss's theorem when the metric is unknown

Let $f:U \to \mathbb{R}^3$ be a surface, where $U=\{(u^1,u^2)\in \mathbb{R}^2:|u^1|<3, |u^2|<3\}.$ Consider the two closed square regions $F_1=\{(u^1,u^2)\in \mathbb{R}^2:|u^1|\leq1, ...
2
votes
0answers
178 views

Calulation of pullback of form

If $M$ is $2n+1$ dimensional manifold, and $M'= M\times \mathbb R$ Let $x_1,y_1,... x_n, y_n,t', t$ be coordiante of $M'$. With $t$ for coordinate for $\mathbb R$. Let $$ \omega= \sum_{i=1}^n ...
1
vote
0answers
29 views

Boundary of oriented $k$-simplex from PMA Rudin

But paragraph which I marked by red line seems to me confusing. Let $k=3$ then $\sigma=[\mathbf{p}_0,\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3]$ and $\partial ...
1
vote
0answers
28 views

Short question about differential forms / exterior algebra

I am working towards understanding the wedge product of two vectors. Here is what I have so far: Let $V$ be an $n$-dimensional vector space over $\mathbb R$ (or $\mathbb C$, I'm not sure it makes ...
1
vote
0answers
20 views

Computing $\alpha^*w$ in general

Let $A$ be open in $R^k$, let $\alpha : A \rightarrow R^n$ be of class $C^\infty$. Let $x$ denote the general point of $R^k$, let $y$ denote the general point of $R^n$ If $I = (i_i, ...,i_l)$ is an ...
1
vote
0answers
20 views

The determinant of $X_I$ = wedge product of elementary tensors

Let $(x_1,\dots,x_k)$ be vectors in $\mathbb{R}^n$; let $X$ be the matrix $X = [x_1 \cdots x_k]$. If $I = (i_1, \dots, i_k)$ is an arbitrary $k$-tuple from the set $\{1,\dots, n\}$, show that ...
1
vote
0answers
15 views

matrix valued integrating factor of one forms (reference request)

I have $N$ 1-forms $\omega_1(x), \ldots, \omega_N(x)$. I want to know if there exists an invertible linear combination of these forms which yields $N$ closed forms. In other words: does an invertible ...
1
vote
0answers
37 views

Is the curl of a vectorfield expressable in terms of a Lie derivative?

I am loving differential forms and the general version of Stokes theorem. However, I am also fond of the intuitive pictures of my older physics days of $grad$, $div$ and $curl$. I recently stumbled ...
1
vote
0answers
57 views

Formula for the curvature $2$-form.

I'm currently reading a textbook to do with curvature and $k$-forms. It says that the curvature $2$-form given connection $1$-form, $A$, is $$F =d^A A = dA+A \wedge A$$ It then goes on to say that ...
1
vote
0answers
27 views

Application of stoke's theorem - Doubt on calculation of integral

This is an exercise question from Spivak's calculus on manifolds chapter number 4 question 26. Show that $\int_{C_{R,n}}d\theta=2\pi n$, and use stoke's theorem to conclude that $C_{R,n}\neq \partial ...
1
vote
0answers
39 views

Show that if $\omega$ is a 1-form differential, then $\left\vert\int_{C}\omega\right\vert\leq ML$

Show that if $\omega$ is a 1-form differential define on $U\subset\mathbb{R}^{n}$, $c:[a,b]\to U$ is a differentiable curve and $\vert\omega(c(t))\vert\leq M$, for all $t\in [a,b]$, then ...
1
vote
0answers
37 views

Is there a way to compute the Poincaré dual of the following type of degree $(2n-2)$ de Rham class?

Given a closed, connected, symplectic manifold $(X^{2n},\omega)$, is there a systematic method to computing the Poincaré dual surface to degree $(2n-2)$ classes of the form $$[\omega]^{n-2}\cup B + ...
1
vote
0answers
37 views

Let $f\colon \Bbb R^n \to \Bbb R^n$ be the translation, $f(x)=x+a$. Show that $\deg(f)=1$

Let $U,V$ be connected open subsets of $\Bbb R^n$ and let $f\colon U \to V$ be a $C^{\infty}$ proper map. For all $w \in \Omega_c^n(V)$, $\int_{U}f^*(w)=\gamma \int_Vw$. Now define $\deg(f)=\gamma$, ...
1
vote
0answers
19 views

Building Non-vanishing sections in a certain way

Assume you have a vector bundle $\Pi: E \rightarrow M$ where $E$ is the total space, $M$ is a compact manifold. Assume you know it is parallelizable. Let $\psi_i : \Pi^{-1}U_i \rightarrow U_i \times ...
1
vote
0answers
66 views

Flow into a tetrahedron

This problem is from Harold Edwards' Advanced Calculus: A Differental Forms Approach. It is exercise $4c$ in section $1.3$. For a unit flow in the $z$-direction find the total flow into the ...
1
vote
0answers
23 views

Change of the sequence of differentation in physics?

Assume to have a quantity A which is calculated from the formula $A=\frac{dB}{dC}$. dC can be written as dC=dEdF so $A=\frac{dB}{dEdF}$. I assume that the differential of A is also ...
1
vote
0answers
39 views

On closed, symplectically embedded surfaces of ambient compact symplectic manifolds, how does one avoid pulling back a 2-form to an exact 2-form?

Obviously, if one pulls back an exact (with respect to the de Rham d) differential form by any map, then one obtains an exact form on the submanifold. But if one starts out with a form that isn't ...
1
vote
0answers
53 views

Identity regarding the components of a dual basis

This problem is from Robert Wald's "General Relativity." The problem is 4(b) from chapter 2. Let $Y_1\cdots Y_n$ be smooth vector fields on an $n$-dimensional manifold $M$ such that at each $p\in M$ ...
1
vote
0answers
44 views

Show that $1$-form has particular coordinate representation.

I want to show that for a nowhere-vanishing $1$-form $\alpha$ on an $n$-dimensional manifold $M$ we have that $\alpha \wedge d\alpha = 0$ if and only if around every point $p$ there exists a ...
1
vote
0answers
30 views

Zeroes of differential form embedded

Let us consider $S^1$ as a manifold embedded in $\mathbb{R}^2$. Let $dx_1\in\Omega^1(\mathbb{R^2})$. $$ Z_{\mathbb{R}^2}:=\{p\in\mathbb{R}^2:(dx_1)_p=0\}\\ ...
1
vote
0answers
64 views

Is there a deRham (co)homology for vector-valued differential forms?

Is there a deRham (co)homology for vector-valued differential forms? The deRham (co)homology of differential forms has been well-discussed and well-founded, along with the fact that for the exterior ...
1
vote
0answers
46 views

Line integral and differential forms

Let $df = \frac{\partial f}{\partial x_1 } dx_1 + \frac{\partial f }{\partial x_2 } dx_2$ be a $1-form.$ I know that that the line integral (along a curve $\gamma:[0,t] \rightarrow \mathbb{R}^2$) is ...
1
vote
0answers
29 views

Show that $d^2(w)=0$ for every $k$-form in $\mathbb{R}^n$

The question says to start showing this for 0-forms, and I did it. But how can I extend it for any k-form?