Diffiety is a term in the mathematical field of differential geometry and the theory of partial differential equations (PDEs) that denotes a geometric structure representing an infinite‑dimensional manifold equipped with a distinguished distribution encoding a system of differential equations. The concept was introduced in the early 1970s by the Russian mathematician A. M. Vinogradov and his collaborators as part of “secondary calculus,” a framework for studying the geometric and algebraic properties of differential equations.
Definition and Structure
A diffiety is formally defined as a pair $(\mathcal{E}, \mathcal{C})$, where $\mathcal{E}$ is an infinite‑dimensional smooth manifold (often realized as the space of jets of sections of a fiber bundle) and $\mathcal{C}$ is a integrable, involutive distribution on $\mathcal{E}$ that corresponds to the Cartan distribution of the underlying differential equation. The integral manifolds of $\mathcal{C}$ correspond to solutions of the original system of PDEs. In this sense, a diffiety provides a coordinate‑free, intrinsic description of a differential equation.
Historical Context
The notion emerged from the Vinogradov school’s attempt to generalize the classical theory of symmetries, conservation laws, and variational calculus to arbitrary systems of PDEs. Vinogradov introduced the term “diffiety” (a portmanteau of “differential” and the suffix “‑ity”) to emphasize the algebraic‑geometric nature of differential equations, contrasting with the more analytic traditional viewpoint.
Key Features
- Infinite‑dimensionality: Unlike finite‑dimensional manifolds, diffieties accommodate the infinite jet space needed to encode all derivatives of unknown functions.
- Cartan Distribution: The distinguished distribution $\mathcal{C}$ is generated by total derivative operators; its involutivity reflects the compatibility conditions of the differential system.
- Cohomological Tools: Vinogradov’s $\mathcal{C}$-spectral sequence, defined on a diffiety, provides a systematic method for computing conservation laws, symmetries, and variational bicomplexes.
- Secondary Calculus: The language of diffieties underlies secondary calculus, which extends differential calculus to the realm of differential equations, allowing the definition of concepts such as variational derivatives, Noether’s theorem, and Hamiltonian structures on diffieties.
Applications
- Integrable Systems: Diffieties serve as a natural setting for studying integrable hierarchies, where infinite sequences of commuting flows can be interpreted as symmetries of a diffiety.
- Mathematical Physics: In the geometric formulation of field theory, the space of fields together with the Euler‑Lagrange equations forms a diffiety, facilitating the analysis of gauge symmetries and conservation laws.
- Formal Geometry: The theory of diffieties interacts with formal geometry, D‑module theory, and the theory of Lie pseudogroups, providing a unifying geometric perspective.
Related Concepts
- Jet Bundle: The finite‑order jet bundles $J^k(E)$ are the finite‑dimensional approximations of a diffiety, with the infinite jet bundle $J^\infty(E) = \varprojlim J^k(E)$ often serving as the underlying manifold $\mathcal{E}$.
- Cartan Distribution: Named after Élie Cartan, this distribution on jet spaces captures the total derivative operators and is central to the definition of a diffiety.
- Secondary Calculus: Developed by Vinogradov and collaborators, this is the calculus on diffieties, encompassing cohomological methods for PDEs.
References
- A. M. Vinogradov, Cohomological Analysis of Partial Differential Equations and Secondary Calculus, American Mathematical Society, 2001.
- I. S. Krasil’shchik and A. M. Vinogradov (eds.), Symmetries and Conservation Laws for Differential Equations of Mathematical Physics, American Mathematical Society, 1999.
- P. J. Olver, Applications of Lie Groups to Differential Equations, 2nd ed., Springer, 1993.
See also
- Jet bundle
- Cartan distribution
- Secondary calculus
- Variational bicomplex
- Integrable system
Category: Differential geometry; Partial differential equations; Mathematical physics.