Embedded Rotational Hypersurfaces with Constant Scalar Curvature in Sn: A Correction to a Statement in M. L. Leite, Manuscripta Math. 67 (1990), 285-304.

We prove that there exist (n − 1)-dimensional compact embedded rotational hypersurfaces with constant scalar curvature (n − 1)(n − 2)S (S > 1) of S ⁿ other than product of spheres for 4 ≤ n ≤ 6. As a result, we prove that Leite’s Assertion was incorrect.The project is supported by the grant No. 10531090 of NSFC.     

On the homotopy type of principal classical group bundles over spheres

The total spaces of principalSU(n−1) bundles overS ²ⁿ⁻¹ are classified. The classification ofSp(n−1) bundles overS ⁴ⁿ−1, is studied as well. As an intermediate step the homotopy equivalences ofSU andSp are classified.     

Distance and fractional isomorphism in Steiner triple systems

In [8], Quattrochi and Rinaldi introduced the idea ofn ⁻¹-isomorphism between Steiner systems. In this paper we study this concept in the context of Steiner triple systems. The main result is that for any positive integerN, there existsv ₀(N) such that for all admissiblev≥v ₀(N) and for each STS(v) (sayS), there exists an STS(v) (sayS′) such that for somen>N, S is strictlyn ⁻¹-isomorphic toS′. We also prove that for all admissiblev≥13, there exist two STS(v)s which are strictly 2⁻¹-isomorphic. Define the distance between two Steiner triple systemsS andS′ of the same order to be the minimum volume of a tradeT which transformsS into a system isomorphic toS′. We determine the distance between any two Steiner triple systems of order 15 and, further, give a complete classification of strictly 2⁻¹-isomorphic and 3⁻¹-isomorphic pairs of STS(15)s.     

A combinatorial proof of the Borsuk-Ulam antipodal point theorem

We give a proof of Tucker’s Combinatorial Lemma that proves the fundamental nonexistence theorem: There exists no continuous map fromB ⁿ toS ^{n − 1} that maps antipodal points of∂B ⁿ to antipodal points ofS ^{n − 1}.     

Eigenvalues and suspension structure of compact Riemannian orbifolds with positive Ricci curvature

Let M be a compact n-dimensional Riemannian orbifold of Ricci curvature ≥n−1. We prove that for 1 ≤k≤n, the k ^th nonzero eigenvalue of the Laplacian on M is equal to the dimension n if and only if M is isometric to the k-times spherical suspension over the quotient S ^{n − k} }Γ of the unit (n−k)-sphere by a finite group Γ⊂O(n−k+1) acting isometrically on S ^{n − k} ⊂ℝ ^{n − k +}. Received: 21 September 1998 / Revised version: 23 February 1999     

Decomposability criterion for linear sheaves

We establish a decomposability criterion for linear sheaves on ℙ ⁿ . Applying it to instanton bundles, we show, in particular, that every rank 2n instanton bundle of charge 1 on ℙ ⁿ is decomposable. Moreover, we provide an example of an indecomposable instanton bundle of rank 2n − 1 and charge 1, thus showing that our criterion is sharp.     

New examples of Lagrangian rigidity

Letn=4 or 8. We prove that any Lagrangian embedding ofS ^{n − 1} ×S ¹ into ℂ ⁿ has a trivial linking class. We deduce that every embedding ofS ³ ×S ⁴ into ℂ⁴ is isotopic to a Lagrangian embedding. This is false ifn = 8.     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

The uniform norm of hyperinterpolation on the unit sphere in an arbitrary number of dimensions

In this paper we study the order of growth of the uniform norm of the hyperinterpolation operator on the unit sphere S ^r−1 ⊂ R^r. The hyperinterpolation approximation L _n ƒ, where ƒ ∈ C(S ^r −1), is derived from the exact L ² orthogonal projection Π ƒ onto the space P _n ^r (S ^r −1) of spherical polynomials of degree n or less, with the Fourier coefficients approximated by a positive weight quadrature rule that integrates exactly all polynomials of degree ≤ 2n. We extend to arbitrary r the recent r = 3 result of Sloan and Womersley [9], by proving that under an additional “quadrature regularity” assumption on the quadrature rule, the order of growth of the uniform norm of the hyperinterpolation operator on the unit sphere is O(n ^r /2−1), which is the same as that of the orthogonal projection Π_n, and best possible among all linear projections onto P _n ^r (S ^r −1).     

Some remarks on Legendrian rectifiable currents

A rectifiable current of dimension n−1 in the sphere bundle Sℝⁿ≃ℝⁿ×S ^{n −1} for euclidean space is Legendrian if it annihilates the contact 1-form α (i.e. T(α∧φ)=0 for all forms φ of degree n−2). Such a current may be naturally associated to any convex set or to any singular real analytic variety, and induces the curvature measures of such a set. We prove that the projection to ℝⁿ of a carrier of a general such T is C ²-rectifiable in the sense of Anzellotti–Serapioni. We deduce that the boundary of a set with positive reach, as well as its singular skeleta, are C ²-rectifiable. In case ∂T= 0 we prove also that the curvature measures associated to T satisfy the analogues of the classical variational formulas for curvature integrals. It follows that such formulas are valid for the curvature measures of subsets of space forms. Received: 3 December 1997/ Revised version: 25 May 1998     

