Totally real minimal 2-spheres in quaternionic projective space

Let HPn be the quaternionic projective space with constant quaternionic sectional curvature 4. Then locally there exists a tripe {I, J, K} of complex structures on HPn satisfying U = -JI = K,JK = -KJ = /, KI = -IK = J. A surface M(？) HPn is called totally real, if at each point p ∈M the tangent plane TPM is perpendicular to I(TPM), J(TPM) and K(TPM). It is known that any surface M(？)RPn(？) HPn is totally real, where RPn (?) HPn is the standard embedding of real projective space in HPn induced by the inclusion R in H, and that there are totally real surfaces in HPn which don't come from this way. In this paper we show that any totally real minimal 2-sphere in HPn is isometric to a full minimal 2-sphere in Rp2m (？) RPn(？) HPn with 2m≤n. As a consequence we show that the Veronese sequences in KP2m (m≥1) are the only totally real minimal 2-spheres with constant curvature in the quaternionic projective space.     

A Hilbert-type theorem for spacelike surfaces with constant Gaussian curvature in ℍ<Superscript>2</Superscript> × ℝ<Subscript>1</Subscript>

There are examples of complete spacelike surfaces in the Lorentzian product ℍ² × ℝ₁ with constant Gaussian curvature K ≤ −1. In this paper, we show that there exists no complete spacelike surface in ℍ² × ℝ₁ with constant Gaussian curvature K > −1.     

A solution to the lower dimensional Busemann-Petty problem in the hyperbolic space

The lower dimensional Busemann-Petty problem asks whether origin symmetric convex bodies in ℝⁿ with smaller volume of all k-dimensional sections necessarily have smaller volume. As proved by Bourgain and Zhang, the answer to this question is negative if k>3. The problem is still open for k = 2, 3. In this article we formulate and completely solve the lower dimensional Busemann-Petty problem in the hyperbolic space ℍⁿ.     

Cantor set and interpolation

In 1998, Y. Benyamini published interesting results concerning interpolation of sequences using continuous functions ℝ → ℝ. In particular, he proved that there exists a continuous function ℝ → ℝ which in some sense “interpolates” all sequences (x _n ) _n∈ℤ ∈ [0, 1]^ℤ “simultaneously.” In 2005, M.R. Naulin and C. Uzcátegui unified and generalized Benyamini’s results. In this paper, the case of topological spaces X and Y with an Abelian group acting on X is considered. A similar problem of “simultaneous interpolation” of all “generalized sequences” using continuous mappings X → Y is posed. Further generalizations of Naulin-Uncátegui theorems, in particular, multidimensional analogues of Benyamini’s results are obtained.     

On the isoperimetric problem in the Heisenberg group ℍ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

It has been recently conjectured that, in the context of the Heisenberg group ℍⁿ endowed with its Carnot–Carathéodory metric and Haar measure, the isoperimetric sets (i.e., minimizers of the ℍ-perimeter among sets of constant Haar measure) could coincide with the solutions to a “restricted” isoperimetric problem within the class of sets having finite perimeter, smooth boundary, and cylindrical symmetry. In this paper, we derive new properties of these restricted isoperimetric sets, which we call Heisenberg bubbles. In particular, we show that their boundary has constant mean ℍ-curvature and, quite surprisingly, that it is foliated by the family of minimal geodesics connecting two special points. In view of a possible strategy for proving that Heisenberg bubbles are actually isoperimetric among the whole class of measurable subsets of ℍⁿ, we turn our attention to the relationship between volume, perimeter, and ε-enlargements. In particular, we prove a Brunn–Minkowski inequality with topological exponent as well as the fact that the ℍ-perimeter of a bounded, open set F⊂ℍⁿ of class C² can be computed via a generalized Minkowski content, defined by means of any bounded set whose horizontal projection is the 2n-dimensional unit disc. Some consequences of these properties are discussed. Mathematics Subject Classification (2000) 28A75, 22E25, 49Q20     

On the Equicontinuity Region of Discrete Subgroups of <Emphasis Type="Italic">PU</Emphasis>(1,<Emphasis Type="Italic">n</Emphasis>)

Let G be a discrete subgroup of PU(1,n). Then G acts on ℙ_ℂ ⁿ preserving the unit ball ℍ_ℂ ⁿ , where it acts by isometries with respect to the Bergman metric. In this work we look at its action on all of ℙ_ℂ ⁿ and determine its equicontinuity region Eq(G). This turns out to be the complement of the union of all complex projective hyperplanes in ℙ_ℂ ⁿ which are tangent to ∂ℍ_ℂ ⁿ at points in the Chen-Greenberg limit set Λ(G), a closed G-invariant subset of ∂ℍ_ℂ ⁿ which is minimal for non-elementary groups. We also prove that the action on Eq(G) is discontinuous. Also , if the limit set is “sufficiently general” (i.e. it is not contained in any proper k -chain), then each connected component of Eq(G) is a holomorphy domain and it is a complete Kobayashi hyperbolic space.     

