Bruno Martelli's research activity

I work in geometric topology. That is, I study the topology and geometry of manifolds. During my PhD I mostly investigated 3-manifolds, later on I became interested in higher-dimensional hyperbolic geometry. I sometimes work in quantum topology and geometric group theory.

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 have tried to study smooth closed 4-manifolds experimentally in the same way as it has been done in dimension 3. Of course the setting is much more complicated, and it is hard to obtain useful and meaningful results. I have studied essentially two approaches:

  • use 3-dimensional spines [17];
  • use 2-dimensional polyhedra (called shadows by Turaev) [18], and [35] with Koda and Naoe.

Dehn surgery:

A Dehn filling on a cusped hyperbolic 3-manifold is exceptional when the resulting 3-manifold is not hyperbolic. There are usually infinitely many exceptional fillings on a 3-manifold with multiple cusps, 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].

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:

In [23] with Costantino we use quantum invariants 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.

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-sphere.

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.

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.

In [31] with Riolo and Slavich we construct a compact oriented hyperbolic 4-manifold M with odd intersection form. This leads to the first examples of compact oriented hyperbolic n-manifolds without spin structures, for every n ≥ 4. In [33] we extend these techniques to prove that every plumbing of disc bundles over surfaces whose genera satisfy a simple inequality has a convex hyperbolic structure and is contained in some closed hyperbolic 4-manifold.

In [34] with Battista we construct a finite-volume hyperbolic 4-manifold with a perfect circle-valued Morse function. This is the closest possible analouge of a fibration in even dimension.

Hyperbolic n-manifolds:

Hyperbolic manifolds of arbitrary dimension n form a wide and mostly unexplored area of geometry.

In [36] with Italiano and Migliorini we construct some algebraic fibrations on some manifolds in dimension 5, 6, 7, 8. In dimension 7 and 8, these are covered by some hyperbolic manifolds with finitely presented fundamental group and infinitely many cusps of maximal rank. In [37] we then refine the 5-dimensional example to build a fibering hyperbolic 5-manifold. These is the first fibering hyperbolic manifold known in dimension > 3.

In [39] with Reid we study how spin structures restict to cusp sections. We then use this to certify the existence of Dirac operators with both continuous and discrete spectra in various dimensions.

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.

Geometric group theory:

Hyperbolic geometry is of course tightly connected with geometric group theory. In [37] with Italiano and Migliorini we use a fibering hyperbolic 5-manifold to build the first example of a finite type subgroup of a hyperbolic group that is not hyperbolic.

In [38], together with Llosa Isenrich and Py, we construct a hyperbolic group that contains a subgroup that is F3 and not F4. This is related to [36].


some paintings of my mother



Papers:
  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
    arXiv:1510.06325

  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 S. Riolo and L. Slavich) Compact hyperbolic manifolds without spin structures
    Geometry & Topology 24 (2020), 2647--2674.

  32. Dehn surgery on the minimally twisted seven-chain link
    Comm. Anal. Geom. 29 (2021), 1597--1641.

  33. (with S. Riolo and L. Slavich) Convex plumbings in closed hyperbolic 4-manifolds
    Geometriae Dedicata 212 (2021), 243--259, open access.

  34. (with L. Battista) Hyperbolic 4-manifolds with perfect circle-valued Morse functions
    Trans. Amer. Math. Soc. 375 (2022), 2597--2625.

  35. (with Y. Koda and H. Naoe) Four-manifolds with shadow-complexity one
    Ann. Fac. Sci. Toulouse 31 (2022), 1111--1212.

  36. (with G. Italiano and M. Migliorini) Hyperbolic 5-manifolds that fiber over S1
    Invent. Math. 231 (2023), 1--38, open access.

  37. (with G. Italiano and M. Migliorini) Hyperbolic manifolds that fiber algebraically up to dimension 8
    J. Inst. Math. Jussieu 23 (2024), 609--646, open access.

  38. (with C. Llosa Isenrich and P. Py) Hyperbolic groups containing subgroups of type F3 not F4
    arXiv:2112.06531, accepted for publication in J. Diff. Geom.

  39. (with A. Reid) The Dirac operator on cusped hyperbolic manifolds
    arXiv:2212.06811

  40. (with R. Frigerio and G. Grammatica) Efficient cycles of hyperbolic manifolds
    arXiv:2309.17198

  41. Five tori in the four-dimensional sphere
    arXiv:2401.03460

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