Uniform continuity in {\omega_\mu}-metric spaces and uc {\omega_\mu}-metric extendability

Generally, the term uc-ness means some continuity is uniform. A metric space X is uc when any continuous function fromX to [0, 1] is uniformly continuous and a metrizable space X is a Nagata space when it can be equipped with a uc metric. We consider natural forms of uc-ness for the \({\omega_\mu}\)-metric spaces, which fill a very large and interesting class of uniform spaces containing the usual metric ones, and extend to them various different formulations of the metric uc-ness, by additionaly proving their equivalence. Furthermore, since any \({\omega_\mu}\)-compact space is uc and any uc \({\omega_\mu}\)-metric space is complete, in the line of constructing dense extensions which preserve some structure, such as uniform completions, we focus on the existence for an \({\omega_\mu}\)-metrizable space of dense topological extensions carrying a uc \({\omega_\mu}\)-metric. In this paper we show that an \({\omega_\mu}\)-metrizable space X is uc-extendable if and only if there exists a compatible \({\omega_\mu}\)-metric d on X such that the set X′ of all accumulation points in X is crowded, i.e., any \({\omega_\mu}\)-sequence in X′ has a d-Cauchy \({\omega_\mu}\)-subsequence in X′.     

Conformally Covariant Differential Operators for the Diagonal Action of $$O(p,\,q)$$ on Real Quadrics

Let \(X=G/P\) be a real projective quadric, where \(G=O(p,\,q)\) and P is a parabolic subgroup of G. Let \((\pi _{\lambda ,\epsilon },\, \mathcal H_{\lambda ,\epsilon })_{ (\lambda ,\epsilon )\in {\mathbb {C}}\times \{\pm \}}\) be the family of (smooth) representations of G induced from the characters of P. For \((\lambda ,\, \epsilon ),\, (\mu ,\, \eta )\in {\mathbb {C}}\times \{\pm \},\) a differential operator \(\mathbf D_{(\mu ,\eta )}^\mathrm{reg}\) on \(X\times X,\) acting G-covariantly from \({\mathcal {H}}_{\lambda ,\epsilon } \otimes {\mathcal {H}}_{\mu , \eta }\) into \({\mathcal {H}}_{\lambda +1,-\epsilon } \otimes {\mathcal {H}}_{\mu +1, -\eta }\) is constructed.     

On countably {\mu}-paracompact spaces

A topological space X is countably paracompact if and only if X satisfies the condition (A): For any decreasing sequence {F_i} of non-empty closed sets with \({\bigcap_{i=1}^{\infty} F_{i} = \emptyset}\) there exists a sequence {G_i} of open sets such that \({\bigcap_{i=1}^{\infty}\overline{G_{i}}=\emptyset}\) and \({F_{i} \subset G_{i}}\) for every i. We will show, by an example, that this is not true in generalized topological spaces. In fact there is a \({\mu}\)-normal generalized topological space satisfying the analogue of A which is not even countably \({\mu}\)-metacompact. Then we study the relationships between countably \({\mu}\)-paracompactness, countably \({\mu}\)-metacompactness and the condition corresponding to condition A in generalized topological spaces.     

Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

Disintegration of positive isometric group representations on $$\varvec{\mathrm {L}^{p}}$$-spaces

Let G be a Polish locally compact group acting on a Polish space \({{X}}\) with a G-invariant probability measure \(\mu \). We factorize the integral with respect to \(\mu \) in terms of the integrals with respect to the ergodic measures on X, and show that \(\mathrm {L}^{p}({{X}},\mu )\) (\(1\le p<\infty \)) is G-equivariantly isometrically lattice isomorphic to an \({\mathrm {L}^p}\)-direct integral of the spaces \(\mathrm {L}^{p}({{X}},\lambda )\), where \(\lambda \) ranges over the ergodic measures on X. This yields a disintegration of the canonical representation of G as isometric lattice automorphisms of \(\mathrm {L}^{p}({{X}},\mu )\) as an \({\mathrm {L}^p}\)-direct integral of order indecomposable representations. If \(({{X}}^\prime ,\mu ^\prime )\) is a probability space, and, for some \(1\le q<\infty \), G acts in a strongly continuous manner on \(\mathrm {L}^{q}({{X}}^\prime ,\mu ^\prime )\) as isometric lattice automorphisms that leave the constants fixed, then G acts on \(\mathrm {L}^{p}({{X}}^{\prime },\mu ^{\prime })\) in a similar fashion for all \(1\le p<\infty \). Moreover, there exists an alternative model in which these representations originate from a continuous action of G on a compact Hausdorff space. If \(({{X}}^\prime ,\mu ^\prime )\) is separable, the representation of G on \(\mathrm {L}^p(X^\prime ,\mu ^\prime )\) can then be disintegrated into order indecomposable representations. The notions of \({\mathrm {L}^p}\)-direct integrals of Banach spaces and representations that are developed extend those in the literature.     

