We study the large-scale geometry of 3-manifolds with nontrivial 2-dimensional bounded cohomology, with a view to proving a weak version of the geometrization conjecture for such manifolds.
In this paper we develop several algebraic structures on the simplicial cochains of a triangulated manifold that are analogues of objects in differential geometry. We study a cochain product and prove several statements about its convergence to the wedge product on differential forms. Also, for cochains with an inner product, we define a combinatorial Hodge star operator, and describe some applications, including a combinatorial period matrix for surfaces. We show that for a particularly nice cochain inner product, these combinatorial structures converge to their continuum analogues as the mes…
We elaborate on an idea of M. Abouzaid of equipping the Morse cochain complex of a smooth Morse function on a closed oriented manifold with the structure of an $A_\infty$-algebra. This is a variation on K. Fukaya's definition of Morse-$A_\infty$-categories for closed oriented manifolds involving families of Morse functions. The purpose of this article is to provide a coherent and detailed treatment of Abouzaid's approach including a discussion of all relevant analytic notions and results.
We prove that the algebra of singular cochains on a smooth manifold, equipped with the cup product, is equivalent to the A-infinity structure on the Lagrangian Floer cochain group associated to the zero section in the cotangent bundle. More generally, given a pair of smooth manifolds of the same dimension with embeddings of a submanifold B with isomorphic normal bundles, we construct a differential graded category from the singular cochains of these spaces, and prove that it is equivalent to the A-infinity category obtained by considering exact Lagrangian embeddings intersecting cleanly along …
Let X be a topological space, and let C(X) be the complex of singular cochains on X with real coefficients. We denote by Cc(X) the subcomplex given by continuous cochains, i.e. by such cochains whose restriction to the space of simplices (endowed with the compact-open topology) defines a continuous real function. We prove that at least for "reasonable" spaces the inclusion of Cc(X) in C(X) induces an isomorphism in cohomology, thus answering a question posed by Mostow. We also prove that such isomorphism is isometric with respect to the L^infty-norm on cohomology defined by Gromov. As an appli…
We develop an algebro-analytic framework for the systematic study of the continuous bounded cohomology of Lie groups in large degree. As an application, we examine the continuous bounded cohomology of PSL(2,R) with trivial real coefficients in all degrees greater than two. We prove a vanishing result for strongly reducible classes, thus providing further evidence for a conjecture of Monod. On the cochain level, our method yields explicit formulas for cohomological primitives of arbitrary bounded cocycles.
Bounded-type 3-manifolds arise as combinatorially bounded gluings of irreducible 3-manifolds chosen from a finite list. We prove effective hyperbolization and effective rigidity for a broad class of 3-manifolds of bounded type and large gluing heights. Specifically, we show the existence and uniqueness of hyperbolic metrics on 3-manifolds of bounded type and large heights, and prove existence of a bilipschitz diffeomorphism to a combinatorial model described explicitly in terms of the list of irreducible manifolds, the topology of the identification, and the combinatorics of the gluing maps.
We study the bounded fundamental class in the top dimensional bounded cohomology of negatively curved manifolds with infinite volume. We prove that the bounded fundamental class of $M$ vanishes if $M$ is geometrically finite. Furthermore, when $M$ is a $\mathbb{R}$-rank one locally symmetric space, we show that the bounded fundamental class of $M$ vanishes if and only if the Riemannian volume form on $M$ is the differential of a bounded differential form on $M$.
For a single cusped hyperbolic 3-manifold, Hodgson proved that there are only finitely many Dehn fillings of it whose trace fields have bounded degree. In this paper, we conjecture the same for manifolds with more cusps, and give the first positive results in this direction. For example, in the 2-cusped case, if a manifold has linearly independent cusp shapes, we show that the manifold has the desired property.To prove the results, we use the proof of the Bounded Height Conjecture in arithmetic geometry.
We give some constraints on intersection forms of spin 4-manifolds bounded by Seifert rational homology 3-spheres in terms of the $\barμ$ invariant and compare them with those in terms of the $κ$ invariant. We also show that the difference between $κ$ and $-\barμ$ for a Seifert rational homology 3-sphere is at most 2, and under certain extra conditions the difference is 0.
A surgery classification theory is introduced for manifolds of bounded geometry up to quasi-isometry. The Borel conjecture for this theory is proven for flat Euclidean space.
In this paper, we prove the Bounded Height Conjecture which the author formulated in [2]. As a corollary, it follows that there are only a finite number of hyperbolic three manifolds of bounded volume and trace field degree.
We determine the contributions of isolated singularities of spin V 4-manifolds to the index of the Dirac operator over them. From these data we derive certain constraints on the intersection forms of spin 4-manifolds bounded by spherical 3-manifolds, and also on the embeddings of the real projective planes into 4-manifolds.
For non-compact manifolds with boundary we prove that bounded geometry defined by coordinate-free curvature bounds is equivalent to bounded geometry defined using bounds on the metric tensor in geodesic coordinates. We produce a nice atlas with subordinate partition of unity on manifolds with boundary of bounded geometry, and we study the change of geodesic coordinate maps.
In this paper, we investigate analytical and geometric properties of certain non-compact boundary-manifolds, namely manifolds of bounded geometry. One result are strong Bochner type vanishing results for the L^2-cohomology of these manifolds: if e.g. a manifold admits a metric of bounded geometry which outside a compact set has nonnegative Ricci curvature and nonnegative mean curvature (of the boundary) then its first relative L^2-cohomology vanishes (this in particular answers a question of Roe). We prove the Hodge-de Rham-theorem for L^2-cohomology of oriented boundary-manifolds of bounded g…
We prove that simply connected open Riemannian manifolds of bounded geometry, linear growth and sublinear filling growth (e.g. finite filling area) are simply connected at infinity.
Fold maps are higher dimensional versions of Morse functions, which play important roles in the studies of smooth manifolds, and such general maps also have been fundamental tools in the studies of smooth manifolds by using generic maps. In this paper, we study {\it simple} fold maps, which are fold maps such that any connected component of the inverse image of each singular value includes at most one singular point. More precisely, we consider simple fold maps having simple structures locally or globally and show that the source manifolds are bounded by (PL) manifolds obtained by considering …
Verifying a conjecture of Gromov we establish a generalized Margulis Lemma for manifolds with lower Ricci curvature bound. Among the various applications are finiteness results for fundamental groups of compact $n$-manifolds with upper diameter and lower Ricci curvature bound modulo nilpotent normal subgroups.
We study noncompact, complete, finite volume, Riemannian 4-manifolds $M$ with sectional curvature $-1<K<0$. We prove that $π_1 M$ cannot be a 3-manifold group. A classical theorem of Gromov says that $M$ is homeomorphic to the interior of a compact manifold $\M$ with boundary $\partial\barM$. We show that for each $π_1$-injective boundary component $C$ of $\M$, the map $i_*$ induced by inclusion $i\colon C\rightarrow \M$ has infinite index image $i_*(π_1 C)$ in $π_1 \M$. We also prove that $M$ cannot be homotoped to be contained in $\partial\M$.
We show that, if a rational homology 3-sphere $Y$ bounds a positive definite smooth 4-manifold, then there are finitely many negative definite lattices, up to the stable-equivalence, which can be realized as the intersection form of a smooth 4-manifold bounded by $Y$. To this end, we make use of constraints on definite forms bounded by $Y$ induced from Donaldson's diagonalization theorem, and correction term invariants due to Frøyshov, and Ozsváth and Szabó. In particular, we prove that all spherical 3-manifolds satisfy such finiteness property.