Blaschke's rolling theorem for manifolds¶with boundary

For a complete Riemannian manifold M with compact boundary ∂M denote by $\Cut$ the cut locus of $\f M$ in M. The rolling radius of M is roll(M)≔ dist(∂M, ?_{∂ M} ). Let Focal(∂M) be the focal distance of ∂M in M. Then conditions are given that imply the equality roll(M)= Focal(∂M). This generalizes Blaschke's rolling theorem from bounded convex domains in Euclidean space to more general Euclidean domains and to Riemannian manifolds with boundary. Received: 28 August 1998 / Revised version: 8 February 1999     

Commensurability of Hyperbolic Manifolds with Geodesic Boundary

Suppose , let M ₁, M ₂ be n-dimensional connected complete finite-volume hyperbolic manifolds with nonempty geodesic boundary, and suppose that π₁ (M ₁) is quasi-isometric to π₁ (M ₂) (with respect to the word metric). Also suppose that if n=3, then ∂M ₁ and ∂M ₂ are compact. We show that M ₁ is commensurable with M ₂. Moreover, we show that there exist homotopically equivalent hyperbolic 3-manifolds with non-compact geodesic boundary which are not commensurable with each other. We also prove that if M is as M ₁ above and G is a finitely generated group which is quasi-isometric to π₁ (M), then there exists a hyperbolic manifold with geodesic boundary M′ with the following properties: M′ is commensurable with M, and G is a finite extension of a group which contains π₁ (M′) as a finite-index subgroupMathematics Subject Classification (2000). Primary: 20F65; secondary: 30C65, 57N16     

ESTIMATE FOR DISTANCE-COEFFICIENT OF MATRICES

ＥＳＴＩＭＡＴＥＦＯＲＤＩＳＴＡＮＣＥ┐ＣＯＥＦＦＩＣＩＥＮＴＯＦＭＡＴＲＩＣＥＳＬＵＦＡＮＧＹＡＮＡｂｓｔｒａｃｔ．ＭｏｔｉｖａｔｉｏｎｏｆｔｈｉｓｐａｐｅｒｉｓａｎｏｐｅｎｐｒｏｂｌｅｍｅｘｐｏｓｅｄｂｙＢ．Ｂｅａｕｚａｍｙ［１］．ＬｅｔＭｂｅａ...     

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     

The reconstruction theorem for endomorphisms

The reconstruction theorem deals with dynamical systems which are given by a map ψ : M → M together with a read out function 𝒻 : M → ℝ. Restricting to the cases where ψ is a diffeomorphism, it states that for generic (ψ, 𝒻 ) there is a bijection between elements x ∈ M and corresponding sequences (𝒻(x), 𝒻 (ψ(x)), . . . , 𝒻 (ψ ^{k -1}(x))) of k successive observations, at least for k sufficiently big. This statement turns out to be wrong in cases where ψ is an endomorphism. In the present paper we derive a version of this theorem for endomorphisms (and which is equivalent to the original theorem in the case of diffeomorphisms). It justifies, also for dynamical systems given by endomorphisms, the algorithms for estimating dimensions and entropies of attractors from obervations. Received: 20 June 2002     

Generalizations of coatomic modules

