Rigidity of symmetric products

Given a metric continuum X, we consider the following hyperspaces of X  : 2^X$2^X$, _Cn(X)$C_n(X)$ and _Fn(X)$F_n(X)$ (n∈N$n\in \mathbb{N}$). Let _F1(X)={{x}:x∈X}$F_1(X)=\{\{x\}:x\in X\}$. A hyperspace K(X)$K(X)$ of X   is said to be rigid provided that for every homeomorphism h:K(X)→K(X)$h:K(X)\to K(X)$ we have that h(_F1(X))=_F1(X)$h(F_1(X))=F_1(X)$. In this paper we study under which conditions a continuum X   has a rigid hyperspace _Fn(X)$F_n(X)$.     

Representation theorems for Banach algebras

For a space X   denote by _Cb(X)$C_b(X)$ the Banach algebra of all continuous bounded scalar-valued functions on X   and denote by _C0(X)$C_0(X)$ the set of all elements in _Cb(X)$C_b(X)$ which vanish at infinity.     

Compact covers and function spaces

For a Tychonoff space X  , we denote by _Cp(X)$C_p(X)$ and _Cc(X)$C_c(X)$ the space of continuous real-valued functions on X equipped with the topology of pointwise convergence and the compact-open topology respectively. Providing a characterization of the Lindelöf Σ-property of X   in terms of _Cp(X)$C_p(X)$, we extend Okunev?s results by showing that if there exists a surjection from _Cp(X)$C_p(X)$ onto _Cp(Y)$C_p(Y)$ (resp. from _Lp(X)$L_p(X)$ onto _Lp(Y)$L_p(Y)$) that takes bounded sequences to bounded sequences, then υY is a Lindelöf Σ-space (respectively K-analytic) if υX has this property. In the second part, applying Christensen?s theorem, we extend Pelant?s result by proving that if X is a separable completely metrizable space and Y   is first countable, and there is a quotient linear map from _Cc(X)$C_c(X)$ onto _Cc(Y)$C_c(Y)$, then Y   is a separable completely metrizable space. We study also a non-separable case, and consider a different approach to the result of J. Baars, J. de Groot, J. Pelant and V. Valov, which is based on the combination of two facts: Complete metrizability is preserved by _?p${?}_p$-equivalence in the class of metric spaces (J. Baars, J. de Groot, J. Pelant). If X   is completely metrizable and _?p${?}_p$-equivalent to a first-countable Y, then Y is metrizable (V. Valov). Some additional results are presented.     

On rigidity of Roe algebras

Roe algebras are C^?$C^{?}$-algebras built using large scale (or ‘coarse’) aspects of a metric space (X,d)$(X,d)$. In the special case that X=Γ$X=\Gamma$ is a finitely generated group and d   is a word metric, the simplest Roe algebra associated to (Γ,d)$(\Gamma ,d)$ is isomorphic to the crossed product C^?$C^{?}$-algebra l^∞(Γ)_?rΓ$l^{\infty }(\Gamma ){?}_r\Gamma$.     

A new characterization of comonotonicity and its application in behavioral finance

It is well-known that an Rⁿ${\mathbb{R}}^n$-valued random vector (_X1,_X2,?,_Xn)$(X_1,X_2,?,X_n)$ is comonotonic if and only if (_X1,_X2,?,_Xn)$(X_1,X_2,?,X_n)$ and (_Q1(U),_Q2(U),?,_Qn(U))$(Q_1(U),Q_2(U),?,Q_n(U))$ coincide in distribution, for any random variable U   uniformly distributed on the unit interval (0,1)$(0,1)$, where _Qk(⋅)$Q_k(\cdot )$ are the quantile functions of _Xk$X_k$, k=1,2,?,n$k=1,2,?,n$. It is natural to ask whether (_X1,_X2,?,_Xn)$(X_1,X_2,?,X_n)$ and (_Q1(U),_Q2(U),?,_Qn(U))$(Q_1(U),Q_2(U),?,Q_n(U))$ can coincide almost surely for some special U. In this paper, we give a positive answer to this question by construction. We then apply this result to a general behavioral investment model with a law-invariant preference measure and develop a universal framework to link the problem to its quantile formulation. We show that any optimal investment output should be anti-comonotonic with the market pricing kernel. Unlike previous studies, our approach avoids making the assumption that the pricing kernel is atomless, and consequently, we overcome one of the major difficulties encountered when one considers behavioral economic equilibrium models in which the pricing kernel is a yet-to-be-determined unknown random variable. The method is applicable to general models such as risk sharing model.     

Kadec–Klee property and fixed points

Let X be a reflexive Banach space which does not have the Kadec–Klee property. Then there exists a compact mapping f   from the unit ball _BX$B_X$ of X   to the dual space X^?$X^{?}$ such that _infx∈BX‖f(x)‖>0${\inf }_{x\in B_X}\Vert f(x)\Vert >0$ and 〈f(x),x〉<‖f(x)‖$〈f(x),x〉<\Vert f(x)\Vert$ for every x∈_BX$x\in B_X$.     

A note on p-completely bounded homomorphisms of the Figà-Talamanca–Herz algebras

For a locally compact group G   and 1<p<∞$1<p<\infty$ let _Ap(G)$A_p(G)$ be the Figà-Talamanca–Herz algebras, which include in particular the Fourier algebra of G  , A(G)$A(G)$ (p=2$p=2$). It is shown that for any amenable group H  , a proper affine map α:Y⊂H→G$\alpha :Y\subset H\to G$ induces a p  -completely contractive algebra homomorphism _?α:_Ap(G)→_Ap(H)${?}_{\alpha }:A_p(G)\to A_p(H)$ by setting _?α(u)=u°α${?}_{\alpha }(u)=u°\alpha$ on Y   and _?α(u)=0${?}_{\alpha }(u)=0$ off of Y. Moreover, we show that if both G and H are amenable then any p  -completely contractive algebra homomorphism ?:_Ap(G)→_Ap(H)$?:A_p(G)\to A_p(H)$ is of this form. These results are the analogs in the context of the Figà-Talamanca–Herz algebras of the ones in the Fourier algebra setting (p=2$p=2$) initiated by the author and continued with N. Spronk, which in turn generalize results of P.J. Cohen and B. Host from abelian group algebra setting.     

A core-free semicovering of the Hawaiian Earring

The connected covering spaces of a connected and locally path-connected topological space X   can be classified by the conjugacy classes of those subgroups of _π1(X,x)${\pi }_1(X,x)$ which contain an open normal subgroup of _π1(X,x)${\pi }_1(X,x)$, when endowed with the natural quotient topology of the compact-open topology on based loops. There are known examples of semicoverings (in the sense of Brazas) that correspond to open subgroups which do not contain an open normal subgroup. We present an example of a semicovering of the Hawaiian Earring H$\mathbb{H}$ with corresponding open subgroup of _π1(H)${\pi }_1(\mathbb{H})$ which does not contain any   nontrivial normal subgroup of _π1(H)${\pi }_1(\mathbb{H})$.