Uniform Homeomorphisms of Unit Spheres and Property H of Lebesgue–Bochner Function Spaces

Assume that the unit spheres of Banach spaces X and Y are uniformly homeomorphic.Then we prove that all unit spheres of the Lebesgue–Bochner function spaces L_p(μ, X) and L_q(μ, Y)are mutually uniformly homeomorphic where 1 ≤ p, q ∞. As its application, we show that if a Banach space X has Property H introduced by Kasparov and Yu, then the space L_p(μ, X), 1 ≤ p ∞,also has Property H.     

The Hurewicz dichotomy for generalized Baire spaces

By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space X is covered by a K_σ subset of X if and only if it does not contain a closed-in-X subset homeomorphic to the Baire space ^ww. We consider the analogous statement (which we call the Hurewicz dichotomy) for ∑₁¹j subsets of the generalized Baire space ^κκ for a given uncountable cardinal κ with κ = κ^<κ. We show that the statement that this dichotomy holds at all uncountable regular cardinals is consistent with the axioms of ZFC together with GCH and large cardinal axioms. In contrast, we show that the dichotomy fails at all uncountable regular cardinals after we add a Cohen real to a model of GCH. We also discuss connections with some regularity properties, like the κ-perfect set property, the κ-Miller measurability, and the κ-Sacks measurability.     

On isomorphisms of continuous function spaces

The following theorem, which strengthens the classical theorem of Stone, is proved: If there is an isomorphism φ ofC(X) ontoC(Y) (X, Y-compact) with ∥ φ ∥ · ∥ φ^?1 ∥ < 2, thenX andY are homeomorphic.     

Cardinality of the Ellis semigroup on compact metric countable spaces

Let E(X, f) be the Ellis semigroup of a dynamical system (X, f) where X is a compact metric space. We analyze the cardinality of E(X, f) for a compact countable metric space X. A characterization when E(X, f) and \(E(X,f)^* = E(X,f) \setminus \{ f^n : n \in \mathbb {N}\}\) are both finite is given. We show that if the collection of all periods of the periodic points of (X, f) is infinite, then E(X, f) has size \(2^{\aleph _0}\). It is also proved that if (X, f) has a point with a dense orbit and all elements of E(X, f) are continuous, then \(|E(X,f)| \le |X|\). For dynamical systems of the form \((\omega ^2 +1,f)\), we show that if there is a point with a dense orbit, then all elements of \(E(\omega ^2+1,f)\) are continuous functions. We present several examples of dynamical systems which have a point with a dense orbit. Such systems provide examples where \(E(\omega ^2+1,f)\) and \(\omega ^2+1\) are homeomorphic but not algebraically homeomorphic, where \(\omega ^2+1\) is taken with the usual ordinal addition as semigroup operation.     

A metrizable X with Cp(X) not homeomorphic to Cp(X) × Cp(X)

We give an example of an infinite metrizable space X such that the space C_p(X), of continuous real-valued functions on X endowed with the pointwise topology, is not homeomorphic to its own square C_p(X) × C_p(X). The space X is a zero-dimensional subspace of the real line. Our result answers a long-standing open question in the theory of function spaces posed by A. V. Arhangel’skii.     

Thom-Sebastiani properties of Kohn-Rossi cohomology of compact connected strongly pseudoconvex CR manifolds

Let X_1 and X_2 be two compact connected strongly pseudoconvex embeddable Cauchy-Riemann(CR) manifolds of dimensions 2m-1 and 2n-1 in C~(m+1)and C~(n+1), respectively. We introduce the ThomSebastiani sum X = X_1 ⊕X_2which is a new compact connected strongly pseudoconvex embeddable CR manifold of dimension 2m+2n+1 in C~(m+n+2). Thus the set of all codimension 3 strongly pseudoconvex compact connected CR manifolds in Cn+1for all n 2 forms a semigroup. X is said to be an irreducible element in this semigroup if X cannot be written in the form X_1 ⊕ X_2. It is a natural question to determine when X is an irreducible CR manifold. We use Kohn-Rossi cohomology groups to give a necessary condition of the above question. Explicitly,we show that if X = X_1 ⊕ X_2, then the Kohn-Rossi cohomology of the X is the product of those Kohn-Rossi cohomology coming from X_1 and X_2 provided that X_2 admits a transversal holomorphic S~1-action.     

Compactification of the space of branched coverings of the two-dimensional sphere

