Densely two-valued metric projections in uniformly convex Banach spaces

For every uniformly convex Banach spaceX with dimX2 there is a residual setU in the Hausdorff metric spaceB(X) of bounded and closed sets inX such that the metric projection generated by a set fromU is two-valued and upper semicontinuous on a dense and everywhere continual subset ofX. For any two closed and separated subsetsM ₁ andM ₂ ofX the points on the equidistant hypersurface which have best approximations both inM ₁ andM ₂ form a dense G set in the induced topology.The author is partially supported by the National Fund for Scientific Research at the Bulgarian Ministry of Science and Education under contract MM 408/94.     

A sharp form of Poincaré type inequalities on balls and spheres

Summary Letu be a real valued function on ann-dimensional Riemannian manifoldM ⁿ. We consider an inequality between theL ^q-norm ofu minus its mean value overM ⁿ and theL ^p-norm of the gradient ofu.The best constant in such inequality is exhibited in the following cases: i)M ⁿ is an open ball inIR ⁿ andp=1, 0<qn/(n–1); ii)M ⁿ is a sphere inIR ⁿ +1 and eitherp=1, 0<qn/(n–1) orp>n,q=.

---

Sunto Siau una funzione a valori reali dafinita su una varietà riemannianan-dimensionaleM ⁿ. Si considera una disuguaglianza tra la normaL ^q diu meno il suo valor medio suM ⁿ e la normaL ^p del gradiente diu.Si determina la costante ottimale in tale disuguaglianza nei seguenti casi: i)M ⁿ è un disco aperto inIR ⁿ ep=1, 0<qn/(n–1); ii)M ⁿ è una sfera inIR ⁿ +1 ep=1, 0<qn/(n–1) oppurep>n,q=.

     

Metrics with harmonic spinors

We show that every closed spin manifold of dimensionn 3 mod 4 with a fixed spin structure can be given a Riemannian metric with harmonic spinors, i.e. the corresponding Dirac operator has a non-trivial kernel (Theorem A). To prove this we first compute the Dirac spectrum of the Berger spheresS ⁿ ,n odd (Theorem 3.1). The second main ingredient is Theorem B which states that the Dirac spectrum of a connected sumM ₁#M ₂ with certain metrics is close to the union of the spectra ofM ₁ and ofM ₂.Partially supported by SFB 256 and by the GADGET program of the EU     

Isometric immersions with homothetical Gauss map

Let f:M be an isometric immersion of an m-dimensional Riemannian manifold M into the n-dimensional Euclidean space. Its Gauss map g:MG _m ( ⁿ ) into the Grassmannian G _m ( ⁿ ) is defined by assigning to every point of M its tangent space, considered as a vector subspace of ⁿ . The third fundamental form b of f is the pull-back of the canonical Riemannian metric on G _m ( ⁿ ) via g. In this article we derive a complete classification of all those f (with flat normal bundle) for which the Gauss map g is homothetical; i.e. b is a constant multiple of the Riemannian metric on M. Using these results we furthermore classify all those f (with flat normal bundle) for which the third fundamental form b is parallel w.r.t. the Levi-Civita connection on M.     

Asymptotics for the Euclidean TSP with power weighted edges

Summary LetU ₁,...,U_n denote i.i.d. random variables with the uniform distribution on [0, 1]², and letT ²T²(U₁,...,U_n) denote the shortest tour throughU ₁,...,U_n with square-weighted edges. By drawing on the quasi-additive structure ofT ² and the boundary rooted dual process, it is shown that lim _n E T ²(U ₁,...,U_n)= for some finite constant .This work was supported in part by NSF Grant DMS-9200656, Swiss National Foundation Grant 21-298333.90, and the US Army Research Office through the Mathematical Sciences Institute of Cornell University, whose assistance is gratefully acknowledged     

On the geometry of flat pseudo-Riemannian homogeneous spaces

Let M = ? _s ⁿ /Γ be a complete flat pseudo-Riemannian homogeneous manifold, Γ ? Iso(? _s ⁿ ) its fundamental group and G the Zariski closure of Γ in Iso(? _s ⁿ ). We show that the G-orbits in ? _s ⁿ are affine subspaces and affinely diffeomorphic to G endowed with the (0)-connection. If the restriction of the pseudo-scalar product on ? _s ⁿ to the G-orbits is nondegenerate, then M has abelian linear holonomy. If additionally G is not abelian, then G contains a certain subgroup of dimension 6. In particular, for non-abelian G, orbits with non-degenerate metric can appear only if dim G ≥ 6. Moreover, we show that ? _s ⁿ is a trivial algebraic principal bundle G → M → ? ^n?k . As a consquence, M is a trivial smooth bundle G/Γ → M → ? ^n?k with compact fiber G/Γ.     

