Conjecture in knot theory relating quantum invariants and hyperbolic geometry
In the branch of mathematics called knot theory , the volume conjecture is an open problem that relates quantum invariants of knots to the hyperbolic geometry of their complements .
Statement
Let O denote the unknot . For any knot
K
{\displaystyle K}
, let
⟨
K
⟩
N
{\displaystyle \langle K\rangle _{N}}
be the Kashaev invariant of
K
{\displaystyle K}
, which may be defined as
⟨
K
⟩
N
=
lim
q
→
e
2
π
i
/
N
J
K
,
N
(
q
)
J
O
,
N
(
q
)
{\displaystyle \langle K\rangle _{N}=\lim _{q\to e^{2\pi i/N}}{\frac {J_{K,N}(q)}{J_{O,N}(q)}}}
,
where
J
K
,
N
(
q
)
{\displaystyle J_{K,N}(q)}
is the
N
{\displaystyle N}
-Colored Jones polynomial of
K
{\displaystyle K}
. The volume conjecture states that
lim
N
→
∞
2
π
log
|
⟨
K
⟩
N
|
N
=
vol
(
S
3
∖
K
)
{\displaystyle \lim _{N\to \infty }{\frac {2\pi \log |\langle K\rangle _{N}|}{N}}=\operatorname {vol} (S^{3}\backslash K)}
,
where
vol
(
S
3
∖
K
)
{\displaystyle \operatorname {vol} (S^{3}\backslash K)}
is the simplicial volume of the complement of
K
{\displaystyle K}
in the 3-sphere , defined as follows. By the JSJ decomposition , the complement
S
3
∖
K
{\displaystyle S^{3}\backslash K}
may be uniquely decomposed into a system of tori
S
3
∖
K
=
(
⨆
i
H
i
)
⊔
(
⨆
j
E
j
)
{\displaystyle S^{3}\backslash K=\left(\bigsqcup _{i}H_{i}\right)\sqcup \left(\bigsqcup _{j}E_{j}\right)}
with
H
i
{\displaystyle H_{i}}
hyperbolic and
E
j
{\displaystyle E_{j}}
Seifert-fibered . The simplicial volume
vol
(
S
3
∖
K
)
{\displaystyle \operatorname {vol} (S^{3}\backslash K)}
is then defined as the sum
vol
(
S
3
∖
K
)
=
∑
i
vol
(
H
i
)
{\displaystyle \operatorname {vol} (S^{3}\backslash K)=\sum _{i}\operatorname {vol} (H_{i})}
,
where
vol
(
H
i
)
{\displaystyle \operatorname {vol} (H_{i})}
is the hyperbolic volume of the hyperbolic manifold
H
i
{\displaystyle H_{i}}
.
As a special case, if
K
{\displaystyle K}
is a hyperbolic knot , then the JSJ decomposition simply reads
S
3
∖
K
=
H
1
{\displaystyle S^{3}\backslash K=H_{1}}
, and by definition the simplicial volume
vol
(
S
3
∖
K
)
{\displaystyle \operatorname {vol} (S^{3}\backslash K)}
agrees with the hyperbolic volume
vol
(
H
1
)
{\displaystyle \operatorname {vol} (H_{1})}
.
History
The Kashaev invariant was first introduced by Rinat M. Kashaev in 1994 and 1995 for hyperbolic links as a state sum using the theory of quantum dilogarithms .[ 2] [ 3] Kashaev stated the formula of the volume conjecture in the case of hyperbolic knots in 1997.[ 4]
Murakami & Murakami (2001) pointed out that the Kashaev invariant is related to the colored Jones polynomial by replacing the variable
q
{\displaystyle q}
with the root of unity
e
i
π
/
N
{\displaystyle e^{i\pi /N}}
. They used an R-matrix as the discrete Fourier transform for the equivalence of these two descriptions. This paper was the first to state the volume conjecture in its modern form using the simplicial volume. They also prove that the volume conjecture implies the following conjecture of Victor Vasiliev :
If all Vassiliev invariants of a knot agree with those of the unknot, then the knot is the unknot.
The key observation in their proof is that if every Vassiliev invariant of a knot
K
{\displaystyle K}
is trivial, then
J
K
,
N
(
q
)
=
1
{\displaystyle J_{K,N}(q)=1}
for any
N
{\displaystyle N}
.
Status
The volume conjecture is open for general knots, and it is known to be false for arbitrary links. The volume conjecture has been verified in many special cases, including:
Relation to Chern-Simons theory
Using complexification, Murakami et al. (2002) proved that for a hyperbolic knot
K
{\displaystyle K}
,
lim
N
→
∞
2
π
log
⟨
K
⟩
N
N
=
vol
(
S
3
∖
K
)
+
C
S
(
S
3
∖
K
)
{\displaystyle \lim _{N\to \infty }{\frac {2\pi \log \langle K\rangle _{N}}{N}}=\operatorname {vol} (S^{3}\backslash K)+CS(S^{3}\backslash K)}
,
where
C
S
{\displaystyle CS}
is the Chern–Simons invariant . They established a relationship between the complexified colored Jones polynomial and Chern–Simons theory.
References
Notes
^ Kashaev, R.M. (1994-12-28). "Quantum Dilogarithm as a 6j-Symbol" . Modern Physics Letters A . 09 (40): 3757–3768. arXiv :hep-th/9411147 . Bibcode :1994MPLA....9.3757K . doi :10.1142/S0217732394003610 . ISSN 0217-7323 .
^ Kashaev, R.M. (1995-06-21). "A Link Invariant from Quantum Dilogarithm" . Modern Physics Letters A . 10 (19): 1409–1418. arXiv :q-alg/9504020 . Bibcode :1995MPLA...10.1409K . doi :10.1142/S0217732395001526 . ISSN 0217-7323 .
^ Kashaev, R. M. (1997). "The Hyperbolic Volume of Knots from the Quantum Dilogarithm" . Letters in Mathematical Physics . 39 (3): 269–275. arXiv :q-alg/9601025 . Bibcode :1997LMaPh..39..269K . doi :10.1023/A:1007364912784 .
^ a b Zheng, Hao (2007), "Proof of the volume conjecture for Whitehead doubles of a family of torus knots", Chinese Annals of Mathematics, Series B , 28 (4): 375–388, arXiv :math/0508138 , doi :10.1007/s11401-006-0373-3
Sources
Murakami, Hitoshi (2010). "An Introduction to the Volume Conjecture". arXiv :1002.0126 [math.GT ]. .
Kashaev, Rinat M. (1997), "The hyperbolic volume of knots from the quantum dilogarithm", Letters in Mathematical Physics , 39 (3): 269–275, arXiv :q-alg/9601025 , Bibcode :1997LMaPh..39..269K , doi :10.1023/A:1007364912784 .
Murakami, Hitoshi; Murakami, Jun (2001), "The colored Jones polynomials and the simplicial volume of a knot", Acta Mathematica , 186 (1): 85–104, arXiv :math/9905075 , doi :10.1007/BF02392716 .
Murakami, Hitoshi; Murakami, Jun; Okamoto, Miyuki; Takata, Toshie; Yokota, Yoshiyuki (2002), "Kashaev's conjecture and the Chern-Simons invariants of knots and links", Experimental Mathematics , 11 (1): 427–435, arXiv :math/0203119 , doi :10.1080/10586458.2002.10504485 .
Gukov, Sergei (2005), "Three-Dimensional Quantum Gravity, Chern-Simons Theory, And The A-Polynomial", Communications in Mathematical Physics , 255 (1): 557–629, arXiv :hep-th/0306165 , Bibcode :2005CMaPh.255..577G , doi :10.1007/s00220-005-1312-y .