On von Neumann regular elements in <Emphasis Type="Italic">f</Emphasis>-rings

Let B be an Archimedean reduced f-ring. A positive element \({\omega}\) in B is said to satisfy the property \({(\ast)}\) if for every f-ring A with identity e and every \({\ell}\)-group homomorphism \({\gamma : A \rightarrow B}\) with \({\gamma(e) = \omega}\), there exists a unique \({\ell}\)-ring homomorphism \({\rho: B \rightarrow B}\) such that \({\gamma = \omega \rho}\) and \({\rho(e)^{\perp \perp} = \omega^{\perp \perp}}\). Boulabiar and Hager proved that any (positive) von Neumann regular element in B satisfies the property \({(\ast)}\) and proved that the converse holds in the C(X)-case. In this regard, they asked about this converse in the general case. Our main purpose in this note is to prove, via a counter-example, that the converse in question fails in general. In addition, we shall take the opportunity to extend the direct result obtained by Boulabiar and Hager, and to get the C(X)-case we were talking about in an easier way.     

Note on Bernoulli numbers associated to some Dirichlet character of prime conductor

We fix an integer \({n \geq 1}\) and a divisor m of n such that n/m is odd. Let p be a prime number of the form \({p=2n\ell+1}\) for some odd prime number \({\ell}\) with \({\ell \nmid m}\). Let \({S=pB_{1,2m\ell}}\) be the p times of the generalised Bernoulli number associated to an odd Dirichlet character of conductor p and order \({2m\ell}\), which is an algebraic integer of the \({2m\ell}\)th cyclotomic field. It is known that \({S \neq 0}\). More strongly, we show that when \({\ell}\) is sufficiently large, the trace of \({\zeta^{-1}S}\) to the \({2m}\)th cyclotomic field does not vanish for any\({\ell}\)th root \({\zeta}\) of unity. We also show a related result on indivisibility of relative class numbers.     

<Emphasis Type="Italic">k</Emphasis>-Extreme Points in Symmetric Spaces of Measurable Operators

