A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Integrable symmetries of diffieties are studied, leading to local morphisms.
Diffieties formalize geometrically the concept of differential equations. We introduce and study Hamilton-Jacobi diffieties. They are finite dimensional subdiffieties of a given diffiety and appear to play a special role in the field theoretic version of the geometric Hamilton-Jacobi theory.
New diffiety theory leads to a well-posed KP hierarchy.
Domains in infinite jets present the simplest class of diffieties with boundary. In this note some basic elements of geometry of these domains are introduced and an analogue of the C-spectral sequence in this context is studied. This, in particular, allows cohomological interpretation and analysis of initial data, boun…
For the multiple differential algebra of iterated differential forms (see math.DG/0605113 and math.DG/0609287) on a diffiety (O,C) an analogue of C-spectral sequence is constructed. The first term of it is naturally interpreted as the algebra of secondary iterated differential forms on (O,C). This allows to develop sec…
Secondary Calculus formalizes PDEs using cohomology, simplifying their study.
We describe the first term of the --spectral sequence (see math.DG/0610917) of the diffiety (E,C), E being the infinite prolongation of an l-normal system of partial differential equations, and C the Cartan distribution on it.
Using the result by D.Gessler (Differential Geom. Appl. 7 (1997) 303-324, DIPS-9/98, http://diffiety.ac.ru/preprint/98/09_98abs.htm), we show that any invariant variational bivector (resp., variational 2-form) on an evolution equation with nondegenerate right-hand side is Hamiltonian (resp., symplectic).
We show that Jacobi's bound for the order of a system of ordinary differential equations stands in the case of a diffiety defined by a quasi-regular system. We extend the result when there are less equations than variables and characterize the case when the bound is reached.
Proof confirms preservation of projective limits in synthetic differential geometry.
In the preceding note math.DG/0610917 the --spectral sequence, whose first term is composed of \emph{secondary iterated differential forms}, was constructed for a generic diffiety. In this note the zero and first terms of this spectral sequence are explicitly computed for infinite jet spaces. In par…