Cylindricity of tangent bundles of strongly parabolic metrics and strongly parabolic surfaces

It is proved that if the intrinsic zero-index of the Sasaki metric of a tangent bundleTM ⁿ isk, thenk is even andM ⁿ is the metric product of a Riemannian manifoldM ^n–k/2 by a Euclidean spaceE ^k/2, whileTM ⁿ is the metric product ofTM ^n–k/2 byE ^k . An expression is obtained for the second fundamental forms of the imbeddingTF ^l TM ⁿ in terms of the second fundamental forms of the imbeddingF ^l M ⁿ and the curvature tensor ofM ⁿ . It is proved thatTF ^l is totally geodesic inTM ⁿ if and only ifF ^l is totally geodesic inM ⁿ .Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 12–32.     

The error of polytopal approximation with respect to the symmetric difference metric and theL p metric

LetM be a convex body in ℝ ^d withC ₊ ³ boundary. Polytopal approximation ofM with respect to the symmetric difference metric (or theL _p metric) is considered, if the approximating polytope has at mostn facets (or at mostn vertices). The asymptotic behavior of the distance of the best approximating polytope is well-known; it is of order . This paper provides an estimate of order for the error term. Supported by OTKA, Hungary. The paper was written during a visit at University College London.     

The Weyl group and the normalizer of a conditional expectation

We define a discrete groupW(E) associated to a faithful normal conditional expectationE : M N forN M von Neuman algebras. This group shows the relation between the unitary groupU _N and the normalizerN _E ofE, which can be also considered as the isotropy of the action of the unitary groupU _M ofM onE. It is shown thatW(E) is finite if dimZ(N)< and bounded by the index in the factor case. Also sharp bounds of the order ofW(E) are founded.W(E) appears as the fibre of a covering space defined on the orbit ofE by the natural action of the unitary group ofM. W(E) is computed in some basic examples.     

Total Scalar Curvature and L 2 Harmonic 1-Forms on a Minimal Hypersurface in Euclidean Space

Let M ⁿ , n 3, be a complete oriented immersed minimal hypersurface in Euclidean space R ⁿ⁺¹. We show that if the total scalar curvature on M is less than the n/2 power of 1/C _s , where C _s is the Sobolev constant for M, then there are no L ² harmonic 1-forms on M. As corollaries, such a minimal hypersurface contains no nontrivial harmonic functions with finite Dirichlet integral and so it has only one end. This implies finally that M is a hyperplane.     

Weakly symmetric spaces and bounded symmetric domains

LetG be a connected, simply-connected, real semisimple Lie group andK a maximal compactly embedded subgroup ofG such thatD=G/K is a hermitian symmetric space. Consider the principal fiber bundleM=G/K _s G/K, whereK _s is the semisimple part ofK=K _s ·Z _K ⁰ andZ _K ⁰ is the connected center ofK. The natural action ofG onM extends to an action ofG ¹=G×Z _K ⁰ . We prove as the main result thatM is weakly symmetric with respect toG ¹ and complex conjugation. In the case whereD is an irreducible classical bounded symmetric domain andG is a classical matrix Lie group under a suitable quotient, we provide an explicit construction ofM=D×S ¹ and determine a one-parameter family of Riemannian metrics onM invariant underG ¹. Furthermore,M is irreducible with respect to . As a result, this provides new examples of weakly symmetric spaces that are nonsymmetric, including those already discovered by Selberg (cf. [M]) for the symplectic case and Berndt and Vanhecke [BV1] for the rank-one case.Research partially supported by an NSF grant. The author wishes to thank the International Erwin Schroedinger Institute for its hospitality during the preparation of this paper.     

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.     

Collapsed Riemannian manifolds with bounded diameter and bounded covering geometry

