Questions tagged [differential-forms]
A differential form $ \omega$ is a section of the exterior algebra $\Lambda^* T^* X$ of a cotangent bundle,
112 questions
1
vote
0
answers
214
views
Tischler's Theorem on nonvanishing $1$-forms on open manifolds
I have been trying to find a generalized version of the following theorem due to D. Tischler,
Theorem 1. Let $M^n$ be a closed $n$-dimensional manifold. SUppose $M^n$ admits a nonvanishing closed $1$-...
- 83
8
votes
1
answer
484
views
Differential forms on standard simplices via Whitney extension vs diffeological structure
The standard simplices $\Delta^n \subset \{\mathbf{x}\in\mathbb{R}^{n+1}\mid x_0 + \ldots + x_n =1 \} =: \mathbb{A}^n$ carry two natural sorts of smooth differential forms:
Those differential forms ...
- 35.5k
2
votes
0
answers
137
views
Heat-Flow on continuous differential forms and the Feller peroperty
Let (M,g) be a complete Riemannian manifold. It is well known that the Laplace operator is essentially self-adjoint on $C^\infty_c(M)$. This extends to the (de Rahm) Laplace operator on forms. Thus in ...
3
votes
2
answers
249
views
A question on the nature of the vortex number
In the Yang-Mills-Higgs (also called magnetic Ginzburg-Landau) model in the plane the energy has the form
$$
E(A,\phi)=\int_{\mathbb{R}^2}\left(|(d-iA)\phi|^2+\frac{1}{2}F_{jk}F_{jk}+\frac{1}{4}(1-|\...
- 213
4
votes
2
answers
513
views
Kinds of differentials and algebraic groups
This Wikipedia article mentions that the analogues of differentials of the first/second/third kind for algebraic groups are abelian varieties/algebraic tori/linear algebraic groups. I guess ...
- 1,024
10
votes
2
answers
1k
views
Odd differential forms
In de Rham's classical book "Variétés Différentiables"
de Rham, Georges, Variétés différentiables. Formes, courants, formes harmoniques. 3e éd. revue et augmentée, Publications de l’Institut de ...
- 502
5
votes
0
answers
114
views
On boundary-value problems for differential forms on a manifold
Let $M$ be a simply-connected $d$-dimensional Riemannian manifold with boundary (for simplicity assume a ball). Consider the boundary value problem for $\omega\in\Omega^k(M)$,
$$
d\omega = \alpha
\...
- 797
3
votes
1
answer
390
views
One-Forms in Functional Space?
I am presently reading this paper on covariant phase space and I have difficulty understanding the following formalism developed:
In the paper (section $2.2$, pg. $12$), the authors have introduced ...
- 449
7
votes
0
answers
282
views
A cohomology associated to a vector field on a Riemannian manifold
Edit: Accoring to the comment of Asura Path I revise the question.
Let $X$ be a vector field on a Riemannian manifold $(M,g)$. So we have a $1$-form $\beta$ with $\beta(Y)=\langle Y,X\...
- 366
5
votes
1
answer
637
views
Leafwise de Rham cohomology (A true definition of differential forms along leaves)
For a foliated space $(M, \mathcal{F})$, one associate a leafwise de Rham cohomology. This cohomology and trace-class operators on this cohomology and trace interpretations for closed orbits of ...
- 366
2
votes
0
answers
425
views
Why is the integral of the tautological 1-form equal to the action?
I am having a hard time to understand why the integral of the tautological 1-form is the action of the system.
The tautological one form is defined by :
\begin{align}
\theta_{(q,p)} : T_{(q,p)}T^*Q &...
- 71
5
votes
0
answers
217
views
Exact differential forms in characteristic $p>0$
Let $k$ be an algebraically closed field of characteristic $p>0$. Suppose $1< e_i <p$ for $i=1,2, \ldots, n$ are integers ($n \ge 2$). What are the conditions on the $e_i$'s so that the ...
- 245
2
votes
0
answers
113
views
Computation of equivariant 3 form
I want to how an equivariant 2-form and equivariant 3- form look like i,e.,
Let M be a complex Manifold say $ S^4 \subset C^3$ and a compact lie group $S^1$ acting on it via the action $\exp{i\theta}....
11
votes
2
answers
3k
views
The Construction of a Basis of Holomorphic Differential 1-forms for a given Planar Curve
Working over the complex numbers, consider a function $F\left(x,y\right)$ and a curve $C$ defined by $F\left(x,y\right)=0$.
I know that to construct the Jacobian variety associated to $C$, one ...
- 1,284
2
votes
1
answer
201
views
Vanishing product of a closed and coclosed form on a Riemannian manifold
For a (compact) Riemannian manifold $(M,g)$, can it happen that for a non-zero form $\text{d}^*\omega$, and a smooth function $f$ such that $\text{d}f \neq 0$, we can have
$$
\text{d}f \wedge \text{d}^...
- 993
2
votes
1
answer
170
views
Extended Abel-Jacobi theorem
Let $X$ be a compact Riemann surface, $u$ a meromorphic function on $X$ with divisor supported on a set of points $\{P_1, ..., P_n\}$, and $f$ a meromorphic function on $X$ such that $f$ has no pole ...
- 1,109
3
votes
0
answers
298
views
Is this a 2-cyclic cocycle ? Does it have a nontrivial geometric interpretation?
Let $S$ be a surface in $\mathbb{R}^3$.
Inspired by the $2$-cyclic cocycle defined in page 20 of the book "Non-commutative geometry" by Alain Connes, we consider the following $3$-linear ...
- 366
7
votes
7
answers
503
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 differential topology ...
- 261
4
votes
1
answer
678
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 ...
- 261
12
votes
2
answers
883
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< ...
- 245
8
votes
1
answer
329
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$...
- 797
1
vote
1
answer
239
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$?
- 366
10
votes
1
answer
2k
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 ...
- 141
17
votes
3
answers
1k
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$...
- 47.5k
10
votes
0
answers
186
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....
- 253
11
votes
0
answers
354
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, ...
- 1,611
8
votes
1
answer
236
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, ...
- 2,995
6
votes
1
answer
163
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
286
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 ...
- 85
8
votes
1
answer
2k
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 ...
- 313
8
votes
1
answer
756
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 ...
- 155
3
votes
0
answers
1k
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 ...
- 327
0
votes
0
answers
265
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 ...
- 625
2
votes
0
answers
616
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 ...
- 21
0
votes
1
answer
604
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 ...
- 103
2
votes
1
answer
245
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 ...
- 131
5
votes
0
answers
82
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 ...
- 191
4
votes
1
answer
455
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 ...
user74565
13
votes
3
answers
787
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 classes ...
- 735
1
vote
2
answers
127
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 ...
- 779
14
votes
0
answers
574
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 ...
- 37.8k
6
votes
1
answer
291
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+\...
- 2,091
3
votes
0
answers
304
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 ...
- 203
1
vote
0
answers
107
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 ...
- 3,880
5
votes
3
answers
1k
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 ...
- 66.8k
4
votes
1
answer
253
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$ ...
- 366
2
votes
0
answers
313
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 $\...
- 366
0
votes
2
answers
293
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 ...
- 17
2
votes
2
answers
657
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 ...
- 21
0
votes
1
answer
351
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\;$ ...
- 251