arXiv subjects

Bruno Martelli

Publications and source records attributed to Bruno Martelli.

At least 37 records · Page 2Linked to original sources

arXiv2018

Four-manifolds with shadow-complexity one

We study the set of all closed oriented smooth 4-manifolds experimentally, according to a suitable complexity defined using Turaev's shadows. This complexity roughly measures how complicated the 2-skeleton of the 4-manifold is. We characterise here all the closed oriented 4-manifolds that have complexity at most one. They are generated by a certain set of 20 blocks, that are some basic 4-manifolds with boundary consisting of copies of $S^2 \times S^1$, plus connected sums with some copies of $\mathbb{CP}^2$ with either orientation. All the manifolds generated by these blocks are doubles. Many of these are doubles of 2-handlebodies and are hence efficiently encoded using finite presentations of groups. In contrast to the complexity zero case, in complexity one there are also plenty of doubles that are not doubles of 2-handlebodies, like for instance $\mathbb{RP}^3 \times S^1$.

math.GT↗

arXiv2017

Hyperbolic Dehn filling in dimension four

We introduce and study some deformations of complete finite-volume hyperbolic four-manifolds that may be interpreted as four-dimensional analogues of Thurston's hyperbolic Dehn filling. We construct in particular an analytic path of complete, finite-volume cone four-manifolds $M_t$ that interpolates between two hyperbolic four-manifolds $M_0$ and $M_1$ with the same volume $\frac {8}3π^2$. The deformation looks like the familiar hyperbolic Dehn filling paths that occur in dimension three, where the cone angle of a core simple closed geodesic varies monotonically from $0$ to $2π$. Here, the singularity of $M_t$ is an immersed geodesic surface whose cone angles also vary monotonically from $0$ to $2π$. When a cone angle tends to $0$ a small core surface (a torus or Klein bottle) is drilled producing a new cusp. We show that various instances of hyperbolic Dehn fillings may arise, including one case where a degeneration occurs when the cone angles tend to $2π$, like in the famous figure-eight knot complement example. The construction makes an essential use of a family of four-dimensional deforming hyperbolic polytopes recently discovered by Kerckhoff and Storm.

math.GT↗

arXiv2016

Pair of pants decomposition of 4-manifolds

Using tropical geometry, Mikhalkin has proved that every smooth complex hypersurface in $\mathbb{CP}^{n+1}$ decomposes into pairs of pants: a pair of pants is a real compact $2n$-manifold with cornered boundary obtained by removing an open regular neighborhood of $n+2$ generic hyperplanes from $\mathbb{CP}^n$. As is well-known, every compact surface of genus $g\geqslant 2$ decomposes into pairs of pants, and it is now natural to investigate this construction in dimension 4. Which smooth closed 4-manifolds decompose into pairs of pants? We address this problem here and construct many examples: we prove in particular that every finitely presented group is the fundamental group of a 4-manifold that decomposes into pairs of pants.

math.GT↗

arXiv2015

Hyperbolic four-manifolds

This is a short survey on finite-volume hyperbolic four-manifolds. We describe some general theorems and focus on the concrete examples that we found in the literature. The paper contains no new result.

math.GT↗

arXiv2015

Spines of minimal length

In this paper we raise the question whether every closed Riemannian manifold has a spine of minimal area, and we answer it affirmatively in the surface case. On constant curvature surfaces we introduce the spine systole, a continuous real function on moduli space that measures the minimal length of a spine in each surface. We show that the spine systole is a proper function and has its global minima precisely on the extremal surfaces (those containing the biggest possible discs). We also study minimal spines, which are critical points for the length functional. We completely classify minimal spines on flat tori, proving that the number of them is a proper function on moduli space. We also show that the number of minimal spines of uniformly bounded length is finite on hyperbolic surfaces.

math.GT↗

arXiv2015

Shadows, ribbon surfaces, and quantum invariants

Eisermann has shown that the Jones polynomial of a $n$-component ribbon link $L\subset S^3$ is divided by the Jones polynomial of the trivial $n$-component link. We improve this theorem by extending its range of application from links in $S^3$ to colored knotted trivalent graphs in $\#_g(S^2\times S^1)$, the connected sum of $g\geqslant 0$ copies of $S^2\times S^1$. We show in particular that if the Kauffman bracket of a knot in $\#_g(S^2\times S^1)$ has a pole in $q=i$ of order $n$, the ribbon genus of the knot is at least $\frac {n+1}2$. We construct some families of knots in $\#_g(S^2\times S^1)$ for which this lower bound is sharp and arbitrarily big. We prove these estimates using Turaev shadows.

math.GT↗

arXiv2013

Exceptional Dehn surgery on the minimally twisted five-chain link

