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

learn more… | top users | synonyms

0
votes
0answers
13 views

Basic Question on Mayer-Vietoris Sequence

On Pg 449 of Lee's Introduction to SMooth Manifolds (2nd Edition), the Mayer-Vietoris Theorem is given: Let $M$ be a smooth manifold. Let $U$ and $V$ be open in $M$ such that $U\cup V=M$. Then ...
2
votes
1answer
32 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 ...
1
vote
1answer
30 views

Derivative for numerical models.

I am working in Mechanical engineering and Computer vision, in which I use a matlab code (or codes) to represent a specific system or process. Of course such model has an input , an implimented ...
1
vote
1answer
17 views

rank of the symplectic form

This is a general question about ranks of differential forms. I read in a book the phrase "symplectic form has constant rank..." I understand that the symplectic form is a nondegenerate differential ...
2
votes
1answer
32 views

An Application of Stokes's Theorem

Let $D^2=\{(x,y)\in \mathbf R^2: x^2+y^2\leq 1\}$ be the unit disc in $\mathbf R^2$, and $D^3=\{(x,y,z)\in \mathbf R^3: x^2+y^2+y^2\leq 1\}$ be the unit disc in $\mathbf R^3$. Let $i_{\pm}:D^2\to ...
0
votes
1answer
29 views

how to find points where a k-form is nonvanishing.

for example, if we are given 2-form $\omega=2xdx\wedge dy+2ydy\wedge dz$, what are the points where the form vanishes? I can only think of points $(0,0,z)$, is it all? Additionally, if we have a form ...
0
votes
0answers
61 views

Integration over a manifold with boundary (Check).

Assume that $ f: \Bbb{R}^{3} \to \Bbb{R} $ is a smooth function such that $ M \stackrel{\text{df}}{=} \left\{ \mathbf{x} \in \Bbb{R}^{3} ~ \middle| ~ f(\mathbf{x}) \ge 0 \right\} $ is a non-empty ...
1
vote
1answer
41 views

Is the form closed?

$S$ is an n dimensional unit sphere such that $S^n=(x\in \Bbb R^{n+1}: |x|=1)$ with some fixed orientation and $\omega$ is a volume form on $S$. Prove that $\omega$ is closed. Prove that $\omega$ ...
0
votes
1answer
25 views

Compute the wedge product n times

Let $\omega$ be a 2-differential form in $\mathbb{R}^{2n}$ given by $$\displaystyle \omega=dx^1\wedge dx^2+dx^3\wedge dx^4 + \cdots + dx^{2n-1}\wedge dx^{2n}$$ Compute: $$\displaystyle ...
0
votes
0answers
8 views

Prove a certain property of the Hodge double star operator

I want to solve the following problem Show that $\ast\ast\omega = (-1)^{k(n-k)}\omega$ where $ \displaystyle \ast\omega =\sum_I \text{sgn}(I,J)\omega_I dx^J$ and $\omega$ is a k-form in ...
0
votes
0answers
13 views

Use a Lie series in order to find the solution to initial value problem

We were presented with a fairly difficult bonus question on my multivariable calculus exam today. I was hoping you all could hope me crack it. The question is as follows: Use a Lie series to find, ...
1
vote
0answers
44 views

Compute the double Hodge star operator

I am taking a course in Multivariable Analysis and I am asked to do the following problem: Show that $\ast\ast\omega = (-1)^{k(n-k)}\omega$ So I start as follows: We know that $\displaystyle ...
2
votes
0answers
48 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 ...
1
vote
1answer
25 views

Direct differentaition

