All Questions
Tagged with dg.differential-geometry jets
33 questions
25
votes
2
answers
2k
views
Functional approach vs jet approach to Lagrangian field theory
Context: I am a PhD student in theoretical physics with higher-than-average education on differential geometry. I am trying to understand Lagrangian and Hamiltonian field theories and related concepts ...
- 7,817
7
votes
1
answer
237
views
What is a Whitney Jet?
I'm currently reading Michor, Manifold of Mappings for Continuum Mechanics. In this paper he makes use of 'Whitney Jets' but takes it to be an already understood concept. I'm familiar with jets but ...
- 39.1k
3
votes
0
answers
76
views
Surface terms in the calculus of variations on jet bundles
Let $\pi:N\rightarrow M$ be a fibered manifold with $m=\dim M$ and $m+n=\dim N$. The variational bicomplex on the infinite jet space $J^\infty(\pi)$ is denoted $(\Omega^{k,l}(\pi),\delta,\mathbf d)$ ...
- 3,307
1
vote
0
answers
153
views
Torsion free connection $\implies$ Jet coordinates $=$ Taylor expansion coefficients?
Suppose we have some smooth n-dimensional manifold $M$ endowed with basis 1-forms $\theta^a$ with $a=1\cdots n$. Then $\theta^a$ are sections of the coframe bundle $F^* M$. In local coordinates ($x^a$ ...
- 250
3
votes
1
answer
197
views
Precise definition of a linear total differential operator
In the works of A. M. Vinogradov on calculus on the infinite jet space, differential equations and "diffieties", a central notion is that of a $\mathcal C$-differential operator. If $\pi:Y\...
- 3,307
3
votes
0
answers
157
views
$N$th-order approximation of point stabilizing diffeomorphisms by $N$th-order jet group?
NOTE: migrated from math SE.
I was wondering if ever higher jet groups of frames on a (possibly pseudo) Riemannian manifold $M$ approximate the point stabilizing subgroup of diffeomorphisms on $M$ as ...
- 250
3
votes
0
answers
138
views
How is differentiation defined on the Green-Griffiths jet bundles?
In their original paper Green and Griffiths remark that there is a differentiation operation on their jet bundles:
$$ (-)' : \mathcal{J}_{k,m} \to \mathcal{J}_{k+1,m+1} $$
Which they define on p.47 ...
- 3,720
4
votes
0
answers
189
views
Physical intuition for curvature on higher order frame bundles?
$\DeclareMathOperator\SO{SO}$A priori: I apologize if this isn't up to Mathoverflow standards, I've had very little luck getting questions on this subject answered elsewhere.
I'm looking for a physics ...
- 250
1
vote
0
answers
105
views
Codimension of cusp singularities in the space of 2-jets
In trying to prove Cerf's theorem about homotopies between Morse-functions I ended up thinking about the following problem.
For $n>2$, $a= (a_{i,j})\in GL(n-2)$, we define the polynomial map $C_a:\...
- 2,533
1
vote
0
answers
64
views
Notation for jet bundles of mixed order?
This question is motivated by the consideration of linear control systems in Brunovsky normal form. The idea is that you have $m$ smooth functions with unconstrained dynamics, and the control input ...
- 818
7
votes
1
answer
452
views
What would be a good introductory reference for learning jet-bundle theory?
I am interested in learning the theory of Jet bundles, and am aware of the standard reference "The geometry of jet bundles" by D. J. Saunders. However this appears to be a detailed book, ...
- 1,826
1
vote
0
answers
356
views
Connection as a jet section [closed]
Let $\pi:E\longrightarrow M$ a smooth fibre bundle. A connection is a linear bundle homomorphism $\Phi:TE\longrightarrow TE$ such that $\Phi$ is a projection to the vertical bundle $VE\subset TE$.
I ...
- 63.9k
7
votes
0
answers
335
views
Holonomic sections $C^\infty(M)$-generate jet bundle
Given a vector bundle $E \to M$ with a corresponding $k$-th jet bundle $J^kE \to M$, denote by $j^k : \Gamma(E) \to \Gamma(J^kE)$ the $k$-th jet prolongation $(k \in \mathbb{N} \cup \{0\})$ and recall ...
CommunityBot
- 1
5
votes
2
answers
277
views
Equivalence of two definitions of jets of smooth functions
In the literature I have encountered two different definitions of jets of smooth functions, and I was wondering how one could identify these definitions.
One definition is the often encountered ...
- 538
1
vote
1
answer
232
views
The bundle of symmetric affine connections as quotient of the second-order frame bundle
This post is not about finding an answer to a certain problem - because the answer already exists - but rather about finding the simplest possible answer.
The problem is: how to define the bundle $C(...
- 108k
4
votes
1
answer
247
views
Semi-holonomic jets in synthetic differential geometry
Anders Kock's two texts on synthetic differential geometry (SDG) are a great place to get geometric intuition, especially when it comes to jets. Unfortunately, he doesn't seem to cover semi-holonomic ...
- 5,343
17
votes
2
answers
1k
views
A variant of the Monge-Cayley-Salmon theorem?
Suppose one has a smooth non-degenerate curve $\gamma: [0,1] \to {\bf R}^n$ into Euclidean space (thus $\gamma'$ never vanishes), with the property that the velocity $\gamma'(t)$ and acceleration $\...
- 108k
1
vote
0
answers
97
views
Negatively curved jet pseudometrics from jet differentials: understanding a proposition by Green-Griffiths
In the paper by Green and Griffiths Two applications of algebraic geometry to entire holomorphic mappings (Proposition 2.5) it is proved that a jet pseudometric can be constructed on a projective ...
- 2,079
2
votes
2
answers
351
views
Constructing jet bundles from a cocycle of smooth transition functions
Suppose we are given an open cover $\mathcal{U}=(U_{i})_{i \in I}$ of a smooth manifold $M$, a cocycle of smooth transition functions $g_{ij}: U_{ij} \to G$ where $G$ is a Lie group, and a (not ...
- 1,624
17
votes
0
answers
1k
views
Jets of sections of vector bundles expressed by symmetrized iterated covariant derivatives - who did it first?
The (non-unique) bundle isomorphism between the bundle $J^r E$ of $r$-th order jets of sections of a vector bundle $\pi:E\rightarrow M$ and the direct sum $$\bigoplus^r_{k=0}\vee^kT^*M\otimes E\...
- 7,817
2
votes
0
answers
124
views
Are affine maps (wrt to a connection), which preserve a tensor field, given by a PDE?
Let $(M, \nabla)$ be a manifold together with a connection on $TM$ and let $T$ be a tensor field on $M$. Suppose the pseudogroup $\Gamma$ of locally defined smooth maps, that simultanously preserve ...
CommunityBot
- 1
5
votes
0
answers
281
views
How to visualize the dual objects of jets of functions?
I work with a smooth $f: M \to \Bbb C$ and I would like to have an object mimicking the concept of "$k$-th order differential" from multivariate calculus. For various reasons that are not important ...
- 5,407
7
votes
1
answer
638
views
Jets in synthetic differential geometry
As I understand it from Kostecki's notes, the $k$-jet $j^k f$ of a function $f: R^n \to R^m$ should be the map $$f^{D_k(n)} : {(R^n)}^{D_k(n)} \to (R^m)^{D_k(n)},$$
where $$D_k(n) = \{(x_1, \ldots, ...
- 6,025
3
votes
0
answers
319
views
Multivalued solution of PDE ${v_{xx}v_{yy}-v_{xy}^{2}}={(1+v_{x}^{2}+v_{y}^{2})^2}$
Let's start with a definition:
Definition: A scalar k-th order differential equation on a smooth manifold $M$,
is $F(x,v,\frac{\partial {^\left | \sigma \right |}v}{\partial x^\sigma })=0 $
for $\...
- 13.6k
5
votes
1
answer
2k
views
1-jet bundle on vector bundle with metric connection
Background
I'm working to simplify the Lagrangian formalism of classical field theory for the situation of a vector bundle with a bundle metric and a metric connection. Particularly, I want to specify ...
CommunityBot
- 1
2
votes
1
answer
1k
views
Tautological and normal bundles over flag manifolds and jet bundles
Hello! Recently, doing my research on jet bundles, I was led to consider the following construction.
Let $V$ be a real vector space of dimension $n$. Consider the flag manifold $G(V,k,l)$ and the two ...
CommunityBot
- 1
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
3
votes
1
answer
809
views
Induced Riemannian metric on Jet-Manifold
Suppose $(M,g)$ and $(N,g')$ are smooth Riemannian manifolds and $J^r(M,N)$ is the
smooth manifold of $r$-jets $j^r_xf$ of smooth maps $f:M\to N$.
Is there an 'induced' Riemannian metric $g''$ on $J^...
- 108k
5
votes
2
answers
727
views
Jets of Equivariant Vector Bundles
Let $M$ be a (compact) $G$-homogeneous space with fibre group $H$, and let ${\cal E}$ be a $G$-equivariant $k$-dimensional vector bundle over $M$ with corresponding representation $\pi:H \to $R$^k$. ...
- 25.3k
5
votes
2
answers
1k
views
On the smooth structure of the spaces of $k$-jets
I was asking myself, if the following list of conditions is sufficient to determine the usual smooth structure on the spaces of $k$-jets.
the map $j^k f:M\ni x\to j_x^k f\in J^k(M,N)$ is smooth, for ...
CommunityBot
- 1
-1
votes
2
answers
378
views
Inverse Problem for jet equations
The following is a well known fact and due to the functorial properties of the jet functor:
Suppose you have two smooth manifolds $M$ and $N$ and maps $f:M \rightarrow N$ as well as
$g: M \rightarrow ...
- 27.5k
3
votes
1
answer
582
views
Jet spaces between non Hausdorff manifolds
I found it very hard to find literature about smooth manifolds that are not required to be Hausdorff. In particular I'm interested in their local properties:
1.) Are the $r$-th order jet bundles $J^r(...
- 12.9k
0
votes
0
answers
271
views
Jet spaces for maps with constraints
Lets be in the category $\mathbf{M}$ of smooth finite dimensional manifolds with smooth maps:
Suppose we have the set of all smooth maps $Hom_\mathbf{M}(R^n,M)$ from $R^n$ to a smooth manifold $M$. ...
- 5,293