Compatibility of systems of super differential equations (Q913323)

This paper develops a formal theory for general systems of super differential equations, with the emphasis on the development of effective method of analyzing concrete systems of super differential equations. The paper first introduces the conditions of formal Gröbner integrability for systems of super differential equations, which says that there are no unexpected compatibility conditions for the system and hence guarantees the possibility of parametrizing explicitly the space of the formal solutions. One of the main problems of the formal study of super differential equations is, as in the usual boson case, to judge in finite steps whether a given system is formally Gröbner integrable or not. The first main result asserts that a system is formally Gröbner integrable if and only if it is precompatible. A system is called precompatible if there exist no compatibility conditions in the first state of prolongations except for the obvious ones. By introducing the notion of the involutiveness, the above result implies an analogue of the classical Cartan-Kähler theorem: a system of super differential equations is formally Gröbner integrable if it is involutive. Finally, the paper expresses the condition of the involutiveness in terms of the symbol modules, which is very close to the usual definition of the involutiveness in the pure boson case. The following points deserve to be pointed out: (i) This paper contains a brief introduction to the local theory of super geometry, (ii) The paper contains many concrete easy examples to illustrate the various concepts introduced, (iii) the notion of formal Gröbner integrability is inspired by the theory of computer algebra and the concepts and methods in this paper are suited to computer implementation, and (iv) the theory and method introduced in this paper gives, even for the usual pure boson case, a new simpler method of analyzing concrete systems of differential equations.