Strict topology over the space of measures with continuous translations on a locally compact foundation semigroup

Let $ \mathfrak{S} $ \mathfrak{S} be a locally compact semigroup, ω be a weight function on $ \mathfrak{S} $ \mathfrak{S} , and M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) be the weighted semigroup algebra of $ \mathfrak{S} $ \mathfrak{S} . Let L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) be the C*-algebra of all M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)-measurable functions g on $ \mathfrak{S} $ \mathfrak{S} such that g/ω vanishes at infinity. We introduce and study a strict topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) and show that the Banach space L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) can be identified with the dual of M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) endowed with β ¹($ \mathfrak{S} $ \mathfrak{S} , ω). We finally investigate some properties of the locally convex topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω).     

Distortio n theorems o n the Lie ball $$ \mathcal{R}_{IV} $$ ( n) i n ℂ n

In this paper, we introduce the subfamilies H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) of holomorphic mappings defined on the Lie ball $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n) which reduce to the family of holomorphic mappings and the family of locally biholomorphic mappings when m = 1 and m → +∞, respectively. Various distortion theorems for holomophic mappings H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are established. The distortion theorems coincide with Liu and Minda’s as the special case of the unit disk. When m = 1 and m → +∞, the distortion theorems reduce to the results obtained by Gong for $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n), respectively. Moreover, our method is different. As an application, the bounds for Bloch constants of H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are given.     

Weak convergence in the dual of weak L<Superscript>p</Superscript>

We consider a Dedekind σ-complete Banach lattice E whose dual is weakly sequentially complete. Suppose that E has a positive element u and a family of positive operators $ \mathcal{G} $ \mathcal{G} such that

Minimax goodness-of-fit testing in multivariate nonparametric regression

We consider an unknown response function f defined on Δ = [0, 1] ^d , 1 ≤ d ≤ ∞, taken at n random uniform design points and observed with Gaussian noise of known variance. Given a positive sequence r _n → 0 as n → ∞ and a known function f ₀ ∈ L ₂(Δ), we propose, under general conditions, a unified framework for goodness-of-fit testing the null hypothesis H ₀: f = f ₀ against the alternative H ₁: f ∈ $ \mathcal{F} $ \mathcal{F} , ∥f − f ₀∥ ≥ r _n , where $ \mathcal{F} $ \mathcal{F} is an ellipsoid in the Hilbert space L ₂(Δ) with respect to the tensor product Fourier basis and ∥ · ∥ is the norm in L ₂(Δ). We obtain both rate and sharp asymptotics for the error probabilities in the minimax setup. The derived tests are inherently non-adaptive. Several illustrative examples are presented. In particular, we consider functions belonging to ellipsoids arising from the well-known multidimensional Sobolev and tensor product Sobolev norms as well as from the less-known Sloan-Woźniakowski norm and a norm constructed from multivariable analytic functions on the complex strip.     

Wavelet approximation and Fourier widths of classes of periodic functions of several variables. I

We obtain characterizations (and prove the corresponding equivalence of norms) of function spaces B _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) and L _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) of Nikol’skii-Besov and Lizorkin-Triebel types, respectively, in terms of representations of functions in these spaces by Fourier series with respect to a multiple system $ \mathcal{W}_m^\mathbb{I} $ \mathcal{W}_m^\mathbb{I} of Meyer wavelets and in terms of sequences of the Fourier coefficients with respect to this system. We establish order-sharp estimates for the approximation of functions in B _pq ^sm ($ \mathbb{I} $ \mathbb{I} ) and L _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) by special partial sums of these series in the metric of L _r ($ \mathbb{I} $ \mathbb{I} ^k ) for a number of relations between the parameters s, p, q, r, and m (s = (s ₁, ..., s _n ) ∈ ℝ₊ ⁿ , 1 ≤ p, q, r ≤ ∞, m = (m ₁, ..., m _n ) ∈ ℕ ⁿ , k = m ₁ +... + m _n , and $ \mathbb{I} $ \mathbb{I} = ℝ or $ \mathbb{T} $ \mathbb{T} ). In the periodic case, we study the Fourier widths of these function classes.     

Automorphism group and representation of a twisted multi-loop algebra

Let G be the complexification of the real Lie algebra so（3） and A = C[t1^±1, t2^±1] be the Lau-ent polynomial algebra with commuting variables. Let L：（t1, t2, 1） = G c .A be the twisted multi-loop Lie algebra. Recently we have studied the universal central extension, derivations and its vertex operator representations. In the present paper we study the automorphism group and bosonic representations ofL（t1, t2, 1）.     

A cohomological steinness criterion for holomorphically spreadable complex spaces

