L 2 harmonic forms and stability of hypersurfaces with constant mean curvature

We prove that a complete noncompact oriented strongly stable hypersurfaceM ⁿ with cmc (constant mean curvature)H in a complete oriented manifoldN ⁿ⁺¹ with bi-Ricci curvature, satisfying alongM, admits no nontrivialL ² harmonic 1-forms. This implies ifM ⁿ (2n4) is a complete noncompact strongly stable hypersurface in hyperbolic spaceH ⁿ⁺¹(–1) with cmc , there exist no nontrivialL ² harmonic 1-forms onM. We also classify complete oriented strongly stable surfaces with cmcH in a complete oriented manifoldN ³ with scalar curvature satisfying .     

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.     

Two Commuting Involutions Fixing F n ∪ F n-1

Consider G=Z ₂² as the group generated by two commuting involutions, and let be a smooth G-action on a smooth and closed manifold M. Suppose that the fixed point set of Φ consists of two connected components, F ⁿ and F ^n-1, with dimensions n and n−1, respectively. In this paper we prove that, if in the fixed data of Φ at least two eigenbundles over F ⁿ have dimension greater than n, and at least one eigenbundle over F ^n-1 has dimension greater than n−1, then the action (M,Φ) bounds equivariantly.It is well known that, if is a smooth involution on a smooth and closed m-dimensional manifold M ^m such that the fixed point set of T has constant dimension n, and if m > 2n, then (M ^m ,T) bounds equivariantly; this fact was proved by R. E. Stong and C. Kosniowski 27 years ago. As a consequence of our result, we will see that the same fact is true when, besides n-dimensional components, the fixed point set contains additional (n−1)-dimensional components.     

Vector subdivision schemes in (Lp(?s))r(1?p?∞) spaces

The purpose of this paper is to investigate the refinement equations of the form

Commuting Involutions with Fixed Point Set of Variable Codimension

Special generators of the unoriented cobordism ring MO _* are constructed to determine some groups of cobordism classes in MO _n containing a representative M ⁿ admitting a (Z ₂) ^k -action with the fixed point set of (n−l _i )-dimensional submanifolds of M ⁿ . This work is supported by HNSF and BSHJJ     

Prolongations of Vector Fields and the Invariants-by-Derivation Property

For any given vector field X defined on some open set M ², we characterize the prolongations X _n ^* of X to the nth jet space M ⁽ⁿ⁾, n1, such that a complete system of invariants for X _n ^* can be obtained by derivation of lower-order invariants. This leads to characterizations of C -symmetries and to new procedures for reducing the order of an ordinary differential equation.     

Banach manifolds of algebraic elements in the algebra $$\mathcal{L}$$ ( H) of bounded linear operatorsof bounded linear operators

Given a complex Hilbert space H, we study the manifold of algebraic elements in . We represent as a disjoint union of closed connected subsets M of Z each of which is an orbit under the action of G, the group of all C^*-algebra automorphisms of Z. Those orbits M consisting of hermitian algebraic elements with a fixed finite rank r, (0< r<∞) are real-analytic direct submanifolds of Z. Using the C^*-algebra structure of Z, a Banach-manifold structure and a G-invariant torsionfree affine connection ∇ are defined on M, and the geodesics are computed. If M is the orbit of a finite rank projection, then a G-invariant Riemann structure is defined with respect to which ∇ is the Levi-Civita connection. Supported by Ministerio de Educación y Cultura of Spain, Research Project BFM2002-01529.     

Some greedyt-intersecting families of finite sequences

Letn, s ₁,s ₂, ... ands _n be positive integers. Assume is an integer for eachi}. For , , and , denotes _p (a)={j|1jn,a _j p}, , and . is called anI _t ^p -intersecting family if, for any a,b ,a _i b _i =min(a _i ,b _i )p for at leastt i's. is called a greedyI _t ^P -intersecting family if is anI _t ^p -intersecting family andW _p (A)W _p (B+A ^c ) for anyAS _p ( ) and any with |B|=t–1.In this paper, we obtain a sharp upper bound of | | for greedyI _t ^p -intersecting families in for the case 2ps _i (1in) ands ₁>s ₂>...>s _n .This project is partially supported by the National Natural Science Foundation of China (No.19401008) and by Postdoctoral Science Foundation of China.     

On the gi/m/∞ service system with batch arrivals and different types of service distributions

We study the infinite-server system with batch arrivals ands different types of customers. With probabilityp _i an arriving customer is of typei (i=1,..., s) and requires an exponentially distributed service time with parameter _i (G ^GI /M ₁ ...M _s /). For theGI ^GI /M ₁...M _s / system it is shown that the binomial moments of thes-variate distribution of the number of type-i customers in the system at batch arrival epochs are determined by a recurrence relation and, in steady state, can be computed recursively. Furthermore, forG ^GI /M ₁...M _s /, relations between the distributions (and their binomial moments) of the system size vector at batch arrival and random epochs are given. Thus, earlier results by Takács [14], Gastwirth [9], Holman et al. [11], Brandt et al. [3] and Franken [6] are generalized.     

