Bruno Martelli
We give a summary of known results on Matveev's complexity of compact 3-manifolds. The only relevant new result is the classification of all closed orientable irreducible 3-manifolds of complexity 10.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The notion of Gem-Matveev complexity has been introduced within crystallization theory, as a combinatorial method to estimate Matveev's complexity of closed 3-manifolds; it yielded upper bounds for interesting classes of such manifolds. In this paper we extend the definition to the case of non-empty boundary and prove that for each compact irreducible and boundary-irreducible 3-manifold it coincides with the modified Heegaard complexity introduced by Cattabriga, Mulazzani and Vesnin. Moreover, via Gem-Matveev complexity, we obtain an estimation of Matveev's complexity for all Seifert 3-manifol…
The idea of computing Matveev complexity by using Heegaard decompositions has been recently developed by two different approaches: the first one for closed 3-manifolds via crystallization theory, yielding the notion of Gem-Matveev complexity; the other one for compact orientable 3-manifolds via generalized Heegaard diagrams, yielding the notion of modified Heegaard complexity. In this paper we extend to the non-orientable case the definition of modified Heegaard complexity and prove that for closed 3-manifolds Gem-Matveev complexity and modified Heegaard complexity coincide. Hence, they turn o…
By means of a slight modification of the notion of GM-complexity, the present paper performs a graph-theoretical approach to the computation of (Matveev's) complexity for closed orientable 3-manifolds. In particular, the existing crystallization catalogue C^{28}, due to Lins, is used to obtain upper bounds for the complexity of closed orientable 3-manifolds triangulated by at most 28 tetrahedra. The experimental results actually coincide with the exact values of complexity, for all but three elements. Moreover, in the case of at most 26 tetrahedra, the exact value of the complexity is shown to…
We deal with Matveev complexity of compact orientable 3-manifolds represented via Heegaard diagrams. This lead us to the definition of modified Heegaard complexity of Heegaard diagrams and of manifolds. We define a class of manifolds which are generalizations of Dunwoody manifolds, including cyclic branched coverings of two-bridge knots and links, torus knots, some pretzel knots, and some theta-graphs. Using modified Heegaard complexity, we obtain upper bounds for their Matveev complexity, which linearly depend on the order of the covering. Moreover, using homology arguments due to Matveev and…
We give upper bounds of the Matveev complexities of two-bridge link complements by constructing their spines explicitly. In particular, we determine the complexities for an infinite sequence of two-bridge links corresponding to the continued fractions of the form [2,1,...,1,2]. We also give upper bounds for the 3-manifolds obtained as meridian-cyclic branched coverings of the 3-sphere along two-bridge links.
On Matveev-Piergallini moves for branched spines
本文证明了分支配边上的16种 Matveev-Piergallini 移动可由基本 MP 移动和纯滑动移动导出，从而简化了闭 $3$-流形和梳状 $3$-流形的组合描述，并扩展至带框和旋量 $3$-流形，有助于理解量子不变量。
There are found exact values of (Matveev) complexity for the 2-parameter family of hyperbolic 3-manifolds with boundary constructed by Paoluzzi and Zimmermann. Moreover, $ε$-invariants for these manifolds are calculated.
Prime knots of genus one admitting diagram with at most five classical crossings were classified by Akimova and Matveev in 2014. In 2018 Kaur, Prabhakar and Vesnin introduced families of L-polynomials and F-polynomials for virtual knots which are generalizations of affine index polynomial. Here we introduce a notion of totally flat-trivial knots and demonstrate that for such knots F-polynomials and L-polynomials coincide with affine index polynomial. We prove that all Akimova - Matveev knots are totally flat-trivial and calculate their affine index polynomials.
We give an upper bound for the Matveev complexity of the whole class of closed connected orientable prime graph manifolds that is sharp for all 14502 graph manifolds of the Recognizer catalogue (available at \texttt{http://matlas.math.csu.ru/?page=search}).
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 hy…
A celebrated result concerning triangulations of a given closed 3-manifold is that any two triangulations with the same number of vertices are connected by a sequence of so-called 2-3 and 3-2 moves. A similar result is known for ideal triangulations of topologically finite non-compact 3-manifolds. These results build on classical work that goes back to Alexander, Newman, Moise, and Pachner. The key special case of 1-vertex triangulations of closed 3-manifolds was independently proven by Matveev and Piergallini. The general result for closed 3-manifolds can be found in work of Benedetti and Pet…
Virtual $3$-manifolds were introduced by S.V. Matveev in 2009 as natural generalizations of the classical $3$-manifolds. In this paper, we introduce a notion of complexity of a virtual $3$-manifold. We investigate the values of the complexity for virtual 3-manifolds presented by special polyhedra with one or two $2$-components. On the basis of these results, we establish the exact values of the complexity for a wide class of hyperbolic $3$-manifolds with totally geodesic boundary.
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.
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.
We establish a calculus for branched spines of 3-manifolds by means of branched Matveev-Piergallini moves and branched bubble-moves. We briefly indicate some of its possible applications in the study and definition of State-Sum Quantum Invariants.
We construct and study a new class $\mathscr{M}=\{\mathscr{M}_n\}_{n\ge 4}$ of compact hyperbolic $3$-manifolds with totally geodesic boundary. The members of $\mathscr{M}_n$ are defined via triples of pairwise compatible Eulerian cycles in $4$-regular $n$-vertex graphs. We show that each $M$ in $\mathscr{M}_n$ is of Matveev complexity $n$ and has a unique minimal ideal triangulation, which consists of $n$ tetrahedra. We exploit these properties to show that $n!\,4^n > |\mathscr{M}_n| > n!$ for each sufficiently large $n\in\mathbb{N}$.
Within crystallization theory, (Matveev's) complexity of a 3-manifold can be estimated by means of the combinatorial notion of GM-complexity. In this paper, we prove that the GM-complexity of any lens space L(p,q), with p greater than 2, is bounded by S(p,q)-3, where S(p,q) denotes the sum of all partial quotients in the expansion of q/p as a regular continued fraction. The above upper bound had been already established with regard to complexity; its sharpness was conjectured by Matveev himself and has been recently proved for some infinite families of lens spaces by Jaco, Rubinstein and Tillm…
For a 3-dimensional manifold $M^3$, its complexity $c(M^3)$, introduced by S.Matveev, is the minimal number of vertices of an almost simple spine of $M^3$; in many cases it is equal to the minimal number of tetrahedra in a singular triangulation of $M^3$. An approach to estimating $c(M^3)$ from below for total spaces of torus bundles over $S^1$, based on the study of theta-curves in the fibers, is developed, and pseudominimal special spines for these manifolds are constructed, which we conjecture to be their minimal spines. We also show how to apply some of these ideas to other 3-manifolds.
We define an invariant, which we call surface-complexity, of closed 3-manifolds by means of Dehn surfaces. The surface-complexity of a manifold is a natural number measuring how much the manifold is complicated. We prove that it fulfils interesting properties: it is subadditive under connected sum and finite-to-one on P2-irreducible manifolds. Moreover, for P2-irreducible manifolds, it equals the minimal number of cubes in a cubulation of the manifold, except for the sphere S3, the projective space RP3 and the lens space L41, which have surface-complexity zero. We will also give estimations of…
Matveev introduced Borromean surgery on 3-manifolds, and proved that the equivalence relation on closed, oriented 3-manifolds generated by Borromean surgeries is characterized by the first homology group and the torsion linking pairing. Massuyeau generalized this result to closed, spin 3-manifolds, and the second author to compact, oriented 3-manifolds with boundary. In this paper we give a partial generalization of these results to compact, spin 3-manifolds with boundary.
Matveev and Piergallini independently showed that, with a small number of known exceptions, any triangulation of a three-manifold can be transformed into any other triangulation of the same three-manifold with the same number of vertices, via a sequence of 2-3 and 3-2 moves. We can interpret this as showing that the Pachner graph of such triangulations is connected. In this paper, we extend this result to show that (again with a small number of known exceptions), the subgraph of the Pachner graph consisting of triangulations without degree one edges is also connected, for single-vertex triangu…
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 …
We find the exact values of complexity for an infinite series of 3-manifolds. Namely, by calculating hyperbolic volumes, we show that c(N_n)=2n, where $c$ is the complexity of a 3-manifold and N_n is the total space of the punctured torus bundle over S^1 with monodromy 2&1 1&1 ^n$. We also apply a recent result of Matveev and Pervova to show that c(M_n) \ge 2Cn with C\approx 0.598, where a compact manifold M_n is the total space of the torus bundle over S^1 with the same monodromy as N_n, and discuss an approach to the conjecture c(M_n)=2n+5 based on the equality c(N_n)=2n.
A complexity of compact 3-manifold via immersed surfaces
本文通过Dehn曲面定义紧致3-流形的曲面复杂度不变量，证明其满足连通和次可加性及有限对一性质，并建立其与立方剖分、理想三角剖分和Matveev复杂度之间的关系。
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 …
We describe an algorithm which has enabled us to give a complete list, without repetitions, of all closed oriented irreducible 3-manifolds of complexity up to 9. More interestingly, we have actually been able to give a "name" to each such manifold, by recognizing its canonical decomposition into Seifert fibred spaces and hyperbolic manifolds. The algorithm relies on the extension of Matveev's theory of complexity to the case of manifolds bounded by suitably marked tori, and on the notion of assembling of two such manifolds. We show that every manifold is an assembling of manifolds which cannot…
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 aspheri…
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 i…
Let M be a (possibly non-orientable) compact 3-manifold with (possibly empty) boundary consisting of tori and Klein bottles. Let $X\subset\partial M$ be a trivalent graph such that $\partial M\setminus X$ is a union of one disc for each component of $\partial M$. Building on previous work of Matveev, we define for the pair (M,X) a complexity c(M,X) and show that, when M is closed, irreducible and P^2-irreducible, $c(M,\emptyset)$ is the minimal number of tetrahedra in a triangulation of M. Moreover c is additive under connected sum, and, given any n>=0, there are only finitely many irreducible…
We notice that a generic nonsingular gradient field $v = \nabla f$ on a compact 3-fold $X$ with boundary canonically generates a simple spine $K(f, v)$ of $X$. We study the transformations of $K(f, v)$ that are induced by deformations of the data $(f, v)$. We link the Matveev complexity $c(X)$ of $X$ with counting the \emph{double-tangent} trajectories of the $v$-flow, i.e. the trajectories that are tangent to the boundary $\d X$ at a pair of distinct points. Let $gc(X)$ be the minimum number of such trajectories, minimum being taken over all nonsingular $v$'s. We call $gc(X)$ the \emph{gradie…
We develop a calculus of surgery data, called bridged links, which involves besides links also pairs of balls that describe one-handle attachements. As opposed to the usual link calculi of Kirby and others this description uses only elementary, local moves(namely modifications and isolated cancellations), and it is valid also on non-simply connected and disconnected manifolds. In particular, it allows us to give a presentation of a 3-manifold by doing surgery on any other 3-manifold with the same boundary. Bridged link presentations on unions of handlebodies are used to give a Cerf-theoretical…
The triangulation complexity of a compact 3-manifold is the minimal number of tetrahedra in any triangulation of the 3-manifold. We compute the triangulation complexity of all elliptic 3-manifolds and all sol 3-manifolds, to within a universally bounded multiplicative error.
We classify all closed non-orientable P2-irreducible 3-manifolds with complexity up to 7, fixing two mistakes in our previous complexity-up-to-6 classification. We show that there is no such manifold with complexity less than 6, five with complexity 6 (the four flat ones and the filling of the Gieseking manifold, which is of type Sol, and three with complexity 7 (one manifold of type Sol, and the two manifolds of type H2xR with smallest base orbifolds).
We establish two-sided bounds for the complexity of two infinite series of closed orientable 3-dimensional hyperbolic manifolds, the Lobell manifolds and the Fibonacci manifolds.
We classify all closed non-orientable P2-irreducible 3-manifolds having complexity up to 6 and we describe some having complexity 7. We show in particular that there is no such manifold with complexity less than 6, and that those having complexity 6 are precisely the 4 flat non-orientable ones and the filling of the Gieseking manifold, which is of type Sol. The manifolds having complexity 7 we describe are Seifert manifolds of type H2 x S1 and a manifold of type Sol.
After a short summary of known results on surface-complexity of closed 3-manifolds, we will classify all closed orientable 3-manifolds with surface-complexity one.
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.
A filling Dehn sphere $Σ$ in a closed 3-manifold $M$ is a sphere transversely immersed in $M$ that defines a cell decomposition of $M$. Every closed 3-manifold has a filling Dehn sphere. The Montesinos complexity of a $3$-manifold $M$ is defined as the minimal number of triple points among all the filling Dehn spheres of $M$. A sharp upper bound for the Montesinos complexity of the connected sum of two 3-manifolds is given.
We present new lower bounds on the complexity of Dehn surgery manifolds of knots, using our recent result on the Cheeger-Gromov rho invariants and triangulations. As an application, we give explicit examples of closed hyperbolic 3-manifolds with fixed first homology for which the gap between the Gromov norm and the complexity is arbitrarily large.
A new lower bound on the complexity of a 3-manifold is given using the Z2-Thurston norm. This bound is shown to be sharp, and the minimal triangulations realising it are characterised using normal surfaces consisting entirely of quadrilateral discs.
In this sequel to earlier papers by three of the authors, we obtain a new bound on the complexity of a closed 3--manifold, as well as a characterisation of manifolds realising our complexity bounds. As an application, we obtain the first infinite families of minimal triangulations of Seifert fibred spaces modelled on Thurston's geometry $\widetilde{\text{SL}_2(\mathbb{R})}.$
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 …
The triangulation complexity of fibred 3-manifolds
本文主要研究在圆上纤维化的闭可定向双曲三维流形的三角剖分复杂度，证明了其与monodromy作用在mapping class group上的平移长度等价，误差仅依赖于纤维亏格的有界因子。
Let $M$ be a closed $n$-manifold with nonzero simplicial volume. A central result in systolic geometry from Gromov is that systolic volume of $M$ is related to its simplicial volume. In this short note, we show that systolic volume of hyperbolic manifolds is related to triangulation complexity. The proof is based on Jørgensen and Thurston's theorem of hyperbolic volume.
Non-orientable 3-manifolds of surface-complexity one
本文分类了通过粘合立方体面得到的闭不可定向P²-不可约3-流形，证明它们恰为四个平坦流形，即曲面复杂度为一的情形。
The graph complexity of a compact 3-manifold is defined as the minimum order among all 4-colored graphs representing it. Exact calculations of graph complexity have been already performed, through tabulations, for closed orientable manifolds (up to graph complexity 32) and for compact orientable 3-manifolds with toric boundary (up to graph complexity 12) and for infinite families of lens spaces. In this paper we extend to graph complexity 14 the computations for orientable manifolds with toric boundary and we give two-sided bounds for the graph complexity of tetrahedral manifolds. As a consequ…
In this paper, we prove that the systolic volume of a closed aspherical 3-manifold is bounded below in terms of complexity. Systolic volume is defined as the optimal constant in a systolic inequality. Babenko showed that the systolic volume is a homotopy invariant. Moreover, Gromov proved that the systolic volume depends on topology of the manifold. More precisely, Gromov proved that the systolic volume is related to some topological invariants measuring complicatedness. In this paper, we work along Gromov's spirit to show that systolic volume of 3-manifolds is related to complexity. The compl…
One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In this paper we prove that the number of diffeomorphism classes grows at least as fast as $n^{c\sqrt[3]{n}}$. Along the way we construct complete kirby diagrams for a large family of knot surgery manifolds.
Let M be a 4-manifold which admits a free circle action. We use twisted Alexander polynomials to study the existence of symplectic structures and the minimal complexity of surfaces in M. The results on the existence of symplectic structures summarize previous results of the authors in [FV08a,FV08,FV07]. The results on surfaces of minimal complexity are new.
Within crystallization theory, two interesting PL invariants for $d$-manifolds have been introduced and studied, namely {\it gem-complexity} and {\it regular genus}. In the present paper we prove that, for any closed connected PL $4$-manifold $M$, its gem-complexity $\mathit{k}(M)$ and its regular genus $ \mathcal G(M)$ satisfy: $$\mathit{k}(M) \ \geq \ 3 χ(M) + 10m -6 \ \ \ \text{and} \ \ \ \mathcal G(M) \ \geq \ 2 χ(M) + 5m -4,$$ where $rk(π_1(M))=m.$ These lower bounds enable to strictly improve previously known estimations for regular genus and gem-complexity of product 4-manifolds. Moreov…
Our purpose is to classify acyclic 4-manifolds having shadow complexity zero. In this paper, we focus on simple polyhedra and discuss this problem combinatorially. We consider a shadowed polyhedron $X$ and a simple polyhedron $X_0$ that is obtained by collapsing from $X$. Then we prove that there exists a canonical way to equip internal regions of $X_0$ with gleams so that two 4-manifolds reconstructed from $X_0$ and $X$ are diffeomorphic. We also show that any acyclic simple polyhedron whose singular set is a union of circles can collapse onto a disk. As a consequence of these results, we pro…
We construct an infinite family $\{ C_{n,k}\}_{k=1}^{\infty}$ of corks of Mazur type satisfying $2n\leq \mathrm{sc}^{\mathrm{sp}}(C_{n,k})\leq O(n^{3/2})$ for any positive integer $n$. Furthermore, using these corks, we construct an infinite family $\{(W_{n,k},W'_{n,k})\}_{k=1}^{\infty}$ of exotic pairs of $4$-manifolds with boundary whose special shadow-complexities satisfy the above inequalities. We also discuss exotic pairs with small shadow-complexity.
Scharlemann and Thompson define the width of a 3-manifold M as a notion of complexity based on the topology of M. Their original definition had the property that the adjacency relation on handles gave a linear order on handles, but here we consider a more general definition due to Saito, Scharlemann and Schultens, in which the adjacency relation on handles may give an arbitrary graph. We show that for compact hyperbolic 3-manifolds, this is linearly related to a notion of metric complexity, based on the areas of level sets of Morse functions to graphs, which we call Gromov area.
It has been observed that most manifolds in the Callahan-Hildebrand-Weeks census of cusped hyperbolic $3$-manifolds are obtained by surgery on the minimally twisted 5-chain link. A full classification of the exceptional surgeries on the 5-chain link has recently been completed. In this article, we provide a complete classification of the sets of exceptional slopes and fillings for all cusped hyperbolic surgeries on the minimally twisted 5-chain link, thereby describing the sets of exceptional slopes and fillings for most hyperbolic manifolds of small complexity. The classification produces the…
We show that the problem of deciding whether a knot in a fixed closed orientable 3-dimensional manifold bounds a surface of genus at most $g$ is in co-NP. This answers a question of Agol, Hass, and Thurston in 2002. Previously, this was known for rational homology 3-spheres, by the work of the first author.
We describe an algorithm to subdivide automatically a given set of PL n-manifolds (via coloured triangulations or, equivalently, via crystallizations) into classes whose elements are PL-homeomorphic. The algorithm, implemented in the case n=4, succeeds to solve completely the PL-homeomorphism problem among the catalogue of all closed connected PL 4-manifolds up to gem-complexity 8 (i.e., which admit a coloured triangulation with at most 18 4-simplices). Possible interactions with the (not completely known) relationship among different classification in TOP and DIFF=PL categories are also inves…
Minimal complexity cusped hyperbolic 3-manifolds with geodesic boundary
本文对亏格$g$最小情形下的最小复杂度尖点双曲3-流形类$M_{k,k}$和$M_{k+1,k}$进行完整分类，描述其等距群、两集合间小斜率Dehn填充关系及$M_{k,k}$的可公度不变量。
In this paper we find infinitely many Mazur type manifolds and corks with shadow complexity one among the 4-manifolds constructed from contractible special polyhedra having one true vertex by using the notion of Turaev's shadow. We also find such manifolds among 4-manifolds constructed from Bing's house. Our manifolds with shadow complexity one contain the Mazur manifolds $W^{\pm }(l,k)$ which were studied by Akbulut and Kirby.
This is part 2 of a 3-part article where we provide an $O(n^2)$-algorithm to produce a surgery presentation of a 3-manifold induced by a gem with a resolution. In this part we produce a sequence of colored simplicial 2-complexes which are inverses and dual to the sequence of gems produced in the first part. The refinements of the DPL-faces that keep appearing are idempotent: the second refinement of a DPL-face is isomorphic to its first refinement. This fact inhibits exponentiability.
Scharlemann and Thompson define a numerical complexity for a 3-manifold using handle decompositions of the manifold. We show that for compact hyperbolic 3-manifolds this is linearly related to a definition of metric complexity in terms of the areas of level sets of Morse functions.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。