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

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6810761
Language Label Description Also known as
default for all languages
No label defined
    English
    The Picard-Vessiot theory, constrained cohomology, and linear differential algebraic groups
    scientific article; zbMATH DE number 6810761

      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
      0 references