Differential Weil descent
Abstract
Abstract In this note a differential version of the classical Weil descent is established in all characteristics. This yields a ready-to-deploy tool of differential restriction of scalars for differential varieties over finite differential field extensions.