On T-sequences and characterized subgroups

Let X be a compact metrizable abelian group and u={un} be a sequence in its dual group X^∧. Set su(X)={x:(un,x)→1} and . Let G be a subgroup of X. We prove that G=su(X) for some u iff it can be represented as some dually closed subgroup Gu of . In particular, su(X) is polishable. Let u={un} be a T-sequence. Denote by the group X^∧ equipped with the finest group topology in which un→0. It is proved that and . We also prove that the group generated by a Kronecker set cannot be characterized.     

Characterization of almost maximally almost-periodic groups

Let G be an Abelian group. We prove that a group G admits a Hausdorff group topology τ such that the von Neumann radical n(G,τ) of (G,τ) is non-trivial and finite iff G has a non-trivial finite subgroup. If G is a topological group, then n(n(G))≠n(G) if and only if n(G) is not dually embedded. In particular, n(n(Z,τ))=n(Z,τ) for any Hausdorff group topology τ on Z.     

Functorial topologies and finite-index subgroups of abelian groups

In the general context of functorial topologies, we prove that in the lattice of all group topologies on an abelian group, the infimum between the Bohr topology and the natural topology is the profinite topology. The profinite topology and its connection to other functorial topologies is the main objective of the paper. We are particularly interested in the poset C(G) of all finite-index subgroups of an abelian group G, since it is a local base for the profinite topology of G. We describe various features of the poset C(G) (its cardinality, its cofinality, etc.) and we characterize the abelian groups G for which C(G)?{G} is cofinal in the poset of all subgroups of G ordered by inclusion. Finally, for pairs of functorial topologies T, S we define the equalizer E(T,S), which permits to describe relevant classes of abelian groups in terms of functorial topologies.     

Groups of quasi-invariance and the Pontryagin duality

A Polish group G is called a group of quasi-invariance or a QI-group, if there exist a locally compact group X and a probability measure μ on X such that (1) there exists a continuous monomorphism ? from G into X with dense image, and (2) for each g∈X either g∈?(G) and the shift μg is equivalent to μ or g∉?(G) and μg is orthogonal to μ. It is proved that ?(G) is a σ-compact subset of X. We show that there exists a Polish non-locally quasi-convex (and hence nonreflexive) QI-group such that its bidual is not a QI-group. It is proved also that the bidual group of a QI-group may be not a saturated subgroup of X. It is constructed a reflexive non-discrete group topology on the integers.     

Asymptotics for statistical functionals of long-memory sequences

We present two general results that can be used to obtain asymptotic properties for statistical functionals based on linear long-memory sequences. As examples for the first one we consider L- and V-statistics, in particular tail-dependent L-statistics as well as V-statistics with unbounded kernels. As an example for the second result we consider degenerate V-statistics. To prove these results we also establish a weak convergence result for empirical processes of linear long-memory sequences, which improves earlier ones.     

Topological group criterion for in compact-open-like topologies, II

We continue from “part I” our address of the following situation. For a Tychonoff space Y, the “second epi-topology” σ is a certain topology on C(Y), which has arisen from the theory of categorical epimorphisms in a category of lattice-ordered groups. The topology σ is always Hausdorff, and σ interacts with the point-wise addition + on C(Y) as: inversion is a homeomorphism and + is separately continuous. When is + jointly continuous, i.e. σ is a group topology? This is so if Y is Lindelöf and Čech-complete, and the converse generally fails. We show in the present paper: under the Continuum Hypothesis, for Y separable metrizable, if σ is a group topology, then Y is (Lindelöf and) Čech-complete, i.e. Polish. The proof consists in showing that if Y is not Čech-complete, then there is a family of compact sets in βY which is maximal in a certain sense.     

A construction of classifying spaces for p-adic group actions

One major open problem in geometric topology is the Hilbert-Smith conjecture. A natural approach to this conjecture is to work on classifying spaces of p-adic integers. However, the well-known Milnor's construction of classifying space of p-adic integers is not locally connected, hence will not help to solve the conjecture, and the other known constructions are very complex. The goal of this paper is to give a new construction of classifying spaces for p-adic group actions.     

Tauberian theorems for double sequences that are statistically summable (C,1,1)

Let be a double sequence of real or complex numbers, and set

     

Linear-time certifying algorithms for near-graphical sequences