In a STEP problem I found this: the vector "$\vec r$" is given as below ($a$ and $L$ are constants) and then it said to perform direct differentation to get the second equation. $$\vec r = a (\sin ...
0
votes
1answer
21 views

Basic question that has to do with exterior derivative.

Basic question: If we have $$Y=d\left(\frac{1}{\alpha} +\frac{1}{\bar{\alpha}}\right)$$ where $d$ is exterior derivative, i.e, $Y$ is a $1$-form. Now we could write that as ...
0
votes
0answers
30 views

Relationship between Cartan and Fréchet derivative

Let $f: X \rightarrow \mathbb{R}$ be smooth, then the Fréchet derivative is a map $Df: X \rightarrow L(X, \mathbb{R}).$ But if $f: M \rightarrow \mathbb{R}$ is smooth and $M$ a manifold, then the ...
1
vote
0answers
13 views

An expression of covectors acting on vectors on the tangent space of a manifold

Let $M$ be a smooth manifold. Take $p\in M$ and $(U,\varphi)$, $\varphi:U\rightarrow \mathbb{R^n}$, a chart around $p$. Let $\mathbb{R}^n\left[\frac{\partial}{\partial x_i}\right]$ and ...
3
votes
2answers
203 views

Differentiation Tricks

Since most derivatives are trivial to take, it's understandable why integrals get most of the mathematical tricksters' attention. However, not all derivatives are trivial to take and I think it's good ...
1
vote
0answers
59 views

Integrability problem in Cauchy Integral Formula

This is problem on the integrability of a 2-form in the nhbd of its singularity. I was looking at the general Cauchy formula (general because it works for $\mathcal C^1$ function, and makes the case ...
0
votes
0answers
15 views

How to obtain the line element in cylindrical coordinates, using definition of differential forms

In general, a volume element is a k-form on an K-dimensional manifold. a k-form w on $\mathbb{R}^{n}$ is defined as $w(x) = \sum_{i_{1}<i_{2}<...<i_{k}} w_{i_{1}i_{2}...i_{k}}(x) ...
1
vote
0answers
28 views

Cohomology of two pieces of torus

In an exercise from an old exam, I found myself confronted with $M=\{(\sqrt{x^2+y^2}-2)^2+z^2=1\}$, $U=M\cap\{x\neq0\vee y>0\}$, $V=M\cap\{x\neq0\vee y<0\}$ and $U\cap V$, all subsets of ...
0
votes
0answers
28 views

Green's theorem via Stokes's theorem

I am considering the following form of Stokes's theorem: Let $\omega$ be an $n-1$ differential form with compact support on an oriented manifold of dimension $n$. Let us consider the boundary ...
1
vote
0answers
34 views

Pullback 1-differential form

Let $(x_0,x'_0) \in \mathbb{R}^2$ be initial data for the Euler Lagrange equation with some given Lagrangian $L: \mathbb{R}^2 \rightarrow \mathbb{R}.$ Then $F^t$ is the flow that maps the initial ...
5
votes
1answer
171 views

Different definitions of differential forms?

I am a physicist and was reading about differential forms in Classical Mechanics. Now, I thought that a two-form is a smooth map $\omega : M \rightarrow \Lambda(T^*M)$ so that a point $p$ on the ...
1
vote
0answers
22 views

Bianchi Identity - Gauge Theory

I am reading through some lecture notes (found here) and following a proof of the Bianchi identity in the context of principal bundles. That is, $h^*\Omega = 0$, where $\Omega$ is the curvature ...
0
votes
1answer
97 views

Differential forms - looking for 3 definitions!

I am sorry for this type of question, but I currently have to deal with differential forms although I have not heard so far what they actually are, so I have just a few very particular questions about ...
1
vote
0answers
47 views

How can I prove $dz=dx+idy$?

Let's see $\Bbb C$ as an $\Bbb R$-vector space. Hence it is isomorphic to $\Bbb R^2$ and it has dimension $2$. If $v_1,v_2$ is a basis for $\Bbb R^2$, every its element can be written as $xv_1+yv_2$; ...
3
votes
0answers
41 views

Differential Form Pullback Definition

I'm having some difficulty following how Spivak (Calculus on Manifolds) has induced the pullback on page 89. From reading elsewhere online it seems convention is to define the induced map of the ...
0
votes
0answers
25 views

existence of integrating factor

Is there always an integrating factor to turn an incomplete differential $M(x,y)dx+N(x,y)dy$ in to a complete differential. Does the answer depend on dimensionality? for example what is the answer for ...
1
vote
0answers
33 views

Product of Two Orientable Manifolds is Orientable

I am trying to show that following: Let $M$ be an oriented smooth manifold of dimension $m$, and $N$ be an oriented smooth manifold of dimension $n$. Then $M\times N$ is orientable. Let ...
0
votes
0answers
26 views

Integration of a 1-form over a “split curve”.

Bit of a strange question I can't really get my head around so apologies if it is ill-posed. Suppose we take a closed curve $\gamma: S^1 \to C \subset M$ in a Riemannian manifold $M$ and integrate ...
34
votes
3answers
536 views

Is Stokes' Theorem natural in the sense of category theory?

Stokes' Theorem asserts that for a compactly-supported differential form $\omega$ of degree $n-1$ on a smooth oriented $n$-dimensional manifold $M$ we have the marvellous equation $$\int_M d\omega = ...
1
vote
1answer
38 views

Winding number of differential curve

Consider the one-form $\omega$ on $\textbf{R}^2$\ {(0,0)} defined by $\omega$ = $\frac{xdy-ydx}{x^2+y^2}$ Let K $\subset$$\textbf{R}^2$\ {(0,0)} denote the positive x-axis. Let $\gamma$ : $[a,b]$ ...
0
votes
0answers
28 views

One form and Vector fields on a manifold in terms of local coordinates.

Prove : $d$$\omega$$(V,W)$=$V \omega (W) - W \omega(V) -\omega([V,W])$ in local coordinates where $\omega$ is a one-form and V,W are vector fields on a smooth manifold M. I do not know how to ...
-4
votes
2answers
114 views

Differential Forms Notation is Wrong? Confirm or deny? [closed]

Being an engineering student that just happens to have a large interest in math, I have always felt that appealing to definitions instead of intuitively understanding a concept is a mistake. A while ...
0
votes
1answer
34 views

Three-Dimensional Metrics as Deformations of a Constant Curvature Metric?

I read the following paper Three-Dimensional Metrics as Deformations of a Constant Curvature Metric and discovered the following result: I have three questions: (1) Is $h$ also a conformally flat ...
1
vote
0answers
53 views

Connection on Tangent Bundle of Group Manifolds

The thing puzzling me is about a transformation rule of connection on tangent bundle of group manifolds: Assume one has a compact and simply connected Lie group $K$. One can give a metric $g$ on $K$ ...
0
votes
2answers
115 views

Integration over manifolds

S is subset of $\Bbb R^3 $ consisting of the union of 1) $z$ axis 2) the unit circle $x^2+y^2=1,z=0$ 3) the points $(0,y,0)$ with $y \ge1 $ Let $A$ be the open set $\Bbb R^3-S$. Let $C_1, C_2, ...
1
vote
1answer
92 views

