Showing 1–17 of 17 results for author: Kricker, A

Circle-valued angle structures and obstruction theory

Authors: Craig D. Hodgson, Andrew J. Kricker, Rafał M. Siejakowski

Abstract: We study spaces of circle-valued angle structures, introduced by Feng Luo, on ideal triangulations of 3-manifolds. We prove that the connected components of these spaces are enumerated by certain cohomology groups of the 3-manifold with $\mathbb{Z}_2$-coefficients. Our main theorem shows that this establishes a geometrically natural bijection between the connected components of the spaces of circl… ▽ More We study spaces of circle-valued angle structures, introduced by Feng Luo, on ideal triangulations of 3-manifolds. We prove that the connected components of these spaces are enumerated by certain cohomology groups of the 3-manifold with $\mathbb{Z}_2$-coefficients. Our main theorem shows that this establishes a geometrically natural bijection between the connected components of the spaces of circle-valued angle structures and the obstruction classes to lifting boundary-parabolic $PSL(2,\mathbb{C})$-representations of the fundamental group of the 3-manifold to boundary-unipotent representations into $SL(2,\mathbb{C})$. In particular, these connected components have topological and algebraic significance independent of the ideal triangulations chosen to construct them. The motivation and main application of this study is to understand the domain of the state-integral defining the meromorphic 3D-index of Garoufalidis and Kashaev, necessary in order to classify the boundary-parabolic representations contributing to its asymptotics. △ Less

Submitted 13 February, 2025; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: This is a slightly abbreviated version of the original submission with minor changes in exposition and notation. Accepted for publication in Journal of Topology and Analysis. arXiv admin note: substantial text overlap with arXiv:2109.05355

MSC Class: 57M50; 57M27

Journal ref: Journal of Topology and Analysis, 2024

On the asymptotics of the meromorphic 3D-index

Authors: Craig D. Hodgson, Andrew J. Kricker, Rafał M. Siejakowski

Abstract: In their recent work, Garoufalidis and Kashaev extended the 3D-index of an ideally triangulated 3-manifold with toroidal boundary to a well-defined topological invariant which takes the form of a meromorphic function of 2 complex variables per boundary component and which depends in addition on a quantisation parameter q. In this paper, we study asymptotics of this invariant as q approaches 1 and… ▽ More In their recent work, Garoufalidis and Kashaev extended the 3D-index of an ideally triangulated 3-manifold with toroidal boundary to a well-defined topological invariant which takes the form of a meromorphic function of 2 complex variables per boundary component and which depends in addition on a quantisation parameter q. In this paper, we study asymptotics of this invariant as q approaches 1 and develop a conjectural asymptotic approximation in the form of a sum of contributions associated to conjugacy classes of certain boundary parabolic PSL(2,C) representations of the fundamental group. Furthermore, we study the coefficients appearing in these contributions, which include the hyperbolic volume, the '1-loop invariant' of Dimofte and Garoufalidis, as well as a new topological invariant of 3-manifolds with torus boundary, which we call the 'beta invariant'. The technical heart of our analysis is the expression of the state-integral of the Garoufalidis--Kashaev invariant as an integral over one connected component of the space of circle-valued angle structures introduced by Luo. Our stationary phase analysis of the asymptotics of this integral reveals many connections to the theory of angle structures and volume optimization. This investigation was motivated by extensive numerical experiments. In addition, we prove a variety of theorems about the quantities appearing in the analysis which support the overall conjectural picture. △ Less

Submitted 12 February, 2025; v1 submitted 11 September, 2021; originally announced September 2021.

Comments: This submission is based on part of arXiv:2109.05355. The material on circle-valued angle structures is now contained in arXiv:2303.04380. This submission contains a revised version of the remaining material with an additional appendix on the relationship between the meromorphic 3D-index and the q-series 3D-index

MSC Class: 57M27; 57R56; 30E15

Random Walks on Graphs and Approximation of L2-Invariants

Authors: Zenas Wong, Andrew J. Kricker