Let \({\mathcal{M}}\) be a semifinite von Neumann algebra with a faithful, normal, semifinite trace \({\tau}\) and E be a strongly symmetric Banach function space on \({[0,\tau({\bf 1}))}\) . We show that an operator x in the unit sphere of \({E(\mathcal{M}, \tau)}\) is k-extreme, \({k \in {\mathbb{N}}}\) , whenever its singular value function \({\mu(x)}\) is k-extreme and one of the following conditions hold (i) \({\mu(\infty, x) = \lim_{t\to\infty}\mu(t, x) = 0}\) or (ii) \({n(x)\mathcal{M}n(x^*) = 0}\) and \({|x| \geq \mu(\infty, x)s(x)}\) , where n(x) and s(x) are null and support projections of x, respectively. The converse is true whenever \({\mathcal{M}}\) is non-atomic. The global k-rotundity property follows, that is if \({\mathcal{M}}\) is non-atomic then E is k-rotund if and only if \(E(\mathcal{M}, \tau)\) is k-rotund. As a consequence of the noncommutative results we obtain that f is a k-extreme point of the unit ball of the strongly symmetric function space E if and only if its decreasing rearrangement \({\mu(f)}\) is k-extreme and \({|f| \geq \mu(\infty,f)}\) . We conclude with the corollary on orbits Ω(g) and Ω′(g). We get that f is a k-extreme point of the orbit \({\Omega(g),\,g \in L_1 + L_{\infty}}\) , or \({\Omega'(g),\,g \in L_1[0, \alpha),\,\alpha < \infty}\) , if and only if \({\mu(f) = \mu(g)}\) and \({|f| \geq \mu(\infty, f)}\) . From this we obtain a characterization of k-extreme points in Marcinkiewicz spaces.     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

Endomorphism rings of some Young modules

Let \({\Sigma_r}\) be the symmetric group acting on \({r}\) letters, \({K}\) be a field of characteristic 2, and \({\lambda}\) and \({\mu}\) be partitions of \({r}\) in at most two parts. Denote the permutation module corresponding to the Young subgroup \({\Sigma_\lambda}\), in \({\Sigma_r}\), by \({M^\lambda}\), and the indecomposable Young module by \({Y^\mu}\). We give an explicit presentation of the endomorphism algebra \({{\rm End}_{k[\Sigma_r]}(Y^\mu)}\) using the idempotents found by Doty et al. (J Algebra 307(1):377–396, 2007).     

Linear extensions of some Baire-one functions

Let X be a Hausdorff topological space, and let \({\mathscr {B}}_1(X)\) denote the space of all real Baire-one functions defined on X. Let A be a nonempty subset of X endowed with the topology induced from X, and let \({\mathscr {F}}(A)\) be the set of functions \(A\rightarrow {\mathbb R}\) with a property \({\mathscr {F}}\) making \({\mathscr {F}}(A)\) a linear subspace of \({\mathscr {B}}_1(A)\). We give a sufficient condition for the existence of a linear extension operator \(T_A:{\mathscr {F}}(A)\rightarrow {\mathscr {F}}(X)\), where \({\mathscr {F}}\) means to be piecewise continuous on a sequence of closed and \(G_\delta \) subsets of X and is denoted by \({\mathscr {P}_0}\). We show that \(T_A\) restricted to bounded elements of \({\mathscr {F}}(A)\) endowed with the supremum norm is an isometry. As a consequence of our main theorem, we formulate the conclusion about existence of a linear extension operator for the classes of Baire-one-star and piecewise continuous functions.     

Evolution of curvatures on a surface with boundary to prescribed functions

Let (M, g ₀) be a compact Riemann surface with boundary and with negative Euler characteristic. Let f(x) be a strictly negative smooth function on \({\bar{M}}\) and denote by \({\sigma(x)}\) the value of f in the interior and \({\zeta(x)}\) the value of f on the boundary. By studying the evolution of curvatures on M, we prove that there exist a constant \({\lambda_\infty}\) and a conformal metric \({g_\infty}\) such that \({\lambda_\infty\sigma(x)}\) and \({\lambda_\infty\zeta(x)}\) can be realized as the Gaussian curvature and boundary geodesic curvature of \({g_\infty}\) respectively.     

A note on standard modules and Vogan L-packets

Let F be a non-Archimedean local field of characteristic 0, let G be the group of F-rational points of a connected reductive group defined over F and let \({G\prime}\) be the group of F-rational points of its quasi-split inner form. Given standard modules \({I(\tau, \nu )}\) and \({I(\tau\prime, \nu\prime)}\) for G and \({G\prime}\) respectively with \({\tau\prime}\) a generic tempered representation, such that the Harish-Chandra \({\mu}\)-function of a representation in the supercuspidal support of \({\tau}\) agrees with the one of a generic essentially square-integral representation in some Jacquet module of \({\tau\prime}\) (after a suitable identification of the underlying spaces under which \({\nu = \nu\prime}\)), we show that \({I(\tau, \nu)}\) is irreducible whenever \({I(\tau\prime, \nu\prime)}\) is. The conditions are satisfied if the Langlands quotients \({J(\tau, \nu})\) and \({J(\tau\prime, \nu\prime)}\) of respectively \({I(\tau, \nu)}\) and \({I(\tau\prime, \nu\prime)}\) lie in the same Vogan L-packet (whenever this Vogan L-packet is defined), proving that, for any Vogan L-packet, all the standard modules with Langlands quotient in a given Vogan L-packet are irreducible, if and only if this Vogan L-packet contains a generic representation. This result for generic Vogan L-packets was proven for quasi-split orthogonal and symplectic groups by Moeglin-Waldspurger and used in their proof of the general case of the local Gan-Gross-Prasad conjectures for these groups.     

Limit theorems for multidimensional renewal sets

Given a sequence \({\mathcal{U} =\{U_n: n \in \omega\}}\) of non-empty open subsets of a space X, a set \({\{x_n : n \in \omega\}}\) is a selection of \({\mathcal{U}}\) if \({x_n \in U_n}\) for every \({n \in \omega}\). We show that a space X is uncountable if and only if every sequence of non-empty open subsets of C _p (X) has a closed discrete selection. The same statement is not true for \({C_p(X,[0,1])}\) so we study when the above selection property (which we call discrete selectivity) holds in \({C_p(X,[0,1])}\). We prove, among other things, that \({C_p(X, [0,1])}\) is discretely selective if X is an uncountable Lindelöf \({\Sigma}\)-space. We also give a characterization, in terms of the topology of X, of discrete selectivity of \({C_p(X,[0,1])}\) if X is an \({\omega}\)-monolithic space of countable tightness.     

Symmetry for a general class of overdetermined elliptic problems

Let \({\Omega}\) a bounded domain in \({\mathbb{R} ^N }\), and let \({u\in C^1 (\overline{\Omega})}\) a weak solution of the following overdetermined BVP: \({-\nabla (g(|\nabla u|)|\nabla u|^{-1}\nabla u)=f(|x|,u)}\), \({ u > 0 }\) in \({\Omega }\) and \({u=0, \ |\nabla u(x)|=\lambda (|x|)}\) on \({\partial \Omega }\), where \({g\in C([0,+\infty)\cap C^1 ((0,+\infty ) ) }\) with \({g(0)=0}\), \({g'(t) > 0}\) for \({t > 0}\), \({f\in C([0,+\infty ) \times [0, +\infty ) )}\), f is nonincreasing in \({|x|}\), \({\lambda \in C([0, +\infty )) }\) and \({\lambda }\) is positive and nondecreasing. We show that \({\Omega }\) is a ball and u satisfies some “local” kind of symmetry. The proof is based on the method of continuous Steiner symmetrization.     

Integral means of weighted Hardy–Bloch functions

Let \({\mathcal{B}^\omega(p, q, B_d)}\) denote the \({\omega}\)-weighted Hardy–Bloch space on the unit ball B _d of \({\mathbb{C}^d}\), \({d\ge 1}\). For \({2< p,q < \infty}\) and \({f\in \mathcal{B}^\omega(p, q, B_d)}\), we obtain sharp estimates on the growth of the p-integral means M _p (f, r) as \({r\to 1-}\).     

Spectral properties of continuous representations of topological groups

Let \({\mathcal{L}(X)}\) be the algebra of all bounded operators on a Banach space X. \({\theta:G\rightarrow \mathcal{L}(X)}\) denotes a strongly continuous representation of a topological abelian group G on X. Set \({\sigma^1(\theta(g)):=\{\lambda/|\lambda|,\lambda\in\sigma(\theta(g))\}}\), where σ(θ(g)) is the spectrum of θ(g) and \({\Sigma:=\{g\in G/\enskip\text{there is no} \enskip P\in \mathcal{P}/P\subseteq \sigma^1(\theta(g))\}}\), where \({\mathcal{P}}\) is the set of regular polygons of \({\mathbb{T}}\) (we call polygon in \({\mathbb{T}}\) the image by a rotation of a closed subgroup of \({\mathbb{T}}\), the unit circle of \({\mathbb{C}}\)). We prove here that if G is a locally compact and second countable abelian group, then θ is uniformly continuous if and only if Σ is non-meager.     

Spaces with normal weights and Hadamard gap series

We give a sufficient and necessary condition for an analytic function f(z) on the unit disc \({\mathbb{D}}\) with Hadamard gaps, that is, for \({f(z)=\sum_{k=1}^{\infty}a_kz^{n_k}}\) where \({n_{k+1}/n_k\geq\lambda >1 }\) for all \({k\in \mathbb{N}}\), to belong to the weighted-type space \({ H_\mu^{\infty}}\), under some condition posed on the weight function μ. We can define the corresponding little weighted-type space \({H_{\mu,0}^{\infty}}\) and give a criterion for functions to belong to it.     

Ordinal indices of Small Subspaces of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We calculate the ordinal L _p index defined in [3] for Rosenthal’s space X _p , \({\ell_p}\) and \({\ell_2}\). We show that an infinite-dimensional subspace of L _p \({(2 < p < \infty)}\) non-isomorphic to \({\ell_2}\) embeds in \({\ell_p}\) if and only if its ordinal index is the minimal possible. We also give a sufficient condition for a \({\mathcal{L}_p}\) subspace of \({\ell_p \oplus \ell_2}\) to be isomorphic to X _p .     

Rational approximation to surfaces defined by polynomials in one variable

For a Tychonoff space X, we denote by C _p (X) the space of all real-valued continuous functions on X with the topology of pointwise convergence.

In this paper we prove that:

• If every finite power of X is Lindelöf then C _p (X) is strongly sequentially separable iff X is \({\gamma}\)-set.
• \({B_{\alpha}(X)}\) (= functions of Baire class \({\alpha}\) (\({1 < \alpha \leq \omega_1}\)) on a Tychonoff space X with the pointwise topology) is sequentially separable iff there exists a Baire isomorphism class \({\alpha}\) from a space X onto a \({\sigma}\)-set.
• \({B_{\alpha}(X)}\) is strongly sequentially separable iff \({iw(X)=\aleph_0}\) and X is a \({Z^{\alpha}}\)-cover \({\gamma}\)-set for \({0 < \alpha \leq \omega_1}\).
• There is a consistent example of a set of reals X such that C _p (X) is strongly sequentially separable but B₁(X) is not strongly sequentially separable.
• B(X) is sequentially separable but is not strongly sequentially separable for a \({\mathfrak{b}}\)-Sierpiński set X.