Bounds for singular integrals associated with a class of hypersurfaces

For the hypersurface Γ=(y,γ(y)), the singular integral operator along Γ is defined by. $$Tf(x,x_n ) = P.V.\int_{\mathbb{R}^n } {, f(x - y,x_n ) - } \gamma (y))_{\left| y \right|^{n - 1} }^{\Omega (v)} dy$$ where Σ is homogeneous of order 0, $ \int_{\Sigma _{n \lambda } } {\Omega (y')dy'} = 0 $ . For a certain class of hypersurfaces, T is shown to be bounded on L^p(Rⁿ) provided Ω∈L _α ¹ (Σ _n?2),P>1.     

The Ricci tensor and structure Jacobi operator of real hypersurfaces in a complex projective space

Let M be a real hypersurface with almost contact metric structure ${(\phi, \xi, \eta, g)}$ in a complex projective space ${P_{n}\mathbb{C}}$ . A Real hypersurface M is said to be a Hopf hypersurface if ξ is principal. In this paper we investigate real hypersurfaces of ${P_{n}\mathbb{C}}$ whose Ricci tensors S satisfy ${\nabla_{\phi\nabla_{\xi}\xi}S = 0}$ . Under some further conditions we characterize Hopf hypersurfaces of ${P_{n}\mathbb{C}}$ .     

Willmore hypersurfaces with constant Möbius curvature in R n+1

For an immersed hypersurface ${f : M^n \rightarrow R^{n+1}}$ without umbilical points, one can define the Möbius metric g on f which is invariant under the Möbius transformation group. The volume functional of g is a generalization of the well-known Willmore functional, whose critical points are called Willmore hypersurfaces. In this paper, we prove that if a n-dimensional Willmore hypersurfaces ${(n \geq 3)}$ has constant sectional curvature c with respect to g, then c = 0, n = 3, and this Willmore hypersurface is Möbius equivalent to the cone over the Clifford torus in ${S^{3} \subset R^{4}}$ . Moreover, we extend our previous classification of hypersurfaces with constant Möbius curvature of dimension ${n \ge 4}$ to n = 3, showing that they are cones over the homogeneous torus ${S^1(r) \times S^1(\sqrt{1 - r^2}) \subset S^3}$ , or cylinders, cones, rotational hypersurfaces over certain spirals in the space form R ², S ², H ², respectively.     

Laguerre Isopararmetric Hypersurfaces in R^4

Let x : M → Rn be an umbilical free hypersurface with non-zero principal curvatures. Then x is associated with a Laguerre metric g, a Laguerre tensor L, a Laguerre form C , and a Laguerre second fundamental form B which are invariants of x under Laguerre transformation group. A hypersurface x is called Laguerre isoparametric if its Laguerre form vanishes and the eigenvalues of B are constant. In this paper, we classify all Laguerre isoparametric hypersurfaces in R4 .     

Volume preserving curvature flows in Lorentzian manifolds

Let N be a (n + 1)-dimensional globally hyperbolic Lorentzian manifold with a compact Cauchy hypersurface ${\mathcal{S}_{0}}$ and F a curvature function, either the mean curvature H, the root of the second symmetric polynomial ${{\sigma}_{2}=\sqrt{H_{2}}}$ or a curvature function of class (K*), a class of curvature functions which includes the nth root of the Gaussian curvature ${{\sigma}_{n}= K^{\frac{1}{n}}}$ . We consider curvature flows with curvature function F and a volume preserving term and prove long time existence of the flow and exponential convergence of the corresponding graphs in the C ^∞-topology to a hypersurface of constant F-curvature, provided there are barriers. Furthermore we examine stability properties and foliations of constant F-curvature hypersurfaces.     

The Gauss�CKronecker curvature of minimal hypersurfaces in four-dimensional space forms

Let ${{\mathbb{Q}^4}(c)}$ be a four-dimensional space form of constant curvature c. In this paper we show that the infimum of the absolute value of the Gauss?CKronecker curvature of a complete minimal hypersurface in ${\mathbb{Q}^4(c), c\leq 0}$ , whose Ricci curvature is bounded from below, is equal to zero. Further, we study the connected minimal hypersurfaces M ³ of a space form ${{\mathbb{Q}^4}(c)}$ with constant Gauss?CKronecker curvature K. For the case c ?? 0, we prove, by a local argument, that if K is constant, then K must be equal to zero. We also present a classification of complete minimal hypersurfaces of ${\mathbb{Q}^4(c)}$ with K constant.     

Complete hypersurfaces with constant scalar curvature in spheres

To a given immersion ${i:M^n\to \mathbb S^{n+1}}$ with constant scalar curvature R, we associate the supremum of the squared norm of the second fundamental form sup |A|². We prove the existence of a constant C _n (R) depending on R and n so that R ≥ 1 and sup |A|² = C _n (R) imply that the hypersurface is a H(r)-torus ${\mathbb S^1(\sqrt{1-r^2})\times\mathbb S^{n-1} (r)}$ . For R > (n ? 2)/n we use rotation hypersurfaces to show that for each value C > C _n (R) there is a complete hypersurface in ${\mathbb S^{n+1}}$ with constant scalar curvature R and sup |A|² = C, answering questions raised by Q. M. Cheng.     

Hypersurfaces of Spinc Manifolds and Lawson Type Correspondence

Simply connected three-dimensional homogeneous manifolds ${\mathbb{E}(\kappa, \tau)}$ , with four-dimensional isometry group, have a canonical Spin^c structure carrying parallel or Killing spinors. The restriction to any hypersurface of these parallel or Killing spinors allows to characterize isometric immersions of surfaces into ${\mathbb{E}(\kappa, \tau)}$ . As application, we get an elementary proof of a Lawson type correspondence for constant mean curvature surfaces in ${\mathbb{E}(\kappa, \tau)}$ . Real hypersurfaces of the complex projective space and the complex hyperbolic space are also characterized via Spin^c spinors.     

Locally homogeneous rigid geometric structures on surfaces

We study locally homogeneous rigid geometric structures on surfaces. We show that a locally homogeneous projective connection on a compact surface is flat. We also show that a locally homogeneous unimodular affine connection ${\nabla}$ on a two dimensional torus is complete and, up to a finite cover, homogeneous. Let ${\nabla}$ be a unimodular real analytic affine connection on a real analytic compact connected surface M. If ${\nabla}$ is locally homogeneous on a nontrivial open set in M, we prove that ${\nabla}$ is locally homogeneous on all of M.     

Volume preserving mean curvature flow of revolution hypersurfaces between two equidistants

In a rotationally symmetric space ${{\overline M}}$ around an axis ${\mathcal{A}}$ (whose precise definition is satisfied by all real space forms), we consider a domain G limited by two equidistant hypersurfaces orthogonal to ${\mathcal{A}}$ . Let ${M \subset {\overline M}}$ be a revolution hypersurface generated by a graph over ${\mathcal{A}}$ , with boundary in ?G and orthogonal to it. We study the evolution M _t of M under the volume-preserving mean curvature flow requiring that the boundary of M _t rests on ?G and stays orthogonal to it. We prove that: (a) the generating curve of M _t remains a graph; (b) the flow exists as long as M _t does not touch the rotation axis; (c) under a suitable hypothesis relating the enclosed volume and the area of M, the flow is defined for every ${t\in [0,\infty[}$ and a sequence of hypersurfaces ${M_{t_n}}$ converges to a revolution hypersurface of constant mean curvature. Some key points are: (i) the results are true even for ambient spaces with positive curvature, (ii) the averaged mean curvature does not need to be positive and (iii) for the proof it is necessary to carry out a detailed study of the boundary conditions.     

Real hypersurfaces of a complex space form

In this paper, we show that an n-dimensional connected non-compact Ricci soliton isometrically immersed in the flat complex space form ${(C^{\frac{n+1}{2}},J,\left\langle ,\right\rangle )}$ , with potential vector field of the Ricci soliton is the characteristic vector field of the real hypersurface is an Einstein manifold. We classify connected Hopf hypersurfaces in the flat complex space form ${(C^{\frac{n+1}{2}},J,\left\langle ,\right\rangle )}$ and also obtain a characterization for the Hopf hypersurfaces in ${(C^{\frac{n+1}{2}},J,\left\langle ,\right\rangle ) }$ .     

Power Majorization and Majorization of Sequences

Let \(\bar x\) , \(\bar y\ \in\ R_n\) be vectors which satisfy x₁ ≥ x₂ ≥ … ≥ x_n and y₁ ≥ y₂ >- … ≥ y_n and Σx_i = Σy_i. We say that \(\bar x\) is power majorized by \(\bar y\) if Σx_i ^p ≤ Σy_i ^p for all real p ? [0, 1] and Σx_i ^p ≥ Σy_i ^p for p ∈ [0, 1]. In this paper we give a classification of functions ? (which includes all possible positive polynomials) for which \(\bar\phi(\bar x) \leq \bar\phi(\bar y)\) (see definition below) when \(\bar x\) is power majorized \(\bar y\) . We also answer a question posed by Clausing by showing that there are vectors \(\bar x\) , \(\bar y\ \in\ R^n\) of any dimension n ≥ 4 for which there is a convex function ? such that \(\bar x\) is power majorized by \(\bar y\) and \(\bar\phi(\bar x)\ >\ \bar\phi(\bar y)\) .     

Estimates in Beurling-Helson type theorems: Multidimensional case

We consider the spaces A _p ( $\mathbb{T}^m $ ) of functions f on the m-dimensional torus $\mathbb{T}^m $ such that the sequence of Fourier coefficients $\hat f = \{ \hat f(k),k \in \mathbb{Z}^m \} $ belongs to l ^p (? ^m ), 1 ≤ p < 2. The norm on A _p ( $\mathbb{T}^m $ ) is defined by $\left\| f \right\|_{A_p (\mathbb{T}^m )} = \left\| {\hat f} \right\|_{l^p (\mathbb{Z}^m )} $ . We study the rate of growth of the norms $\left\| {e^{i\lambda \phi } } \right\|_{A_p (\mathbb{T}^m )} $ as |λ| → ∞, λ ∈ ?, for C ¹-smooth real functions φ on $\mathbb{T}^m $ (the one-dimensional case was investigated by the author earlier). The lower estimates that we obtain have direct analogs for the spaces A _p (? ^m ).     

The Hartogs phenomenon on weakly pseudoconcave hypersurfaces

In 2002, Henkin and Michel proved a local Hartogs phenomenon for real analytic CR functions on real analytic weakly pseudoconcave CR manifolds. The aim of the present article is to remove the assumptions on real analyticity in the case of weakly pseudoconcave hypersurfaces ${M\subset\mathbb{C}^n}$ . If M is a graph of class ${\mathcal{C}^2}$ and n??? 3, a global theorem is proved for the extension of holomorphic germs along M. If the appearing domains have nicely shaped boundary, a Hartogs theorem even holds for continuous CR functions, where the difference to the case of holomorphic germs relies on the possible presence of lower-dimensional CR orbits. Levi flat hypersurfaces in ${\mathbb{C}^2}$ require a separate treatment. Here an affirmative answer is given to the question of Tomassini, whether 2-spheres bound 3-balls in M.     

On reconstructing separable reducedp-groups with a given socle

Let \(\bar B^* \) be a separable reduced (abelian)p-group which is torsion complete. We ask whether for \(G \subseteq \bar B^* \) there is \(H \subseteq _{pr} \bar B^* ,H[p] = G[p]\) ,H[p]=G[p],H not isomorphic toG. IfG is the sum of cyclic groups or is torsion complete, the answer is easily no. For otherG, we prove that the answer is yes assuming G.C.H. Even without G.C.H. the answer is yes if the density character ofG is equal to Min _n<ω|p ⁿG|, i.e., $$\mathop {Min}\limits_{n< \omega } |p^n G| = \mathop {Min}\limits_m \mathop \Sigma \limits_{n > m} |(p^n G)[p]/(p^{n + 1} G)[p]|$$ Of course, instead of two non-isomorphic we can get many, but we do not deal much with this.     

On characterizations of real hypersurface in complex space form with Codazzi type structure Lie operator

In this paper, we prove that if $(\nabla _{X} L_{\xi })Y= (\nabla _{Y} L_{\xi })X$ holds on $M$ , then $M$ is a Hopf hypersurface, where $L_\xi $ denote the induced operator from the Lie derivative with respect to the structure vector field $\xi $ . We characterize such Hopf hypersurfaces of $M_n(c)$ .     

Stability index jump for constant mean curvature hypersurfaces of spheres

It is known that the totally umbilical hypersurfaces in the (n + 1)-dimensional spheres are characterized as the only hypersurfaces with weak stability index 0. That is, a compact hypersurface with constant mean curvature, cmc, in S ⁿ⁺¹, different from an Euclidean sphere, must have stability index greater than or equal to 1. In this paper we prove that the weak stability index of any non-totally umbilical compact hypersurface ${M \subset S^{{n+1}}}$ with cmc cannot take the values 1, 2, 3 . . . , n.     

The isometries ofC p

Theorem.Let 1≦p≦∞,p ≠ 2, and let V be an isometry of C_p onto itself. Then there exist two unitary operators u and w on l₂ so that V acts on C_p in one of the following forms: \((i) Vx = u \cdot x \cdot w; (ii) Vx = u \cdot x^T \cdot w\) (where x^T is the transpose of x).     

Variational formulas of higher order mean curvatures

In this paper,we establish the first variational formula and its Euler-Lagrange equation for the total 2p-th mean curvature functional M2p of a submanifold M n in a general Riemannian manifold N n+m for p = 0,1,...,[n 2 ].As an example,we prove that closed complex submanifolds in complex projective spaces are critical points of the functional M2p,called relatively 2p-minimal submanifolds,for all p.At last,we discuss the relations between relatively 2p-minimal submanifolds and austere submanifolds in real space forms,as well as a special variational problem.     

A characterization of Laguerre isoparametric hypersurfaces of the Euclidian space

We consider \(M^n,\,n\ge 3\) , umbilic-free hypersurfaces in the Euclidean space, with nonvanishing principal curvatures. We prove that \(M\) is a Laguerre isoparametric hypersurface if, and only if, it is a cyclide of Dupin or a Dupin hypersurface with constant Laguerre curvatures.