We study the class ofn-Riemannian manifolds in the title such that the torsion elements in the fundamental group have a definite bound on their orders. Our main result asserts the existence of a kind of generalized Seifert fiber structure onM ⁿ , for which the fundamental group of fibers injects into that ofM ⁿ . This provides a necessary and sufficient topological condition for a manifold to admit a sufficiently collapsed metric in our class. Among other consequences we obtain a strengthened version of the gap conjecture in this context.The work of the first author is partially supported by NSF Grant DMS 9303999. The work of the second author is supported by MSRI through NSF grant DMS 9022140 and partially supported by NSF Grant DMS 9204095.     

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.      

Mapping Properties of the Laplacian in Sobolev Spaces of Forms on Complete Hyperbolic Manifolds

For a complete manifold M with constant negative curvature, weprove that the rough Laplacian _R defines topological isomorphisms in the scale of Sobolev spaces H _p ^s (M) ofp-forms for all p, 0 < p< n. For the de Rham Laplacian and M= ⁿ , the Poincaréhyperbolic space, this is shown too for 0 pn,pn/2, p (n± 1)/2.     

A note on theΠ 2 0 -induction rule

It is well-known (due to C. Parsons) that the extension of primitive recursive arithmeticPRA by first-order predicate logic and the rule of ₂ ⁰ -induction ₂ ⁰ -IR is ₂ ⁰ -conservative overPRA. We show that this is no longer true in the presence of function quantifiers and quantifier-free choice for numbersAC ^0,0-qf. More precisely we show that :=PRA ² + ₂ ⁰ -IR+AC ^0,0-qf proves the totality of the Ackermann function, wherePRA ² is the extension ofPRA by number and function quantifiers and ₂ ⁰ -IR may contain function parameters.This is true even forPRA ² + ₁ ⁰ -IR+ ₂ ⁰ -IR ^–+AC ^0,0-qf, where ₂ ⁰ -IR ^– is the restriction of ₂ ⁰ -IR without function parameters.I am grateful to an anonymous referee whose suggestions led to an improved discussion of our results     

Hypersurfaces with Flat Centroaffine Metric and Equations of Associativity

It is demonstrated that hypersurfaces M ⁿ A ⁿ⁺¹ with a flat centroaffine metric are governed by a system of nonlinear PDEs known as the equations of associativity of 2-dimensional topological field theory. In the case of surfaces M ²A ³ this system reduces to a single third-order PDE, f _{x x x} f _{y y y} –f _{x x y} f _{x y y} =1 where x and y are the asymptotic coordinates on M ².     

Weakly Associated Prime Filtration

Let R be a (not necessarily Noetherian) commutative ring and let M be a (not necessarily finitely generated) R-module. We characterize the modules with only finitely many weakly associated primes as those modules M admitting a chain 0 = M ₀ M ₁ ... M _n = M of submodules together with prime ideals p₁, p₂,...,p _n such that the set of weakly associated primes of M _i /M _i-1 is equal to {p _i } for all 1 i n. Let M = gr_a(M) = _n0a ⁿ M/a ⁿ⁺¹ M be the corresponding graded module over the graded ring R = gr_a(R) = _n0a ⁿ /a ⁿ⁺¹. It is shown that the union of the set of weakly associated primes of.....     

On the normal bundle of a complex submanifold of a locally conformal Kaehler manifold

We investigate the existence of parallel sections in the normal bundle of a complex submanifold of a locally conformal Kaehler manifold with positive holomorphic bisectional curvature. Also, ifM is a quasi-Einstein generalized Hopf manifold then we show that any complex submanifoldM with a flat normal connection ofM is quasi-Einstein, too, provided thatM is tangent to the Lee field ofM. As an application of our results we study the geometry of the second fundamental form of a complex submanifold in the locally conformal Kaehler sphereQ _m (of a complex Hopf manifoldS ^2m+1 ×S ¹).     

Markov traces on universal Jones algebras and subfactors of finite index

We construct one parameter families of inclusions of nonhyperfinite type II₁ factorsN ^s M ^s , with trivial relative commutant (N ^s )M ^s = and with the Jones' index [M ^s N ^s ]=s ranging over the sets{4 cos²/n|n4}[4, ), by using Markov traces on certain universal algebras associated to a given algebra and to the Jones' sequence of projections. This solves the problem of finding all possible values of indices of subfactors with trivial relative commutant in arbitrary type II₁ factors, by showing that any numbers>4 can occur.This work was partially supported by an NSF grant DMS-8908281