Source author record

Carlo Petronio

Carlo Petronio appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

24works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2016arXiv

Algorithmic simplification of knot diagrams: new moves and experiments

This note has an experimental nature and contains no new theorems. We introduce certain moves for classical knot diagrams that for all the very many examples we have tested them on give a monotonic complete simplification. A complete simplification of a knot diagram D is a sequence of moves that transform D into a diagram D' with the minimal possible number of crossings for the isotopy class of the knot represented by D. The simplification is monotonic if the number of crossings never increases along the sequence. Our moves are certain Z1, Z2, Z3 generalizing the classical Reidemeister moves R1, R2, R3, and another one C (together with a variant) aimed at detecting whether a knot diagram can be viewed as a connected sum of two easier ones. We present an accurate description of the moves and several results of our implementation of the simplification procedure based on them, publicly available on the web.

preprint2013arXiv

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.

preprint2013arXiv

Spin structures on 3-manifolds via arbitrary triangulations

Let M be an oriented compact 3-manifold and let T be a (loose) triangulation of M, with ideal vertices at the components of the boundary of M and possibly internal vertices. We show that any spin structure s on M can be encoded by extra combinatorial structures on T. We then analyze how to change these extra structures on T, and T itself, without changing s, thereby getting a combinatorial realization, in the usual "objects/moves" sense, of the set of all pairs (M,s). Our moves have a local nature, except one, that has a global flavour but is explicitly described anyway. We also provide an alternative approach where the global move is replaced by simultaneous local ones.

preprint2012arXiv

Generic flows on 3-manifolds

We provide a combinatorial presentation of the set F of 3-dimensional generic flows, namely the set of pairs (M,v) with M a compact oriented 3-manifold and v a nowhere-zero vector field on M having generic behaviour along the boundary of M, with M viewed up to diffeomorphism and v up to homotopy on M fixed on the boundary. To do so we introduce a certain class S of finite 2-dimensional polyhedra with extra combinatorial structures, and some moves on S, exhibiting a surjection f:S->F such that f(P0)=f(P1) if and only if P0 and P1 are related by the moves. To obtain this result we first consider the subset F0 of F consisting of flows having all orbits homeomorphic to closed segments or points, constructing a combinatorial counterpart S0 for F0 and then adapting it to F.

preprint2012arXiv

Notes on the peripheral volume of hyperbolic 3-manifolds

We consider hyperbolic 3-manifolds with either non-empty compact geodesic boundary, or some toric cusps, or both. For any such M we analyze what portion of the volume of M can be recovered by inserting in M boundary collars and cusp neighbourhoods with disjoint embedded interiors. Our main result is that this portion can only be maximal in some combinatorially extremal configurations. The techniques we employ are VERY elementary but the result is in our opinion of some interest.

preprint2011arXiv

Branched covers of the sphere and the prime-degree conjecture

To a branched cover between closed, connected and orientable surfaces one associates a "branch datum", which consists of the two surfaces, the total degree d, and the partitions of d given by the collections of local degrees over the branching points. This datum must satisfy the Riemann-Hurwitz formula. A "candidate surface cover" is an abstract branch datum, a priori not coming from a branched cover, but satisfying the Riemann-Hurwitz formula. The old Hurwitz problem asks which candidate surface covers are realizable by branched covers. It is now known that all candidate covers are realizable when the candidate covered surface has positive genus, but not all are when it is the 2-sphere. However a long-standing conjecture asserts that candidate covers with prime degree are realizable. To a candidate surface cover one can associate one Y -> X between 2-orbifolds, and in a previous paper we have completely analyzed the candidate surface covers such that either X is bad, spherical, or Euclidean, or both X and Y are rigid hyperbolic orbifolds, thus also providing strong supporting evidence for the prime-degree conjecture. In this paper, using a variety of different techniques, we continue this analysis, carrying it out completely for the case where X is hyperbolic and rigid and Y has a 2-dimensional Teichmueller space. We find many more realizable and non-realizable candidate covers, providing more support for the prime-degree conjecture.

preprint2011arXiv

Notes on the complexity of 3-valent graphs in 3-manifolds

A theory of complexity for pairs (M,G) with M an arbitrary closed 3-manifold and G a 3-valent graph in M was introduced by the first two named authors, extending the original notion due to Matveev. The complexity c is known to be always additive under connected sum away from the graphs, but not always under connected sum along (unknotted) arcs of the graphs. In this article we prove the slightly surprising fact that if in M there is a sphere intersecting G transversely at one point, and this point belongs to an edge e of G, then e can be canceled from G without affecting the complexity. Using this fact we completely characterize the circumstances under which complexity is additive under connected sum along graphs. For the set of pairs (M,K) with K a knot in M, we also prove that any function that is fully additive under connected sum along knots is actually a function of the ambient manifold only.