We consider in this paper the minimally twisted chain link with 5 components in the 3-sphere, and we analyze the Dehn surgeries on it, namely the Dehn fillings on its exterior M5. The 3-manifold M5 is a nicely symmetric hyperbolic one, filling which one gets a wealth of hyperbolic 3-manifolds having 4 or fewer (including 0) cusps. In view of Thurston's hyperbolic Dehn filling theorem it is then natural to face the problem of classifying all the exceptional fillings on M5, namely those yielding non-hyperbolic 3-manifolds. Here we completely solve this problem, also showing that, thanks to the symmetries of M5 and of some hyperbolic manifolds resulting from fillings of M5, the set of exceptional fillings on M5 is described by a very small amount of information.

math.GT↗

arXiv2013

Hyperbolic four-manifolds with one cusp

We introduce a simple algorithm which transforms every four-dimensional cubulation into a cusped finite-volume hyperbolic four-manifold. Combinatorially distinct cubulations give rise to topologically distinct manifolds. Using this algorithm we construct the first examples of finite-volume hyperbolic four-manifolds with one cusp. More generally, we show that the number of $k$-cusped hyperbolic four-manifolds with volume smaller than V grows like $C^{V log V}$ for any fixed $k$. As a corollary, we deduce that the 3-torus bounds geometrically a hyperbolic manifold.

math.GT↗

arXiv2012

An analytic family of representations for the mapping class group of punctured surfaces

We use quantum invariants to define an analytic family of representations for the mapping class group of a punctured surface. The representations depend on a complex number A with |A| <= 1 and act on an infinite-dimensional Hilbert space. They are unitary when A is real or imaginary, bounded when |A|<1, and only densely defined when |A| = 1 and A is not a root of unity. When A is a root of unity distinct from 1, -1, i, -i the representations are finite-dimensional and isomorphic to the "Hom" version of the well-known TQFT quantum representations. The unitary representations in the interval [-1,0] interpolate analytically between two natural geometric unitary representations, the SU(2)-character variety representation studied by Goldman and the multicurve representation induced by the action of the mapping class group on multicurves. The finite-dimensional representations converge analytically to the infinite-dimensional ones. We recover Marche and Narimannejad's convergence theorem, and Andersen, Freedman, Walker and Wang's asymptotic faithfulness, that states that the image of a non-central mapping class is always non-trivial after some level r. When the mapping class is pseudo-Anosov we give a simple polynomial estimate of the level r in term of its dilatation.

math.GT↗

arXiv2012

A finite set of local moves for Kirby calculus

We exhibit a finite set of local moves that connect any two surgery presentations of the same 3-manifold via framed links in the three-sphere. The moves are handle-slides and blow-downs/ups of a particular simple kind.

math.GT↗

arXiv2012

Stable complexity and simplicial volume of manifolds

Let the complexity of a closed manifold M be the minimal number of simplices in a triangulation of M. Such a quantity is clearly submultiplicative with respect to finite coverings, and by taking the infimum on all finite coverings of M normalized by the covering degree we can promote it to a multiplicative invariant, a characteristic number already considered by Milnor and Thurston, which call the "stable complexity" of M. We study here the relation between the stable complexity of M and Gromov's simplicial volume ||M||. It is immediate to show that ||M|| is smaller or equal than the stable complexity of M and it is natural to ask whether the two quantities coincide on aspherical manifolds with residually finite fundamental group. We show that this is not always the case: there is a constant C_n<1 such that ||M|| is smaller than C_n times the stable complexity for any hyperbolic manifold M of dimension at least 4. The question in dimension 3 is still open in general. We prove that the stable complexity equals ||M|| for any aspherical irreducible 3-manifold M whose JSJ decomposition consists of Seifert pieces and/or hyperbolic pieces commensurable with the figure-eight knot complement. The equality holds for all closed hyperbolic 3-manifolds if a particular three-dimensional version of the Ehrenpreis conjecture is true.

math.GT↗

arXiv2009

Four-manifolds with shadow-complexity zero

We prove that a closed 4-manifold has shadow-complexity zero if and only if it is a kind of 4-dimensional graph manifold, which decomposes into some particular blocks along embedded copies of S^2 x S^1, plus some complex projective spaces. We deduce a classification of all 4-manifolds with finite fundamental group and shadow-complexity zero.

math.GT↗

arXiv2009

Complexity of PL-manifolds

We extend Matveev's complexity of 3-manifolds to PL compact manifolds of arbitrary dimension, and we study its properties. The complexity of a manifold is the minimum number of vertices in a simple spine. We study how this quantity changes under the most common topological operations (handle additions, finite coverings, drilling and surgery of spheres, products, connected sums) and its relations with some geometric invariants (Gromov norm, spherical volume, volume entropy, systolic constant). Complexity distinguishes some homotopically equivalent manifolds and is positive on all closed aspherical manifolds (in particular, on manifolds with non-positive sectional curvature). There are finitely many closed hyperbolic manifolds of any given complexity. On the other hand, there are many closed 4-manifolds of complexity zero (manifolds without 3-handles, doubles of 2-handlebodies, infinitely many exotic K3 surfaces, symplectic manifolds with arbitrary fundamental group).

math.GT↗

arXiv2008

Hyperbolic graphs of small complexity

