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

learn more… | top users | synonyms

4
votes
0answers
62 views

A question on harmonic two-forms

Let $(M^4,g)$ be a closed Riemannian four-manifold with $b_2^+>0$ and $b_2^->0$, is it possible to find two harmonic two-forms $\alpha\in H^2_+(M)$ and $\beta\in H^2_-(M)$, such that ...
0
votes
1answer
43 views

When is an exact 2-form harmonic?

Let $\alpha$ be an exact two-form, $\alpha=d\beta$ for some one-form $\beta$, when is $\alpha$ harmonic? By uniqueness of harmonic forms in cohomology classes, it cannot be harmonic?
2
votes
0answers
44 views

surface element of $S^{3}$

How does one show that the surface element of $S^{3}=\{x=(x_{1},...,x_{4})\in\mathbb{R}^{4}\;|x|^2=1\}$ is given by the following 3-form: $\omega=x_{1}dx_{2}\wedge dx_{3}\wedge ...
2
votes
1answer
56 views

what does it mean for a differential form to be well defined on a manifold?

What does it mean for a differential form to be well defined on some manifold. In particular, why the $2$-form $\omega=d\psi\wedge d\theta$ is well defined on $S^{2}$? Thank you in advance.
1
vote
0answers
37 views

integral of a 2-form over an oriented manifold

An old exam question: Let $M$ be oriented submanifold of $\mathbb{R}^{n}$ of dimension $k$, let $\omega$ be a $k$-form on $M$. 1) Define $\displaystyle\int_{M}\omega$ 2) let ...
2
votes
1answer
66 views

De Rham cohomology for $\mathbb{R^2}$

De Rham cohomology groups for $\mathbb{R^2}$. $H^{0}_{dR}(\mathbb{R}^{2})=\mathbb{R}$ since $Z^{0}(\mathbb{R}^{2})$ is the one dimensional space of locally constant functions on $\mathbb{R}^{2}$ and ...
1
vote
1answer
46 views

Is it true that $0$ is the only exact $0$-form

I am totally new to the concepts of forms so sorry if my question is trivial. I came across a statement that ''there are no exact $0$-forms as there is no $-1$ form. So I revisited the definition ...
0
votes
0answers
27 views

coordinates for $T^*M$, $T^*T^*M$, $T^*T^*… T^*M$

This relates to my previous question on the tautological one form. I'm reading John Lee's Smooth Manifold book. Anyway, I wanted to clear up on some notation, which is confusing at first, but I ...
1
vote
0answers
45 views

Commutative differential graded algebra

The situation is the following: Let $V$ be a Lie algebra of finite dimension, say n, and let be the graded commutative algebra $(\bigwedge^{\bullet}V)^*:=(\bigoplus_{k=0}^n\bigwedge^kV)^*$ and define ...
0
votes
0answers
53 views

Given a closed form, show it is exact

I came across an old exam problem and I wonder how to approach it: 1) Show that if $f$ is a $k$-form on $\mathbb{R}^{n}$ and $df=0$, $k>0$ then $f=dg$ for some $k-1$-form $g$. My first thoughts: ...
1
vote
1answer
64 views

A connection to Stoke's Theorem (I think)

This is homework. I just finished a question regarding double integration over the unit sphere involving pullbacks of differential forms to provide context (course is advanced Calculus). The question ...
0
votes
0answers
14 views

Differential forms and the Lebesgue measure. Parametrization.

Assume $f=\sum_I a_Idx_I$ is a continuous differential $k$-form on $\mathbb R^n$. Here $I$ ranges the increasing $k$-indexes. Fix a point $x_0=(x^0_1,\dots,x^0_n)$ and a multi-index ...
2
votes
4answers
90 views

Show that the form $w$ is closed but not exact

Let $w=\dfrac{-y}{x^2+y^2}dx+\dfrac{x}{x^2+y^2}dy$ Showing that $w$ is closed is easy. Just calculate $dw$ and you'll get 0. But how do I show that $w$ is not exact? In other words, I need to ...
0
votes
1answer
56 views

Defining the integral of differential $1$-forms

Assume $M$ is a smooth manifold, $g:[0,1]\to M$ is a smooth curve on $M$, and $w$ is $1$-form on $M$. Definition: $$\int_gw=\lim_{\Delta\to 0}\sum_{i=1}^nw(x_i)$$ The tangent vectors $x_i$ are ...
2
votes
1answer
95 views

De Rham cohomology, and forms on manifolds

In String Theory and M-Theory by Becker, Becker and Schwarz, they introduce a group, $$C^{p}(M)$$ which they denote the group of all closed $p$-forms on the manifold $M$. Furthermore, they state ...
2
votes
1answer
96 views

Pullback of Differential-Form

Given a differential form $$x\,dy\wedge dz-y\,dx\wedge dz+z\,dx\wedge dy$$ I am supposed to prove that the it's pullback by a linear map of determinant one leaves it invariant. For example, if ...
1
vote
1answer
77 views

diffeomorphism preserve a volume form

