Showing 1–43 of 43 results for author: Meier, J

Slice disks modulo local knotting

Authors: Jeffrey Meier, Allison N. Miller

Abstract: The second author and Powell asked whether there exist knots bounding infinitely many slice disks that remain pairwise nonisotopic, even after local knotting. We answer this question in the affirmative, giving many classes of examples distinguished by the kernels of the inclusion-induced maps on the fundamental group. Along the way, we give a classification of fibered, homotopy-ribbon disks bounde… ▽ More The second author and Powell asked whether there exist knots bounding infinitely many slice disks that remain pairwise nonisotopic, even after local knotting. We answer this question in the affirmative, giving many classes of examples distinguished by the kernels of the inclusion-induced maps on the fundamental group. Along the way, we give a classification of fibered, homotopy-ribbon disks bounded by generalized square knots up to isotopy modulo local knotting, extending work of the first author and Zupan. We conclude with a discussion of how invertible concordances and satellite operations can produce new examples of knots bounding many inequivalent slice disks. In particular, we give examples of fibered, hyperbolic knots bounding infinitely many fibered, ribbon disks that are pairwise nonisotopic modulo local knotting. The closed monodromies of these knots are pseudo-Anosov mapping classes that have infinitely many distinct handlebody extensions, a curiosity that may be of independent interest. △ Less

Submitted 12 March, 2025; originally announced March 2025.

Comments: 22 pages, 6 figures

MSC Class: 57K10; 57K20; 57K45

Equivariant trisections for group actions on four-manifolds

Authors: Jeffrey Meier, Evan Scott

Abstract: Let $G$ be a finite group, and let $X$ be a smooth, orientable, connected, closed 4-dimensional $G$-manifold. Let $\mathcal{S}$ be a smooth, embedded, $G$-invariant surface in $X$. We introduce the concept of a $G$-equivariant trisection of $X$ and the notion of $G$-equivariant bridge trisected position for $\mathcal{S}$ and establish that any such $X$ admits a $G$-equivariant trisection such… ▽ More Let $G$ be a finite group, and let $X$ be a smooth, orientable, connected, closed 4-dimensional $G$-manifold. Let $\mathcal{S}$ be a smooth, embedded, $G$-invariant surface in $X$. We introduce the concept of a $G$-equivariant trisection of $X$ and the notion of $G$-equivariant bridge trisected position for $\mathcal{S}$ and establish that any such $X$ admits a $G$-equivariant trisection such that $\mathcal{S}$ is in equivariant bridge trisected position. Our definitions are designed so that $G$-equivariant (bridge) trisections are determined by their spines; hence, the 4-dimensional equivariant topology of a $G$-manifold pair $(X,\mathcal{S})$ can be reduced to the 2-dimensional data of a $G$-equivariant shadow diagram. As an application, we discuss how equivariant trisections can be used to study quotients of $G$-manifolds. We also describe many examples of equivariant trisections, paying special attention to branched covering actions, hyperelliptic involutions, and linear actions on familiar manifolds such as $S^4$, $S^2\times S^2$, and $\mathbb{CP}^2$. We show that equivariant trisections of genus at most one are geometric, and we give a partial classification for genus-two. △ Less

Submitted 29 January, 2025; originally announced January 2025.

Comments: 51 pages, 13 figures, comments welcome

MSC Class: 57M60; 57M12; 57K40; 57K45; 57R65

An equivariant Laudenbach-Poénaru theorem

Authors: Jeffrey Meier, Evan Scott

Abstract: A foundational theorem of Laudenbach and Poénaru states that any diffeomorphism of $\#^n(S^1\times S^2)$ extends to a diffeomorphism of $\natural^n(S^1\times B^3)$. We prove a generalization of this theorem that accounts for the presence of a finite group action on $\#^n(S^1\times S^2)$. Our proof is independent of the classical theorem, so by considering the trivial group action, we give a new pr… ▽ More A foundational theorem of Laudenbach and Poénaru states that any diffeomorphism of $\#^n(S^1\times S^2)$ extends to a diffeomorphism of $\natural^n(S^1\times B^3)$. We prove a generalization of this theorem that accounts for the presence of a finite group action on $\#^n(S^1\times S^2)$. Our proof is independent of the classical theorem, so by considering the trivial group action, we give a new proof of the classical theorem. Specifically, we show that any finite group action on $\#^n(S^1\times S^2)$ extends to a $\textit{linearly parted}$ action on $\natural^n(S^1\times B^3)$ and that any two such extensions are equivariantly diffeomorphic. Roughly, a linearly parted action respects a decomposition into equivariant $0$-handles and $1$-handles, where, for each handle in the decomposition, its stabilizer acts linearly on that handle. The restriction to linearly parted actions is important, because there are infinitely many distinct nonlinear actions on $B^4$ with identical actions on $\partial B^4$; these nonlinear actions give extensions of the same action on $\partial B^4$ which are $\textit{not}$ equivariantly diffeomorphic. We also prove a more general theorem: Every finite group action on $\left(\#^n(S^1\times S^2),L\right)$, with $L$ an invariant unlink, extends across a pair $\left(\natural^n(S^1\times B^3),\mathcal{D}\right)$, with $\mathcal{D}$ an equivariantly boundary-parallel disk-tangle, and any two such extensions are equivariantly diffeomorphic. △ Less

Submitted 17 January, 2025; originally announced January 2025.

Comments: 21 pages, 3 figures, comments welcome

MSC Class: 57M60; 57K40; 57R65

Positive braids minimize ascending number

Authors: Lowell Davis, Jeffrey Meier

Abstract: A well-known algorithm for unknotting knots involves traversing a knot diagram and changing each crossing that is first encountered from below. The minimal number of crossings changed in this way across all diagrams for a knot is called the ascending number of the knot. The ascending number is bounded below by the unknotting number. We show that for knots obtained as the closure of a positive brai… ▽ More A well-known algorithm for unknotting knots involves traversing a knot diagram and changing each crossing that is first encountered from below. The minimal number of crossings changed in this way across all diagrams for a knot is called the ascending number of the knot. The ascending number is bounded below by the unknotting number. We show that for knots obtained as the closure of a positive braid, the ascending number equals the unknotting number. We also present data indicating that a similar result may hold for positive knots. We use this data to examine which low-crossing knots have the property that their ascending number is realized in a minimal crossing diagram, showing that there are at most 5 hyperbolic, alternating knots with at most 12 crossings with this property. △ Less

Submitted 26 September, 2024; v1 submitted 23 September, 2024; originally announced September 2024.

