On properties of <Emphasis Type="Italic">G</Emphasis>-expansive homeomorphisms

We show that LUB of the set of G-expansive constants for a G-expansive homeomorphism h on a compact metric G-space, G compact, is not a G-expansive constant for h. We obtain a result regarding projecting and lifting of G-expansive homeomorphisms having interesting applications. We also prove that the G-expansiveness is a dynamical property for homeomorphisms on compact metric G-spaces and study G-periodic points.     

On iterates of fully closed absolutes

In this article we give a sufficient condition for a space X to have the fully closed absolute faX with the property fa(faX)=faX. An example of a compact space X such that the canonical mapping fa(α+1)X→fa(α)X (where α is a given ordinal) is not a homeomorphism is constructed. Also we give an example of a compact space X such that the canonical mapping faX→X is not a homeomorphism but for which there exists a homeomorphism faX→X.     

Whitney preserving maps on finite graphs

For a Whitney preserving map f:X→G we show the following: (a) If X is arcwise connected and G is a graph which is not a simple closed curve, then f is a homeomorphism; (b) If X is locally connected and G is a simple closed curve, then X is homeomorphic to either the unit interval [0,1], or the unit circle S¹. As a consequence of these results, we characterize all Whitney preserving maps between finite graphs. We also show that every hereditarily weakly confluent Whitney preserving map between locally connected continua is a homeomorphism.     

G-compactifications of pseudocompact G-spaces

Examples of a pseudocompact (even countably compact) G-space which is not G-Tychonoff and of a locally compact pseudocompact (even countably compact) G-Tychonoff space X with βGX≠βX are constructed.     

Expansive canonical coordinates are hyperbolic

Theorem. Let ?:X→X be an expansive homeomorphism of a compact metric space onto itself and let ? have canonical coordinates. Then there exists a metric compatible with the topology of X with respect to which the canonical coordinates are hyperbolic.     

Spaces in which every dense subset is a Gδ

A topological space X is called a DG_δ-space if every subset of X is a G_δ-set in its closure. In this paper we study DG_δ-spaces that contains subspaces in which every dense subset is open and spaces in which every subset is a G_δ . We give some new results in these classes of topological spaces.     

Local homeomorphisms onto nonunicoherent continua

We show that ifY is a nonunicoherent continuum and if 1 n < , then there is a local homeomorphism of degreen from some continuumX ontoY.     

Spherical orbit closures in simple projective spaces and their normalizations

