Finite Topological Type and Volume Growth

We show that a complete noncompact n-dimensional Riemannian manifold Mwith Ricci curvature Ric _M –(n – 1) and conjugateradius conj _M c > 0 has finite topological type, provided that the volume growth of geodesic balls in M is not very far from that of the balls in an n-dimensional hyperbolic space H ⁿ (–1)of sectional curvature –1. We also show that a complete open Riemannian manifold M with nonnegative intermediate Ricci curvature and quadratic curvature decay has finite topological typeif the volume of geodesic balls of M around the base point grows slowly.     

Unitary Representations and Coadjoint Orbits for a Group of Germs of Real Analytic Diffeomorphisms

The method of coadjoint orbits is developed for the group of real analytic germs of diffeomorphisms φ with φ(0) = 0 and φ′(0) = 1. The form of all infinite dimensional coadjoint orbits is described. Classes U of unitary representations are constructed. In the case n = 2 these representations are related to coadjoint orbits.     

Polyhedral Voronoi Diagrams of Polyhedra in Three Dimensions

We show that the complexity of the Voronoi diagram of a collection of disjoint polyhedra in general position in 3-space that have n vertices overall, under a convex distance function induced by a polyhedron with O(1) facets, is O(n ²⁺), for any > 0. We also show that when the sites are n segments in 3-space, this complexity is O(n ² (n) log n). This generalizes previous results by Chew et al. and by Aronov and Sharir, and solves an open problem put forward by Agarwal and Sharir. Specific distance functions for which our results hold are the L ₁ and L _\infty metrics. These results imply that we can preprocess a collection of polyhedra as above into a near-quadratic data structure that can answer -approximate Euclidean nearest-neighbor queries amidst the polyhedra in time O(log (n/) ), for an arbitrarily small > 0.     

Lefschetz Complex Conditions for Complex Manifolds

