Rank-2 distributions satisfying the Goursat condition: all their local models in dimension 7 and 8

¹ Laboratoire E. Picard, U.M.R. C.N.R.S. 5580, Département de Mathématiques, Université Paul Sabatier, 118 route de Narbonne, 31062 Toulouse Cedex, France; cheaito@picard.ups-tlse.fr.
² Instytut Matematyki, Uniwersytet Warszawski, Banacha 2, 02-097 Warszawa, Poland; mormul@mimuw.edu.pl.

Received: 14 October 1997
Revised: 21 April 1998

Abstract

We study the rank–2 distributions satisfying so-called Goursat condition (GC); that is to say, codimension–2 differential systems forming with their derived systems a flag. Firstly, we restate in a clear way the main result of[7] giving preliminary local forms of such systems. Secondly – and this is the main part of the paper – in dimension 7 and 8 we explain which constants in those local forms can be made 0, normalizing the remaining ones to 1. All constructed equivalences are explicit. The complete list of local models in dimension 7 contains 13 items, and not 14, as written in[7], while the list in dimension 8 consists of 34 models (and not 41, as could be concluded from some statements in[7]). In these dimensions (and in lower dimensions, too) the models are eventually discerned just by their small growth vector at the origin.

Résumé

Nous étudions les distributions de rang 2 vérifiant la condition de Goursat ; c'est-à-dire, les systèmes différentiels de co-rang 2 formant, avec leurs systèmes dérivés, un drapeau. Nous donnons d'abord un énoncé clair du résultat principal de Kumpera et Ruiz sur des formes locales préliminaires de ces systèmes. Puis, dans la partie principale de l'article, en dimension 7 et 8, nous expliquons quelles constantes dans les formes préliminaires de Kumpera et Ruiz peuvent passer à 0, en normalisant simultanément les constantes restantes à 1. Toutes les équivalences proposées sont explicites. La liste complète des modèles locaux en dimension 7 contient 13 objets (et non 14 énoncés dans [7]), tandis que celle en dimension 8 comporte 34 modèles (et non 41 comme on pouvait le déduire de [7]). En ces dimensions (et en dimensions inférieures aussi) on n'utilise pour distinguer les modèles que leur petit vecteur de croissance à l'origine.