BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Adam S. Sikora

Adam S. Sikora contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GTmath.QAmath.RTmath.ATmath.AGmath.ACmath.GNmath.GRmath.NTmath.RAmath.SG

Trust snapshot

Quick read

Trust 21 - Emerging
18works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2020arXiv

Verification Of The Jones Unknot Conjecture Up To 22 Crossings

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Character Varieties of Abelian Groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Generating sets for coordinate rings of character varieties

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Character Varieties

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.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

A categorification of the skein module of tangles

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.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Confluence Theory for Graphs

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.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Skein theory for SU(n)-quantum invariants

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&#39;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&#39;s and Kuperberg&#39;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).

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

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

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&#39;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&#39; of the Kauffman bracket skein module of M. Additionally, we prove a generalization of Viro&#39;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.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Analogies between group actions on 3-manifolds and number fields

Mazur, Kapranov, Reznikov, and others developed ``Arithmetic Topology,&#39;&#39; 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.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Cut numbers of 3-manifolds

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&#39;&#39; 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.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Kauffman-Harary conjecture holds for Montesinos Knots

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&#39;s work on incompressible surfaces in exteriors of alternating links.

0 citations0 reviewsNo code linkedOpen access