Showing 1–12 of 12 results for author: Orr, K

Transfinite Milnor invariants for 3-manifolds

Authors: Jae Choon Cha, Kent E. Orr

Abstract: In his 1957 paper, John Milnor introduced link invariants which measure the homotopy class of the longitudes of a link relative to the lower central series of the link group. Consequently, these invariants determine the lower central series quotients of the link group. This work has driven decades of research with profound influence. One of Milnor's original problems remained unsolved: to extract… ▽ More In his 1957 paper, John Milnor introduced link invariants which measure the homotopy class of the longitudes of a link relative to the lower central series of the link group. Consequently, these invariants determine the lower central series quotients of the link group. This work has driven decades of research with profound influence. One of Milnor's original problems remained unsolved: to extract similar invariants from the transfinite lower central series of the link group. We reformulate and extend Milnor's invariants in the broader setting of 3-manifolds, with his original invariants as special cases. We present a solution to Milnor's problem for general 3-manifold groups, developing a theory of transfinite invariants and realizing nontrivial values. △ Less

Submitted 10 September, 2021; v1 submitted 8 February, 2020; originally announced February 2020.

Comments: 55 pages; referee's comments incorporated; to appear in Journal of the European Mathematical Society

Whitney towers and abelian invariants of knots

Authors: Jae Choon Cha, Kent E. Orr, Mark Powell

Abstract: We relate certain abelian invariants of a knot, namely the Alexander polynomial, the Blanchfield form, and the Arf invariant, to intersection data of a Whitney tower in the 4-ball bounded by the knot. We also give a new 3-dimensional algorithm for computing these invariants. We relate certain abelian invariants of a knot, namely the Alexander polynomial, the Blanchfield form, and the Arf invariant, to intersection data of a Whitney tower in the 4-ball bounded by the knot. We also give a new 3-dimensional algorithm for computing these invariants. △ Less

Submitted 25 February, 2019; v1 submitted 11 June, 2016; originally announced June 2016.

Comments: 34 pages, 14 figures; to appear in Mathematische Zeitschrift

MSC Class: 57M25; 57M27; 57N13; 57N70

Modulated semi-invariants

Authors: Kiyoshi Igusa, Kent Orr, Gordana Todorov, Jerzy Weyman

Abstract: We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on t… ▽ More We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on the cluster tilting objects. Applications of these theorems are given in several concurrently written papers. △ Less

Submitted 1 September, 2015; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: 41 pages, 1 figure, many minor changes, c-vector theorem redone

MSC Class: 16G20 (Primary) 20F55 (Secondary)

Group localization and two problems of Levine

Authors: Roman Mikhailov, Kent E. Orr

Abstract: A. K. Bousfield's $H\mathbb Z$-localization of groups inverts homologically two-connected homomorphisms of groups. J. P. Levine's algebraic closure of groups inverts homomorphisms between finitely generated and finitely presented groups which are homologically two-connected and for which the image normally generates. We resolve an old problem concerning Bousfield $H\mathbb Z$-localization of group… ▽ More A. K. Bousfield's $H\mathbb Z$-localization of groups inverts homologically two-connected homomorphisms of groups. J. P. Levine's algebraic closure of groups inverts homomorphisms between finitely generated and finitely presented groups which are homologically two-connected and for which the image normally generates. We resolve an old problem concerning Bousfield $H\mathbb Z$-localization of groups, and answer two questions of Levine regarding algebraic closure of groups. In particular, we show that the kernel of the natural homomorphism from a group $G$ to it's Bousfield $H\mathbb Z$-localization is not always a $G$-perfect subgroup. In the case of algebraic closure of groups, we prove the analogous result that this kernel is not always an invisible subgroup. △ Less

Submitted 25 June, 2013; originally announced June 2013.

Comments: 10 pages

MSC Class: 55P60 (Primary); 57M27 (Secondary)

Localization, metabelian groups, and the isomorphism problem

Authors: Gilbert Baumslag, Roman Mikhailov, Kent Orr

