On the first homology of automorphism groups of manifolds with geometric structures

Hermann and Thurston proved that the group of diffeomorphisms with compact support of a smooth manifold M which are isotopic to the identity is a perfect group. We consider the case where M has a geometric structure. In this paper we shall survey on the recent results of the first homology of the diffeomorphism groups which preserve a smooth G-action or a foliated structure on M. We also work in Lipschitz category. This research was partially supported by Grant-in-Aid for Scientific Research (No. 16540058), Japan Society for the Promotion of Science. This research was partially supported by Grant-in-Aid for Scientific Research (No. 14540093), Japan Society for the Promotion of Science.     

Hyperbolic knots spanning accidental Seifert surfaces of arbitrarily high genus

A method for constructing hyperbolic knots each of which bounds accidental incompressible Seifert surfaces of arbitrarily high genus is given. Mathematics Subject Classification (2000):57N10, 57M25.The author was supported in part by Research Fellowships of the Japan Society for the Promotion of Science for Young Scientists.     

Irreducible decompositions of unitary representations of infinite- dimensional groups

This paper concerns the problem of irreducible decompositions of unitary representations of topological groups G, including the group Diff₀(M) of diffeomorphisms with compact support on smooth manifolds M. It is well known that the problem is affirmative, when G is a locally compact, separable group (cf. [3, 4]). We extend this result to infinite-dimensional groups with appropriate quasi-invariant measures, and, in particular, we show that every continuous unitary representation of Diff₀(M) has an irreducible decomposition under a fairly mild condition. This research was partially supported by a Grant-in-Aid for Scientific Research (No.14540167), Japan Socieity of the Promotion of Science.     

Quasiconformal homogeneity of hyperbolic manifolds

We exhibit strong constraints on the geometry and topology of a uniformly quasiconformally homogeneous hyperbolic manifold. In particular, if n3, a hyperbolic n-manifold is uniformly quasiconformally homogeneous if and only if it is a regular cover of a closed hyperbolic orbifold. Moreover, if n3, we show that there is a constant K_n>1 such that if M is a hyperbolic n-manifold, other than which is K–quasiconformally homogeneous, then KK_n.Mathematics Subject Classification (2000): 30C60Research supported in part by NSF grant 070335 and 0305704.Research supported in part by NSF grant 0203698.Research supported in part by the NZ Marsden Fund and the Royal Society (NZ).Research supported in part by NSF grant 0305704.     

Existence of the non-primitive Weierstrass gap sequences on curves of genus 8

We show that for any possible Weierstrass gap sequence L on a non-singular curve of genus 8 with twice the smallest positive non-gap is less than the largest gap there exists a pointed non-singular curve (C, P) over an algebraically closed field of characteristic 0 such that the Weierstrass gap sequence at P is L. Combining this with the result in [6] we see that every possible Weierstrass gap sequence of genus 8 is attained by some pointed non-singular curve. *Partially supported by Grant-in-Aid for Scientific Research (17540046), Japan Society for the Promotion of Science. **Partially supported by Grant-in-Aid for Scientific Research (17540030), Japan Society for the Promotion of Science.     

On the zeros of approximations of the Ramanujan Ξ-function

The analogue of the Riemann hypothesis for the Ramanujan zeta function states that all zeros of the Ramanujan Ξ-function have real zeros only. We study the zeros of approximations of the Ramanujan Ξ-function. This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD, Basic Research Promotion Fund) (KRF-2006-312-C00021).     

Integrability of geodesic flows and isospectrality of Riemannian manifolds

We construct a pair of compact, eight-dimensional, two-step Riemannian nilmanifolds M and M′ which are isospectral for the Laplace operator on functions and such that M has completely integrable geodesic flow in the sense of Liouville, while M′ has not. Moreover, for both manifolds we analyze the structure of the submanifolds of the unit tangent bundle given by two maximal continuous families of closed geodesics with generic velocity fields. The structure of these submanifolds turns out to reflect the above (non)integrability properties. On the other hand, their dimension is larger than that of the Lagrangian tori in M, indicating a degeneracy which might explain the fact that the wave invariants do not distinguish an integrable from a nonintegrable system here. Finally, we show that for M, the invariant eight-dimensional tori which are foliated by closed geodesics are dense in the unit tangent bundle, and that both M and M′ satisfy the so-called Clean Intersection Hypothesis. The author was partially supported by DFG Sonderforschungsbereich 647.     

