Related papers: Definably compact groups definable in real closed …

We study definable sets, groups, and fields in the theory $T_\infty$ of infinite-dimensional vector spaces over an algebraically closed field equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define an…

We provide characterizations of Lie groups as compact-like groups in which all closed zero-dimensional metric (compact) subgroups are discrete. The "compact-like" properties we consider include (local) compactness, (local)…

In this paper, we prove that: (1) Let $f:G\rightarrow H$ be a continuous $d$-open surjective homomorphism; if $G$ is an $\mathbb{R}$-factorizabile paratopological group, then so is $H$. Peng and Zhang's result \cite[Theorem 1.7]{PZ} is…

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…

We study algebraic closure and its relation with definable closure in free groups and more generally in torsion-free hyperbolic groups. Given a torsion-free hyperbolic group G and a nonabelian subgroup A of G, we describe G as a…

Let $M$ be an irreducible smooth projective variety, defined over an algebraically closed field, equipped with an action of a connected reductive affine algebraic group $G$, and let ${\mathcal L}$ be a $G$--equivariant very ample line…

We prove generic differentiability in $P$-minimal theories, strengthening an earlier result of Kuijpers and Leenknegt. Using this, we prove Onshuus and Pillay's $P$-minimal analogue of Pillay's conjectures on o-minimal groups. Specifically,…

Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…

Let G be a connected, compact, semisimple Lie group. It is known that for a compact closed orientable surface $\Sigma$ of genus $l >1$, the order of the group $H^2(\Sigma,\pi_1(G))$ is equal to the number of connected components of the…

Let $X$ be a locally compact Hadamard space and $G$ be a totally disconnected group acting continuously, properly and cocompactly on $X$. We show that a closed subgroup of $G$ is amenable if and only if it is (topologically locally…

Rational discrete cohomology and homology for a totally disconnected locally compact group $G$ is introduced and studied. The $\mathrm{Hom}$-$\otimes$ identities associated to the rational discrete bimodule $\mathrm{Bi}(G)$ allow to…

Throughout this Abstract, $G$ is a topological Abelian group and $\hat{G}$ is the space of continuous homomorphisms from $G$ into $T$ in the compact-open topology. A dense subgroup $D$ of $G$ determines $G$ if the (necessarily continuous)…

A topological group is locally pseudocompact if it contains a non-empty open set with pseudocompact closure. In this note, we prove that if G is a group with the property that every closed subgroup of G is locally pseudocompact, then G_0 is…

This paper compares two generalizations of Heisenberg groups and studies their connection to one of the major open problems in the field of locally compact abelian groups, namely the description of the self-dual locally compact abelian…

We completely characterize definable linear orders in o-minimal structures expanding groups. For example, let (P,<_p) be a linear order definable in the real field R. Then (P,<_p) embeds definably in (R^{n+1},<_l), where <_l is the…

We introduce the notion of an R-group of which the clas- sical groups R, Z and R_+ are typical examples, and we study flows (X;H), where X is a locally compact space and H is a continuous R- group action on X with the further property that…

We classify the locally compact second-countable (l.c.s.c.) groups $A$ that are abelian and topologically characteristically simple. All such groups $A$ occur as the monolith of some soluble l.c.s.c. group $G$ of derived length at most $3$;…

A subgroup $H$ of a group $G$ is $commensurated$ in $G$ if for each $g\in G$, $gHg^{-1}\cap H$ has finite index in both $H$ and $gHg^{-1}$. If there is a sequence of subgroups $H=Q_0\prec Q_1\prec ...\prec Q_{k}\prec Q_{k+1}=G$ where $Q_i$…

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…

We generalize the notion of an approximate indicator for a closed subgroup $H$ of a locally compact group $G$ introduced by Aristov, Runde, and Spronk and extend their characterization of the existence of such nets in terms of the…