Abstract: If G and H are finitely generated, residually nilpotent metabelian groups, H is termed para-G if there is a homomorphism of G into H which induces an isomorphism between the corresponding terms of their lower central quotient groups. We prove that this is an equivalence relation. It is a much coarser relation than isomorphism, our ultimate concern. It turns out that many of the groups in a given e… ▽ More If G and H are finitely generated, residually nilpotent metabelian groups, H is termed para-G if there is a homomorphism of G into H which induces an isomorphism between the corresponding terms of their lower central quotient groups. We prove that this is an equivalence relation. It is a much coarser relation than isomorphism, our ultimate concern. It turns out that many of the groups in a given equivalence class share various properties including finite presentability. There are examples, such as the lamplighter group, where an equivalence class consists of a single isomorphism class and others where this is not the case. We give several examples where we solve the Isomorphism Problem. We prove also that the sequence of torsion-free ranks of the lower central quotients of a finitely generated metabelian group is computable. In a future paper we plan on proving that there is an algorithm to compute the numerator and denominator of the rational Poincaré series of a finitely generated metabelian group and will carry out this computation in a number of examples, which may shed a tiny bit of light on the Isomorphism Problem. Our proofs use localization, class field theory and some constructive commutative algebra. △ Less

Submitted 24 June, 2014; v1 submitted 23 January, 2013; originally announced January 2013.

Comments: 24 pages. Substantially rewritten. Some new results

A new look at finitely generated metabelian groups

Authors: Gilbert Baumslag, Roman Mikhailov, Kent E. Orr

Abstract: A group is metabelian if its commutator subgroup is abelian. For finitely generated metabelian groups, classical commutative algebra, algebraic geometry and geometric group theory, especially the latter two subjects, can be brought to bear on their study. The object of this paper is to describe some of the new ideas and open problems that arise. A group is metabelian if its commutator subgroup is abelian. For finitely generated metabelian groups, classical commutative algebra, algebraic geometry and geometric group theory, especially the latter two subjects, can be brought to bear on their study. The object of this paper is to describe some of the new ideas and open problems that arise. △ Less

Submitted 24 March, 2012; originally announced March 2012.

Comments: 17 pages

Hidden torsion, 3-manifolds, and homology cobordism

Authors: Jae Choon Cha, Kent E. Orr

Abstract: This paper continues our exploration of homology cobordism of 3-manifolds using our recent results on Cheeger-Gromov rho-invariants associated to amenable representations. We introduce a new type of torsion in 3-manifold groups we call hidden torsion, and an algebraic approximation we call local hidden torsion. We construct infinitely many hyperbolic 3-manifolds which have local hidden torsion in… ▽ More This paper continues our exploration of homology cobordism of 3-manifolds using our recent results on Cheeger-Gromov rho-invariants associated to amenable representations. We introduce a new type of torsion in 3-manifold groups we call hidden torsion, and an algebraic approximation we call local hidden torsion. We construct infinitely many hyperbolic 3-manifolds which have local hidden torsion in the transfinite lower central subgroup. By realizing Cheeger-Gromov invariants over amenable groups, we show that our hyperbolic 3-manifolds are not pairwise homology cobordant, yet remain indistinguishable by any prior known homology cobordism invariants. Additionally we give an answer to a question about transfinite lower central series of homology cobordant 3-manifold groups, asked by T. D. Cochran and M. H. Freedman. △ Less

Submitted 10 December, 2012; v1 submitted 21 January, 2011; originally announced January 2011.

Comments: 24 pages; a new theorem answering a question of Cochran and Freedman (Kirby List 3.78) added; referee's comments incorporated; to appear in J. Topology

MSC Class: 57M27; 57N70

$L^2$-signatures, homology localization, and amenable groups

Authors: Jae Choon Cha, Kent E. Orr

Abstract: Aimed at geometric applications, we prove the homology cobordism invariance of the $L^2$-betti numbers and $L^2$-signature defects associated to the class of amenable groups lying in Strebel's class $D(R)$, which includes some interesting infinite/finitenon-torsion-free groups. The proofs include the only prior known condition, that $Γ$ is a poly-torsion-free abelian group (or potentially a fini… ▽ More Aimed at geometric applications, we prove the homology cobordism invariance of the $L^2$-betti numbers and $L^2$-signature defects associated to the class of amenable groups lying in Strebel's class $D(R)$, which includes some interesting infinite/finitenon-torsion-free groups. The proofs include the only prior known condition, that $Γ$ is a poly-torsion-free abelian group (or potentially a finite $p$-group.) We define a new commutator-type series which refines Harvey's torsion-free derived series of groups, using the localizations of groups and rings of Bousfield, Vogel, and Cohn. The series, called the local derived series, has versions for homology with arbitrary coefficients, and satisfies functoriality and an injectivity theorem. We combine these two new tools to give some applications to distinct homology cobordism types within the same simple homotopy type in higher dimensions, to concordance of knots in three manifolds, and to spherical space forms in dimension three. △ Less

