Differential Tannakian categories and fiber functors
AbstractWe define a differential Tannakian category (without using fiber fubctors) and show that under a natural assumption it has a fiber functor. If in addition this category is neutral, that is, the target category for the fiber functor are finite dimensional vector spaces over the base field, then it is equivalent to the category of representations of a (pro-)linear differential algebraic group. Our approach generalises Deligne’s fiber functor construction for the usual Tannakian categories.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.