preprint2008arXiv

Complexity of links in 3-manifolds

We introduce a natural-valued complexity c(X) for pairs X=(M,L), where M is a closed orientable 3-manifold and L is a link contained in M. The definition employs simple spines, but for well-behaved X's we show that c(X) equals the minimal number of tetrahedra in a triangulation of M containing L in its 1-skeleton. Slightly adapting Matveev's recent theory of roots for graphs, we carefully analyze the behaviour of c under connected sum away from and along the link. We show in particular that c is almost always additive, describing in detail the circumstances under which it is not. To do so we introduce a certain (0,2)-root for a pair X, we show that it is well-defined, and we prove that X has the same complexity as its (0,2)-root. We then consider, for links in the 3-sphere, the relations of c with the crossing number and with the hyperbolic volume of the exterior, establishing various upper and lower bounds. We also specialize our analysis to certain infinite families of links, providing rather accurate asymptotic estimates.

preprint2007arXiv

Combinatorial and geometric methods in topology

Starting from the (apparently) elementary problem of deciding how many different topological spaces can be obtained by gluing together in pairs the faces of an octahedron, we will describe the central role played by hyperbolic geometry within three-dimensional topology. We will also point out the striking difference with the two-dimensional case, and we will review some of the results of the combinatorial and computational approach to three-manifolds developed by different mathematicians over the last several years.

preprint2007arXiv

Realizability and exceptionality of candidate surface branched covers: methods and results

Given two closed orientable surfaces, the Hurwitz existence problem asks whether there exists a branched cover between them having prescribed global degree and local degrees over the branching points. The Riemann-Hurwitz formula gives a necessary condition, which was shown to be also sufficient when the base surface has positive genus. For the sphere one knows that for some data the cover exists and for some it does not, but the problem is still open in general. In this paper we will review five different techniques recently employed to attack it, and we will state the main results they have led to. To illustrate the techniques we will give five independent proofs of the fact that there is no branched cover of the sphere over itself with degree 4, three branching points, and local degrees (2,2), (2,2), and (3,1) over them (despite the fact that the Riemann-Hurwitz formula is satisfied).

preprint2007arXiv

Surface branched covers and geometric 2-orbifolds

For a branched cover between two closed orientable surfaces, the Riemann-Hurwitz formula relates the Euler characteristics of the surfaces, the total degree of the cover, and the total length of the partitions of the degree given by the local degrees at the preimages of the branching points. A very old problem asks whether a collection of partitions of an integer having the appropriate total length (that we call a candidate cover) always comes from some branched cover. The answer is known to be in the affirmative whenever the candidate base surface is not the 2-sphere, while for the 2-sphere exceptions do occur. A long-standing conjecture however asserts that when the candidate degree is a prime number, a candidate cover is always realizable. In this paper we analyze the question from the point of view of the geometry of 2-orbifolds, and we provide strong supporting evidence for the conjecture. In particular, we exhibit three different sequences of candidate covers, indexed by their degree, such that for each sequence: (1) The degrees giving realizable covers have asymptotically zero density in the naturals; (2) Each prime degree gives a realizable cover.

preprint2007arXiv

Two-sided bounds for the complexity of cyclic branched coverings of two-bridge links

We consider closed orientable 3-dimensional hyperbolic manifolds which are cyclic branched coverings of the 3-sphere, with branching set being a two-bridge knot (or link). We establish two-sided linear bounds depending on the order of the covering for the Matveev complexity of the covering manifold. The lower estimate uses the hyperbolic volume and results of Cao-Meyerhoff and Gueritaud-Futer (who recently improved previous work of Lackenby), while the upper estimate is based on an explicit triangulation, which also allows us to give a bound on the Delzant T-invariant of the fundamental group of the manifold.

preprint2005arXiv

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.

preprint2005arXiv

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.

preprint2004arXiv

Complexity and T-invariant of Abelian and Milnor groups, and complexity of 3-manifolds

We investigate the notion of complexity for finitely presented groups and the related notion of complexity for three-dimensional manifolds. We give two-sided estimates on the complexity of all the Milnor groups (the finite groups with free action on the three-sphere), as well as for all finite Abelian groups. The ideas developed in the process also allow to construct two-sided bounds for the values of the so-called T-invariant (introduced by Delzant) for the above groups, and to estimate from below the value of T-invariant for an arbitrary finitely presented group. Using the results of this paper and of previous ones, we then describe an infinite collection of Seifert three-manifolds for which we can asymptotically determine the complexity in an exact fashion up to linear functions. We also provide similar estimates for the complexity of several infinite families of Milnor groups.

preprint2004arXiv

Hyperbolic 3-manifolds with geodesic boundary: Enumeration and volume calculation

