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

learn more… | top users | synonyms

1
vote
1answer
67 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
1answer
56 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
2answers
114 views

Question about differential form

$\omega = y dx + dz$ is a differential form in $\mathbb{R}^3$, then what is ${\rm ker}(\omega)$? Is ${\rm ker}(\omega)$ integrable? Can you teach me about this question in details? Many thanks!
1
vote
1answer
65 views

$df$ vanish in a compact manifold in at least 2 points

I need to prove that if $M$ is a compact manifold and $f$ is a smooth function in $M$, then $df$ vanish in at least 2 different points of $M$. I don't know where to start. Any suggestion will be ...
1
vote
1answer
181 views

Locally exact differential in a disk is exact

I'm reading through Ahlfors' Complex Analysis text for self study, and I found difficulty with a proof. In chapter 4 he defines a locally exact differential as a differential who is exact in some ...
1
vote
1answer
96 views

A differential form to compute the k-volume of a k-parallelogram in n dimensions

Computing the k-volume of a k-parallelogram (i.e. a parallelogram spanned by k n-dimensional vectors) in n dimensions is straightforward: Let $P=[\overrightarrow{v_1},...,\overrightarrow{v_k}]$, then ...
1
vote
1answer
74 views

On simply connected domains

During lecture we defined simply connected set in $\mathbb{R}^n$: $\Omega \subset \mathbb{R}^n$ is simply connected, iff it is connected and for any $C^1$ closed curve $c:[0,1]\rightarrow \Omega$ ...
1
vote
3answers
405 views

Differential Forms, Exterior Derivative

I have a question regarding differential forms. Let $\omega = dx_1\wedge dx_2$. What would $d\omega$ equal? Would it be 0?
1
vote
1answer
44 views

Expressing a differential form in terms of a scalar function

We can express every k-form in the form $ \omega(x) = \sum_Id_Idx_I $ where $ I$ is k-tuple and $ d_I$ is just some scalar function of x. That's entirely understandable for me. But while reading ...
1
vote
1answer
93 views

Show that $\omega = d(I\omega)$ if $d\omega = 0$

Let $\omega = P\ dx + Q\ dy$ be a 1-form on $\mathbb{R}^2$. Also, define a 0-form $I\omega({\bf x}) = I\omega(x, y)$ by $$ I\omega({\bf x}) = \int_0^1 P(t {\bf x}) x + Q(t {\bf x}) y\ dt.$$ I would ...
1
vote
1answer
131 views

Tangent Vectors and Differential 1-forms.

I have this 1-form on $\mathbb R^3$ given by $\omega=dz+\frac{x}{2}dy-\frac{y}{2}dx$. If $p_0=(x_0,y_0,z_0)$ and $\vec v=(u_0,v_0,w_0)$, then find the set of tangent vectors $\vec v_{p_0}$ such that ...
1
vote
1answer
109 views

Is the differential form $\omega(x,y)=\frac{2x}{x^2+y^2-4}dx+\frac{2y}{x^2+y^2-4}dy$ exact on his natural domain?

The natural domain $D$ of the differential form $\omega$ is $D=D_1 \cup D_2$ where $D_1=B\bigl((0,0),2\bigr)$ is the open ball of center in the origin and radius $r=2$ and ...
1
vote
1answer
242 views

Recover the differential form by its pullback

I have a smooth manifold $M$ in $\mathbb{R}^n$ given by $M = \{ x \in \mathbb{R}^n \mid g(x) = 0 \}$. Its atlas consists of a single chart $(M,\varphi)$, where $$ \begin{array}{rcl} ...
1
vote
2answers
140 views

Closed differential form.

In the paper, page 5, Line 5, why the form $\eta_j$ is closed? We have to show that $d \eta_j=0$. Here $\eta_j = f(t)dt$ for some function $f$. Is it always true that $d\eta_j$ for any $f$? Thank you ...
1
vote
1answer
17 views

wedge product with and without a second pair of vectors

I am starting to study wedge products, and am stuck on notation. The Bachman book on differential forms says $$ \omega \wedge \nu ( v_1, v_2 ) $$ "gives the area of the parallelogram spanned by ...
1
vote
1answer
30 views

How to make an ideal generated by differential forms into a differential ideal?

Let $M=\mathbb{R}^4$ with standard coordinates $x_1,x_2,x_3,x_4$. Let $\alpha=x_2dx_1+x_3dx_3+dx_4$ and $\beta=2dx_2+x_1^2dx_3+x_1dx_4$ How to find a 1-form $\gamma$ such that the ideal generated ...
1
vote
2answers
45 views

Integrating a differential form inside a cylinder

