Amenability, connected components, and definable actions

We study amenability of definable groups and topological groups, and prove various results, briefly described below. Among our main technical tools, of interest in its own right, is an elaboration on and strengthening of the Massicot-Wagner version (Massicot and Wagner in J Ec Polytech Math 2:55–63, 2015) of the stabilizer theorem (Hrushovski in J Am Math Soc 25:189–243, 2012), and also some results about measures and measure-like functions (which we call means and pre-means). As an application we show that if G is an amenable topological group, then the Bohr compactification of G coincides with a certain “weak Bohr compactification” introduced in Krupiński and Pillay (Adv Math 345:1253–1299, 2019). In other words, the conclusion says that certain connected components of G coincide: $$G^{00}_{{{\,\mathrm{{top}}\,}}} = G^{000}_{{{\,\mathrm{{top}}\,}}}$$ G top 00 = G top 000 . We also prove wide generalizations of this result, implying in particular its extension to a “definable-topological” context, confirming the main conjectures from Krupiński and Pillay (2019). We also introduce $$\bigvee $$ ⋁ -definable group topologies on a given $$\emptyset $$ ∅ -definable group G (including group topologies induced by type-definable subgroups as well as uniformly definable group topologies), and prove that the existence of a mean on the lattice of closed, type-definable subsets of G implies (under some assumption) that $${{\,\mathrm{{cl}}\,}}(G^{00}_M) = {{\,\mathrm{{cl}}\,}}(G^{000}_M)$$ cl ( G M 00 ) = cl ( G M 000 ) for any model M. Secondly, we study the relationship between (separate) definability of an action of a definable group on a compact space [in the sense of Gismatullin et al. (Ann Pure Appl Log 165:552–562, 2014)], weakly almost periodic (wap) actions of G [in the sense of Ellis and Nerurkar (Trans Am Math Soc 313:103–119, 1989)], and stability. We conclude that any group G definable in a sufficiently saturated structure is “weakly definably amenable” in the sense of Krupiński and Pillay (2019), namely any definable action of G on a compact space supports a G-invariant probability measure. This gives negative solutions to some questions and conjectures raised in Krupiński (J Symb Log 82:1080–1105, 2017) and Krupiński and Pillay (2019). Stability in continuous logic will play a role in some proofs in this part of the paper. Thirdly, we give an example of a $$\emptyset $$ ∅ -definable approximate subgroup X in a saturated extension of the group $${{\mathbb {F}}}_2 \times {{\mathbb {Z}}}$$ F 2 × Z in a suitable language (where $${{\mathbb {F}}}_2$$ F 2 is the free group in 2-generators) for which the $$\bigvee $$ ⋁ -definable group $$H:=\langle X \rangle $$ H : = ⟨ X ⟩ contains no type-definable subgroup of bounded index. This refutes a conjecture by Wagner and shows that the Massicot-Wagner approach to prove that a locally compact (and in consequence also Lie) “model” exists for each approximate subgroup does not work in general (they proved in (Massicot and Wagner 2015) that it works for definably amenable approximate subgroups).

Coronas for properly combable spaces

This paper is a systematic approach to the construction of coronas (i.e. Higson dominated boundaries at infinity) of combable spaces. We introduce three additional properties for combings: properness, coherence and expandingness. Properness is the condition under which our construction of the corona works. Under the assumption of coherence and expandingness, attaching our corona to a Rips complex construction yields a contractible [Formula: see text]-compact space in which the corona sits as a [Formula: see text]-set. This results in bijectivity of transgression maps, injectivity of the coarse assembly map and surjectivity of the coarse co-assembly map. For groups we get an estimate on the cohomological dimension of the corona in terms of the asymptotic dimension. Furthermore, if the group admits a finite model for its classifying space [Formula: see text], then our constructions yield a [Formula: see text]-structure for the group.

On the construction of resolving control in the problem of getting close at a fixed time moment

The problem of getting close of a controlled system with a compact space in a finite-dimensional Euclidean space at a fixed time is studied. A method of constructing a solution to the problem is proposed which is based on the ideology of the maximum shift of the motion of the controlled system by the solvability set of the getting close problem.