Comments: 9 pages, 4 figures, 2 tables; comments welcome; v2 updates Question 4, which is easily answered in the negative for strongly quasipositive knots

Ribbon numbers of 12-crossing knots

Authors: Xianhao An, Matthew Aronin, David Cates, Ansel Goh, Benjamin Kirn, Josh Krienke, Minyi Liang, Samuel Lowery, Ege Malkoc, Jeffrey Meier, Max Natonson, Veljko Radić, Yavuz Rodoplu, Bhaswati Saha, Evan Scott, Roman Simkins, Alexander Zupan

Abstract: The ribbon number of a knot is the minimum number of ribbon singularities among all ribbon disks bounded by that knot. In this paper, we build on the systematic treatment of this knot invariant initiated in recent work of Friedl, Misev, and Zupan. We show that the set of Alexander polynomials of knots with ribbon number at most four contains 56 polynomials, and we use this set to compute the ribbo… ▽ More The ribbon number of a knot is the minimum number of ribbon singularities among all ribbon disks bounded by that knot. In this paper, we build on the systematic treatment of this knot invariant initiated in recent work of Friedl, Misev, and Zupan. We show that the set of Alexander polynomials of knots with ribbon number at most four contains 56 polynomials, and we use this set to compute the ribbon numbers for many 12-crossing knots. We also study higher-genus ribbon numbers of knots, presenting some examples that exhibit interesting behavior and establishing that the success of the Alexander polynomial at controlling genus-0 ribbon numbers does not extend to higher genera. △ Less

Submitted 19 September, 2024; originally announced September 2024.

Comments: 32 pages, 12 figures, 7 tables,

Knots bounding non-isotopic ribbon disks

Authors: Jeffrey Meier, Alexander Zupan

Abstract: We exhibit infinitely many ribbon knots, each of which bounds infinitely many pairwise non-isotopic ribbon disks whose exteriors are diffeomorphic. This family provides a positive answer to a stronger version of an old question of Hitt and Sumners. The examples arise from our main result: a classification of fibered, homotopy-ribbon disks for each generalized square knot… ▽ More We exhibit infinitely many ribbon knots, each of which bounds infinitely many pairwise non-isotopic ribbon disks whose exteriors are diffeomorphic. This family provides a positive answer to a stronger version of an old question of Hitt and Sumners. The examples arise from our main result: a classification of fibered, homotopy-ribbon disks for each generalized square knot $T_{p,q}\# \overline{T}_{p,q}$ up to isotopy. Precisely, we show that each generalized square knot bounds infinitely many pairwise non-isotopic fibered, homotopy-ribbon disks, all of whose exteriors are diffeomorphic. When $q=2$, we prove further that infinitely many of these disks are also ribbon; whether the disks are always ribbon is an open problem. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Comments: 15 pages, 6 color figures

An SPDE with Robin-type boundary for a system of elastically killed diffusions on the positive half-line

Authors: Ben Hambly, Julian Meier, Andreas Sojmark

Abstract: We consider a system of particles undergoing correlated diffusion with elastic boundary conditions on the half-line. By taking the large particle limit we establish existence and uniqueness for the limiting empirical measure valued process for the surviving particles. This process can be viewed as the weak form for an SPDE with a noisy Robin boundary condition satisfied by the particle density. We… ▽ More We consider a system of particles undergoing correlated diffusion with elastic boundary conditions on the half-line. By taking the large particle limit we establish existence and uniqueness for the limiting empirical measure valued process for the surviving particles. This process can be viewed as the weak form for an SPDE with a noisy Robin boundary condition satisfied by the particle density. We establish results on the $L^2$-regularity properties of this density process, showing that it is well behaved in the interior of the domain but may exhibit singularities on the boundary at a dense set of times. We also show existence of limit points for the empirical measure in the non-linear case where the particles have a measure dependent drift. We make connections for our linear problem to the corresponding absorbing and reflecting SPDEs, as the elastic parameter takes its extreme values. △ Less

Submitted 18 October, 2022; originally announced October 2022.

MSC Class: 60H15; 60H30

Bridge trisections and Seifert solids

Authors: Jason Joseph, Jeffrey Meier, Maggie Miller, Alexander Zupan

Abstract: We adapt Seifert's algorithm for classical knots and links to the setting of tri-plane diagrams for bridge trisected surfaces in the 4-sphere. Our approach allows for the construction of a Seifert solid that is described by a Heegaard diagram. The Seifert solids produced can be assumed to have exteriors that can be built without 3-handles; in contrast, we give examples of Seifert solids (not comin… ▽ More We adapt Seifert's algorithm for classical knots and links to the setting of tri-plane diagrams for bridge trisected surfaces in the 4-sphere. Our approach allows for the construction of a Seifert solid that is described by a Heegaard diagram. The Seifert solids produced can be assumed to have exteriors that can be built without 3-handles; in contrast, we give examples of Seifert solids (not coming from our construction) whose exteriors require arbitrarily many 3-handles. We conclude with two classification results. The first shows that surfaces admitting doubly-standard shadow diagrams are unknotted. The second says that a $b$-bridge trisection in which some sector contains at least $b-1$ patches is completely decomposable, thus the corresponding surface is unknotted. This settles affirmatively a conjecture of the second and fourth authors. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Comments: 23 pages, 6 figures; v1 of arXiv:2112.11557 has been divided into two papers: v2, to be posted simultaneously, and the present article, which adds an expanded discussion of Seifert solids

Toric multisections and curves in rational surfaces

Authors: Gabriel Islambouli, Homayun Karimi, Peter Lambert-Cole, Jeffrey Meier

Abstract: We study multisections of embedded surfaces in 4-manifolds admitting effective torus actions. We show that a simply-connected 4-manifold admits a genus one multisection if and only if it admits an effective torus action. Orlik and Raymond showed that these 4-manifolds are precisely the connected sums of copies of $\mathbb{CP}^2$, $\overline{\mathbb{CP}^2}$, and $S^2\times S^2$. Therefore, embedded… ▽ More We study multisections of embedded surfaces in 4-manifolds admitting effective torus actions. We show that a simply-connected 4-manifold admits a genus one multisection if and only if it admits an effective torus action. Orlik and Raymond showed that these 4-manifolds are precisely the connected sums of copies of $\mathbb{CP}^2$, $\overline{\mathbb{CP}^2}$, and $S^2\times S^2$. Therefore, embedded surfaces in these 4-manifolds can be encoded diagrammatically on a genus one surface. Our main result is that every smooth, complex curve in $\mathbb{CP}^1\times\mathbb{CP}^1$ can be put in efficient bridge position with respect to a genus one 4-section. We also analyze the algebraic topology of genus one multisections. △ Less

