In fact, Thang has recently proved a weak form of this.

We defined the peripheral ideal to be the extension to the noncommutative torus of the kernel of the inclusion map of skein algebra of the torus into the skein module of the complement of the knot. Via an identification of the skein algebra of the torus with the symmetric part of the noncommutative torus the ideal corresponds to the ideal of the imageof the $SL_2\mathbb{C}$-characters of the knot group in the characters of $\mathbb{Z}\times \mathbb{Z}$. We found a way of seeing the colored Jones polynomial of the knot as lying in the dual to the $SL_2\mathbb{C}$-characters of the knot group, and we found thatthe colored Jones polynomial is in the annihilator of the peripheral ideal.

Thang and Stavros stepped back from the picture, and found a formal connection between the Jones polynomial and the noncommutative torus, and then just defined their ideal to be the annihilator of the Jones polynomial. Using formal properties of the $R$-matrix they were able to give an axiomatic proof that their ideal was nontrivial.

The conjecture is about the relation between the formal definition of quantum invariantsand their concrete realization. The Kauffman bracket skein module of a knot complement is a deformation quantization of the unreduced scheme of the $SL_2\mathbb{C}$-characters of its fundamental group. The conjecture that the peripheral ideal is nontrivial is motivated by this idea, and the fact that the $SL_2\mathbb{C}$-character variety of a nontrivial knot, is nontrivial, meaning the $A$-ideal is nontrivial. This should mean that the peripheral ideal is nontrivial.

The orthogonality between the peripheral ideal and the colored Jones polynomial should lead to data about the $SL_2\mathbb{C}$-character variety of the knot being expressed in the aggregate behavior of the colored Jones polynomial of the knot.

1

There is a gap in the proof that the peripheral ideal is nontrivial in that paper.

Thang Le and Stavros came up with a more algebraic way of definining a closely related ideal that they could prove was nontrivial.

I think its a great problem. A good starting point might be to prove it for Torus knots. There is a recent paper of Julien Marche that computes the Kauffman bracket skein module of all torus knots, but stop short of understanding the module structure over the skein module of the torus. You might start there.

I am willing to conjecture that the peripheral ideal is always nontrivial for any link.