Abstract: Right multiplication operators $R_w: l_2G \rightarrow l_2G$, $w \in \C[G]$, are interpreted as random-walk operators on labelled graphs that are analogous to Cayley graphs. Applying a generalization of the graph convergence defined by R. Grigorchuk and A. Żuk \cite{Grigorchuk_Zuk_1} gives a new proof and interpretation of a special case of W. Lück's famous Theorem on the Approximation of $l_2$-Bet… ▽ More Right multiplication operators $R_w: l_2G \rightarrow l_2G$, $w \in \C[G]$, are interpreted as random-walk operators on labelled graphs that are analogous to Cayley graphs. Applying a generalization of the graph convergence defined by R. Grigorchuk and A. Żuk \cite{Grigorchuk_Zuk_1} gives a new proof and interpretation of a special case of W. Lück's famous Theorem on the Approximation of $l_2$-Betti numbers for countable residually finite groups. In particular, using this interpretation, the proof follows quickly from standard theorems about the weak convergence of probability measures that are characterized by their moments. △ Less

Submitted 27 July, 2016; originally announced July 2016.

Comments: 11 pages

Differential Operators and the Wheels Power Series

Authors: Andrew Kricker

Abstract: An earlier work of the author's showed that it was possible to adapt the Alekseev-Meinrenken Chern-Weil proof of the Duflo isomorphism to obtain a completely combinatorial proof of the Wheeling isomorphism. That work depended on a certain combinatorial identity, which said that a certain composition of elementary combinatorial operations arising from the proof was precisely the Wheeling operatio… ▽ More An earlier work of the author's showed that it was possible to adapt the Alekseev-Meinrenken Chern-Weil proof of the Duflo isomorphism to obtain a completely combinatorial proof of the Wheeling isomorphism. That work depended on a certain combinatorial identity, which said that a certain composition of elementary combinatorial operations arising from the proof was precisely the Wheeling operation. The identity can be summarized as follows: The Wheeling operation is just a graded averaging map in a space enlarging the space of Jacobi diagrams. The purpose of this paper is to present a detailed and self-contained proof of this identity. The proof broadly follows similar calculations in the Alekseev-Meinrenken theory, though the details here are somewhat different, as the algebraic manipulations in the original are replaced with arguments concerning the enumerative combinatorics of formal power series of graphs with graded legs. △ Less

Submitted 27 July, 2009; originally announced July 2009.

Comments: 67 pages, 300 EPS figures. The content has appeared already as the 2nd half of math/0612653. I have split it into a separate manuscript for manageability. Introduction added

Journal ref: Algebr. Geom. Topol. 11 (2011) 1107-1162

Surgery presentations of coloured knots and of their covering links

Authors: Andrew Kricker, Daniel Moskovich

Abstract: We consider knots equipped with a representation of their knot groups onto a dihedral group D_{2n} (where n is odd). To each such knot there corresponds a closed 3-manifold, the (irregular) dihedral branched covering space, with the branching set over the knot forming a link in it. We report a variety of results relating to the problem of passing from the initial data of a D_{2n}-coloured knot t… ▽ More We consider knots equipped with a representation of their knot groups onto a dihedral group D_{2n} (where n is odd). To each such knot there corresponds a closed 3-manifold, the (irregular) dihedral branched covering space, with the branching set over the knot forming a link in it. We report a variety of results relating to the problem of passing from the initial data of a D_{2n}-coloured knot to a surgery presentation of the corresponding branched covering space and covering link. In particular, we describe effective algorithms for constructing such presentations. A by-product of these investigations is a proof of the conjecture that two D_{2n}-coloured knots are related by a sequence of surgeries along unit-framed unknots in the kernel of the representation if and only if they have the same coloured untying invariant (a Z_{n}-valued algebraic invariant of D_{2n}-coloured knots). △ Less

Submitted 13 May, 2008; originally announced May 2008.

Comments: 40 pages, 101 figures

MSC Class: 57M12; 57M25

Journal ref: Algebr. Geom. Topol. 9 (2009) 1341-1398

Non-commutative Chern-Weil Theory and the Combinatorics of Wheeling

Authors: Andrew Kricker

Abstract: This work applies the ideas of Alekseev and Meinrenken's Non-commutative Chern-Weil Theory to describe a completely combinatorial and constructive proof of the Wheeling Theorem. In this theory, the crux of the proof is, essentially, the familiar demonstration that a characteristic class does not depend on the choice of connection made to construct it. To a large extent this work may be viewed as a… ▽ More This work applies the ideas of Alekseev and Meinrenken's Non-commutative Chern-Weil Theory to describe a completely combinatorial and constructive proof of the Wheeling Theorem. In this theory, the crux of the proof is, essentially, the familiar demonstration that a characteristic class does not depend on the choice of connection made to construct it. To a large extent this work may be viewed as an exposition of the details of some of Alekseev and Meinrenken's theory written for Kontsevich integral specialists. Our goal was a presentation with full combinatorial detail in the setting of Jacobi diagrams - to achieve this goal certain key algebraic steps required replacement with substantially different combinatorial arguments. △ Less

