The Picard-Vessiot theory, constrained cohomology, and linear differential algebraic groups (Q1679729)

From MaRDI portal
Revision as of 04:17, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
The Picard-Vessiot theory, constrained cohomology, and linear differential algebraic groups
scientific article

    Statements

    The Picard-Vessiot theory, constrained cohomology, and linear differential algebraic groups (English)
    0 references
    0 references
    22 November 2017
    0 references
    The paper discusses the relationship between Picard-Vessiot theory and Kolchin's ``constrained cohomology'' (see [\textit{E. R. Kolchin}, Differential algebra and algebraic groups. New York-London: Academic Press (1973; Zbl 0264.12102)], differential Galois cohomology, p. 421). The author obtained some interesting results in particular: Theorem. Let \((K,\partial)\) be a differential field. Then \(K\) is algebraically closed and Picard-Vessiot closed if and only if \(H_{\partial}^{1}(K,G)=\{1\}\) for any linear differential algebraic group \(G\) over \(K\), namely if every differential algebraic principal homogeneous space \(X\) for \(G\), defined over \(K\), has a \(K\)-point. Corollary. Let \(K\) be a \(\{\partial_x,\partial_t\}\)-differential field where \(\partial_x\) and \(\partial_t\) are commuting derivations. Let \(K^{\partial_x}\) denote the field of constants of \(K\) with respect to \(\partial_x\). Let \(\partial_x\) be a parametrized linear differential equation over \(K\). Assume that \(K^{\partial_x}\) is both algebraically closed and PV-closed as \(\partial_t\)-field. Then has \(K\) a unique parameterized Picard-Vessiot extension for the equation.
    0 references
    Picard-Vessiot extension
    0 references
    Galois cohomology
    0 references
    linear differential algebraic groups
    0 references
    strongly normal extensions
    0 references
    differentially closed fields
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references