Submitted 8 June, 2022; originally announced June 2022.

Comments: 30 pages, 12 color figures

McKean-Vlasov Equations with Positive Feedback through Elastic Stopping Times

Authors: Ben Hambly, Julian Meier

Abstract: We prove existence and uniqueness of physical and minimal solutions to McKean-Vlasov equations with positive feedback through elastic stopping times. We do this by establishing a relationship between this problem and a problem with absorbing stopping times. We show convergence of a particle system to the McKean-Vlasov equation. Moreover, we establish convergence of the elastic McKean-Vlasov proble… ▽ More We prove existence and uniqueness of physical and minimal solutions to McKean-Vlasov equations with positive feedback through elastic stopping times. We do this by establishing a relationship between this problem and a problem with absorbing stopping times. We show convergence of a particle system to the McKean-Vlasov equation. Moreover, we establish convergence of the elastic McKean-Vlasov problem to the problem with absorbing stopping times and to a reflecting Brownian motion as the elastic parameter goes to infinity or zero respectively. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: 13 pages

MSC Class: 35K61; 60H30; 60K35

Bridge trisections and classical knotted surface theory

Authors: Jason Joseph, Jeffrey Meier, Maggie Miller, Alexander Zupan

Abstract: We seek to connect ideas in the theory of bridge trisections with other well-studied facets of classical knotted surface theory. First, we show how the normal Euler number can be computed from a tri-plane diagram, and we use this to give a trisection-theoretic proof of the Whitney-Massey Theorem, which bounds the possible values of this number in terms of the Euler characteristic. Second, we descr… ▽ More We seek to connect ideas in the theory of bridge trisections with other well-studied facets of classical knotted surface theory. First, we show how the normal Euler number can be computed from a tri-plane diagram, and we use this to give a trisection-theoretic proof of the Whitney-Massey Theorem, which bounds the possible values of this number in terms of the Euler characteristic. Second, we describe in detail how to compute the fundamental group and related invariants from a tri-plane diagram, and we use this, together with an analysis of bridge trisections of ribbon surfaces, to produce an infinite family of knotted spheres that admit non-isotopic bridge trisections of minimal complexity. △ Less

Submitted 18 October, 2022; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: v1 has been divided into two papers: the present article and "Bridge trisections and Seifert solids," which will be posted simultaneously; 29 pages, 11 figures

Journal ref: Pacific J. Math. 319 (2022) 343-369

Filling braided links with trisected surfaces

Authors: Jeffrey Meier

Abstract: We introduce the concept of a bridge trisection of a neatly embedded surface in a compact four-manifold, generalizing previous work with Alexander Zupan in the setting of closed surfaces in closed four-manifolds. Our main result states that any neatly embedded surface $\mathcal{F}$ in a compact four-manifold $X$ can be isotoped to lie in bridge trisected position with respect to any trisection… ▽ More We introduce the concept of a bridge trisection of a neatly embedded surface in a compact four-manifold, generalizing previous work with Alexander Zupan in the setting of closed surfaces in closed four-manifolds. Our main result states that any neatly embedded surface $\mathcal{F}$ in a compact four-manifold $X$ can be isotoped to lie in bridge trisected position with respect to any trisection $\mathbb{T}$ of $X$. A bridge trisection of $\mathcal{F}$ induces a braiding of the link $\partial\mathcal{F}$ with respect to the open-book decomposition of $\partial X$ induced by $\mathbb{T}$, and we show that the bridge trisection of $\mathcal{F}$ can be assumed to induce any such braiding. We work in the general setting in which $\partial X$ may be disconnected, and we describe how to encode bridge trisected surface diagrammatically using shadow diagrams. We use shadow diagrams to show how bridge trisected surfaces can be glued along portions of their boundary, and we explain how the data of the braiding of the boundary link can be recovered from a shadow diagram. Throughout, numerous examples and illustrations are given. We give a set of moves that we conjecture suffice to relate any two shadow diagrams corresponding to a given surface. We devote extra attention to the setting of surfaces in $B^4$, where we give an independent proof of the existence of bridge trisections and develop a second diagrammatic approach using tri-plane diagrams. We characterize bridge trisections of ribbon surfaces in terms of their complexity parameters. The process of passing between bridge trisections and band presentations for surfaces in $B^4$ is addressed in detail and presented with many examples. △ Less

Submitted 21 October, 2020; originally announced October 2020.

Comments: 68 pages, 29 color figures

Journal ref: Algebr. Geom. Topol. 24 (2024) 803-895

Cubic graphs induced by bridge trisections

Authors: Jeffrey Meier, Abigail Thompson, Alexander Zupan

Abstract: Every embedded surface $\mathcal{K}$ in the 4-sphere admits a bridge trisection, a decomposition of $(S^4,\mathcal{K})$ into three simple pieces. In this case, the surface $\mathcal{K}$ is determined by an embedded 1-complex, called the $\textit{1-skeleton}$ of the bridge trisection. As an abstract graph, the 1-skeleton is a cubic graph $Γ$ that inherits a natural Tait coloring, a 3-coloring of th… ▽ More Every embedded surface $\mathcal{K}$ in the 4-sphere admits a bridge trisection, a decomposition of $(S^4,\mathcal{K})$ into three simple pieces. In this case, the surface $\mathcal{K}$ is determined by an embedded 1-complex, called the $\textit{1-skeleton}$ of the bridge trisection. As an abstract graph, the 1-skeleton is a cubic graph $Γ$ that inherits a natural Tait coloring, a 3-coloring of the edge set of $Γ$ such that each vertex is incident to edges of all three colors. In this paper, we reverse this association: We prove that every Tait-colored cubic graph is isomorphic to the 1-skeleton of a bridge trisection corresponding to an unknotted surface. When the surface is nonorientable, we show that such an embedding exists for every possible normal Euler number. As a corollary, every tri-plane diagram for a knotted surface can be converted to a tri-plane diagram for an unknotted surface via crossing changes and interior Reidemeister moves. △ Less

Submitted 14 July, 2020; originally announced July 2020.

Comments: 18 pages, 17 color figures

MSC Class: 57Q45; 57M50; 05C15

Journal ref: Math. Res. Lett. 30 (2023), no. 4, 1207-1231

Symplectic 4-manifolds admit Weinstein trisections

Authors: Peter Lambert-Cole, Jeffrey Meier, Laura Starkston

