Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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

3
votes
2answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
3answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
4answers
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
1answer
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
0answers
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
2answers
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
1answer
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
3answers
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
14answers
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 ...