On Stability of Cones in <Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript> with Zero Scalar Curvature

In this work we generalize the case of scalar curvature zero the results of Simmons (Ann. Math. 88 (1968), 62–105) for minimal cones in Rⁿ⁺¹. If Mⁿ⁻¹ is a compact hypersurface of the sphere Sⁿ(1) we represent by C(M)ε the truncated cone based on M with center at the origin. It is easy to see that M has zero scalar curvature if and only if the cone base on M also has zero scalar curvature. Hounie and Leite (J. Differential Geom. 41 (1995), 247–258) recently gave the conditions for the ellipticity of the partial differential equation of the scalar curvature. To show that, we have to assume n ⩾ 4 and the three-curvature of M to be different from zero. For such cones, we prove that, for n ≤slant 7 there is an ε for which the truncate cone C(M)_ε is not stable. We also show that for n ⩾ 8 there exist compact, orientable hypersurfaces Mⁿ⁻¹ of the sphere with zero scalar curvature and S₃ different from zero, for which all truncated cones based on M are stable. Mathematics Subject Classifications (2000): 53C42, 53C40, 49F10, 57R70.     

On Sobolev and Capacitary Inequalities for Contractive Besov Spaces over d-sets

We derive Sobolev inequalities for Besov spaces B ^p,p (F), 0<<1, 1p< on d-sets F in R ⁿ , dn, from a metric property of the Bessel capacity on R ⁿ . We first extend Kaimanovitch's result on the equivalence of Sobolev and capacitary inequalites for contractive p-norms in a general setting allowing unbounded Lévy kernels. A simple part of the Jonsson–Wallin trace theorem for Besov spaces and some basic properties of Bessel and Besov capacities on R ⁿ are then utilized in getting the desired inequalities. When p=2, the Besov space being considered is a non-local regular Dirichlet space and gives rise to a jump type symmetric Markov process M over the d-set. The upper bound of the transition function of M and metric properties of M -polar sets are then exhibited.     

On Chern?s problem for rigidity of minimal hypersurfaces in the spheres

For a compact minimal hypersurface M in Sn+1 with the squared length of the second fundamental form S we confirm that there exists a positive constant δ(n) depending only on n, such that if n?S?n+δ(n), then S≡n, i.e., M is a Clifford minimal hypersurface, in particular, when n?6, the pinching constant .     

Nonexistence of Levi-degenerate hypersurfaces of constant signature in CP n

Let M be a smooth hypersurface of constant signature in CP ⁿ , n≥3. We prove the regularity for on M in bidegree (0,1). As a consequence, we show that there exists no smooth hypersurface in CP ⁿ , n≥3, whose Levi form has at least two zero-eigenvalues.     

Multivariate Refinement Equations and Convergence of Cascade Algorithms in Lp（0〈p〈1）Spaces

We consider the solutions of refinement equations written in the form

On the negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

THE FUNDAMENTAL GROUP OF THE AUTOMORPHISM GROUP OF A NONCOMMUTATIVE TORUS

Assume that each completely irrational noncommutative torus is realized as an inductive limit of circle algebras, and that for a completely irrational noncommutative torus Aw of rank m there are a completely irrational noncommutative torus Aρ of rank m and a positive integer d such that tr(Aw)=1/d.tr(Aρ).It is proved that the set of all C^*-algebras of sections of locally trivial C^*-algebra bundles over S^2 with fibres Aω has a group sturcture,denoted by π1^s(Aut(Aω)),which is isomorphic to Zif Ed&gt;1 and {0} if d&gt;1.Let Bcd be a cd-homogeneous C^*-algebra over S^2&#215;T^2 of which no non-trivial matrix algebra can be factored out.The spherical noncommutative torus Sρ^cd is defined by twisting C^*(T2&#215;Z^m-2) in Bcd &#215;C^*(Z^m-3) by a totally skew multiplier ρ on T^2&#215;Z^m-2。It is shown that Sρ^cd&#215;Mρ∞ is isomorphic to C(S^2)&#215;C^*(T^2&#215;Z^m-2,ρ）&#215; Mcd(C)&#215;Mρ∞ if and only if the set of prime factors of cd is a subset of the set of prime factors of p.     

Integral Formulas for the r-Mean Curvature Linearized Operator of a Hypersurface

For a normal variation of a hypersurface M ⁿ in a space form Q _c ⁿ⁺¹ by a normal vector field fN, R. Reilly proved:

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.