Canonical isotopies in Euclidean space

LetG(n,k) denote the space (with the compact-open topology) of homeomorphisms ofR ⁿ which are fixed onR ^k. Theorem 1:G(n, n−2) deforms inG(n, 0) toO(2), whereO(2) is the orthogonal group. Corollary 2: (forn=2) the Kneser theorems. Corollary 3: A EuclideanR ⁿ bundleξ ⁿ overS ^m(m≦∞) which contains anR ⁿ−2 subbundleξ ^{n − 2} is isomorphic, as aG(n,0) bundle, to a Whitney sumξ ^{n − 2} ⊕ξ ². Corollary 4: (n−2) stable homeomorphisms ofR ⁿ orS ⁿ are (n−1) stable, hence stable if orientation preserving. Part of this work represents a portion of the author’s Ph.D. thesis at the University of California, Los Angeles, written under the direction of D. S. Gillman and R. C. Kirby.     

Mapping problems, fundamental groups and defect measures

We study all the possible weak limits of a minimizing sequence, for p-energy functionals, consisting of continuous maps between Riemannian manifolds subject to a Dirichlet boundary condition or a homotopy condition. We show that if p is not an integer, then any such weak limit is a strong limit and, in particular, a stationary p-harmonic map which is C ^1,α continuous away from a closed subset of the Hausdorff dimension ≤ n − [p] − 1. If p is an integer, then any such weak limit is a weakly p-harmonic map along with a (n − p)-rectifiable Radon measure μ. Moreover, the limiting map is C ^1,α continuous away from a closed subset Σ=spt μ ∪ S with H ^{n − p} (S)=0. Finally, we discuss the possible varifolds type theory for Sobolev mappings. Partially supported by NSF Grant DMS 9626166     

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.     

Dilatation estimates for quasiconformal extensions

LetD andD′ be ring domains inB ⁿ , withS ⁿ⁻¹ as one boundary component, and let be a homeomorphism which isK-quasiconformal inD and withf(S ⁿ⁻¹)=S ⁿ⁻¹. According to a result of Gehringf÷S ⁿ⁻¹ admits an extension which is quasiconformal inB ⁿ . We find here an upper bound for the dilatation ofg in terms ofn, K, and modD. This work was started during a visit to Université de Paris, financed by a cultural exchange program between France and Finland.     

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     

Riesz means for the sublaplacian on the Heisenberg group

The uniform boundedness of the Riesz means for the sublaplacian on the Heisenberg groupH ⁿ is considered. It is proved thatS _R ^α are uniformly bounded onL ^p(Hⁿ) for 1≤p≤2 provided α>α(p)=(2n+1)[(1/p)−(1/2)].     

Isometric approximation

Suppose thatA ⊂R ⁿ is a bounded set of diameter 1 and that:f:A →l ₂ is a map satisfying the nearisometry condition |x−y|−ɛ≤|fx−fy|≤|x−y|+ɛ withɛ≤1. Then there is an isometryS:A →l ₂ such that |Sx−fx|≤c _n √ɛ for allx inA. IfA satisfies a thickness condition and iff:A →R ⁿ , then there is an isometryS:R ⁿ →R ⁿ with |Sx−fx|≤c _nɛ/q, whereq is a thickness parameter.     

On the point of inflexion of a curve in a projective space

Sunto. The author establishes the projective differential geometry of a curve inS _n at a point of inflexion by locating a certain pyramid of geometrical characterization and finding the canonical equations of the curve in terms or1/2 (n ² −n−4)−1 projective invariants.     

New Families in the Stable Homotopy of Spheres Revisited

This paper constructs a new family in the stable homotopy of spheres π _{t −6} S represented by h _n g ₀γ₃∈E ^{6 t} ₂ in the Adams spectral sequence which revisits the b _{n −1} g ₀γ₃-elements ∈π _{t −7} S constructed in [3], where t = 2p ⁿ (p− 1) + 6(p ² + p + 1)(p− 1) and p≥ 7 is a prime, n≥ 4. Received October 7, 1998, Revised May 8, 2000, Accepted August 8, 2000.     

The <Emphasis Type="Italic">f</Emphasis>-Vector of the Descent Polytope

For a positive integer n and a subset S⊆[n−1], the descent polytope DP  _S is the set of points (x ₁,…,x _n ) in the n-dimensional unit cube [0,1] ⁿ such that x _i ≥x _i+1 if i∈S and x _i ≤x _i+1 otherwise. First, we express the f-vector as a sum over all subsets of [n−1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5,…}∩[n−1]. We derive a generating function for F _S (t), written as a formal power series in two non-commuting variables with coefficients in ℤ[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.