The classification of the semisimple differential algebraic groups and the linear semisimple differential algebraic Lie algebras (Q1123944)

Let U be a universal differential field with a finite set of commuting differential operators and field of constants K. An (affine) differential algebraic group is defined by polynomial differential equations and its group operations are differential rational maps. The theory is much harder than the corresponding algebraic group theory. For example, it is a major result in this paper that a connected semi-simple differential algebraic group has a differential isogeny onto a linear differential algebraic group. The main results of the paper are a classification of the connected semi- simple differential algebraic groups up to isogeny, and of the linear semi-simple differential algebraic Lie algebras up to isomorphism. The paper has an appendix which considers a geometric model for differential algebra, and a section which represents the differential subgroups of PSL(2,U) as the symmetry groups of Riccati equations. (Here U has a single differential operator.)