Integral-type operators from a mixed norm space to a bloch-type space on the unit ball

Let $ \mathbb{B} $ \mathbb{B} be the unit ball in ℂ ⁿ and let H($ \mathbb{B} $ \mathbb{B} ) be the space of all holomorphic functions on $ \mathbb{B} $ \mathbb{B} . We introduce the following integral-type operator on H($ \mathbb{B} $ \mathbb{B} ):

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 ∪ {∞}.     

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.     

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.     

Imaginary powers of a Laguerre differential operator

Imaginary powers associated to the Laguerre differential operator $ L_\alpha = - \Delta + |x|^2 + \sum _{i = 1}^d \frac{1} {{x_i^2 }}(\alpha _i^2 - 1/4) $ L_\alpha = - \Delta + |x|^2 + \sum _{i = 1}^d \frac{1} {{x_i^2 }}(\alpha _i^2 - 1/4) are investigated. It is proved that for every multi-index α = (α₁,...α _d ) such that α _i ≧ −1/2, α _i ∉ (−1/2, 1/2), the imaginary powers $ \mathcal{L}_\alpha ^{ - i\gamma } ,\gamma \in \mathbb{R} $ \mathcal{L}_\alpha ^{ - i\gamma } ,\gamma \in \mathbb{R} , of a self-adjoint extension of L _α, are Calderón-Zygmund operators. Consequently, mapping properties of $ \mathcal{L}_\alpha ^{ - i\gamma } $ \mathcal{L}_\alpha ^{ - i\gamma } follow by the general theory.     

Spaces with fibered approximation property in dimension <Emphasis Type="Italic">n</Emphasis>

A metric space M is said to have the fibered approximation property in dimension n (briefly, M ∈ FAP(n)) if for any ɛ > 0, m ≥ 0 and any map g: $ \mathbb{I} $ \mathbb{I} ^m × $ \mathbb{I} $ \mathbb{I} ⁿ → M there exists a map g′: $ \mathbb{I} $ \mathbb{I} ^m × $ \mathbb{I} $ \mathbb{I} ⁿ → M such that g′ is ɛ-homotopic to g and dim g′ ({z} × $ \mathbb{I} $ \mathbb{I} ⁿ ) ≤ n for all z ∈ $ \mathbb{I} $ \mathbb{I} ^m . The class of spaces having the FAP(n)-property is investigated in this paper. The main theorems are applied to obtain generalizations of some results due to Uspenskij [11] and Tuncali-Valov [10].     

Completely nonmeasurable unions

Assume that no cardinal κ < 2 ^ω is quasi-measurable (κ is quasi-measurable if there exists a κ-additive ideal $ \mathbb{I} $ \mathbb{I} of X contains uncountably many pairwise disjoint subfamilies $ \mathbb{I} $ \mathbb{I} -Bernstein unions ∪ $ \mathbb{I} $ \mathbb{I} -Bernstein if A and X \ A meet each Borel $ \mathbb{I} $ \mathbb{I} -positive subset B ⊆ X). This result is a generalization of the Four Poles Theorem (see [1]) and results from [2] and [4].     

Local limit theorem for the first crossing time of a fixed level by a random walk

Let X,X(1),X(2),... be independent identically distributed random variables with mean zero and a finite variance. Put S(n) = X(1) + ... + X(n), n = 1, 2,..., and define the Markov stopping time η _y = inf {n ≥ 1: S(n) ≥ y} of the first crossing a level y ≥ 0 by the random walk S(n), n = 1, 2,.... In the case $ \mathbb{E} $ \mathbb{E} |X|³ < ∞, the following relation was obtained in [8]: $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) as n → ∞, where the constant R and the bounded sequence ν _n were calculated in an explicit form. Moreover, there were obtained necessary and sufficient conditions for the limit existence $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0, and there was found a representation for H(y). The present paper was motivated by the following reason. In [8], the authors unfortunately did not cite papers [1, 5] where the above-mentioned relations were obtained under weaker restrictions. Namely, it was proved in [5] the existence of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0 under the condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ only; In [1], an explicit form of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) was found under the same condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ in the case when the summand X has an arithmetic distribution. In the present paper, we prove that the main assertion in [5] fails and we correct the original proof. It worth noting that this corrected version was formulated in [8] as a conjecture.     

On equivalences of derived and singular categories

Let X and Y be two smooth Deligne-Mumford stacks and consider a pair of functions f: X → $ \mathbb{A}^1 $ \mathbb{A}^1 , g:Y → $ \mathbb{A}^1 $ \mathbb{A}^1 . Assuming that there exists a complex of sheaves on X × $ \mathbb{A}^1 $ \mathbb{A}^1 Y which induces an equivalence of D ^b (X) and D ^b (Y), we show that there is also an equivalence of the singular derived categories of the fibers f ⁻¹(0) and g ⁻¹(0). We apply this statement in the setting of McKay correspondence, and generalize a theorem of Orlov on the derived category of a Calabi-Yau hypersurface in a weighted projective space, to products of Calabi-Yau hypersurfaces in simplicial toric varieties with nef anticanonical class.     

