Translation-Invariant Bilinear Operators with Positive Kernels

We study L ^r (or L ^{r, ∞}) boundedness for bilinear translation-invariant operators with nonnegative kernels acting on functions on \mathbb Rⁿ{\mathbb {R}^n}. We prove that if such operators are bounded on some products of Lebesgue spaces, then their kernels must necessarily be integrable functions on \mathbb R²ⁿ{\mathbb R^{2n}}, while via a counterexample we show that the converse statement is not valid. We provide certain necessary and some sufficient conditions on nonnegative kernels yielding boundedness for the corresponding operators on products of Lebesgue spaces. We also prove that, unlike the linear case where boundedness from L ¹ to L ¹ and from L ¹ to L ^{1, ∞} are equivalent properties, boundedness from L ¹ × L ¹ to L ^1/2 and from L ¹ × L ¹ to L ^{1/2, ∞} may not be equivalent properties for bilinear translation-invariant operators with nonnegative kernels.     

Ramadanov conjecture and line bundles over compact Hermitian symmetric spaces

We compute the Szegö kernels of the unit circle bundles of homogeneous negative line bundles over a compact Hermitian symmetric space. We prove that their logarithmic terms vanish in all cases and, further, that the circle bundles are not diffeomorphic to the unit sphere in ${\mathbb C^n}We compute the Szeg? kernels of the unit circle bundles of homogeneous negative line bundles over a compact Hermitian symmetric space. We prove that their logarithmic terms vanish in all cases and, further, that the circle bundles are not diffeomorphic to the unit sphere in \mathbb Cⁿ{\mathbb C^n} for Grassmannian manifolds of higher ranks. In particular, they provide an infinite family of smoothly bounded strictly pseudoconvex domains on complex manifolds for which the logarithmic term in the Fefferman expansion of the Szeg? kernel vanishes but whose boundary is not diffeomorphic to the sphere (in fact, it is not even locally spherical). The analogous results for the Bergman kernel are also obtained.     

On Singular Integral Operators with Rough Kernel Along Surface

In this note we give a simple method to transfer the effect of the surface to the radial function in the kernel of singular integral along surface. Using this idea, we give some continuity of the singular integrals along surface with Hardy space function kernels on some function spaces, such as L^p(\mathbb Rⁿ),L^p(\mathbb Rⁿ,w){L^p({\mathbb R}^n),L^p({\mathbb R}^n,\omega)}, Triebel–Lizorkin spaces [(F)\dot]_p^s,q(\mathbb Rⁿ){{\dot F}_{p}^{s,q}({\mathbb R}^n)}, Besov spaces [(B)\dot]_p^s,q(\mathbb Rⁿ){{\dot B}_{p}^{s,q}({\mathbb R}^n)}, generalized Morrey spaces L^p,f(\mathbb Rⁿ){L^{p,\phi}({\mathbb R}^n)} and Herz spaces [(K)\dot]_p^{a, q}(\mathbb Rⁿ){\dot K_p^{\alpha, q}({\mathbb R}^n)}. Our results improve and extend substantially some known results on the singular integral operators along surface.     

Approximation by M. Riesz Kernels in L p for p<1

Let α > 0. We consider the linear span $\mathfrak{X}_\alpha \left( {\mathbb{R}^n } \right)$ of scalar Riesz's kernels $\left\{ {\tfrac{1}{{\left| {x - a} \right|^\alpha }}} \right\}_{a \in \mathbb{R}^n }$ and the linear span $\mathfrak{Y}_\alpha \left( {\mathbb{R}^n } \right)$ of vector Riesz's kernels $\left\{ {\tfrac{1}{{\left| {x - a} \right|^{\alpha + 1} }}\left( {x - a} \right)} \right\}_{a \in \mathbb{R}^n }$ . We study the following problems. (1) When is the intersection $\mathfrak{X}_\alpha \left( {\mathbb{R}^n } \right) \cap L^p \left( {\mathbb{R}^n } \right)$ dense in L^p(?ⁿ)? (2) When is the intersection $\mathfrak{Y}_\alpha \left( {\mathbb{R}^n } \right) \cap L^p \left( {\mathbb{R}^n ,\mathbb{R}^n } \right)$ dense in L^p(?ⁿ, ?ⁿ)? Bibliography: 15 titles.     

Bicomplex hyperfunctions