Let S be cylinder given by $x^2+y^2=1$ between $z=1$ and $z=3.$ For $\varphi=e^xdx\wedge dy+ ydz\wedge dx+xdy\wedge dz$ find $\int_S\varphi$. I managed to finish the problem, but I'm getting ...
1
vote
2answers
63 views

The property of an integral manifold of differential form

Let's define the $1$-form $\eta$ on $\mathbb{R}^3$ by formula: $$\eta = A(x,y,z)\;\mathrm{d}x + B(x,y,z)\;\mathrm{d}y + \mathrm{d}z \text{.}$$ And let's assume that $$\mathrm{d}\eta \wedge \eta = ...
1
vote
2answers
61 views

Wedge product and determinants

I am attempting to self-study differential forms this summer, but I ran into this definition for the wedge product in my book, and it doesn't make any sense to me. Note that $\Bbb R^3_p$ is the ...
1
vote
1answer
65 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 ...
1
vote
1answer
50 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 ...
1
vote
1answer
55 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
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?
1
vote
1answer
126 views

What is the one form given its value for a vector field?

I read an article on vector fields. the author defined a 1-form on a manifold $M$ as $u(X)=\rho$ when $X$ is a given vector field and $\rho$ is a given real valued function defined on $M$. can we ...
1
vote
3answers
66 views

Differential closed form

Im trying to go alone through Fultons, Introduction to algebraic topology. He asks whether there is a function $g$ on a region such that $dg$ is the form: $$\omega =\dfrac{-ydx+xdy}{x^2+y^2}$$ in some ...
1
vote
1answer
64 views

Visualizing Non-Zero Closed-Loop Line Integrals Via Sheets?

How do I visualize $\dfrac{xdy-ydx}{x^2+y^2}$? In other words, if I visualize a differential forms in terms of sheets: and am aware of the subtleties of this geometric interpretation as regards ...
1
vote
1answer
88 views

A (not so?) simple question about differential forms

Let $M^n$ be a compact orientable manifold and let $\omega$ be a $(n-1)$-form in $M^n$. I want to show that there is $p\in M$ such that $(d\omega)_p=0$. Can somebody help me, please ? Thanks :)
1
vote
1answer
49 views

Is $\omega = dU = sin(x+y)dx+cos(x+y)dy$ an exact form?

In my thermodynamics homework I should prove that $dU = sin(x+y)dx+cos(x+y)dy$ is a function of state. Which means it's integration over any path be constant or in other word $dU$ should be an exact ...
1
vote
1answer
70 views

How to show $[\omega]=0$ implies $[\omega^n]=0$?

I'm trying to prove the following: If $(M, \omega)$ is a symplectic manifold and $[\omega]=0$ then $[\omega^n]=0$, where $[\omega]$ is the De Rham cohomology class of $\omega$. Well what I've done ...
1
vote
1answer
110 views

Relation between de Rham cohomology and integration

This question is a follow-up to When does a null integral implies that a form is exact? . As mentionned in the selected answer, given certain conditions it is possible to find an isomorphism between ...
1
vote
1answer
101 views

symplectic strucutre

Suppose $\omega$ is symplectic structure on $\mathbb R^n$. Let $\omega_0:=\omega|_{x=0}$. Let $\overline{\omega}= \omega_0-\omega$ and for $t\in[0,1]; \omega_t:= \omega+ t\overline{\omega}$. How ...
1
vote
1answer
62 views

$k$-forms on $\mathbb{R}^n$

Given an expression like $$ dx_1\wedge dx_2 \wedge dx_4 \left( \begin{bmatrix} 1\\2\\3\ \end{bmatrix} \ , \ \begin{bmatrix} 4\\5\\6 \end{bmatrix} \ , \ \begin{bmatrix} 7\\8\\9 \end{bmatrix} \right) \ ...
1
vote
1answer
163 views

How general formulation of Stoke's theorem relate to Kelvin-Stokes theorem

I asked a similar question, but I realized the question is too vague and it's better to start a new one: We know that there are two usually used formulations of Stoke's theorem. One is vector ...
1
vote
1answer
208 views

Example of differential form usage of Stoke's theorem

There are many examples that show how Kelvin-Stokes theorem is used. But I would like to see an example that uses differential form usage of Stoke's theorem and is hard or impossible to solve by ...
1
vote
1answer
49 views

Question about Interior product computation

I need to evaluate $\omega=i_X(dx\wedge dy)$ where $X$ is a vector field in $\mathbb{C}^2$ (which means $p=2)$. If I write $X(x,y)=(X_1(x,y),X_2(x,y))$, or simply $X=(X_1, X_2)$, then the interior ...
1
vote
1answer
53 views

Basis for the space of $p$-forms

