Quasi-convex sequences in the circle and the 3-adic integers

In this paper, we present families of quasi-convex sequences converging to zero in the circle group T, and the group J₃ of 3-adic integers. These sequences are determined by increasing sequences of integers. For an increasing sequence , put gn=an+1−an. We prove that

(a)

the set {0}∪{±³−(an+1)|n∈N} is quasi-convex in T if and only if a₀>0 and gn>1 for every n∈N;

(b)

the set {0}∪{±an³|n∈N} is quasi-convex in the group J₃ of 3-adic integers if and only if gn>1 for every n∈N.

Moreover, we solve an open problem from [D. Dikranjan, L. de Leo, Countably infinite quasi-convex sets in some locally compact abelian groups, Topology Appl. 157 (8) (2010) 1347-1356] providing a complete characterization of the sequences such that {0}∪{±²−(an+1)|n∈N} is quasi-convex in T. Using this result, we also obtain a characterization of the sequences such that the set {0}∪{±²−(an+1)|n∈N} is quasi-convex in R.     

Locally compact abelian groups admitting non-trivial quasi-convex null sequences

In this paper, we show that, for every locally compact abelian group G, the following statements are equivalent:

(i)

G contains no sequence such that {0}∪{±x_n∣n∈N} is infinite and quasi-convex in G, and x_n?0;

(ii)

one of the subgroups {g∈G∣2g=0} or {g∈G∣3g=0} is open in G;

(iii)

G contains an open compact subgroup of the form or for some cardinal κ.

     

Exhaustive weakly wandering sequences