Abstract: We prove that every symplectic 4-manifold admits a trisection that is compatible with the symplectic structure in the sense that the symplectic form induces a Weinstein structure on each of the three sectors of the trisection. Along the way, we show that a (potentially singular) symplectic braided surface in $\mathbb{CP}^2$ can be symplectically isotoped into bridge position. We prove that every symplectic 4-manifold admits a trisection that is compatible with the symplectic structure in the sense that the symplectic form induces a Weinstein structure on each of the three sectors of the trisection. Along the way, we show that a (potentially singular) symplectic braided surface in $\mathbb{CP}^2$ can be symplectically isotoped into bridge position. △ Less

Submitted 27 April, 2021; v1 submitted 2 April, 2020; originally announced April 2020.

Comments: 34 pages, 11 figures. v3 is the final draft which has been accepted for publication in J. Topology, v3 includes many improvements and corrections thanks to the anonymous referee, most noticeably an expansion of section 5, specifically Lemma 5.7

Journal ref: J. Topol. 14 (2021), no. 2, 641-673

Branched covers bounding rational homology balls

Authors: Paolo Aceto, Jeffrey Meier, Allison N. Miller, Maggie Miller, JungHwan Park, András I. Stipsicz

Abstract: Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation. Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation. △ Less

Submitted 17 April, 2020; v1 submitted 24 February, 2020; originally announced February 2020.

Comments: 19 pages, 5 figures, Version 2: Minor changes to abstract and introduction. Added references on knots that are not concordant to their reverses

Journal ref: Algebr. Geom. Topol. 21 (2021) 3569-3599

A note on three-fold branched covers of $S^4$

Authors: Ryan Blair, Patricia Cahn, Alexandra Kjuchukova, Jeffrey Meier

Abstract: We show that any 4-manifold admitting a $(g;k_1,k_2,0)$-trisection is an irregular 3-fold cover of the 4-sphere whose branching set is a surface in $S^4$, smoothly embedded except for one singular point which is the cone on a link. A 4-manifold admits such a trisection if and only if it has a handle decomposition with no 1-handles; it is conjectured that all simply-connected 4-manifolds have this… ▽ More We show that any 4-manifold admitting a $(g;k_1,k_2,0)$-trisection is an irregular 3-fold cover of the 4-sphere whose branching set is a surface in $S^4$, smoothly embedded except for one singular point which is the cone on a link. A 4-manifold admits such a trisection if and only if it has a handle decomposition with no 1-handles; it is conjectured that all simply-connected 4-manifolds have this property. △ Less

Submitted 15 November, 2020; v1 submitted 25 September, 2019; originally announced September 2019.

Comments: Generalized main theorem. 11 pages, 5 figures, no footnotes

MSC Class: 57M12; 57M25

Journal ref: Ann. Inst. Fourier (Grenoble) 74 (2024), no. 2, 849-866

Null, recursively starlike-equivalent decompositions shrink

Authors: Jeffrey Meier, Patrick Orson, Arunima Ray

Abstract: A subset $E$ of a metric space $X$ is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $\mathbb{R}^n$ for some $n$, sending $E$ to a starlike set. A subset $E\subset X$ is said to be recursively starlike-equivalent if it can be expressed as a finite nested union of closed subsets $\{E_i\}_{i=0}^{N+1}$ such that $E_{i}/E_{i+1}\subset X/E_{i+1}$ is starl… ▽ More A subset $E$ of a metric space $X$ is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $\mathbb{R}^n$ for some $n$, sending $E$ to a starlike set. A subset $E\subset X$ is said to be recursively starlike-equivalent if it can be expressed as a finite nested union of closed subsets $\{E_i\}_{i=0}^{N+1}$ such that $E_{i}/E_{i+1}\subset X/E_{i+1}$ is starlike-equivalent for each $i$ and $E_{N+1}$ is a point. A decomposition $\mathcal{D}$ of a metric space $X$ is said to be recursively starlike-equivalent, if there exists $N\geq 0$ such that each element of $\mathcal{D}$ is recursively starlike-equivalent of filtration length $N$. We prove that any null, recursively starlike-equivalent decomposition $\mathcal{D}$ of a compact metric space $X$ shrinks, that is, the quotient map $X\to X/\mathcal{D}$ is the limit of a sequence of homeomorphisms. This is a strong generalisation of results of Denman-Starbird and Freedman and is applicable to the proof of Freedman's celebrated disc embedding theorem. The latter leads to a multitude of foundational results for topological $4$-manifolds, including the $4$-dimensional Poincaré conjecture. △ Less

Submitted 13 September, 2019; originally announced September 2019.

Comments: 11 pages, 2 figures

Report number: MPIM-Bonn-2019 MSC Class: 54B15

Journal ref: Glasg. Math. J. 65 (2023), no.2, 328-336

Connectivity at Infinity for the Braid Group of a Complete Bipartite Graph

Authors: Kristen Mazur, Jon McCammond, John Meier, Ranjan Rohatgi

Abstract: The graph braid group of a complete bipartite graph is the fundamental group of a configuration space of points on the graph, which is a CAT(0) cube complex. We combine an analysis of the topology of links of vertices in this complex, the description of a hidden symmetry among the parameters, and known results from the literature to explicitly compute the exact degree to which these complexes and… ▽ More The graph braid group of a complete bipartite graph is the fundamental group of a configuration space of points on the graph, which is a CAT(0) cube complex. We combine an analysis of the topology of links of vertices in this complex, the description of a hidden symmetry among the parameters, and known results from the literature to explicitly compute the exact degree to which these complexes and groups are connected at infinity. △ Less

Submitted 1 August, 2019; originally announced August 2019.

MSC Class: 20F65; 57M07

Generalized square knots and homotopy 4-spheres

Authors: Jeffrey Meier, Alexander Zupan

Abstract: The purpose of this paper is to study geometrically simply-connected homotopy 4-spheres by analyzing $n$-component links with a Dehn surgery realizing $\#^n(S^1\times S^2)$. We call such links $n$R-links. Our main result is that a homotopy 4-sphere that can be built without 1-handles and with only two 2-handles is diffeomorphic to the standard 4-sphere in the special case that one of the 2-handles… ▽ More The purpose of this paper is to study geometrically simply-connected homotopy 4-spheres by analyzing $n$-component links with a Dehn surgery realizing $\#^n(S^1\times S^2)$. We call such links $n$R-links. Our main result is that a homotopy 4-sphere that can be built without 1-handles and with only two 2-handles is diffeomorphic to the standard 4-sphere in the special case that one of the 2-handles is attached along a knot of the form $Q_{p,q} = T_{p,q}\#T_{-p,q}$, which we call a generalized square knot. This theorem subsumes prior results of Akbulut and Gompf. Along the way, we use thin position techniques from Heegaard theory to give a characterization of 2R-links in which one component is a fibered knot, showing that the second component can be converted via trivial handle additions and handleslides to a derivative link contained in the fiber surface. We invoke a theorem of Casson and Gordon and the Equivariant Loop Theorem to classify handlebody-extensions for the closed monodromy of a generalized square knot $Q_{p,q}$. As a consequence, we produce large families, for all even $n$, of $n$R-links that are potential counterexamples to the Generalized Property R Conjecture. We also obtain related classification statements for fibered, homotopy-ribbon disks bounded by generalized square knots. △ Less

