BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We consider G, a linear group defined over k, an algebraically closed field. By considering k as an embedded residue field of an algebraically closed valued field K, we can associate to it a compact G-space SGμ(k), consisting of μ-types on G. We showed that for each pμ∈SGμ(k), Stabμ(p)=Stab(pμ) is a solvable infinite algebraic group when pμ is centered at infinity and residually algebraic. Moreover we give a description of the dimension Stab(pμ) in terms of dimension of p.
We prove that for any homotopy type X, there is an abstract elementary class C, with joint embedding, almagamation and no maximal models such that the classifying space realizes the homotopy type X. We provide a few explicit examples.
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, p-adically closed fields, real closed and algebraically closed valued fields and closed ordered differential fields. Furthermore, we prove pro-definability of other distinguished subspaces, some of which have an interesting geometric interpretation. Our general strategy consists in showing that definable types are uniformly definable, a property which implies pro-definability using an argument due to E. Hrushovski and F. Loeser. Uniform definability of definable types is finally achieved by studying classes of stably embedded pairs.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.