A sequence of integers {n_i : i = 0, 1…} is an exhaustive weakly wandering sequence for a transformation T if for some measurable set W, X=^∞_i=0TⁿⁱW(disj. We introduce a hereditary Property (H) for a sequence of integers associated with an infinite ergodic transformation T, and show that it is a sufficient condition for the sequence to be an exhaustive weakly wandering sequence for T. We then show that every infinite ergodic transformation admits sequences that possess Property (H), and observe that Property (H) is inherited by all subsequences of a sequence that possess it. As a corollary, we obtain an application to tiling the set of integers with infinite subsets.     

Intersections of Magnus subgroups and embedding theorems for cyclically presented groups

It is now known that the intersection of two Magnus subgroups M_i=〈Y_i〉 (1≤i≤2) in a one-relator group is either the free group F on Y₁∩Y₂ or the free product of F together with an infinite cyclic group (so-called exceptional intersection). Using this, we give conditions under which two embedding theorems for cyclically presented groups can be obtained. This provides a new method for proving such groups infinite. We also give a combinatorial method for checking the presence of exceptional intersections.     

Building suitable sets for locally compact groups by means of continuous selections

If a discrete subset S of a topological group G with the identity 1 generates a dense subgroup of G and S∪{1} is closed in G, then S is called a suitable set for G. We apply Michael's selection theorem to offer a direct, self-contained, purely topological proof of the result of Hofmann and Morris [K.-H. Hofmann, S.A. Morris, Weight and c, J. Pure Appl. Algebra 68 (1-2) (1990) 181-194] on the existence of suitable sets in locally compact groups. Our approach uses only elementary facts from (topological) group theory.     

A class of angelic sequential non-Fréchet-Urysohn topological groups

Fréchet-Urysohn (briefly F-U) property for topological spaces is known to be highly non-multiplicative; for instance, the square of a compact F-U space is not in general Fréchet-Urysohn [P. Simon, A compact Fréchet space whose square is not Fréchet, Comment. Math. Univ. Carolin. 21 (1980) 749-753. [27]]. Van Douwen proved that the product of a metrizable space by a Fréchet-Urysohn space may not be (even) sequential. If the second factor is a topological group this behaviour improves significantly: we have obtained (Theorem 1.6(c)) that the product of a first countable space by a F-U topological group is a F-U space. We draw some important consequences by interacting this fact with Pontryagin duality theory. The main results are the following:

(1)

If the dual group of a metrizable Abelian group is F-U, then it must be metrizable and locally compact.

(2)

Leaning on (1) we point out a big class of hemicompact sequential non-Fréchet-Urysohn groups, namely: the dual groups of metrizable separable locally quasi-convex non-locally precompact groups. The members of this class are furthermore complete, strictly angelic and locally quasi-convex.

(3)

Similar results are also obtained in the framework of locally convex spaces.

Another class of sequential non-Fréchet-Urysohn complete topological Abelian groups very different from ours is given in [E.G. Zelenyuk, I.V. Protasov, Topologies of Abelian groups, Math. USSR Izv. 37 (2) (1991) 445-460. [32]].     

HFD groups in the Solovay model

Hajnal and Juhász proved that under CH there is a hereditarily separable, hereditarily normal topological group without non-trivial convergent sequences that is countably compact and not Lindelöf. The example constructed is a topological subgroup H⊆ω₁² that is an HFD with the following property

(P)

the projection of H onto every partial product I² for I∈ω[ω₁] is onto.

Any such group has the necessary properties. We prove that if κ is a cardinal of uncountable cofinality, then in the model obtained by forcing over a model of CH with the measure algebra on κ², there is an HFD topological group in ω₁² which has property (P).     

Counting maximal topologies on countable groups and rings

Two non-discrete Hausdorff group topologies τ₁, τ₂ on a group G are called transversal if the least upper bound τ₁∨τ₂ of τ₁ and τ₂ is the discrete topology. We show that a countable group G admitting non-discrete Hausdorff group topologies admits c² pairwise transversal complete group topologies on G (so c² maximal group topologies). Moreover, every abelian group G admits ²|G|² pairwise transversal complete group topologies.     

Degree sets for digraphs

The degree setD _D of a digraphD is the set of outdegrees of the vertices ofD. For a finite, nonempty setS of nonnegative integers, it is shown that there exists an asymmetric digraph (oriented graph)D such thatD _D =S. Furthermore, the minimum order of such a digraphD is determined. Also, given two finite sequences of nonnegative integers, a necessary and sufficient condition is provided for which these sequences are the outdegree sequences of the two sets of an asymmetric bipartite digraph.     

On subgroups of minimal topological groups

A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is Roelcke-precompact if it is precompact with respect to the Roelcke uniformity. Many naturally arising non-Abelian topological groups are Roelcke-precompact and hence have a natural compactification. We use such compactifications to prove that some groups of isometries are minimal. In particular, if U₁ is the Urysohn universal metric space of diameter 1, the group Iso(U₁) of all self-isometries of U₁ is Roelcke-precompact, topologically simple and minimal. We also show that every topological group is a subgroup of a minimal topologically simple Roelcke-precompact group of the form Iso(M), where M is an appropriate non-separable version of the Urysohn space.     

Almost disjoint large subsets of semigroups

There are several notions of largeness in a semigroup S that originated in topological dynamics. Among these are thick, central, syndetic and piecewise syndetic. Of these, central sets are especially interesting because they are partition regular and are guaranteed to contain substantial combinatorial structure. It is known that in (N,+) any central set may be partitioned into infinitely many pairwise disjoint central sets. We extend this result to a large class of semigroups (including (N,+)) by showing that if S is a semigroup in this class which has cardinality κ then any central set can be partitioned into κ many pairwise disjoint central sets. We also show that for this same class of semigroups, if there exists a collection of μ almost disjoint subsets of any member S, then any central subset of S contains a collection of μ almost disjoint central sets. The same statement applies if “central” is replaced by “thick”; and in the case that the semigroup is left cancellative, “central” may be replaced by “piecewise syndetic”. The situation with respect to syndetic sets is much more restrictive. For example, there does not exist an uncountable collection of almost disjoint syndetic subsets of N. We investigate the extent to which syndetic sets can be split into disjoint syndetic sets.     

A Fubini theorem

Let I₀ be the σ-ideal of subsets of a Polish group generated by Borel sets which have perfectly many pairwise disjoint translates. We prove that a Fubini-type theorem holds between I₀ and the σ-ideals of Haar measure zero sets and of meager sets. We use this result to give a simple proof of a generalization of a theorem of Balcerzak-Ros?anowski-Shelah stating that I₀ on N² strongly violates the countable chain condition.     

Weyl sums over integers with affine digit restrictions

For any given integer q?2, we consider sets N of non-negative integers that are defined by affine relations between their q-adic digits (for example, the set of non-negative integers such that the number of 1's equals twice the number of 0's in the binary representation). The main goal is to prove that the sequence (αn)_n∈N is uniformly distributed modulo 1 for all irrational numbers α. The proof is based on a saddle point analysis of certain generating functions that allows us to bound the corresponding Weyl sums.     

The three space problem in topological groups

We study compact, countably compact, pseudocompact, and functionally bounded sets in extensions of topological groups. A property P is said to be a three space property if, for every topological group G and a closed invariant subgroup N of G, the fact that both groups N and G/N have P implies that G also has P. It is shown that if all compact (countably compact) subsets of the groups N and G/N are metrizable, then G has the same property. However, the result cannot be extended to pseudocompact subsets, a counterexample exists under p=c. Another example shows that extensions of groups do not preserve the classes of realcompact, Dieudonné complete and μ-spaces: one can find a pseudocompact, non-compact Abelian topological group G and an infinite, closed, realcompact subgroup N of G such that G/N is compact and all functionally bounded subsets of N are finite. Several examples given in the article destroy a number of tempting conjectures about extensions of topological groups.     

Uniqueness of Polish group topology

We show the limits of Mackey's theorem applied to identity sets to prove that a given group has a unique Polish group topology.Verbal sets in Abelian Polish groups and full verbal sets in the infinite symmetric group are Borel. However this is not true in general.A Polish group with a neighborhood π-base at 1 of sets from the σ-algebra of identity and verbal sets has a unique Polish group topology. It follows that compact, connected, simple Lie groups, as well as finitely generated profinite groups, have a unique Polish group topology.     

Almost maximally almost-periodic group topologies determined by T-sequences

A sequence {an} in a group G is a T-sequence if there is a Hausdorff group topology τ on G such that . In this paper, we provide several sufficient conditions for a sequence in an abelian group to be a T-sequence, and investigate special sequences in the Prüfer groups Z(p^∞). We show that for p≠2, there is a Hausdorff group topology τ on Z(p^∞) that is determined by a T-sequence, which is close to being maximally almost-periodic—in other words, the von Neumann radical n(Z(p^∞),τ) is a non-trivial finite subgroup. In particular, n(n(Z(p^∞),τ))?n(Z(p^∞),τ). We also prove that the direct sum of any infinite family of finite abelian groups admits a group topology determined by a T-sequence with non-trivial finite von Neumann radical.     

The oscillation stability problem for the Urysohn sphere: A combinatorial approach

We study the oscillation stability problem for the Urysohn sphere, an analog of the distortion problem for ?₂ in the context of the Urysohn space U. In particular, we show that this problem reduces to a purely combinatorial problem involving a family of countable ultrahomogeneous metric spaces with finitely many distances.     

Lévy group and density measures

We will deal with finitely additive measures on integers extending the asymptotic density. We will study their relation to the Lévy group G of permutations of N. Using a new characterization of the Lévy group G we will prove that a finitely additive measure extends density if and only if it is G-invariant.