Related papers: On definable groups and D-group in certain fields …
We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…
We work over an o-minimal expansion of a real closed field. The o-minimal homotopy groups of a definable set are defined naturally using definable continuous maps. We prove that any two semialgebraic maps which are definably homotopic are…
We study the quasi-endomorphism ring of infinitely definable subgroups in separably closed fields. Based on the results we obtain, we are able to prove a Mordell-Lang theorem for Drinfeld modules of finite characteristic. Using…
A finite group $G$ is said to be admissible over a field $F$ if there exists a division algebra $D$ central over $F$ with a maximal subfield $L$ such that $L/F$ is Galois with group $G$. In this paper we give a complete characterization of…
This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but…
In this paper, the notion of local algebraic fundamental groups of normal complex analytic singularities are generalized to certain profinite groups called $D$-local algebraic fundamental groups which turns out to be useful even for the…
Let $A$ be an $n$-dimensional algebra over a field $k$ and $a(A)$ its quantum symmetry semigroup. We prove that the automorphisms group ${\rm Aut}_{\rm Alg} (A)$ of $A$ is isomorphic to the group $U \bigl( G(a (A)^{\rm o} ) \bigl)$ of all…
We prove that for a finitely generated linear group G over a field of positive characteristic the family of quotients by finite subgroups has finite asymptotic dimension. We use this to show that the K-theoretic assembly map for the family…
We introduce the o-minimal LS-category of definable sets in o-minimal expansions of ordered fields and we establish a relation with the semialgebraic and the classical one. We also study the o-minimal LS-category of definable groups. Along…
We describe the construction which takes as input a profinite group, which when applied the the absolute Galois group of a geometric field F agrees in some cases with the algebraic K-theory of F. We prove that it agrees in the case of a…
We answer in the affirmative a conjecture of Berarducci, Peterzil and Pillay \cite{BPP10} for solvable groups, which is an o-minimal version of a particular case of Milnor's isomorphism conjecture \cite{jM83}. We prove that every abstract…
Let $K$ be a field and $f:\mathbb{P}^N \to \mathbb{P}^N$ a morphism. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group $\text{PGL}_{N+1}$. The group of automorphisms, or…
We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In…
Recall that a definable group is `definably amenable' if it admits a translation-invariant Keisler measure. We prove a combinatorial characterization of definable amenability for groups definable in NIP theories. More specifically, given a…
We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied…
This paper contributes to the generalization of Rademacher's differentiability result for Lipschitz functions when the domain is infinite dimensional and has nonabelian group structure. We introduce the notion of metric scalable groups…
The outlines of a "Galois theory" for bimeromorphic geometry is here developed, via the study of model-theoretic definable binding groups in the theory CCM of compact complex spaces. As an application, a structure theorem about principal…
Let $K$ be a differential field over $\C$ with derivation $D$, $G$ a finite linear automorphism group over $K$ which preserves $D$, and $K^G$ the fixed point subfield of $K$ under the action of $G$. We show that every finite-dimensional…
We show that if a field k contains sufficiently many elements(for instance, if k is infinite), and K is an algebraically closed field containing k, then every linear algebraic k-group over K is k-isomorphic to Aut(A\otimes_kK), where A is a…
This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…