Bruno Martelli's research activity

I work in geometric topology. My main research interest concerns the construction and study of 3-manifolds and 4-manifolds via combinatorial and geometric tools like spines, polyhedra, and Dehn surgery. I am also interested in hyperbolic geometry and quantum topology.

Complexity of 3-manifolds:

As defined by Matveev, the complexity of a 3-manifold is the minimum number of vertices of a simple spine, and equals the minimum number of tetrahedra in a triangulation in the most interesting cases. With various collaborators and one computer, we have produced tables of:

  • closed orientable 3-manifolds up to complexity 9 [2] and 10 [12], with Petronio;
  • closed non-orientable 3-manifolds up to complexity 6 [5] and 7 [9], with Amendola;
  • compact hyperbolic manifolds with geodesic boundary and possibly some cusps up to complexity 4 [7], with Frigerio and Petronio;
  • hyperbolic graphs in 3-manifolds up to complexity 5 [16], with Heard, Hodgson, and Petronio.
The manifolds are listed in these tables (from Carlo's web page). Some related census exist in the literature, and all overlaps are luckily coherent! You can find:
  • cusped hyperbolic 3-manifolds up to complexity 7, from the SnapPea census by Callahan, Hildebrand, and Weeks;
  • closed 3-manifolds of complexity up to 11, from Burton's Regina;
  • closed orientable 3-manifolds of complexity up to 12, from Matveev's atlas of 3-manifolds.
Some related papers I wrote contain:
  • a conjectural formula for the complexity of all Seifert manifolds [8], with Petronio;
  • a survey [12];
  • a study of the stable complexity, i.e. the complexity stabilized under finite covers [20], with Francaviglia and Frigerio.
When you list thousands of manifolds, you inevitably tumble on some funny families:
  • those having an ideal triangulation with only one edge [4], with Frigerio and Petronio;
  • some hyperbolic knots in handlebodies with six exceptional Dehn surgeries, three of which are handlebodies [6], with Frigerio and Petronio;
  • pick any triangulation and replace every tetrahedron with an ideal regular hyperbolic octahedron [14], with Costantino, Frigerio, and Petronio;

Complexity of 4-manifolds:

I would like to study smooth closed 4-manifolds experimentally in the same way as it has been done in dimension 3. I have tried essentially two approaches:

  • use 3-dimensional spines [17];
  • use 2-dimensional polyhedra (called shadows by Turaev) [18], and [31] with Koda and Naoe.
The "shadow" approach is combinatorially much more treatable because it is very much connected to 3-dimensional topology and Dehn surgery (see below). We have characterised the 4-manifolds having complexity 0 and 1 in [18], and [31] with Koda and Naoe. These are precisely the manifolds obtained by assembling altogether finitely many explicit blocks with boundaries diffeomorphic to copies of S2 x S1, plus connected sums with complex projective planes (with either orientation). I like this experimental approach to 4-manifolds and I am curious to pursue this investigation in complexity 2, 3, ...

Dehn surgery:

A Dehn surgery is exceptional when the resulting 3-manifold is not hyperbolic. A lot of effort has been devoted in the last 30 years to understanding exceptional surgeries: see this survey of Cameron Gordon. An extremely ambituous question would be the following: can we understand all exceptional surgeries on all knots/links in the 3-sphere?

There are infinitely many exceptional fillings on a multicomponent link, but it is possible to describe all of them with a finite amount of data. Consider for instance the following links

These are conjecturally the links with i = 1, ..., 7 components having smallest hyperbolic volume. Using a python code on SnapPy, we classified all the exceptional surgeries on such links in [11] with Petronio, [23] with Petronio and Roukema, and [32]. This data are also useful for classifying 4-manifolds with increasing shadow complexity.

The python code is available on this page and can be used on any link. See the detailed instructions there.

Normal surfaces:

Normal and (octagonal) almost normal surfaces generalize to k-normal surfaces, belonging the cases k=0 and 1 respectively. With Evgeny Fominykh we gave a short proof that a minimal triangulation of an irreducible 3-manifold does not contain any k-normal sphere (with few exceptions) in [15].

Kirby moves:

The short paper [19] answers a nice question on Mathoverflow about Kirby calculus. I show that there is a finite collection of local moves that connected any two surgery presentations of the same 3-manifold via framed links in the three-sphere.

Quantum invariants:

I have more recently been interested in quantum invariants. In [23] with Costantino we use these mysterious objects to construct an analytic family of representations of the mapping class group defined on the unit disc, that includes the finite representations at the roots of unity. It would be nice to get similar analytic families for other 3-dimensional objects.

In [25] with Carrega we study the relation between quantum invariants, shadows, and ribbon surfaces. We have extended a theorem of Eisermann that connects quantum invariant and ribbon surfaces in the 3-spheres.

Hyperbolic 4-manifolds:

Various hyperbolic manifolds can be constructed by assembling hyperbolic regular polytopes. In [21] with Kolpakov we use the ideal hyperbolic 24-cell to build hyperbolic four-manifolds with an arbitrary number of cusps, and in [24] with Kolpakov and Tschantz we use the 120-cell to build some hyperbolic four-manifolds with connected geodesic boundary of controlled volume. In [27] I prove that every finite-volume hyperbolic 3-manifold that decomposes into right-angled regular polyhedra is geodesically contained in a hyperbolic 4-manifold having controlled volume.

The paper [29] is a survey on hyperbolic four-manifolds.

In [30] with Riolo we define a deformation relating two non-commensurable hyperbolic four-manifolds through cone manifolds with cone singularity an immersed surface. This family may be interpreted as a hyperbolic Dehn filling in dimension four.

Tropical geometry:

I have been interested in tropical geometry for some time. In [26] with Golla we study the topological notion of decomposing a 4-manifold into pair-of-pants that arises naturally from this area.

Spines of minimal area

In [28], with Novaga, Pluda, and Riolo, we raise the question whether every closed riemannian manifold has a spine of minimal area (that is, codimension one Hausdorff measure). We answer it affirmatively in dimension 2 and study the spines of minimal lengths on constant curvature surfaces. We introduce the spine systole, a proper function on moduli spaces.

some paintings of my mother

  1. Minimal spines and geometric decompositions of closed 3-manifolds
    Proceedings of the conference "Low-dimensional topology and combinatorial group theory (Chelyabinsk 1999)'', 215-226,
    Inst. of Math. of Nat. Acad. Sci. of Ukraine, Kiev

  2. (with C. Petronio) 3-manifolds having complexity at most 9
    Experimental Math. 10 (2001), 207-237

  3. (with C. Petronio) A new decomposition theorem for 3-manifolds
    Illinois J. Math. 46 (2002), 755-780

  4. (with R. Frigerio and C. Petronio) Complexity and Heegaard genus of an infinite class of compact 3-manifolds
    Pacific J. Math. 210 (2003), 283-297

  5. (with G. Amendola) Non-orientable 3-manifolds of small complexity
    Topology Appl. 133 (2003), 157-178

  6. (with R. Frigerio and C. Petronio) Dehn filling of cusped hyperbolic 3-manifolds with geodesic boundary
    J. Diff. Geom. 64 (2003), 425-456

  7. (with R. Frigerio and C. Petronio) Small hyperbolic 3-manifolds with geodesic boundary
    Experimental Math. 13 (2004), 177-190

  8. (with C. Petronio) Complexity of geometric three-manifolds
    Geom. Dedicata 108 (2004), 15-69

  9. (with G. Amendola) Non-orientable 3-manifolds of complexity up to 7
    Topology Appl. 150 (2005), 179-195

  10. Links, two-handles, and four-manifolds
    Int. Math. Res. Not. 58 (2005), 3595-3624

  11. (with C. Petronio) Dehn filling of the `magic' 3-manifold
    Comm. Anal. Geom. 14 (2006), 967-1024

  12. Complexity of 3-manifolds
    "Spaces of Kleinian groups", London Math. Soc. Lec. Notes Ser. 329 (2006), 91-120

  13. (with R. Frigerio) Countable groups are mapping class groups of hyperbolic 3-manifolds
    Math. Res. Lett. 13 (2006), 897-910

  14. (with F. Costantino, R. Frigerio, and C. Petronio) Triangulations of 3-manifolds, hyperbolic relative handlebodies, and Dehn filling
    Comm. Math. Helv. 82 (2007), 903-934

  15. (with E. Fominykh) k-Normal surfaces
    J. Diff. Geom. 82 (2009), 101-114

  16. (with D. Heard, C. Hodgson, and C. Petronio) Hyperbolic graphs of small complexity
    Experimental Math. 19 (2010), 211-236

  17. Complexity of PL manifolds
    Algebraic & Geometric Topology 10 (2010), 1107-1164

  18. Four-manifolds with shadow-complexity zero
    Int. Math. Res. Not. 2011 (2011), 1268-1351

  19. A finite set of local moves for Kirby calculus
    J. Knot Theory Ramif. 21 (2012), 1250126

  20. (with S. Francaviglia and R. Frigerio) Stable complexity and simplicial volume of manifolds
    Journal of Topology 5 (2012), 977-1010

  21. (with A. Kolpakov) Hyperbolic four-manifolds with one cusp
    Geom. & Funct. Anal. 23 (2013), 1903-1933

  22. (with F. Costantino) An analytic family of representations for the mapping class group of punctured surfaces
    Geometry & Topology 18 (2014), 1485-1538

  23. (with C. Petronio and F. Roukema) Exceptional Dehn surgery on the minimally twisted five-chain link
    Comm. Anal. Geom. 22 (2014), 689-735

  24. (with A. Kolpakov and S. Tschantz) Some hyperbolic three-manifolds that bound geometrically
    Proc. Amer. Math. Soc. 143 (2015), 4103-4111

  25. (with A. Carrega) Shadows, ribbon surfaces, and quantum invariants
    Quantum Topology 8 (2017), 249-294

  26. (with M. Golla) Pair of pants decomposition of 4-manifolds
    Algebraic & Geometric Topology 17 (2017), 1407-1444

  27. Hyperbolic three-manifolds that embed geodesically

  28. (with M. Novaga, A. Pluda, and S. Riolo) Spines of minimal length
    Ann. Sc. Norm. Super. Pisa Cl. Sci XVII (2017), 1067-1090

  29. Hyperbolic four-manifolds
    "Handbook of Group Actions, Volume III", Advanced Lectures in Mathematics series 40 (2018), 37-58

  30. (with S. Riolo) Hyperbolic Dehn filling in dimension four
    Geometry & Topology 22 (2018), 1647-1716

  31. (with Y. Koda and H. Naoe) Four-manifolds with shadow-complexity one
    arXiv:1803.06713, submitted

  32. Dehn surgery on the minimally twisted seven-chain link
    arXiv:1808.08430, accepted for publication in Comm. Anal. Geom.

Slides: Codes and data: Past conferences co-organised: Back to the main page