Searcharxiv⌕ Search

arXiv subjects

Carlo Petronio

Publications and source records attributed to Carlo Petronio.

At least 37 records · Page 2Linked to original sources
arXiv2008

On certain permutation groups and sums of two squares

We consider the question of existence of ramified covers over P_1 matching certain prescribed ramification conditions. This problem has already been faced in a number of papers, but we discuss alternative approaches for an existence proof, involving elliptic curves and universal ramified covers with signature. We also relate the geometric problem with finite permutation groups and with the Fermat-Euler Theorem on the representation of a prime as a sum of two squares.

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↗
arXiv2008

On colored Turaev-Viro invariants for links in arbitrary 3-manifolds

We consider certain invariants of links in 3-manifolds, obtained by a specialization of the Turaev-Viro invariants of 3-manifolds, that we call colored Turaev-Viro invariants. Their construction is based on a presentation of a pair (M,L), where M is a closed oriented 3-manifold and L is an oriented link in M, by a triangulation of M such that each component of L is an edge. We analyze some basic properties of these invariants, including the behavior under connected sums of pairs away and along links. These properties allow us to provide examples of links in the three-sphere having the same HOMFLY polynomial and the same Kauffman polynomial but distinct Turaev-Viro invariants, and similar examples for the Alexander polynomial. We also investigate the relations between the Turaev-Viro invariants of (M,L) and those of the complement of L in M, showing that they are sometimes but not always determined by each other.

math.GT↗
arXiv2007

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.

math.GT↗
arXiv2007

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

math.GT↗
arXiv2007

The 191 orientable octahedral manifolds

We enumerate all spaces obtained by gluing in pairs the faces of the octahedron in an orientation-reversing fashion. Whenever such a gluing gives rise to non-manifold points, we remove small open neighbourhoods of these points, so we actually deal with three-dimensional manifolds with (possibly empty) boundary. There are 298 combinatorially inequivalent gluing patterns, and we show that they define 191 distinct manifolds, of which 132 are hyperbolic and 59 are not. All the 132 hyperbolic manifolds were already considered in different contexts by other authors, and we provide here their known ``names'' together with their main invariants. We also give the connected sum and JSJ decompositions for the 59 non-hyperbolic examples. Our arguments make use of tools coming from hyperbolic geometry, together with quantum invariants and more classical techniques based on essential surfaces. Many (but not all) proofs were carried out by computer, but they do not involve issues of numerical accuracy.

math.GT↗
arXiv2007

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.

math.GT↗
arXiv2007

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.

math.GT↗
arXiv2006

On the existence of branched coverings between surfaces with prescribed branch data, II

For a given branched covering between closed connected surfaces, there are several easy relations one can establish between the Euler characteristics of the surfaces, their orientability, the total degree, and the local degrees at the branching points, including the classical Riemann-Hurwitz formula. These necessary relations have been khown to be also sufficient for the existence of the covering except when the base surface is the sphere (and when it is the projective plane, but this case reduces to the case of the sphere). If the base surface is the sphere, many exceptions are known to occur and the problem is widely open. Generalizing methods of Baranski, we prove in this paper that the necessary relations are actually sufficient in a specific but rather interesting situation. Namely under the assumption that the base surface is the sphere, that there are three branching points, that one of these branching points has only two preimages with one being a double point, and either that the covering surface is the sphere and that the degree is odd, or that the covering surface has genus at least one, with a single specific exception. For the case of the covering surface the sphere we also show that for each even degree there are precisely two exceptions.

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↗
arXiv2004

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.

math.GT↗
arXiv2004

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.

math.GT↗
arXiv2004

Complexity of 3-orbifolds

We extend Matveev's theory of complexity for 3-manifolds, based on simple spines, to (closed, orientable, locally orientable) 3-orbifolds. We prove naturality and finiteness for irreducible 3-orbifolds, and, with certain restrictions and subtleties, additivity under orbifold connected sum. We also develop the theory of handle decompositions for 3-orbifolds and the corresponding theory of normal 2-suborbifolds.

math.GT↗
arXiv2004

Spherical splitting of 3-orbifolds

The famous Haken-Kneser-Milnor theorem states that every 3-manifold can be expressed in a unique way as a connected sum of prime 3-manifolds. The analogous statement for 3-orbifolds has been part of the folklore for several years, and it was commonly believed that slight variations on the argument used for manifolds would be sufficient to establish it. We demonstrate in this paper that this is not the case, proving that the apparently natural notion of ``essential'' system of spherical 2-orbifolds is not adequate in this context. We also show that the statement itself of the theorem must be given in a substantially different way. We then prove the theorem in full detail, using a certain notion of ``efficient splitting system.''

math.GT↗
arXiv2003

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.

math.GT↗
arXiv2003

Dehn filling of cusped hyperbolic 3-manifolds with geodesic boundary

We define for each g>=2 and k>=0 a set M_{g,k} of orientable hyperbolic 3-manifolds with $k$ toric cusps and a connected totally geodesic boundary of genus g. Manifolds in M_{g,k} have Matveev complexity g+k and Heegaard genus g+1, and their homology, volume, and Turaev-Viro invariants depend only on g and k. In addition, they do not contain closed essential surfaces. The cardinality of M_{g,k} for a fixed k has growth type g^g. We completely describe the non-hyperbolic Dehn fillings of each M in M_{g,k}, showing that, on any cusp of any hyperbolic manifold obtained by partially filling M, there are precisely 6 non-hyperbolic Dehn fillings: three contain essential discs, and the other three contain essential annuli. This gives an infinite class of large hyperbolic manifolds (in the sense of Wu) with boundary-reducible and annular Dehn fillings having distance 2, and allows us to prove that the corresponding upper bound found by Wu is sharp. If M has one cusp only, the three boundary-reducible fillings are handlebodies.

math.GT↗