Showing 1–5 of 5 results for author: Quintanilha, J P

Writhe invariants of 3-regular spatial graphs

Authors: Stefan Friedl, Tejas Kalelkar, José Pedro Quintanilha

Abstract: We give a necessary condition for two diagrams of $3$-regular spatial graphs with the same underlying abstract graph $G$ to represent isotopic spatial graphs. The test works by reading off the writhes of the knot diagrams coming from a collection of cycles in $G$ in each diagram, and checking whether the writhe tuples differ by an element in the image of a certain map of $\mathbb{Z}$-modules deter… ▽ More We give a necessary condition for two diagrams of $3$-regular spatial graphs with the same underlying abstract graph $G$ to represent isotopic spatial graphs. The test works by reading off the writhes of the knot diagrams coming from a collection of cycles in $G$ in each diagram, and checking whether the writhe tuples differ by an element in the image of a certain map of $\mathbb{Z}$-modules determined by $G$. We exemplify by using our result to distinguish, for each $n \ge 3$, all elements in a certain infinite family of embeddings of the Möbius ladder $\mathrm{M}_n$ into $\mathbb{R}^3$ . We also connect these writhe tuples to a classical invariant of spatial graphs due to Wu and Taniyama. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: 15 pages, 9 figures

An algorithm to calculate generalized Seifert matrices

Authors: Stefan Friedl, Chinmaya Kausik, José Pedro Quintanilha

Abstract: We develop an algorithm for computing generalized Seifert matrices for colored links given as closures of colored braids. The algorithm has been implemented by the second author as a computer program called Clasper. Clasper also outputs the Conway potential function, the multivariable Alexander polynomial and the Cimasoni-Florens signatures of a link, and displays a visualization of the C-complex… ▽ More We develop an algorithm for computing generalized Seifert matrices for colored links given as closures of colored braids. The algorithm has been implemented by the second author as a computer program called Clasper. Clasper also outputs the Conway potential function, the multivariable Alexander polynomial and the Cimasoni-Florens signatures of a link, and displays a visualization of the C-complex used for producing the generalized Seifert matrices. △ Less

Submitted 22 April, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 18 pages, 15 figures

Canonical decompositions and algorithmic recognition of spatial graphs

Authors: Stefan Friedl, Lars Munser, José Pedro Quintanilha, Yuri Santos Rego

Abstract: We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colorings, edge colorings and/or edge orientations. We first show that spatial graphs admit canonical decompositions into blocks, that is, spatial graphs that are non-separable and have no cut verti… ▽ More We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colorings, edge colorings and/or edge orientations. We first show that spatial graphs admit canonical decompositions into blocks, that is, spatial graphs that are non-separable and have no cut vertices, in a suitable topological sense. Then we apply a result of Haken and Matveev in order to algorithmically distinguish these blocks. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Comments: 57 pages, 16 figures

Journal ref: Proceedings of the Edinburgh Mathematical Society 67 (2024) 388-430

The Complex of Hypersurfaces in a Homology Class

Authors: Gerrit Herrmann, José Pedro Quintanilha

Abstract: For a compact oriented smooth $n$-manifold $M$ and a codimension-$1$ homology class $φ\in \operatorname{H}_{n-1}(M, \partial M)$, we investigate a simplicial complex $\mathcal{S}^\dagger(M, φ)$ relating the properly embedded hypersurfaces in $M$ representing $φ$. Its definition is akin to that of other classical complexes, such as the curve complex of a surface or the Kakimizu complex of a knot, w… ▽ More For a compact oriented smooth $n$-manifold $M$ and a codimension-$1$ homology class $φ\in \operatorname{H}_{n-1}(M, \partial M)$, we investigate a simplicial complex $\mathcal{S}^\dagger(M, φ)$ relating the properly embedded hypersurfaces in $M$ representing $φ$. Its definition is akin to that of other classical complexes, such as the curve complex of a surface or the Kakimizu complex of a knot, with the difference that hypersurfaces are not taken up to isotopy. We prove that $\mathcal{S}^\dagger(M, φ)$ is connected and simply connected in every dimension $n$. We also show connectedness of a similar complex $\mathcal{T}^\dagger(M, φ)$ adapted to the $3$-dimensional case, where only Thurston norm-realizing surfaces are considered. The connectedness results are transported to the complexes $\mathcal{S}(M, φ), \mathcal{T}(M, φ)$ where hypersurfaces are taken up to isotopy, and for $n=2$ the simple connectedness result carries over as well. We also briefly discuss extensions to a context studied by Turaev, where regular graphs in $2$-complexes are used to represent $1$-dimensional cohomology classes. We finish with two applications: we give an alternative proof of the fact that all Seifert surfaces for a fixed knot in a rational homology sphere are tube-equivalent, and we use connectedness of $\mathcal{T}^\dagger(M, φ)$ to define a new $\ell^2$-invariant of $2$-dimensional homology classes in irreducible and boundary-irreducible oriented compact connected $3$-manifolds with empty or toroidal boundary. △ Less

Submitted 22 February, 2022; v1 submitted 1 July, 2020; originally announced July 2020.

Comments: 33 pages. Major modifications since last version, with main results and proofs now focusing on the simplicial complexes of hypersurfaces NOT taken up to isotopy. Results from earlier versions are deduced as corollaries of theorems in the new setup. Some proofs and terminology have been simplified. A new section connecting to work of Turaev has been added

MSC Class: 57K10; 57K20; 57K31; 57R40; 57R52

Stable integral simplicial volume of 3-manifolds

Authors: Daniel Fauser, Clara Loeh, Marco Moraschini, José Pedro Quintanilha

Abstract: We show that non-elliptic prime 3-manifolds satisfy integral approximation for the simplicial volume, i.e., that their simplicial volume equals the stable integral simplicial volume. The proof makes use of integral foliated simplicial volume and tools from ergodic theory. We show that non-elliptic prime 3-manifolds satisfy integral approximation for the simplicial volume, i.e., that their simplicial volume equals the stable integral simplicial volume. The proof makes use of integral foliated simplicial volume and tools from ergodic theory. △ Less

Submitted 14 April, 2021; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: 36 pages, no figures; minor changes made according to referee's suggestions; To appear in J. Topol

MSC Class: 55N10; 57N65; 57M27