Integration of forms on non-simply connected manifolds

What I know is that closed forms are not exact on non-simply connected manifolds, so for instance, if $E$ is a closed form, then $dE = 0$ but $\int_\gamma E \neq 0$, where $\gamma$ is a ...
1
vote
0answers
37 views

Integrating factor for non-exact differential

Given $\frac{xdy+ydx}{x^2+y^2}$ I took partials of either coefficient wrt to other variable I get $\partial P/\partial y$ as $\frac{x^2-y^2}{(x^2+y^2)^2}$ and $\partial Q/\partial x$ as ...
2
votes
1answer
29 views

Does the dual basis to some basis of $T^*_pM$ looks localy like a coordinate chart?

Let $M$ be a manifold and let $\{\alpha_k\}$ be a set of $1$- forms s.t. $\{\alpha_k(p)\}$ forms a basis for $T^*_pM$. Let $(x,U)$ be a chart based in $p$ and denote $\partial_i := ...
8
votes
1answer
115 views

Explain densities to me please!

When it comes to integration on manifolds, I speak two languages. The first is of course the language of differential forms, which is something I am relatively well acquinted with. The second ...
0
votes
0answers
22 views

Topology of “line integral convergence” on the space of curves

Let $C^1(I,\mathbb{R}^n)$ be the space of $C^1$ curves. Give it the topology that satisfies that convergence of a sequence of curves $\gamma_n \to \gamma$ occurs iff these conditions hold: a. ...
4
votes
1answer
72 views

How should we think about equations like $dy = 2x \cdot dx$ from the viewpoint of modern geometry?

We've just started learning about (smooth) manifolds at uni, and I'm kind of hoping this will finally help me get a handle on the dreaded Leibniz notation. Now I've read that expressions $dy$ like can ...
4
votes
0answers
56 views

Can a differential k-form be integrated on a manifold that is not k-dimensional?

For example, can you integrate a 2-form on some curve, a 1-dimensional manifold, or some 3-dimensional manifold? I know that Stokes's Theorem states that if you integrate $\omega \in \mathcal ...
7
votes
3answers
203 views

What is the intuition behind the definition of the differential of a function?

What is the intuition behind the definition of a differential of a function in differential geometry? i.e. $$df(p)(v_{p}) =v_{p} (f)(p) $$ where $v_{p} \in T_{p} M$ is a vector in the tangent space to ...
1
vote
2answers
64 views

The Operator '$d$' Apparently Having two Different Meanings in Differential Geometry.

Given a smooth map $f:M\to N$ between smooth manifolds $M$ and $N$, we denote the global differential of $f$ by $df$. Also, the letter '$d$' is used for denoting exterior derivative of a differential ...
3
votes
0answers
36 views

Can We Write the Differential in Terms of Covectors?

Let $f:\mathbf R^n\to \mathbf R$ be a smooth map. We can write $df:T\mathbf R^n\to \mathbf R$ neatly as $$ df = \sum_{i=1}^n(\partial f/\partial x_i) dx_i $$ For a function $f:M\to \mathbf R$ defined ...
4
votes
1answer
73 views

Is there an intuitve motivation for the wedge product in differential geometry?

I've recently started studying differential forms and have been looking at differential forms. I'm struggling to understand the motivation for introducing the notion of the wedge product. Does it ...
8
votes
2answers
127 views

What is the relation between dx in elementary calculus and dx in differential geometry?

I've recently started studying differential geometry and was really hoping that in doing so I'd finally have an answer to something that's been bugging me since I first learnt calculus - what is ...