Related papers: Stabilizers, groups with f-generics in NTP2 and PR…
We prove a version of Hrushovski's socle lemma for rigid groups in an arbitrary simple theory.
We derive the spin-statistics theorem in both relativistic and non-relativistic first-quantized form, extending considerably the earlier proofs. Our derivation is based on the representation theories of the groups SU (2) and SL(2,C), latter…
We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that…
We prove a slope 1 stability range for the homology of the symplectic, orthogonal and unitary groups with respect to the hyperbolic form, over any fields other than $F_2$, improving the known range by a factor 2 in the case of finite…
We improve homological stability ranges for the orthogonal group, special orthogonal group, elementary orthogonal group and the spin group over a commutative local ring $R$ with infinite residue field such that $2 \in R^{*}$.
We establish non-unirational versions of Hilbert Irreducibility for all Hilbert modular surfaces which are of K3 type. As an application we prove new instances of the regular Inverse Galois Problem for the simple groups…
In this Note, we define a class of stratified Lie groups of arbitrary step (that are called ``groups of type $\star$'' throughout the paper), and we prove that, in these groups, sets with constant intrinsic normal are vertical halfspaces.…
In this paper, we show the fundamental theorems for rotationally symmetric hypersurfaces, and thus, together with the earlier results in [3] and [4], provide a complete classification of umbilic hypersurfaces in the Heisenberg groups…
E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree.…
We consider stability theory for Polish spaces and more generally for definable structures (say, with elements of a set of reals). We clarify by proving some equivalent conditions for $\aleph_0$-stability. We succeed to prove existence of…
The stability issue of a large class of modified gravitational models is discussed with particular emphasis to de Sitter solutions. Three approaches are briefly presented and the generalization to more general cases is mentioned.
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
We consider the problem of removing the divergences in an arbitrary gauge-field theory (possibly nonrenormalizable). We show that this can be achieved by performing, order by order in the loop expansion, a redefinition of some parameters…
We study a generalization of conditional probability for arbitrary ordered vector spaces. A related problem is that of assigning a numerical value to one vector relative to another. We characterize the groups for which these generalized…
We consider definable topological dynamics for $NIP$ groups admitting certain decompositions in terms of specific classes of definably amenable groups. For such a group, we find a description of the Ellis group of its universal definable…
For a differential field $F$ having an algebraically closed field of constants, we analyze the structure of Picard-Vessiot extensions of $F$ whose differential Galois groups are unipotent algebraic groups and apply these results to study…
For a variety of finite groups $\mathbf H$, let $\overline{\mathbf H}$ denote the variety of finite semigroups all of whose subgroups lie in $\mathbf H$. We give a characterization of the subsets of a finite semigroup that are pointlike…
In this paper we study analogues of amenability for topological groups in the context of definable structures. We prove fixed point theorems for such groups. More importantly, we propose definitions for definable actions and continuous…
We use the theory of p-curvature of connections to analyze stable vector bundles of rank 2 on curves of genus 2 which pull back to unstable bundles under the Frobenius morphism. We take two approaches, first using explicit formulas for…
We study the degrees of freedom in New General Relativity -- flat and metric compatible family of theories -- around the Minkowski background in a gauge invariant manner. First, we confirm the decoupling case, in which the theory reduces to…