In this paper, we consider bicomplex holomorphic functions of several variables in _boxclose C^n{{\mathbb B}{\mathbb C}^n} .We use the sheaf of these functions to define and study hyperfunctions as their relative 3n-cohomology classes. We show that such hyperfunctions are supported by the Euclidean space \mathbb Rⁿ{{\mathbb R}^n} within the bicomplex space \mathbb B\mathbb Cⁿ{{\mathbb B}{\mathbb C}^n}, and we construct an abstract Dolbeault complex that provides a fine resolution for the sheaves of bicomplex holomorphic functions. As a corollary, we show how that the bicomplex hyperfunctions can be represented as classes of differential forms of degree 3n − 1.     

Radon Transform on the Torus

We consider the Radon transform on the (flat) torus \mathbbTⁿ = \mathbbRⁿ/\mathbbZⁿ{\mathbb{T}^{n} = \mathbb{R}^{n}/\mathbb{Z}^n} defined by integrating a function over all closed geodesics. We prove an inversion formula for this transform and we give a characterization of the image of the space of smooth functions on \mathbbTⁿ{\mathbb{T}^{n}} .     

Global parametrices and dispersive estimates for variable coefficient wave equations

In this article we consider variable coefficient time dependent wave equations in \mathbb R ×\mathbb Rⁿ{\mathbb {R} \times \mathbb {R}^n} . Using phase space methods we construct outgoing parametrices and prove Strichartz type estimates globally in time. This is done in the context of C ² metrics which satisfy a weak asymptotic flatness condition at infinity.     

The coherence of complemented ideals in the space of real analytic functions

We characterize when an ideal of the algebra ${A(\mathbb{R}^d)}We characterize when an ideal of the algebra A(\mathbbR^d){A(\mathbb{R}^d)} of real analytic functions on \mathbbR^d{\mathbb{R}^d} which is determined by the germ at \mathbb R^d{\mathbb {R}^d} of a complex analytic set V is complemented under the assumption that either V is homogeneous or V?\mathbbR^d{V\cap \mathbb{R}^d} is compact. The characterization is given in terms of properties of the real singularities of V. In particular, for an arbitrary complex analytic variety V complementedness of the corresponding ideal in A(\mathbbR^d){A(\mathbb{R}^d)} implies that the real part of V is coherent. We also describe the closed ideals of A(\mathbbR^d){A(\mathbb{R}^d)} as sections of coherent sheaves.     

Rectifiability and Lipschitz extensions into the Heisenberg group

Denote by \mathbbHⁿ{\mathbb{H}^n} the 2n + 1 dimensional Heisenberg group. We show that the pairs (\mathbbR^k ,\mathbbHⁿ){(\mathbb{R}^k ,\mathbb{H}^n)} and (\mathbbH^k ,\mathbbHⁿ){(\mathbb{H}^k ,\mathbb{H}^n)} do not have the Lipschitz extension property for k  >  n.     

Congruence-simple subsemirings of ℚ+

Commutative congruence-simple semirings have already been characterized with the exception of the subsemirings of ℝ⁺. Even the class CongSimp(\mathbb Q⁺)\mathit{\mathcal{C}ong\mathcal{S}imp}(\mathbb {Q}^{+}) of all congruence-simple subsemirings of ℚ⁺ has not been classified yet. We introduce a new large class of the congruence-simple saturated subsemirings of ℚ⁺. We classify all the maximal elements of CongSimp(\mathbbQ⁺)\mathit{\mathcal{C}ong\mathcal {S}imp}(\mathbb{Q}^{+}) and show that every element of CongSimp(\mathbbQ⁺)\{\mathbbQ⁺}\mathit{\mathcal{C}ong\mathcal{S}imp}(\mathbb{Q}^{+})\setminus\{\mathbb{Q}^{+}\} is contained in at least one of them.     

Algebraic characterization of isometries of the complex and the quaternionic hyperbolic planes

Let H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} denote the two dimensional hyperbolic space over \mathbb F{\mathbb F} , where \mathbb F{\mathbb F} is either the complex numbers \mathbb C{\mathbb C} or the quaternions \mathbb H{\mathbb H} . It is of interest to characterize algebraically the dynamical types of isometries of H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} . For \mathbb F=\mathbb C{\mathbb F=\mathbb C} , such a characterization is known from the work of Giraud–Goldman. In this paper, we offer an algebraic characterization of isometries of H²_{\mathbb H}{{\bf H}^{\bf 2}_{\mathbb H}} . Our result restricts to the case \mathbb F=\mathbb C{\mathbb F=\mathbb C} and provides another characterization of the isometries of H²_{\mathbb C}{{\bf H}^{\bf 2}_{\mathbb C}} , which is different from the characterization due to Giraud–Goldman. Two elements in a group G are said to be in the same z-class if their centralizers are conjugate in G. The z-classes provide a finite partition of the isometry group. In this paper, we describe the centralizers of isometries of H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} and determine the z-classes.     

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 ℓ^∞.     

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.     

