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

learn more… | top users | synonyms

1
vote
0answers
23 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
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$; ...
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 ...
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$ ...
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 ...
1
vote
0answers
45 views

Clarification of vector valued forms (sections and tensor products)

I am seeking a bit of clarification on vector valued forms. Intuitively, a vector valued differential form is a differential form on $M$ whose values lie in some vector space. More accurately, Let ...
1
vote
0answers
34 views

Locally Hamiltonian vector fields

Consider the following definitions (taken from [1]) Definition. Let $E$ be a Banach space and $B: E \times E \to \mathbb R$ a continuous bilinear mapping. Then $B$ induces a map $B^\natural: E \to ...
1
vote
0answers
26 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
60 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
26 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
21 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
21 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
82 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
31 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
93 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
50 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
83 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
66 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
70 views

Closed 1-forms implies exact 1-forms

I have two problems, the first one I think I´ve prove it, but I have problems on the second one. Let $\omega$ a closed $1$-form defined on a open $U\subset \mathbb{R^2}$ and let ...
1
vote
0answers
26 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
29 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
42 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
52 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
99 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
96 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
40 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
50 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
67 views

How can we compute the order of 1-form on Riemann surfaces

Let X be a hyperellictic curve defined by $y^2=h(x)$. Let $\pi:X\rightarrow\mathbb{P}^1$ be the double covering map seding $(x,y)$ to $x$. Let $\omega=\pi^*(dx/h(x))$. How can we compute the orders of ...
1
vote
0answers
47 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
86 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
30 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
45 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
54 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
62 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
39 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
30 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
73 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
60 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). ...
1
vote
0answers
254 views

$\alpha \wedge \beta = 0$ iff $\beta = \alpha \wedge \gamma$

I have been given the following problem: Let $\alpha$ be a nowhere-zero 1-form. Prove that for a (p+1)-form $\beta$ $(p\geq0)$, one has $\alpha \wedge \beta = 0$ if and only if $\beta = \alpha ...
1
vote
0answers
53 views

What exactly does it mean to say that “functions cannot be integrated on Riemann surfaces”?

I've seen statements of this sort used to motivate the introduction of differential forms, and I'm not sure exactly what's meant. Obviously if you start by defining differentiation as an operation ...
1
vote
0answers
93 views

Is Cartan's magic formula applicable to time dependent vector fields?

Cartan's magic formula states: $$\mathcal{L}_v\omega = i_v\mathrm{d}\omega + \mathrm{d}i_v\omega$$ Is this also true for time dependent vector fields? If so: How can I prove it? If not: Is there a ...
1
vote
0answers
51 views

A $k$-form is thought of as measuring the flux through an infinitesimal k-parallelepiped

On the wikipedia has written "A $k$-form is thought of as measuring the flux through an infinitesimal k-parallelepiped." How does a $k$-form do this? if this sentence is right, then the flux of which ...
1
vote
0answers
103 views

Prove $\left.{\partial X\over \partial Y}\right|_Z=-\frac{\left.{\partial Z\over \partial Y}\right|_X}{ \left.{\partial Z\over \partial X}\right|_Y}$

$$\left.{\partial X\over \partial Y}\right|_Z=-\frac{\left.{\partial Z\over \partial Y}\right|_X}{ \left.{\partial Z\over \partial X}\right|_Y}$$ The above is an identity frequently used in ...
1
vote
0answers
68 views

Integration equivariant form

We consider the action of $S^{1}$ on $S^{2}$ by rotation respect the vertical axes. We want to integrate the $2-$ equivariant form $$\alpha(X)= -X\cos(\phi) +\sin(\phi)\,d\phi\,d\theta.$$ We have ...
1
vote
0answers
50 views

Finding a function given a differential

I'm still pretty new to this differential business and I have a couple of question concerning this problem I've come across. We're given a differential form $\alpha=p_1 dx_1+p_2 dx_2-H(p_1,p_2)dt$ ...