Submitted 17 April, 2019; originally announced April 2019.

Comments: 47 pages, 13 color figures

Journal ref: J. Differential Geom. 122 (2022), no. 1, 69-129

Bridge trisections in rational surfaces

Authors: Peter Lambert-Cole, Jeffrey Meier

Abstract: We study smooth isotopy classes of complex curves in complex surfaces from the perspective of the theory of bridge trisections, with a special focus on curves in $\mathbb{CP}^2$ and $\mathbb{CP}^1\times\mathbb{CP}^1$. We are especially interested in bridge trisections and trisections that are as simple as possible, which we call "efficient". We show that any curve in $\mathbb{CP}^2$ or… ▽ More We study smooth isotopy classes of complex curves in complex surfaces from the perspective of the theory of bridge trisections, with a special focus on curves in $\mathbb{CP}^2$ and $\mathbb{CP}^1\times\mathbb{CP}^1$. We are especially interested in bridge trisections and trisections that are as simple as possible, which we call "efficient". We show that any curve in $\mathbb{CP}^2$ or $\mathbb{CP}^1\times\mathbb{CP}^1$ admits an efficient bridge trisection. Because bridge trisections and trisections are nicely related via branched covering operations, we are able to give many examples of complex surfaces that admit efficient trisections. Among these are hypersurfaces in $\mathbb{CP}^3$, the elliptic surfaces $E(n)$, the Horikawa surfaces $H(n)$, and complete intersections of hypersurfaces in $\mathbb{CP}^N$. As a corollary, we observe that, in many cases, manifolds that are homeomorphic but not diffeomorphic have the same trisection genus, which is consistent with the conjecture that trisection genus is additive under connected sum. We give many trisection diagrams to illustrate our examples. △ Less

Submitted 24 October, 2018; originally announced October 2018.

Comments: 46 pages, 28 color figures

Journal ref: J. Topol. Anal. 14 (2022), no. 3, 655-708

Doubly pointed trisection diagrams and surgery on 2-knots

Authors: David Gay, Jeffrey Meier

Abstract: We study embedded spheres in 4-manifolds (2-knots) via doubly pointed trisection diagrams, showing that such descriptions are unique up to stabilization and handleslides, and we describe how to obtain trisection diagrams for certain cut-and-paste operations along 2-knots directly from doubly pointed trisection diagrams. The operations described are classical surgery, Gluck surgery, blowdown, and… ▽ More We study embedded spheres in 4-manifolds (2-knots) via doubly pointed trisection diagrams, showing that such descriptions are unique up to stabilization and handleslides, and we describe how to obtain trisection diagrams for certain cut-and-paste operations along 2-knots directly from doubly pointed trisection diagrams. The operations described are classical surgery, Gluck surgery, blowdown, and $(\pm4)$-rational blowdown, and we illustrate our techniques and results with many examples. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Comments: 33 pages, 22 figures

Journal ref: Math. Proc. Camb. Phil. Soc. 172 (2022) 163-195

Bridge trisections of knotted surfaces in 4--manifolds

Authors: Jeffrey Meier, Alexander Zupan

Abstract: We prove that every smoothly embedded surface in a 4--manifold can be isotoped to be in bridge position with respect to a given trisection of the ambient 4--manifold; that is, after isotopy, the surface meets components of the trisection in trivial disks or arcs. Such a decomposition, which we call a \emph{generalized bridge trisection}, extends the authors' definition of bridge trisections for su… ▽ More We prove that every smoothly embedded surface in a 4--manifold can be isotoped to be in bridge position with respect to a given trisection of the ambient 4--manifold; that is, after isotopy, the surface meets components of the trisection in trivial disks or arcs. Such a decomposition, which we call a \emph{generalized bridge trisection}, extends the authors' definition of bridge trisections for surfaces in $S^4$. Using this new construction, we give diagrammatic representations called \emph{shadow diagrams} for knotted surfaces in 4--manifolds. We also provide a low-complexity classification for these structures and describe several examples, including the important case of complex curves inside $\mathbb{CP}^2$. Using these examples, we prove that there exist exotic 4--manifolds with $(g,0)$--trisections for certain values of $g$. We conclude by sketching a conjectural uniqueness result that would provide a complete diagrammatic calculus for studying knotted surfaces through their shadow diagrams. △ Less

Submitted 4 October, 2017; originally announced October 2017.

Comments: 17 pages, 5 figures. Comments welcome

Journal ref: Proc. Natl. Acad. Sci. USA 115 (2018), no. 43, 10880-10886

Trisections and spun 4-manifolds

Authors: Jeffrey Meier

Abstract: We study trisections of 4-manifolds obtained by spinning and twist-spinning 3-manifolds, and we show that, given a (suitable) Heegaard diagram for the 3-manifold, one can perform simple local modifications to obtain a trisection diagram for the 4-manifold. We also show that this local modification can be used to convert a (suitable) doubly-pointed Heegaard diagram for a 3-manifold/knot pair into a… ▽ More We study trisections of 4-manifolds obtained by spinning and twist-spinning 3-manifolds, and we show that, given a (suitable) Heegaard diagram for the 3-manifold, one can perform simple local modifications to obtain a trisection diagram for the 4-manifold. We also show that this local modification can be used to convert a (suitable) doubly-pointed Heegaard diagram for a 3-manifold/knot pair into a doubly-pointed trisection diagram for the 4-manifold/2-knot pair resulting from the twist-spinning operation. This technique offers a rich list of new manifolds that admit trisection diagrams that are amenable to study. We formulate a conjecture about 4-manifolds with trisection genus three and provide some supporting evidence. △ Less

Submitted 3 August, 2017; originally announced August 2017.

Comments: 16 pages, 12 figures. Comments welcome!

Journal ref: Math. Res. Lett. 25 (2018), no. 5, 1497-1524

Characterizing Dehn surgeries on links via trisections

Authors: Jeffrey Meier, Alexander Zupan

