Kähler hyperbolicity and the Euler number of a compact manifold with geodesic flow of Anosov type

 Let M be a 2m-dimensional compact Riemannian manifold with Anosov geodesic flow. We prove that every closed bounded k form, k≥2, on the universal covering of M is d(bounded). Further, if M is homotopy equivalent to a compact K?hler manifold, then its Euler number χ(M) satisfies (−1) ^m χ(M)>0. Received: 25 September 2001 / Published Online: 16 October 2002     

Semiclassical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Estimates of Quasimodes on Curved Hypersurfaces

Let M be a compact manifold of dimension n, P=P(h) a semiclassical pseudodifferential operator on M, and u=u(h) an L ² normalized family of functions such that P(h)u(h) is O(h) in L ²(M) as h↓0. Let H⊂M be a compact submanifold of M. In a previous article, the second-named author proved estimates on the L ^p norms, p≥2, of u restricted to H, under the assumption that the u are semiclassically localized and under some natural structural assumptions about the principal symbol of P. These estimates are of the form Ch ^−δ(n,k,p) where k=dim H (except for a logarithmic divergence in the case k=n−2, p=2). When H is a hypersurface, i.e., k=n−1, we have δ(n,n−1, 2)=1/4, which is sharp when M is the round n-sphere and H is an equator.     

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.     

A bounded compactness theorem forL 1-embeddability of metric spaces in the plane

LetM=(W, d) be a metric space. LetL ¹ denote theL ¹ metric. AnL ¹-embedding ofM into Cartesiank-space ℝ ^k is a distance-preserving map from (W, d) into (ℝ ^k ,L ¹). Letc(k) be the smallest integer such that for every metric spaceM, M isL ¹-embeddable inR ^k iff everyc(k)-sized subspace ofM isL ¹-embeddable inR ^k. A special case of a theorem of Menger (see p. 94 of [5]) says thatc(1) exists and equals 4. We show thatc(2) exists and satisfies 6≦c(2)≦11. Whether or notc(k) exists for anyk≧3 is an open question. The research of S. M. Malitz was partially supported by NSF Grant CCR-8909953.     

Normal families and shared functions of meromorphic functions

Let k be a positive integer, let M be a positive number, let F be a family of meromorphic functions in a domain D, all of whose zeros are of multiplicity at least k, and let h be a holomorphic function in D, h ≢ 0. If, for every f ∈ F, f and f ^(k) share 0, and |f(z)| ≥ M whenever f ^(k)(z) = h(z), then F is normal in D. The condition that f and f ^(k) share 0 cannot be weakened, and the condition that |f(z)| ≥ M whenever f ^(k)(z) = h(z) cannot be replaced by the condition that |f(z)| ≥ 0 whenever f ^(k)(z) = h(z). This improves some results due to Fang and Zalcman [2] etc.     

Codimension Two PL Embeddings of Spheres with Nonstandard Regular Neighborhoods

For a given polyhedron K(?)M,the notation RM(K)denotes a regular neigh- borhood of K in M.The authors study the following problem:find all pairs(m,k) such that if K is a compact k-polyhedron and M a PL m-manifold,then R_M(f(K))≌R_M(g(K))for each two homotopic PL embeddings f,g:K→M.It is proved that R_S~(k 2)(S~k)(?)S~k×D~2 for each k(?)2 and some PL sphere S~k(?)S~(k 2)(even for any PL sphere S~k(?)S~(K 2)having an isolated non-locally flat point with the singularity S~(k-1)(?) S~(k 1)such thatπ_1(S~(k 1)-S~(k-1))(?)Z).     

Extended iterative methods for the solution of operator equations

