SOME NEW PROPERTIES ON L^p（Ω, H^n）

Let L^p（Ω, H^n） indicate the L^P-space of the maps for Heisenberg group target. In this paper some new properties are obtained for the space L^p（Ω, H^n）     

Semiclassical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Estimates of Quasimodes on Curved Hypersurfaces

Let M be a compact manifold of dimension n, P=P(h) a semiclassical pseudodifferential operator on M, and u=u(h) an L ² normalized family of functions such that P(h)u(h) is O(h) in L ²(M) as h↓0. Let H⊂M be a compact submanifold of M. In a previous article, the second-named author proved estimates on the L ^p norms, p≥2, of u restricted to H, under the assumption that the u are semiclassically localized and under some natural structural assumptions about the principal symbol of P. These estimates are of the form Ch ^−δ(n,k,p) where k=dim H (except for a logarithmic divergence in the case k=n−2, p=2). When H is a hypersurface, i.e., k=n−1, we have δ(n,n−1, 2)=1/4, which is sharp when M is the round n-sphere and H is an equator.     

On the parity of the class number of an imaginary abelian field of conductor 2<Superscript><Emphasis Type="Italic">a</Emphasis></Superscript><Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">b</Emphasis></Superscript>

Let p be an odd prime number, and p^n₀{p^{n_0}} the highest power of p dividing 2 ^p−1 − 1. Let K_n=Q(z_pⁿ⁺¹){K_n={\bf Q}(\zeta_{p^{n+1}})} and L_n,j=K_n⁺(z_2^j+2){L_{n,j}=K_n^+(\zeta_{2^{j+2}})} for j ≥ 0. Let h_n^*{h_n^*} be the relative class number of K _n , and h _n,j the class number of L _n,j , respectively. Let n be an integer with n ≥ n ₀. We prove that if the ratio h_n^*/h_n-1^*{h_n^*/h_{n-1}^*} is odd, then h _n,j /h _n−1,j is odd for any j ≥ 0.     

WEAK TYPE（H^1 ,L^1） ESTIMATE FOR COMMUTATOR OF MARCINKIEWICZ INTEGRAL

Let μΩ,b be the commutator generalized by the n-dimensional Marcinkiewicz integral μΩ and a function b∈ BMO（R^n）. It is proved that μΩ,bis bounded from the Hardy space H^1 （R^n） into the weak L^1（R^n） space.     

SPACELIKE SUBMANIFOLDS IN THE DE SITTER SPACE Sp^（n＋p）（c）WITH CONSTANT SCALAR CURVATURE

Let M^n be a closed spacelike submanifold isometrically immersed in de Sitter space Sp^(n p)(c)， Denote by R,H and S the normalized scalar curvature,the mean curvature and the square of the length of the second fundamental form of M^n ,respectively. Suppose R is constant and R≤c. The pinching problem on S is studied and a rigidity theorem for M^n immersed in Sp^(n p)(c) with parallel normalized mean curvature vector field is proved. When n≥3, the pinching constant is the best. Thus, the mistake of the paper “Space-like hypersurfaces in de Sitter space with constant scalar curvature”(see Manus Math, 1998,95 :499-505) is corrected. Moreover,the reduction of the codimension when M^n is a complete submanifold in Sp^(n p)(c) with parallel normalized mean curvature vector field is investigated.     