Let G be a simply connected semisimple algebraic group over an algebraically closed field k of characteristic 0 and let V be a rational simple G-module. If G/H ⊂ P(V) is a spherical orbit and if X = [`(G/H)] X = \overline {G/H} is its closure, then we describe the orbits of X and those of its normalization [(X)\tilde] \tilde{X} . If, moreover, the wonderful completion of G/H is strict, then we give necessary and sufficient combinatorial conditions so that the normalization morphism [(X)\tilde] ? X \tilde{X} \to X is a homeomorphism. Such conditions are trivially fulfilled if G is simply laced or if H is a symmetric subgroup.     

Hausdorff compactifications and lebesgue sets

Let X be a completely regular Hausdorff space and let H be a subset of C¹(X) which separates points and closed sets. By embedding X into a cube whose factors are indexed by H, a Hausdorff compactification e_HX of X is obtained. Given two subsets F and G of C¹(X) which separate points from closed sets, in the present paper we obtain a necessary and sufficient condition for the equivalence of e_FX and e_GX. The condition is expressed in terms of the space X and the sets F and G alone, herewith solving a question raised by Chandler.     

ON TWIN-TRIANGULAR ADDITIVE GROUP ACTIONS ON C4

This paper concerns some of the conditions satisfied by additive group actions on complex affine space which can be written locally as a translation of a variable. Assume X is the affine variety C ⁿ , G_a = (C, +), and σ : G_a × X → X is the action defined by a group monomorphism G _a → Aut _C X. If σ is locally trivial, then the action satisfies what is termed a “GICO” condition.

It will be shown that a large class of G_a -actions on C ⁴, that is, fixed-point free, “twin-triangular” actions with finitely-generated rings of invariants, are at least GICO. Remaining questions are discussed.     

Linearization of proper group actions

We prove that if G is a locally compact group acting properly (in the sense of R. Palais) on a space X that is metrizable by a G-invariant metric, then X can be embedded equivariantly into a normed linear G-space E endowed with a linear isometric G-action which is proper on the complement E?{0}. If, in addition, G is a Lie group then E?{0} is a G-equivariant absolute extensor. One can make this equivariant embedding even closed, but in this case the non-proper part of the linearizing G-space E may be an entire subspace instead of {0}.     

Lifting paths on quotient spaces

Let X be a compactum and G an upper semi-continuous decomposition of X such that each element of G is the continuous image of an ordered compactum. If the quotient space X/G is the continuous image of an ordered compactum, under what conditions is X also the continuous image of an ordered compactum? Examples around the (non-metric) Hahn-Mazurkiewicz Theorem show that one must place severe conditions on G if one wishes to obtain positive results. We prove that the compactum X is the image of an ordered compactum when each g∈G has 0-dimensional boundary. We also consider the case when G has only countably many non-degenerate elements. These results extend earlier work of the first named author in a number of ways.     

On the product of homogeneous spaces

Within the class of Tychonoff spaces, and within the class of topological groups, most of the natural questions concerning ‘productive closure’ of the subclasses of countably compact and pseudocompact spaces are answered by the following three well-known results: (1) [ZFC] There is a countably compact Tychonoff space X such that X × X is not pseudocompact; (2) [ZFC] The product of any set of pseudocompact topological groups is pseudocompact; and (3) [ZFC+ MA] There are countably compact topological groups G₀, G₁ such that G₀ × G₁ is not countably compact.In this paper we consider the question of ‘productive closure” in the intermediate class of homogeneous spaces. Our principal result, whose proof leans heavily on a simple, elegant result of V.V. Uspenski?, is this: In ZFC there are pseudocompact, homogeneous spaces X₀, X₁ such that X₀ × X₁ is not pseudocompact; if in addition MA is assumed, the spaces X_i may be chosen countably compact.Our construction yields an unexpected corollary in a different direction: Every compact space embeds as a retract in a countably compact, homogeneous space. Thus for every cardinal number α there is a countably compact, homogeneous space whose Souslin number exceeds α.     

The geodesic flow of a nonpositively curved graph manifold

We consider discrete cocompact isometric actions where X is a locally compact Hadamard space (following [B] we will refer to CAT(0) spaces — complete, simply connected length spaces with nonpositive curvature in the sense of Alexandrov — as Hadamard spaces) and G belongs to a class of groups (“admissible groups”) which includes fundamental groups of 3-dimensional graph manifolds. We identify invariants (“geometric data”) of the action which determine, and are determined by, the equivariant homeomorphism type of the action of G on the ideal boundary of X. Moreover, if are two actions with the same geometric data and is a G-equivariant quasi-isometry, then for every geodesic ray there is a geodesic ray (unique up to equivalence) so that . This work was inspired by (and answers) a question of Gromov in [Gr3, p. 136]. Submitted: May 2001.     

On the continuity of left translations in the LUC-compactification

Consider the continuity of left translations in the LUC-compactification GLUC of a locally compact group G. For every X⊆G, let κ(X) be the minimal cardinality of a compact covering of X in G. Let U(G) be the points in GLUC that are not in the closure of any X⊆G with κ(X)<κ(G). We show that the points at which no left translation in U(G) is continuous are dense in U(G). This result is a generalization of a theorem by van Douwen concerning discrete groups. We obtain a new proof for the fact that the topological center of GLUC?G is empty.     

Divisibility Graph for Symmetric and Alternating Groups

Let X be a nonempty set of positive integers and X* = X?{1}. The divisibility graph D(X) has X* as the vertex set, and there is an edge connecting a and b with a, b ∈ X* whenever a divides b or b divides a. Let X = cs(G) be the set of conjugacy class sizes of a group G. In this case, we denote D(cs(G)) by D(G). In this paper, we will find the number of connected components of D(G) where G is the symmetric group S _n or is the alternating group A _n .     

Discontinuous extensions and almost resolvability

It is proven that in large classes of topological spaces each real-valued continuous function on aG _δ-setG has an extension to the whole space which is continuous exactly at the points ofG. AmongG _δ-spaces this property characterizes the almost resolvable normal spaces.     

A Decomposition Theorem for Compact-Valued Henstock Integral

We prove that if X is a separable Banach space, then a measurable multifunction Γ : [0, 1] → ck(X) is Henstock integrable if and only if Γ can be represented as Γ = G + f, where G : [0, 1] → ck(X) is McShane integrable and f is a Henstock integrable selection of Γ.     

On compactification of metric spaces

Iff:X →X* is a homeomorphism of a metric separable spaceX into a compact metric spaceX* such thatf(X)=X*, then the pair (f,X*) is called a metric compactification ofX. An absoluteG _δ-space (F _σ-space)X is said to be of the first kind, if there exists a metric compactification (f,X*) ofX such that , whereG _i are sets open inX* and dim[Fr(G _i)]<dimX. (Fr(G _i) being the boundary ofG _i and dimX — the dimension ofX). An absoluteG _δ-space (F _σ-space), which is not of the first kind, is said to be of the second kind. In the present paper spaces which are both absoluteG _δ andF _σ-spaces of the second kind are constructed for any positive finite dimension, a problem related to one of A. Lelek in [11] is solved, and a sufficient condition onX is given under which dim [X* −f(X)]≧k, for any metric compactification (f,X*) ofX, wherek≦dimX is a given number. This research has been sponsored by the U.S. Navy through the Office of Naval Research under contract No. 62558-3315.