A differential form $ \omega$ is a section of the exterior algebra $\Lambda^* T^* X$ of a cotangent bundle,

**3**

votes

**2**answers

131 views

### Theorems similar to Tischler fibering theorem

Tischler theorem states that the existence of a nowhere vanishing closed $1$-form in a compact manifold $M$ implies that the manifold fibers over $S^1$. Do you know any other diffential topology ...

**3**

votes

**1**answer

118 views

### Computing relative cohomology class of differential form

When dealing with a top degree differential form $\mu$ in a manifold $M$, a way of "computing" its cohomology class is integrating it through the whole manifold. For instance, if the integral $ \int_M ...

**12**

votes

**2**answers

723 views

### Residues of $\frac{1}{\prod_{i=1}^n (x-P_i)^{e_i}}$

This is a problem occurring in my research about deformations of $\mathbb{Z}/p^n$-covers over a ring of power series. Given an algebraically closed field $k$ of characteristic $p>0$, suppose $1< ...

**8**

votes

**1**answer

225 views

### Condition on a differential form arising from the theory of elasticity

Let $D$ be the unit $n$-ball (for concreteness). Let $\beta\in\Omega^1(D;R^n)$ be an $R^n$-valued one-form, having full rank (viewed as a section of $T^*D\otimes R^n$). Under what conditions on $\beta$...

**1**

vote

**1**answer

115 views

### Can every De Rham cohomology class be represented by a closed form $\alpha$ with $L_X \alpha=0$

Assume that $M$ is a manifold and $X$ is a vector field on $M$.
Is it true to say that every closed form is De Rham-cohomologue to a closed form $\alpha$ with $L_X \alpha =0$?

**5**

votes

**1**answer

188 views

### Hodge Laplacian in local coordinates

On a Riemannian Manifold $M^n$, the Hodge Laplacian is defined on k-forms by $\Delta\omega=\operatorname{d}\operatorname{d}^*\omega+\operatorname{d}^*\operatorname{d}\omega$. For 0-forms, e.i. smooth ...

**15**

votes

**2**answers

594 views

### How does one compute the space of algebraic global differential forms $\Omega^i(X)$ on an affine complex scheme $X$?

In 1963 Grothendieck introduced the algebraic de Rham cohomolog in a letter to Atiyah, later published in the Publications Mathématiques de l'IHES, N°29.
If $X$ is an algebraic scheme over $\mathbb C$...

**8**

votes

**0**answers

104 views

### Countability assumption for good covers in Bott-Tu

In chapter II of their text Differential Forms in Algebraic Topology, Bott and Tu construct the Čech-De Rham complex with regards to an open covering indexed by some ordered and countable indexing set....

**9**

votes

**0**answers

175 views

### Which differential forms commute with the curvature form?

Consider a vector bundle, $E \to M$, with connection, $\nabla$, and curvature $2$-form, $F$ on $M$. For $E$-valued differential forms on $M$, $\Omega(M, E)$, we have an exterior covariant derivative, ...

**8**

votes

**1**answer

164 views

### Simple identity on Lie algebras in a note of Koszul

In a 1947 Comptes Rendus note (T224, p. 448), Koszul makes the following claim (paraphrased, hopefully correctly), which seems like it should have a simple proof I am missing.
Given a compact, ...

**6**

votes

**0**answers

86 views

### Restriction of “Spin(7) 4-form” to $\mathbb{R}_+\times S^7$