Submitted 19 October, 2009; originally announced October 2009.

Comments: 33 pages

MSC Class: 20J05; 57M07

Cluster Complexes via Semi-Invariants

Authors: Kiyoshi Igusa, Kent Orr, Gordana Todorov, Jerzy Weyman

Abstract: We define and study virtual representation spaces having both positive and negative dimensions at the vertices of a quiver without oriented cycles. We consider the natural semi-invariants on these spaces which we call virtual semi-invariants and prove that they satisfy the three basic theorems: the First Fundamental Theorem, the Saturation Theorem and the Canonical Decomposition Theorem. In the… ▽ More We define and study virtual representation spaces having both positive and negative dimensions at the vertices of a quiver without oriented cycles. We consider the natural semi-invariants on these spaces which we call virtual semi-invariants and prove that they satisfy the three basic theorems: the First Fundamental Theorem, the Saturation Theorem and the Canonical Decomposition Theorem. In the special case of Dynkin quivers with n vertices this gives the fundamental interrelationship between supports of the semi-invariants and the Tilting Triangulation of the (n-1)-sphere. △ Less

Submitted 11 October, 2008; v1 submitted 6 August, 2007; originally announced August 2007.

Comments: 34 pages

MSC Class: 16G20; 13A50

Structure in the classical knot concordance group

Authors: Tim D. Cochran, Kent E. Orr, Peter Teichner

Abstract: We provide new information about the structure of the abelian group of topological concordance classes of knots in $S^3$. One consequence is that there is a subgroup of infinite rank consisting entirely of knots with vanishing Casson-Gordon invariants but whose non-triviality is detected by $L^{(2)}$ signatures. We provide new information about the structure of the abelian group of topological concordance classes of knots in $S^3$. One consequence is that there is a subgroup of infinite rank consisting entirely of knots with vanishing Casson-Gordon invariants but whose non-triviality is detected by $L^{(2)}$ signatures. △ Less

Submitted 6 June, 2002; originally announced June 2002.

Comments: 26 pages, 3 figures

Journal ref: Comment. Math. Helv. 79 (2004) 105-123

Knot concordance, Whitney towers and L^2 signatures

Authors: Tim D. Cochran, Kent E. Orr, Peter Teichner

Abstract: We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all classical concordance invariants, including the Casson-Gordon invariants. As… ▽ More We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all classical concordance invariants, including the Casson-Gordon invariants. As a first step, we construct an infinite sequence of new obstructions that vanish on slice knots. These take values in the L-theory of skew fields associated to certain {\em universal} groups. Finally, we use the dimension theory of von Neumann algebras to define an L^2 signature and use this to detect the first unknown step in our obstruction theory. △ Less

Submitted 9 February, 2004; v1 submitted 22 August, 1999; originally announced August 1999.

Comments: 87 pages published version

Journal ref: Ann. of Math. (2), Vol. 157 (2003), no. 2, 433--519

Dehn Surgery Equivalence Relations on Three-Manifolds

Authors: Tim Cochran, Amir Gerges, Kent Orr

Abstract: When can one 3-manifold be transformed to another by a finite sequence of Dehn surgeries which are restricted to preserve the first homology of the manifolds ? What is the resulting equivalence relation on 3-manifolds ? What if the surgery circle is further restricted to lie more deeply in the lower central series of the fundamental group ? We answer these questions. It is shown that many of the… ▽ More When can one 3-manifold be transformed to another by a finite sequence of Dehn surgeries which are restricted to preserve the first homology of the manifolds ? What is the resulting equivalence relation on 3-manifolds ? What if the surgery circle is further restricted to lie more deeply in the lower central series of the fundamental group ? We answer these questions. It is shown that many of these questions have answers in terms of classical toplogical invariants. Relations with Heegard splittings and the Torelli group are discussed. This is also related to whether or not one 3-manifold may be obtained from another by Dehn surgery on a link of restricted type. These equivalence relations form the philosophical basis of the authors joint work with Paul Melvin on a theory of finite type invariants for arbitrary 3-manifolds. △ Less

Submitted 28 September, 1998; originally announced September 1998.

MSC Class: 57M99 (primary) 57M25 (secondary)

Journal ref: Math Proc Cam Phil. Soc 131(2001), 97-127