For any compact complex manifold M with a compatible symplectic form, we consider the homomorphisms L _1,0: H ^1,0(M) H ^{{n, n–1}(M) and L _{0, 1}: H ^{0, 1}(M) H ^{n – 1, n} (M) given by the cup product with [] ^{n – 1}, n being the complex dimension of M andH ^{*, *}(M) the Dolbeault cohomology of M. We say that Mhas Lefschetz complex type (1, 0) (resp. (0, 1)) if L _{1, 0} (resp.L _{0, 1}) is injective. Such conditions can be considered as complexversions of the (real) Lefschetz condition studied by Benson and Gordonin [Topology 27 (1988), 513–518]for symplectic manifolds. Within the class of compactcomplex nilmanifolds, we prove that the injectivity of L _{1, 0}characterizes those complex structures which are Abelian in the sense ofBarberis et al. [Ann. Global Anal. Geom. 13 (1995), 289–301]. In contrast, complex tori are the only nilmanifolds having Lefschetz complex type (0, 1).     

The Yamabe Problem and Applications on Noncompact Complete Riemannian Manifolds

We let (M,g) be a noncompact complete Riemannian manifold of dimension n 3 whose scalar curvature S(x) is positive for all x in M. With an assumption on the Ricci curvature and scalar curvature at infinity, we study the behavior of solutions of the Yamabe equation on –u+[(n–2)/(4(n–1))]Su=qu ^{(n+2)/(n–2)} on (M,g). This study finds restrictions on the existence of an injective conformal immersion of (M,g) into any compact Riemannian n -manifold. We also show the existence of a complete conformal metric with constant positive scalar curvature on (M,g) with some conditions at infinity.     

Classification of Morse-Smale diffeomorphisms with one-dimensional set of unstable separatrices

Let M ⁿ be a closed orientable manifold of dimension n > 3. We study the class G ₁(M ⁿ ) of orientation-preserving Morse-Smale diffeomorphisms of M ⁿ such that the set of unstable separatrices of any f ∈ G ₁(M ⁿ ) is one-dimensional and does not contain heteroclinic intersections. We prove that the Peixoto graph (equipped with an automorphism) is a complete topological invariant for diffeomorphisms of class G ₁(M ⁿ ), and construct a standard representative for any class of topologically conjugate diffeomorphisms.     

Homotopy of spaces of diffeomorphisms of some three-dimensional manifolds

The goal of the paper is to calculate the homotopy type of the space of diffeomorphisms for most orientable three-dimensional manifolds with finite fundamental group containing the Klein bottle. The fundamental group of such a manifold Q has the form <a, b ¦abab ^–1=1,a ^mb²ⁿ=1>. As m and n one can have any relatively prime natural numbers; these numbers m, n determine the manifold Q up to diffeomorphism. Let K be a Klein bottle lying in Q and let P be a closed tubular neighborhood in Q of this Klein bottle K. We denote by Diff_o(Q) the connected component of the space of diffeomorphisms QQ containing id Q, and by E₀(K, Q) the connected component of the space of imbeddings KQ containing the inclusion KQ; analogously we define E₀(K, P). The main results of the paper are the following two theorems. THEOREM 1. If m, n1, then the space Diff_o(Q) is homotopy equivalent with a circle. THEOREM 2. If m, n1, then the inclusion E₀(K, P) E₀(K, Q) is a homotopy equivalence. With the help of familiar results on spaces of diffeomorphisms of irreducible manifolds which are sufficiently large, Theorem 1 reduces without difficulty to Theorem 2. The main difficulty is the proof of Theorem 2. This proof develops a technique of Hatcher and the author which deals with spaces of PL-homeomorphisms and diffeomorphisms of irreducible manifolds which are sufficiently large. In the paper we use a different structure definition of the class of manifolds considered. It is easy to verify that these definitions are equivalent.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 122, pp. 72–103, 1982.     

Cohomology of compact hyperkähler manifolds and its applications

We announce the structure theorem for theH ²(M)-generated part of cohomology of a compact hyperkähler manifold. This computation uses an action of the Lie algebra so(4,n–2) wheren=dimH ²(M) on the total cohomology space ofM. We also prove that every two points of the connected component of the moduli space of holomorphically symplectic manifolds can be connected with so-called twistor lines — projective lines holomorphically embedded in the moduli space and corresponding to the hyperkähler structures. This has interesting implications for the geometry of compact hyperkähler manifolds and of holomorphic vector bundles over such manifolds.     

Peixoto graph of Morse-Smale diffeomorphisms on manifolds of dimension greater than three

Let M ⁿ be a closed orientable manifold of dimension greater than three and G ₁(M ⁿ ) be the class of orientation-preserving Morse-Smale diffeomorphisms on M ⁿ such that the set of unstable separatrices of every f ∈ G ₁(M ⁿ ) is one-dimensional and does not contain heteroclinic orbits. We show that the Peixoto graph is a complete invariant of topological conjugacy in G ₁(M ⁿ ).     

Contact Classification of Linear Ordinary Differential Equations: I

It is known that a linear ordinary differential equation of order n3 can be transformed to the Laguerre–Forsyth form y ⁽ⁿ⁾= _i=3 ⁿ a _n–i (x)y ^(n–i) by a point transformation of variables. The classification of equations of this form in a neighborhood of a regular point up to a contact transformation is given.     

Formulas for best extrapolation

We considern-point Lagrange-Hermite extrapolation forf(x), x>1, based uponf(x _i ),i=1(1)n, –1x _i 1, including non-distinct pointsx _i in confluent formulas involving derivatives. The problem is to find the pointsx _i that minimize the factor in the remainderP _n (x)f ⁽ⁿ⁾()/n, –1<<x subject to the condition|P _n (x)|M, –1x1,2^–n+1M2 ⁿ . The solution is significant only when a single set of pointsx _i suffices for everyx>1. The problem is here completely solved forn=1(1)4. Forn>4 it may be conjectured that there is a single minimal , 0 rn, whererr(M) is a non-decreasing function ofM, P _n (–1)=(–1) ⁿ M, and for 0rn–2, thej-th extremumP _n (x _{e, j} )=(–1) ^n–j M,j=1(1)n–r–1 (except forM=M _r ,r=1(1)n–1, whenj=1(1)n–r).     

Locally homogeneous Riemannian manifolds and Cartan triples

Ann-dimensional Cartan triple is a triple (g, , ) consisting of a Lie subalgebra g of so(n) (endowed with the Killing form), a linear map : ⁿ g and a bilinear antisymmetric map ²( ⁿ , g), which together satisfy (1.25)–(1.28) of Section 1. LetM _n be the set ofmaximal n-dimensional Cartan triples, and letA _n be thenatural action of the orthogonal group O(n) onM _n (Section 3). One shows that there is a bijective mapping from the set of local isometry classes ofn-dimensional locally homogeneous Riemannian manifolds to the set of orbits ofA _n (Theorem 3.1(a)). Under this bijection, the classes of homogeneous Riemannian manifolds correspond to orbits ofclosed Cartan triples.     

Linear Extensions of Semiorders: II

Let M _n (k) denote the family of posets on n points with k ordered pairs that maximize the number of linear extensions among all such posets. Fishburn and Trotter [2] prove that every poset in M _n (k) is a semiorder and identifies all semiorders in M _n (k) for k n. The present paper specifies M _n (k) for all k 2 n – 3.     

Para-orthogonal Laurent polynomials and associated sequences of rational functions

On the space, , of Laurent polynomials (L-polynomials) we consider a linear functional which is positive definite on (0, ) and is defined in terms of a given bisequence, { _k } _– . Two sequences of orthogonal L-polynomials, {Q _n (z) ₀ and , are constructed which span in the order {1,z ^–1,z,z ^–2,z ²,...} and {1,z,z ^–1,z ²,z ^–2,...} respectively. Associated sequences of L-polynomials {P _n (z) ₀ , and are introduced and we define rational functions , wherew is a fixed positive number. The partial fraction decomposition and integral representation of,M _n (z, w) are given and correspondence of {M _n (z, w)} is discussed. We get additional solutions to the strong Stieltjes moment problem from subsequences of {M _n (z, w)}. In particular when { _k } _– is a log-normal bisequence, {M _2n (z, w)} and {M _2n+1 (z, w)} yield such solutions.Research supported in part by the National Science Foundation under Grant DMS-9103141.     

Para-tt*-bundles on the tangent bundle of an almost para-complex manifold

In this paper we study para-tt ^*-bundles (TM, D, S) on the tangent bundle of an almost para-complex manifold (M, τ). We characterise those para-tt ^*-bundles with ${\nabla=D + S}In this paper we study para-tt ^*-bundles (TM, D, S) on the tangent bundle of an almost para-complex manifold (M, τ). We characterise those para-tt ^*-bundles with induced by the one-parameter family of connections given by and prove a uniqueness result for solutions with a para-complex connection D. Flat nearly para-K?hler manifolds and special para-complex manifolds are shown to be such solutions. We analyse which of these solutions admit metric or symplectic para-tt ^*-bundles. Moreover, we give a generalisation of the notion of a para-pluriharmonic map to maps from almost para-complex manifolds (M, τ) into pseudo-Riemannian manifolds and associate to the above metric and symplectic para-tt ^*-bundles generalised para-pluriharmonic maps into , respectively, into SO ₀(n,n)/U ^π(C ⁿ ), where U ^π(C ⁿ ) is the para-complex analogue of the unitary group.      

Isoperimetric inequalities,isometric actions and the higher Newman numbers

M will be a compact connected n-dimensional Riemannian manifold. If M contains a closed connected k-dimensional, 2 k < n, minimal immersed submanifold of M, we define the kth isoperimetric number of M, Ñ _k (M), as the infimum of the volumes of all such submanifolds. We obtain a number of interesting estimates for Ñ _k (M), for both general and special manifolds, which appear to be new.Next we turn to isometric actions and a 1931 theorem of M. H. A. Newman involving the size of orbits of group actions on manifolds. We introduce the higher Newman numbers N _k (M), 1 k n. Roughly speaking, if M admits isometric actions of compact connected Lie groups with k-dimensional principal orbits, N _k (M) is defined as the infimum over all such actions of the maximum volume of all maximal dimensional orbits. We observe that N _k (M) Ñ _k (M), 2 k < n, provided N _k (M) is defined; hence our prior estimates for the isoperimetric numbers of M apply directly to the higher Newman numbers.As a best possible candidate we conjecture that N _k (M) vol S ^k (i(M)/), 1 k n, where i(M) denotes the radius of injectivity of M and S ^k (i(M)/) denotes the standard k-sphere of radius i(M)/. We verify the conjecture for various special cases. We conclude the paper by studying Newman's theorem for compact connected Lie groups with invariant metrics and obtaining a lower bound for the size of small subgroups.     

CR Submanifolds of Maximal CR Dimension in a Complex Hopf Manifold

We study CR submanifolds M in a Hopf manifold (C H ^N (), J ₀, g ₀) with the Boothby metric g ₀,of maximal CR dimension. Any such M is a CR manifold ofhypersurface type, although embedded in higher codimension, and itsanti-invariant distribution H(M) is spanned by a unit vectorfield U. We classify the CR submanifolds M for which = –J ₀ Uis parallel in the normal bundle under assumptions on thespectrum of the Weingarten operator a . We show that (1) ifa (U) = (1/2)A (where A is the anti-Lee vector) andM fibres in tori over a CR submanifold of the complex projectivespace, then M lies on the (total space of the) pullback of the Hopf fibration via S C P ^{N – 1}, for some geodesic hypersphere S, and (2) if a (U)= 0 and Spec(a ) = {0, c}, for some c R {0}, then M is locally a Riemannian product of totally geodesicsubmanifolds.     

Homogeneous Submanifolds of Codimension Two

We study codimension 2 homogeneous submanifolds of Euclidean space for which the index of minimum relative nullity is small. We prove that if min_xMf(x)n-5, where (x) denotes the nullity of the second fundamental form of the immersion f at the point x, then the manifold M ⁿ is either isometric to a sphere or to a product of two spheres S²×S ^n–2 or covered by the Riemannian product S ^n–1 ×R. As a consequence, we obtain a classification of compact codimension 2 homogeneous submanifolds of dimension at least 5.     

Symplectic Toric Space Associated to Triangle Inequalities

Let M _n be the moduli space of spatial polygons with n edges. An open dense subset of M _n admits a T ^n–3 -action, although this action does not extend to M _n . The action together with a symplectic structure on M _n naturally defines a convex polytope _n in ^n–3. In this paper, from M _n , we construct a singular symplectic toric manifold with _n as the image of the moment map.     

A functional inequality for real-analytic functions

Summary Forf ( C ⁿ() and 0 t x letJ _n (f, t, x) = (–1)ⁿ f(–x)f ⁽ⁿ⁾(t) +f(x)f ⁽ⁿ⁾ (–t). We prove that the only real-analytic functions satisfyingJ _n (f, t, x) 0 for alln = 0, 1, 2, are the exponential functionsf(x) = c e ^x,c, . Further we present a nontrivial class of real-analytic functions satisfying the inequalitiesJ ₀ (f, x, x) 0 and ₀ ^x (x – t)^{n – 1}J_n(f, t, x)dt 0 (n 1).