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

learn more… | top users | synonyms

0
votes
2answers
59 views

Example of exact form

Consider the differential 1-form $\omega = ydx+dy$. I need to show that this is not exact, and find an example of a function $G(x,y)$ such that $G\omega=G(x,y)(ydx+dy)$ is an exact form. I have done ...
0
votes
1answer
48 views

Theorem 10.22 from PMA RUdin

We know that $(dy_I)_T=dt_{i_1}\land \dots \land dt_{i_k}$ and using definition 10.18 we get $$d((dy_{I})_{T})=d1\land dt_{i_1}\land \dots \land dt_{i_k}=0$$ since $dc=0$ for any $c\in \mathbb{R}^1$. ...
1
vote
1answer
36 views

Derivative of $0$-form

Rudin states that $1$-form $xdy$ is not the derivative of any $0$-form. By contradiction, suppose that that exists $0$-form whose derivative is $xdy$. Then $f\in C'$ and $df=xdy$. But $d^2f=dx\land ...
4
votes
1answer
42 views

Noncanonical isomorphism of spaces of differential forms

Let $\pi: V \to M$ be a smooth $n$-dimensional vector bundle over $M$. Are the spaces of differential forms $\Omega^i(V)$, $\Omega^i(V^*)$ noncanonically isomorphic? If so, how do I see this? Is there ...
2
votes
2answers
73 views

Frank Warner's definition of the Hodge star

Frank Warner's book, chapter 2, excercise 13 states the following: If $V$ is an oriented inner product space ($n$ dimensional) there is a linear map $\ast \colon \Lambda (V) \to \Lambda (V)$, ...
1
vote
1answer
86 views

Does such property exist for differential forms?

I am studying differential forms from Rudin's PMA. Here's the definition of $k$-form Also he proves the anticommutative relation: $dx_1 \land dx_2=-dx_2\land dx_1$ Does the following expressions ...
1
vote
1answer
54 views

Method to calculate the de Rham cohomology of $\mathbb{R}\mathrm{P}^n$

I'm trying to follow through a method to calculate the de Rham cohomology groups of $\mathbb{R}\mathrm{P}^n$ from the de Rham cohomology groups of $S^n$. I'm trying to show that differential k-forms ...
0
votes
1answer
30 views

Are curvature forms in complex line bundles symplectic

I know that the curvature form $F_\nabla$ of a connection $\nabla$ in a complex line bundle $L \to B$ is presymplectic (i.e. antisymmetric and closed). Does it also have to be non-degenerate, i.e ...
0
votes
0answers
15 views

How to show that a tensorial field,$t$, $k$-times covariant over a differential variety $M$ is differentiable by its components