According to the book I read, a general $p$-form can be written as: $$\omega=\omega_{a_1\ldots a_p} dx^{a_1}\wedge\ldots\wedge dx^{a_p},\hspace{0.5cm} a_1>a_2>\ldots>a_p$$ where I have used ...
1
vote
1answer
80 views

Use Fund Thm to evaluate the integral of $ ze^{x^2} dydz + 3ys dydz + (2-yz^7)dxdy $ over surface of the unit cube, except bottom face.

Use the Fundamental Theorem to evaluate the integral of $ ze^{x^2} dydz + 3ys dydz + (2-yz^7)dxdy $ over the surface of the unit cube, except the bottom face.
1
vote
1answer
86 views

Find a $1$-form whose exterior derivative is $2x^2y^2dydz +3xz^2dzdx - 4xy^2dxdy$

Find a $1$-form whose exterior derivative is $$2x^2y^2dydz +3xz^2dzdx - 4xy^2dxdy$$ An exterior calculus question. I am trying to learn some algebraic topology, and have hit a bump with some (I ...
1
vote
1answer
95 views

Why is this integral zero? (Inner product between two 1-forms on a Riemann surface)

I have a quick question regarding the proof of Proposition II.3.2 in Farkas & Kra (pg. 40). The proposition is that if $\alpha$ is a square-integrable, $C^1$ 1-form, then $\alpha$ lives in a ...
1
vote
1answer
165 views

elementary questions about differential forms

QUESTION 1: So I know that if $\omega$ is an alternating $p$-form for odd $p$ on some vector space $V$, then $\omega\wedge\omega = 0$. But...isn't the same true for any $p$? Ie, take for example $p ...
1
vote
1answer
339 views

Existence of orthonormal frame

Let $M$ be a surface with Riemannian metric $g$. Recall that an orthonormal framing of $M$ is an ordered pair of vector fields $(E_1,E_2)$ such that $g(E_i,E_j)=\delta_{ij}$. Prove that an orthonormal ...
1
vote
1answer
201 views

Proving Fréchet differentiability

Am learning about Fréchet differentials and was wondering if for a real matrix $X$ and positive semidefinite real matrices $A,B$ the function $f(X)=TrX^TAX-X^TBX$ is twice Fréchet differentiable or ...
1
vote
1answer
150 views

What exactly are the definitions of $\varphi^*dz$ and $\varphi^*d\bar{z}$?

Suppose $\varphi$ is a smooth map on $\mathbb{C}$. For a function $f$, we define a $0$-form $\varphi^*f$ as $\varphi^*f=f\circ\varphi$. Also, $$ \varphi^*\,dx=\frac{\partial\varphi_1}{\partial ...
1
vote
1answer
117 views

Prove that $f^*\omega=0$

I'd like some help to prove the following: $f\colon U \subset \mathbb{R}^m \to \mathbb{R}^n$, differentiable; $m<n$ ; $\omega$ is a $k$-form in $\mathbb{R}^n$, $k>m$. Show that $f^*\omega = 0$ ...
1
vote
1answer
215 views

Elementary symmetric polynomials and matrices of 1-forms

Let $A$ be a $n \times n$ matrix of 1-forms (for example, a connection form). Note that $A \wedge A$ is not $0$, but by using the anti-symmetry of the wedge product applied to the entries of $A$ we ...
1
vote
1answer
242 views

The chain rule for a function to $\mathbf{C}$

Let $f:U\longrightarrow \mathbf{C}$ be a holomorphic function, where $U$ is a Riemann surface, e.g., $U=\mathbf{C}$, $U=B(0,1)$ or $U$ is the complex upper half plane, etc. For $a$ in $\mathbf{C}$, ...
1
vote
1answer
206 views

If $S^{2n+1}$ is covering space of $X$, then $X$ is orientable.

Is there any direct way to prove that $n$-manifold is orientable? In AT we can just calculate $n$'th homology group and check whether it's $\mathbb Z$ or $0$. But I want a geometric method, using ...
1
vote
0answers
38 views

rudin's principles of mathematical analysis 10.31

I'm working on rudin's principles of mathematical analysis(3rd edition). There is problem too complex for me to solve.Please help me. The problem is on p270-271 of text. "Let T be 1-1 mapping of ...
1
vote
1answer
90 views

Shape operator of the sphere.

I want to compute the Weingarten operator (shape) for the sphere $\{(x,y,z) \in \mathbb{R}^3 \ : \ x^2 + y^2 + z^2 = 1\}$. I am given the adapted frame: $$\left\{\begin{array}{l} E_1 = \cos \varphi ...
1
vote
1answer
59 views

Evaluate line integral without parameterizarion

It's been brought to my attention that line/surface integrals and integrals of differential forms in general can be evaluated without introducing a parameterization, however I haven't been able to ...