Submitted 11 May, 2010; v1 submitted 21 December, 2006; originally announced December 2006.

Comments: 45 pages. Revised. An outline added to the introduction. (v3: Technical problem with the pdf of v2 fixed.)

Journal ref: Duke Math. J. 157, no. 2 (2011), 223-281

Problems on invariants of knots and 3-manifolds

Authors: J. E. Andersen, N. Askitas, D. Bar-Natan, S. Baseilhac, R. Benedetti, S. Bigelow, M. Boileau, R. Bott, J. S. Carter, F. Deloup, N. Dunfield, R. Fenn, E. Ferrand, S. Garoufalidis, M. Goussarov, E. Guadagnini, H. Habiro, S. K. Hansen, T. Harikae, A. Haviv, M. -J. Jeong, V. Jones, R. Kashaev, Y. Kawahigashi, T. Kerler , et al. (35 additional authors not shown)

Abstract: This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: Edited by T. Ohtsuki. Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon4/paper24.abs.html

MSC Class: 20F36; 57M25; 57M27; 57R56; 13B25; 17B10; 17B37; 18D10; 20C08; 20G42; 22E99; 41A60; 46L37; 57M05; 57M50; 57N10; 57Q10; 81T18; 81T45

Journal ref: Geom. Topol. Monogr. 4 (2002) 377-572

A surgery formula for the 2-loop piece of the LMO invariant of a pair

Authors: Andrew Kricker

Abstract: Let Θ(M,K) denote the 2-loop piece of (the logarithm of) the LMO invariant of a knot K in M, a ZHS^3. Forgetting the knot (by which we mean setting diagrams with legs to zero) specialises Θ(M,K) to λ(M), Casson's invariant. This note describes an extension of Casson's surgery formula for his invariant to Θ(M,K). To be precise, we describe the effect on Θ(M,K) of a surgery on a knot which togethe… ▽ More Let Θ(M,K) denote the 2-loop piece of (the logarithm of) the LMO invariant of a knot K in M, a ZHS^3. Forgetting the knot (by which we mean setting diagrams with legs to zero) specialises Θ(M,K) to λ(M), Casson's invariant. This note describes an extension of Casson's surgery formula for his invariant to Θ(M,K). To be precise, we describe the effect on Θ(M,K) of a surgery on a knot which together with K forms a boundary link in M. Whilst the presented formula does not characterise Θ(M,K), it does allow some insight into the underlying topology. △ Less

Submitted 4 November, 2002; originally announced November 2002.

Comments: Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon4/paper11.abs.html

MSC Class: 57M27; 57M25

Journal ref: Geom. Topol. Monogr. 4 (2002) 161-181

A surgery view of boundary links

Authors: Stavros Garoufalidis, Andrew Kricker

Abstract: A celebrated theorem of Kirby identifies the set of closed oriented connected 3-manifolds with the set of framed links in $S^3$ modulo two moves. We give a similar description for the set of knots (and more generally, boundary links) in homology 3-spheres. As an application, we define a noncommutative version of the Alexander polynomial of a boundary link. Our surgery view of boundary links is a… ▽ More A celebrated theorem of Kirby identifies the set of closed oriented connected 3-manifolds with the set of framed links in $S^3$ modulo two moves. We give a similar description for the set of knots (and more generally, boundary links) in homology 3-spheres. As an application, we define a noncommutative version of the Alexander polynomial of a boundary link. Our surgery view of boundary links is a key ingredient in a construction of a rational version of the Kontsevich integral, which is described in subsequent work. The current version fixes minor typographical errors. △ Less

Submitted 31 October, 2002; v1 submitted 31 May, 2002; originally announced May 2002.

Comments: LaTeX, 8 pages with 5 figures

Finite type invariants of cyclic branched covers

Authors: Stavros Garoufalidis, Andrew Kricker

