We classify compact manifolds of dimension three equipped with a path structure and a fixed contact form (which we refer to as a strict path structure) under the hypothesis that their automorphism group is non-compact. We use a Cartan connection associated to the structure and show that its curvature is constant.
We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness, ...). For example, if $M$ is a countable, $omega$-categorical structure and $Aut(M)$ is amenable, as a topological group, then the Lascar Galois group $Gal_{L}(T)$ of the theory $T$ of $M$ is compact, Hausdorff (also over any finite set of parameters), that is $T$ is G-compact. An essentially special case is that if $Aut(M)$ is extremely amenable, then $Gal_{L}(T)$ is trivial, so, by a theorem of Lascar, the theory $T$ can be recovered from its category $Mod(T)$ of models. On the side of definable groups, we prove for example that if $G$ is definable in a model $M$, and $G$ is definably amenable, then the connected components ${G^{*}}^{00}_{M}$ and ${G^{*}}^{000}_{M}$ coincide, answering positively a question from an earlier paper of the authors. We also take the opportunity to further develop the model-theoretic approach to topological dynamics, obtaining for example some new invariants for topological groups, as well as allowing a uniform approach to the theorems above and the various categories.
We prove a theorem that gives a sufficient condition for the full basic automorphism group of a complete Cartan foliation to admit a unique (finite-dimensional) Lie group structure in the category of Cartan foliations. Emphasize that the transverse Cartan geometry may not be effective. Some estimates of the dimension of this group depending on the transverse geometry are found. Further, we investigate Cartan foliations covered by fibrations. When the global holonomy group of that foliation is discrete, we obtain the explicit new formula for determining its basic automorphism Lie group. Examples of computing the full basic automorphism group of complete Cartan foliations are constructed.
We apply results proved in [Li19] to the linear order expansions of non-trivial free homogeneous structures and the universal n-linear order for $ngeq 2$, and prove the simplicity of their automorphism groups.
We will review the main results concerning the automorphism groups of saturated structures which were obtained during the two last decades. The main themes are: the small index property in the countable and uncountable cases; the possibility of recovering a structure or a significant part of it from its automorphism group; the subgroup of strong automorphisms.
We are interested in the class, in the Elie Cartan sense, of left invariant forms on a Lie group. We construct the class of Lie algebras provided with a contact form and classify the frobeniusian Lie algebras up to a contraction. We also study forms which are invariant by a subgroup. We show that the simple group SL(2n,R) which doesnt admit left invariant contact form, yet admits a contact form which is invariant by a maximal compact subgroup. We determine also Pfaffian forms on the Heisenberg $3$-dimensional group invariant by a subgroup and obtain the Transport Equation.