Linear maps that strongly preserve regular matrices over the Boolean algebra

The set of all m × n Boolean matrices is denoted by $ \mathbb{M} $ \mathbb{M} _m,n . We call a matrix A ∈ $ \mathbb{M} $ \mathbb{M} _m,n regular if there is a matrix G ∈ $ \mathbb{M} $ \mathbb{M} _n,m such that AGA = A. In this paper, we study the problem of characterizing linear operators on $ \mathbb{M} $ \mathbb{M} _m,n that strongly preserve regular matrices. Consequently, we obtain that if min{m, n} ⩽ 2, then all operators on $ \mathbb{M} $ \mathbb{M} _m,n strongly preserve regular matrices, and if min{m, n} ⩾ 3, then an operator T on $ \mathbb{M} $ \mathbb{M} _m,n strongly preserves regular matrices if and only if there are invertible matrices U and V such that T(X) = UXV for all X ε $ \mathbb{M} $ \mathbb{M} _m,n , or m = n and T(X) = UX ^T V for all X ∈ $ \mathbb{M} $ \mathbb{M} _n .     

Bases of exponents in weighted spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(<Emphasis Type="Italic">−π, π</Emphasis>)

The system of exponents $ \left\{ {e^{i\lambda _n t} } \right\}_{n \in \mathbb{Z}} $ \left\{ {e^{i\lambda _n t} } \right\}_{n \in \mathbb{Z}} is considered. A sufficient condition for a Riesz-property basis in the weighted space L ^p (−π, π) is obtained.     

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.     

Operator-Valued Fourier Multipliers on Multi-dimensional Hardy Spaces

The author establishes operator-valued Fourier multiplier theorems on multi-dimensional Hardy spaces H ^p ($ \mathbb{T} $ \mathbb{T} ^d ;X), where 1 ≤ p < ∞, d ∈ ℕ, and X is an AUMD Banach space having the property (α). The sufficient condition on the multiplier is a Marcinkiewicz type condition of order 2 using Rademacher boundedness of sets of bounded linear operators. It is also shown that the assumption that X has the property (α) is necessary when d ≥ 2 even for scalar-valued multipliers. When the underlying Banach space does not have the property (α), a sufficient condition on the multiplier of Marcinkiewicz type of order 2 using a notion of d-Rademacher boundedness is also given.     

Σ-definability of uncountable models of <Emphasis Type="Italic">c</Emphasis>-simple theories

We show that each c-simple theory with an additional discreteness condition has an uncountable model Σ-definable in ℍ$ \mathbb{H} $ \mathbb{H} ($ \mathbb{L} $ \mathbb{L} ), where $ \mathbb{L} $ \mathbb{L} is a dense linear order. From this we establish the same for all c-simple theories of finite signature that are submodel complete.     

Phase portraits for quadratic homogeneous polynomial vector fields on $$ \mathbb{S}^2 $$

Let X be a homogeneous polynomial vector field of degree 2 on $ \mathbb{S}^2 $ \mathbb{S}^2 . We show that if X has at least a non-hyperbolic singularity, then it has no limit cycles. We give necessary and sufficient conditions for determining if a singularity of X on $ \mathbb{S}^2 $ \mathbb{S}^2 is a center and we characterize the global phase portrait of X modulo limit cycles. We also study the Hopf bifurcation of X and we reduce the 16 ^th Hilbert’s problem restricted to this class of polynomial vector fields to the study of two particular families. Moreover, we present two criteria for studying the nonexistence of periodic orbits for homogeneous polynomial vector fields on $ \mathbb{S}^2 $ \mathbb{S}^2 of degree n.     

On additive properties of product sets in an arbitrary finite field

It is proved that for any two subsets A and B of an arbitrary finite field $ \mathbb{F}_q $ \mathbb{F}_q such that |A||B| > q, the identity 10AB = $ \mathbb{F}_q $ \mathbb{F}_q holds. Under the assumption |A||B| ⩾2q, this improves to 8AB = $ \mathbb{F}_q $ \mathbb{F}_q .     

Cardinalities of definable sets in superstructures over models

We introduce the notion of a superstructure over a model. This is a generalization of the notion of the hereditarily finite superstructure ℍ$ \mathbb{F}\mathfrak{M} $ \mathbb{F}\mathfrak{M} over a model $ \mathfrak{M} $ \mathfrak{M} . We consider the question on cardinalities of definable (interpretable) sets in superstructures over λ-homogeneous and λ-saturated models.