Abstract: We summarize and expand known connections between the study of Dehn surgery on links and the study of trisections of closed, smooth 4-manifolds. In addition, we describe how the potential counterexamples to the Generalized Property R Conjecture given by Gompf, Scharlemann, and Thompson yield genus four trisections of the standard four-sphere that are unlikely to be standard. Finally, we give an an… ▽ More We summarize and expand known connections between the study of Dehn surgery on links and the study of trisections of closed, smooth 4-manifolds. In addition, we describe how the potential counterexamples to the Generalized Property R Conjecture given by Gompf, Scharlemann, and Thompson yield genus four trisections of the standard four-sphere that are unlikely to be standard. Finally, we give an analog of the Casson- Gordon Rectangle Condition for trisections that can be used to obstruct reducibility of a given trisection. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: 15 pages, 4 color figures. Comments welcome!

Journal ref: Proc. Natl. Acad. Sci. USA 115 (2018), no. 43, 10887-10893

Bridge trisections of knotted surfaces in $S^4$

Authors: Jeffrey Meier, Alexander Zupan

Abstract: We introduce bridge trisections of knotted surfaces in the four-sphere. This description is inspired by the work of Gay and Kirby on trisections of four-manifolds and extends the classical concept of bridge splittings of links in the three-sphere to four dimensions. We prove that every knotted surface in the four-sphere admits a bridge trisection (a decomposition into three simple pieces) and that… ▽ More We introduce bridge trisections of knotted surfaces in the four-sphere. This description is inspired by the work of Gay and Kirby on trisections of four-manifolds and extends the classical concept of bridge splittings of links in the three-sphere to four dimensions. We prove that every knotted surface in the four-sphere admits a bridge trisection (a decomposition into three simple pieces) and that any two bridge trisections for a fixed surface are related by a sequence of stabilizations and destabilizations. We also introduce a corresponding diagrammatic representation of knotted surfaces and describe a set of moves that suffice to pass between two diagrams for the same surface. Using these decompositions, we define a new complexity measure: the bridge number of a knotted surface. In addition, we classify bridge trisections with low complexity, we relate bridge trisections to the fundamental groups of knotted surface complements, and we prove that there exist knotted surfaces with arbitrarily large bridge number. △ Less

Submitted 30 July, 2015; originally announced July 2015.

Comments: 46 pages, many figures

MSC Class: 57Q45; 57M25

Journal ref: Trans. Amer. Math. Soc. 369 (2017), 7343-7386

Classification of trisections and the Generalized Property R Conjecture

Authors: Jeffrey Meier, Trent Schirmer, Alexander Zupan

Abstract: We show that the members of a large class of unbalanced four-manifold trisections are standard, and we present a family of trisections that is likely to include non-standard trisections of the four-sphere. As an application, we prove a stable version of the Generalized Property R Conjecture for $c$-component links with tunnel number at most $c$. We show that the members of a large class of unbalanced four-manifold trisections are standard, and we present a family of trisections that is likely to include non-standard trisections of the four-sphere. As an application, we prove a stable version of the Generalized Property R Conjecture for $c$-component links with tunnel number at most $c$. △ Less

Submitted 23 July, 2015; originally announced July 2015.

Comments: 14 pages, 2 figures. This paper subsumes the results of arXiv:1503.08511

MSC Class: 57M25; 57Q99

Journal ref: Proc. Amer. Math. Soc. 144 (2016), 4983-4997

A note on cabled slice knots and reducible surgeries

Authors: Jeffrey Meier

Abstract: We consider the question of when a slice knot admits a reducible Dehn surgery. By analyzing the correction terms associated to such a surgery, we show that slice knots cannot admit surgeries with more than two summands. We also give a necessary Heegaard Floer theoretic condition for a positive cable of a knot to be slice. We consider the question of when a slice knot admits a reducible Dehn surgery. By analyzing the correction terms associated to such a surgery, we show that slice knots cannot admit surgeries with more than two summands. We also give a necessary Heegaard Floer theoretic condition for a positive cable of a knot to be slice. △ Less

Submitted 16 July, 2015; originally announced July 2015.

Comments: 6 pages

Journal ref: Michigan Math J., Volume 66, Issue 2 (2017), 269-276

Doubly slice knots with low crossing number

Authors: Charles Livingston, Jeffrey Meier

Abstract: A knot in the three-sphere is doubly slice if it is the cross-section of an unknotted two-sphere in the four-sphere. For low-crossing knots, the most complete work to date gives a classification of doubly slice knots through 9 crossings. We extend that work through 12 crossings, resolving all but four cases among the 2,977 prime knots in that range. The techniques involved in this analysis include… ▽ More A knot in the three-sphere is doubly slice if it is the cross-section of an unknotted two-sphere in the four-sphere. For low-crossing knots, the most complete work to date gives a classification of doubly slice knots through 9 crossings. We extend that work through 12 crossings, resolving all but four cases among the 2,977 prime knots in that range. The techniques involved in this analysis include considerations of the Alexander module and signature functions as well as calculations of the twisted Alexander polynomials for higher-order branched covers. We give explicit illustrations of the double slicing for each of the 20 knots shown to be smoothly doubly slice. We place the study of doubly slice knots in a larger context by introducing the double slice genus of a knot. △ Less

Submitted 13 April, 2015; originally announced April 2015.

Comments: 14 pages, 5 figures

Journal ref: New York Journal of Mathematics, 21 (2015), 1008-1026

Genus two trisections are standard

Authors: Jeffrey Meier, Alexander Zupan

Abstract: We show that the only closed 4-manifolds admitting genus two trisections are $S^2 \times S^2$ and connected sums of $S^1 \times S^3$, $\mathbb{CP}^2$, and $\overline{\mathbb{CP}}^2$ with two summands. Moreover, each of these manifolds admits a unique genus two trisection up to diffeomorphism. The proof relies heavily on the combinatorics of genus two Heegaard diagrams of $S^3$. As a corollary, we… ▽ More We show that the only closed 4-manifolds admitting genus two trisections are $S^2 \times S^2$ and connected sums of $S^1 \times S^3$, $\mathbb{CP}^2$, and $\overline{\mathbb{CP}}^2$ with two summands. Moreover, each of these manifolds admits a unique genus two trisection up to diffeomorphism. The proof relies heavily on the combinatorics of genus two Heegaard diagrams of $S^3$. As a corollary, we classify two-component links contained in a genus two Heegaard surface for $S^3$ with a surface-sloped cosmetic Dehn surgery. △ Less

Submitted 29 October, 2014; originally announced October 2014.

