Related papers: G-linear sets and torsion points in definably comp…

This work can be thought as a contribution to the model theory of group extensions. We study the groups G which are interpretable in the disjoint union of two structures (seen as a two-sorted structure). We show that if one of the two…

The motion of a compact body in space and time is commonly described by the world line of a point representing the instantaneous position of the body. In General Relativity such a world-line formalism is not quite straightforward because of…

It has been claimed by Halmos in [Comment on the real line, Bull. Amer. Math. Soc., 50 (1944), 877-878] that if G is a Hausdorff locally compact topological abelian group and if the character group of G is torsion free then G is divisible.…

Let $X$ be a first countable Hausdorff topological group. The limit of a sequence in $X$ defines a function denoted by $lim$ from the set of all convergence sequences to $X$. This definition was modified by Connor and Grosse-Erdmann for…

We prove that for every abelian group G and every compactum X with $\dim_G X \leq n \geq 2$ there is a G-acyclic resolution $r: Z \lo X$ from a compactum Z with $\dim_G Z \leq n$ and $\dim Z \leq n+1$ onto X.

We study computational aspects of the General Position Subset Selection problem defined as follows: Given a set of points in the plane, find a maximum-cardinality subset of points in general position. We prove that General Position Subset…

Let $G$ be a dp-minimal group; we prove some consequences of several different hypotheses on $G$. First, if $G$ is torsion-free, then it is abelian. Second, if $G$ admits a distal f-generic type, then it is virtually nilpotent; we prove…

We show, under mild hypotheses, that if each element of a finitely generated group acting on a $2$-dimensional $\mathrm{CAT}(0)$ complex has a fixed point, then there is a global fixed point. In particular all actions of finitely generated…

We state conditions for which a definable local homomorphism between two locally definable groups $\mathcal{G}$, $\mathcal{G^{\prime}}$ can be uniquely extended when $\mathcal{G}$ is simply connected (Theorem 2.1). As an application of this…

Let $\Gamma(G)$ be the Gruenberg-Kegel graph of a finite group $G$. We prove that if $G$ is solvable and $\sigma$ is a cut-set for $\Gamma(G)$, then $G$ has a $\sigma$-series of length $5$ whose factors are controlled. As a consequence, we…

Suppose that $G$ is a locally compact group and $\pi$ is a (not necessarily irreducible) unitary representation of a closed normal subgroup $N$ of $G$ on a Hilbert space $H$. We extend results of Clifford and Mackey to determine when $\pi$…

For a dependent theory T, in C_T for every type definable group G, the intersection of type definable subgroups with bounded index is a type definable subgroup with bounded index.

Let G be a discrete, torsion free group with a finite dimensional classifying space BG. We show that the existence of a gamma-element for such G is a metric, that is, coarse, invariant of G. We also obtain results for groups with torsion.…

Let $G$ be a group. The intersection graph $\Gamma(G)$ of $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two…

Let $G$ be a group and let $X$ be a transitive $G$-space. We classify the subsets of $X$ with respect to a translation invariant ideal $\mathcal{J}$ in the Boolean algebra of all subsets of $X$, introduce and apply the relative…

This paper is devoted to the development and applications of some (new) basic concepts in Lie theory, both from `computational" and "observability" viewpoint. We specify set of all "G-equivariant" maps from a given Lie group G to the…

Let $G$ be a definable group in a $p$-adically closed field $M$. We show that $G$ has finitely satisfiable generics (fsg) if and only if $G$ is definably compact. The case $M = \mathbb{Q}_p$ was previously proved by Onshuus and Pillay.

Without recourse to the sophisticated machinery of twisted group algebras, projective character tables and explicit values of 2-cocycles, we here present a simple algorithm to study the gauge theory data of D-brane probes on a generic…

Suppose a residually finite group $G$ acts cocompactly on a contractible complex with strict fundamental domain $Q$, where the stabilizers are either trivial or have normal $\mathbb{Z}$-subgroups. Let $\partial Q$ be the subcomplex of $Q$…

For any rigid analytic group variety $G$ over a non-archimedean field $K$ over $\mathbb Q_p$, we study $G$-torsors on adic spaces over $K$ in the $v$-topology. Our main result is that on perfectoid spaces, $G$-torsors in the \'etale and…