For a closed oriented surface Σ we define its degenerations into singular surfaces that are locally homeomorphic to wedges of disks. Let X_Σ,n be the set of isomorphism classes of orientation-preserving n-fold branched coverings Σ → S ² of the two-dimensional sphere. We complete X_Σ,n with the isomorphism classes of mappings that cover the sphere by the degenerations of Σ. In the case Σ = S ², the topology that we define on the obtained completion \({\overline X _{\Sigma ,n}}\) coincides on \({X_{{s^2},n}}\) with the topology induced by the space of coefficients of rational functions P/Q, where P and Q are homogeneous polynomials of degree n on ?P¹ ≌ S ². We prove that \({\overline X _{\Sigma ,n}}\) coincides with the Diaz–Edidin–Natanzon–Turaev compactification of the Hurwitz space H(Σ, n) ? X _Σ,n consisting of isomorphism classes of branched coverings with all critical values being simple.     

Expansive homoclinic classes of generic <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-vector fields

Let γ be a hyperbolic closed orbit of a C ¹ vector field X on a compact C ^∞ manifold M of dimension n ≥ 3, and let H _X(γ) be the homoclinic class of X containing γ. In this paper, we prove that C ¹-generically, if H _X(γ) is expansive and isolated, then it is hyperbolic.     

Banach–Stone Theorems for maps preserving common zeros

Let X and Y be completely regular spaces and E and F be Hausdorff topological vector spaces. We call a linear map T from a subspace of C(X, E) into C(Y, F) a Banach–Stone map if it has the form T f (y) =  S _y (f (h(y))) for a family of linear operators S _y : E → F, \({y \in Y}\) , and a function h: Y → X. In this paper, we consider maps having the property:

$\bigcap^{k}_{i=1}Z(f_{i}) \neq\emptyset \iff \bigcap^{k}_{i=1}Z(Tf_{i})\neq\emptyset , \quad({\rm Z}) $

where Z(f) =  {f =  0}. We characterize linear bijections with property (Z) between spaces of continuous functions, respectively, spaces of differentiable functions (including C ^∞), as Banach–Stone maps. In particular, we confirm a conjecture of Ercan and Önal: Suppose that X and Y are realcompact spaces and E and F are Hausdorff topological vector lattices (respectively, C ^*-algebras). Let T: C(X, E) → C(Y, F) be a vector lattice isomorphism (respectively, *-algebra isomorphism) such that

$ Z(f) \neq\emptyset\iff Z(Tf) \neq\emptyset. $

Then X is homeomorphic to Y and E is lattice isomorphic (respectively, C ^*-isomorphic) to F. Some results concerning the continuity of T are also obtained.

     

Grauert’s line bundle convexity,reduction and Riemann domains

We consider a convexity notion for complex spaces X with respect to a holomorphic line bundle L over X. This definition has been introduced by Grauert and, when L is analytically trivial, we recover the standard holomorphic convexity. In this circle of ideas, we prove the counterpart of the classical Remmert’s reduction result for holomorphically convex spaces. In the same vein, we show that if H⁰(X,L) separates each point of X, then X can be realized as a Riemann domain over the complex projective space Pⁿ, where n is the complex dimension of X and L is the pull-back of O(1).     

The Lindelöf Number of Functional Spaces on Monolithic Compacta

Let X be a compactum, τ be an infinite cardinal, and t(X) ≤ τ. In this case, l(C_p(X)) ≤ 2^τ. If X is τ-monolitliic, then l(C_p(X)) ≤ τ⁺. In addition, if X is zero-dimensional and there are no τ⁺-Aronszajn trees, then l(C_p(X)) ≤ τ.     

Spaces of lower semicontinuous set-valued maps I

We introduce a lower semicontinuous analog, L ^?(X), of the well-studied space of upper semicontinuous set-valued maps with nonempty compact interval images. Because the elements of L ^?(X) contain continuous selections, the space C(X) of real-valued continuous functions on X can be used to establish properties of L ^?(X), such as the two interrelated main theorems. The first of these theorems, the Extension Theorem, is proved in this Part I. The Extension Theorem says that for binormal spaces X and Y, every bimonotone homeomorphism between C(X) and C(Y) can be extended to an ordered homeomorphism between L ^?(X) and L ^?(Y). The second main theorem, the Factorization Theorem, is proved in Part II. The Factorization Theorem says that for binormal spaces X and Y, every ordered homeomorphism between L ^?(X) and L ^?(Y) can be characterized by a unique factorization.     

A limit theorem for continuous selectors

Any (measurable) function K from Rⁿ to R defines an operator K acting on random variables X by K(X) = K(X₁,..., X_n), where the X_j are independent copies of X. The main result of this paper concerns continuous selectors H, continuous functions defined in Rn and such that H(x₁, x₂,..., x_n) ∈ {x₁, x₂,..., x_n}. For each such continuous selector H (except for projections onto a single coordinate) there is a unique point ω_H in the interval (0, 1) so that, for any random variable X, the iterates H^(N) acting on X converge in distribution as N → ∞ to the ωH-quantile of X.     

