All Questions
Tagged with differential-forms dg.differential-geometry
58 questions
5
votes
0
answers
98
views
Is the pullback of differential forms on a compact manifold smooth tame as a map of Fréchet manifolds?
In Hamilton's paper on the Nash-Moser inverse function theorem he shows that if $M$ is a smooth compact manifold and $V\to M$ a smooth vector bundle then its smooth sections $\Gamma(V)$ equipped with ...
- 51
3
votes
0
answers
105
views
Understanding the Lie derivative by multivector fields
For a vector field $X$ on a manifold there are two ways to define a Lie derivative: an algebraic one using Cartan's formula $\mathcal{L}_X \alpha = i_X d \alpha + d i_X \alpha$ and a dynamical one ...
- 4,745
4
votes
1
answer
179
views
Exact forms, gauge transformations, and the Hodge decomposition in non-abelian Gauge theory
I am trying to understand how the Hodge decomposition is affected by gauge transformations in non-abelian in gauge theory (eg $\mathrm{SU}(N)$). In particular, I am searching for a way to generalise ...
- 63.9k
1
vote
0
answers
204
views
The wedge product of two positive forms is positive
I have previously posted this question on MSE, but still didn't solve it.
Definition. A real $(p, p)$-form $\psi$ on a complex manifold $M^{n}$ is said to be (semi-) positive, if for any $x \in M$, ...
- 195
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 ...
- 2,858
1
vote
0
answers
82
views
Projection to trivial reduced cohomology class in $L^2(\mathbb{R})$
Given that I have had no success on the mathematics stackexchange (see here), I've decided to try my luck here.
I am attempting to solve the following exercise (original formulation here), which to my ...
- 111
0
votes
0
answers
84
views
Application of $k$-forms to differential equations
I was presented with a problem that, in my view, is somewhat difficult, and it relates $k$-forms to systems of differential equations.
Consider the ellipsoid, given by
$$f(u, v)=(a\sin(u) \cos(v), b \...
- 251
15
votes
2
answers
889
views
Hodge decomposition of smooth n-forms: is it an isomorphism of topological vector spaces?
Fix a compact Riemannian manifold $M$ (leaving the metric implicit). What I'd like to know is if the corresponding Hodge decomposition of smooth $n$-forms
$$
\Omega^n(M) \simeq \mathcal{H}^n(M)\oplus ...
- 8,098
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 ...
- 41
6
votes
1
answer
406
views
Densities, pseudoforms, absolute differential forms and measures, differential forms, etc
Apologies if this question is too basic, but I figured I first heard of most of these concepts on MO, so perhaps I can ask here.
Gelfand’s definition, copied from AlvarezPaiva [My edit, could be ...
- 2,504
2
votes
0
answers
65
views
Lefschetz operator on bundle-valued forms
For a holomorphic vector bundle $V \rightarrow X$ endowed with a Hermitian structure, one may define the corresponding Dolbeault-like operators $\bar{\partial}_V: \Omega^{p,q}(V) \rightarrow \Omega^{p,...
- 121
28
votes
4
answers
6k
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) ...
- 1,446
2
votes
1
answer
199
views
Decomposition of forms on a Spin$(7)$ manifold
Let's take a $G_2$ manifold $(M,\Phi)$, then we get a Spin$(7)$ manifold by taking $(M\times\mathbb{R},\Psi:=\Phi\wedge dt+*_M\Phi),$ where $t$ is the coordinate in the $\mathbb{R}$-direction. $\Phi\...
- 108k
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 ...
- 587
0
votes
1
answer
193
views
Behaviour of the Cartan Maurer form
Let there be a Lie-group $G$ and its Lie-algebra $g$. Then the Cartan Maurer form is an 1-form $\omega: T_gG \rightarrow T_eG$ for which holds:
$$ (L^\ast_g)\omega = \omega$$
In Shlomo Sternberg's ...
- 700
25
votes
3
answers
5k
views
Integration and Stokes' theorem for vector bundle-valued differential forms?
Is there a version of Stokes' theorem for vector bundle-valued (or just vector-valued) differential forms?
Concretely: Let $E \rightarrow M$ be a smooth vector bundle over an $n$-manifold $M$ equipped ...
- 4,713
4
votes
1
answer
248
views
Cohomology of invariant differential forms
Let $M$ be a compact manifold and $\varphi:M\rightarrow M$ a diffeomorphism. The invariant differential forms
$$
\Omega^{k}_{inv}(M)=\{\alpha\in\Omega^{k}(M):\varphi^{*}\alpha=\alpha\}
$$
form a ...
- 9,237
2
votes
0
answers
135
views
Derivative of anti-self-dual forms on Kähler space
I am puzzled if we can establish differential relations about anti-self-dual 2-forms on the Kähler space similar to ones for self-dual forms?
Let $(\mathcal{M},g,J,\omega = J^{(1)})$ be a Kähler space....
- 12.9k
2
votes
0
answers
135
views
Norm of the Lipschitz-Killing differential forms
I am currently learning about the theory of Normal Cycles which makes use of the language of currents and differential forms. They are defined in the following way
The Lipschitz-Killing curvature form ...
- 93
3
votes
0
answers
67
views
Combinatorial approximation to the integral of a form?
This is a bit of a followup to my previous question Intuition for the volume form - combinatorial definition?. I am looking for a certain combinatorial intuition when it comes to integrating ...
- 1,075
9
votes
1
answer
868
views
Geometric definition of divergence using curvature mentioned in Tristan Needham
In page-479 of Visual Complex Analysis, Tristan Needham derives the flux of a vector field in Geometric form:
$$ \nabla \cdot X = \partial_s |X| + \kappa_p |X|$$
The $\partial_s$ is a derivative along ...
- 1,545
1
vote
1
answer
90
views
A curve in the bundle of two forms
Let $(M,g)$ be a closed Riemannian manifold. Fix a point $m\in M$ and a $2$-form $\omega$ at $m.$ Take a curve $\gamma$ in $M$ such that $\gamma(0)=m.$ Now we can get a $2$-form along $\gamma$ by ...
- 6,825
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 ...
- 37.8k
10
votes
2
answers
894
views
Sobolev spaces of differential forms and regular atlases
In [1] (section 3), C. Scott introduces the following concept of regular atlas for closed $C^\infty$-smooth Riemannian manifolds. He says:
When referring to a coordinate system $(U,\phi)$ as regular, ...
- 2,388
3
votes
6
answers
2k
views
The purpose of connections in differential geometry [closed]
I am currently reading through differential geometry as a mathematics graduate.
Can somebody give me a brief explainer on the purpose of connections?
I could also use explainers on differential forms. ...
- 26.3k
2
votes
1
answer
678
views
Why non closed differential forms do not play important role for the topology of a manifold?
Cross-posted from MSE.
I know that De Rham cohomology reveal some properties of the topology of smooth manifolds by finding closed differential $k$-forms $\mathsf{d}\omega=0$ that are not exact $\...
- 108k
37
votes
15
answers
13k
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 ...
- 166
2
votes
1
answer
193
views
Why does the formula (7) in the article equivariant cohomology with generalized coefficients hold
I'm reading the article of equivariant cohomology with generalized coefficients by Kumar and Vergne and I have this question from that article
Let G be a compact lie group with lie algebra $\mathfrak{...
- 149k
13
votes
2
answers
1k
views
Poynting vector and differential forms
It is well known that electromagnetic field is a 2-form and Maxwell's equation can be reformulated in language of differential forms.
What is the Poynting vector in this language?
- 52.4k
1
vote
0
answers
328
views
Codifferential of wedge of two 1-forms
Let $\omega,\eta$ be two 1-forms on a manifold $M$. I'm interested in an expression for
$$
\delta(\omega\wedge\eta)
$$
where $\delta$ is the co-differential operator $\Lambda^2(M)\to\Lambda^1(M)$. ...
- 213
4
votes
1
answer
1k
views
Norm of a differential form [closed]
How can we explicitly calculate the norm of a differential form?
For example let $(X, \omega) $ be a complex manifold such that locally
$$
\omega(z) =i\sum_{k,j} h_{k, j} (z) dz_k\wedge d\overline {...
- 2,247
5
votes
1
answer
147
views
Equivalence generated by Jacobian minors
Let $f,g:\mathbb{R}^m \to \mathbb{R}^n$ be two smooth functions and let $k$ be a strictly positive integer. Write $f \sim_k g$ if at each point in the domain, the determinants of all $k \times k$ ...
- 108k
6
votes
1
answer
164
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 ...
- 277
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 ...
CommunityBot
- 1
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 ...
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 ...
- 101
3
votes
1
answer
391
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 ...
- 5,824
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\...
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 ...
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}....
14
votes
1
answer
1k
views
When is a given matrix of two forms a curvature form?
Let's assume we are working over $\mathbb{R}^n$ (but feel free to change to domain to answer the question). I wish to know if the equation $F = dA + A \wedge A$ can be solved for a matrix of 1-forms $...
- 366
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}^...
- 6,825
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$...
- 108k
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
13
votes
3
answers
2k
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^{...
- 366
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
17
votes
2
answers
4k
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-...
- 21.6k
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 ...
- 8,098
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 ...
- 29.8k
0
votes
1
answer
605
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 ...
- 541