On the Existence of Differential Chow Varieties
University of California, Berkeley
Chow varieties are a parameter space for cycles of a given variety of a given codimension and degree. We construct their analog for differential algebraic varieties with differential algebraic subvarieties, answering a question of Gao, Li and Yuan. The proof uses the construction of classical algebro-geometric Chow varieties, the model theory of differential fields, the theory of characteristic sets of differential varieties, the theory of prolongation spaces, and the theory of differential Chow forms. This is joint work with Wei Li and Tom Scanlon.