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

learn more… | top users | synonyms

1
vote
0answers
42 views

Differential forms defined by integration

Let $\omega_1,\omega_2$ be two n-forms on a $n$-dimensional manifold $M$. Now, imagine we have for every open $N \subset M$ that $$\int_{N}\omega_1 = \int_N \omega_2.$$ Can anybody show me how to ...
1
vote
0answers
27 views

Zeroes of differential form embedded

Let us consider $S^1$ as a manifold embedded in $\mathbb{R}^2$. Let $dx_1\in\Omega^1(\mathbb{R^2})$. $$ Z_{\mathbb{R}^2}:=\{p\in\mathbb{R}^2:(dx_1)_p=0\}\\ ...
1
vote
0answers
26 views

Is there a treatment/development of the Stokes' Theorem using differential forms and the Henstock-Kurzweil integral i.e. the gauge integral?

I'm working through an analysis text independently to prepare for grad school, and the author has discussed the limitations of both the Riemann and Lebesgue integrals and only hinted at the power of ...
1
vote
0answers
22 views

Show that $d^2(w)=0$ for every $k$-form in $\mathbb{R}^n$

The question says to start showing this for 0-forms, and I did it. But how can I extend it for any k-form?
1
vote
0answers
57 views

Wedge product equality of 2n-forms in 2n+2 dimension

I have a question that seems to me clear but i couldn't prove it. I have a diffeomorphism between the cotangent bundle of the n-sphere and the complex quadric as $$T^*(S^n)\to (S^n)^{\mathbb{C}},\ ...
1
vote
0answers
34 views

Integral Over the N-Sphere in the framework of chains:

Integration over manifolds is commonly defined with object called chains. What about if I want to integrate the exterior derivative of a $k-form$ over the n-sphere and use Stokes theorem: ...
1
vote
0answers
41 views

1-form integration

Let $\alpha:[-1,1]\rightarrow R^2$ be the curve segment given by $\alpha=(t,t^2)$. If $\phi=v^2du+2uvdv$, (the fist component of $R^2$ is $u$ and the second one is $v$) I have $$\int_\alpha ...
1
vote
0answers
49 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 ...
1
vote
0answers
25 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 ...
1
vote
0answers
74 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 ...
1
vote
0answers
32 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 ...
1
vote
0answers
40 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 ...
1
vote
0answers
33 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 ...
1
vote
0answers
59 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$ ...
1
vote
0answers
46 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 ...
1
vote
0answers
67 views

Closed 1-forms on Simply Connected Manifold

Is it true that closed 1-forms on a simply connected differentiable manifold are exact. If so, could you explain why? Thanks very much
1
vote
0answers
32 views

Given a smooth 2-form $\varphi$ on a punctured Riemann surface, is there $\nu$ of type (1,0) such that $\varphi=d\nu$?

Let $X$ be a compact Riemann surface, $p\in X$, and $\varphi$ be a smooth 2-form on a $X-\{p\}$, and hence exact. I'm wondering if it is possible to find a form of type (1,0) whose differential is ...
1
vote
0answers
86 views

What is this inner product on differential forms?

I am trying to understand the definition of $d^\ast$ of $d$ where $d$ denotes the exterior derivative as given in these lecture notes. (please see page 3) Here are my thoughts so far: Let us ...
1
vote
0answers
29 views

Show system has a solution using Frobenius method