Comments: 41 pages, 29 figures

Journal ref: Geom. Topol. 21 (2017) 1583-1630

Fibered ribbon disks

Authors: Kyle Larson, Jeffrey Meier

Abstract: We study the relationship between fibered ribbon 1-knots and fibered ribbon 2-knots by studying fibered slice disks with handlebody fibers. We give a characterization of fibered homotopy-ribbon disks and give analogues of the Stallings twist for fibered disks and 2-knots. As an application, we produce infinite families of distinct homotopy-ribbon disks with homotopy equivalent exteriors, with pote… ▽ More We study the relationship between fibered ribbon 1-knots and fibered ribbon 2-knots by studying fibered slice disks with handlebody fibers. We give a characterization of fibered homotopy-ribbon disks and give analogues of the Stallings twist for fibered disks and 2-knots. As an application, we produce infinite families of distinct homotopy-ribbon disks with homotopy equivalent exteriors, with potential relevance to the Slice-Ribbon Conjecture. We show that any fibered ribbon 2-knot can be obtained by doubling infinitely many different slice disks (sometimes in different contractible 4-manifolds). Finally, we illustrate these ideas for the examples arising from spinning fibered 1-knots. △ Less

Submitted 19 October, 2015; v1 submitted 17 October, 2014; originally announced October 2014.

Comments: 20 pages, 3 figures. Version two has improved exposition and incorporates referee suggestions. This version has been accepted for publication

Journal ref: J. Knot Theory Ramifications 24, 1550066 (2015) [22 pages]

Distinguishing topologically and smoothly doubly slice knots

Authors: Jeffrey Meier

Abstract: We construct an infinite family of smoothly slice knots that we prove are topologically doubly slice. Using the correction terms coming from Heegaard Floer homology, we show that none of these knots is smoothly doubly slice. We use these knots to show that the subgroup of the double concordance group consisting of smoothly slice, topologically doubly slice knots is infinitely generated. As a corol… ▽ More We construct an infinite family of smoothly slice knots that we prove are topologically doubly slice. Using the correction terms coming from Heegaard Floer homology, we show that none of these knots is smoothly doubly slice. We use these knots to show that the subgroup of the double concordance group consisting of smoothly slice, topologically doubly slice knots is infinitely generated. As a corollary, we produce an infinite collection of rational homology 3-spheres that embed in $S^4$ topologically, but not smoothly. △ Less

Submitted 3 November, 2014; v1 submitted 6 January, 2014; originally announced January 2014.

Comments: 38 pages, 16 figures; Corrected typos and incorporated referee comments; Accepted for publication by the Journal of Topology

Journal ref: J. Topol. 8 (2015), no. 2, 351--351

The BNS-invariant for the pure braid groups

Authors: Nic Koban, Jon McCammond, John Meier

Abstract: In 1987 Bieri, Neumann and Strebel introduced a geometric invariant for discrete groups. In this article we compute and explicitly describe the BNS-invariant for the pure braid groups. In 1987 Bieri, Neumann and Strebel introduced a geometric invariant for discrete groups. In this article we compute and explicitly describe the BNS-invariant for the pure braid groups. △ Less

Submitted 17 June, 2013; originally announced June 2013.

Comments: 15 pages

MSC Class: 20F65

Small Seifert fibered surgery on hyperbolic pretzel knots

Authors: Jeffrey Meier

Abstract: We complete the classification of hyperbolic pretzel knots admitting Seifert fibered surgeries. This is the final step in understanding all exceptional surgeries on hyperbolic pretzel knots. We also present results toward similar classifications for non-pretzel Montesinos knots of length three. We complete the classification of hyperbolic pretzel knots admitting Seifert fibered surgeries. This is the final step in understanding all exceptional surgeries on hyperbolic pretzel knots. We also present results toward similar classifications for non-pretzel Montesinos knots of length three. △ Less

Submitted 23 July, 2013; v1 submitted 28 October, 2012; originally announced October 2012.

Comments: 42 pages, 27 figures; Corrected typos, added reference, general incorporation of referee comments, including a significant addition to the proofs in Section 5. To appear in Algebraic and Geometric Topology

MSC Class: 57M25; 57M50

Journal ref: Algebr. Geom. Topol. 14 (2014), no. 1, 439-487

SpinC quantization in odd dimensions

Authors: Johannes Fabian Meier

Abstract: We define and discuss an extension of the SpinC quantization concept to odd-dimensional manifolds. After that we describe its relation to (the usual) even-dimensional SpinC quantization and how its famous properties like "Quantization commutes with reduction" can be regained in odd dimensions. At the end, we analyze the situation on 3-manifolds and give some examples. We define and discuss an extension of the SpinC quantization concept to odd-dimensional manifolds. After that we describe its relation to (the usual) even-dimensional SpinC quantization and how its famous properties like "Quantization commutes with reduction" can be regained in odd dimensions. At the end, we analyze the situation on 3-manifolds and give some examples. △ Less

Submitted 23 October, 2011; originally announced October 2011.

Comments: 9 pages

MSC Class: 53D50 (Primary); 53C27 (Secondary)

Eigenspaces of the Spin Dirac operator over S^3

Authors: Johannes Fabian Meier

Abstract: We calculate the spectrum and a basis of eigenvectors for the Spin Dirac operator over the standard 3-sphere. For the spectrum, we use the method of Hitchin which we transfer to quaternions and explain in more detail. The eigenbasis (in terms of polynomials) will be computed by means of representations of sl(2,C). We calculate the spectrum and a basis of eigenvectors for the Spin Dirac operator over the standard 3-sphere. For the spectrum, we use the method of Hitchin which we transfer to quaternions and explain in more detail. The eigenbasis (in terms of polynomials) will be computed by means of representations of sl(2,C). △ Less

Submitted 23 March, 2011; v1 submitted 21 March, 2011; originally announced March 2011.

Comments: 20 pages

MSC Class: 47A10; 34L10; 43A90

Spinc Dirac operators over the flat 3-torus

Authors: Johannes Fabian Meier

Abstract: The aim of this paper is to study a possible "boundary phenomenon" for Spinc Dirac operators in a special case. If you parametrise Spinc Dirac operators by a family of connections on a Spinc 4-manifold with boundary, this boundary inherits also a family of Spinc Dirac operators which has a spectral section (in the sense of Melrose/Piazza). We want to analyse this situation concretely for a manif… ▽ More The aim of this paper is to study a possible "boundary phenomenon" for Spinc Dirac operators in a special case. If you parametrise Spinc Dirac operators by a family of connections on a Spinc 4-manifold with boundary, this boundary inherits also a family of Spinc Dirac operators which has a spectral section (in the sense of Melrose/Piazza). We want to analyse this situation concretely for a manifold whose boundary is a 3-torus. For some families of Spinc Dirac operators, we calculate spectrum and eigenbasis and give explicit constructions of spectral sections for small disturbance parameters. We also describe the index of these families in $K^1$. △ Less

