About the uniqueness and the denominators of the Kontsevich

Christine Lescop

Description

About the uniqueness and the denominators of the Kontsevich integral Christine Lescop April 10, 2000 Abstract We rene a theorem of Le and Murakami about the uniqueness of framed link invariants derived from good monoidal functors from the category of framed q-tangles to the category of spaces of Feynman diagrams. As a corollary, we prove that the Altschuler and Freidel anomaly 2 A(S 1 ) -that groups the Bott and Taubes anomalous terms- is a combination of diagrams with two univalent vertices and we explicitly dene the isomorphism of A which transforms the Kontsevich integral into the Poirier limit of the perturbative expression of the Chern-Simons theory for framed links, as a function of . As a consequence of this corollary, we use the Poirier estimates on the denominators of the perturbative expression of the Chern-Simons theory to show that the denominators of the degree n part of the Kontsevich integral of framed links divide into (2!3! : : : (n5)!)(n5)!3 2 (3n4)!2 2n+2 for n 5. 1 Introduction There are essentially two universal Vassiliev invariants of links, the Kontsevich integral, and the perturbative expression of the Chern-Simons theory studied by Guadagnini Martellini and Mintchev, Bar-Natan, Kontsevich, Bott and Taubes [BT], D.

• vassiliev invariant


• framed link invariants


• diagrams obtained


• any framed link


• topological vector spaces


• kontsevich integral


• represented without horizontal


• relation when

Sujets

• Champetier
• Poirier
• Thurston
• Finite type invariant
• Topological vector space
• Kontsevich invariant

Informations

• Publié par: pefav
• Nombre de lectures: 16
• Langue: English

Extrait

K
Ab
this
out
,
the
go
uniqueness
),
and
:
the
P
denominators
8]
of
p
the
explicitly
Kon
expression
tsevic
n
h
main
in
e
tegral
to
Christine
ws
Lescop
links

e
April
of
10,
to
2000
ws
Abstract
of
W
5.
e
Institut
ree
and
a
the
theorem
expres
of
framed
Le
c
and
theorem
Murak
h
ami
varies
ab
oincide
out
1.3.
the
monoidal
uniqueness
of
of
an
framed
K
link
transforms
in
p
v
T
arian
on
ts
that
deriv
framed
ed
n
from
factors
o
Le
o
S
d
ecifying
monoidal
st
functors
are
from
in
the
the
category
Chernimons
of
v
framed
these
qangles
functor
to
fr
the
w
category
Murak
of
Drinfeld
spaces
e
of
d
F
inte
eynman
aming
diagrams
on
As
is
a
w
corollary
of
,
c
w
ecial
e
,
pro
restricted
v
d
e

that
corollary
the
of
Altsc
h
h
limit
uler
of
and
of
F
.
reidel
the
anomaly
the

theory
2
the
A
h
(
to
S
n
1
+2
)
v
hat
(2!3!
groups
n
the
are
Bott
5582)
and
).
T
after
aub
our
es
w
anomalous
all
terms
erties
is
b
a
tsevic
com
and
bination
limit
of
erturbativ
diagrams
of
with
.
t
an
w
t
o
satisfying
univ
erties
alen
d
t
om
v
gory
ertices
d
and
.
w
ree
e
Le
explicitly
M
dee
b
the
Kon
isomorphism
could
of
as
A
go
whic
functor
h
the
transforms
al
the
a
Kon
must
tsevic
Z
h
ame
in
reemen
tegral
in
in
sp
to
list
the
v
P
o
oirier
under
limit
and
of
some
the
yp
p
of
erturbativ
(
e
that
expression
framed
of
go
the
functor
Chernimons
form
theory

for
As
framed
w
links
the
as
whic
a
Kon
function
tegral
of
P

of
.
e
As
Chernimons
a
a
consequence
Bott
of
es
this
corollary
corollary
to
,
oirier
w
denominators
e
erturbativ
use
the
the
sho
P
denominators
oirier
n
estimates
Kon
on
tegral
the
divide
denominators
:
of
n
the
2
p
2
erturbativ
n
e
denominators
expression
more
of
the
the
:
Chernimons
4
theory
1)!
to
but
sho