Abstract: Updated rerefences and introduction. Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parametrized by the positive integers), namely the cyclic branched coverings of the knot. In this paper we give a formula for the the Casson-Walker invariants of these 3-manifolds in terms of residues of a rational function (which measures the 2-loop part of the Kont… ▽ More Updated rerefences and introduction. Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parametrized by the positive integers), namely the cyclic branched coverings of the knot. In this paper we give a formula for the the Casson-Walker invariants of these 3-manifolds in terms of residues of a rational function (which measures the 2-loop part of the Kontsevich integral of a knot) and the signature function of the knot. Our main result actually computes the LMO invariant of cyclic branched covers in terms of a rational invariant of the knot and its signature function. Revised version. △ Less

Submitted 14 October, 2003; v1 submitted 30 July, 2001; originally announced July 2001.

Comments: LaTeX, 28 pages with 22 figures

A rational noncommutative invariant of boundary links

Authors: Stavros Garoufalidis, Andrew Kricker

Abstract: In 1999, Rozansky conjectured the existence of a rational presentation of the Kontsevich integral of a knot. Roughly speaking, this rational presentation of the Kontsevich integral would sum formal power series into rational functions with prescribed denominators. Rozansky's conjecture was soon proven by the second author. We begin our paper by reviewing Rozansky's conjecture and the main ideas… ▽ More In 1999, Rozansky conjectured the existence of a rational presentation of the Kontsevich integral of a knot. Roughly speaking, this rational presentation of the Kontsevich integral would sum formal power series into rational functions with prescribed denominators. Rozansky's conjecture was soon proven by the second author. We begin our paper by reviewing Rozansky's conjecture and the main ideas that lead to its proof. The natural question of extending this conjecture to links leads to the class of boundary links, and a proof of Rozansky's conjecture in this case. A subtle issue is the fact that a `hair' map which replaces beads by the exponential of hair is not 1-1. This raises the question of whether a rational invariant of boundary links exists in an appropriate space of trivalent graphs whose edges are decorated by rational functions in noncommuting variables. A main result of the paper is to construct such an invariant, using the so-called surgery view of boundary links and after developing a formal diagrammatic Gaussian integration. Since our invariant is one of many rational forms of the Kontsevich integral, one may ask if our invariant is in some sense canonical. We prove that this is indeed the case, by axiomatically characterizing our invariant as a universal finite type invariant of boundary links with respect to the null move. Finally, we discuss relations between our rational invariant and homology surgery, and give some applications to low dimensional topology. △ Less

Submitted 20 February, 2004; v1 submitted 3 May, 2001; originally announced May 2001.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper4.abs.html

MSC Class: 57N10; 57M25

Journal ref: Geom. Topol. 8 (2004) 115-204

The lines of the Kontsevich integral and Rozansky's rationality conjecture

Authors: Andrew Kricker

Abstract: This work develops some technology for accessing the loop expansion of the Kontsevich integral of a knot. The setting is an application of the LMO invariant to certain surgery presentations of knots by framed links in the solid torus. A consequence of this technology is a certain recent conjecture of Rozansky's. Rozansky conjectured that the Kontsevich integral could be organised into a series o… ▽ More This work develops some technology for accessing the loop expansion of the Kontsevich integral of a knot. The setting is an application of the LMO invariant to certain surgery presentations of knots by framed links in the solid torus. A consequence of this technology is a certain recent conjecture of Rozansky's. Rozansky conjectured that the Kontsevich integral could be organised into a series of ``lines'' which could be represented by finite $\Qset$-linear combinations of diagrams whose edges were labelled, in an appropriate sense, with rational functions. Furthermore, the conjecture requires that the denominator of the rational functions be at most the Alexander polynomial of the knot. This conjecture is obtained from an Aarhus-style surgery formula for this setting which we expect will have other applications. △ Less

Submitted 30 May, 2000; originally announced May 2000.

Comments: 40 pages, many figures

Branched cyclic covers and finite type invariants

Authors: Andrew Kricker

Abstract: This work identifies a class of moves on knots which translate to $m$-equivalences of the associated $p$-fold branched cyclic covers, for a fixed $m$ and any $p$ (with respect to the Goussarov-Habiro filtration.) These moves are applied to give a flexible (if specialised) construction of knots for which the Casson-Walker-Lescop invariant (for example) of their $p$-fold branched cyclic covers may… ▽ More This work identifies a class of moves on knots which translate to $m$-equivalences of the associated $p$-fold branched cyclic covers, for a fixed $m$ and any $p$ (with respect to the Goussarov-Habiro filtration.) These moves are applied to give a flexible (if specialised) construction of knots for which the Casson-Walker-Lescop invariant (for example) of their $p$-fold branched cyclic covers may be readily calculated, for any choice of $p$. In the second part of this paper, these operations are illustrated by some theorems concerning the relationship of knot invariants obtained from finite type three-manifold invariants, via the branched cyclic covering construction, with the finite type theory of knots. △ Less