An obstruction to the positivity of relative Yamabe invariants

For a supergroup , we describe an obstruction to the existence of positive scalar curvature metrics with minimal boundary condition on a compact n-dimensional -manifold W with nonempty boundary M, , in terms of the bordism class [M] in the Stolz obstruction group associated to [St2]. In par ticular, when W is a 5-dimensional spin manifold and the -invariant of a connected component of M is nonzero, we prove that W does not admit a positive scalar curvature metric with minimal boundary condition. Received: 4 July 2001; in final form: 5 February 2002 / Published online: 8 November 2002 RID="*" ID="*" Partially supported by the Grants-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, No. 11640070.     

Integral formulas for closed spacelike hypersurfaces in anti-de Sitter space <Emphasis Type="Italic">H</Emphasis><Stack><Subscript>1</Subscript><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript></Stack> (−1)

In this paper, we study closed k-maximal spacelike hypersurfaces M ⁿ in anti-de Sitter space H ₁ ⁿ⁺¹ (−1) with two distinct principal curvatures and give some integral formulas about these hypersurfaces. The first author was supported by Japan Society for Promotion of Science. The third author was supported by grant Proj. No. R17-2008-001-01000-0 from Korea Science & Engineering Foundation.     

Triangle subgroups of Kleinian groups

We exhibit an interesting new phenomenon concerning certain triangle subgroups Δ of Kleinian groups Γ. Namely the hyperbolic plane Π stabilized by Δ has a precisely invariant tubular neighbourhood. Thus the corresponding 2-orbifoldF ²=∏/Γ _∏ is always embedded in the hyperbolic 3-orbifoldM ³=ℍ³/Γ. We deduce that any two such triangle groups can algebraically intersect only in a finite cyclic subgroup. We give sharp estimates for the radius of these tubular neighbourhoods and present applications concerning the estimation of co-volumes of Kleinian groups containing these triangle subgroups. for J. A. Kalman on the occasion of his 65th birthday Research supported in part by grants from the Australian Research Council, the New Zealand Foundation for Research Science and Technology and the U.K. Scientific and Engineering Research Council.     

Splitting Potential and the Poincaré-Melnikov Method for Whiskered Tori in Hamiltonian Systems

Summary. We deal with a perturbation of a hyperbolic integrable Hamiltonian system with n+1 degrees of freedom. The integrable system is assumed to have n -dimensional hyperbolic invariant tori with coincident whiskers (separatrices). Following Eliasson, we use a geometric approach closely related to the Lagrangian properties of the whiskers, to show that the splitting distance between the perturbed stable and unstable whiskers is the gradient of a periodic scalar function of n phases, which we call splitting potential. This geometric approach works for both the singular (or weakly hyperbolic) case and the regular (or strongly hyperbolic) case, and provides the existence of at least n+1 homoclinic intersections between the perturbed whiskers. In the regular case, we also obtain a first-order approximation for the splitting potential, that we call Melnikov potential. Its gradient, the (vector) Melnikov function, provides a first-order approximation for the splitting distance. Then the nondegenerate critical points of the Melnikov potential give rise to transverse homoclinic intersections between the whiskers. Generically, when the Melnikov potential is a Morse function, there exist at least 2 ⁿ critical points. The first-order approximation relies on the n -dimensional Poincaré-Melnikov method, to which an important part of the paper is devoted. We develop the method in a general setting, giving the Melnikov potential and the Melnikov function in terms of absolutely convergent integrals, which take into account the phase drift along the separatrix and the first-order deformation of the perturbed hyperbolic tori. We provide formulas useful in several cases, and carry out explicit computations that show that the Melnikov potential is a Morse function, in different kinds of examples. Received January 18, 1999; final revision received October 25, 1999; accepted December 12, 1999     

Courbure totale des feuilletages des surfaces

The sum of the total curvatures of two orientable orthogonal foliations on the unit sphereS ²⊂R ³ is at least 4Π. The total curvature of a foliation with saddle singularities on a closed hyperbolic surfaceM is at least (12 Log 2–6 Log 3) ... |χ(M)|.      

