Related papers: Frolicher structures, diffieties, and a formal KP …
By introducing suitable non-isospectral flows we construct two sets of symmetries for the isospectral differential-difference Kadomstev-Petviashvili hierarchy. The symmetries form an infinite dimensional Lie algebra.
We review the integration of the KP hierarchy in several non-standard contexts. Specifically, we consider KP in the following associative differential algebras: an algebra equipped with a nilpotent derivation; an algebra of functions…
Cofibrations are defined in the category of Fr\"olicher spaces by weakening the analog of the classical definition to enable smooth homotopy extensions to be more easily constructed, using flattened unit intervals. We later relate smooth…
We define hierarchies of differential--q-difference equations, which are q-deformations of the equations of the generalized KdV hierarchies. We show that these hierarchies are bihamiltonian, one of the hamiltonian structures being that of…
We construct a differential Gerstenhaber-Batalin-Vilkovisky algebra from Dolbeault complex of any close Kaehler manifold, and a Frobenius manifold structure on Dolbeault cohomology.
A higher dimensional analogue of the KP hierarchy is presented. Fundamental constituents of the theory are pseudo-differential operators with Moyal algebraic coefficients. The new hierarchy can be interpreted as large-$N$ limit of…
An attempt is given to formulate the extensions of the KP hierarchy by introducing fractional order pseudo-differential operators. In the case of the extension with the half-order pseudo-differential operators, a system analogous to the…
We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…
In this paper, we introduce the notion of cyclic Frobenius algebras (CF-algebras). Canonical structures of CF-algebras exist on associative and Poisson algebras. It turns out that the modern theory of integrable systems yields non-trivial…
We construct the canonical structure of an irreducible projective variety on the set of connected curves of degree $d$ in $\Bbb P^n$ with rational components (some components can be multiple). The set of rational curves is open subset in…
We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural quantifier resource. We define a variant of…
We introduce a new notion of "regularity structure" that provides an algebraic framework allowing to describe functions and / or distributions via a kind of "jet" or local Taylor expansion around each point. The main novel idea is to…
We review Haefliger's differentiable cohomology for the pseudogroup of diffeomorphisms of $\mathbb{R}^q$. We investigate the structure needed to define such a cohomology, which, remarkably, is related to the so called Cartan distribution…
We consider certain groups of tree automorphisms as so-called diffeological groups. The notion of diffeology, due to Souriau, allows to endow non-manifold topological spaces, such as regular trees that we look at, with a kind of a…
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…
We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological…
We incorporate pearly Floer trajectories into the transversality scheme for pseudoholomorphic maps introduced by Cieliebak-Mohnke. By choosing generic domain-dependent almost complex structures we obtain zero and one-dimensional moduli…
A strongly Fregean algebra is an algebra such that the class of its homomorphic images is Fregean and the variety generated by this algebra is congruence modular. To understand the structure of these algebras we study the prime intervals…
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…
We establish a version of the complex Frobenius theorem in the context of a complex subbundle S of the complexified tangent bundle of a manifold, having minimal regularity. If the subbundle S defines the structure of a Levi-flat…