w
ourier
that
(
the
1
denominators
In
of
article
the
sp
degree
all
n
deitions
part
notations
of
e
the
review
Kon
the
tsevic
prop
h
that
in
shared
tegral
y
of
Kon
framed
h
links
tegral
divide
the
in
oirier
to
of
(2!3!
p
:
e
:
sion
:
the
(
theory
n
W
5)!)(
call
n
in
5)!3
arian
2
of
(3
links
n
all
4)!2
prop
2
a
n
o
+2
monoidal
for
fr
n
the

ate
5.
of
1
ame
In
qangles
tro
A
duction
Second
There
e
are
a
essen
of
tially
and
t
ami
w
Theorem
o
inspired
univ
y
ersal
and
V
tsevic
assiliev
that
in
b
v
stated
arian
follo
ts
A
of
o
links
monoidal
the
that
Kontsevich
like
inte
Kontsevich
gr
gr
al
Z
and
under
the
fr
p
change
erturb
c
ative
with
expr
K
ession
fr
of
d
the
Our
Chernimons
t
the
stated
ory
Theorem
studied
Roughly
b
eaking
y
e
Guadagnini
the
Martellini
ossible
and
ariations
Min
go
tc
d
hev
functors
Baratan
framing
Kon
hanges
tsevic
w
h
dee
Bott
sp
and
t
T
e
aub
isomorphisms
es
A
T
the
],

D
so
Th
when
urston
to
h
links
Altsc
y
h
o
uler
monoidal
and
is
F
the
reidel
(
F
)
],
Z
Y
.
ang
a
P
,
oirier
e
[P1
dee
,
isomorphism
P
A
,
h
P
the
]...
tsevic
The
in
question
in
of
the
kno
oirier
wing
[P]
whether
the
the
erturbativ
t
expression
w
the
o
theory
in
as
v
function
arian
the
ts
and
coincide
aub
or
anomaly
not
This
is
allo
still
us
op
use
en
P
to
estimates
mathematicians
the
despite
of
the
p
substan
e
tial
of
progress
Chernimons
of
to
Sylv
w
ain
the
P
of
oirier
degree
who
part
in
the
particular
tsevic
reduced
in
this
of
question
links
to
in
the
(2!3!
computation
:
of
(
the
5)!)(
anomaly
5)!3
of
(3
Bott
4)!2
T
n
aub
for
es

Altsc
These
h
ha
uler
e
and
prime
F
than
reidel
denominators
whic
:
h
:
is
!)
an
(
elemen
+
t
of
of
e
the
they
space
smaller
of
CNRS
F
F
eynman
MR
diagrams
1
Ab
I
in
thank
as
Christophe
to
Champ
a
etier
)
Gregor
ertical
Masbaum
h
and
v
esp
one
ecially
and
Dylan
in
Th
the
urston
horizon
and
w
Pierre
(
V
1
ogel
h
for
and
useful
ving
con
)
v
al
ersations
the
Deition
that
1.1
=
Here
t
w
the
e
e
use
v
standard
ector
notation
(
related
[],
to
a
spaces
K
of
Z
F
Z
eynman
suc
diagrams
Z
that
:
will
Z
b
twoe
e
i
recalled
c
in
ame
Section
(
2.
d
W
]).
e
tegral
sa
otheses
y

that
[P].
an
rotation
elemen
s
t
resp

let
=
symmetry
(
oard

b
n
the
)
S
n
(
2
[]
N
(
in
a
A
is
(
in
S
an
1
),
)
=
is
and
a
=
twoe
6.
g
(
element
Z
if
=
for
has
an
1
y
dev
n
result
2
o
N
a
,
A

for
n
2
is
i
a
ams
com
and
bination
,
of
Z
diagrams
e
with
al
t
by
w
by
o
from
univ
Kon
alen
the
t
satisfy
v
with
ertices
a
F
w
orgetting
using
S
v
1
the
from
the
suc
5.
h
b
a
symmetry
t
to
w
plane
oeg
v
elemen
orthog
t
resp
giv
blac
es
Let
rise

to
the
a
endomorphisms
unique
ological
series
A

)
s

of
[])
diagrams
d
with

t
[])
w
d
o
z
distinguished
n
univ
and
alen
image
t
d
v
(
ertices
Then
v
framed
1
S
and

v
K
2
v
,
K
suc

h
K
that
h

K
s
elemen
is
2
symmetric
1
with
that
resp
=
ect

to
(
the
Z
exc
nonzero
hange
a
of
=
v
article
1
to
and
follo
v
1.3
2
a
.
monoidal
ccording
ove
to
is
[V
element
o
S