In this paper we enumerate and classify the ``simplest'' pairs (M,G) where M is a closed orientable 3-manifold and G is a trivalent graph embedded in M. To enumerate the pairs we use a variation of Matveev's definition of complexity for 3-manifolds, and we consider only (0,1,2)-irreducible pairs, namely pairs (M,G) such that any 2-sphere in M intersecting G transversely in at most 2 points bounds a ball in M either disjoint from G or intersecting G in an unknotted arc. To classify the pairs our main tools are geometric invariants defined using hyperbolic geometry. In most cases, the graph complement admits a unique hyperbolic structure with parabolic meridians; this structure was computed and studied using Heard's program Orb and Goodman's program Snap. We determine all (0,1,2)-irreducible pairs up to complexity 5, allowing disconnected graphs but forbidding components without vertices in complexity 5. The result is a list of 129 pairs, of which 123 are hyperbolic with parabolic meridians. For these pairs we give detailed information on hyperbolic invariants including volumes, symmetry groups and arithmetic invariants. Pictures of all hyperbolic graphs up to complexity 4 are provided. We also include a partial analysis of knots and links. The theoretical framework underlying the paper is twofold, being based on Matveev's theory of spines and on Thurston's idea (later developed by several authors) of constructing hyperbolic structures via triangulations. Many of our results were obtained (or suggested) by computer investigations.

math.GT↗

arXiv2006

k-Normal surfaces

Following Matveev, a k-normal surface in a triangulated 3-manifold is a generalization of both normal and (octagonal) almost normal surfaces. Using spines, complexity, and Turaev-Viro invariants of 3-manifolds, we prove the following results: 1) a minimal triangulation of a closed irreducible or a bounded hyperbolic 3-manifold contains no non-trivial k-normal sphere; 2) every triangulation of a closed manifold with at least 2 tetrahedra contains some non-trivial normal surface; 3) every manifold with boundary has only finitely many triangulations without non-trivial normal surfaces. Here, triangulations of bounded manifolds are actually ideal triangulations. We also calculate the number of normal surfaces of nonnegative Euler characteristics which are contained in the conjecturally minimal triangulations of all lens spaces.

math.GT↗

arXiv2005

Dehn filling of the "magic" 3-manifold

We classify all the non-hyperbolic Dehn fillings of the complement of the chain-link with 3 components, conjectured to be the smallest hyperbolic 3-manifold with 3 cusps. We deduce the classification of all non-hyperbolic Dehn fillings of infinitely many 1-cusped and 2-cusped hyperbolic manifolds, including most of those with smallest known volume. Among other consequences of this classification, we mention the following: - for every integer n we can prove that there are infinitely many hyperbolic knots in the 3-sphere having exceptional surgeries n, n+1, n+2, n+3, with n+1, n+2 giving small Seifert manifolds and n, n+3 giving toroidal manifolds; - we exhibit a 2-cusped hyperbolic manifold that contains a pair of inequivalent knots having homeomorphic complements; - we exhibit a chiral 3-manifold containing a pair of inequivalent hyperbolic knots with orientation-preservingly homeomorphic complements; - we give explicit lower bounds for the maximal distance between small Seifert fillings and any other kind of exceptional filling.

math.GT↗

arXiv2005

Triangulations of 3-manifolds, hyperbolic relative handlebodies, and Dehn filling

We establish a bijective correspondence between the set T(n) of 3-dimensional triangulations with n tetrahedra and a certain class H(n) of relative handlebodies (i.e. handlebodies with boundary loops, as defined by Johannson) of genus n+1. We show that the manifolds in H(n) are hyperbolic (with geodesic boundary, and cusps corresponding to the loops), have least possible volume, and simplest boundary loops. Mirroring the elements of H(n) in their geodesic boundary we obtain a class D(n) of cusped hyperbolic manifolds, previously considered by D. Thurston and the first named author. We show that also D(n) corresponds bijectively to T(n), and we study some Dehn fillings of the manifolds in D(n). As consequences of our constructions, we also show that: - A triangulation of a 3-manifold is uniquely determined up to isotopy by its 1-skeleton; - If a 3-manifold M has an ideal triangulation with edges of valence at least 6, then M is hyperbolic and the edges are homotopically non-trivial, whence homotopic to geodesics; - Every finite group G is the isometry group of a closed hyperbolic 3-manifold with volume less than a constant times |G|^9.

math.GT↗

arXiv2005

Links, two-handles, and four-manifolds

We show that only finitely many links in a closed 3-manifold share the same complement, up to twists along discs and annuli. Using the same techniques, we prove that by adding 2-handles on the same link we get only finitely many smooth cobordisms between two given closed 3-manifolds. As a consequence, there are finitely many smooth closed 4-manifolds constructed from some Kirby diagram with bounded number of crossings, discs, and strands, or from some Turaev special shadow with bounded number of vertices. (These are the 4-dimensional analogues of Heegaard diagrams and special spines for 3-manifolds.) We therefore get two filtrations on the set of all smooth closed 4-manifolds with finite sets. The two filtrations are equivalent after linear rescalings, and their cardinality grows at least as n^{c*n}.

math.GT↗