Showing 1–34 of 34 results for author: Sikora, A S

Fermat-Catalan and Tijdeman-Zagier conjectures for products

Authors: Adam S. Sikora

Abstract: We propose conjectural generalizations of the Fermat-Catalan conjecture, the Tijdeman-Zagier conjecture, and of the Fermat Last Theorem, in which powers are replaced by products of integers. We also formulate a new explicit version of the abc conjecture. We propose conjectural generalizations of the Fermat-Catalan conjecture, the Tijdeman-Zagier conjecture, and of the Fermat Last Theorem, in which powers are replaced by products of integers. We also formulate a new explicit version of the abc conjecture. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Comments: 9 pages

MSC Class: 11D41; 11D72; 11Y50

Skein modules and character varieties of Seifert manifolds

Authors: Renaud Detcherry, Efstratia Kalfagianni, Adam S. Sikora

Abstract: We show that the Kauffman bracket skein module of a closed Seifert fibered 3-manifold $M$ is finitely generated over $\mathbb Z[A^{\pm 1}]$ if and only if $M$ is irreducible and non-Haken. We analyze in detail the character varieties $X(M)$ of such manifolds and show that under mild conditions they are reduced. We compute the Kauffman bracket skein modules for these $3$-manifolds (over… ▽ More We show that the Kauffman bracket skein module of a closed Seifert fibered 3-manifold $M$ is finitely generated over $\mathbb Z[A^{\pm 1}]$ if and only if $M$ is irreducible and non-Haken. We analyze in detail the character varieties $X(M)$ of such manifolds and show that under mild conditions they are reduced. We compute the Kauffman bracket skein modules for these $3$-manifolds (over $\mathbb Q(A)$) and show that their dimensions coincide with $|X(M)|.$ △ Less

Submitted 28 May, 2024; originally announced May 2024.

Comments: 28 pages

MSC Class: 57K31; 57K16

Kauffman bracket skein modules of small 3-manifolds

Authors: Renaud Detcherry, Efstratia Kalfagianni, Adam S. Sikora

Abstract: The proof of Witten's finiteness conjecture established that the Kauffman bracket skein modules of closed $3$-manifolds are finitely generated over $\mathbb Q(A)$. In this paper, we develop a novel method for computing these skein modules. We show that if the skein module $S(M,\mathbb Q[A^{\pm 1}])$ of $M$ is tame (e.g. finitely generated over $\mathbb Q[A^{\pm 1}]$), and the… ▽ More The proof of Witten's finiteness conjecture established that the Kauffman bracket skein modules of closed $3$-manifolds are finitely generated over $\mathbb Q(A)$. In this paper, we develop a novel method for computing these skein modules. We show that if the skein module $S(M,\mathbb Q[A^{\pm 1}])$ of $M$ is tame (e.g. finitely generated over $\mathbb Q[A^{\pm 1}]$), and the $SL(2,\mathbb C)$-character variety is reduced, then the dimension $\dim_{\mathbb Q(A)}\, S(M, \mathbb Q(A))$ is the number of closed points in this character variety. This, in particular, verifies a conjecture in the literature that relates the dimension $\dim_{\mathbb Q(A)}\, S(M, \mathbb Q(A))$ to the Abouzaid-Manolescu $SL(2,\mathbb C)$-Floer theoretic invariants, for large families of 3-manifolds. We also prove a criterion for reduceness of character varieties of closed $3$-manifolds and use it to compute the skein modules of Dehn fillings of $(2,2n+1)$-torus knots and of the figure-eight knot. The later family gives the first instance of computations of skein modules for closed hyperbolic 3-manifolds. We also prove that the skein modules of rational homology spheres have dimension at least $1$ over $\mathbb Q(A)$. △ Less

Submitted 13 February, 2025; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: 44pages, 1 figure. Revisions following referee reports. To appear in Advances in Mathematics

MSC Class: 57K31; 57K16

Journal ref: Advances in Mathematics, Vol. 467, Paper No. 110169, 45, 2025

Stated SL(n)-Skein Modules and Algebras

Authors: Thang T. Q. Lê, Adam S. Sikora

Abstract: We develop a theory of stated SL(n)-skein modules, $S_n(M,N),$ of 3-manifolds $M$ marked with intervals $N$ in their boundaries. They consist of linear combinations of $n$-webs with ends in $N$, considered up to skein relations inspired by the relations of the Reshetikhin-Turaev theory. We prove that cutting $M$ along a disk resulting in a $3$-manifold $M'$ yields a homomorphism… ▽ More We develop a theory of stated SL(n)-skein modules, $S_n(M,N),$ of 3-manifolds $M$ marked with intervals $N$ in their boundaries. They consist of linear combinations of $n$-webs with ends in $N$, considered up to skein relations inspired by the relations of the Reshetikhin-Turaev theory. We prove that cutting $M$ along a disk resulting in a $3$-manifold $M'$ yields a homomorphism $S_n(M)\to S_n(M')$. That result allows to analyze the skein modules of $3$-manifolds through the skein modules of their pieces. The theory of stated skein modules is particularly rich for thickened surfaces $M=Σ\times (-1,1),$ in whose case, $S_n(M)$ is an algebra, denoted by $S_n(Σ).$ We prove that the skein algebra of the ideal bigon is $O_q(SL(n))$ and that it provides simple geometric interpretations of the product, coproduct, counit, the antipode, and the cobraided structure on $O_q(SL(n)).$ Additionally, we show that a splitting of a thickened bigon near a marking defines a $O_q(SL(n))$-comodule structure on $S_n(M),$ or dually, an $U_q(sl_n)$-module structure. Furthermore, we show that the skein algebra of surfaces $Σ_1, Σ_2$ glued along two sides of a triangle is isomorphic with the braided tensor product $S_n(Σ_1)\underline{\otimes} S_n(Σ_2)$ of Majid. These results allow for a geometric interpretation of further concepts in the theory of quantum groups, for example, of the braided products and of Majid's transmutation operation. We prove that the factorization homology of surfaces with coefficients in $Rep\, U_q(sl_n)$ is equivalent to the category of left modules over $S_n(Σ)$. We also discuss the relation with the quantum moduli spaces of Alekseev-Schomerus. Finally, we show that for surfaces $Σ$ with boundary, $S_n(Σ)$ is a free module with a basis induced from the Kashiwara-Lusztig canonical bases. △ Less

Submitted 8 June, 2024; v1 submitted 31 December, 2021; originally announced January 2022.

Comments: 85 pages, many figures

MSC Class: 57K3; 57K16; 20G42; 17B37

Adequate links in thickened surfaces and the generalized Tait conjectures

Authors: Hans U. Boden, Homayun Karimi, Adam S. Sikora

Abstract: In this paper, we apply Kauffman bracket skein algebras to develop a theory of skein adequate links in thickened surfaces. We show that any alternating link diagram on a surface is skein adequate. We apply our theory to establish the first and second Tait conjectures for adequate links in thickened surfaces. Our notion of skein adequacy is broader and more powerful than the corresponding notions o… ▽ More In this paper, we apply Kauffman bracket skein algebras to develop a theory of skein adequate links in thickened surfaces. We show that any alternating link diagram on a surface is skein adequate. We apply our theory to establish the first and second Tait conjectures for adequate links in thickened surfaces. Our notion of skein adequacy is broader and more powerful than the corresponding notions of adequacy previously considered for link diagrams in surfaces. For a link diagram $D$ on a surface $Σ$ of minimal genus $g(Σ)$, we show that $${\rm span}([D]_Σ) \leq 4c(D) + 4 |D|-4g(Σ),$$ where $[D]_Σ$ is its skein bracket, $|D|$ is the number of connected components of $D$, and $c(D)$ is the number of crossings. This extends a classical result of Kauffman, Murasugi, and Thistlethwaite. We further show that the above inequality is an equality if and only if $D$ is weakly alternating. This is a generalization of a well-known result for classical links due to Thistlethwaite. Thus the skein bracket detects the crossing number for weakly alternating links. As an application, we show that the crossing number is additive under connected sum for adequate links in thickened surfaces. △ Less

Submitted 12 January, 2022; v1 submitted 22 August, 2020; originally announced August 2020.

Comments: 27 pages, 15 figures. Includes many corrections and improvements. Section 7.3 has been completely revised

MSC Class: 57K10; 57K12; 57K14; 57K31

Journal ref: Algebr. Geom. Topol. 23 (2023) 2271-2308

Tangle Equations, the Jones conjecture, slopes of surfaces in tangle complements, and q-deformed rationals

Authors: Adam S. Sikora

Abstract: We study systems of $2$-tangle equations which play an important role in the analysis of enzyme actions on DNA strands. We show that every system of framed tangle equations has at most one framed rational solution. Furthermore, we show that the Jones Unknot conjecture implies that if a system of tangle equations has a rational solution then that solution is unique among all $2$-tangles. This res… ▽ More We study systems of $2$-tangle equations which play an important role in the analysis of enzyme actions on DNA strands. We show that every system of framed tangle equations has at most one framed rational solution. Furthermore, we show that the Jones Unknot conjecture implies that if a system of tangle equations has a rational solution then that solution is unique among all $2$-tangles. This result potentially opens a door to a purely topological disproof of the Jones Unknot conjecture. We introduce the notion of the Kauffman bracket ratio $\{T\}_q\in \mathbb Q(q)$ of any $2$-tangle $T$ and we conjecture that for $q=1$ it is the slope of meridionally incompressible surfaces in $D^3-T$. We prove that conjecture for algebraic $T$. We also prove that for rational $T$, the brackets $\{T\}_q$ coincide with the $q$-rationals of Morier-Genoud-Ovsienko. Additionally, we relate systems of tangle equations to the Cosmetic Surgery Conjecture and the Nugatory Crossing Conjecture. △ Less

Submitted 4 August, 2023; v1 submitted 17 May, 2020; originally announced May 2020.

Comments: 22 pages

MSC Class: 57M25; 57M27

Journal ref: Can. J. Math.-J. Can. Math. 76 (2024) 707-727

Verification Of The Jones Unknot Conjecture Up To 24 Crossings

Authors: Robert E. Tuzun, Adam S. Sikora

Abstract: Extending upon our previous work, we verify the Jones Unknot Conjecture for all knots up to $24$ crossings. We describe the method of our approach and analyze the growth of the computational complexity of its different components. Extending upon our previous work, we verify the Jones Unknot Conjecture for all knots up to $24$ crossings. We describe the method of our approach and analyze the growth of the computational complexity of its different components. △ Less

Submitted 23 March, 2021; v1 submitted 14 March, 2020; originally announced March 2020.

Comments: 7 pages, Journal of Knot Theory and Its Ramifications, to appear

MSC Class: 57M27

SU(3)-skein algebras and webs on surfaces

Authors: Charles Frohman, Adam S. Sikora

Abstract: The $SU_3$-skein algebra of a surface $F$ is spanned by isotopy classes of certain framed graphs in $F\times I$ called $3$-webs subject to the skein relations encapsulating relations between $U_q(sl(3))$-representations. These skein algebras are quantizations of the $SL(3)$-character varieties of surfaces. It is expected that their theory parallels that of the Kauffman bracket skein algebras. We m… ▽ More The $SU_3$-skein algebra of a surface $F$ is spanned by isotopy classes of certain framed graphs in $F\times I$ called $3$-webs subject to the skein relations encapsulating relations between $U_q(sl(3))$-representations. These skein algebras are quantizations of the $SL(3)$-character varieties of surfaces. It is expected that their theory parallels that of the Kauffman bracket skein algebras. We make the first step towards developing that theory by proving that the reduced $SU_3$-skein algebra of any surface of finite type is finitely generated. We achieve that result by developing a theory of canonical forms of webs in surfaces. Specifically, we show that for any ideal triangulation of $F$ every reduced $3$-web can be uniquely decomposed into unions of pyramid formations of hexagons and disjoint arcs in the faces of the triangulation with possible additional "crossbars" connecting their edges along the ideal triangulation. We show that such canonical position is unique up to "crossbar moves". That leads us to an associated system of coordinates for webs in triangulated surfaces (counting intersections of the web with the edges of the triangulation and their rotation numbers inside of the faces of the triangulation) which determine a reduced web uniquely. Finally, we relate our skein algebras to $\cal A$-varieties of Fock-Goncharov and to $\text{Loc}_{SL(3)}$-varieties of Goncharov-Shen. We believe that our coordinate system for webs is a manifestation of a (quantum) mirror symmetry conjectured by Goncharov-Shen. △ Less

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

Comments: Math. Z. to appear, 2nd version updated by a discussion of a relation of this work to Fock-Goncharov-Shen theory and by references to preprints which appeared since the original submission. 32 pages

MSC Class: 57K31

Verification Of The Jones Unknot Conjecture Up To 23 Crossings

Authors: Robert E. Tuzun, Adam S. Sikora

Abstract: The Jones unknot conjecture states that the Jones polynomial distinguishes the unknot from nontrivial knots. We prove it for knots up to 23 crossings. The Jones unknot conjecture states that the Jones polynomial distinguishes the unknot from nontrivial knots. We prove it for knots up to 23 crossings. △ Less

Submitted 6 September, 2018; originally announced September 2018.

Comments: 2 pages

Verification Of The Jones Unknot Conjecture Up To 22 Crossings

Authors: Robert E. Tuzun, Adam S. Sikora

Abstract: We proved by computer enumeration that the Jones polynomial distinguishes the unknot for knots up to 22 crossings. Following an approach of Yamada, we generated knot diagrams by inserting algebraic tangles into Conway polyhedra, computed their Jones polynomials by a divide-and-conquer method, and tested those with trivial Jones polynomials for unknottedness with the computer program SnapPy. We emp… ▽ More We proved by computer enumeration that the Jones polynomial distinguishes the unknot for knots up to 22 crossings. Following an approach of Yamada, we generated knot diagrams by inserting algebraic tangles into Conway polyhedra, computed their Jones polynomials by a divide-and-conquer method, and tested those with trivial Jones polynomials for unknottedness with the computer program SnapPy. We employed numerous novel strategies for reducing the computation time per knot diagram and the number of knot diagrams to be considered. That made computations up to 21 crossings possible on a single processor desktop computer. We explain these strategies in this paper. We also provide total numbers of algebraic tangles up to 18 crossings and of Conway polyhedra up to 22 vertices. We encountered new unknot diagrams with no crossing-reducing pass moves in our search. We report one such diagram in this paper. △ Less

Submitted 4 April, 2020; v1 submitted 21 June, 2016; originally announced June 2016.

Comments: 19 pages, Journal of Knot Theory and Its Ramifications, (2018) 27, 1840009

MSC Class: 57M25; 57M27

Varieties of Characters

Authors: Sean Lawton, Adam S. Sikora

Abstract: Let G be a connected reductive affine algebraic group. In this short note we define the "variety of G-characters" of a finitely generated group F and show that the quotient of the G-character variety of F by the action of the trace preserving outer automorphisms of G normalizes the variety of G-characters when F is a free group, free abelian group, or a surface group. Let G be a connected reductive affine algebraic group. In this short note we define the "variety of G-characters" of a finitely generated group F and show that the quotient of the G-character variety of F by the action of the trace preserving outer automorphisms of G normalizes the variety of G-characters when F is a free group, free abelian group, or a surface group. △ Less

Submitted 16 July, 2019; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 12 pages, this version fixes a small error in the published version

MSC Class: 14D20; 14L30; 20C15

Journal ref: Algebr Represent Theor (2017)

Skein algebras of surfaces

Authors: Jozef H. Przytycki, Adam S. Sikora

Abstract: We show that the Kauffman bracket skein algebra of any oriented surface F (possibly with marked points in its boundary) has no zero divisors and that its center is generated by knots parallel to the unmarked components of the boundary of F. Furthermore, we show that skein algebras are Noetherian and Ore. Our proofs rely on certain filtrations of skein algebras induced by pants decompositions of su… ▽ More We show that the Kauffman bracket skein algebra of any oriented surface F (possibly with marked points in its boundary) has no zero divisors and that its center is generated by knots parallel to the unmarked components of the boundary of F. Furthermore, we show that skein algebras are Noetherian and Ore. Our proofs rely on certain filtrations of skein algebras induced by pants decompositions of surfaces. We prove some basic algebraic properties of the associated graded algebras along the way. △ Less

Submitted 5 June, 2017; v1 submitted 24 February, 2016; originally announced February 2016.

Comments: 26 pages, several figures, to appear in Transactions of AMS

MSC Class: 57M

SO(2n,C)-character varieties are not varieties of characters

Authors: Adam S. Sikora

Abstract: We prove that the coordinate rings of SO(2n,C)-character varieties are not generated by trace functions nor generalized trace functions for $n\geq 2$ and all groups Gamma of corank $\geq 2.$ Furthermore, we give examples of non-conjugate completely reducible representations undistinguishable by generalized trace functions. Hence, SO(2n,C)-character varieties are not varieties of characters. Howeve… ▽ More We prove that the coordinate rings of SO(2n,C)-character varieties are not generated by trace functions nor generalized trace functions for $n\geq 2$ and all groups Gamma of corank $\geq 2.$ Furthermore, we give examples of non-conjugate completely reducible representations undistinguishable by generalized trace functions. Hence, SO(2n,C)-character varieties are not varieties of characters. However, we also prove that any generic SO(2n,C)-representation of a free group can be distinguished from all non-equivalent representations by trace functions and by a single generalized trace function. △ Less

Submitted 26 May, 2015; v1 submitted 28 March, 2015; originally announced March 2015.

Comments: 17 pages

MSC Class: 14D20; 20C15; 13A50; 14L24

G-Character varieties for G=SO(n,C) and other not simply connected groups

Authors: Adam S. Sikora

Abstract: We describe the relation between G-character varieties, $X_G(Γ)$, and $G/H$-character varieties, where $H$ is a finite, central subgroup of $G.$ In particular, we find finite generating sets of coordinate rings $C[X_{G/H}(Γ)]$ for classical groups $G$ and $H$ as above. Using this approach we find an explicit description of $C[X_{SO(4,C)}(F_2)]$ for the free group on two generators, $F_2.$ In the… ▽ More We describe the relation between G-character varieties, $X_G(Γ)$, and $G/H$-character varieties, where $H$ is a finite, central subgroup of $G.$ In particular, we find finite generating sets of coordinate rings $C[X_{G/H}(Γ)]$ for classical groups $G$ and $H$ as above. Using this approach we find an explicit description of $C[X_{SO(4,C)}(F_2)]$ for the free group on two generators, $F_2.$ In the second part of the paper, we prove several properties of SO(2n,C)-character varieties. This is a particularly interesting class of character varieties because unlike for all other classical groups G, the coordinate rings $C[X_{G}(Γ)]$ are generally not generated by trace functions $τ_γ$, for $γ\in Γ$, for G=SO(2n,C). In fact, we prove that the coordinate ring $C[X_{SO(2n,C)}(Γ)]$ is not even generated by "generalized trace functions," $τ_{γ,V},$ for all $γ\in Γ$ and all representations $V$ of $SO(2n,C)$ for $n=2$ and groups $Γ$ of corank $\geq 2$. △ Less

Submitted 31 March, 2015; v1 submitted 28 March, 2013; originally announced March 2013.

Comments: 15 pages

MSC Class: 14D20; 14L30; 20C15; 13A50; 14L24

Journal ref: Journal of Algebra, Volume 429, 1 May 2015, Pages 324-341

Character Varieties of Abelian Groups

Authors: Adam S. Sikora

Abstract: We prove that for every reductive group G with a maximal torus T and the Weyl group W there is a natural normalization map chi from T^N/W to an irreducible component of the G-character variety of Z^N. We prove that chi is an isomorphism for all classical groups. Additionally, we prove that even though there are no irreducible representations in the above mentioned irreducible component of the ch… ▽ More We prove that for every reductive group G with a maximal torus T and the Weyl group W there is a natural normalization map chi from T^N/W to an irreducible component of the G-character variety of Z^N. We prove that chi is an isomorphism for all classical groups. Additionally, we prove that even though there are no irreducible representations in the above mentioned irreducible component of the character variety for non-abelian G, the tangent spaces to it coincide with H^1(Z^N, Ad rho). Consequently, this irreducible component has the "Goldman" symplectic form for N=2, for which the combinatorial formulas for Goldman bracket hold. △ Less

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

Comments: to appear in Math. Z., 18 pages, 1 figure

MSC Class: 14D20; 14L30; 20G20; 20C15

Journal ref: Mathematische Zeitschrift, vol. 277, Issue 1-2, 2014, 241--256

Generating sets for coordinate rings of character varieties

Authors: Adam S. Sikora

Abstract: We find finite, reasonably small, generator sets of the coordinate rings of G-character varieties of finitely generated groups for all classical groups G. This result together with the method of Grobner basis gives an algorithm for describing character varieties by explicit polynomial equations. Additionally, we describe finite sets of generators of the fields of rational functions on G-characte… ▽ More We find finite, reasonably small, generator sets of the coordinate rings of G-character varieties of finitely generated groups for all classical groups G. This result together with the method of Grobner basis gives an algorithm for describing character varieties by explicit polynomial equations. Additionally, we describe finite sets of generators of the fields of rational functions on G-character varieties for all exceptional algebraic groups G. △ Less

Submitted 4 April, 2013; v1 submitted 23 June, 2011; originally announced June 2011.

Comments: to appear in Journal of Pure and Applied Algebra, 18 pages, no figures

MSC Class: 14D20; 14L30; 20C15

Journal ref: Journal of Pure and Applied Algebra, 217(11), (2013), 2076--2087

Distributive Products and Their Homology

Authors: Jozef H. Przytycki, Adam S. Sikora

Abstract: We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack and quandle homology. We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack and quandle homology. △ Less

Submitted 15 October, 2012; v1 submitted 18 May, 2011; originally announced May 2011.

Comments: 9 pages, minor corrections introduced. To appear in Communications in Algebra

MSC Class: 18G60; 55N35; 06D75; 57M27

Journal ref: Communications in Algebra, 42 , no 3, (2014), 1258--1269

Character Varieties

Authors: Adam S. Sikora

Abstract: We study properties of irreducible and completely reducible representations of finitely generated groups Gamma into reductive algebraic groups G in in the context of the geometric invariant theory of the G-action on Hom(Gamma,G) by conjugation. In particular, we study properties of character varieties, X_G(Gamma)=Hom(Gamma,G)//G. We describe the tangent spaces to X_G(Gamma) in terms of first coh… ▽ More We study properties of irreducible and completely reducible representations of finitely generated groups Gamma into reductive algebraic groups G in in the context of the geometric invariant theory of the G-action on Hom(Gamma,G) by conjugation. In particular, we study properties of character varieties, X_G(Gamma)=Hom(Gamma,G)//G. We describe the tangent spaces to X_G(Gamma) in terms of first cohomology groups of Gamma with twisted coefficients, generalizing the well known formula. Let M be an orientable 3-manifold with a connected boundary F of genus > 1 and let X_G^g(F) be the subset of the G -character variety of F composed of conjugacy classes of good representations. By a theorem of Goldman, X_G^g(F) is a holomorphic symplectic manifold. We prove that the set of good G-representations of pi_1(F) which extend to representations of pi_1(M) is an isotropic submanifold of X_G^g(F). If these representations correspond to reduced points of the G-character variety of M then this submanifold is Lagrangian. △ Less

Submitted 25 August, 2010; v1 submitted 15 February, 2009; originally announced February 2009.

Comments: 34 pages, to appear in Transactions of AMS

MSC Class: 14D20; 14L24; 57M50; 57M27

Journal ref: Trans. of AMS 364 (2012) 5173--5208

Quantizations of Character Varieties and Quantum Knot Invariants

Authors: Adam S. Sikora

Abstract: Let G be a simple complex algebraic group and g its Lie algebra. We show that the g-Witten-Reshetikhin-Turaev quantum invariants determine a deformation-quantization, C_q[X_G(torus)], of the coordinate ring of the G-character variety of the torus. We prove that this deformation is in the direction of the Goldman's bracket. Furthermore, we show that every knot K defines an ideal I_K in C_q[X_G(to… ▽ More Let G be a simple complex algebraic group and g its Lie algebra. We show that the g-Witten-Reshetikhin-Turaev quantum invariants determine a deformation-quantization, C_q[X_G(torus)], of the coordinate ring of the G-character variety of the torus. We prove that this deformation is in the direction of the Goldman's bracket. Furthermore, we show that every knot K defines an ideal I_K in C_q[X_G(torus)]. We conjecture that the homomorphism C_q[X_G(torus)] -> C[X_G(torus)], q -> 1, maps I_K to the ideal whose radical is the kernel of the map C[X_G(torus)] -> C[X_G(S^3 K)]. This conjecture is related to AJ-conjecture for sl(2,\C). The results of this paper are inspired by the theory of q-holonomic relations between quantum invariants of Garoufalidis and Le. Along the way, we disprove Conjecture 2 in Le's "The Colored Jones and the A-polynomial of Two-Bridge knots". △ Less

Submitted 18 July, 2008; v1 submitted 7 July, 2008; originally announced July 2008.

Comments: 17 pages, 1 picture

MSC Class: 57M27; 53D55; 46L65

Confluence Theory for Graphs

Authors: Adam S. Sikora, Bruce W. Westbury

Abstract: We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie algebra of rank at most 2, gives rise to a confluent system of reduction rules of graphs (via Kuperberg's spiders) in an arbitrary surface. As a further conseq… ▽ More We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie algebra of rank at most 2, gives rise to a confluent system of reduction rules of graphs (via Kuperberg's spiders) in an arbitrary surface. As a further consequence of this result, we find canonical bases of SU_3-skein modules of cylinders over orientable surfaces. △ Less

Submitted 29 September, 2006; originally announced September 2006.

Comments: 34 pages, 218 figures

MSC Class: 57M15; 57M27; 05C10; 16S15

Journal ref: Algebr. Geom. Topol. 7 (2007) 439-478

A categorification of the skein module of tangles

Authors: Marta M. Asaeda, Jozef H. Przytycki, Adam S. Sikora

Abstract: We generalize our previous work on categorification of Kauffman bracket skein module of surfaces, by extending our homology to tangles in cylinders over surfaces, F x [0,1]. Our homology of 0-tangles and 1-tangles in D^3 coincides (up to normalization) with Khovanov link homology and the reduced Khovanov link homology. We prove the basic properties of our homology. In particular, the short exa… ▽ More We generalize our previous work on categorification of Kauffman bracket skein module of surfaces, by extending our homology to tangles in cylinders over surfaces, F x [0,1]. Our homology of 0-tangles and 1-tangles in D^3 coincides (up to normalization) with Khovanov link homology and the reduced Khovanov link homology. We prove the basic properties of our homology. In particular, the short exact sequence of homologies of skein related tangles and the Kunneth formula for the tensor product of tangles. △ Less

Submitted 2 March, 2006; v1 submitted 9 October, 2004; originally announced October 2004.

Comments: 9 pages, 14 figures

MSC Class: 57M27

Journal ref: Contemporary Mathematics 416, 2006, 1--8

Categorification of the Kauffman bracket skein module of I-bundles over surfaces

Authors: Marta M. Asaeda, Jozef H. Przytycki, Adam S. Sikora

Abstract: Khovanov defined graded homology groups for links L in R^3 and showed that their polynomial Euler characteristic is the Jones polynomial of L. Khovanov's construction does not extend in a straightforward way to links in I-bundles M over surfaces F not D^2 (except for the homology with Z/2 coefficients only). Hence, the goal of this paper is to provide a nontrivial generalization of his method le… ▽ More Khovanov defined graded homology groups for links L in R^3 and showed that their polynomial Euler characteristic is the Jones polynomial of L. Khovanov's construction does not extend in a straightforward way to links in I-bundles M over surfaces F not D^2 (except for the homology with Z/2 coefficients only). Hence, the goal of this paper is to provide a nontrivial generalization of his method leading to homology invariants of links in M with arbitrary rings of coefficients. After proving the invariance of our homology groups under Reidemeister moves, we show that the polynomial Euler characteristics of our homology groups of L determine the coefficients of L in the standard basis of the skein module of M. Therefore, our homology groups provide a `categorification' of the Kauffman bracket skein module of M. Additionally, we prove a generalization of Viro's exact sequence for our homology groups. Finally, we show a duality theorem relating cohomology groups of any link L to the homology groups of the mirror image of L. △ Less

Submitted 29 December, 2004; v1 submitted 21 September, 2004; originally announced September 2004.

Comments: Version 2 was obtained by merging math.QA/0403527 (now removed) with Version 1. This version is published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-52.abs.html

MSC Class: 57M27; 57M25; 57R56

Journal ref: Algebr. Geom. Topol. 4 (2004) 1177-1210

Skein theory for SU(n)-quantum invariants

Authors: Adam S. Sikora

Abstract: For any n>1 we define an isotopy invariant, <Gamma>_n, for a certain set of n-valent ribbon graphs Gamma in R^3, including all framed oriented links. We show that our bracket coincides with the Kauffman bracket for n=2 and with the Kuperberg's bracket for n=3. Furthermore, we prove that for any n, our bracket of a link L is equal, up to normalization, to the SU_n-quantum invariant of L. We show… ▽ More For any n>1 we define an isotopy invariant, <Gamma>_n, for a certain set of n-valent ribbon graphs Gamma in R^3, including all framed oriented links. We show that our bracket coincides with the Kauffman bracket for n=2 and with the Kuperberg's bracket for n=3. Furthermore, we prove that for any n, our bracket of a link L is equal, up to normalization, to the SU_n-quantum invariant of L. We show a number of properties of our bracket extending those of the Kauffman's and Kuperberg's brackets, and we relate it to the bracket of Murakami-Ohtsuki-Yamada. Finally, on the basis of the skein relations satisfied by <.>_n, we define the SU_n-skein module of any 3-manifold M and we prove that it determines the SL_n-character variety of pi_1(M). △ Less

Submitted 23 October, 2005; v1 submitted 16 July, 2004; originally announced July 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-36.abs

MSC Class: 57M27; 17B37

Journal ref: Algebr. Geom. Topol. 5 (2005) 865-897

Khovanov homology of links in I-bundles over surfaces

Authors: Marta M. Asaeda, Jozef H. Przytycki, Adam S. Sikora

Abstract: The papers math.QA/0403527 and math.QA/0409414 v.1 are now merged together. The final version is available at math.QA/0409414 v.2. To avoid duplication of papers, math.QA/0403527 is now removed. The papers math.QA/0403527 and math.QA/0409414 v.1 are now merged together. The final version is available at math.QA/0409414 v.2. To avoid duplication of papers, math.QA/0403527 is now removed. △ Less

Submitted 28 December, 2004; v1 submitted 30 March, 2004; originally announced March 2004.

Comments: The papers math.QA/0403527 and math.QA/0409414 v.1 are now merged together. The final version is available at math.QA/0409414 v.2. To avoid duplication of papers, math.QA/0403527 is removed

MSC Class: 57M27

Kauffman-Harary conjecture holds for Montesinos Knots

Authors: Marta M. Asaeda, Jozef H. Przytycki, Adam S. Sikora

Abstract: The Kauffman-Harary conjecture states that for any reduced alternating diagram K of a knot with a prime determinant p, every non-trivial Fox p-coloring of K assigns different colors to its arcs. We generalize the conjecture by stating it in terms of homology of the double cover of S^3 branched along a link. In this way we extend the scope of the conjecture to all prime alternating links of arbi… ▽ More The Kauffman-Harary conjecture states that for any reduced alternating diagram K of a knot with a prime determinant p, every non-trivial Fox p-coloring of K assigns different colors to its arcs. We generalize the conjecture by stating it in terms of homology of the double cover of S^3 branched along a link. In this way we extend the scope of the conjecture to all prime alternating links of arbitrary determinants. We first prove the Kauffman-Harary conjecture for pretzel knots and then we generalize our argument to show the generalized Kauffman-Harary conjecture for all Montesinos links. Finally, we speculate on the relation between the conjecture and Menasco's work on incompressible surfaces in exteriors of alternating links. △ Less

Submitted 29 May, 2003; originally announced May 2003.

Comments: to appear in Journal of Knot Theory and Ramifications, 11 pages, 10 figures

MSC Class: 57M25; 57M27

Journal ref: J. Knot Theory Ramifications, 13(4) (2004) 467--477

Torus and Z/p actions on manifolds

Authors: Adam S. Sikora

Abstract: Let G be either a finite cyclic group of prime order or S^1. We find new relations between cohomology of a manifold (or a Poincare duality space) M with a G-action on it and cohomology of the fixed point set, M^G. Our main tool is the notion of Poincare duality on the Leray spectral sequence of the map M_G -> BG. We apply our results to study group actions on 3-manifolds. Let G be either a finite cyclic group of prime order or S^1. We find new relations between cohomology of a manifold (or a Poincare duality space) M with a G-action on it and cohomology of the fixed point set, M^G. Our main tool is the notion of Poincare duality on the Leray spectral sequence of the map M_G -> BG. We apply our results to study group actions on 3-manifolds. △ Less

Submitted 29 September, 2003; v1 submitted 1 May, 2002; originally announced May 2002.

Comments: To appear in Topology, 25 pages

MSC Class: 57S10; 55T10; 57P10; 55N91; 57M60

Journal ref: Topology 42 (2003) 395--421

Cut numbers of 3-manifolds

Authors: Adam S. Sikora

Abstract: The cut number of a manifold M, c(M), is the largest number of disjoint two-sided hypersurfaces in M which do not separate M. Equivalently, it is the largest rank of a free group being an epimorphic image of pi_1(M). We investigate the relations between the cut number and the first Betti number, b_1(M), of 3-manifolds M. We prove that the cut number of a ``generic'' 3-manifold is at most 2. This… ▽ More The cut number of a manifold M, c(M), is the largest number of disjoint two-sided hypersurfaces in M which do not separate M. Equivalently, it is the largest rank of a free group being an epimorphic image of pi_1(M). We investigate the relations between the cut number and the first Betti number, b_1(M), of 3-manifolds M. We prove that the cut number of a ``generic'' 3-manifold is at most 2. This is a rather unexpected result since it is very hard to construct specific examples of 3-manifolds with with large b_1(M) and small c(M). On the other hand, we prove that for any complex semisimple Lie algebra g there exists a 3-manifold M with b_1(M)=dim g and c(M)<=rank g. Such manifolds can be explicitly constructed. △ Less

Submitted 18 September, 2003; v1 submitted 11 December, 2001; originally announced December 2001.

Comments: 15 pages, no figures, to appear in Trans. of AMS

MSC Class: 57M05; 57M27; 20F34; 11E76

Journal ref: Trans. Amer. Math. Soc. 357 (2005) no. 5, 2007--2020

Topology on the spaces of orderings of groups

Authors: Adam S. Sikora

Abstract: A natural topology on the space of left orderings of an arbitrary semi-group is introduced. It is proved that this space is compact and that for free abelian groups it is homeomorphic to the Cantor set. An application of this result is a new proof of the existence of universal Grobner bases. A natural topology on the space of left orderings of an arbitrary semi-group is introduced. It is proved that this space is compact and that for free abelian groups it is homeomorphic to the Cantor set. An application of this result is a new proof of the existence of universal Grobner bases. △ Less

Submitted 29 September, 2003; v1 submitted 31 October, 2001; originally announced November 2001.

Comments: 9 pages, corrections introduced, to appear in Bulletin of London Mathematical Society

MSC Class: 06F05; 06F15; 13P10

Journal ref: Bull. London Math. Soc. 36 (2004) 519--526

Analogies between group actions on 3-manifolds and number fields

Authors: Adam S. Sikora

Abstract: Mazur, Kapranov, Reznikov, and others developed ``Arithmetic Topology,'' a theory describing some surprising analogies between 3-dimensional topology and number theory, which can be summarized by saying that knots are like prime numbers. We extend their work by proving several formulas concerning branched coverings of 3-manifolds and extensions of number fields and observe that these formulas ar… ▽ More Mazur, Kapranov, Reznikov, and others developed ``Arithmetic Topology,'' a theory describing some surprising analogies between 3-dimensional topology and number theory, which can be summarized by saying that knots are like prime numbers. We extend their work by proving several formulas concerning branched coverings of 3-manifolds and extensions of number fields and observe that these formulas are almost identical, via the dictionary of arithmetic topology. Until now there is no satisfactory explanation for the coincidences between our formulas. The proofs of topological results use equivariant cohomology and the Leray-Serre spectral sequence. The number theoretic proofs are based on an approach to class field theory via idele groups. △ Less

Submitted 7 June, 2003; v1 submitted 29 July, 2001; originally announced July 2001.

Comments: 21 pages, an extended version of a paper to appear in Comm. Math. Helv

MSC Class: 57M12; 57M25; 57M60; 57S17; 11R29; 11R34; 11R37

Journal ref: Comm. Math. Helv 78 (2003), no. 4, 832--844

Skein modules at the 4th roots of unity

Authors: Adam S. Sikora

Abstract: The Kauffman bracket skein modules, S(M,A), have been calculated for A=+1,-1, for all 3-manifolds M by relating them to the SL(2,C)-character varieties. We extend this description to the case when A is a 4-th root of 1 and M is either a surface x [0,1] or a rational homology sphere (or its submanifold). The Kauffman bracket skein modules, S(M,A), have been calculated for A=+1,-1, for all 3-manifolds M by relating them to the SL(2,C)-character varieties. We extend this description to the case when A is a 4-th root of 1 and M is either a surface x [0,1] or a rational homology sphere (or its submanifold). △ Less

Submitted 30 August, 2001; v1 submitted 20 November, 2000; originally announced November 2000.

Comments: 19 pages, 23 eps figures, to appear in Journal of Knot Theory and Its Ramifications. Corrections introduced

MSC Class: 57M27

Journal ref: J. of Knot Theory and Its Ramifications, 13 (2004) 571--585

Topological Insights from the Chinese Rings

Authors: Jozef H. Przytycki, Adam S. Sikora

Abstract: L. Kauffman conjectured that a particular solution of the Chinese Rings puzzle is the simplest possible. We prove his conjecture by using low-dimensional topology and group theory. We notice also a surprising connection between the Chinese Rings and Habiro moves (related to Vassiliev invariants). L. Kauffman conjectured that a particular solution of the Chinese Rings puzzle is the simplest possible. We prove his conjecture by using low-dimensional topology and group theory. We notice also a surprising connection between the Chinese Rings and Habiro moves (related to Vassiliev invariants). △ Less

Submitted 31 October, 2001; v1 submitted 21 July, 2000; originally announced July 2000.

Comments: 13 pages, 12 figures, to appear in Proc. of AMS

MSC Class: 57M25; 05C10; 57M27

Journal ref: Proc. Amer. Math. Soc., 130 (2002), no. 3, 893--902

Polygon dissections and Euler, Fuss, Kirkman and Cayley numbers

Authors: Jozef H. Przytycki, Adam S. Sikora

Abstract: We give a short proof for a formula for the number of divisions of a convex (sn+2)-gon along non-crossing diagonals into (sj+2)-gons, where 1<=j<=n-1. In other words, we consider dissections of an (sn+2)-gon into pieces which can be further subdivided into (s+2)-gons. This formula generalizes the formulas for classical numbers of polygon dissections: Euler-Catalan number, Fuss number and Kirkman… ▽ More We give a short proof for a formula for the number of divisions of a convex (sn+2)-gon along non-crossing diagonals into (sj+2)-gons, where 1<=j<=n-1. In other words, we consider dissections of an (sn+2)-gon into pieces which can be further subdivided into (s+2)-gons. This formula generalizes the formulas for classical numbers of polygon dissections: Euler-Catalan number, Fuss number and Kirkman-Cayley number. Our proof is elementary and does not use the method of generating functions. △ Less

Submitted 12 November, 1998; originally announced November 1998.

Comments: 9 pages, 4 figures

MSC Class: 05A

Sl_n-character varieties as spaces of graphs

Authors: Adam S. Sikora

Abstract: An SL_n-character of a group G is the trace of an SL_n-representation of G. We show that all algebraic relations between SL_n-characters of G can be visualized as relations between graphs (resembling Feynman diagrams) in any topological space X, with pi_1(X)=G. We also show that all such relations are implied by a single local relation between graphs. In this way, we provide a topological approa… ▽ More An SL_n-character of a group G is the trace of an SL_n-representation of G. We show that all algebraic relations between SL_n-characters of G can be visualized as relations between graphs (resembling Feynman diagrams) in any topological space X, with pi_1(X)=G. We also show that all such relations are implied by a single local relation between graphs. In this way, we provide a topological approach to the study of SL_n-representations of groups. The motivation for this paper was our work with J. Przytycki on invariants of links in 3-manifolds which are based on the Kauffman bracket skein relation. These invariants lead to a notion of a skein module of M which, by a theorem of Bullock, Przytycki, and the author, is a deformation of the SL_2-character variety of pi_1(M). This paper provides a generalization of this result to all SL_n-character varieties. △ Less

Submitted 4 February, 2001; v1 submitted 3 June, 1998; originally announced June 1998.

Comments: This is a new version of my earlier paper "A geometric method in the theory of SL_n-representations of groups" which mentions connections between my work and spin networks and number theory (Fermat's Last Theorem). To appear in Trans. of AMS. 43 pages, 29 figures

On Skein Algebras And Sl_2(C)-Character Varieties

Authors: Jozef H. Przytycki, Adam S. Sikora

Abstract: This paper gives insight into intriguing connections between two apparently unrelated theories: the theory of skein modules of 3-manifolds and the theory of representations of groups into special linear groups of 2 by 2 matrices. Let R be a ring with an invertible element A. For any 3-manifold M one can assign an R-module called the Kauffman bracket skein module of M. If A^2=1 then this module… ▽ More This paper gives insight into intriguing connections between two apparently unrelated theories: the theory of skein modules of 3-manifolds and the theory of representations of groups into special linear groups of 2 by 2 matrices. Let R be a ring with an invertible element A. For any 3-manifold M one can assign an R-module called the Kauffman bracket skein module of M. If A^2=1 then this module has a structure of an R-algebra. We investigate this structure and, in particular, we prove that if R is the field of complex numbers then this algebra is isomorphic to the (unreduced) coordinate ring of the SL_2-character variety of pi_1(M). Using that result we develop a theory of Sl_2-character varieties by use of topological methods. We also assign to any surface a relative Kauffman bracket skein algebra. We prove several results about this non-commutative algebra. Our work should be considered in the context of the book of Brumfiel and Hilden `SL(2) Representations of Finitely Presented Groups,' Cont. Math 187. In particular we give a topological interpretation to algebraic objects considered in that book. △ Less

Submitted 31 May, 1998; v1 submitted 15 May, 1997; originally announced May 1997.

Comments: 47 pages, Latex, 34 figures, to appear in Topology