Factorization of mappings of topological spaces and homomorphisms of topological groups in accordance with weight and dimension ind

Symbols w(X), nw(X), and hl(X) denote the weight, the network weight, and the hereditary Lindelöf number of a space X, respectively. We prove the following factorization theorems.

1. Let X and Y be Tychonoff spaces, φ: X→Y a continuous mapping, hl(X)≤τ, and w(Y)≤τ. Then there exist a Tychonoff space Z and continuous mappings ψ: X→Z, χ: Z→Y such that φ=χ o ψ, Z=ψ(X), w(Z)≤τ andind Z≤ind X. Moreover, if nw(X)≤τ, then mapping ψ is one-to-one.
2. Let π: G→H be a continuous homomorphism of a Hausdorff topological group G to a Hausdorff topological group H, hl(G)≤τ and w(H)≤τ. Then there are a Hausdorff topological group G^* and continuous homomorphisms g: G→G^*, h: G^*→H so that π=h o g, G^*=g(G), w(G^*)≤τ andind G^*≤ind G. If nw(G)≤τ, then g is one-to-one.
3. For every continuous mapping φ: X→Y of a regular Lindelöf space X to a Tychonoff space Y one can find a Tychonoff space Z and continuous mappings ψ: X→Z, χ: Z→Y such that φ=χ o ψ, Z=ψ(X), w(Z)≤w(Y),dim Z≤dim X, andind ₀ Z≤ind ₀ X, whereind ₀ is the dimension function defined by V.V.Filippov with the help of G_δ-partitions. If we additionally suppose that X has a countable network, then ψ can be chosen to be one-to-one. The analogous result also holds for topological groups.
4. For each continuous homomorphism π: G→H of a Hausdorff Lindelöf Σ-group G (in particular, of a σ-compact group G) to a Hausdorff group H there exist a Hausdorff group G^* and continuous homomorphisms g: G→G^*, h:G^*→H so that π=h o g, G^*=g(G), w(G^*)≤w(H),dimG^*≤dimG, andind G^*≤ind G. Bibliography: 25 titles.

     

Properly discontinuous actions of subgroups in amenable algebraic groups and its application to affine motions

