Differential Weil descent
arXiv:2003.02886
Abstract
In this short 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.
This is a slightly improved version of the first half of the previous preprint arXiv:1807.09317 The second half will also be submitted to arXiv with substantially new results. The previous preprint will not be published