System: $$\frac{\partial u}{\partial x}=v,\frac{\partial u}{\partial t}=w$$$$\frac{\partial v}{\partial x}=G(x,t),\frac{\partial v}{\partial t}=-\dot{a}(t)G(x,t)$$$$\frac{\partial w}{\partial ...
1
vote
0answers
28 views

Why do entries of Maurer-Cartan 1-form span space of left-invariant 1-forms

Suppose $G$ is a $k$-dimensional Lie group of $n\times n$ matrices of the form $[g_{ij}(x_1,...,x_k)]$ where $g_{ij}$ are smooth functions. As a follow-up to the question I posted recently, I now ...
1
vote
0answers
24 views

$k$-cube definition clarrification

If $c:I^k\rightarrow\mathbb{R}^n$ is a singular $k$-cube. What will $\partial c$ be? Will it be a singular $(k-1)$-cube or a $(k+1)$-cube or something else? Definition - A singular $k$-cube on $U$ ...
1
vote
0answers
107 views

Frobenius theorem method

Question: Let $A(z)$ be smooth with nonvanishing derivative $A'(z)$, and consider the system with first-order PDE's, $$\frac{\partial u}{\partial x}=\frac{\partial K}{\partial ...
1
vote
0answers
35 views

Proving that $\frac{d}{dt}\int \Phi_t^*\omega=\int_{\Phi_t \circ \partial c} i_{\mathbb{X}}\omega$

Let $\omega$ be a closed $k$-form on $\mathbb{R}^n$ and $c:I^k \rightarrow \mathbb{R}^n$ a $k$-cube on $\mathbb{R}^n$. Let $\mathbb{X}$ be a vector field on $\mathbb{R}^n$ with flow $\Phi_t$. Show ...
1
vote
0answers
60 views

Poincaré Lemma problems and computing contractions in an economical way

Let $x=(A,B,C,D)$ be coordinates on $\mathbb{R}^4$. $\displaystyle \beta = \frac{(AdB-BdA)\wedge(dC \wedge dD)+(dA \wedge dB)\wedge(CdD-DdC)}{(A^2+B^2+C^2+D^2)^2}$ I would like to compute ...
1
vote
0answers
94 views

Identity of the pushforward of a vector field using a Jacobi bracket.

Let $Z(u,v)$ be the vector field $Z(u,v)=(u^2+u,v^2+v)$, let $\Gamma_t$ denote its flow. I have shown that $[X,Z]=Z-X$. Show that $(\Gamma_t)_*X=e^{-t}X-(e^{-t}-1)Z$. Could someone please show me ...
1
vote
0answers
58 views

How to Interpret Exterior Derivative as Infinitesimal

In Riemann Integral, one can intuitively interpret $dx$ as infinitesimal, and it makes sense, but in differential forms, it lost this interpretation, is there a way to make connection between these ...
1
vote
0answers
94 views

double Hodge star operator

$*$ is the Hodge star operator acting on differential $k$-forms on $\mathbb{R}^{n}$ as below: $$*:Λ^k(\mathbb{R}^{n}) \to Λ^{n-k}(\mathbb{R}^{n})$$ $$\alpha \wedge (\star \beta) = \langle ...
1
vote
0answers
80 views

Wedge product of differential forms

I'm trying to grasp the notation and concept of wedge products(, and tensors as well). In my lecture notes, the following expansion/notation for a $(n,r)$-tensor is used: In a basis $\left\{ ...
1
vote
0answers
43 views

Zeros of $f$ in a disk

If $f$ holomorphic in a domain $U$ and $f(z)\neq 0$ for all $z\in U$ then every zero of $f$ is such that $f(q)=0$ and $\det(Df_{p})>0$. Using that I have to prove that if $f$ keeps that conditions ...
1
vote
0answers
28 views

closed and bounded form

I have this problem, Let $\omega$ a closed $1$ form in $\mathbb{R^{2}}\setminus {0} $ such that $\omega$ restricted to the set $D$ is bounded with $D=\left \{ x\in\mathbb{R} \text{ such that }\left | ...
1
vote
0answers
43 views

differentiable curve

I´m a little stuck with this problem, I think is false but I can´t find a counter example, here is the problem Let $\omega$ a 1-form defined in $U\subset \mathbb{R^{2}}$(it can be $\mathbb{R^{n}}$, ...
1
vote
0answers
45 views

1-forms and zero simple

Let $\varphi$ a differential transformation such that $\varphi (x,y)=(f(x,y),g(x,y))$ and $D\subset U$ such that $\varphi$ restricted to $\partial D=\gamma$ be distinct zero and we define $i(\varphi ...
1
vote
0answers
32 views

Pullback of area form of manifold by local chart map

Let $M$ be an orientable $2$-manifold in $\mathbb{R}^n$, with area form $dA$. Let $\phi: U \to M$ be a local coordinate system for $M$, with $U \subseteq \mathbb{R}_{uv}^2$. It is stated that ...
1
vote
0answers
45 views

Reference Request for differential ideals of Pfaffian forms on jet bundles

My setting is the following: Given two families of differential forms $\omega^i$ (with $i=1,...,m$) and $\mathrm d F^j$ (with $j=1...n-m$), define $$\eta^i := \sum_{j=1}^m a^i_j\omega^j + ...
1
vote
0answers
55 views

differential form: a question in Novikov's book

I met a problem when reading the book of Novikov et al. "Modern geometry, vol 1". In page 200 of the book (GTM 93, English version), they say for 2-form $F$, $$ (F\wedge F)_{0123}=-{1\over ...
1
vote
0answers
106 views

Integrability of 1-forms and Stokes' Theorem

Let $\alpha$ be a $1$-form defined on a manifold $M$ and $\Delta = ker (\alpha)$. The classical theorem of Frobenius says that $\Delta$ is integrable if $\alpha \wedge d\alpha =0$ i.e if $d\alpha$ is ...
1
vote
0answers
117 views

A 1-form on a smooth manifold is exact if and only if it integrates to zero on every closed curve

I am stuck on the following problem, which comes from a old qualifying exam. Prove that a 1-form $\phi$ on $M$ is exact if and only if for every closed curve c, $\int_{c} \phi =0$. One way is an ...
1
vote
0answers
44 views

Confused about why $dd=0$ in de rham cohomology?

In Bredon's proof that $dd=0$, he lets $\omega=fdx_1\wedge\cdots\wedge dx_p$, and calculates $$ dd\omega=\sum_{j=1}^n\sum_{i=1}^n\frac{\partial^2 f}{\partial x_i\partial x_j}dx_j\wedge dx_i\wedge ...
1
vote
0answers
52 views

Two isomorphisms of the space of vector fields/forms

Suppose you have a diffeomorphism $$ \phi: M \to N. $$ As far as I understand, this gives rise to two distinct isomorphisms $$ a : \mathcal A^1(M) \cong \mathcal A^1(N) :b $$ between the space of ...
1
vote
0answers
49 views

Stoke's theorem explanation

Firstly, Wikipedia informs me that Stoke's theorem might mean two different things so I'm pretty sure I'm talking about the general one. I'll just state what I understand from it and I'd like someone ...
1
vote
0answers
92 views

differential forms and orientation in Bott and Tu

I am reading Bott and Tu book on my own. If you have the text you can answer my question perhaps, if not it would be too long to explain it. I have gotten to page 29. I am confused about proposition ...
1
vote
0answers
35 views

prove that ''pullback'' maps forms to forms

Suppose we have $A: V_{1}\to V_{2}$ where $V_{1},V_{2}$ are real vector spaces. Then $A^{\star}:\mathcal{J}^{k}(V_{2})\to \mathcal{J}^{k}(V_{1})$ where $\mathcal{J}(V):=\{\text{space of all ...
1
vote
0answers
51 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 ...
1
vote
0answers
56 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 ...
1
vote
0answers
67 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 ...
1
vote
0answers
59 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
0answers
45 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 ...
1
vote
0answers
32 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 ...
1
vote
0answers
75 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 ...
1
vote
0answers
64 views

invariance of 2-form under $SO(3)$

I'm trying to understand how to derive forms that invariant under action of some group. For example 2-form on $S^2$ and on $\mathbb{R}^3$ is very interesting for me (because I have troubles with it). ...