0.3. COMPARISON WIT H OTHE R THEORIE S xix
for this purpose. There is, for instance, a Galois theoretic method that is sufficient
to handle, in particular, the spherical case. Another method, especially useful in
the flat and hyperbolic case, is close in spirit to that used by Hilbert in his original
approach to invariant theory and is based on the existence of a certain system of
(usual) partial differential operators acting on appropriate rings of invariants. In
our case the partial differential operators in question will live on arithmetic jet
spaces and will be derived by analogy with classical mechanics.
0.3. Compariso n wit h other theories
0.3.1. Differential equations o n s m o o t h manifolds. Many of the 5— geo-
metric concepts to be introduced and studied in this book are arithmetic analogues
of concepts related to differential equations on smooth manifolds derived from clas-
sical mechanics. Let us quickly review here some of these smooth manifold concepts.
Let M be a smooth manifold (i.e. a C°° real manifold) equipped with a sub-
mersion 7r : M —•» R. For each t G R we think of
7r-1(£)
as the "configuration
space" at time t. (The map M —• R should be viewed as the object whose arith-
metic analogues are the morphisms of schemes, X Spec F , defining varieties X
over number fields F.) For any smooth map / : R » M we denote by J Q ( / )
t n e
r—jet of / at 0. We define the jet space of M (relative to n) by
(0.6)
Jr(M)
:= { JQ (/) | / : R - M smooth, TT O / : R R a translation}.
Then
Jr(M)
has a natural structure of smooth manifold. Any smooth section
s : R M of TT : M R lifts to a smooth map pr s : R
Jr{M)
defined by
(pr s){t) := J Q ( s o r
t
) ,
where rt : R R is the translation rt{u) := u + t. The smooth functions L :
Jr(M)
R can be thought of as (time dependent) Lagrangians. Alternatively
we may think of such smooth functions L as differential equations on M. The
natural projections
Jr(M)

Jr~1(M)
are fiber bundles with fiber R
n
, where
dim M = n + 1.
Next, in order to simplify our discussion, we will work in coordinates. So we
let M :=H x R
n
with coordinates (£, x) = (t, xi , ...,xn) and we let n : M R be
the first projection. Then we have a natural identification
Jr(M)
= R x R
n
(
r + 1
)
sending the r— jet JQ (/) of a map /
:
R —* M, f(t) = (t + to, x(t)), into the tuple
H°.!«» £•»)•
If 5 : R - R x R
n
, s(£) = (£, x(t)), is a section of n then p r s : R - R x R"(r+i)
is given by
(0.7) ( p r , ) ( t ) = ^ , x ( t ) , ^ ( t ) , . . . , ^ ( t ) ) .
Cf. [114], p. 96. We denote by (t,x,x',...,x^) the coordinates on R x R
n
(
r + 1
) ,
where
x1', ...,x^r^
are n—tuples of variables; for each index i the variables x'^x",...
are the variables conjugate toxi. A (time dependent) Lagrangian is simply a smooth
function
(0.8)
L(t,x,x',...,x(r))
on R x R
n
(
r + 1
) . Below is a list of key concepts related to the above context.
Previous Page Next Page