Polya's inequalities, global uniform integrability and the size of plurisubharmonic lemniscates

First we prove a new inequality comparing uniformly the relative volume of a Borel subset with respect to any given complex euclidean ballB⊂C ⁿ with its relative logarithmic capacity inC ⁿ with respect to the same ballB. An analogous comparison inequality for Borel subsets of euclidean balls of any generic real subspace ofC ⁿ is also proved. Then we give several interesting applications of these inequalities. First we obtain sharp uniform estimates on the relative size of plurisubharmonic lemniscates associated to the Lelong class of plurisubharmonic functions of logarithmic singularities at infinity onC ⁿ as well as the Cegrell class of plurisubharmonic functions of bounded Monge-Ampère mass on a hyperconvex domain Ω⊂(C ⁿ . Then we also deduce new results on the global behaviour of both the Lelong class and the Cegrell class of plurisubharmonic functions. This work was partially supported by the programmes PARS MI 07 and AI.MA 180.     

Holomorphic convexity and Carleman approximation by entire functions on Stein manifolds

We give necessary and sufficient conditions for totally real sets in Stein manifolds to admit Carleman approximation of class C^k{\mathcal C^k}, k ≥ 1, by entire functions.     

Shcherbina’s theorem for finely holomorphic functions

We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets ${K\subset\mathbb{C}}We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets K ì \mathbbC{K\subset\mathbb{C}}. If the graph Γ _f (K) is pluripolar, then \frac?f?[`(z)]=0{\frac{\partial f}{\partial\bar z}=0} in the closure of the fine interior of K.     

Recurrent real hypersurfaces in complex two-plane Grassmannians

Summary We introduce the notion of recurrent shape operator for a real hypersurface M in the complex two-plane Grassmannians G₂(C^m+2) and give a non-existence property of real hypersurfaces in G₂(C^m+2) with the recurrent shape operator.     

Real Hypersurfaces in Complex Two-Plane Grassmannians

 The complex two-plane Grassmannian G ₂(C ^m+2 in equipped with both a K?hler and a quaternionic K?hler structure. By applying these two structures to the normal bundle of a real hypersurface M in G ₂(C ^m+2 one gets a one- and a three-dimensional distribution on M. We classify all real hypersurfaces M in G ₂ C ^m+2 , m≥3, for which these two distributions are invariant under the shape operator of M. Received 13 November 1996; in revised form 3 March 1997     

Bernuau Spline Wavelets and Sturmian Sequences

We present spline wavelets of class Cⁿ(R) supported by sequences of aperiodic discretizations of R. The construction is based on multiresolution analysis recently elaborated by G. Bernuau. At a given scale, we consider discretizations that are sets of left-hand ends of tiles in a self-similar tiling of the real line with finite local complexity. Corresponding tilings are determined by two-letter Sturmian substitution sequences. We illustrate the construction with examples having quadratic Pisot–Vijayaraghavan units (like = (1+\sqr{5})/2 or ² = (3+\sqr{5})/2) as scaling factor. In particular, we present a comprehensive analysis of the Fibonacci chain and give the analytic form of related scaling functions and wavelets. We also give some hints for the construction of multidimensional spline wavelets based on stone-inflation tilings in arbitrary dimension.     

Pluripolarity of sets with small Hausdorff measure

We show that any set E⊂C ⁿ , n≥ 2, with finite Hausdorff measure? is pluripolar. The result is sharp with respect to the measuring function. The new idea in the proof is to combine a construction from potential theory, related to the real variational integral , , with properties of the pluricomplex relative extremal function for the Bedford–Taylor capacity. Received: 20 May 1999     

Some totally real embeddings of three-manifolds

LetV be a complex hypersurface in an open subset of ³, and letM be a smooth compact real hypersurface inV. Using a theorem of Gromov we prove that there exist small C¹ perturbations ofM in ³ such that is a totally real submanifold of ³. As a consequence we show that certain quotients of the three-sphere admit totally real embeddings into ³. In some special cases including the real projective three-space we find explicit totally real embeddings into ³. Our construction is similar to that of Ahern and Rudin who found a totally real embedding of the three-sphere into ³.Research supported by a fellowship from the Alfred P. Sloan foundation     

Linking Class of Lagrangian or Totally Real Embeddings

Given a totally real embedding j of the 2-torus into ², one defines a 1-class ₁ – its linking class – which is a tool to detect arcwise connected components of the space of totally real embeddings EmbTr( , ²). We generalize the construction of the linking class to any totally real embedding j of a connected, oriented, compact manifold without boundary M ⁿ into ⁿ. We obtain an (n – 1)-class _{n– 1} which is still an invariant for isotopy classes of totally real embeddings. We show that this class is nontrivial by computing it for some families of totally real embeddings. We then study the relationship between isotopy classes of ordinary embeddings and the linking class. With additional assumptions on M ⁿ (n 4 and M ⁿ parallelizable) we obtain the following: two totally real embeddings of M ⁿ into ⁿ which belong to the same isotopy class of totally real immersion, belong to the same isotopy class of ordinary embedding if and only if (1) their linking classes are the same (if n odd); (2) the images of their linking classes by the coefficient homomorphism : H ^{n– 1} (M ⁿ , ) H ^{n– 1} (M ⁿ , ₂) are the same (if n even).     

Defect and evaluations

Let S be a generic submanifold of C ^N of real codimension m. In this paper we continue the study, carried over by various authors, of the set of analytic discs attached to S. Moreover, we look at the subspaces of C ^N obtained by evaluating at given points, holomorphic maps which are infinitesimal deformations of analytic discs attached to S.     

Pyramids in the complex projective plane

We study the critical points of the diameter functional on the n-fold Cartesian product of the complex projective plane C P ² with the Fubini-Study metric. Such critical points arise in the calculation of a metric invariant called the filling radius, and are akin to the critical points of the distance function. We study a special family of such critical points, P _kC P ¹C P ², k=1,2... We show that P _k is a local minimum of by verifying the positivity of the Hessian of (a smooth approximation to) at P _k. For this purpose, we use Shirokov's law of cosines and the holonomy of the normal bundle of C P ¹C P ². We also exhibit a critical point of , given by a subset which is not contained in any totally geodesic submanifold of C P ².     

A rigidity theorem for the pair ${\cal q}{\Bbb C} P^n$ (complex hyperquadric, complex projective space)

Given a compact Kähler manifold M of real dimension 2n, let P be either a compact complex hypersurface of M or a compact totally real submanifold of dimension n. Let q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n) be the complex hyperquadric (resp. the totally geodesic real projective space) in the complex projective space \Bbb C Pⁿ{\Bbb C} P^n of constant holomorphic sectional curvature 4l \lambda . We prove that if the Ricci and some (n-1)-Ricci curvatures of M (and, when P is complex, the mean absolute curvature of P) are bounded from below by some special constants and volume (P) / volume (M) ￡\leq volume (q\cal q)/ volume (\Bbb C Pⁿ)({\Bbb C} P^n) (resp. ￡\leq volume (\Bbb R Pⁿ)({\Bbb R} P^n) / volume (\Bbb C Pⁿ)({\Bbb C} P^n)), then there is a holomorphic isometry between M and \Bbb C Pⁿ{\Bbb C} P^n taking P isometrically onto q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n). We also classify the Kähler manifolds with boundary which are tubes of radius r around totally real and totally geodesic submanifolds of half dimension, have the holomorphic sectional and some (n-1)-Ricci curvatures bounded from below by those of the tube \Bbb R Pⁿ_r{\Bbb R} P^n_r of radius r around \Bbb R Pⁿ{\Bbb R} P^n in \Bbb C Pⁿ{\Bbb C} P^n and have the first Dirichlet eigenvalue not lower than that of \Bbb R Pⁿ_r{\Bbb R} P^n_r.     

Density of algebras generated by Toeplitz operators on Bergman spaces

In this paper it is shown that Toeplitz operators on Bergman space form a dense subset of the space of all bounded linear operators, in the strong operator topology, and that their norm closure contains all compact operators. Further, theC ^*-algebra generated by them does not contain all bounded operators, since all Toeplitz operators belong to the essential commutant of certain shift. The result holds in Bergman spacesA ²(Ω) for a wide class of plane domains Ω⊂C, and in Fock spacesA ²(C ^N),N≧1.     

Conditions for a diffeomorghism to be embedded in aC r flow

We will consider aC ^r diffeomorphism of the real lineR, and give a necessary and sufficient condition for aC ^r diffeomorphism ofR to be embedded (uniquely) in aC ^r flow. As an application, we do the same for diffeomorphisms of the circleS ¹ and a class of analytic diffeomorphisms of the planeR ².     

Function algebras on disks II

This work is a continuation of [7]. In that paper, a sufficient condition was given on a real analytic fmlction g defined near 0 in C so that the algebra generated by z² and g² is dense in the space of continuous functions on D for all disks D close enough to the origin in C. By using the same methods and some ideas taken from the first named author's thesis we deal with the case where g is only of class C¹ near 0.     

On Ricci curvature ofC-totally real submanifolds in Sasakian space forms

LetM ⁿ be a Riemanniann-manifold. Denote byS(p) and Ric(p) the Ricci tensor and the maximum Ricci curvature onM _n, respectively. In this paper we prove that everyC-totally real submanifold of a Sasakian space formM ^2m+1(c) satisfies , whereH ² andg are the square mean curvature function and metric tensor onM ⁿ, respectively. The equality holds identically if and only if eitherM ⁿ is totally geodesic submanifold or n = 2 andM ⁿ is totally umbilical submanifold. Also we show that if aC-totally real submanifoldM ⁿ ofM ²ⁿ⁺¹ (c) satisfies identically, then it is minimal.     

On Landis’ Conjecture in the Plane

In this paper we prove a quantitative form of Landis’ conjecture in the plane. Precisely, let W(z) be a measurable real vector-valued function and V(z) ≥0 be a real measurable scalar function, satisfying ‖W‖ _{L ^∞(R ²)} ≤ 1 and ‖V‖ _{L ^∞(R ²)} ≤ 1. Let u be a real solution of Δu ? ?(Wu) ? Vu = 0 in R ². Assume that u(0) = 1 and |u(z)| ≤exp (C ₀|z|). Then u satisfies inf _{|z 0| =R}  sup _{|z?z 0| <1}|u(z)| ≥exp (?CRlog R), where C depends on C ₀. In addition to the case of the whole plane, we also establish a quantitative form of Landis’ conjecture defined in an exterior domain.     

Actions of Borel Subgroups on Homogeneous Spaces of Reductive Complex Lie Groups and Integrability

Let G be a real reductive Lie group, K its compact subgroup. Let A be the algebra of G-invariant real-analytic functions on T ^*(G/K) (with respect to the Poisson bracket) and let C be the center of A. Denote by 2(G,K) the maximal number of functionally independent functions from A\C. We prove that (G,K) is equal to the codimension (G,K) of maximal dimension orbits of the Borel subgroup BG ^C in the complex algebraic variety G ^C/K ^C. Moreover, if (G,K)=1, then all G-invariant Hamiltonian systems on T ^*(G/K) are integrable in the class of the integrals generated by the symmetry group G. We also discuss related questions in the geometry of the Borel group action.