Submitted 8 July, 2000; v1 submitted 6 March, 2000; originally announced March 2000.

Comments: 29 pages (22 + 7 pg app.), 2 eps figures, spelling mistake fixed

Covering Spaces over Claspered Knots

Authors: Andrew Kricker

Abstract: In this note we reconsider a familiar result in Vassiliev knot theory - that the coefficients of the Alexander-Conway polynomial determine the top row of the Kontsevich integral - from the point of view of Kazuo Habiro's clasper theory. We observe that in this setting the calculation reflects the topology of the universal cyclic covering space of a claspered knot's complement. In this note we reconsider a familiar result in Vassiliev knot theory - that the coefficients of the Alexander-Conway polynomial determine the top row of the Kontsevich integral - from the point of view of Kazuo Habiro's clasper theory. We observe that in this setting the calculation reflects the topology of the universal cyclic covering space of a claspered knot's complement. △ Less

Submitted 12 February, 2000; v1 submitted 7 January, 1999; originally announced January 1999.

Comments: 9 pages, 6 figures. Referencing updated, and improved

Ohtsuki's Invariants are of Finite Type

Authors: Andrew Kricker, Bill Spence

Abstract: Using a vanishing condition on certain combinations of components of the Jones polynomial for algebraically split links we show that Ohtsuki's invariants of integral homology three spheres are of finite type. We further show that the corresponding manifold weight system is given by the expected Lie algebraic construction. Using a vanishing condition on certain combinations of components of the Jones polynomial for algebraically split links we show that Ohtsuki's invariants of integral homology three spheres are of finite type. We further show that the corresponding manifold weight system is given by the expected Lie algebraic construction. △ Less

Submitted 7 August, 1996; originally announced August 1996.

Comments: LaTeX2e, 15 pages with 2 figures

Report number: Queen Mary and Westfield College preprint QMW-PH-96-18

Alexander-Conway limits of many Vassiliev weight systems

Authors: A. Kricker

Abstract: Previous work has shown that certain leading orders of arbitrary Vassiliev invariants are generically in the algebra of the coefficients of the Alexander-Conway polynomial \cite{KSA}. Here we illustrate this for a large class of examples, exposing the simple logic behind several existing results in the literature \cite{FKV,BNG}. This approach facilitates an extension to a large class of Lie (sup… ▽ More Previous work has shown that certain leading orders of arbitrary Vassiliev invariants are generically in the algebra of the coefficients of the Alexander-Conway polynomial \cite{KSA}. Here we illustrate this for a large class of examples, exposing the simple logic behind several existing results in the literature \cite{FKV,BNG}. This approach facilitates an extension to a large class of Lie (super)algebras. △ Less

Submitted 3 April, 1996; v1 submitted 13 March, 1996; originally announced March 1996.

Comments: 27 pages, LaTeX2e. Some observations added and typos corrected (thanks Arkady Vaintrob)

Cabling the Vassiliev Invariants

Authors: A. Kricker, B. Spence, I. Aitchison

Abstract: We characterise the cabling operations on the weight systems of finite type knot invariants. The eigenvectors and eigenvalues of this family of operations are described over the cable eigenbasis. The action of immanent weight systems on general Feynman diagrams is considered, and the highest eigenvalue cabling eigenvectors are shown to be dual to the immanent weight systems. Using these results,… ▽ More We characterise the cabling operations on the weight systems of finite type knot invariants. The eigenvectors and eigenvalues of this family of operations are described over the cable eigenbasis. The action of immanent weight systems on general Feynman diagrams is considered, and the highest eigenvalue cabling eigenvectors are shown to be dual to the immanent weight systems. Using these results, we prove a recent conjecture of Bar-Natan and Garoufalidis on cablings of weight systems. △ Less

Submitted 4 February, 1997; v1 submitted 27 November, 1995; originally announced November 1995.

Comments: LaTeX2e, 31 pages. This version to appear in the Journal of Knot Theory and it's Ramifications

Report number: QMW-PH-95-32, UM-P-95-112