I asked this question on stackexchange (https://math.stackexchange.com/questions/2212226/restriction-of-spin7-4-form-to-mathbbr-times-s7) but was advised to ask again here:
I'm currently reading ...

**2**

votes

**0**answers

141 views

### Does the sheaf of locally exact differential forms splitting in positive characteristic

Let k be an algebraically closed field of characteristic $p>2$, $X$ a smooth projective curve of genus $g>1$ over $k$, and $F_X:X\rightarrow X$ be the absolute Frobenius morphism. Let $B^1_X$ be ...

**3**

votes

**1**answer

409 views

### What do the differential k-forms on a product manifold look like?

I am interested in how I could express $\Omega^k( M \times N)$ in terms of $\Omega^i(M)$ and $\Omega^j(N)$ for $i,j = 0,1, \ldots k$. Is there a nice relation?
This question arose in the context of ...

**7**

votes

**1**answer

403 views

### What is the geometric significance of the definition of supermanifold?

We know that a supermanifold $M$ is a locally ringed space $(M,O_M)$ which is locally isomorphic to $(U,C^\infty(U) \otimes \wedge W^\ast)$, where $U$ is an open subset of $\mathbb{R}^n$, $W$ is a ...

**1**

vote

**0**answers

378 views

### About Frobenius's theorem for differential forms

My question is about a particular case of Frobenius's theorem that states the complete integrability condition for a Pfaff system. Namely,
when dealing with a system reduced to a single 1-form, the ...

**0**

votes

**0**answers

171 views

### Explicit adjunction formula and local top form

I am reading the section 4.2 in Kollar-Mori, where they provide the explicit equations for Du Val Singularities. In the course of the proof, they reduce to studying the equation $x^2+f(x,y)=0$ in a ...

**2**

votes

**0**answers

150 views

### Wedge product of entries of a matrix & Volume form of the Siegel metric

Let $A=(a_{ij})$ be an $n\times n$ square matrix, and $\omega(A)=\bigwedge\limits_{i,j=1}^na_{ij}$ be the wedge product of its entries. Then, if $B=UA=(b_{ij})$ for some square matrix $U$, I think one ...

**0**

votes

**1**answer

273 views

### Exterior derivative on principal bundle [closed]

In Nakahara's Geometry, Topology and Physics on page 375, he constructs a Lie-algebra-valued one-form $\omega$ on a principal bundle $P$ by "lifting" a Lie-algebra-valued one-form $\mathcal A_i$ on an ...

**2**

votes

**1**answer

200 views

### Is there a matrix that converts the gradient of every possible function to gradient of other function?

I have already asked this question on math.stackexchange.com
https://math.stackexchange.com/questions/1789476/is-there-a-matrix-that-converts-the-gradient-of-any-function-to-gradient-of-othe
Now I ...

**2**

votes

**0**answers

186 views

### Compact Vertical Cohomology and Euler Class of CP1

First of all, please excuse my English. I'm not native Englsih speaker, so you will see so many grammer mistakes, I just only hope that my mistkae wouldn't effect what I want to mean.
Hi, recently I'...

**5**

votes

**0**answers

67 views

### Interpolating from a Hard Lefschetz class to a Kaehler class

Let $X$ be a compact smooth manifold that admits symplectic and Kaehler structures.
There is a paper by Ugarte, Rudyak, Tralle, and Ibanez, showing how the Lefschetz rank can vary along a path of ...

**4**

votes

**1**answer

379 views

### Closed $3$-manifold, $2$-dimensional subbundle of this manifold, is this form exact or not?

Let $M$ be a closed $3$-manifold, and let $\xi$ be a $2$-dimensional subbundle of $TM$. I know the following.
There is a nowhere zero $1$-form $\alpha$ on $M$ with $\alpha(X) = 0$ for any vector ...

**13**

votes

**2**answers

442 views

### Volume-minimizing submanifold implies calibrated?

Let $X$ be a smooth manifold of dimension $d$ and $M$ an oriented
submanifold of dimension $p < d$ so that the multiples k⋅M are absolutely minimizing $p$-volume in their integral homology ...

**1**

vote

**2**answers

109 views

### Integrability at $z$ of the 2-form $ d\omega=\frac{\partial_{\bar{\zeta}}g(\zeta)}{\zeta-z}d\zeta\wedge d\bar{\zeta} $

Given $g\in\mathcal{C}^1(\bar\Delta)$, and $z\in\Delta$, how can i prove that the 2-form
$$
d\omega=\frac{\partial_{\bar{\zeta}}g(\zeta)}{\zeta-z}d\zeta\wedge d\bar{\zeta}
$$
is integrable in $z$?
At ...

**11**

votes

**0**answers

356 views

### Reference for a proof of the fiberwise Stokes theorem

The fiberwise Stokes theorem says that given a differential form on a smooth fiber bundle whose fibers have boundary,
the difference between the fiberwise integral of the differential and the ...

**6**

votes

**1**answer

256 views

### Strange problem about triplets of differential forms

Suppose we have the following map:
$$(\Omega^1(\mathbb{R}^n))^3\longrightarrow(\Omega^2(\mathbb{R}^n))^3$$
$$(\alpha,\beta,\gamma)\longmapsto(\mathrm{d}\alpha+\beta\wedge\gamma,\mathrm{d}\beta+\...

**4**

votes

**0**answers

265 views

### Differential ideals of Pfaffian forms on jet bundles (Integrability)

(I asked this question on math.stackexchange, but got no reaction in several weeks. So, my conclusion is, that it is harder to answer than I thought, and maybe admissible for the attribute 'research ...

**1**

vote

**0**answers

99 views

### differential forms in double field theory

In double field theory, there are 'double differential forms' meaning that the standard 1-forms $d x^i$ generate an algebra over functions depending on both of the double coordinates
$x^i$ and $\tilde ...

**5**

votes

**3**answers

775 views

### Non-continuous differentiability for differential forms

Generally when working with differential forms, one assumes that they are continuously differentiable, i.e. $C^r$ for some $1\le r \le \infty$. Under this hypothesis, one can define the exterior ...

**4**

votes

**1**answer

209 views

### Anti_symplectic 2-forms

A $2$- form $\alpha$ on a n- manifold $M$ is called anti symplectic if for every $x\in M$, $\{ v\in T_{x} M \mid i_{v} \alpha=0 \}$ is a $n-2$ dimensional subspace of $T_{x}M$. So we obtain a $n-2$ ...

**2**

votes

**0**answers

186 views

### Analytic version of the Cartan lemma

Assume that $\beta$ is a real analytic 2-form on an analytic manifold $M$ and $\alpha$ is an analytic non vanishing 1-form on $M$. Assume that $\beta \wedge \alpha=0$. Is there an analytic 1-form $\...

**-1**

votes

**2**answers

238 views

### Restriction of a line bundle to a two-cycle

I am reading a paper on Chiral Differential Operators
http://arxiv.org/pdf/hep-th/0604179v3.pdf
and it says on page 23 that a line bundle over a manifold C can be characterized completely by its ...

**1**

vote

**1**answer

193 views

### About hypersurfaces in R^n+1 with bounded 2nd fundamental form

Assume $M^n$ is a compact hypersurface without boundary immersed in $R^{n+1}$, with $A$ its 2nd fundamental form.
If the square norm of A is bounded by an abstract constant, i.e. $|A|^2\leq C$ for ...

**0**

votes

**1**answer

198 views

### Residues and Mittag-Leffler sequence

Let $X$ be a compact Riemann surface, $\omega$ a meromorphic differential on $X$ and $f$ a meromorphic function on $X$ with poles only over the points $P_1,\dots,P_d$. The product $\;f\cdot\omega\;$ ...

**1**

vote

**1**answer

131 views

### existence of meromorphic differentials with non vanishing residues

Let $X$ be a smooth projective variety over a field $k$ of characteristic zero and let $D$ be a simple normal crossing divisor on $X$, with irreducible components $D_i$.
Does there exist a nonzero ...

**2**

votes

**1**answer

275 views

### (n-1)-dimensional normal currents and Smirnov's paper

I don't know much about currents, but I saw a paper of Smirnov which seems relevant to a problem I am working on. In the very last paragraph of page 848 of the following paper
http://www.unige.ch/~...

**13**

votes

**2**answers

2k views

### Hodge decomposition in Minkowski space

This question is motivated by the physical description of magnetic monopoles. I will give the motivation, but you can also jump to the last section.
Let us recall Maxwell’s equations: Given a semi-...

**19**

votes

**4**answers

3k views

### Is there any way to rewrite a partial differential equation using language of differential forms, tensors, etc?

My question is: usually, a partial differential equation, for example, those coming from physics, is written in a language of vector calculus in a local coordinate. Is there any way (or any algorithm) ...

**8**

votes

**1**answer

231 views

### When is the module of Kahler volume forms torsion-free?

Let $R$ be a commutative algebra over a field $k$. Denote the $R$-module of Kahler differentials by $\Omega^1_kR$; this is the $R$-module generated by symbols of the form $da$, $a\in R$, and ...

**1**

vote

**0**answers

92 views

### superdiff forms and tensors

Where is it written that symmetric tensors (i.e. with multiindices)
occur as the coefficient functions of super differential forms
or rather odd differential forms?

**1**

vote

**2**answers

605 views

### $\infty$-forms and $\infty$-plectic geometry

Can you have $\infty$-forms on infinite-dimensional manifolds or elsewhere and what are they used for?

**2**

votes

**1**answer

499 views

### Homology of a region of the plane

This is related to this MO question, I don't know if it's really "research-level". As in that question, let $U$ be a domain of the complex plane $\mathbb{C}$, i.e. an open connected subset. Let
$$ \...

**10**

votes

**3**answers

1k views

### k-form: sum of wedge products of 1-forms?

Let M be a smooth manifold. Can every k-form $\omega$ on M be written as a sum of k-forms, that are wedge products of 1-forms, i.e. $\omega = \sum_{i=0}^n \alpha_1^{(i)} \wedge \ldots \wedge \alpha_k^{...

**26**

votes

**14**answers

8k views

### Geometric imagination of differential forms

In order to explain to non-experts what a vector field is, one usually describes an assignment of an arrow to each point of space. And this works quite well also when moving to manifolds, where a ...