Questions tagged [jets]
The jets tag has no usage guidance.
24 questions with no upvoted or accepted answers
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
7
votes
0
answers
234
views
What is the relationship between higher-order derivations (in the sense of Hasse-Schmidt) and differential operators?
Let $A$ and $B$ be $R$-algebras. A Hasse-Schmidt $m$-derivation $D : A \to B$ is a tuple $(D_0, D_1, \dots, D_m)$ of $R$-linear maps $A \to B$ satisfying the generalized Leibniz law,
$$ D_k(xy) = \...
- 3,720
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 ...
user126256
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
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
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
3
votes
0
answers
58
views
Jet at a singular point or a submanifold
Let $M$ be a smooth manifold, $p\in M$ and $f\in C^\infty(M\setminus\{p\})$.
We will say that $f$ has a power-law singularity at $p$ of order $\eta$ if for every smooth immersion $\gamma:(-1,1)\to M$ ...
- 1,488
3
votes
0
answers
61
views
Integral sections of higher-order jet fields
I posted this topic on StackExchange, but it may suit this forum better.
Consider a bundle $(E,\pi, M)$ and let $k\in \mathbb N$. I am going to adopt the notations and conventions by Saunders.
...
- 141
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
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
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
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 $\...
user21574
2
votes
0
answers
55
views
How is the $k$-times iterative frame bundle $FF\cdots FM$ associated to the higher order frame bundle $F^k M$?
$\DeclareMathOperator\Gl{Gl}$As I understand it a natural bundle is one for which a diffeomorphism on the base space lifts to an automorphism on the total space of the bundle. It is my understanding ...
- 250
2
votes
0
answers
68
views
How far can one get by counting spaces of solutions this way?
I am quite used to "counting"/computing finite dimensions. For example, one would expect a hypersurface in $\mathbb{C}^3$ to have dimension $3 - 1 = 2$. But it is often the case that the ...
- 5,215
2
votes
0
answers
67
views
Internal symmetries of partial differential relation via the nonholonomic jet bundle
On a smooth n-dimensional Riemannian manifold $M$, suppose I have the kth order partial differential relation (PDR) written in the form:
$$\mathcal{R}=\mathcal{R}\left(x^{i},u^{i},u_{j}^{i},u_{jk}^{i}\...
- 250
2
votes
0
answers
164
views
The variety of $\mathbb{C}[t]_{< d}$-points on a variety
(This was posted to https://math.stackexchange.com/q/4244260/799193 where it did not receive an answer.)
Let $X \subseteq \mathbb{C}^n$ be an affine variety defined by $f_i(x_1, \ldots, x_n)=0, 1 \le ...
- 539
2
votes
0
answers
192
views
Morphism between jet spaces smooth
In this article "Introduction to Jet Schemes and Arc Spaces" S. Ishii introduces the spaces of $m$-jets:
Let $X$ be a variety over algebraically closed field $k$. The space $X_m$ of $m$-jets ...
- 6,038
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 ...
- 121
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
1
vote
0
answers
33
views
Nonholonomic version of bijection between $r$th order connection on $TM$ and principal connection on $r$th order frame bundle $P^r M$?
Given a smooth manifold $M$, Kolář - On the torsion of linear higher order connections showed that there is an equivalence between a linear, $r$-th order connection the tangent bundle $TM$ of $M$, and ...
- 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
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
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$. ...
- 137