A Corson Compact Space is Countable if the Complement of its Diagonal is Functionally Countable

A space X is called functionally countable if ƒ (X) is countable for any continuous function ƒ : X → Ø. Given an infinite cardinal k, we prove that a compact scattered space K with d(K) > k must have a convergent k+-sequence. This result implies that a Corson compact space K is countable if the space (K × K) \ ΔK is functionally countable; here ΔK = {(x, x): x ϵ K} is the diagonal of K. We also establish that, under Jensen’s Axiom ♦, there exists a compact hereditarily separable non-metrizable compact space X such that (X × X) \ ΔX is functionally countable and show in ZFC that there exists a non-separable σ-compact space X such that (X × X) \ ΔX is functionally countable.

Cardinal estimates involving the weak Lindelöf game

We show that if X is a first-countable Urysohn space where player II has a winning strategy in the game $$G^{\omega _1}_1({\mathcal {O}}, {\mathcal {O}}_D)$$ G 1 ω 1 ( O , O D ) (the weak Lindelöf game of length $$\omega _1$$ ω 1 ) then X has cardinality at most continuum. This may be considered a partial answer to an old question of Bell, Ginsburg and Woods. It is also the best result of this kind since there are Hausdorff first-countable spaces of arbitrarily large cardinality where player II has a winning strategy even in the weak Lindelöf game of countable length. We also tackle the problem of finding a bound on the cardinality of a first-countable space where player II has a winning strategy in the game $$G^{\omega _1}_{fin}({\mathcal {O}}, {\mathcal {O}}_D)$$ G fin ω 1 ( O , O D ) , providing some partial answers to it. We finish by constructing an example of a compact space where player II does not have a winning strategy in the weak Lindelöf game of length $$\omega _1$$ ω 1 .

Variational Principles for Maximization Problems with Lower-semicontinuous Goal Functions

Let X be a completely regular topological space and f a real-valued bounded from above lower semicontinuous function in it. Let C(X) be the space of all bounded continuous real-valued functions in X endowed with the usual sup-norm. We show that the following two properties are equivalent: X is α-favourable (in the sense of the Banach-Mazur game); The set of functions h in C(X) for which f + h attains its supremum in X contains a dense and Gδ-subset of the space C(X). In particular, property (b) has place if X is a compact space or, more generally, if X is homeomorphic to a dense Gδ subset of a compact space.We show also the equivalence of the following stronger properties: X contains some dense completely metrizable subset; the set of functions h in C(X) for which f + h has strong maximum in X contains a dense and Gδ-subset of the space C(X). If X is a complete metric space and f is bounded, then the set of functions h from C(X) for which f + h has both strong maximum and strong minimum in X contains a dense Gδ-subset of C(X).

On spatial matchings: The first-in-first-match case

We describe a process where two types of particles, marked red and blue, arrive in a domain at a constant rate. When a new particle arrives into the domain, if there are particles of the opposite color present within a distance of 1 from the new particle, then, among these particles, it matches to the one with the earliest arrival time, and both particles are removed. Otherwise, the particle is simply added to the system. Additionally, particles may lose patience and depart at a constant rate. We study the existence of a stationary regime for this process, when the domain is either a compact space or a Euclidean space. In the compact setting, we give a product-form characterization of the stationary distribution, and then prove an FKG-type inequality that establishes certain clustering properties of the particles in the steady state.

Infra -α- Compact and Infra -α- Connected Spaces

In 2016 Hakeem A. Othman and Md. Hanif Page introduced a new notion of set in general topology called an infra -α- open set and investigated its fundamental properties and studied the relationship between infra -α- open set and other topological sets. The objective of this paper is to introduce the new concepts called infra -α- compact space, countably infra -α- compact space, infra -α- Lindelof space, almost infra -α- compact space, mildly infra -α- compact space and infra -α- connected space in general topology and investigate several properties and characterizations of these new concepts in topological spaces.