Showing 1–50 of 123 results for author: Friedl, S

Algorithms in 4-manifold topology

Authors: Stefan Bastl, Rhuaidi Burke, Rima Chatterjee, Subhankar Dey, Alison Durst, Stefan Friedl, Daniel Galvin, Alejandro García Rivas, Tobias Hirsch, Cara Hobohm, Chun-Sheng Hsueh, Marc Kegel, Frieda Kern, Shun Ming Samuel Lee, Clara Löh, Naageswaran Manikandan, Léo Mousseau, Lars Munser, Mark Pencovitch, Patrick Perras, Mark Powell, José Pedro Quintanilha, Lisa Schambeck, David Suchodoll, Martin Tancer , et al. (6 additional authors not shown)

Abstract: We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm.… ▽ More We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm. Along the way, we develop an algorithm to compute the Kirby-Siebenmann invariant of a closed, simply connected, topological 4-manifold from any of its Kirby diagrams and describe an algorithm that decides whether or not two intersection forms are isometric. In a slightly different direction, we discuss the decidability of the stable classification of smooth manifolds with more general fundamental groups. Here we show that there exists an algorithm that takes as input two closed, oriented, smooth 4-manifolds with fundamental groups isomorphic to a finite group with cyclic Sylow 2-subgroup, an infinite cyclic group, or a group of geometric dimension at most 3 (in the latter case we additionally assume that the universal covers of both 4-manifolds are not spin), and decides whether or not these two 4-manifolds are orientation-preserving stably diffeomorphic. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Comments: 24 pages, 1 Figure

Report number: MPIM-Bonn-2024 MSC Class: 57K40; 57K10; 57R65

Bounding the ribbon numbers of knots and links

Authors: Stefan Friedl, Filip Misev, Alexander Zupan

Abstract: The ribbon number $r(K)$ of a ribbon knot $K \subset S^3$ is the minimal number of ribbon intersections contained in any ribbon disk bounded by $K$. We find new lower bounds for $r(K)$ using $\det(K)$ and $Δ_K(t)$, and we prove that the set $\mathfrak{R}_r~=~\{Δ_K(t)~:~r(K)~\leq~r\}$ is finite and computable. We determine $\mathfrak{R}_2$ and $\mathfrak{R}_3$, applying our results to compute the r… ▽ More The ribbon number $r(K)$ of a ribbon knot $K \subset S^3$ is the minimal number of ribbon intersections contained in any ribbon disk bounded by $K$. We find new lower bounds for $r(K)$ using $\det(K)$ and $Δ_K(t)$, and we prove that the set $\mathfrak{R}_r~=~\{Δ_K(t)~:~r(K)~\leq~r\}$ is finite and computable. We determine $\mathfrak{R}_2$ and $\mathfrak{R}_3$, applying our results to compute the ribbon numbers for all ribbon knots with 11 or fewer crossings, with three exceptions. Finally, we find lower bounds for ribbon numbers of links derived from their Jones polynomials. △ Less

Submitted 21 August, 2024; originally announced August 2024.

Comments: 29 pages, 19 figures, 2 tables, comments welcome!

MSC Class: 57K10

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

When does the table theorem imply a solution to the square peg problem?

Authors: Stefan Friedl, Kenan İnce

Abstract: We will explain the relationship between one of the most beautiful theorems in topology, namely Fenn's Table Theorem, and one of the most famous open problems in topology, namely the Square Peg Problem. We will explain the relationship between one of the most beautiful theorems in topology, namely Fenn's Table Theorem, and one of the most famous open problems in topology, namely the Square Peg Problem. △ Less

Submitted 30 March, 2023; originally announced March 2023.

Comments: 8 pages, 6 figures

MSC Class: 54F50; 53A04

Blanchfield pairings and Gordian distance

Authors: Stefan Friedl, Takahiro Kitayama, Masaaki Suzuki

Abstract: A lower bound of the Gordian distance is presented in terms of the Blanchfield pairing. Our approach, in particular, allows us to show at least for 195 pairs of unoriented nontrivial prime knots with up to 10 crossings that their Gordian distance is equal to 3, most of which are difficult to treat otherwise. A lower bound of the Gordian distance is presented in terms of the Blanchfield pairing. Our approach, in particular, allows us to show at least for 195 pairs of unoriented nontrivial prime knots with up to 10 crossings that their Gordian distance is equal to 3, most of which are difficult to treat otherwise. △ Less

Submitted 27 September, 2022; v1 submitted 28 August, 2022; originally announced August 2022.

Comments: 20 pages. Version 2 also includes computational results for composite knots

MSC Class: 57K10 (Primary); 57K31 (Secondary)

Journal ref: International Journal of Mathematics, 35, (2024), 2450052 (24 pages)

Rational homology ribbon cobordism is a partial order

Authors: Stefan Friedl, Filip Misev, Raphael Zentner

Abstract: We show that ribbon rational homology cobordism is a partial order within the class of irreducible 3-manifolds. This makes essential use of the methods recently employed by Ian Agol to show that ribbon knot concordance is a partial order. We show that ribbon rational homology cobordism is a partial order within the class of irreducible 3-manifolds. This makes essential use of the methods recently employed by Ian Agol to show that ribbon knot concordance is a partial order. △ Less

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

Comments: 10 pages. v2: Misleading typo corrected in the proof of Theorem 1.2

Journal ref: Algebr. Geom. Topol. 25 (2025) 245-253

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

Epimorphism testing with virtually Abelian targets

Authors: Stefan Friedl, Clara Loeh

Abstract: We show that the epimorphism problem is solvable for targets that are virtually cyclic or a product of an Abelian group and a finite group. We show that the epimorphism problem is solvable for targets that are virtually cyclic or a product of an Abelian group and a finite group. △ Less

Submitted 22 March, 2021; v1 submitted 15 October, 2020; originally announced October 2020.

Comments: 18 pages. V3: final version

Homotopy ribbon concordance, Blanchfield pairings, and twisted Alexander polynomials

Authors: Stefan Friedl, Takahiro Kitayama, Lukas Lewark, Matthias Nagel, Mark Powell

