Chains of differential subvarieties in an algebraic variety. (Q1599092): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q753870 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Hartmut Wiebe / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jabr.2001.9065 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2015301826 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5691061 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A notion of Krull dimension for differential rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5680222 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Specializations in Differential Algebra / rank | |||
Normal rank |
Latest revision as of 10:18, 4 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Chains of differential subvarieties in an algebraic variety. |
scientific article |
Statements
Chains of differential subvarieties in an algebraic variety. (English)
0 references
2002
0 references
A \(\delta\)-ring is a commutative ring \(A\) with \(1\) containing \(\mathbb{Q}\) together with a derivation \(\delta\) of \(A\). In the first part of his paper, the author shows that the lying over theorem, the going-up theorem, and the going-down theorem for \(\delta\)-integral domains still hold, if only \(\delta\)-invariant prime ideals are considered instead of arbitrary prime ideals. These results are applied to the theory of increasing chains of \(\delta\)-subvarieties of a \(\delta\)-variety \(X\) over some differentially closed field \(F\) of characteristic \(0\). The author calls such a chain a long chain, if it has at least \(d\) disjoint subchains of infinitely many subvarieties, where \(d\) is the \(\delta\)-transcendence degree of \(F\langle X\rangle\) over \(F\). He proves the so-called Kolchin catenary problem: Given any \(x\in X\), there is a long chain in \(X\) starting at \(x\).
0 references
Kolchin catenary problem
0 references
\(\delta\)-ring
0 references
\(\delta\)-variety
0 references
derivation
0 references
going-up theorem
0 references
going-down theorem
0 references