Let $$\omega=-xdx \wedge dy-3dy\wedge dz$$ and $$\phi:\mathbb R^2 \to \mathbb R^3, (u,v) \to(uv,u^2,3u+v)$$ I tried to compute the pullback $\phi^*(\omega)$, but was not able to solve it. $$\phi^*(\omega)=(-uv)(vdu+udv)-3(2udu)\wedge(3du+dv)=-uv^2du-u^2vdv-6udu\wedge(3du+dv)=uv^2du-u^2vdv-6udu\wedge3du-6udu\wedge dv$$ Could someone tell me, what I am doing wrong?

The lecturer here wants the viewer to derive the components of the Lie derivative of a (1,1) tensor-field. To this end, I want to derive the components of the Lie derivative of a covector field: let $(U,x)$ be a chart, $\omega, \chi$ covector-fields and $X,Y$ vector fields on the smooth manifold $(M,\mathcal{O},\mathcal{A})$, I get: I […]

This is a followup question to here. Let $M$ be a closed $3$-manifold, and let $\xi$ be a $2$-dimensional subbundle of $TM$. Is there a nowhere zero $1$-form $\alpha$ on $M$ with $\alpha(X) = 0$ for any vector field $X$ which is a section of $\xi$? Does it follow that any two $1$-forms $\alpha$, $\alpha’$ […]

Let $(a:b)\in\mathbb{C}P^1$ and look at the elliptic curve $C$ given by $y^2=x^3+a^4x+b^6$. It is well known that on this elliptic curve we have the holomorphic differential $dx/y$. I have two questions about this: I actually don’t understand very well why $dx/y$ is a holomorphic differential. What happens when $y=0$? If you have a reference where […]

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$; in coordinates $(x,y)$. Let’s consider now the dual space $(\Bbb R^2)^{*}:=\operatorname{Hom}_{\Bbb R}(\Bbb R^2,\Bbb R)$; a base for it […]

Let $T$ denote the torus. I am working towards an understanding of de Rham cohomology. I previously worked on finding generators for $H^1(\mathbb R^2 – \{(0,0)\})$ but then realised that for better understanding I had to look at different examples, too. For the purpose of this question I am only interested in finding just one […]

I want to prove that the exterior derivative of a 2-form in $\mathbb{R}^n$: $${\alpha = \sum a_{ij} dx_i \wedge dx_j}$$ is: $${d \alpha = \sum (\frac{\partial a_{ij}}{\partial x_k} + \frac{\partial a_{jk}}{\partial x_i} – \frac{\partial a_{ik}}{\partial x_j})dx_i \wedge dx_j \wedge dx_k.}$$ The thing is that I’m stucked after taking the differential of the function $a_{ij}$ and […]

I have finally started working on my thesis. I am reading the first reference book, which is Dusa McDuff, D. Salamon, Introduction to Symplectic Topology. It’s a tough struggle, given my not-too-great experience with differential forms. I will recall a few concepts. A manifold $M$ is called symplectic if it is equipped with a closed […]

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 the top de Rham cohomology and the integral $\int_M \omega$ of the members of each equivalence class $\omega$. Moving on […]

Let $M$ be a $n$ dimensional compact differentiable manifold. I would like to show that any exact differential form of degree $n$ vanishes at at least one point. I think it is a generalization of the following fact : if $f$ is a diffferentiable function on $M$ then it either has a maximum or is […]

Intereting Posts

How to prove Bonferroni inequalities?
Minimizing $\sum_{i=1}^n \max(|x_i – x|, |y_i – y|)$ – Sum of Max of Absolute Values
Fibered products in $\mathsf {Set}$
Is there only one way to make $\mathbb R^2$ a field?
Complicated limit calculation
A finite abelian group containing a non-trivial subgroup which lies in every non-trivial subgroup is cyclic
Sum of random subsequence generated by coin tossing
Visualization of surface area of a sphere
Basic divisibility fact
Game Theory Optimal Solution to 2 Player Betting Game
$2^n=C_0+C_1+\dots+C_n$
Methods to see if a polynomial is irreducible
Quotient space of closed unit ball and the unit 2-sphere $S^2$
If $A+A^T$ is negative definite, then the eigenvalues of $A$ have negative real parts?
Why is a raised to the power of Zero is 1?