The jets tag has no usage guidance.

**6**

votes

**1**answer

242 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**

votes

**1**answer

138 views

### When does 'Zariski tangent space derivative' vanishes everywhere imply that a section is constant?

Consider an abelian algebra, $R$, over the field $K$ with the properties that every residue field of $R$ is (canonically) isomorphic to $K$ (I'm not sure but I think this is necessary, otherwise we ...

**0**

votes

**0**answers

51 views

### normality of truncated arc space

Let $X=Spec(A)$, with $A$ a normal $k$-algebra of finite type, $k$ is a field.
For any integer $n$, let $X(k[t]/(t^{n}))$ the $n$-th truncated arc space, is it also normal?
Same question for ...

**4**

votes

**0**answers

225 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 ...

**2**

votes

**1**answer

321 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 ...

**2**

votes

**0**answers

216 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 ...

**4**

votes

**2**answers

512 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$. ...

**3**

votes

**1**answer

900 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 ...

**1**

vote

**1**answer

518 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 ...

**-1**

votes

**2**answers

335 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 ...

**3**

votes

**1**answer

484 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 ...

**0**

votes

**0**answers

239 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$. ...

**4**

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, ...