Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn differential Galois groups of strongly normal extensions
64
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We give a detailed proof of Kolchins results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and his co-authors which were written under the assumption that the field of constant is algebraically closed. In the present setting, which encompasses the cases of ordered or p-valued differential fields, we find a partial Galois correspondence and we show one cannot expect more in general. In the class of ordered differential fields, using elimination of imaginaries in the theory of closed ordered fields, we establish a relative Galois correspondence for definable subgroups of the group of differential order automorphisms.
rate research
Read More
We revisit Kolchins results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological fields, which encompasses ordered or p-valued differential fields, we find a partial Galois correspondence and we show one cannot expect more in general. In the class of ordered differential fields, using elimination of imaginaries in CODF, we establish a relative Galois correspondence for relatively definable subgroups of the group of differential order automorphisms.
We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over $emptyset$. As an easy conclusion of our main theorem, we get the main result from our recent paper joint with Andand Pillay, which says that for any strong type defined on a single complete type over $emptyset$, smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the aforementioned paper about bounded quotients of type-definable subgroups of definable groups.
For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $mathcal Lcup{D}$-definable sets and their $mathcal L$-reducts, where $mathcal L$ is a relational expansion of the field language and $D$ a symbol for a derivation. This enables us to associate with an $mathcal Lcup{D}$-definable group in models of such theories, a local $mathcal L$-definable group. As a byproduct, we show that in closed ordered differential fields, one has the descending chain condition on centralisers.
Let $G$ be one of the classical groups of Lie rank $l$. We make a similar construction of a general extension field in differential Galois theory for $G$ as E. Noether did in classical Galois theory for finite groups. More precisely, we build a differential field $E$ of differential transcendence degree $l$ over the constants on which the group $G$ acts and show that it is a Picard-Vessiot extension of the field of invariants $E^G$. The field $E^G$ is differentially generated by $l$ differential polynomials which are differentially algebraically independent over the constants. They are the coefficients of the defining equation of the extension. Finally we show that our construction satisfies generic properties for a specific kind of $G$-primitive Picard-Vessiot extensions.
We establish a formal framework for Rogness homotopical Galois theory and adapt it to the context of motivic spaces and spectra. We discuss examples of Galois extensions between Eilenberg-MacLane motivic spectra and between the Hermitian and algebraic K-theory spectra.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