Abstract: We establish homotopy ribbon concordance obstructions coming from the Blanchfield form and Levine-Tristram signatures. Then, as an application of twisted Alexander polynomials, we show that for every knot K with nontrivial Alexander polynomial, there exists an infinite family of knots that are all concordant to K and have the same Blanchfield form as K, such that no pair of knots in that family is… ▽ More We establish homotopy ribbon concordance obstructions coming from the Blanchfield form and Levine-Tristram signatures. Then, as an application of twisted Alexander polynomials, we show that for every knot K with nontrivial Alexander polynomial, there exists an infinite family of knots that are all concordant to K and have the same Blanchfield form as K, such that no pair of knots in that family is homotopy ribbon concordant. △ Less

Submitted 27 March, 2021; v1 submitted 30 July, 2020; originally announced July 2020.

Comments: 33 pages. Comments welcome. v2: Added details and new Example 3.5, accepted for publication by Canadian Journal of Mathematics

MSC Class: 57N70 (57K10; 57K14)

Journal ref: Canadian Journal of Mathematics 74 (2022), no. 4, pp. 1137-1176

An Environment for Sustainable Research Software in Germany and Beyond: Current State, Open Challenges, and Call for Action

Authors: Hartwig Anzt, Felix Bach, Stephan Druskat, Frank Löffler, Axel Loewe, Bernhard Y. Renard, Gunnar Seemann, Alexander Struck, Elke Achhammer, Piush Aggarwal, Franziska Appel, Michael Bader, Lutz Brusch, Christian Busse, Gerasimos Chourdakis, Piotr W. Dabrowski, Peter Ebert, Bernd Flemisch, Sven Friedl, Bernadette Fritzsch, Maximilian D. Funk, Volker Gast, Florian Goth, Jean-Noël Grad, Sibylle Hermann , et al. (18 additional authors not shown)

Abstract: Research software has become a central asset in academic research. It optimizes existing and enables new research methods, implements and embeds research knowledge, and constitutes an essential research product in itself. Research software must be sustainable in order to understand, replicate, reproduce, and build upon existing research or conduct new research effectively. In other words, software… ▽ More Research software has become a central asset in academic research. It optimizes existing and enables new research methods, implements and embeds research knowledge, and constitutes an essential research product in itself. Research software must be sustainable in order to understand, replicate, reproduce, and build upon existing research or conduct new research effectively. In other words, software must be available, discoverable, usable, and adaptable to new needs, both now and in the future. Research software therefore requires an environment that supports sustainability. Hence, a change is needed in the way research software development and maintenance are currently motivated, incentivized, funded, structurally and infrastructurally supported, and legally treated. Failing to do so will threaten the quality and validity of research. In this paper, we identify challenges for research software sustainability in Germany and beyond, in terms of motivation, selection, research software engineering personnel, funding, infrastructure, and legal aspects. Besides researchers, we specifically address political and academic decision-makers to increase awareness of the importance and needs of sustainable research software practices. In particular, we recommend strategies and measures to create an environment for sustainable research software, with the ultimate goal to ensure that software-driven research is valid, reproducible and sustainable, and that software is recognized as a first class citizen in research. This paper is the outcome of two workshops run in Germany in 2019, at deRSE19 - the first International Conference of Research Software Engineers in Germany - and a dedicated DFG-supported follow-up workshop in Berlin. △ Less

Submitted 5 May, 2020; v1 submitted 27 April, 2020; originally announced May 2020.