A sequence 〈d₁,d₂,…,d_n〉 of non-negative integers is graphical if it is the degree sequence of some graph, that is, there exists a graph G on n vertices whose ith vertex has degree d_i, for 1≤i≤n. The notion of a graphical sequence has a natural reformulation and generalization in terms of factors of complete graphs.If H=(V,E) is a graph and g and f are integer-valued functions on the vertex set V, then a (g,f)-factor of H is a subgraph G=(V,F) of H whose degree at each vertex v∈V lies in the interval [g(v),f(v)]. Thus, a (0,1)-factor is just a matching of H and a (1, 1)-factor is a perfect matching of H. If H is complete then a (g,f)-factor realizes a degree sequence that is consistent with the sequence of intervals 〈[g(v₁),f(v₁)],[g(v₂),f(v₂)],…,[g(v_n),f(v_n)]〉.Graphical sequences have been extensively studied and admit several elegant characterizations. We are interested in extending these characterizations to non-graphical sequences by introducing a natural measure of “near-graphical”. We do this in the context of minimally deficient (g,f)-factors of complete graphs. Our main result is a simple linear-time greedy algorithm for constructing minimally deficient (g,f)-factors in complete graphs that generalizes the method of Hakimi and Havel (for constructing (f,f)-factors in complete graphs, when possible). It has the added advantage of producing a certificate of minimum deficiency (through a generalization of the Erdös-Gallai characterization of (f,f)-factors in complete graphs) at no additional cost.     

Relations between some basic results derived from two kinds of topologies for a random locally convex module

The purpose of this paper is to exhibit the relations between some basic results derived from the two kinds of topologies (namely the (ε,λ)-topology and the stronger locally L⁰-convex topology) for a random locally convex module. First, we give an extremely simple proof of the known Hahn-Banach extension theorem for L⁰-linear functions as well as its continuous variant. Then we give the relations between the hyperplane separation theorems in [D. Filipovi?, M. Kupper, N. Vogelpoth, Separation and duality in locally L⁰-convex modules, J. Funct. Anal. 256 (2009) 3996-4029] and a basic strict separation theorem in [T.X. Guo, H.X. Xiao, X.X. Chen, A basic strict separation theorem in random locally convex modules, Nonlinear Anal. 71 (2009) 3794-3804]: in the process we also obtain a very useful fact that a random locally convex module with the countable concatenation property must have the same completeness under the two topologies. As applications of the fact, we prove that most of the previously established principal results of random conjugate spaces of random normed modules under the (ε,λ)-topology are still valid under the locally L⁰-convex topology, which considerably enriches financial applications of random normed modules.     

Strong characterizing sequences of countable groups

András Biró and Vera Sós prove that for any subgroup G of T generated freely by finitely many generators there is a sequence A⊆N such that for all β∈T we have (‖.‖ denotes the distance to the nearest integer)

     

Graphs admitting transitive commutative group actions

Let X be a compact metric space, and Homeo(X) be the group consisting of all homeomorphisms from X to X. A subgroup H of Homeo(X) is said to be transitive if there exists a point x∈X such that {k(x):k∈H} is dense in X. In this paper we show that, if X=G is a connected graph, then the following five conditions are equivalent: (1) Homeo(G) has a transitive commutative subgroup; (2) G admits a transitive Z²-action; (3) G admits an edge-transitive commutative group action; (4) G admits an edge-transitive Z²-action; (5) G is a circle, or a k-fold loop with k?2, or a k-fold polygon with k?2, or a k-fold complete bigraph with k?1. As a corollary of this result, we show that a finite connected simple graph whose automorphism group contains an edge-transitive commutative subgroup is either a cycle or a complete bigraph.     

Degree conditions for group connectivity

Let G be a 2-edge-connected simple graph on n≥13 vertices and A an (additive) abelian group with |A|≥4. In this paper, we prove that if for every uv∉E(G), max{d(u),d(v)}≥n/4, then either G is A-connected or G can be reduced to one of K_2,3,C₄ and C₅ by repeatedly contracting proper A-connected subgraphs, where C_k is a cycle of length k. We also show that the bound n≥13 is the best possible.     

Functional calculi for convolution operators on a discrete, periodic, solvable group

Suppose T is a bounded self-adjoint operator on the Hilbert space L²(X,μ) and let

     

Pseudocompact groups: progress and problems

Several months ago the speaker and Jan van Mill gave a proof of this result [W.W. Comfort, J. van Mill, Extremal pseudocompact abelian groups are compact metrizable, Abstracts Amer. Math. Soc. 27 (2006) 78 (Abstract #1014-22-958); W.W. Comfort, J. van Mill, Extremal pseudocompact abelian groups are compact metrizable, Proc. Amer. Math. Soc. 135 (2007) 4039-4044]: A pseudocompact abelian group of uncountable weight admits both a proper dense pseudocompact subgroup and a strictly larger pseudocompact group topology.This presentation will describe both the necessary new details of the argument and the historical development (useful tools, special cases). Among those who contributed essentially are: K.A. Ross (1964, 1966); T. Soundararajan (1982); L.C. Robertson (1982, 1988); J. van Mill (1989); J. van Mill and H. Gladdines (1994); J. Galindo (2002).Several related unsolved problems will be cited.