Submitted 17 April, 2011; v1 submitted 2 March, 2011; originally announced March 2011.

Comments: 12 pages, results from my dissertation

MSC Class: 47A10; 58C40; 58J30

The integral cohomology of the group of loops

Authors: Craig A Jensen, Jon McCammond, John Meier

Abstract: Let PSigma_n denote the group that can be thought of either as the group of motions of the trivial n-component link or the group of symmetric automorphisms of a free group of rank n. The integral cohomology ring of PSigma_n is determined, establishing a conjecture of Brownstein and Lee. Let PSigma_n denote the group that can be thought of either as the group of motions of the trivial n-component link or the group of symmetric automorphisms of a free group of rank n. The integral cohomology ring of PSigma_n is determined, establishing a conjecture of Brownstein and Lee. △ Less

Submitted 1 March, 2009; originally announced March 2009.

Comments: This is the version published by Geometry & Topology on 11 July 2006

MSC Class: 20J06; 57M07

Journal ref: Geom. Topol. 10 (2006) 759-784

Compactly supported cohomology of buildings

Authors: Michael Davis, Jan Dymara, Tadeusz Januszkiewicz, John Meier, Boris Okun

Abstract: We compute the compactly supported cohomology of the standard realization of any locally finite building. We compute the compactly supported cohomology of the standard realization of any locally finite building. △ Less

Submitted 14 June, 2008; originally announced June 2008.

MSC Class: 20F65: 57M07

Journal ref: Comment. Math. Helv. 85 (2010), 551-582

The Euler characteristic of the Whitehead automorphism group of a free product

Authors: Craig Jensen, Jon McCammond, John Meier

Abstract: A combinatorial summation identity over the lattice of labelled hypertrees is established that allows one to gain concrete information on the Euler characteristics of various automorphism groups of free products of groups. A combinatorial summation identity over the lattice of labelled hypertrees is established that allows one to gain concrete information on the Euler characteristics of various automorphism groups of free products of groups. △ Less

Submitted 27 January, 2006; originally announced January 2006.

Comments: 19 pages, 3 figures, to appear in Trans. Amer. Math. Soc

MSC Class: 20F28;20F65

The cohomology of right angled Artin groups with group ring coefficients

Authors: Craig Jensen, John Meier

Abstract: We give an explicit formula for the cohomology of a right angled Artin group with group ring coefficients in terms of the cohomology of its defining flag complex. We give an explicit formula for the cohomology of a right angled Artin group with group ring coefficients in terms of the cohomology of its defining flag complex. △ Less

Submitted 27 February, 2004; v1 submitted 15 January, 2004; originally announced January 2004.

Comments: Corrected minor errors

MSC Class: 20F36; 57M07

Combinatorial conditions that imply word-hyperbolicity for 3-manifolds

Authors: Murray Elder, Jon McCammond, John Meier

Abstract: Thurston conjectured that a closed triangulated 3-manifold in which every edge has degree 5 or 6, and no two edges of degree 5 lie in a common 2-cell, has word-hyperbolic fundamental group. We establish Thurston's conjecture by proving that such a manifold admits a piecewise Euclidean metric of non-positive curvature and the universal cover contains no isometrically embedded flat planes. The pro… ▽ More Thurston conjectured that a closed triangulated 3-manifold in which every edge has degree 5 or 6, and no two edges of degree 5 lie in a common 2-cell, has word-hyperbolic fundamental group. We establish Thurston's conjecture by proving that such a manifold admits a piecewise Euclidean metric of non-positive curvature and the universal cover contains no isometrically embedded flat planes. The proof involves a mixture of computer computation and techniques from small cancellation theory. △ Less

Submitted 7 January, 2003; originally announced January 2003.

Comments: (21 pages) To appear in Topology

MSC Class: 20F06; 57M50

Bestvina's normal form complex and the homology of Garside groups

Authors: Ruth Charney, John Meier, Kim Whittlesey

Abstract: A Garside group is a group admitting a finite lattice generating set D. Using techniques developed by Bestvina for Artin groups of finite type, we construct K(π,1)s for Garside groups. This construction shows that the (co)homology of any Garside group G is easily computed given the lattice D, and there is a simple sufficient condition that implies G is a duality group. The universal covers of th… ▽ More A Garside group is a group admitting a finite lattice generating set D. Using techniques developed by Bestvina for Artin groups of finite type, we construct K(π,1)s for Garside groups. This construction shows that the (co)homology of any Garside group G is easily computed given the lattice D, and there is a simple sufficient condition that implies G is a duality group. The universal covers of these K(π,1)s enjoy Bestvina's weak non-positive curvature condition. Under a certain tameness condition, this implies that every solvable subgroup of G is virtually abelian. △ Less

Submitted 7 March, 2002; v1 submitted 22 February, 2002; originally announced February 2002.

Comments: 14 pages, no figures, fixed file encoding errors

MSC Class: 20F65 (primary); 20F36; 55P20 (Secondary)

The Bieri-Neumann-Strebel invariants for graph groups

Authors: John Meier, Leonard Vanwyk

Abstract: Given a finite simplicial graph ${\cal G}$, the graph group $G{\cal G}$" is the group with generators in one-to-one correspondence with the vertices of ${\cal G}$ and with relations stating two generators commute if their associated vertices are adjacent in ${\cal G}$. The Bieri-Neumann-Strebel invariant can be explicitly described in terms of the original graph ${\cal G}$ and hence there is an… ▽ More Given a finite simplicial graph ${\cal G}$, the graph group $G{\cal G}$" is the group with generators in one-to-one correspondence with the vertices of ${\cal G}$ and with relations stating two generators commute if their associated vertices are adjacent in ${\cal G}$. The Bieri-Neumann-Strebel invariant can be explicitly described in terms of the original graph ${\cal G}$ and hence there is an explicit description of the distribution of finitely generated normal subgroups of $G{\cal G}$ with abelian quotient. We construct Eilenberg-MacLane spaces for graph groups and find partial extensions of this work to the higher dimensional invariants. △ Less

Submitted 11 October, 1993; originally announced October 1993.

Comments: Plain Tex, 19 pages, no figures

Report number: MAGNUS preprint #93-10-12A