Minimal pseudocompact group topologies on free abelian groups

A Hausdorff topological group G is minimal if every continuous isomorphism f:G→H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence of cardinals such that

     

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 κ.

     

Convergence preserving mappings on topological groups

It is well known that a mapping is convergence preserving, that is, whenever an infinite series ∑an converges, the series ∑φ(an) converges, if and only if there exists m∈R such that φ(x)=mx in some neighborhood of 0. We explore convergence preserving mappings on Hausdorff topological groups, showing in particular, that if G×G is a Fréchet group, and H has no small subgroups, then a mapping is convergence preserving if and only if there is a neighborhood of the identity in G on which φ is a sequentially continuous homomorphism.     

Pseudocompact group topologies with no infinite compact subsets

We show that every Abelian group satisfying a mild cardinal inequality admits a pseudocompact group topology from which all countable subgroups inherit the maximal totally bounded topology (we say that such a topology satisfies property ).Every pseudocompact Abelian group G with cardinality |G|≤2^2c satisfies this inequality and therefore admits a pseudocompact group topology with property . Under the Singular Cardinal Hypothesis (SCH) this criterion can be combined with an analysis of the algebraic structure of pseudocompact groups to prove that every pseudocompact Abelian group admits a pseudocompact group topology with property .We also observe that pseudocompact Abelian groups with property contain no infinite compact subsets and are examples of Pontryagin reflexive precompact groups that are not compact.     

Precompact abelian groups and topological annihilators

For a compact Hausdorff abelian group K and its subgroup H≤K, one defines the g-closureg_K(H) of H in K as the subgroup consisting of χ∈K such that χ(a_n)?0 in T=R/Z for every sequence {a_n} in (the Pontryagin dual of K) that converges to 0 in the topology that H induces on . We prove that every countable subgroup of a compact Hausdorff group is g-closed, and thus give a positive answer to two problems of Dikranjan, Milan and Tonolo. We also show that every g-closed subgroup of a compact Hausdorff group is realcompact. The techniques developed in the paper are used to construct a close relative of the closure operator g that coincides with the G_δ-closure on compact Hausdorff abelian groups, and thus captures realcompactness and pseudocompactness of subgroups.     

On duality between étale groupoids and Hopf algebroids

For any étale Lie groupoid G over a smooth manifold M, the groupoid convolution algebra of smooth functions with compact support on G has a natural coalgebra structure over the commutative algebra which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over we construct the associated spectral étale Lie groupoid over M such that is naturally isomorphic to G. Both these constructions are functorial, and is fully faithful left adjoint to . We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid of an étale Lie groupoid G.     

Sequences and filters of characters characterizing subgroups of compact Abelian groups

Let H be a countable subgroup of the metrizable compact Abelian group G and a (not necessarily continuous) character of H. Then there exists a sequence of (continuous) characters of G such that limn→∞χn(α)=f(α) for all α∈H and does not converge whenever α∈G?H. If one drops the countability and metrizability requirement one can obtain similar results by using filters of characters instead of sequences. Furthermore the introduced methods allow to answer questions of Dikranjan et al.     

Topologies on groups determined by discrete subsets

Let G be an infinite group. Given a filter F on G, let T[F] denote the largest left invariant topology on G in which F converges to the identity. In this paper, we study the topology T[F] in case when F contains the Fréchet filter and there is such that all the subsets xM(x), where x∈G, are pairwise disjoint. We show that T[F] possesses interesting extremal properties. We consider also the question whether T[F] can be a group topology.     

Limits in compact Abelian groups

For X a compact Abelian group and B an infinite subset of its dual , let CB be the set of all x∈X such that converges to 1. If F is a free filter on , let . The sets CB and DF are subgroups of X. CB always has Haar measure 0, while the measure of DF depends on F. We show that there is a filter F such that DF has measure 0 but is not contained in any CB. This generalizes previous results for the special case where X is the circle group.     

Decomposition of the Witt-Burnside ring and Burnside ring of an abelian profinite group

Let G, H be abelian profinite groups whose orders are coprime and assume that q ranges over the set of integers. The aim of this paper is to establish an isomorphism of functors , where denotes the q-deformed Witt-Burnside ring functor of G introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 207 (1) (2007) 151-191]. To do this, we first establish an isomorphism of functors , where denotes the q-deformed Burnside ring functor of G which was also introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 207 (1) (2007) 151-191]. As an application, we derive a pseudo-multiplicative property of the q-Möbius function associated to the lattice of open subgroups of the direct sum of G and H.     

Note on separate continuity and the Namioka property

A pair 〈B,K〉 is a Namioka pair if K is compact and for any separately continuous , there is a dense A⊆B such that f is ( jointly) continuous on A×K. We give an example of a Choquet space B and separately continuous such that the restriction fΔ_| to the diagonal does not have a dense set of continuity points. However, for K a compact fragmentable space we have: For any separately continuous and for any Baire subspace F of T×K, the set of points of continuity of is dense in F. We say that 〈B,K〉 is a weak-Namioka pair if K is compact and for any separately continuous and a closed subset F projecting irreducibly onto B, the set of points of continuity of fF_| is dense in F. We show that T is a Baire space if the pair 〈T,K〉 is a weak-Namioka pair for every compact K. Under (CH) there is an example of a space B such that 〈B,K〉 is a Namioka pair for every compact K but there is a countably compact C and a separately continuous which has no dense set of continuity points; in fact, f does not even have the Baire property.     

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.     

Classes defined by stars and neighbourhood assignments

We apply and develop an idea of E. van Douwen used to define D-spaces. Given a topological property P, the class P^∗ dual to P (with respect to neighbourhood assignments) consists of spaces X such that for any neighbourhood assignment there is Y⊂X with Y∈P and . We prove that the classes of compact, countably compact and pseudocompact are self-dual with respect to neighbourhood assignments. It is also established that all spaces dual to hereditarily Lindelöf spaces are Lindelöf. In the second part of this paper we study some non-trivial classes of pseudocompact spaces defined in an analogous way using stars of open covers instead of neighbourhood assignments.     

On the topological Helly theorem

The main result of this paper is the following theorem, related to the missing link in the proof of the topological version of the classical result of Helly: Let be any family of simply connected compact subsets of R² such that for every i,j∈{0,1,2} the intersections Xi∩Xj are path connected and is nonempty. Then for every two points in the intersection there exists a cell-like compactum connecting these two points, in particular the intersection is a connected set.     

Generalized Haar integral

The aim of the paper is to generalize the notion of the Haar integral. For a compact semigroup S acting continuously on a Hausdorff compact space Ω, the algebra A(S)⊂C(Ω,R) of S-invariant functions and the linear space M(S) of S-invariant (real-valued) finite signed measures are considered. It is shown that if S has a left and right invariant measure, then the dual space of A(S) is isometrically lattice-isomorphic to M(S) and that there exists a unique linear operator (called the Haar integral) such that for each f∈A(S) and for any f∈C(Ω,R) and s∈S, , where .