How can i show that a tensorial field,$t$, $k$-times covariant over a differential variety $M$ is differentiable if and only if the following functions (The components of t) are differentiable.: $$t_{...
0
votes
0answers
48 views

vanishing of differential form on connected compact manifold

Let $M$ be a $n$ dimensional compact connected manifold. Let $\alpha$ be a differential form of degree $n$ such that $$ \int_{M} \alpha = 0 $$ then I would like to show that $M$ vanishes at at least ...
2
votes
1answer
48 views

What is the skew-symmetric part of the covariant derivative of a one-form?

This is a followup question to here. Let $E \to M$ be a vector bundle with connection $D := \nabla$. Extend $D$ to $E^*$ and $\text{Hom}(E, E)$. Let $E = TM$ here, and suppose that the torsion is $0$:...
0
votes
0answers
42 views

Integration of forms on manifolds

If you have a $n$-form $\omega$ on $\mathbb{R}^n$, then $\omega = f \mathop{}\!\mathrm{d}x_1 \wedge \dots \wedge \mathop{}\!\mathrm{d}x_n$ locally. Integrating $\omega$ is easy now - let's assume $\...
3
votes
1answer
62 views

Zeroes of exact differential forms on compact manifold

Let $M$ be a $n$ dimensional compact differentiable manifold. I would like to show that any exact differential form of degree $n$ vanishes at at least one point. I think it is a generalization of the ...
2
votes
1answer
32 views

Prove that $p-$form $\omega$ on $M\times N$ is $\delta \pi(\alpha)$ iff $i(X)\omega=0$ and $L_X\omega=0$

Let $M$ be connected and let $\pi:M\times N \rightarrow N$ be the natural projection. Prove that $p-$form $\omega$ on $M\times N$ is $\delta \pi(\alpha)$ for some $p-$form $\alpha$ on $N$ if and only ...
2
votes
2answers
56 views

Integrate ${xdy+ydx} \over {x^2+y^2}$ on the circle $(x-1)^2+(y-1)^2=1$

I tried to integrate ${xdy+ydx} \over {x^2+y^2}$ on the circle $(x-1)^2+(y-1)^2=1$ counterclockwise. Used Grin's theorem, then went to polar cordinates but can't integrate the expression I got. So I ...
0
votes
1answer
31 views

Showing that the exterior derivative of a 1-form is 0.

The question is $$ Let\quad f : \Bbb R \to \Bbb R$$ $$\omega = f(||\mathbf x||)(\sum_{i=1}^n x_{i}dx_{i}) \in \mathcal A^1(\Bbb R^n) $$ $ (a) $ Assuming f is differentiable, prove that $d\omega = 0$ ...
0
votes
0answers
33 views

Elementary properties of diff. form from PMA Rudin

How he got $d\omega$ in the RHS of $(39)$? Or maybe it's a typo?
-1
votes
1answer
41 views

How am I supposed to answer this question?

I've got the following question: The first part of this question I can do. I've deduced that the DE has oscillatory solutions for all $\lambda > 16$; that the Eigenvalues are given by $$ \...
0
votes
3answers
50 views

Reference request: integration of *one*-forms along curves on a differentiable manifold.

Could somebody please direct me to a book/lecture notes with an introduction to integration of one-forms along curves in a differentiable/Riemannian manifold -- preferably leaning more towards ...
1
vote
1answer
31 views

The value of the integral of the curvature of a complex line bundle

I am trying to show that if $L \to M$ is a complex line bundle endowed with a connection $\nabla$, $F$ is the curvature form, and $S \in M$ a closed surface, then $\int \limits _S F \in 2 \pi \textrm ...
0
votes
1answer
46 views

Prove the pullback of the wedge product is the wedge product of the pullbacks.

Let $F:V \rightarrow W$ be a linear map. Show that $F^{\ast}(\omega \wedge \eta)=(F^{\ast}\omega) \wedge (F^{\ast}\eta)$ for all $\omega \in \Lambda^{p}(W) , \eta \in \Lambda^{q}(W)$. Where $F^{\ast}...
0
votes
1answer
38 views

Integral of Differential 1-form

Let $\omega$ be the closed $1$-form $\omega = \frac{xdy - ydx}{x^2 + y^2}$ and let $S$ be the unit circle and let $C = \{(x,y) : (x-3)^2 +y^2 = 1\}$. I'm trying to find $\int _S \omega$ and $\int ...
1
vote
1answer
27 views

Integrate 2-Form over surface

Problem: Calculate $\int_S dx \wedge dy + dy \wedge dz$, where $S$ is the surface given by $S = \{(x,y,z) : x = z^2 +y^2 -1, x < 0\}$. Wikipedia says: Let $$ \omega=f_{z}\, \mathrm dx \wedge \...
0
votes
1answer
25 views

Proof Verification: A differentiable aplication $\psi : M\to N$ is differentiable if and only if: $\psi^{*}f\in C^{\infty}(M)$

Show that a differentiable aplication $\psi$ over $M$ to a differentiable variety $N$ is differentiable if and only if: $$\psi^{*}f\in C^{\infty}(M)$$ For: $f\in C^{\infty}(N)$ Where $\psi^{*}f$ is ...
0
votes
1answer
44 views

Exterior derivative of a two-form with conditions

With the use of this formula $$d\omega(X_1, \dots, X_{r+1}) = \sum_{i=1}^{r}(-1)^{i+1}X_i\omega(x_1,\dots,\hat{X}_i,\dots,X_{r+1})+\sum_{i<j}(-1)^{i+j}\omega([X_i,X_j],X_1,\dots,\hat{X}_i,\dots,\...
1
vote
1answer
29 views

Confusion about holomorphic differential on elliptic curve

Let $(a:b)\in\mathbb{C}P^1$ and look at the elliptic curve $C$ given by $y^2=x^3+a^4x+b^6$. It is well known that on this elliptic curve we have the holomorphic differential $dx/y$. I have two ...
1
vote
3answers
59 views

Nowhere $0$ form on the sphere?

Consider the differential form on $\mathbb R^3$ given by $ x dy \wedge dz + y dz \wedge dx + z dx \wedge dy$. I converted this to spherical coordinates using a laborious calculation, and when I'm done,...
1
vote
1answer
55 views

Proof that exact form are path independent seems to imply the same for merely closed forms

A singular $k$-cube on some set $A \subseteq \mathbb R^n$ is a continuous map $c : [0,1]^k \to A$. Consider the following exercise: Let $c_1, c_2$ be singular $1$-cubes in $\mathbb R^2$ with $c_1(...
4
votes
1answer
55 views

Integral of form pulled back from torus to sphere is zero

I'm trying to show that when we pull back (with any map $f: S^2 \to T^2$ any 2-form on the 2-torus to the 2-sphere it's integral is zero. I understand we can choose coordinates $(\theta_1,\theta_2)$ ...
0
votes
0answers
17 views

Prove that the Differential of a Function is Equal to a Closed 1-Form

Let $\omega$ be a smooth $1$-form on $\mathbb{R}^n$ such that $d\omega=0$. Define a function $f: \mathbb{R}^n \to \mathbb{R}$ by the equation $$f(\vec{x})=\int_{\ell_{(\vec{0}, \vec{x})}} \omega$$ ...
0
votes
0answers
25 views

Computing contraction of a 3-form with vector field

I am trying to understand the idea of contraction by computing the contraction of $$dx\wedge dy \wedge dz$$ over the vector field $$x\frac{\partial }{\partial y}-z\frac{\partial }{\partial x}$$ I ...
0
votes
0answers
17 views

Global Clebsch potentials

For an aribitrary vector field $\mathbf{v}$ on $\mathbb{R}^3$, it always can locally be written as $$ \mathbf{v}=\nabla f+g\nabla{h} $$ where $f$, $g$, $h$ are called Clebsch potentials. My question ...
0
votes
1answer
49 views

Doesn't this article about $1$-forms contradict itself?

I am studying the first page of this article here. The article defines a differential $1$-form to be a smooth map $\alpha : TM \to \mathbb R$ ($TM$ here is the tangent bundle) such that for $m \in M$...
1
vote
2answers
48 views

If $\int_M \omega=0\Rightarrow \omega=d\varphi$, then $H^n_c(M)\simeq\mathbb{R}$? ($M$ is a connected orientable manifold)

I'm reading a book in wich the author uses this argumet the whole time. For example, he assumes that $\int_\mathbb{R}\omega=0$ then $\omega =df$ and then he concludes that that $H^n_c(\mathbb{R})\...
1
vote
1answer
33 views

Finding a basis for the cohomology vector space of 1-forms in the 2-torus, $H^1 (T^2)$

I would like help in understanding where I am going wrong here: If I consider the 2-torus $T^2 = S^1 \times S^1$ with an atlas $(\theta_1,\theta_2)$, I can define 2 closed 1-forms $\omega_1 = d\...
3
votes
1answer
74 views

Is this picture of a differential $1$-form correct?

Consider the following picture of $x dy$: (this picture appears in this article). I believe these lines should be vertical: At each point in $\mathbb R^2$ a basis for the tangent space is given ...
0
votes
1answer
94 views

I have no idea what Differential Forms are… [closed]

So in my Calc 3 class we use Shifrin's "Multivariable Mathematics", and his discussion on Differential Forms and Integration on Manifolds is impossible for me to follow. Can someone recommend ...
1
vote
1answer
42 views

Differential forms should be invariant under coordinate transformations

I am wondering why, if we transform the following differential form, it does not seem to be invariant under the coordinate transformation. The $1$-form on $\mathbb R^2$ is $$ \omega = \sqrt{x^2 + y^2}...
3
votes
0answers
25 views

On the meaning of formal sums of $k$-cubes, i.e. $k$-chains (in integration on manifolds)

A singular $k$-cube in $A \subseteq \mathbb R^n$ is a continuous function $c : [0,1]^k \to A$. A singular $0$-cube in $A$ is then a function $f : \{0\}\to A$, what amounts to the same thing, a point ...
2
votes
0answers
43 views

Unnecessary assumption in exercise (from Spivak, Calculus on Manifolds)

I have a question on the following exercise (which is taken from Spivak, Calculus on Manifolds, page 105). If $\omega$ is a $1$-form $f dx$ on $[0,1]$ with $f(0) = f(1)$, show that there is a ...
1
vote
2answers
46 views

Lie derivative of a covector field

The lecturer here wants the viewer to derive the components of the Lie derivative of a (1,1) tensor-field. To this end, I want to derive the components of the Lie derivative of a covector field: let $...
3
votes
1answer
61 views

Differential forms on a projective curve: two constructions

Let $X$ be a projective curve on a perfect field $k$ ($k$-scheme integral, separated, of finite type) and let $K$ be the function field of $X$. Let's compare the following two constructions: 1. ...
3
votes
0answers
26 views

Kodaira decomposition of 1-form on a Real manifold

I recently stumbled across the Hodge decomposition theorem, which states that on any compact orientable manifold, for any form the following holds $$ \omega = \text{d}\alpha + \delta \beta + \gamma $$ ...
2
votes
0answers
21 views

Integrating a form over an image

I am trying to integrate the 2-form $$\eta=\frac{1}{\|\mathbb{x}\|^m}(x_1dx_2\wedge dx_3-x_2dx_1\wedge dx_3+x_3dx_1\wedge dx_2)$$ over $Y_\alpha$ where $$\alpha(u, v)=(u, v, (1-u^2-v^2)^{1/2})$$ and $...
0
votes
0answers
20 views

How to get a a 1-form $\eta$ from $d\eta$?

I have the form $$d\eta = x_2dx_2\wedge dx_3+x_1x_3dx_1\wedge dx_3$$ and I want to evaluate the integral of it, but I don't know how to get $\eta$ from this thing. Any hints?
2
votes
0answers
31 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 ...
0
votes
1answer
100 views

What is the rank of a differential form

I've been searching the internet and books for a definition but none of the books on differential geometry and manifolds that I have contain the term rank in the index. While trying to find a ...
2
votes
1answer
54 views

understanding of $d(\log f(z))$ in complex analysis

In Gameline's Complex Analysis Chapter 8, the notation $d(\log f(z))$ is used: Here are my questions: In the real case, suppose for any $x\in\mathbb{R}$, one has $f(x)\neq 0$ and $f$ is ...
0
votes
1answer
52 views

Frobenius theorem for differential forms

I have to check the next version of the theorem Frobenius: Let $M$ a smooth manifold and $\{\omega^1,\ldots,\omega^k\}\subset\Omega^{1}(U)$ $l.i.$ on $U\subset M$ and $P(x)=\{ v\in T_x M\vert \omega^...
4
votes
2answers
53 views

Pullback of a complex $ 1$-form

Let $p = \operatorname{exp} : \mathbb{C} \to \mathbb{C}^*$ be a covering and $(U,z)$ a chart of $\mathbb{C}^*$ with $z = x + iy$. Let $\omega = dz/z$ be a one-form on $U$. Problem: Find the pullback $...