This note will concern properly discontinuous actions of subgroups in real algebraic groups on contractible manifolds. Let (π,X,ρ) be such an action, where ρ:π→ Diff(X) is a homomorphism. We assume that ? extends to a smooth action of a real algebraic group G containing π. If such π has a nontrivial radical (i.e., unique maximal normal solvable subgroup), then we can apply the method of Seifert construction [14],[17] to yield that the quotient π\X supports the structure of an injective Seifert fibering with typical (resp. exceptional) fiber diffeomorphic to a solv (resp. infrasolv)-manifold (when π acts freely). When G is an amenable algebraic group, we can say about a uniqueness property for such actions. Namely, let (π_i, X_i, ρ_i) be actions as above (i= 1,2). Then, given an isomorphism f of π₁ onto ?₂, there is a diffeomorphism h: X₁→X₂ such that h(ρ₁(r)x)=ρ₂(f(r)h(x).As an application, we try to decide the structure of affine motions of some euclidean space $\text{R}$ⁿ. First we verify the conjecture of [17, 4 5], i.e., a compact complete affinely flat manifold admits a maximal toral action if its fundamental group has a nontrivial center. Second, a compact complete affinity flat manifold whose fundamental group is virtually polycyclic supports the structure of an infrasolvmanifold. This structure varies depending on its solvable kernel (if it is abelian or nilpotent, it must be a euclidean space form or an infranilmanifold respectively). If a group of the affine group A(n) acts properly discontinuously and with compact quotient of $\text{R}$ⁿ, then it is called an affine crystallographic group. Finally, we can say so far as to a uniqueness property that two virtually polycyclic affine crystallographic groups are conjugate inside Diff($\text{R}$ⁿ) if they are isomorphic (cf.[8]).     

Extendability of Continuous Maps Is Undecidable

We consider two basic problems of algebraic topology: the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given topological spaces X and Y, a subspace A?X, and a (continuous) map f:A→Y, decide whether f can be extended to a continuous map $\bar{f}\colon X\to Y$ . All spaces are given as finite simplicial complexes, and the map f is simplicial. Recent positive algorithmic results, proved in a series of companion papers, show that for (k?1)-connected Y, k≥2, the extension problem is algorithmically solvable if the dimension of X is at most 2k?1, and even in polynomial time when k is fixed. Here we show that the condition $\mathop{\mathrm{dim}}\nolimits X\leq 2k-1$ cannot be relaxed: for $\mathop{\mathrm{dim}}\nolimits X=2k$ , the extension problem with (k?1)-connected Y becomes undecidable. Moreover, either the target space Y or the pair (X,A) can be fixed in such a way that the problem remains undecidable. Our second result, a strengthening of a result of Anick, says that the computation of π _k (Y) of a 1-connected simplicial complex Y is #P-hard when k is considered as a part of the input.     

Weighted composition operators on nonlocally convex weighted spaces of continuous functions

LetV be a system of weights on a completely regular Hausdorff spaceX and letB(E) be the topological vector space of all continuous linear operators on a general topological vector spaceE. LetCV ₀(X, E) andCV _b (X, E) be the weighted spaces of vector-valued continuous functions (vanishing at infinity or bounded, respectively) which are not necessarily locally convex. In the present paper, we characterize in this general setting the weighted composition operatorsW _π,? onCV ₀(X, E) (orCV _b (X, E)) induced by the operator-valued mappings π:X→B(E) (or the vector-valued mappings π:X→E, whereE is a topological algebra) and the self-map ? ofX. Also, we characterize the mappings π:X→B(E) (or π:x→E) and ?:X→X which induce the compact weighted composition operators on these weighted spaces of continuous functions.     

Integral extensions on rings of continuous functions

Let π:X→Y be a surjective continuous map between Tychonoff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with finiteness properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map π:X→Y. The main result says that, for X a compact subset of Rn, the extension C(Y)⊆C(X) is integral if and only if X decomposes into a finite union of closed subsets such that π is injective on each one of them.     

A parametrization theorem

The following result, and a closely related one, is proved: If u:X → Y is an open, perfect surjection, with X metrizable and with dim X = 0 or dim Y = 0, then there exists a perfect surjection $\text{h: Y×}\text{S}\text{→X}$ such that u ° h = π_Y (where S in the Cantor set and $\text{π : Y×}\text{S}\text{→ Y}$ is the projection). If moreover, u^-1(y) is homeomorphic to S for all y?Y, then h can be chosen to be a homeomorphism.     

The regular part of a semigroup of transformations with restricted range

Let T(X) be the full transformation semigroup on the set X and let T(X,Y) be the semigroup consisting of all total transformations from X into a fixed subset Y of X. It is known that $$F(X, Y)=\{\alpha\in T(X, Y): X\alpha\subseteq Y\alpha\},$$ is the largest regular subsemigroup of T(X,Y) and determines Green??s relations on T(X,Y). In this paper, we show that F(X,Y)?T(Z) if and only if X=Y and |Y|=|Z|; or |Y|=1=|Z|, and prove that every regular semigroup S can be embedded in F(S ¹,S). Then we describe Green??s relations and ideals of F(X,Y) and apply these results to get all of its maximal regular subsemigroups when Y is a nonempty finite subset of X.     

Minimal sets in compact connected subspaces

Let X be a topological space, f:X→X be a continuous map, and Y be a compact, connected and closed subset of X. In this paper we show that, if the boundary X_∂Y contains exactly one point v and f(v)∈Y, then Y contains a minimal set of f.     

Double coverings of hyperelliptic real algebraic curves

We consider double and (possibly) branched coverings π:X→X^′ between real algebraic curves where X is hyperelliptic. We are interested in the topology of such coverings and also in describing them in terms of algebraic equations. In this article we completely solve these two problems. We first analyse the topological features and ramification data of such coverings. Second, for each isomorphism class of these coverings we then describe a representative, with defining polynomial equations for X and for X^′, a formula for the involution that generates the covering transformation group, and a rational formula for the covering projection π:X→X^′.     

Compact nilpotent groups

Herrlich, Salicrup, and Strecker [HSS] have shown that Kuratowski’s Theorem, namely, that a space X is compact if and only if for every space Y, the projection π₂X×Y → Y is a closed map, can be interpreted categorically, and hence generalized and applied in a wider settin than the category of topological spaces. The first author, in an earlier paperj [Fl] , applied this categorical interpretation of compactness in categories of R-modules, obtaining a theory of compactness for each torsion theory T. In the case of the category of abelian groups and a hereditary torsion theory T, a group G is T-compact provided G/TG is a T-injective. In this note, the notion of compact is extended to the categories of hypercentral groups, nilpotent groups, and of FC-groups; it is shown that if T _π denotes the π-torsion subgroup functor for a set of primes π, then a group G is T _π-compact provided G/T _πG is π-complete, extending the abelian group result in a natural way.     

On bordisms of real algebraic M-varieties

Any morphism of nonsingular complete real algebraic varieties F: Y → X determines a holomorphic mapping of the sets of complex points F _?: Y (?) → X(?) as well as a differentiable mapping of the sets of real points F _?: Y(?) → X(?). These two mappings determine classes of nonoriented bordisms [F _?] ∈ MO_2m (X((?)), [F _?] ∈ M O_m (X(?)), where m = dim Y. The paper describes relationship between these two classes of bordisms.     

Strong duality for infinite-dimensional vector-valued programming problems

LetX,Y andZ be locally convex real topological vector spaces,A?X a convex subset, and letC?Y,E?Z be cones. Letf:X→Z beE-concave andg:X→Y beC-concave functions. We consider a concave programming problem with respect to an abstract cone and its strong dual problem as follows: $$\begin{gathered} (P)maximize f(x), subject to x \in A, g(x) \in C, \hfill \\ (SD)minimize \left\{ {\mathop \cup \limits_{\varphi \in C^ + } \max \{ (f + \varphi \circ g)(A):E\} } \right\}, \hfill \\ \end{gathered} $$ , whereC ⁺ denotes the set of all nonnegative continuous linear operators fromY toZ and (SD) is the strong dual problem to (P). In this paper, the authors find a necessary condition of strong saddle point for Problem (P) and establish the strong duality relationships between Problems (P) and (SD).     

A relative local variational principle for topological pressure

We define the relative local topological pressure for any given factor map and open cover,and prove the relative local variational principle of this pressure.More precisely,for a given factor map π:(X,T)→(Y,S) between two topological dynamical systems,an open cover U of X,a continuous,real-valued function f on X and an S-invariant measure ν on Y,we show that the corresponding relative local pressure P(T,f,U,y) satisfies sup μ∈M(X,T){ hμ(T,U|Y)+∫X f(x)dμ(x) :πμ=ν}=∫Y P(T,f,U,y)dν(y),where M(X,T) denotes the family of all T-invariant measures on X.Moreover,the supremum can be attained by a T-invariant measure.     

Real parabolic vector bundles over a real curve

We define real parabolic structures on real vector bundles over a real curve. Let (X, σ _X ) be a real curve, and let S???X be a non-empty finite subset of X such that σ _X (S)?=?S. Let N?≥?2 be an integer. We construct an N-fold cyclic cover p : Y→ X in the category of real curves, ramified precisely over each point of S, and with the property that for any element g of the Galois group Γ, and any y?∈?Y, one has $\sigma_Y(gy) = g^{-1}\sigma_Y(y)$ . We established an equivalence between the category of real parabolic vector bundles on (X, σ _X ) with real parabolic structure over S, all of whose weights are integral multiples of 1/N, and the category of real Γ-equivariant vector bundles on (Y, σ _Y ).     

Superpositions of oscillations and quasi-oscillations

If X is a topological space and (Y,d) is a metric space, then for each locally bounded function f : X→Y all possible superpositions of oscillations and quasi-oscillations give at most eight functions.     

Decay of correlations for piecewise invertible maps in higher dimensions

We study the mixing properties of equilibrium statesμ of non-Markov piecewise invertible mapsT:X→X, especially in the multidimensional case. Assuming mainly Hölder continuity and that the topological pressure of the boundary is smaller than the total topological pressure, we establish exponential decay of correlations, i.e., $\left| {\int_x {\varphi \cdot \psi oT^n d\mu - \int_x {\varphi d\mu \cdot \int_x {\psi d\mu } } } } \right| \leqslant C \cdot e^{ - an} $ for all Hölder functions?,ψ :X→?, alln≥0 and someC<∞, α>0. We also obtain a Central Limit Theorem. Weakening the smoothness assumption, we get subexponential rates of decay.     

Weak similarities of metric and semimetric spaces

Let (X,d _X ) and (Y,d _Y ) be semimetric spaces with distance sets D(X) and D(Y), respectively. A mapping F:?X→Y is a weak similarity if it is surjective and there exists a strictly increasing f:?D(Y)→D(X) such that d _X =f°d _Y °(F?F). It is shown that the weak similarities between geodesic spaces are usual similarities and every weak similarity F:?X→Y is an isometry if X and Y are ultrametric and compact with D(X)=D(Y). Some conditions under which the weak similarities are homeomorphisms or uniform equivalences are also found.     

Real Abelian Varieties with Many Line Bundles

Let X and Y be affine nonsingular real algebraic varieties.A general problem in real algebraic geometry is to try to decidewhen a continuous map f: X Y can be approximated by regularmaps in the space of c⁰ mappings from X to Y, equipped withthe c⁰ topology. This paper solves this problem when X is theconnected component containing the origin of the real part ofa complex Abelian variety and Y is the standard 2-dimensionalsphere.     

Virtual Betti numbers of real algebraic varieties

We show that for all i?0 the i-th mod 2 Betti number of compact nonsingular real algebraic varieties has a unique extension to a virtual Betti numberβ_i defined for all real algebraic varieties, such that if Y is a closed subvariety of X then β_i(X)=β_i(X?Y)+β_i(Y). We show by example that there is no natural weight filtration on the $\text{Z}{}_2$-cohomology of real algebraic varieties with compact supports such that the virtual Betti numbers are the weighted Euler characteristics. To cite this article: C. McCrory, A. Parusiński, C. R. Acad. Sci. Paris, Ser. I 336 (2003).