Comments: Official position paper 001 of de-RSE e.V. - Society for Research Software (https://de-rse.org) --- 16 pages, 1 figure + 1 page supplementary material, 4 figures --- Submitted to the F1000 Research Science Policy Research Gateway on 2020-04-03

Journal ref: F1000Research 2020

BNS Invariants and Algebraic Fibrations of Group Extensions

Authors: Stefan Friedl, Stefano Vidussi

Abstract: Let $G$ be a finitely generated group that can be written as an extension \[ 1 \longrightarrow K \stackrel{i}{\longrightarrow} G \stackrel{f}{\longrightarrow} Γ\longrightarrow 1 \] where $K$ is a finitely generated group. By a study of the BNS invariants we prove that if $b_1(G) > b_1(Γ) > 0$, then $G$ algebraically fibers, i.e. admits an epimorphism to $\Bbb{Z}$ with finitely generated kernel. An… ▽ More Let $G$ be a finitely generated group that can be written as an extension \[ 1 \longrightarrow K \stackrel{i}{\longrightarrow} G \stackrel{f}{\longrightarrow} Γ\longrightarrow 1 \] where $K$ is a finitely generated group. By a study of the BNS invariants we prove that if $b_1(G) > b_1(Γ) > 0$, then $G$ algebraically fibers, i.e. admits an epimorphism to $\Bbb{Z}$ with finitely generated kernel. An interesting case of this occurrence is when $G$ is the fundamental group of a surface bundle over a surface $F \hookrightarrow X \rightarrow B$ with Albanese dimension $a(X) = 2$. As an application, we show that if $X$ has virtual Albanese dimension $va(X) = 2$ and base and fiber have genus greater that $1$, $G$ is noncoherent. This answers for a broad class of bundles a question of J. Hillman. △ Less

Submitted 5 August, 2021; v1 submitted 22 December, 2019; originally announced December 2019.

Comments: Final version, with some typo corrected. To appear in J. Inst. Math. Jussieu

Journal ref: J. Inst. Math. Jussieu 22 (2023), no. 2, 985-999

A survey of the foundations of four-manifold theory in the topological category

Authors: Stefan Friedl, Matthias Nagel, Patrick Orson, Mark Powell

Abstract: This survey aims to provide a guide to the literature on topological 4-manifolds. Foundational theorems on 4-manifolds are stated, especially in the topological category. Precise references are given, with indications of the strategies employed in the proofs. Where appropriate we give statements for manifolds of all dimensions. Many intuitively plausible theorems which are standard results in diff… ▽ More This survey aims to provide a guide to the literature on topological 4-manifolds. Foundational theorems on 4-manifolds are stated, especially in the topological category. Precise references are given, with indications of the strategies employed in the proofs. Where appropriate we give statements for manifolds of all dimensions. Many intuitively plausible theorems which are standard results in differential topology are either extraordinarily deep results in the topological category, are open, or are known to be false. Hence one must proceed with caution. This book seeks to help 4-manifold topologists navigate potential pitfalls, and to apply the many powerful results that do exist with confidence. △ Less

Submitted 2 January, 2024; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: 155 pages, 14 figures. Comments very welcome. Version 2 includes corrections to Theorems 2.7, 8.2, and 11.6. Version 3 has been extensively rewritten following a referee report, including new chapters 3 and 7

MSC Class: 57K40; 57N35; 57N40; 57N55; 57N65; 57N70; 57N75; 57Q10

Connected sum decompositions of high-dimensional manifolds

Authors: Imre Bokor, Diarmuid Crowley, Stefan Friedl, Fabian Hebestreit, Daniel Kasprowski, Markus Land, Johnny Nicholson

Abstract: The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions. The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions. △ Less

Submitted 7 September, 2020; v1 submitted 5 September, 2019; originally announced September 2019.

Comments: 25 pages, fixed several minor mistakes, final version

Journal ref: 2019-20 MATRIX Annals, MATRIX Book Ser. 4 (2021), 5-30

Homotopy ribbon concordance and Alexander polynomials

Authors: Stefan Friedl, Mark Powell

Abstract: We show that if a link J in the 3-sphere is homotopy ribbon concordant to a link L then the Alexander polynomial of L divides the Alexander polynomial of J. We show that if a link J in the 3-sphere is homotopy ribbon concordant to a link L then the Alexander polynomial of L divides the Alexander polynomial of J. △ Less

Submitted 22 July, 2020; v1 submitted 21 July, 2019; originally announced July 2019.

Comments: 7 pages. Version 2 extends the result to Alexander polynomials of links. Version 3 incorporates referee's comments, to appear in Archiv der Mathematik

MSC Class: 57M25; 57M27; 57N70

Integral approximation of simplicial volume of graph manifolds

Authors: Daniel Fauser, Stefan Friedl, Clara Loeh

Abstract: Graph manifolds are manifolds that decompose along tori into pieces with a tame $S^1$-structure. In this paper, we prove that the simplicial volume of graph manifolds (which is known to be zero) can be approximated by integral simplicial volumes of their finite coverings. This gives a uniform proof of the vanishing of rank gradients, Betti number gradients and torsion homology gradients for graph… ▽ More Graph manifolds are manifolds that decompose along tori into pieces with a tame $S^1$-structure. In this paper, we prove that the simplicial volume of graph manifolds (which is known to be zero) can be approximated by integral simplicial volumes of their finite coverings. This gives a uniform proof of the vanishing of rank gradients, Betti number gradients and torsion homology gradients for graph manifolds. △ Less

Submitted 27 July, 2018; originally announced July 2018.

Comments: 18 pages

MSC Class: 55N10; 57N65; 57M27

On distinct finite covers of 3-manifolds

Authors: Stefan Friedl, JungHwan Park, Bram Petri, Jean Raimbault, Arunima Ray

Abstract: Every closed orientable surface S has the following property: any two connected covers of S of the same degree are homeomorphic (as spaces). In this, paper we give a complete classification of compact 3-manifolds with empty or toroidal boundary which have the above property. We also discuss related group-theoretic questions. Every closed orientable surface S has the following property: any two connected covers of S of the same degree are homeomorphic (as spaces). In this, paper we give a complete classification of compact 3-manifolds with empty or toroidal boundary which have the above property. We also discuss related group-theoretic questions. △ Less

Submitted 8 May, 2020; v1 submitted 25 July, 2018; originally announced July 2018.

Comments: 29 pages. V3: Implements suggestions from a referee report. This version has been accepted for publication by IUMJ

Report number: MPIM-Bonn-2018

Journal ref: Indiana University Mathematics Journal, 70 no. 2, 809-846, 2021

The leading coefficient of the $L^2$-Alexander torsion

Authors: Fathi Ben Aribi, Stefan Friedl, Gerrit Herrmann

Abstract: We give upper and lower bounds on the leading coefficients of the $L^2$-Alexander torsions of a $3$-manifold $M$ in terms of hyperbolic volumes and of relative $L^2$-torsions of sutured manifolds obtained by cutting $M$ along certain surfaces. We prove that for numerous families of knot exteriors the lower and upper bounds are equal, notably for exteriors of 2-bridge knots. In particular we comp… ▽ More We give upper and lower bounds on the leading coefficients of the $L^2$-Alexander torsions of a $3$-manifold $M$ in terms of hyperbolic volumes and of relative $L^2$-torsions of sutured manifolds obtained by cutting $M$ along certain surfaces. We prove that for numerous families of knot exteriors the lower and upper bounds are equal, notably for exteriors of 2-bridge knots. In particular we compute the leading coefficient explicitly for 2-bridge knots. △ Less

Submitted 6 May, 2021; v1 submitted 28 June, 2018; originally announced June 2018.

Comments: v2, final version : 33 pages, 5 figures. we rewrote parts of the paper, we added details to the proofs and we added Figure 3 for clarity, but the mathematical content is globally unchanged. Accepted for publication at the Annales de l'Institut Fourier

MSC Class: 57M25; 57M27

Torsion in the homology of finite covers of 3-manifolds

Authors: Stefan Friedl, Gerrit Herrmann

Abstract: Let $N$ be a prime 3-manifold that is not a closed graph manifold. Building on a result of Hongbin Sun and using a result of Asaf Hadari we show that for every $k\in\Bbb{N}$ there exists a finite cover $\tilde{N}$ of $N$ such that $|\operatorname{Tor} H_1(\tilde{N};\Bbb{Z})|>k$. Let $N$ be a prime 3-manifold that is not a closed graph manifold. Building on a result of Hongbin Sun and using a result of Asaf Hadari we show that for every $k\in\Bbb{N}$ there exists a finite cover $\tilde{N}$ of $N$ such that $|\operatorname{Tor} H_1(\tilde{N};\Bbb{Z})|>k$. △ Less

Submitted 24 October, 2017; originally announced October 2017.

Comments: 9 pages

Grothendieck rigidity of 3-manifold groups

Authors: Michel Boileau, Stefan Friedl

Abstract: We show that fundamental groups of compact, orientable, irreducible 3-manifolds with toroidal boundary are Grothendieck rigid. We show that fundamental groups of compact, orientable, irreducible 3-manifolds with toroidal boundary are Grothendieck rigid. △ Less

Submitted 20 October, 2017; v1 submitted 7 October, 2017; originally announced October 2017.

Comments: 15 pages v2: corrected the history of Grothendieck's problem

An elementary proof of the group law for elliptic curves

Authors: Stefan Friedl

Abstract: We give an elementary proof of the group law for elliptic curves using explicit formulas. We give an elementary proof of the group law for elliptic curves using explicit formulas. △ Less

Submitted 30 September, 2017; originally announced October 2017.

Comments: 9 pages, 1 figure

The virtual Thurston seminorm of 3-manifolds

Authors: Michel Boileau, Stefan Friedl

Abstract: We show that the Thurston seminorms of all finite covers of an aspherical 3-manifold determine whether it is a graph manifold, a mixed 3-manifold or hyperbolic. We show that the Thurston seminorms of all finite covers of an aspherical 3-manifold determine whether it is a graph manifold, a mixed 3-manifold or hyperbolic. △ Less

Submitted 19 September, 2017; originally announced September 2017.

Comments: 14 pages

Linking forms revisited

Authors: Anthony Conway, Stefan Friedl, Gerrit Herrmann

Abstract: We show that the $\mathbb{Q}/\mathbb{Z}$-valued linking forms on rational homology spheres are (anti-) symmetric and we compute the linking form of a 3-dimensional rational homology sphere in terms of a Heegaard splitting. Both results have been known to a larger or lesser degree, but it is difficult to find rigorous down-to-earth proofs in the literature. We show that the $\mathbb{Q}/\mathbb{Z}$-valued linking forms on rational homology spheres are (anti-) symmetric and we compute the linking form of a 3-dimensional rational homology sphere in terms of a Heegaard splitting. Both results have been known to a larger or lesser degree, but it is difficult to find rigorous down-to-earth proofs in the literature. △ Less

Submitted 26 February, 2018; v1 submitted 12 August, 2017; originally announced August 2017.

Comments: 15 pages, a sign error was fixed in the main theorem, final version, to appear in Pure and Applied Mathematics Quarterly

Linking forms of amphichiral knots

Authors: Stefan Friedl, Allison N. Miller, Mark Powell

Abstract: We give a simple obstruction for a knot to be amphichiral, in terms of the homology of the 2-fold branched cover. We work with unoriented knots, and so obstruct both positive and negative amphichirality. We give a simple obstruction for a knot to be amphichiral, in terms of the homology of the 2-fold branched cover. We work with unoriented knots, and so obstruct both positive and negative amphichirality. △ Less

Submitted 6 July, 2017; v1 submitted 24 June, 2017; originally announced June 2017.

Comments: Version 2 has a new title to better reflect what is new in the paper, and historical references have been updated. 7 pages

MSC Class: 57M25; 57M27

Virtual algebraic fibrations of Kähler groups

Authors: Stefan Friedl, Stefano Vidussi

Abstract: This paper stems from the observation (arising from work of T. Delzant) that "most" Kähler groups virtually algebraically fiber, i.e. admit a finite index subgroup that maps onto $\Bbb{Z}$ with finitely generated kernel. For the remaining ones, the Albanese dimension of all finite index subgroups is at most one, i.e. they have virtual Albanese dimension $va(G) \leq 1$. We show that the existence o… ▽ More This paper stems from the observation (arising from work of T. Delzant) that "most" Kähler groups virtually algebraically fiber, i.e. admit a finite index subgroup that maps onto $\Bbb{Z}$ with finitely generated kernel. For the remaining ones, the Albanese dimension of all finite index subgroups is at most one, i.e. they have virtual Albanese dimension $va(G) \leq 1$. We show that the existence of algebraic fibrations has implications in the study of coherence and higher BNSR invariants of the fundamental group of aspherical Kähler surfaces. The class of Kähler groups with $va(G) \leq 1$ includes virtual surface groups. Further examples exist; nonetheless they exhibit a strong relation with surface groups. In fact, we show that the Green--Lazarsfeld sets of groups with $va(G) = 1$ (virtually) coincide with those of surface groups, and furthermore that the only virtually RFRS groups with $va(G) = 1$ are virtually surface groups. △ Less

Submitted 25 November, 2019; v1 submitted 24 April, 2017; originally announced April 2017.

Comments: Substantial revision, including a change of title to better reflect the content. To appear in Nagoya Math. J

Journal ref: Nagoya Math. J. 243 (2021) 42-60

Linear representations of 3-manifold groups over rings

Authors: Stefan Friedl, Montek Gill, Stephan Tillmann

Abstract: The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $PGL(2,R),$ where $R$ is some finite commutative ring with identity. We give an equivalent formulation of Luo's conjecture via faithful representations and provide various examples and a counterexample. The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $PGL(2,R),$ where $R$ is some finite commutative ring with identity. We give an equivalent formulation of Luo's conjecture via faithful representations and provide various examples and a counterexample. △ Less

Submitted 20 March, 2017; originally announced March 2017.

Comments: 17 pages

MSC Class: 57M27; 57M50

Satellites and concordance of knots in 3-manifolds

Authors: Stefan Friedl, Matthias Nagel, Patrick Orson, Mark Powell

Abstract: Given a 3-manifold $Y$ and a free homotopy class in $[S^1,Y]$, we investigate the set of topological concordance classes of knots in $Y \times [0,1]$ representing the given homotopy class. The concordance group of knots in the 3-sphere acts on this set. We show in many cases that the action is not transitive, using two techniques. Our first technique uses Reidemeister torsion invariants, and the s… ▽ More Given a 3-manifold $Y$ and a free homotopy class in $[S^1,Y]$, we investigate the set of topological concordance classes of knots in $Y \times [0,1]$ representing the given homotopy class. The concordance group of knots in the 3-sphere acts on this set. We show in many cases that the action is not transitive, using two techniques. Our first technique uses Reidemeister torsion invariants, and the second uses linking numbers in covering spaces. In particular, we show using covering links that for the trivial homotopy class, and for any 3-manifold that is not the 3-sphere, the set of orbits is infinite. On the other hand, for the case that $Y=S^1 \times S^2$, we apply topological surgery theory to show that all knots with winding number one are concordant. △ Less

Submitted 20 June, 2017; v1 submitted 28 November, 2016; originally announced November 2016.

Comments: 25 pages, 8 figures

MSC Class: 57M27

Groups and polytopes

Authors: Stefan Friedl, Wolfgang Lück, Stephan Tillmann

Abstract: In a series of papers the authors associated to an $L^2$-acyclic group $Γ$ an invariant $\mathcal{P}(Γ)$ that is a formal difference of polytopes in the vector space $H_1(Γ;\Bbb{R})$. This invariant is in particular defined for most 3-manifold groups, for most 2-generator 1-relator groups and for all free-by-cyclic groups. In most of the above cases the invariant can be viewed as an actual polytop… ▽ More In a series of papers the authors associated to an $L^2$-acyclic group $Γ$ an invariant $\mathcal{P}(Γ)$ that is a formal difference of polytopes in the vector space $H_1(Γ;\Bbb{R})$. This invariant is in particular defined for most 3-manifold groups, for most 2-generator 1-relator groups and for all free-by-cyclic groups. In most of the above cases the invariant can be viewed as an actual polytope. In this survey paper we will recall the definition of the polytope invariant $\mathcal{P}(Γ)$ and we state some of the main properties. We conclude with a list of open problems. △ Less

Submitted 6 November, 2016; originally announced November 2016.

Comments: 19 pages, 4 figures

On high-dimensional representations of knot groups

Authors: Stefan Friedl, Michael Heusener

Abstract: Given a hyperbolic knot $K$ and any $n\geq 2$ the abelian representations and the holonomy representation each give rise to an $(n-1)$-dimensional component in the $\operatorname{SL}(n,\Bbb{C})$-character variety. A component of the $\operatorname{SL}(n,\Bbb{C})$-character variety of dimension $\geq n$ is called high-dimensional. It was proved by Cooper and Long that there exist hyperbolic knots… ▽ More Given a hyperbolic knot $K$ and any $n\geq 2$ the abelian representations and the holonomy representation each give rise to an $(n-1)$-dimensional component in the $\operatorname{SL}(n,\Bbb{C})$-character variety. A component of the $\operatorname{SL}(n,\Bbb{C})$-character variety of dimension $\geq n$ is called high-dimensional. It was proved by Cooper and Long that there exist hyperbolic knots with high-dimensional components in the $\operatorname{SL}(2,\Bbb{C})$-character variety. We show that given any non-trivial knot $K$ and sufficiently large $n$ the $\operatorname{SL}(n,\Bbb{C})$-character variety of $K$ admits high-dimensional components. △ Less

Submitted 14 October, 2016; originally announced October 2016.

Comments: 15 pages

Journal ref: Algebr. Geom. Topol. 18 (2018) 313-332

The Blanchfield pairing of colored links

Authors: Anthony Conway, Stefan Friedl, Enrico Toffoli

Abstract: It is well known that the Blanchfield pairing of a knot can be expressed using Seifert matrices. In this paper, we compute the Blanchfield pairing of a colored link with non-zero Alexander polynomial. More precisely, we show that the Blanchfield pairing of such a link can be written in terms of generalized Seifert matrices which arise from the use of C-complexes. It is well known that the Blanchfield pairing of a knot can be expressed using Seifert matrices. In this paper, we compute the Blanchfield pairing of a colored link with non-zero Alexander polynomial. More precisely, we show that the Blanchfield pairing of such a link can be written in terms of generalized Seifert matrices which arise from the use of C-complexes. △ Less

Submitted 14 July, 2019; v1 submitted 26 September, 2016; originally announced September 2016.

Comments: 24 pages, 7 figures. v2: minor typographical changes, to appear in the Indiana University Mathematics Journal

MSC Class: 57M25

Universal $L^2$-torsion, polytopes and applications to $3$-manifolds

Authors: Stefan Friedl, Wolfgang Lück

Abstract: Given an $L^2$-acyclic connected finite $CW$-complex, we define its universal $L^2$-torsion in terms of the chain complex of its universal covering. It takes values in the weak Whitehead group $\operatorname{Wh}^w(G)$. We study its main properties such as homotopy invariance, sum formula, product formula and Poincaré duality. Under certain assumptions, we can specify certain homomorphisms from the… ▽ More Given an $L^2$-acyclic connected finite $CW$-complex, we define its universal $L^2$-torsion in terms of the chain complex of its universal covering. It takes values in the weak Whitehead group $\operatorname{Wh}^w(G)$. We study its main properties such as homotopy invariance, sum formula, product formula and Poincaré duality. Under certain assumptions, we can specify certain homomorphisms from the weak Whitehead group $\operatorname{Wh}^w(G)$ to abelian groups such as the real numbers or the Grothendieck group of integral polytopes, and the image of the universal $L^2$-torsion can be identified with many invariants such as the $L^2$-torsion, the $L^2$-torsion function, twisted $L^2$-Euler characteristics and, in the case of a $3$-manifold, the dual Thurston norm polytope. △ Less

Submitted 21 February, 2017; v1 submitted 25 September, 2016; originally announced September 2016.

Comments: 37 pages, final version, to be published by Proc. London Math. Soc

$L^2$-Euler characteristics and the Thurston norm

Authors: Stefan Friedl, Wolfgang Lück

Abstract: We assign to a finite $CW$-complex and an element in its first cohomology group a twisted version of the $L^2$-Euler characteristic and study its main properties. In the case of an irreducible orientable $3$-manifold with empty or toroidal boundary and infinite fundamental group we identify it with the Thurston norm. We will use the $L^2$-Euler characteristic to address the problem whether the exi… ▽ More We assign to a finite $CW$-complex and an element in its first cohomology group a twisted version of the $L^2$-Euler characteristic and study its main properties. In the case of an irreducible orientable $3$-manifold with empty or toroidal boundary and infinite fundamental group we identify it with the Thurston norm. We will use the $L^2$-Euler characteristic to address the problem whether the existence of a map inducing an epimorphism on fundamental groups implies an inequality of the Thurston norms. △ Less

Submitted 8 September, 2018; v1 submitted 25 September, 2016; originally announced September 2016.

Comments: 44 pages, updated references, incorporated comments by the referee

Novikov homology and noncommutative Alexander polynomials

Authors: Stefan Friedl

Abstract: In the early 2000's Cochran and Harvey introduced non-commutative Alexander polynomials for 3-manifolds. Their degrees give strong lower bounds on the Thurston norm. In this paper we make the case that the vanishing of a certain Novikov-Sikorav homology module is the correct notion of a monic non-commutative Alexander polynomial. Furthermore we will use the opportunity to give new proofs of severa… ▽ More In the early 2000's Cochran and Harvey introduced non-commutative Alexander polynomials for 3-manifolds. Their degrees give strong lower bounds on the Thurston norm. In this paper we make the case that the vanishing of a certain Novikov-Sikorav homology module is the correct notion of a monic non-commutative Alexander polynomial. Furthermore we will use the opportunity to give new proofs of several statements about Novikov-Sikorav homology in the three-dimensional context. △ Less

Submitted 11 June, 2016; originally announced June 2016.

Comments: 30 pages, to appear in a special volume of JKTR in memory of Tim Cochran

Rank gradients of infinite cyclic covers of Kaehler manifolds

Authors: Stefan Friedl, Stefano Vidussi

Abstract: Given a Kaehler group $G$ and a primitive class $φ\in H^1(G;Z)$, we show that the rank gradient of $(G;φ)$ is zero if and only if Ker $φ$ is finitely generated. Using this approach, we give a quick proof of the fact (originally due to Napier and Ramachandran) that Kaehler groups are not properly ascending or descending HNN extensions. Further investigation of the properties of Bieri-Neumann-Strebe… ▽ More Given a Kaehler group $G$ and a primitive class $φ\in H^1(G;Z)$, we show that the rank gradient of $(G;φ)$ is zero if and only if Ker $φ$ is finitely generated. Using this approach, we give a quick proof of the fact (originally due to Napier and Ramachandran) that Kaehler groups are not properly ascending or descending HNN extensions. Further investigation of the properties of Bieri-Neumann-Strebel invariants of Kaehler groups allows us to show that a large class of groups of orientation-preserving PL homeomorphisms of an interval, which generalize Thompson's group $F$, are not Kaehler. △ Less

Submitted 27 April, 2016; originally announced April 2016.

Comments: 16 pages, to appear in J. Group Theory

MSC Class: 53C55; 20F65

Journal ref: J. Group Theory 19 (2016), no. 5, 941-957

Representation varieties detect essential surfaces

Authors: Stefan Friedl, Takahiro Kitayama, Matthias Nagel

Abstract: Extending Culler-Shalen theory, Hara and the second author presented a way to construct certain kinds of branched surfaces in a $3$-manifold from an ideal point of a curve in the $\operatorname{SL}_n$-character variety. There exists an essential surface in some $3$-manifold known to be not detected in the classical $\operatorname{SL}_2$-theory. We prove that every connected essential surface in a… ▽ More Extending Culler-Shalen theory, Hara and the second author presented a way to construct certain kinds of branched surfaces in a $3$-manifold from an ideal point of a curve in the $\operatorname{SL}_n$-character variety. There exists an essential surface in some $3$-manifold known to be not detected in the classical $\operatorname{SL}_2$-theory. We prove that every connected essential surface in a $3$-manifold is given by an ideal point of a rational curve in the $\operatorname{SL}_n$-character variety for some $n$. △ Less

Submitted 2 April, 2016; originally announced April 2016.

Comments: 10 pages

MSC Class: 57N10 (Primary); 57M05; 20E42 (Secondary)

Epimorphisms of 3-manifold groups

Authors: Michel Boileau, Stefan Friedl

Abstract: Let $f\colon M\to N$ be a proper map between two aspherical compact orientable 3-manifolds with empty or toroidal boundary. We assume that $N$ is not a closed graph-manifold. Suppose that $f$ induces an epimorphism on fundamental groups. We show that $f$ is homotopic to a homeomorphism if one of the following holds: either for any finite-index subgroup $Γ$ of $π_1(N)$ the ranks of $Γ$ and of… ▽ More Let $f\colon M\to N$ be a proper map between two aspherical compact orientable 3-manifolds with empty or toroidal boundary. We assume that $N$ is not a closed graph-manifold. Suppose that $f$ induces an epimorphism on fundamental groups. We show that $f$ is homotopic to a homeomorphism if one of the following holds: either for any finite-index subgroup $Γ$ of $π_1(N)$ the ranks of $Γ$ and of $f_*^{-1}(Γ)$ agree, or for any finite cover $\tilde{N}$ of $N$ the Heegaard genus of $\tilde{N}$ and the Heegaard genus of the pull-back cover $\tilde{M}$ agree. △ Less

Submitted 7 October, 2017; v1 submitted 22 February, 2016; originally announced February 2016.

Comments: We split the old version into two papers. This version contains the results on epimorphisms of fundamental groups. The results on Grothendieck rigidity now appear in a separate paper

Twisted Novikov homology of complex hypersurface complements

Authors: Stefan Friedl, Laurentiu Maxim

Abstract: We study the twisted Novikov homology of the complement of a complex hypersurface in general position at infinity. We give a self-contained topological proof of the vanishing (except possibly in the middle degree) of the twisted Novikov homology groups associated to positive cohomology classes of degree one defined on the complement. We study the twisted Novikov homology of the complement of a complex hypersurface in general position at infinity. We give a self-contained topological proof of the vanishing (except possibly in the middle degree) of the twisted Novikov homology groups associated to positive cohomology classes of degree one defined on the complement. △ Less

Submitted 16 February, 2016; originally announced February 2016.

MSC Class: 14J70; 32S20; 32S55; 55N25; 57Q45

Twisted Blanchfield pairings and decompositions of 3-manifolds

Authors: Stefan Friedl, Constance Leidy, Matthias Nagel, Mark Powell

Abstract: We prove a decomposition formula for twisted Blanchfield pairings of 3-manifolds. As an application we show that the twisted Blanchfield pairing of a 3-manifold obtained from a 3-manifold Y with a representation $φ: Z[π_1(Y)] \to R$, infected by a knot J along a curve $η$ with $φ(η) \neq 1$, splits orthogonally as the sum of the twisted Blanchfield pairing of Y and the ordinary Blanchfield pairing… ▽ More We prove a decomposition formula for twisted Blanchfield pairings of 3-manifolds. As an application we show that the twisted Blanchfield pairing of a 3-manifold obtained from a 3-manifold Y with a representation $φ: Z[π_1(Y)] \to R$, infected by a knot J along a curve $η$ with $φ(η) \neq 1$, splits orthogonally as the sum of the twisted Blanchfield pairing of Y and the ordinary Blanchfield pairing of the knot J, with the latter tensored up from $Z[t,t^{-1}]$ to R. △ Less

Submitted 27 June, 2017; v1 submitted 30 January, 2016; originally announced February 2016.

Comments: 13 pages

Knot concordances and alternating knots

Authors: Stefan Friedl, Charles Livingston, Raphael Zentner

Abstract: There is an infinitely generated free subgroup of the smooth knot concordance group with the property that no nontrivial element in this subgroup can be represented by an alternating knot. This subgroup has the further property that every element is represented by a topologically slice knot. There is an infinitely generated free subgroup of the smooth knot concordance group with the property that no nontrivial element in this subgroup can be represented by an alternating knot. This subgroup has the further property that every element is represented by a topologically slice knot. △ Less

Submitted 28 December, 2015; originally announced December 2015.

Comments: 10 pages, 3 figures

MSC Class: 57M25

Journal ref: Mich. Math. J. 66 (2017) 421-432

The Grothendieck group of polytopes and norms

Authors: Jae Choon Cha, Stefan Friedl, Florian Funke

Abstract: Polytopes in R^n with integral vertices form a monoid under the Minkowski sum, and the Grothendieck construction gives rise to a group. We show that every symmetric polytope is a norm in this group for every n. Polytopes in R^n with integral vertices form a monoid under the Minkowski sum, and the Grothendieck construction gives rise to a group. We show that every symmetric polytope is a norm in this group for every n. △ Less

Submitted 21 December, 2015; originally announced December 2015.

Comments: 6 pages

A calculation of Blanchfield pairings of 3-manifolds and knots

Authors: Stefan Friedl, Mark Powell

Abstract: We calculate Blanchfield pairings of 3-manifolds. In particular, we give a formula for the Blanchfield pairing of a fibred 3-manifold and we give a new proof that the Blanchfield pairing of a knot can be expressed in terms of a Seifert matrix. We calculate Blanchfield pairings of 3-manifolds. In particular, we give a formula for the Blanchfield pairing of a fibred 3-manifold and we give a new proof that the Blanchfield pairing of a knot can be expressed in terms of a Seifert matrix. △ Less

Submitted 7 March, 2016; v1 submitted 14 December, 2015; originally announced December 2015.

Comments: 17 pages. For version 2, we have generalised from knot exteriors to generic 3-manifolds with a map to the circle, included an explicit formula for the Blanchfield pairing of a fibred 3-manifold in terms of the monodromy, and indicated how to obtain a derivation of the analogous formula for the Blanchfield pairing of a high dimensional knot

MSC Class: 57M25; 57M27

The L^2-torsion function and the Thurston norm of 3-manifolds

Authors: Stefan Friedl, Wolfgang Lück

Abstract: Let M be an oriented irreducible 3-manifold with infinite fundamental group and empty or toroidal boundary. Consider any element φin the first cohomology of M with integral coefficients. Then one can define the φ-twisted L^2-torsion function of the universal covering which is a function from the set of positive real numbers to the set of real numbers. By earlier work of the second author and Schic… ▽ More Let M be an oriented irreducible 3-manifold with infinite fundamental group and empty or toroidal boundary. Consider any element φin the first cohomology of M with integral coefficients. Then one can define the φ-twisted L^2-torsion function of the universal covering which is a function from the set of positive real numbers to the set of real numbers. By earlier work of the second author and Schick the evaluation at t=1 determines the volume. In this paper we show that its degree, which is a number extracted from its asymptotic behavior at 0 and at infinity, agrees with the Thurston norm of φ. △ Less

Submitted 18 November, 2015; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: 22 pages. v2: minor changes

Thurston norm via Fox calculus

Authors: Stefan Friedl, Kevin Schreve, Stephan Tillmann

Abstract: In 1976 Thurston associated to a $3$-manifold $N$ a marked polytope in $H_1(N;\mathbb{R}),$ which measures the minimal complexity of surfaces representing homology classes and determines all fibered classes in $H^1(N;\mathbb{R})$. Recently the first and the last author associated to a presentation $π$ with two generators and one relator a marked polytope in $H_1(π;\mathbb{R})$ and showed that it d… ▽ More In 1976 Thurston associated to a $3$-manifold $N$ a marked polytope in $H_1(N;\mathbb{R}),$ which measures the minimal complexity of surfaces representing homology classes and determines all fibered classes in $H^1(N;\mathbb{R})$. Recently the first and the last author associated to a presentation $π$ with two generators and one relator a marked polytope in $H_1(π;\mathbb{R})$ and showed that it determines the Bieri-Neumann-Strebel invariant of $π$. In this paper, we show that if the fundamental group of a 3-manifold $N$ admits such a presentation $π$, then the corresponding marked polytopes in $H_1(N;\mathbb{R})=H_1(π;\mathbb{R})$ agree. △ Less

Submitted 20 July, 2015; originally announced July 2015.

Comments: 20 pages, 2 figures

MSC Class: 57M27; 57M05; 20J05; 57R19

Journal ref: Geom. Topol. 21 (2017) 3759-3784

The profinite completion of $3$-manifold groups, fiberedness and the Thurston norm

Authors: Michel Boileau, Stefan Friedl

Abstract: We show that a regular isomorphism of profinite completion of the fundamental groups of two 3-manifolds $N_1$ and $N_2$ induces an isometry of the Thurston norms and a bijection between the fibered classes. We study to what extent does the profinite completion of knot groups distinguish knots and show that it distinguishes each torus knot and the figure eight knot among all knots. We show also tha… ▽ More We show that a regular isomorphism of profinite completion of the fundamental groups of two 3-manifolds $N_1$ and $N_2$ induces an isometry of the Thurston norms and a bijection between the fibered classes. We study to what extent does the profinite completion of knot groups distinguish knots and show that it distinguishes each torus knot and the figure eight knot among all knots. We show also that it distinguishes between hyperbolic knots with cyclically commensurable complements under the assumption that their Alexander polynomials have at least one zero which is not a root of unity. △ Less

Submitted 28 May, 2015; originally announced May 2015.

Comments: 22 pages

A note on the existence of essential tribranched surfaces

Authors: Stefan Friedl, Takahiro Kitayama, Matthias Nagel

Abstract: The second author and Hara introduced the notion of an essential tribranched surface that is a generalisation of the notion of an essential embedded surface in a 3-manifold. We show that any 3-manifold for which the fundamental group has at least rank four admits an essential tribranched surface. The second author and Hara introduced the notion of an essential tribranched surface that is a generalisation of the notion of an essential embedded surface in a 3-manifold. We show that any 3-manifold for which the fundamental group has at least rank four admits an essential tribranched surface. △ Less

Submitted 7 May, 2015; originally announced May 2015.

Comments: 8 pages, 1 figure

Twisted Reidemeister torsion and the Thurston norm: graph manifolds and finite representations

Authors: Stefan Friedl, Matthias Nagel

Abstract: We show that the Thurston norm of any irreducible 3-manifold can be detected using twisted Reidemeister torsions corresponding to integral representations and also corresponding to representations over finite fields. In particular our result holds for all graph manifolds, these are not covered by the earlier work of the first author and Vidussi. We show that the Thurston norm of any irreducible 3-manifold can be detected using twisted Reidemeister torsions corresponding to integral representations and also corresponding to representations over finite fields. In particular our result holds for all graph manifolds, these are not covered by the earlier work of the first author and Vidussi. △ Less

Submitted 24 March, 2015; originally announced March 2015.

Comments: 11 pages

Two-generator one-relator groups and marked polytopes

Authors: Stefan Friedl, Stephan Tillmann

Abstract: We use Fox calculus to assign a marked polytope to a `nice' group presentation with two generators and one relator. Relating the marked vertices to Novikov-Sikorav homology we show that they determine the Bieri-Neumann-Strebel invariant of the group. Furthermore we show that in many cases the marked polytope is an invariant of the underlying group and that in those cases the marked polytope also d… ▽ More We use Fox calculus to assign a marked polytope to a `nice' group presentation with two generators and one relator. Relating the marked vertices to Novikov-Sikorav homology we show that they determine the Bieri-Neumann-Strebel invariant of the group. Furthermore we show that in many cases the marked polytope is an invariant of the underlying group and that in those cases the marked polytope also determines the minimal complexity of all the associated HNN-splittings. △ Less

Submitted 14 January, 2015; originally announced January 2015.

Comments: 33 pages, 5 figures

MSC Class: 20J05; 20F65; 22E40; 57R19

3-manifolds that can be made acyclic

Authors: Stefan Friedl, Matthias Nagel

Abstract: We determine which 3-manifolds admit a unitary representation such that the corresponding twisted chain complex is acyclic. We determine which 3-manifolds admit a unitary representation such that the corresponding twisted chain complex is acyclic. △ Less

Submitted 13 December, 2014; originally announced December 2014.

Comments: 15 pages

Journal ref: Int. Math. Res. Not. 24 (2015): 13360-13378

The Turaev and Thurston norms

Authors: Stefan Friedl, Daniel S. Silver, Susan G. Williams

Abstract: In 1986, W. Thurston introduced a (possibly degenerate) norm on the first cohomology group of a 3-manifold. Inspired by this definition, Turaev introduced in 2002 a analogous norm on the first cohomology group of a finite 2-complex. We show that if N is the exterior of a link in a rational homology sphere, then the Thurston norm agrees with a suitable variation of Turaev's norm defined on any 2-sk… ▽ More In 1986, W. Thurston introduced a (possibly degenerate) norm on the first cohomology group of a 3-manifold. Inspired by this definition, Turaev introduced in 2002 a analogous norm on the first cohomology group of a finite 2-complex. We show that if N is the exterior of a link in a rational homology sphere, then the Thurston norm agrees with a suitable variation of Turaev's norm defined on any 2-skeleton of N. △ Less

Submitted 23 February, 2016; v1 submitted 7 December, 2014; originally announced December 2014.

Comments: 17 pages. V2: We deleted one direction of Lemma 4.5 since the proof was incorrect. This does not affect any of the other results of the paper

Journal ref: Pacific J. Math. 284 (2016) 365-382

The $L^2$-Alexander torsion is symmetric

Authors: Jérôme Dubois, Stefan Friedl, Wolfgang Lück

Abstract: We show that the $L^2$-Alexander torsion of a 3-manifold is symmetric. This can be viewed as a generalization of the symmetry of the Alexander polynomial of a knot. We show that the $L^2$-Alexander torsion of a 3-manifold is symmetric. This can be viewed as a generalization of the symmetry of the Alexander polynomial of a knot. △ Less

Submitted 9 November, 2014; originally announced November 2014.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1107.3002

Journal ref: Algebr. Geom. Topol. 15 (2015) 3599-3612