On the existence of harmonic morphisms from symmetric spaces of rank one

Summary In this paper we give a unified framework for constructing harmonic morphisms from the irreducible Riemannian symmetric spaces ℍH ⁿ, ℂH ⁿ, ℝH ² _t+1, ℍP ⁿ, ℂP ⁿ and ℝP ²ⁿ⁺¹ of rank one. Using this we give a positive answer to the global existence problem for the non-compact hyperbolic cases. This work was supported by The Swedish Natural Science Research Council. This article was processed by the author using the LATEX style filecljour1 from Springer-Verlag.     

Constant angle surfaces in ℍ<Superscript>2</Superscript> × ℝ

We classify all surfaces in ℍ² × ℝ for which the unit normal makes a constant angle with the ℝ-direction. Here ℍ² is the hyperbolic plane. The author was supported by grants CEEX ET 5883/2006-2008 and PNII ID_ 398/2007-2010 ANCS (Romania).     

A criterion for the unique determination of domains in Euclidean spaces by the metrics of their boundaries induced by the intrinsic metrics of the domains

We say that a domain U ⊂ ℝ ⁿ is uniquely determined by the relative metric (which is the extension by continuity of the intrinsic metric of the domain on its boundary) of its Hausdorff boundary if any domain V ⊂ ℝ ⁿ such that its Hausdorff boundary is isometric in the relative metric to the Hausdorff boundary of U, is isometric to U in the Euclidean metric. In this paper, we obtain the necessary and sufficient conditions for the uniqueness of determination of a domain by the relative metric of its Hausdorff boundary.     

Cobordism independence of Grassmann manifolds

This note proves that, forF = ℝ, ℂ or ℍ, the bordism classes of all non-bounding Grassmannian manifoldsG _k(F ^n+k), withk <n and having real dimensiond, constitute a linearly independent set in the unoriented bordism group N _d regarded as a ℤ₂-vector space.     

Some simple Haar-type wavelets in higher dimensions

An orthonormal wavelet system in ℝ^d, d ∈ ℕ, is a countable collection of functions {ψ _j,k ^ℓ }, j ∈ ℤ, k ∈ ℤ^d, ℓ = 1,..., L, of the form that is an orthonormal basis for L² (ℝ^d), where a ∈ GL_d (ℝ) is an expanding matrix. The first such system to be discovered (almost 100 years ago) is the Haar system for which L = d = 1, ψ¹(x) = ψ(x) = κ[0,1/2)^(x) − κ_[l/2,1) ^(x), a = 2. It is a natural problem to extend these systems to higher dimensions. A simple solution is found by taking appropriate products Φ(x₁, x₂, ..., x_d) = φ₁ (x₁)φ₂(x₂) ... φ_d(x_d) of functions of one variable. The obtained wavelet system is not always convenient for applications. It is desirable to find “nonseparable” examples. One encounters certain difficulties, however, when one tries to construct such MRA wavelet systems. For example, if a = ( _1-1 ^{1 1} ) is the quincunx dilation matrix, it is well-known (see, e.g., [5]) that one can construct nonseparable Haar-type scaling functions which are characteristic functions of rather complicated fractal-like compact sets. In this work we shall construct considerably simpler Haar-type wavelets if we use the ideas arising from “composite dilation” wavelets. These were developed in [7] and involve dilations by matrices that are products of the form a^jb, j ∈ ℤ, where a ∈ GL_d(ℝ) has some “expanding” property and b belongs to a group of matrices in GL_d(ℝ) having |det b| = 1.     

Generalized low pass filters and MRA frame wavelets

A tight frame wavelet ψ is an L ²(ℝ) function such that {ψ jk(x)} = {2^j/2 ψ(2 ^j x −k), j, k ∈ ℤ},is a tight frame for L ² (ℝ).We introduce a class of “generalized low pass filters” that allows us to define (and construct) the subclass of MRA tight frame wavelets. This leads us to an associated class of “generalized scaling functions” that are not necessarily obtained from a multiresolution analysis. We study several properties of these classes of “generalized” wavelets, scaling functions and filters (such as their multipliers and their connectivity). We also compare our approach with those recently obtained by other authors.     

Rotationally invariant hypersurfaces with constant mean curvature in the Heisenberg group ℍ n