Ultrafilter semigroups generated by direct sums

Let λ be an infinite cardinal and for every ordinal α<λ, let A _α be a set with a distinguished element 0 _α ∈A _α . The direct sum of sets A _α , α<λ, is the subset \(X=\bigoplus_{\alpha<\lambda}A_{\alpha}\) of the Cartesian product ∏_α<λ A _α consisting of all x with finite supp?(x)={α<λ:x(α)≠0 _α }. Endow X with a topology by taking as a neighborhood base at x∈X the subsets of the form {y∈X:y(α)=x(α) for all α<γ} where γ<λ. Let Ult?(X) denote the set of all nonprincipal ultrafilters on X converging to 0∈X. There is a natural partial semigroup operation on X which induces a semigroup operation on Ult?(X). We show that if direct sums X and Y are homeomorphic, then the semigroups Ult?(X) and Ult?(Y) are isomorphic.     

Generalized varieties of sums of powers

Let X ? P^N be an irreducible, non-degenerate variety. The generalized variety of sums of powers V S P_H^X(h) of X is the closure in the Hilbert scheme Hilb_h (X) of the locus parametrizing collections of points {x₁,..., x_h} such that the (h -1)-plane >x₁,..., x_h> passes through a fixed general point p ∈ P^N. When X = V_dⁿ is a Veronese variety we recover the classical variety of sums of powers V S P(F, h) parametrizing additive decompositions of a homogeneous polynomial as powers of linear forms. In this paper we study the birational behavior of V S P_H^X(h). In particular, we show how some birational properties, such as rationality, unirationalityand rational connectedness, of V S P_H^X(h) are inherited from the birational geometry of variety X itself.     

On the hyperbolicity of flows

Let X be a C~1 vector field on a compact boundaryless Riemannian manifold M(dim M≥2),and A a compact invariant set of X.Suppose that A has a hyperbolic splitting,i.e.,T∧M = E~sX E~u with E~s uniformly contracting and E~u uniformly expanding.We prove that if,in addition,A is chain transitive,then the hyperbolic splitting is continuous,i.e.,A is a hyperbolic set.In general,when A is not necessarily chain transitive,the chain recurrent part is a hyperbolic set.Furthermore,we show that if the whole manifold M admits a hyperbolic splitting,then X has no singularity,and the flow is Anosov.     

Hereditary normality of a space of the form ℱ(<Emphasis Type="Italic">X</Emphasis>)

Assuming the continuum hypothesis we construct an example of a nonmetrizable compact set X with the following properties(1) X ⁿ is hereditarily separable for all n ∈ ?(2) X ⁿ \ Δ _n is perfectly normal for every n ∈ ?, where Δ _n is the generalized diagonal of X ⁿ , i.e., the set of points with at least two equal coordinates(3) for every seminormal functor ? that preserves weights and the points of bijectivity the space ? _k (X) is hereditarily normal, where k is the second smallest element of the power spectrum of the functor ?; in particular, X ² and λ ₃ X are hereditarily normal.Our example of a space of this type strengthens the well-known example by Gruenhage of a nonmetrizable compact set whose square is hereditarily normal and hereditarily separable.     

A sharp eigenvalue theorem for fractional elliptic equations

The invisibility graph I(X) of a set X ? R ^d is a (possibly infinite) graph whose vertices are the points of X and two vertices are connected by an edge if and only if the straight-line segment connecting the two corresponding points is not fully contained in X. We consider the following three parameters of a set X: the clique number ω(I(X)), the chromatic number χ(I(X)) and the convexity number γ(X), which is the minimum number of convex subsets of X that cover X.We settle a conjecture of Matou?ek and Valtr claiming that for every planar set X, γ(X) can be bounded in terms of χ(I(X)). As a part of the proof we show that a disc with n one-point holes near its boundary has χ(I(X)) ≥ log log(n) but ω(I(X)) = 3.We also find sets X in R⁵ with χ(X) = 2, but γ(X) arbitrarily large.     

Virtual Betti numbers and virtual symplecticity of 4-dimensional mapping tori, Ⅱ

We show that if the fiber of a closed 4-dimensional mapping torus X is reducible and not S~2×S~1 or RP~3#RP~3, then the virtual first Betti number of X is infinite and X is not virtually symplectic. This confirms two conjectures made by Li and Ni(2014) in an earlier paper.     

Classification of finite groups satisfying a minimal condition

If H is a subgroup of a finite group G then we denote the normal closure of H in G by H ^G . We call G a PE-group if every minimal subgroup X of G satisfies N ^G (X) ∩ X ^G = X. The authors classify the finite non-PE-groups whose maximal subgroups of even order are PE-groups.