[Paper Review] Peetre-Slovák's theorem revisited

José Navarro, J. B. Sancho|arXiv (Cornell University)|Nov 27, 2014

Geometric Analysis and Curvature Flows8 references3 citations

TL;DR

This paper revisits Peetre-Slovák's theorem using sheaf theory and ringed spaces to establish a clean, simplified characterization of differential operators between smooth fibre bundles. It proves that regular morphisms of sheaves of smooth sections correspond bijectively to differential operators via their infinite jet prolongations, generalizing Peetre's original result for linear operators to a broad class of non-linear operators with applications in natural operations and variational calculus.

ABSTRACT

In 1960, J. Peetre proved the finiteness of the order of linear local operators. Later on, J. Slovák vastly generalized this theorem, proving the finiteness of the order of a broad class of (non-linear) local operators. In this paper, we use the language of sheaves and ringed spaces to prove a simpler version of Slovák's result. The statement we prove, adapting Slovák's original ideas, deals with local operators defined between the sheaves of smooth sections of fibre bundles, and thus covers many of the applications of Slovák's theorem.

Motivation & Objective

• To provide a simplified, sheaf-theoretic proof of Slovák’s generalization of Peetre’s finiteness theorem for non-linear local operators.
• To establish a clean correspondence between differential operators and regular morphisms of sheaves of smooth sections of fibre bundles.
• To make the result accessible and applicable to geometric and variational calculus, particularly in the context of natural operations.
• To use the language of ringed spaces and jet prolongations to streamline the technical framework of the original proof.

Proposed method

• Utilizes the category of ringed spaces to define the infinite jet space $JF$ as the inverse limit of $k$-jet prolongations, preserving smooth structures.
• Employs Whitney’s Extension Theorem to ensure smoothness of maps defined on jet spaces.
• Defines a regular morphism of sheaves as one that preserves smooth families of sections, generalizing continuity to smooth parametrized families.
• Constructs a map $P o ilde{ heta}_P$ from differential operators $P: JF o \bar{F}$ to morphisms of sheaves $\tilde{\theta}_P: \mathcal{F} \to \bar{\mathcal{F}}$ via evaluation on infinite jets.
• Proves that this map is a bijection by showing injectivity via jet determination and surjectivity via local lifting using Whitney’s Theorem.
• Applies the theory to show that any regular morphism arises from a uniquely determined differential operator, using the jet prolongation structure.

Experimental results

Research questions

• RQ1 Can Slovák’s generalization of Peetre’s theorem be re-proven in a simpler, more accessible framework using sheaf theory and ringed spaces?
• RQ2 What conditions ensure that a regular morphism of sheaves of smooth sections arises from a differential operator?
• RQ3 How does the infinite jet space $JF$ serve as a natural domain for characterizing local operators in the sheaf-theoretic setting?
• RQ4 To what extent can the original Peetre theorem for linear operators be recovered as a special case of this generalized correspondence?
• RQ5 What is the role of Whitney’s Extension Theorem in establishing the smoothness of the inverse map from morphisms to operators?

Key findings

• The map $P \mapsto \phi_P$, assigning to each differential operator $P: JF \to \bar{F}$ the induced morphism of sheaves $\phi_P(s)(x) = P(j^\infty_x s)$, is a well-defined bijection.
• Every regular morphism of sheaves $\phi: \mathcal{F} \to \bar{\mathcal{F}}$ arises from a unique differential operator $P: JF \to \bar{F}$, establishing a canonical correspondence.
• The proof relies on the smooth structure of the infinite jet space $JF$ as a ringed space, constructed as the inverse limit of $k$-jet prolongations.
• The regularity of a morphism ensures that the associated map on jets is smooth, which is essential for the bijectivity of the correspondence.
• The result generalizes Peetre’s original theorem for linear operators to non-linear, local operators between smooth fibre bundles.
• The framework applies directly to key areas such as natural operations in differential geometry and the geometric theory of variational calculus.