Harmonic Functions,Entropy, and a Characterization of the Hyperbolic Space

Let (M ⁿ ,g) be a compact Riemannian manifold with Ric ≥−(n−1). It is well known that the bottom of spectrum λ ₀ of its universal covering satisfies λ ₀≤(n−1)²/4. We prove that equality holds iff M is hyperbolic. This follows from a sharp estimate for the Kaimanovich entropy. The author was partially supported by NSF Grant 0505645.     

Root Decomposition of the Ternary Malcev Algebra <Emphasis Type="Italic">M</Emphasis><Subscript>8</Subscript>

A root decomposition is constructed of the simple eight-dimensional ternary Malcev algebra M ₈. In result, M ₈ is equipped with a structure of a Z ₃-graded ternary algebra.Original Russian Text Copyright © 2005 Pozhidaev A. P.The author was supported by the Russian Science Support Foundation and partially by the Russian Foundation for Basic Research (Grant 05-01-00230).__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 4, pp. 901–906, July–August, 2005.     

Strong Morita equivalence of higher-dimensional noncommutative tori. II

We show that two C*-algebraic noncommutative tori are strongly Morita equivalent if and only if they have isomorphic ordered K ₀-groups and centers, extending N. C. Phillips’s result in the case that the algebras are simple. This is also generalized to the twisted group C*-algebras of arbitrary finitely generated abelian groups. This research was supported by a grant from the Natural Sciences and Engineering Research Council of Canada, held by George A. Elliott.     

Length and Stable Length

This paper establishes the existence of a gap for the stable length spectrum on a hyperbolic manifold. If M is a hyperbolic n-manifold, for every positive ϵ there is a positive δ depending only on n and on ϵ such that an element of π₁(M) with stable commutator length less than δ is represented by a geodesic with length less than ϵ. Moreover, for any such M, the first accumulation point for stable commutator length on conjugacy classes is at least 1/12. Conversely, “most” short geodesics in hyperbolic 3-manifolds have arbitrarily small stable commutator length. Thus stable commutator length is typically good at detecting the thick-thin decomposition of M, and 1/12 can be thought of as a kind of homological Margulis constant. Received: June 2006 Revision: May 2007 Accepted: June 2007     

PAC fields over finitely generated fields

We prove the following theorem for a finitely generated field K: Let M be a Galois extension of K which is not separably closed. Then M is not PAC over K. Research supported by the Minkowski Center for Geometry at Tel Aviv University, established by the Minerva Foundation. This work constitutes a part of the Ph.D. dissertation of L. Bary-Soroker done at Tel Aviv University under the supervision of Prof. Dan Haran.     

Collapsing to Riemannian manifolds with boundary and the convergence of the eigenvalues of the Laplacian

We prove that the eigenvalues of the Laplacian acting on functions converge to those of the limit manifold for a special collapsing family of closed Riemannian manifolds without curvature bounds. The proof uses L ²-analysis.Dedicated to Professor Hajime Urakawa on his sixtieth birthday.The author is partially supported by the Grant-in-Aid for Scientific Research No. 16740026 of the Japan Society for the Promotion of Science.     

Tubular neighborhoods of totally geodesic hypersurfaces in hyperbolic manifolds

Summary We show that a closed embedded totally geodesic hypersurface in a hyperbolic manifold has a tubular neighborhood whose width only depends on the area of the hypersurface. Namely, we construct a tubular neighborhood function and show that an embedded closed totally geodesic hypersurface in a hyperbolic manifold has a tubular neighborhood whose width only depends on the area of the hypersurface (and hence not on the geometry of the ambient manifold). The implications of this result for volumes of hyperbolic manifolds is discussed. In particular, we show that ifM is a hyperbolic 3-manifold containingn rank two cusps andk disjoint totally geodesic embedded closed surfaces, then the volume ofM is bigger than . We also derive a (hyperbolic) quantitative version of the Klein-Maskit combination theorem (in all dimensions) for free products of fuchsian groups. Using this last result, we construct examples to illustrate the qualitative sharpness of our tubular neighborhood function in dimension three. As an application of our results we give an eigenvalue estimate.Oblatum IX-1992 & 18-VIII-1993Research supported in part by NSF Grant DMS-9207019