Orthogonal basis for spherical monogenics by step two branching

Spherical monogenics can be regarded as a basic tool for the study of harmonic analysis of the Dirac operator in Euclidean space \mathbb R^m{{\mathbb R}^m}. They play a similar role as spherical harmonics do in case of harmonic analysis of the Laplace operator on \mathbb R^m{{\mathbb R}^m}. Fix the direct sum \mathbb R^m=\mathbb R^p ?\mathbb R^q{{\mathbb R}^m={\mathbb R}^p \oplus {\mathbb R}^q}. In this article, we will study the decomposition of the space M_n(\mathbb R^m, \mathbb C_m){{\mathcal M}_n({\mathbb R}^m, {\mathbb C}_m)} of spherical monogenics of order n under the action of Spin(p) × Spin(q). As a result, we obtain a Spin(p) × Spin(q)-invariant orthonormal basis for M_n(\mathbb R^m, \mathbb C_m){{\mathcal M}_n({\mathbb R}^m, {\mathbb C}_m)}. In particular, using the construction with p = 2 inductively, this yields a new orthonormal basis for the space M_n(\mathbb R^m, \mathbb C_m){{\mathcal M}_n({\mathbb R}^m, {\mathbb C}_m)}.     

An Obstruction to the Existence of Immersed Curves of Prescribed Curvature

We prove in this paper that there exists no immersed closed curve in \mathbb R²{\mathbb R}^2 with curvature increasing in a given direction. This generalizes in the one-dimensional setting a result of the first author for embedded hypersurfaces in \mathbb Rⁿ⁺¹{\mathbb R}^{n+1}.     

Hardy spaces estimates for a class of multilinear homogeneous operators

It is proved that a class of multilinear singular integral operators with homogeneous kernels are bounded operators from the product spaces to the Hardy spacesH ^r , (ℝ ⁿ ) and the weak Hardy spaceH ^r,∞ (ℝ ⁿ . As an application of this result, the L ^p ,(ℝ ⁿ ) boundedness of a class of commutator for the singular integral with homogeneous kernels is obtained. Project supparted in part by the National Natural Science Foundation of Chind (Grant No. 19131080) of China and Doctoral Programme Foundation of Institution of Higher Education (Grant No. 98002703) of China.     

Biharmonic submanifolds of {\mathbb{C}P^n}

We give some general results on proper-biharmonic submanifolds of a complex space form and, in particular, of the complex projective space. These results are mainly concerned with submanifolds with constant mean curvature or parallel mean curvature vector field. We find the relation between the bitension field of the inclusion of a submanifold [`(M)]{\bar{M}} in \mathbbCPⁿ{\mathbb{C}P^n} and the bitension field of the inclusion of the corresponding Hopf-tube in \mathbbS²ⁿ⁺¹{\mathbb{S}^{2n+1}}. Using this relation we produce new families of proper-biharmonic submanifolds of \mathbbCPⁿ{\mathbb{C}P^n}. We study the geometry of biharmonic curves of \mathbbCPⁿ{\mathbb{C}P^n} and we characterize the proper-biharmonic curves in terms of their curvatures and complex torsions.     

A criterion for weak convergence on Berkovich projective space

We give a criterion for the weak convergence of unit Borel measures on the N-dimensional Berkovich projective space P^N_K{{\bf P}^{N}_K} over a complete non-archimedean field K. As an application, we give a sufficient condition for a certain type of equidistribution on P^N_K{{\bf P}^{N}_K} in terms of a weak Zariski-density property on the scheme-theoretic projective space \mathbb P^N_[(K)\tilde]{{\mathbb P}^N_{\tilde{K{}_{\vphantom{0}}}}} over the residue field [(K)\tilde]{\tilde{K}} . As a second application, in the case of residue characteristic zero we give an ergodic-theoretic equidistribution result for the powers of a point a in the N-dimensional unit torus \mathbb T^N_K{{\mathbb T}^N_K} over K. This is a non-archimedean analogue of a well-known result of Weyl over \mathbb C{\mathbb C} , and its proof makes essential use of a theorem of Mordell-Lang type for \mathbb G_m^N{{\mathbb G}_m^N} due to Laurent.     

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).