Let X be a complex space of dimension n, not necessarily reduced, whose cohomology groups H ¹(X, $ \mathcal{O} $ \mathcal{O} ), ...,H ⁿ⁻¹(X, $ \mathcal{O} $ \mathcal{O} ) are of finite dimension (as complex vector spaces). We show that X is Stein (resp., 1-convex) if, and only if, X is holomorphically spreadable (resp., X is holomorphically spreadable at infinity).     

Uniform Morse lemma and isotopy criterion for Morse functions on surfaces

Let M be a smooth compact (orientable or not) surface with or without a boundary. Let $ \mathcal{D}_0 $ \mathcal{D}_0 ⊂ Diff(M) be the group of diffeomorphisms homotopic to id _M . Two smooth functions f, g: M → ℝ are called isotopic if f = h ₂ ℴ g ℴ h ₁ for some diffeomorphisms h ₁ ∈ $ \mathcal{D}_0 $ \mathcal{D}_0 and h ₂ ∈ Diff⁺(ℝ). Let F be the space of Morse functions on M which are constant on each boundary component and have no critical points on the boundary. A criterion for two Morse functions from F to be isotopic is proved. For each Morse function f ∈ F, a collection of Morse local coordinates in disjoint circular neighborhoods of its critical points is constructed, which continuously and Diff(M)-equivariantly depends on f in C ^∞-topology on F (“uniform Morse lemma”). Applications of these results to the problem of describing the homotopy type of the space F are formulated.     

Analogues of Horn’s theorem for finite unions of starshaped sets in ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Fix k, d, 1 ≤ k ≤ d + 1. Let $ \mathcal{F} $ \mathcal{F} be a nonempty, finite family of closed sets in ℝ ^d , and let L be a (d − k + 1)-dimensional flat in ℝ ^d . The following results hold for the set T ≡ ∪{F: F in $ \mathcal{F} $ \mathcal{F} }. Assume that, for every k (not necessarily distinct) members F ₁, …, F _k of $ \mathcal{F} $ \mathcal{F} ,∪{F _i : 1 ≤ i ≤ k} is starshaped and the corresponding kernel contains a translate of L. Then T is starshaped, and its kernel also contains a translate of L.     

A generalization of Mathieu subspaces to modules of associative algebras

We first propose a generalization of the notion of Mathieu subspaces of associative algebras $ \mathcal{A} $ \mathcal{A} , which was introduced recently in [Zhao W., Generalizations of the image conjecture and the Mathieu conjecture, J. Pure Appl. Algebra, 2010, 214(7), 1200–1216] and [Zhao W., Mathieu subspaces of associative algebras], to $ \mathcal{A} $ \mathcal{A} -modules $ \mathcal{M} $ \mathcal{M} . The newly introduced notion in a certain sense also generalizes the notion of submodules. Related with this new notion, we also introduce the sets σ(N) and τ(N) of stable elements and quasi-stable elements, respectively, for all R-subspaces N of $ \mathcal{A} $ \mathcal{A} -modules $ \mathcal{M} $ \mathcal{M} , where R is the base ring of $ \mathcal{A} $ \mathcal{A} . We then prove some general properties of the sets σ(N) and τ(N). Furthermore, examples from certain modules of the quasi-stable algebras [Zhao W., Mathieu subspaces of associative algebras], matrix algebras over fields and polynomial algebras are also studied.     

On the homology groups of arrangements of complex planes of codimension two

In the study of two-dimensional compact toric varieties, there naturally appears a set of coordinate planes of codimension two $ Z = {*{20}c} \cup \\ {1 < \left| {i - j} \right| < d - 1} \\ \{ z_i = z_j = 0\} $ Z = \begin{array}{*{20}c} \cup \\ {1 < \left| {i - j} \right| < d - 1} \\ \end{array} \{ z_i = z_j = 0\} in ℂ ^d . Based on the Alexander-Pontryagin duality theory, we construct a cycle that is dual to the generator of the highest dimensional nontrivial homology group of the complement in ℂ ^d of the set of planes Z. We explicitly describe cycles that generate groups H _d+2(ℂ ^d \ Z) and H _d−3($ \bar Z $ \bar Z ), where $ \bar Z $ \bar Z = Z ∪ {∞}.     

On set-valued cone absolutely summing maps

Spaces of cone absolutely summing maps are generalizations of Bochner spaces L ^p (μ, Y), where (Ω, Σ, μ) is some measure space, 1 ≤ p ≤ ∞ and Y is a Banach space. The Hiai-Umegaki space $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] of integrably bounded functions F: Ω → cbf(X), where the latter denotes the set of all convex bounded closed subsets of a separable Banach space X, is a set-valued analogue of L ¹(μ, X). The aim of this work is to introduce set-valued cone absolutely summing maps as a generalization of $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] , and to derive necessary and sufficient conditions for a set-valued map to be such a set-valued cone absolutely summing map. We also describe these set-valued cone absolutely summing maps as those that map order-Pettis integrable functions to integrably bounded set-valued functions.     

