Related papers: Higher Poincare Lemma and Integrability
The Initial Algebra Theorem by Trnkov\'a et al.~states, under mild assumptions, that an endofunctor has an initial algebra provided it has a pre-fixed point. The proof crucially depends on transfinitely iterating the functor and in fact…
We clarify the relationship between the linear commutator and the ordinary commutator by showing that in any variety satisfying a nontrivial idempotent Mal'cev condition the linear commutator is definable in terms of the centralizer…
A class of non abelian affine Toda models is constructed in terms of the axial and vector gauged WZW model. It is shown that the multivacua structure of the potential together with non abelian nature of the zero grade subalgebra allows…
This paper offers a number of examples showing that in the case of two independent variables the uniform ellipticity of a linear system of differential equations with partial derivatives of the second order, which fulfills condition (3), do…
The present work is the first of a serie of two papers, in which we analyse the higher variational equations associated to natural Hamiltonian systems, in their attempt to give Galois obstruction to their integrability. We show that the…
Starting from the nonlinear ODE $z'' + f(t)\,z + g(t)\, z^{m}=0$ with $m>1$, we show that after a suitable normal-form reduction of any Hill equation one may, without loss of generality, fix the linear part as $f(t)\equiv \omega^{2}$ (with…
In this paper we give a new proof of the second order Boltzmann-Gibbs principle. The proof does not impose the knowledge on the spectral gap inequality for the underlying model and it relies on a proper decomposition of the antisymmetric…
We establish various criteria for the inertness of the top cell attachments of Poincar\'{e} duality complexes through nonzero degree maps, algebraic intersection theory and various types of homotopy fibrations. Many examples are provided,…
In this paper we revisit a Poincare lemma for foliated forms, with respect to a regular foliation, and compute the foliated cohomology for local models of integrable systems with singularities of nondegenerate type. A key point in this…
We show that the flatness of a nonlinear discrete-time system can be checked by computing a unique sequence of involutive distributions. The well-known test for static feedback linearizability is included as a special case. Since the…
In the first order form, the model considered by Strobl presents, besides local Lorentz and diffeomorphism invariances, an additional local non-linear symmetry. When the model is realized as a Poincar\'e gauge theory according to the…
Lie's linearizability criteria for scalar second-order ordinary differential equations had been extended to systems of second-order ordinary differential equations by using geometric methods. These methods not only yield the linearizing…
Integrability conditions for difference equations admitting a second order formal recursion operator are presented and the derivation of symmetries and canonical conservation laws is discussed. In the generic case, nonlocal conservation…
In this paper we study Chaplygin's Reducibility Theorem and extend its applicability to nonholonomic systems with symmetry described by the Hamilton-Poincare-d'Alembert equations in arbitrary degrees of freedom. As special cases we extract…
We study higher form Proca equations on Einstein manifolds with boundary data along conformal infinity. We solve these Laplace-type boundary problems formally, and to all orders, by constructing an operator which projects arbitrary forms to…
A very useful result concerning flatness in Algebraic Geometry is EGA's ``fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding ``finiteness'' assumptions. Motivated by a Tannakian viewpoint…
Although it is easy to prove the sufficient conditions for optimality of a linear program, the necessary conditions pose a pedagogical challenge. A widespread practice in deriving the necessary conditions is to invoke Farkas' lemma, but…
In this note we show that unsatisfiable systems of linear equations with a constant number of variables per equation over prime finite fields have polynomial-size constant-degree semi-algebraic proofs of unsatisfiability. These are proofs…
Basis tensor gauge theory is a vierbein analog reformulation of ordinary gauge theories in which the difference of local field degrees of freedom has the interpretation of an object similar to a Wilson line. Here we present a non-Abelian…
We define the 2-Toda lattice on every simple Lie algebra g, and we show its Liouville integrability. We show that this lattice is given by a pair of Hamiltonian vector fields, associated with a Poisson bracket which results from an R-matrix…