Summary Given an iterative methodM ₀, characterized byx ^(k+1=G ₀(x( ^k )) (k0) (x(⁰) prescribed) for the solution of the operator equationF(x)=0, whereF:XX is a given operator andX is a Banach space, it is shown how to obtain a family of methodsM _p characterized byx ^(k+1=G _p (x( ^k )) (k0) (x(⁰) prescribed) with order of convergence higher than that ofM _o. The infinite dimensional multipoint methods of Bosarge and Falb [2] are a special case, in whichM ₀ is Newton's method.Analogues of Theorems 2.3 and 2.36 of [2] are proved for the methodsM _p, which are referred to as extensions ofM ₀. A number of methods with order of convergence greater than two are discussed and existence-convergence theorems for some of them are proved.Finally some computational results are presented which illustrate the behaviour of the methods and their extensions when used to solve systems of nonlinear algebraic equations, and some applications currently being investigated are mentioned.     

The canonical spectral sequences for poisson manifolds

For a compact symplectic manifoldM of dimension 2n, Brylinski proved that the canonical homology groupH _k ^can (M) is isomorphic to the de Rham cohomology groupH ^2n-k (M), and the first spectral sequence {E ^r (M)} degenerates atE ¹(M). In this paper, we show that these isomorphisms do not exist for an arbitrary Poisson manifold. More precisely, we exhibit an example of a five-dimensional compact Poisson manifoldM ⁵ for whichH ₁ ^can (M ⁵) is not isomorphic toH ⁴(M ⁵), andE ¹(M ⁵) is not isomorphic toE ²(M ⁵). This work has been partially supported through grants DGICYT (Spain), Projects PB91-0142 and PB89-0571, PB94-0633-C02-02; and through grants UPV, Project 127.310-EA 191/94, 127.310-EC248/96.     

A state space isomorphism theorem for minimal dynamical systems

Consider a discrete time dynamical systemx _k+1=f(x _k ) on a compact metric spaceM, wheref:MM is a continuous map. Leth:MB ^k be a continuous output function. Suppose that all of the positive orbits off are dense and that the system is observable. We prove that any output trajectory of the system determinesf andh andM up to a homeomorphism. IfM is a compact Abelian topological group andf is an ergodic translation, then any output trajectory determines the system up to a translation and a group isomorphism of the group.     

Density of smooth maps in Wk, p(M, N) for a close to critical domain dimension

Assuming m − 1 < kp < m, we prove that the space C ^∞(M, N) of smooth mappings between compact Riemannian manifolds M, N (m = dim M) is dense in the Sobolev space W ^k,p (M, N) if and only if π _m−1(N) = {0}. If π _m−1(N) ≠ {0}, then every mapping in W ^k,p (M, N) can still be approximated by mappings M → N which are smooth except in finitely many points.     

Some estimations for the least degree of identities of subspaces M1(m,k) (F) of the matrix superalgebra M(m,k)(F)

We estimate the least degree of identities of subspaces M ₁^(m,k) (F) of the matrix superalgebra M ^(m,k)(F) over the field F for arbitrary m and k. For subspaces M ₁^(m,1) (F) (m≥1) and M ₁^(2,2) (F) we obtain concrete minimal identities.     

Eigenvalues Estimate for the Neumann Problem of a Bounded Domain

In this note, we investigate upper bounds of the Neumann eigenvalue problem for the Laplacian of a domain Ω in a given complete (not compact a priori) Riemannian manifold (M,g). For this, we use test functions for the Rayleigh quotient subordinated to a family of open sets constructed in a general metric way, interesting for itself. As applications, we prove that if the Ricci curvature of (M,g) is bounded below Ric  ^g ≥−(n−1)a ², a≥0, then there exist constants A _n >0,B _n >0 only depending on the dimension, such that

Low-Light Trees, and Tight Lower Bounds for Euclidean Spanners

We show that for every n-point metric space M and positive integer k, there exists a spanning tree T with unweighted diameter O(k) and weight w(T)=O(k⋅n ^1/k )⋅w(MST(M)), and a spanning tree T′ with weight w(T′)=O(k)⋅w(MST(M)) and unweighted diameter O(k⋅n ^1/k ). These trees also achieve an optimal maximum degree. Furthermore, we demonstrate that these trees can be constructed efficiently.     

Triangulating Smooth Submanifolds with Light Scaffolding

We propose an algorithm to sample and mesh a k-submanifold M{\mathcal{M}} of positive reach embedded in \mathbbR^d{\mathbb{R}^{d}} . The algorithm first constructs a crude sample of M{\mathcal{M}} . It then refines the sample according to a prescribed parameter e{\varepsilon} , and builds a mesh that approximates M{\mathcal{M}} . Differently from most algorithms that have been developed for meshing surfaces of \mathbbR ³{\mathbb{R} ^3} , the refinement phase does not rely on a subdivision of \mathbbR ^d{\mathbb{R} ^d} (such as a grid or a triangulation of the sample points) since the size of such scaffoldings depends exponentially on the ambient dimension d. Instead, we only compute local stars consisting of k-dimensional simplices around each sample point. By refining the sample, we can ensure that all stars become coherent leading to a k-dimensional triangulated manifold [^(M)]{\hat{\mathcal{M}}} . The algorithm uses only simple numerical operations. We show that the size of the sample is O(e^-k){O(\varepsilon ^{-k})} and that [^(M)]{\hat{\mathcal{M}}} is a good triangulation of M{\mathcal{M}} . More specifically, we show that M{\mathcal{M}} and [^(M)]{\hat{\mathcal{M}}} are isotopic, that their Hausdorff distance is O(e²){O(\varepsilon ^{2})} and that the maximum angle between their tangent bundles is O(e){O(\varepsilon )} . The asymptotic complexity of the algorithm is T(e) = O(e^-k2-k){T(\varepsilon) = O(\varepsilon ^{-k^2-k})} (for fixed M, d{\mathcal{M}, d} and k).     

Multipliers of a Family of Almost Modular Functions

The goal of this paper is to complete an investigation begun by Cohn and Knopp in their 1994 paper, Application of Dedekind eta-multipliers to modular equations. The paper concerned _k (z), a family of modular forms on ⁰(N) (N a positive integer) with possibly non-trivial multiplier systems. Cohn and Knopp defined new functions _k (z) and a new group containing ⁰(N) and proved that for all S in the larger group and for all k, _k (Sz) = M _k(S) _k (z), where M _k(S)²⁴ = 1. This yielded interesting invariance properties of _k , dependent on the values of M _k(S). Fixing a constant integer e, independent of k, Cohn and Knopp proved that for all k and all S in the larger group, M _k(S) ^e = (±1) ^e . They determined the sign of M _k(S) ^e in many, but not all, cases. In this paper, we give a complete determination of the values of M _k(S) ^e in the remaining cases.     

Fundamental Groups of Closed Manifolds with Positive Curvature and Torus Actions

We determine the fundamental group of a closed n-manifold of positive sectional curvature on which a torus T^k (k large) acts effectively and isometrically. Our results are: (A) If k>(n − 3)/4 and n ≥ 17, then the fundamental group π₁(M) is isomorphic to the fundamental group of a spherical 3-space form. (B) If k ≥ (n/6)+1 and n≠ 11, 15, 23, then any abelian subgroup of π₁(M) is cyclic. Moreover, if the T^k-fixed point set is empty, then π₁(M) is isomorphic to the fundamental group of a spherical 3-space form.Mathematics Subject Classification (2000). 53-XX*Supported partially by NSF Grant DMS 0203164 and by a reach found from Beijing normal university.**Supported partially by NSFC 10371008.     

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.     

Weakly equicompact sets of operators defined on Banach spaces

Let X and Y be Banach spaces. We say that a set (the space of all weakly compact operators from X into Y) is weakly equicompact if, for every bounded sequence (x_n) in X, there exists a subsequence (x_k(n)) so that (Tx_k(n)) is weakly uniformly convergent for T ∈ M. We study some properties of weakly equicompact sets and, among other results, we prove: 1) if is collectively weakly compact, then M^* is weakly equicompact iff M^** x^**={T^** x^** : T ∈ M} is relatively compact in Y for every x^** ∈X^**; 2) weakly equicompact sets are precompact in for the topology of uniform convergence on the weakly null sequences in X. Received: 14 February 2005; revised: 1 June 2005     

A characterization of convexity and central symmetry for planar polygonal sets

LetS be a compact set inR ² with nonempty interior,L(u,k) be a line 〈u, x〉 =k, and ζ _u (k) be the linear Lebesgue measure ofS∩L(u,k). It is well known that for a convexS, ζ _u (k) is unimodal, that is, as a function ofk, it is first non-decreasing and then nonincreasing for everyu∈R ². Further, ifS is centrally symmetric with respect toM, ζ _u (k) achieves maximum whenL(u, k) passes throughM. Converse propositions are considered in this paper for polygonalS with Jordan boundary. It is shown that unimodality alone does not suffice for convexity. However, if ζ _u (k) achieves maximum wheneverL(u, k) passes through some fixed pointM then unimodality yields convexity as well as central symmetry. It is also shown that continuity of ζ _u (k) in the interior of its support implies convexity ofS. This last result, however, is false for non-polygonal sets. Research supported by National Science Foundation Grant GP-28154.     

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