Abstract: 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 Wei. The proof uses the construction of classical algebro-geometric Chow varieties, the theory of characteristic sets of differential varieties, the theory of prolongation spaces, and the theory of differential Chow forms. In the course of the proof several definability results from the theory of algebraically closed fields are required. Elementary proofs of these results are given in an appendix by William Johnson.
Recommendations
- Partial differential Chow forms and a type of partial differential Chow varieties
- Chow form for projective differential variety
- Homology using Chow varieties
- Chern numbers and diffeomorphism types of projective varieties
- The equations defining Chow varieties
- Equivariant Chow cohomology of toric varieties
- Infinitesimal Chow dilogarithm
- scientific article; zbMATH DE number 701194
- scientific article; zbMATH DE number 1353465
- Publication:4486499
Cited in
(14)- Elimination theory in differential and difference algebra
- Chow form for projective differential variety
- Construction of free differential algebras by extending Gröbner-Shirshov bases
- Free objects and Gröbner-Shirshov bases in operated contexts
- Counting mod \(n\) in pseudofinite fields
- A differential analog of the Noether normalization lemma
- Partial differential Chow forms and a type of partial differential Chow varieties
- Effective definability of Kolchin polynomials
- scientific article; zbMATH DE number 7650582 (Why is no real title available?)
- Bertini theorems for differential algebraic geometry
- Koszul duality, minimal model and L_ -structure for differential algebras with weight
- Zilber's notion of logically perfect structure: universal covers
- Cohomologies, non-abelian extensions and Wells exact sequences of \(\lambda\)-differential pre-Lie algebras
- Advances in elimination theory for algebraic differential and difference equations
This page was built for publication: Differential Chow varieties exist
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5357337)