For a ring R and a right R-module M, a submodule N of M is said to be δ-small in M if, whenever N+X=M with M/X singular, we have X=M. Let ℘ be the class of all singular simple modules. Then δ(M)=Σ{ L≤ M| L is a δ-small submodule of M} = Re _jm(℘)=∩{ N⊂ M: M/N∈℘. We call M δ-coatomic module whenever N≤ M and M/N=δ(M/N) then M/N=0. And R is called right (left) δ-coatomic ring if the right (left) R-module R _R(_RR) is δ-coatomic. In this note, we study δ-coatomic modules and ring. We prove M=⊕ _i=1 ⁿ M_i is δ-coatomic if and only if each M _i (i=1,…, n) is δ-coatomic.     

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     

Central extensions of current groups

 In this paper we study central extensions of the identity component G of the Lie group C ^∞ (M,K) of smooth maps from a compact manifold M into a Lie group K which might be infinite-dimensional. We restrict our attention to Lie algebra cocycles of the form ω(ξ,η)=[κ(ξ,dη)], where κ:𝔨×𝔨→Y is a symmetric invariant bilinear map on the Lie algebra 𝔨 of K and the values of ω lie in Ω¹(M,Y)/dC ^∞ (M,Y). For such cocycles we show that a corresponding central Lie group extension exists if and only if this is the case for M=𝕊¹. If K is finite-dimensional semisimple, this implies the existence of a universal central Lie group extension of G. The groups Diff(M) and C ^∞ (M,K) act naturally on G by automorphisms. We also show that these smooth actions can be lifted to smooth actions on the central extension if it also is a central extension of the universal covering group G˜ of G. Received: 11 April 2002 / Revised version: 28 August 2002 / Published online: 28 March 2003     

Univalent holomorphic mappings on a complex manifold with a C1 exhaustion function

Let M be a complex manifold with a exhaustion function ρ. Assume that ρ attains its minimum at a single point o and dρ≠ 0 on M\{o}. In this case, we will give a necessary condition and a sufficient condition for locally biholomorphic mappings on M to be biholomorphic and to have Φ-like images. Received: 15 May 1998 / Revised version: 8 March 1999     

Convexes divisibles IV : Structure du bord en dimension 3

Divisible convex sets IV: Boundary structure in dimension 3 Let Ω be an indecomposable properly convex open subset of the real projective 3-space which is divisible i.e. for which there exists a torsion free discrete group Γ of projective transformations preserving Ω such that the quotient M := Γ\Ω is compact. We study the structure of M and of ∂Ω, when Ω is not strictly convex: The union of the properly embedded triangles in Ω projects in M onto an union of finitely many disjoint tori and Klein bottles which induces an atoroidal decomposition of M. Every non extremal point of ∂Ω is on an edge of a unique properly embedded triangle in Ω and the set of vertices of these triangles is dense in the boundary of Ω (see Figs. 1 to 4). Moreover, we construct examples of such divisible convex open sets Ω.      

The quotient field as a torsion-free covering module

R will denote a commutative integral domain with quotient fieldQ. A torsion-free cover of a moduleM is a torsion-free moduleF and anR-epimorphism σ:F→M such that given any torsion-free moduleG and λ∈Hom _R (G, M) there exists μ∈Hom _R (G,F) such that σμ=λ. It is known that ifM is a maximal ideal ofR, R→R/M is a torsion-free cover if and only ifR is a maximal valuation ring. LetE denote the injective hull ofR/M thenR→R/M extends to a homomorphismQ→E. We give necessary and sufficient conditions forQ→E to be a torsion-free cover.     

A criterion of density for solutions of Poisson-driven SDEs

We construct a Dirichlet structure related to a Poisson measure on ℝ⁺×M, where M is a general measured space, with compensator dt⊗dv. We obtain a criterion of density for variables in the domain of the Dirichlet form and we apply it to S.D.E. driven by this Poisson measure. Received: 15 May 1999 / Revised version: 23 February 2000 / Published online: 12 October 2000     

Topological rigidity of Hamiltonian loops and quantum homology

This paper studies the question of when a loop φ={φ _t }_{0≤ t ≤1} in the group Symp(M,ω) of symplectomorphisms of a symplectic manifold (M,ω) is isotopic to a loop that is generated by a time-dependent Hamiltonian function. (Loops with this property are said to be Hamiltonian.) Our main result is that Hamiltonian loops are rigid in the following sense: if φ is Hamiltonian with respect to ω, and if φ′ is a small perturbation of φ that preserves another symplectic form ω′, then φ′ is Hamiltonian with respect to ω′. This allows us to get some new information on the structure of the flux group, i.e. the image of π₁(Symp(M,ω)) under the flux homomorphism. We give a complete proof of our result for some manifolds, and sketch the proof in general. The argument uses methods developed by Seidel for studying properties of Hamiltonian loops via the quantum homology of M. Oblatum 31-X-1997 & 20-III-1998 / Published online: 14 October 1998     

Extension of symmetries on Einstein manifolds with boundary

We investigate the validity of the isometry extension property for (Riemannian) Einstein metrics on compact manifolds M with boundary ∂M. Given a metric γ on ∂M, this is the issue of whether any Killing field X of (∂M, γ) extends to a Killing field of any Einstein metric (M, g) bounding (∂M, γ). Under a mild condition on the fundamental group, this is proved to be the case at least when X preserves the mean curvature of ∂M in (M, g).     

Nielsen’s theorem for model aspherical manifolds

The main issue of this paper is the discussion of Nielsen’s realisation-problem for aspherical manifolds arising from (generalised) Seifert fiber space constructions. We present sufficient conditions on such “model” aspherical manifoldsM to have that a finite abstract kernel ψ:G → Out (π₁ (M)) can be (effectively) geometrically realised by a group of fiber preserving homeomorphisms ofM if and only if ψ can be realised by an (admissible) group extension 1 → (π₁ (M)) →E’ →G → 1. Then an algebraic approach to a (partial) study of the symmetry ofM is possible. Our result covers all situations already described in literature and we show with an example that we also deal with other types of Seifert fiber space constructions which were not yet treated before. Research Assistant of the Belgian National Fund for Scientific Research (N.F.W.O.)     

Maximality of analytic operator algebras

LetM be a σ-finite von Neumann algebra andα be an action ofR onM. LetH ^∞(α) be the associated analytic subalgebra; i.e.H ^∞(α)={X ∈M: sp_∞(X) [0, ∞]}. We prove that every σ-weakly closed subalgebra ofM that containsH ^∞(α) isH ^∞(γ) for some actionγ ofR onM. Also we show that (assumingZ(M)∩M ^α = Ci)H ^∞(α) is a maximal σ-weakly closed subalgebra ofM if and only if eitherH ^∞(α)={A ∈M: (I−F)xF=0} for some projectionF ∈M, or sp(α)=Γ(α).     

On the pontryagin-steenrod-wu theorem

We present a short and direct proof (based on the Pontryagin-Thom construction) of the following Pontryagin-Steenrod-Wu theorem: (a) LetM be a connected orientable closed smooth (n + 1)-manifold,n≥3. Define the degree map deg: π ⁿ (M) →H ⁿ (M; ℤ) by the formula degf =f*[S ⁿ ], where [S ⁿ ] εH ⁿ (M; ℤ) is the fundamental class. The degree map is bijective, if there existsβ εH ₂(M, ℤ/2ℤ) such thatβ ·w ₂(M) ε 0. If suchβ does not exist, then deg is a 2-1 map; and (b) LetM be an orientable closed smooth (n+2)-manifold,n≥3. An elementα lies in the image of the degree map if and only ifρ ₂ α ·w ₂(M)=0, whereρ ₂: ℤ → ℤ/2ℤ is reduction modulo 2.     

Dimension minimale des orbites d'une action de ℝn sur une variété de contact

By differentiability we means C ^∞ differentiability. Recall that the span of a manifold M is the maximum number of linearly independent vector fields in every point. The aim of this paper is to relate the span of M with the minimal dimension of the orbits of a differentiable action ϕ:ℝ ⁿ ×M→M that keeps a contact structure.

---

Received: 19 July 2000 / Revised version: 20 April 2001     

On the 3-Connected Matroids That are Minimal Having a Fixed Restriction

 Let N be a restriction of a 3-connected matroid M and let M ^′ be a 3-connected minor of M that is minimal having N as a restriction. This paper gives a best-possible upper bound on |E(M ^′)−E(N)|. Received: July 17, 1998 Revised: March 15, 1999     

On a problem involving bounded epimorphisms of lattices

A latticeL satisfies thebounded epimorphism condition if wheneverM is a lattce and ϕ:M →L is a bounded epimorphism, there exists a homomorphismι:L →M such that ιϕ=id _L . we show that the class of finite lattices satisfying the bounded epimorphism condition is properly contained in the class of finite lattices satisfying Whitman's condition (W). We also introduce a property defined for finite lattices that is sufficient to imply the bounded epimorphism condition. Presented by B. Jónsson.