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

learn more… | top users | synonyms

1
vote
0answers
36 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
40 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
41 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
28 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
27 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
21 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
40 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
32 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
38 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
48 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
34 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 ...
4
votes
0answers
30 views

Prove, if $\omega$ is a p-form, $\mathbb{d}({\omega}\wedge\eta)=\mathbb{d}\omega\wedge\eta+(-1)^{p}\omega\wedge\mathbb{d}\eta$

I am looking for some direction on a clean proof of the theorem in the title. That is, let $\omega$ and $\eta$ be a p-form and q-form respectively. Then ...
1
vote
0answers
41 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
27 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?
3
votes
0answers
33 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
40 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
94 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
40 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
25 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
23 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 ...
4
votes
3answers
99 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
65 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
22 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
55 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
48 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
63 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
75 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 ...
0
votes
0answers
20 views

Show that $d\log f$ is a 1-current on a 1-dimensional complex manifold

I am having trouble with this problem (and it might be because I have the formulation slightly off). I need to show that $d\log f$ is a 1-current on a 1-dimensional complex manifold $M$. This means ...
3
votes
1answer
72 views

Homework: calculation about differential form

Here is the question: Let $\omega = A dy\wedge dz + B dz \wedge dx + C dx \wedge dy$ in $\mathbf{R}^3$, and $d\omega = 0$. Denote \begin{eqnarray} \alpha = \int_0^1 tA(tx,ty,tz)dt\cdot(ydz-zdy)\\ ...
0
votes
0answers
50 views

Proving $d(f^*e_i')=0$

Let $f:M\to N$ be a differentiable map between two manifolds. $e_i$ is a basis vector of $N$ with respect to some chart and $e_i'$ its dual (i.e. $e_i'(e_j)=\delta_{ij}$). How do I prove the ...
0
votes
1answer
31 views

pullback on vector fields and 1-forrms

On a Riemannian manifold $M$ one can identify 1-forms and vector fields by $$ \alpha(p) = \langle X(p),\cdot\rangle_p $$ Since we can perform a pullback on both 1-forms and vector fields I expected ...
3
votes
1answer
65 views

What exactly are n-forms and how are they related to dual vectors?

I'm trying to get a hold of tensor analysis on manifolds and the idea of vectors and tangent spaces are just starting to click, but I don't really get how the differential of a function can be viewed ...
0
votes
0answers
11 views

How should I work with antisymmetric indices on forms?

I've always tended to be confused by antisymmetrized indices on differential forms, and the only way I can really work with them is by writing out all the terms - which is just not practical beyond 3 ...
8
votes
1answer
127 views

Why are de Rham cohomology and Cech cohomology of the constant sheaf the same

I am comfortable with de Rham cohomology, sheaves, sheaf cohomology and Cech cohomology. I am looking to prove the following theorem: If $M$ is a smooth manifold of dimension $m$, then we have ...
6
votes
2answers
83 views

Relation between exterior (second) derivative $d^2=0$ and second derivative in multi-variable calculus.

What does an exterior (second) derivative such as in $d^2=0$ have to do with second derivatives as in single- or multi-variable calculus? Is this a correct start: Calculus derivatives are good for ...
2
votes
2answers
93 views

Inverse Functions and $u$-Substitution

Back in my undergrad days I wrote a false proof of the following. Problem. Prove that $\displaystyle\int_0^{2\pi}\frac{dx}{1+e^{\sin{x}}}=\pi$ Proof. Integrating by parts gives $$ ...
7
votes
5answers
133 views

Solving $P(x,y)dx + Q(x,y)dy =0$: interpretation in terms of forms

I asked a similar question here which I will formulate more sharply: When we write a differential equation as $P(x,y)dx + Q(x,y)dy = 0$, what is the interpretation in terms of differential forms? ...
0
votes
2answers
65 views

Writing a diffEQ as $P(x,y)dx + Q(x,y)dy = 0$ instead of in terms of $dy/dx$

I'm reading in Tenenbaum and Pollard's Ordinary Differential Equations where they introduce the concept of the differential. Suppose $y=f(x)$ is differentiable. He defines the differential by $dy(x, ...
4
votes
0answers
73 views

Criterion of nonsingular varieties

It's well-known fact, that if $X$ is non-singular algebraic variety over algebraically closed field $k$ and $Y \subset X$ is its irreducible closed subscheme defined by sheaf of ideals $J$, then $Y$ ...
6
votes
2answers
148 views

Why 'closed differential forms' are called 'closed'?

As is well known a differential form $ \omega $ is called closed differential form if it satisfies $ \mbox{d} \omega = 0 \, \, (\ast) \, $ where $ \mbox {d} $ is the exterior derivative. I think the ...
0
votes
1answer
55 views

$V, W$ vector fields, $\omega$ one-form, $d\omega(V, W)=?$

$V, W$ vector fields, $\omega$ one-form, what is the definition of $d\omega(V, W)$? I have seen some equalities and I suppose that $d\omega(V,W)=(V^jW^i-V^iW^j) \frac{\partial f_i}{\partial x^j}$ ...
10
votes
5answers
243 views

Is line element mathematically rigorous?

I know differentials (in a way of standard analysis) are not very rigorous in mathematics, there are a lot of amazing answers here on the topic. But what about line element? $$ds^2 = dx^2 + dy^2 ...
2
votes
0answers
49 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!
1
vote
1answer
41 views

If differential 1-forms agree on chains with integer coefficients, are they equal?

Let $M$ be a real, smooth manifold. Let $\omega_1$ and $\omega_2$ be differential 1-forms on $M$, and let $C_1(\mathbb Z,M)$ denote the set of 1-chains with integer coefficients. If \begin{align} ...
1
vote
0answers
24 views

Litterature: Convex Geometry using differential forms

I've been looking for papers or books that discuss/use differential forms in convex geometry. I have been very unsuccessful in my search and was wondering if anybody here had come across such ...
8
votes
1answer
164 views

When can a functional be written as the integral of a 1-form?

Let a real, smooth manifold $M$ be given. Let $\Gamma$ denote the set of all path segments on $M$, namely the set of all paths of the form $\gamma:[a,b]\to M$. Let $Q:\Gamma\to\mathbb R$ be a ...
5
votes
1answer
62 views

Pullback of a form using the Hopf fibration

I embed the 2-sphere and the 3-sphere in $\mathbb{R}^3$ and $\mathbb{R}^4$ respectively. Then denote by $\{x_1,x_2,x_3,x_4\}$ the coordinates on the 3-sphere and $\{y_1,y_2,y_3\}$ on the 2-sphere. So ...
2
votes
1answer
120 views

Exercice on a differential form

Let $\omega$ be a $q$-form on $\mathbb{R}^2$ and let $Z_{\mathbb{R}^2}(dx_1)=\{p \in \mathbb{R}^2 \colon (dx_1)_{|p}=0\}$ $Z_{S^1}(dx_1)=\{p \in S^1 \colon (dx1_{|S^1})_{|p}=0\}$ where ...
3
votes
2answers
79 views

Explanation for the integral of differential forms

In our course of differential geometry we defined the integral $\int_{U} \omega$ of a differential form $\omega=f dx_1\wedge \ldots \wedge dx_n: T^nU \rightarrow \mathbb R$ with $U\subseteq \mathbb ...
1
vote
0answers
44 views

Structure equations on the 3-sphere

On the 3-sphere I have found the vector fields $X_1=(-x_2,x_1,-x_4,x_3)$, $X_2=(-x_3,x_4,x_1,-x_2)$, $X_3=(-x_4,-x_3,x_2,x_1)$, in the basis $\left\{\frac{\partial}{\partial ...