Tannakian approach to linear differential algebraic groups. (Q941095)

Let \(G\) be a linear algebraic group. A theorem of Tannaka states that \(G\) can be reconstructed from the category of its finite dimensional rational representations and the forgetful functor. The work under review extends Tannaka's theorem for linear differential algebraic groups. A \(\partial\)-field is a pair of a field \(k\) and a differential \(\partial\) of \(k\). In this work \(k\) is assumed to be of characteristic 0. One considers the category of \(\partial\)-\(k\)-algebras, i.e. \(k\)-algebras equipped with a differential, which extends \(\partial\). An affine algebraic differential group over \(k\) can be defined as a representable functor from this category to the category of groups. For example, the group \(\text{GL}(m)\) is represented by the differential Hopf algebra \(k\{X_{11},\dots,X_{mm},1/[\det]\}\), which is generated by the indeterminates \(X_{ij}\), the determinant and their derivatives of all orders. A differential algebraic group is by definition a closed subgroup of \(\text{GL}(m)\). The main theorem shows that a differential algebraic group can be reconstructed from the category of its finite dimensional rational representations in a similar manner as for ordinary algebraic groups.