Let $\omega_1$, $\omega_2$ two volume form on a compact manifold $M$, we know that there exists a never-vanishing function $f$, s.t. $\omega_1=f\omega_2$. If $h$ is a diffeomorphism $M \to M$ ...
0
votes
1answer
38 views

Differential Forms / Stokes' Theorem Problem

Problem: Let $w = (x + y)dz + (y + z)dx + (x + z)dy$ and let $S$ be the upper part of the unit sphere; that is, $S$ is the set of $(x,y,z)$ with $x^2+y^2+z^2 =1$ and $z\ge0$. $\delta$$S$ is the unit ...
0
votes
1answer
34 views

How to show the identity $d(*df)=(\Delta f)\nu$ where $\nu=dx_1\wedge\ldots \wedge dx_n$?

My textbook defines the Hodge star operator as follows: Given $\omega\in \Omega^k(\mathbb R^n)$ we define $*\omega\in \Omega^{n-1}(\mathbb R^n)$ setting $$*(dx_{i_1}\wedge\ldots\wedge ...
1
vote
3answers
83 views

A question on differential topology

Let $\mathbb{C}P(1)$ denote the complex projective line. I am attempting to show that there does not exist a nonzero holomorphic differential $1$-form on $\mathbb{C}P(1)$. My intuition is as ...
1
vote
1answer
45 views

If $\omega\wedge\beta$ is exact for every closed form $\beta$, then $\omega$ is exact.

Let $\omega$ be a closed $k$-form. Then: If $\omega$ is exact, for every closed form $\beta$, the form $\omega\wedge\beta$ is exact. Proof: Let $\omega=d\alpha$. Now $d(\alpha\wedge\beta) = ...
4
votes
0answers
59 views

show that $\omega$ is exact if and only if the integral of $\omega$ over every p-cycle is 0

Let $M$ be an oriented smooth manifold and $\omega$ a closed $p$-form on $M$. Show that $\omega$ is exact if and only if the integral of $\omega$ over every $p$-cycle is $0$. In particular, how to ...
2
votes
1answer
52 views

Product rule for differential forms?

How would I work out $d(\omega F)$ where $\omega$ is a 1-form and $F$ is a vector valued function? I know that $d(f \omega) = df \wedge \omega + f d\omega$, for a smooth function $f$. I suppose this ...
1
vote
1answer
29 views

How to show $\nu=dx_1\wedge\ldots \wedge dx_n$?

Let $\nu$ be the $n$-form in $\mathbb R^n$ satisfying $\nu(e_1, \ldots, e_n)=1$ where $\{e_1, \ldots, e_n\}$ is the canonical base of $\mathbb R^n$. Let $\displaystyle v_i=\sum_{j=1}^n a_{ij}e_i$. How ...
1
vote
0answers
85 views

Line integral - should I parametrize the square?

I have the following $1-\text{form}$ defined: $$\omega = \displaystyle\frac{2xy}{(1-x^2)^2+y^2}\mathrm{dx}+\displaystyle\frac{1-x^2}{(1-x^2)^2+y^2}\mathrm{dy}$$ I'd like to find ...
1
vote
1answer
52 views

Flat Surfaces in $\mathbb{R}^3$ Can Be Bent Only Along Straight Lines

This is a problem out of Elementary Differential Geometry by Barrett O'Neill (Chapter 6 Section 3 Number 2). Let $M$ be a flat surface in $\mathbb{R}^3$ with principal curvatures $k_1$ and $k_2$, ...
2
votes
0answers
57 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 ...
1
vote
1answer
47 views

Show a 2-form is exact finding a primitive.

I have to show that $\omega=-4xy\:\mathrm{d}x\wedge \mathrm{d}y-2xz\:\mathrm{d}z\wedge \mathrm{d}x +2yz\:\mathrm{d}y\wedge \mathrm{d}z$ is exact finding a primitve of $\omega$ (by Poincare lemma I ...
0
votes
1answer
31 views

Differentiability problem .

Hi can someone help me with the following problem. I am having difficulties evaluating : $$ \frac {d} {dt} f'(u(t)) $$ Is it just $f''(u(t))$ ? Thanks
2
votes
1answer
22 views

Definition of an integrand

General Question: Say we have integral $$ \int f(z)\ dz $$ Is the integrand in this context (i) $f(z)$ or (ii) $f(z)\ dz$? In any case, is $f(z)\ dz$ a formally defined mathematical object in its ...
2
votes
2answers
87 views

surface area of a Torus using differential forms,

Im studing integration over manifolds. I want to compute the surface area of the torus. Im given the usual parametrization $f(u,v)= ((a+b\cos(v))\cos(u), (a+b\cos(v))\sin(u), b\sin(v))$ for $0\leq ...
1
vote
1answer
61 views

The kernel of a differential one-form

I'm thinking about the kernel of a differential one-form $\theta\in\Lambda^{1}(M)$: $$ Ker(\theta):=\left\{X\in\mathfrak{X}(M) \;|\; \theta(X)=0\right\} $$ Now suppose $X\in Ker(\theta)$, then is ...
1
vote
0answers
55 views

How to show the differential form $\nu$ satisfies $\nu(v_1, \ldots, v_n)=\det(a_{ij})$?

In $\mathbb R^n$ consider the differential form $\nu$ satisfying $\nu(e_1, \ldots, e_n)=1$. For every $i=1, \ldots, n$ consider the vector $\displaystyle v_i=\sum_{j=1}^n a_{ij} e_j$. How to show ...
3
votes
1answer
54 views

Recovering a frame field from its connection forms

I have a faced a research problem where I would need to recover a frame field given its connection forms. More precisely, I begin with an orthonormal frame field (given by data) in $\Re^3$ written as ...
1
vote
1answer
52 views

Winding number of a linear transformation?

I know that I am computing something incorrectly. I am trying to compute the index of a positive determinant linear bijection. The form I am using is $\omega = \frac{-y dx + x dy}{x^2 + y^2}$. I ...
1
vote
0answers
49 views

Does this Condition Force this Differential 2-form to be 0?

Let $dw$ be a 2-form; $\alpha$ be a 1-form, $g$ a function (i.e., a 0-form), $X$ be a fixed vector field , all living in a 3-manifold, so that $$dw(X,.)=g\alpha .$$ Does this condition force $dw$ to ...
1
vote
1answer
28 views

If $\omega$ is compactly supported form then so is $d\omega$?

If $\omega$ is a compactly supported differential form then so is $d\omega$. Is it true?
5
votes
1answer
70 views

Can differential forms be generalized to (separable) Banach spaces?

This thought occurred to me earlier and I'm surprised I hadn't considered it previously. I get the feeling that no meaningful generalization can occur in a non-separable Banach space but on the ...
1
vote
0answers
56 views

differential form and cylindrical coordinate

Problem. If $r, \theta, z$ are the cylindrical coordinate functions on $\mathbb > R^3$ , then $x = r\cos\theta, y = r\sin\theta, z = z$. Compute the volume element dx dy dz of $\mathbb R^3$ ...
3
votes
1answer
113 views

Is this differential form closed / exact?

Could you check if I calculated the exterior derivative of this differential form $\omega$ correctly? $\omega \in \Omega_2 ^{\infty} (\mathbb{R}^3 \setminus \{0\})$ $\omega = (x^2 + y^2 + ...
1
vote
1answer
55 views

Cartan formalism calculation

Just to test out the Cartan formalism, I decided to apply it to the sphere. So, it admits a metric, $$\mathrm{d}s^2 = \mathrm{d}r^2 + r^2 \sin^2 \phi \mathrm{d}\theta^2 + r^2 \mathrm{d}\phi^2$$ from ...
1
vote
0answers
31 views

pullback of differential form over a lie group.

Im given that $\omega \in \Omega^3(SL(2,R))$ satisfies $\omega (I) = -2 dx_1 \wedge dx_2 \wedge dx_3$. Consider the left multiplication $L_A(B) = AB$ as a difeormphism over $SL(2,R)$. I want to ...
0
votes
0answers
33 views

differential form and preserving volume

I was reading a beamer about differential foms and I found the following problem. if $M$ is an orientable manifold and $\omega \in \Omega^n(M)$ is the volume form and Let $X$ any vector field. Then ...
7
votes
3answers
286 views

Interior product of differential forms

The interior product of a 2-form $\beta$ and vector field $X$ is defined by $(i_x\beta)(Y)=\beta(X,Y)$ where $Y$ is a vector field. This is the definition of a 2-form (and it's similar for a ...
4
votes
1answer
84 views

What's the mistake in this application of differential forms to vector calculus?

This is the first time I try to apply the calculus of differential forms to make some computation so sorry if I say something very silly. My try was the following: $M=\mathbb{R}^3$, and ...
1
vote
1answer
29 views

Verifying that for w a Contact Form , dw is not zero on Contact Planes.

I'm relatively new to contact forms, and to differential forms in generals; please forgive if this is too simple: I want to show that if $w$ is a contact form (say for a 3-manifold $M^3$), then $dw$ ...
0
votes
1answer
67 views

How to proceed this computation with differential forms?

I've been studying Spivak's differential geometry book and he defines the exterior derivative of $\omega \in \Omega^k(M)$ in a coordinate system $(x,U)$ by $$d\omega = d\omega_{i_1\cdots i_k}\wedge ...
1
vote
1answer
53 views

Why generalize vector calculus with $k$-forms instead of $k$-vectors?

The motivation usually given to differential forms is that they generalize vector calculus nicely. That's true, but there are also $k$-vectors, i.e., objects from $\Lambda^k(V)$ instead of ...
3
votes
1answer
87 views

Differential forms turn infinitesimal stuff rigorous?

First of all, I know that infinitesimals are not well defined in standard analysis and they have rigorously nothing to do with differential forms. My doubt is on the intuition between one relationship ...
2
votes
3answers
96 views

How to deduce this formula using differential forms?

There's a formula from vector calculus that seems terrible to deduce. This formula is: $$\nabla\times (A\times B)=(B\cdot\nabla )A-(A\cdot \nabla)B+A (\nabla\cdot B)-B(\nabla\cdot A)$$ Deducing it ...