Selfadjoint extensions of the operator of the Dirichlet problem in a 3-dimensional region with an edge

Taking various viewpoints, we study the selfadjoint extensions $ \mathcal{A} $ \mathcal{A} of the operator A of the Dirichlet problem in a 3-dimensional region Ω with an edge Γ. We identify the infinite dimensional nullspace def A with the Sobolev space H ^−ϰ(Γ) on Γ with variable smoothness exponent −ϰ ∈ (−1, 0); while the selfadjoint extensions, with selfadjoint operators $ \mathcal{T} $ \mathcal{T} on the subspaces of H ^−ϰ(Γ). To the boundary value problem in the region with a “smoothed” edge we associate a concrete extension, which yields a more precise approximate solution to the singularly perturbed problem.     

On weighted spaces of holomorphic functions of several variables

We generalize the results of [11] and [12] for the unit ball $ \mathbb{B}_d $ \mathbb{B}_d of ℂ ^d . In particular, we show that under the weight condition (B) the weighted H ^∞-space on $ \mathbb{B}_d $ \mathbb{B}_d is isomorphic to ℓ^∞ and thus complemented in the corresponding weighted L ^∞-space. We construct concrete, generalized Bergman projections accordingly. We also consider the case where the domain is the entire space ℂ ^d . In addition, we show that for the polydisc $ \mathbb{D}^d $ \mathbb{D}^d ^d , the weighted H ^∞-space is never isomorphic to ℓ^∞.     

Deforming the Lie superalgebra of contact vector fields on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript> inside the Lie superalgebra of pseudodifferential operators on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript>

We classify deformations of the standard embedding of the Lie superalgebra $ \mathcal{K} $ \mathcal{K} (2) of contact vector fields on the (1, 2)-dimensional supercircle into the Lie superalgebra SΨD(S ^1|2 ) of pseudodifferential operators on the supercircle S ^1|2 . The proposed approach leads to the deformations of the central charge induced on $ \mathcal{K} $ \mathcal{K} (2) by the canonical central extension of SΨD(S ^1|2 ).     

Trace class Toeplitz operators with unbounded symbols on weighted Bergman spaces

In this note we construct a function φ in L2（Bn,dμ） which is unbounded on any neighborhood of each boundary point of Bn such that Tφ is a trace class operator on weighted Bergman space Lα2（Bn,dμ） for several complex variables.     

Some approximants in operator algebras

In this paper we extend to C*-algebras and to von Neumann algebras some results on approximants that have previously been found in the context of $ \mathcal{L} $ \mathcal{L} (H) and of the von Neumann-Schatten classesC _p , 1⩽ p <∞. We obtain results concerning positive approximants, unitary and partially isometric approximants and commutator approximants; and we study paranormality. Our main tools are the Gelfand-naimark Theorem and Berntzen’s results on normal spectral approximation.     

Hereditarily indecomposable Banach algebras of diagonal operators

We provide a characterization of the Banach spaces X with a Schauder basis (e _n ) _n∈ℕ which have the property that the dual space X* is naturally isomorphic to the space L _diag(X) of diagonal operators with respect to (e _n ) _n∈ℕ. We also construct a Hereditarily Indecomposable Banach space $ \mathfrak{X} $ \mathfrak{X} _D with a Schauder basis (e _n ) _n∈ℕ such that $ \mathfrak{X} $ \mathfrak{X} *_D is isometric to L _diag($ \mathfrak{X} $ \mathfrak{X} _D) with these Banach algebras being Hereditarily Indecomposable. Finally, we show that every T ∈ L _diag($ \mathfrak{X} $ \mathfrak{X} _D) is of the form T = λI + K, where K is a compact operator.     

On the shift semigroup on the Hardy space of Dirichlet series

We develop a Wold decomposition for the shift semigroup on the Hardy space $ \mathcal{H}^2 $ \mathcal{H}^2 of square summable Dirichlet series convergent in the half-plane $ \Re (s) > 1/2 $ \Re (s) > 1/2 . As an application we have that a shift invariant subspace of $ \mathcal{H}^2 $ \mathcal{H}^2 is unitarily equivalent to $ \mathcal{H}^2 $ \mathcal{H}^2 if and only if it has the form $ \phi \mathcal{H}^2 $ \phi \mathcal{H}^2 for some $ \mathcal{H}^2 $ \mathcal{H}^2 -inner function φ.     

Descriptive set-theoretical properties of an abstract density operator

Let $ \mathcal{K} $ \mathcal{K} (ℝ) stand for the hyperspace of all nonempty compact sets on the real line and let d ^±(x;E) denote the (right- or left-hand) Lebesgue density of a measurable set E ⊂ ℝ at a point x∈ ℝ. In [3] it was proved that