We describe a natural strategy to enumerate compact hyperbolic 3-manifolds with geodesic boundary in increasing order of complexity. We show that the same strategy can be employed to analyze simultaneously compact manifolds and finite-volume manifolds having toric cusps. In opposition to this we show that, if one allows annular cusps, the number of manifolds grows very rapidly, and that our strategy cannot be employed to obtain a complete list. We also carefully describe how to compute the volume of our manifolds, discussing formulae for the volume of a tetrahedron with generic dihedral angles in hyperbolic space.

preprint2003arXiv

Complexity of geometric three-manifolds

We compute for all orientable irreducible geometric 3-manifolds certain complexity functions that approximate from above Matveev's natural complexity, known to be equal to the minimal number of tetrahedra in a triangulation. We can show that the upper bounds on Matveev's complexity implied by our computations are sharp for thousands of manifolds, and we conjecture they are for infinitely many, including all Seifert manifolds. Our computations and estimates apply to all the Dehn fillings of M6_1^3 (the complement of the three-component chain-link, conjectured to be the smallest triply cusped hyperbolic manifold), whence to infinitely many among the smallest closed hyperbolic manifolds. Our computations are based on the machinery of the decomposition into `bricks' of irreducible manifolds, developed in a previous paper. As an application of our results we completely describe the geometry of all 3-manifolds of complexity up to 9.

preprint2002arXiv

Complexity and Heegaard genus of an infinite class of compact 3-manifolds

Using the theory of hyperbolic manifolds with totally geodesic boundary, we provide for every integer n greater than 1 a class of such manifolds all having Matveev complexity equal to n and Heegaard genus equal to n+1. All the elements of this class have a single boundary component of genus n, and the numbers of distinct members of the class grows at least exponentially with n.

preprint2002arXiv

Small hyperbolic 3-manifolds with geodesic boundary

We classify the orientable finite-volume hyperbolic 3-manifolds having non-empty compact totally geodesic boundary and admitting an ideal triangulation with at most four tetrahedra. We also compute the volume of all such manifolds, we describe their canonical Kojima decomposition, and we discuss manifolds having cusps. The manifolds built from one or two tetrahedra were previously known. There are 151 different manifolds built from three tetrahedra, realizing 18 different volumes. Their Kojima decomposition always consists of tetrahedra (but occasionally requires four of them). And there is a single cusped manifold, that we can show to be a knot complement in a genus-2 handlebody. Concerning manifolds built from four tetrahedra, we show that there are 5033 different ones, with 262 different volumes. The Kojima decomposition consists either of tetrahedra (as many as eight of them in some cases), or of two pyramids, or of a single octahedron. There are 30 manifolds having a single cusp, and one having two cusps. Our results were obtained with the aid of a computer. The complete list of manifolds (in SnapPea format) and full details on their invariants are available on the world wide web.

preprint2000arXiv

Feynman Diagrams of Generalized Matrix Models and the Associated Manifolds in Dimension 4

The problem of constructing a quantum theory of gravity has been tackled with very different strategies, most of which relying on the interplay between ideas from physics and from advanced mathematics. On the mathematical side, a central role is played by combinatorial topology, often used to recover the space-time manifold from the other structures involved. An extremely attractive possibility is that of encoding all possible space-times as specific Feynman diagrams of a suitable field theory. In this work we analyze how exactly one can associate combinatorial 4-manifolds to the Feynman diagrams of certain tensor theories.

preprint1999arXiv

Reidemeister Torsion of 3-Dimensional Euler Structures with Simple Boundary Tangency and Legendrian Knots

We generalize Turaev's definition of torsion invariants of pairs $(M,ξ)$, where $M$ is a 3-dimensional manifold and $ξ$ is an Euler structure on $M$ (a non-singular vector field up to homotopy relative to the boundary of $M$ and local modifications in the interior of $M$). Namely, we allow $M$ to have arbitrary boundary and $ξ$ to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's $H_1(M)$-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) Legendrian links (in particular, knots) in contact 3-manifolds, and we prove that they can distinguish knots which are isotopic as framed knots but not as Legendrian knots. Using the combinatorial encoding of vector fields based on branched standard spines we show how to explicitly invert Turaev's reconstruction map from combinatorial to smooth Euler structures, thus making the computation of torsions a more effective one. As an example we work out a specific computation.

preprint1998arXiv

Branched Spines and Contact Structures on 3-manifolds

We introduce and analyze the characteristic foliation induced by a contact structure on a branched surface, in particular a branched standard spine of a 3-manifold. We extend to (fairly general) singular foliations of branched surfaces the local existence and uniqueness results which hold for genuine surfaces. Moreover we show that global uniqueness holds when restricting to tight structures. We establish branched versions of the elimination lemma. We prove a smooth version of the Gillman-Rolfsen PL-embedding theorem, deducing that branched spines can be used to construct contact structures in a given homotopy class of plane fields.