Questions tagged [differential-forms]
A differential form $ \omega$ is a section of the exterior algebra $\Lambda^* T^* X$ of a cotangent bundle,
101
questions
6
votes
1
answer
198
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
votes
0
answers
79
views
What $1$-forms $\theta$ solve $\Delta \theta = f\theta$ for a smooth function $f$?
I have a seemingly basic question that I cannot find any literature on. Let $(M,g)$ be a smooth Riemannian manifold and let $\Delta:\Omega^1(M) \to \Omega^1(M)$ be the Laplace-De Rham operator on $1$-...
2
votes
0
answers
51
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,...
0
votes
0
answers
59
views
Friedrich's second inequality for functions with zero average
Friedrich's second inequality (or Maxwell Estimates or Gaffney’s inequality in the literature) is referred as follows: for all $\mathbf{u} \in H^1(\Omega)^2$ satisfying either $\mathbf{n} \cdot \...
1
vote
0
answers
101
views
Does a gauge-invariant Caccioppoli inequality hold?
(I previously asked this question on Math.SE but got no responses after two weeks.)
Let $V \Subset U$ be domains in a Riemannian manifold $M$, and $W := U \setminus \overline V$. If $u: U \to \mathbb ...
2
votes
0
answers
128
views
What is the topology on the space of differential forms $\Omega^2(M)$?
I have posted this question on MSE one year ago, but till now I did not received an answer. Therefore I have decided to post it here.
I have difficulty in understanding the meaning of "A ...
1
vote
0
answers
106
views
Degeneration differential form nodal curve
I have a (possibly very basic) question about differential forms on nodal curves. After reading Witten's survey "Two-dimensional gravity and intersection theory on moduli space", I am ...
2
votes
1
answer
157
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\...
2
votes
1
answer
95
views
Mass of the push forward of a k-current with fixed orientation
$\DeclareMathOperator{\Mass}{Mass}$Let $f: \mathbb{R}^n \to \mathbb{R}^n$ be a smoth map. Given a $2$-vector (in general a $k$-vector but let's stick to $2$) $v_1 \wedge v_2 \in \Lambda_2 (\mathbb{R}^...
1
vote
0
answers
69
views
Vanishing components of Kähler metric
Let $(X, \omega) $ be a $n$-dimensional complex Kähler manifold such that $\omega^{n-1}=d\alpha $.
Does $\partial\alpha^{n-1,n-2} =0$ (resp. $\bar\partial\alpha^{n-2,n-1} =0$)
Where $\alpha^{n-1,n-2}$ ...
2
votes
1
answer
66
views
Detecting non-affine automorphisms of a translation surface
Let $(X, \omega)$ be a translation surface, i.e., a Riemann surface with a homomorphism $1$-form.
A central object is the group of affine automorphisms $\text{Aff}^+(X, \omega)$: homeomorphisms of $X$ ...
0
votes
0
answers
60
views
Proving an equality of differential forms by assuming some perhaps topological condition
Let say I want to show two differential forms $\omega_1$ and $\omega_2$ on a smooth manifold $M$ are equal. Of course it suffices to show $\omega_1=\omega_2$ locally, i.e. the equality holds over ...
0
votes
1
answer
163
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 ...
4
votes
1
answer
199
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 ...
2
votes
0
answers
123
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....
2
votes
0
answers
94
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 ...
3
votes
0
answers
63
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 ...
8
votes
1
answer
762
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
vote
0
answers
83
views
Target space of Green's operator on $L^p$-differential forms on closed manifolds
Let $M$ be a closed (i.e., compact without boundary) smooth oriented Riemannian manifold endowed with a regular atlas in the sense of C. Scott [1], i.e., with a finite atlas $\mathcal{A}$ so that for ...
2
votes
1
answer
261
views
$\omega$ is a symplectic form then $L^k_{\omega}:\Omega^q(M)\to \Omega^{q+2k}(M)$ is injective for all $q\leq n-k$ and surjective for all $q\geq n-k$
Let $(M^{2n},\omega)$ be a symplectic manifold of dimension $2n$. Let $L^k_{\omega}:\Omega^q(M)\to \Omega^{q+2k}(M)$ be the map given by $L^k_{\omega}(\alpha)=\alpha\wedge\omega^k$. Then is it true ...
2
votes
0
answers
57
views
Decomposition of a bivector of a Lorentzian manifold [closed]
In the case of the $(1, -1, -1, -1)$ metric, a bivector (or a 2-form) $F$ decomposes uniquely as the sum of two orthogonal simple bivectors if $F^2 \ne 0$.
I have the impression that it is very little ...
1
vote
1
answer
83
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 ...
10
votes
2
answers
749
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, ...
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. ...
2
votes
1
answer
577
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 $\...
5
votes
1
answer
171
views
Finding a volume form on a fibre of a submersion between oriented manifolds
Let $f:X\to Y$ be a submersion between orientable smooth manifolds of respective dimensions $n,p$ and let $j:M=f^{-1}(y)\hookrightarrow X$ denote the inclusion of some fibre of $f$.
My naïve (I am ...
3
votes
1
answer
284
views
Differential forms and continuous maps
Let
$$
X
\xrightarrow{f}
Z
\xleftarrow{g}
Y
$$
be smooth manifolds and smooth maps (smooth = $C^\infty$),
and
$$
X
\xrightarrow{K}
Y
$$
be a continuous map such that $f=g\circ K$.
Let $\...
11
votes
2
answers
703
views
Visualizing holomorphic differentials on a compact Riemann surface?
It is a classical result that the vector space of holomorphic differentials on a compact Riemann surface of genus $g$ has dimension $g$. I am wondering if there is a way of visualizing this wonderful ...
6
votes
1
answer
165
views
Tangential harmonic $1$-forms are pullbacks of harmonic functions
This question has also been posted on MSE, but maybe here is the right place to obtain an answer.
Let $(M^3,g)$ be a compact connected oriented Riemannian $3$-manifold with nonempty boundary. The ...
3
votes
1
answer
309
views
Degeneration of Hodge-de Rham spectral sequence, exactness of a pairing and the trace morphism
If $X\longrightarrow S$, where $S=\operatorname{Spec}(k)$, is a proper smooth morphism of dimension $p$ between $\mathbb{F}_{p}$ schemes with Frobenius $F$, then there is an exact pairing $\wedge:\...
1
vote
0
answers
77
views
How does one interpret the wetting area?
This may be a simple question, but I decided to post it here (not just on MSE) because it is very related to a research topic: capillary surfaces.
Let $(M^3,g)$ be a Riemannian $3$-manifold with ...
2
votes
1
answer
188
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{...
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?
1
vote
0
answers
284
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)$. ...
7
votes
0
answers
217
views
Albanese morphism induces an isomorphism on global $1$-forms
Let $X$ be a smooth projective variety over a field $k$ of characteristic zero equipped with a point $e\in X(k)$. There is Albanese morphism $a:X\to \mathrm{Alb}\,X$ which is initial among pointed ...
12
votes
2
answers
1k
views
Different definitions for integral de Rham cohomology classes
Suppose that $S$ is a compact orientable surface. In this case, the top de Rham cohomology space $H^2(S)\cong \mathbb{R}$, with the isomorphism given by integration on $2$-forms along $S$.
Now, one ...
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 {...
5
votes
1
answer
146
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$ ...
2
votes
1
answer
206
views
When is this differential form harmonic?
Let $(M^3, g)$ be a (closed) Riemannian manifold and let $u: M \to S$ be a harmonic function, where $S$ is a closed orientable surface. If $\omega$ is a $2$-form on $S$, what are sufficient conditions ...
1
vote
0
answers
163
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$-...
8
votes
1
answer
450
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 ...
2
votes
0
answers
130
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
239
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-|\...
4
votes
2
answers
453
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 ...
9
votes
1
answer
970
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 ...
5
votes
0
answers
105
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
\...
3
votes
1
answer
343
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 ...
7
votes
0
answers
268
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\...
4
votes
1
answer
521
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
389
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 &...