The complexity and depth of Boolean circuits for multiplication and inversion in some fields <Emphasis Type="Italic">GF</Emphasis>(2<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

Let n = (p − 1) · p ^k , where p is a prime number such that 2 is a primitive root modulo p, and 2 ^p−1 − 1 is not a multiple of p ². For a standard basis of the field GF(2 ⁿ ), a multiplier of complexity O(log log p)n log n log log _p n and an inverter of complexity O(log p log log p)n log n log log _p n are constructed. In particular, in the case p = 3 the upper bound

Some Elements of Finite Order in K2Q

Let K2 be the Milnor functor and let Фn （x）∈ Q[X] be the n-th cyclotomic polynomial. Let Gn（Q） denote a subset consisting of elements of the form {a, Фn（a）}, where a ∈ Q^＊ and {, } denotes the Steinberg symbol in K2Q. J. Browkin proved that Gn（Q） is a subgroup of K2Q if n = 1,2, 3, 4 or 6 and conjectured that Gn（Q） is not a group for any other values of n. This conjecture was confirmed for n =2^T 3S or n = p^r, where p ≥ 5 is a prime number such that h（Q（ζp）） is not divisible by p. In this paper we confirm the conjecture for some n, where n is not of the above forms, more precisely, for n = 15, 21,33, 35, 60 or 105.     

Geodesic loops and periodic geodesics on a Riemannian manifold diffeomorphic to <Emphasis Type="Italic">S</Emphasis><Superscript>3</Superscript>

Let M ⁿ be a closed 2-connected Riemannian manifold, such that π₃(M ⁿ ) ≠ { 0 }. In this paper we prove that either there exists a periodic geodesic on M ⁿ of length ≤ 6d, where d is the diameter of M ⁿ , or at each point p ∈ M ⁿ there exists a geodesic loop of length ≤ 2d.     

Estimates of Distances Between Sums of the Spaces ℓ<Stack><Subscript>n</Subscript><Superscript>p</Superscript></Stack>. II

We study classical, modified, and weak Banach-Mazur distances between sums of the spaces ℓ _n ^p . We calculate explicitly the classical and weak Banach-Mazur distances between sums of the spaces ℓ _n ^p and obtain bounds for ratios of distances between sums of the spaces ℓ _n ^p . Bibliography: 14 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 303, 2003, pp. 203–217.     

A generalization of Hardy spaces <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> by using atoms

Let X = （X, d,μ） The purpose of this paper is to be a space of homogeneous type in the sense of Coifman and Weiss. generalize the definition of Hardy space H^P（X） and prove that the generalized Hardy spaces have the same property as H^P（X）. Our definition includes a kind of Hardy- Orlicz spaces and a kind of Hardy spaces with variable exponent. The results are new even for the R^n case. Let （X, δ, μ） be the normalized space of （X, d, μ） in the sense of Macias and Segovia. We also study the relations of our function spaces for （X, d, μ） and （X, δ,μ）.     

On the value distribution of <Emphasis Type="Italic">ƒ</Emphasis> + <Emphasis Type="Italic">a</Emphasis>(<Emphasis Type="Italic">ƒ</Emphasis>′)<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let ƒ be a transcendental meromorphic function, a a nonzero finite complex number, and n ⩾ 2 a positive integer. Then ƒ + a(ƒ′) ⁿ assumes every complex value infinitely often. This answers a question of Ye for n = 2. A related normality criterion is also given. This work was supported by the National Natural Science Foundation of China (Grant No. 10771076), the Natural Science Foundation of Guangdong Province, China (Grant No. 07006700) and by the German-Israeli Foundation for Scientific Research and Development (Grant No. G-809-234.6/2003)     

Littlewood–Paley theorem on spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)</Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We point out that if the Hardy–Littlewood maximal operator is bounded on the space L ^p(t)(ℝ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ, then the well-known characterization of the spaces L ^p (ℝ), 1 < p < ∞, by the Littlewood–Paley theory extends to the space L ^p(t)(ℝ). We show that, for n > 1 , the Littlewood–Paley operator is bounded on L ^p(t) (ℝ ⁿ ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ ⁿ , if and only if p(t) = const. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1709–1715, December, 2008.     

On Levi-flat hypersurfaces with given boundary in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let S ⊂ ℂ ⁿ be a compact connected 2-codimensional submanifold. If n ⩾ 3, essentially local conditions and the assumption: every complex point of S is elliptic imply the existence of a projection in ℂ ⁿ of a Levi-flat (2n−1)-subvariety whose boundary is S (Dolbeault, Tomassini, Zaitsev, 2005). We extend the result when S is homeomorphic to a sphere and has one hyperbolic point. For n = 2 many results are known since the 1980’s and a new result with a very technical hypothesis is announced. Dedicated to Professor LU QiKeng on the occasion of his 80th birthday     

Generating Random Vectors in (ℤ/<Emphasis Type="Italic">p</Emphasis>ℤ)<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript> via an Affine Random Process

This paper considers some random processes of the form X _n+1=T X _n +B _n (mod p) where B _n and X _n are random variables over (ℤ/pℤ) ^d and T is a fixed d×d integer matrix which is invertible over the complex numbers. For a particular distribution for B _n , this paper improves results of Asci to show that if T has no complex eigenvalues of length 1, then for integers p relatively prime to det (T), order (log p)² steps suffice to make X _n close to uniformly distributed where X ₀ is the zero vector. This paper also shows that if T has a complex eigenvalue which is a root of unity, then order p ^b steps are needed for X _n to get close to uniformly distributed for some positive value b≤2 which may depend on T and X ₀ is the zero vector.     

A Noncommutative Version of <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and Characterizations of Subdiagonal Algebras

Let M{\mathcal M} be a σ-finite von Neumann algebra and \mathfrak A{\mathfrak A} a maximal subdiagonal algebra of M{\mathcal M} with respect to a faithful normal conditional expectation F{\Phi} . Based on Haagerup’s noncommutative L ^p space L^p(M){L^p(\mathcal M)} associated with M{\mathcal M} , we give a noncommutative version of H ^p space relative to \mathfrak A{\mathfrak A} . If h ₀ is the image of a faithful normal state j{\varphi} in L¹(M){L^1(\mathcal M)} such that j°F = j{\varphi\circ \Phi=\varphi} , then it is shown that the closure of {\mathfrak Ah₀^\frac1p}{\{\mathfrak Ah_0^{\frac1p}\}} in L^p(M){L^p(\mathcal M)} for 1 ≤ p < ∞ is independent of the choice of the state preserving F{\Phi} . Moreover, several characterizations for a subalgebra of the von Neumann algebra M{\mathcal M} to be a maximal subdiagonal algebra are given.     

Analytic continuation of holomorphic correspondences and equivalence of domains in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

The following result is proved: Let D and D′ be bounded domains in ℂ ⁿ , ∂D is smooth, real-analytic, simply connected, and ∂D′ is connected, smooth, real-algebraic. Then there exists a proper holomorphic correspondence f:D→D′ if and only if there exist points p∈∂D and p′∈∂D′, such that ∂D and ∂D′ are locally CR-equivalent near p and p′. This leads to a characterization of the equivalence relationship between bounded domains in ℂ ⁿ modulo proper holomorphic correspondences in terms of local CR-equivalence of their boundaries. Oblatum 23-I-2002 & 18-XI-2002?Published online: 17 February 2003     

Approximation by K-finite functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

Let Γ ⊂ ℝⁿ, n ≥ 2, be the boundary of a bounded domain. We prove that the translates by elements of Γ of functions which transform according to a fixed irreducible representation of the orthogonal group form a dense class in L ^p (ℝⁿ) for . A similar problem for noncompact symmetric spaces of rank one is also considered. We also study the connection of the above problem with the injectivity sets for weighted spherical mean operators. The first author was supported in part by a grant from UGC via DSA-SAP Phase IV.     

On the nonabelian tensor square and capability of groups of order <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript><Emphasis Type="Italic">q</Emphasis>

A group G is said to be capable if it is isomorphic to the central factor group H/Z(H) for some group H. Let G be a nonabelian group of order p ² q for distinct primes p and q. In this paper, we compute the nonabelian tensor square of the group G. It is also shown that G is capable if and only if either Z(G) = 1 or p < q and G^ab=\mathbbZ_p×\mathbbZ_p{G^{\rm ab}=\mathbb{Z}_{p}\times\mathbb{Z}_{p}} .