In this article we study sets in the (2n + 1)-dimensional Heisenberg group ℍ ⁿ which are critical points, under a volume constraint, of the sub-Riemannian perimeter associated to the distribution of horizontal vector fields in ℍ ⁿ .We define a notion of mean curvature for hypersurfaces and we show that the boundary of a stationary set is a constant mean curvature (CMC) hypersurface. Our definition coincides with previous ones. Our main result describes which are the CMC hypersurfaces of revolution in ℍ ⁿ .The fact that such a hypersurface is invariant under a compact group of rotations allows us to reduce the CMC partial differential equation to a system of ordinary differential equations. The analysis of the solutions leads us to establish a counterpart in the Heisenberg group of the Delaunay classification of constant mean curvature hypersurfaces of revolution in the Euclidean space. Hence, we classify the rotationally invariant isoperimetric sets in ℍ ⁿ .     

Constant angle surfaces in the Heisenberg group

In this article we extend the notion of constant angle surfaces in $ \mathbb{S}^2 $ \mathbb{S}^2 × ℝ and ℍ² × ℝ to general Bianchi-Cartan-Vranceanu spaces. We show that these surfaces have constant Gaussian curvature and we give a complete local classification in the Heisenberg group.     

Weak helix submanifolds of euclidean spaces

Let M⊂ℝ ⁿ be a submanifold of a euclidean space. A vector d∈ℝ ⁿ is called a helix direction of M if the angle between d and any tangent space T _p M is constant. Let ℋ(M) be the set of helix directions of M. If the set ℋ(M) contains r linearly independent vectors we say that M is a weak r-helix. We say that M is a strong r-helix if ℋ(M) is a r-dimensional linear subspace of ℝ ⁿ . For curves and hypersurfaces both definitions agree. The object of this article is to show that these definitions are not equivalent. Namely, we construct (non strong) weak 2-helix surfaces of ℝ⁴. The author is supported by the Project M.I.U.R. “Riemann Metrics and Differentiable Manifolds” and by G.N.S.A.G.A. of I.N.d.A.M., Italy.     

Weak-type Endpoint Estimates for Multilinear Singular Integral Operators

In this paper, the authors discuss a class of multilinear singular integrals and obtain that the operators are bounded from H^1(R^n) to weak L^1(R^n). Using this result, we can directly prove a main theorem in [5].     

Expectation of intrinsic volumes of random polytopes

Let K be a convex body in ℝ ^d , let j ∈ {1, …, d−1}, and let K(n) be the convex hull of n points chosen randomly, independently and uniformly from K. If ∂K is C ₊², then an asymptotic formula is known due to M. Reitzner (and due to I. Bárány if ∂K is C ₊³) for the difference of the jth intrinsic volume of K and the expectation of the jth intrinsic volume of K(n). We extend this formula to the case when the only condition on K is that a ball rolls freely inside K. Funded by the Marie-Curie Research Training Network “Phenomena in High-Dimensions” (MRTN-CT-2004-511953).     

A unified characterization of reproducing systems generated by a finite family,II

By a “reproducing” method forH =L ²(ℝ ⁿ ) we mean the use of two countable families {e _α : α ∈A}, {f _α : α ∈A}, inH, so that the first “analyzes” a function h ∈H by forming the inner products {<h,e _α >: α ∈A} and the second “reconstructs” h from this information:h = Σα∈A <h,e _α >:f _α. A variety of such systems have been used successfully in both pure and applied mathematics. They have the following feature in common: they are generated by a single or a finite collection of functions by applying to the generators two countable families of operators that consist of two of the following three actions: dilations, modulations, and translations. The Gabor systems, for example, involve a countable collection of modulations and translations; the affine systems (that produce a variety of wavelets) involve translations and dilations. A considerable amount of research has been conducted in order to characterize those generators of such systems. In this article we establish a result that “unifies” all of these characterizations by means of a relatively simple system of equalities. Such unification has been presented in a work by one of the authors. One of the novelties here is the use of a different approach that provides us with a considerably more general class of such reproducing systems; for example, in the affine case, we need not to restrict the dilation matrices to ones that preserve the integer lattice and are expanding on ℝ ⁿ . Another novelty is a detailed analysis, in the case of affine and quasi-affine systems, of the characterizing equations for different kinds of dilation matrices.     

The classification of complete orientable 2-dimensional area-minimizing mod 2 surfaces in ℝn

Let S ⊂ ℝⁿ be a complete 2-dimensional areaminimizing mod 2 surface. Then S = x₁ (M₁) ∪ … ∪ x_r (M_r) where each M_j is connected, x_j: M_j → V_j is a classical minimal immersion into an affine subspace V_j of ℝⁿ, and the subspaces V₁,…, V_r are pairwise orthogonal. Here we prove that if M_j is orientable, then x_j (M_j) is either aflat plane or, in suitable coordinates, a generalized complex hyperbola.