The Ritt-Raudenbush Theorem and Tropical Differential Geometry

François Boulier (1) , Mercedes Haiech (2)

1 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
2 IRMAR - Institut de Recherche Mathématique de Rennes

In this paper, we prove that a version of the Ritt-Raudenbush Theorem suitable to Tropical Differential Geometry is implied by a result of Kolchin. We also show how to modify the classical Ritt-Raudenbush version in order to obtain the same result. Last, we will discuss the use made by this theorem in a recent paper by Arauca, Garay and Toghani.

Domaines: Calcul formel [cs.SC]; Algèbre commutative [math.AC]

François Boulier, Mercedes Haiech. The Ritt-Raudenbush Theorem and Tropical Differential Geometry. 2019. ⟨hal-02403365v1⟩