La variété caractéristique d’un système différentiel linéaire analytique possède les deux propriétés classiques suivantes :
1. Indépendance de la filtration.
2. Intégrabilité (i.e. stabilité par crochet de Poisson).
On montre ici que la première propriété reste vraie hors de la section nulle pour les systèmes non linéaires. La seconde propriété reste vraie génériquement (ailleurs, la question reste ouverte).
The characteristic variety of an analytic linear differential system has the two following classical properties:
1. Independance of the filtration.
2. Integrability (e.g. stability by Poisson bracket).
Here, it is proven that the first property is still true for non-linear systems outside of the zero-section. The second property is still true generically (at the other points, the question remains open).
@article{AIF_2000__50_2_491_0, author = {Malgrange, Bernard}, title = {La vari\'et\'e caract\'eristique d'un syst\`eme diff\'erentiel analytique}, journal = {Annales de l'Institut Fourier}, volume = {50}, year = {2000}, pages = {491-518}, doi = {10.5802/aif.1763}, mrnumber = {2001m:32020}, zbl = {0951.35007}, language = {fr}, url = {http://dml.mathdoc.fr/item/AIF_2000__50_2_491_0} }
Malgrange, Bernard. La variété caractéristique d'un système différentiel analytique. Annales de l'Institut Fourier, Tome 50 (2000) pp. 491-518. doi : 10.5802/aif.1763. http://gdmltest.u-ga.fr/item/AIF_2000__50_2_491_0/
[BCG] Exterior differential systems, MSRI Publ., vol. 18, Springer (1992). | MR 92h:58007 | Zbl 0726.58002
, , , and ,[BG] Characteristic cohomology of differential systems, I; general theory, J. Amer. Math. Soc., 8 (1995), 507-596. | MR 96c:58183 | Zbl 0845.58004
and ,[Bj] Rings of differential operators, North-Holland, 1979. | Zbl 0499.13009
,[BM] What can be computed in algebraic geometry? Comp. alg. geometry and commutative algebras, Symposia Math., 39, Cambridge University Press (1993), 1-43. | Zbl 0846.13017
,[BS] A criterion for detecting m-regularity, Inv. Math., 87 (1987), 1-11. | MR 87k:13019 | Zbl 0625.13003
,[Fr] Points de platitude d'un morphisme d'espaces analytiques, Inv. Math., 4-2 (1967), 118-138. | MR 36 #5388 | Zbl 0167.06803
,[Ga] The integrability of the characteristic variety, Amer. J. Math., 103 (1981), 445-468. | MR 82j:58104 | Zbl 0492.16002
,[GM] A basic course on differential modules, in D-modules coherents et holonomes, P. Maisonobe et C. Sabbah ed., Travaux en cours n° 45, Hermann (1993), 103-168. | MR 99c:32008 | Zbl 0853.32011
, ,[Go] Integrability criteria for systems of non-linear partial differential equations, J. Diff. geometry, 1 (1967), 269-307. | MR 37 #1746 | Zbl 0159.14101
,[Gr] Techniques de constructions en géométrie analytique, Séminaire H. Cartan, 13 (1960/1961), exposés 7-17, Benjamin (1967).
,[GS] An algebraic model for transitive differential geometry, Bull. Amer. Math. Soc., 70 (1964), 16-47. | MR 30 #533 | Zbl 0121.38801
,[Ho] Géométrie analytique locale, Séminaire Cartan 13 (1960/1961), exposés 18-21, Benjamin (1967). | Numdam | Numdam | Zbl 0121.15906
,[Ka] On the maximally overdetermined systems of linear differential equation I, Publ. RIMS Kyoto Univ., 10 (1975), 563-579. | MR 51 #6891 | Zbl 0313.58019
,[Ma] L'involutivité générique des systèmes différentiels analytiques, C. R. Acad. Sc. Paris, 326-1 (1998), 863-866. | MR 99m:58211 | Zbl 0924.58116
,[Qu] Formal properties of overdetermined systems of linear differential equations, Ph. Thesis, Harvard University, 1964.
,[Ri1] Differential algebra, Coll. Publications n° 33, Amer. Math. Soc., Dover (1966).
,[Ri2] Systems of differential equations, I - Theory of ideals, Amer. J. of Math., 60 (1938), 535-548. | JFM 64.0080.02 | Zbl 0019.11601
,[Ts] On variational bicomplexes associated to differential equations, Osaka J. of Math., 19 (1982), 311-363. | MR 84b:58105 | Zbl 0524.58041
,[Tu] The Euler-Lagrange resolution, in Lect. Notes in Mathematics, n° 836, Springer (1980), 22-48. | MR 82g:58005 | Zbl 0456.58012
,[Ve] Classe d'homologie associée à un cycle, Séminaire de géométrie analytique, exposé n° 6, A. Douady et J. L. Verdier, ed., Astérisque 36-37, Soc. Math. Fr. (1976). | MR 56 #5933 | Zbl 0346.14005
,[Vi] The C-spectral sequence, Lagrangian formalism and conservation laws, I, II, J. Math. An. Appl., 100 (1984), 1-129. | Zbl 0548.58014
,