\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{graph complex}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{cohomology}{}\paragraph*{{Cohomology}}\label{cohomology}

[[!include cohomology - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{Idea}{Idea}\dotfill \pageref*{Idea} \linebreak
\noindent\hyperlink{IdeaGraphComplexModelsForConfigurationSpacesOfPoints}{Model for ordered configuration spaces of points}\dotfill \pageref*{IdeaGraphComplexModelsForConfigurationSpacesOfPoints} \linebreak
\noindent\hyperlink{IdeaGraphComplexModelForSpacesOfKnots}{Model for spaces of knots}\dotfill \pageref*{IdeaGraphComplexModelForSpacesOfKnots} \linebreak
\noindent\hyperlink{model_for_other_spaces}{Model for other spaces}\dotfill \pageref*{model_for_other_spaces} \linebreak
\noindent\hyperlink{GraphComplex}{Definition}\dotfill \pageref*{GraphComplex} \linebreak
\noindent\hyperlink{OverviewOfDefinitions}{Overview}\dotfill \pageref*{OverviewOfDefinitions} \linebreak
\noindent\hyperlink{GraphComplexesModellingConfigurationSpacesOfPoints}{\textbf{1)} Graph complexes modelling configuration spaces of points}\dotfill \pageref*{GraphComplexesModellingConfigurationSpacesOfPoints} \linebreak
\noindent\hyperlink{GraphComplexForConfigurationsOfPointsInR3}{$Graphs_n\big( \mathbb{R}^3 \big)$}\dotfill \pageref*{GraphComplexForConfigurationsOfPointsInR3} \linebreak
\noindent\hyperlink{graphs}{Graphs}\dotfill \pageref*{graphs} \linebreak
\noindent\hyperlink{the_algebra_of_graphs}{The algebra of graphs}\dotfill \pageref*{the_algebra_of_graphs} \linebreak
\noindent\hyperlink{TheDifferential}{The differential on graphs}\dotfill \pageref*{TheDifferential} \linebreak
\noindent\hyperlink{TheGraphComplex}{The graph complex}\dotfill \pageref*{TheGraphComplex} \linebreak
\noindent\hyperlink{_2}{$Graphs_n\big(  \mathbb{R}^2 \big)$}\dotfill \pageref*{_2} \linebreak
\noindent\hyperlink{GraphComplexesModellingSpacesOfKnots}{\textbf{2)} Graph complexes modelling spaces of knots}\dotfill \pageref*{GraphComplexesModellingSpacesOfKnots} \linebreak
\noindent\hyperlink{KnotGraphsDefinition}{$KnotGraphs\big( \mathbb{R}^3 \big)$}\dotfill \pageref*{KnotGraphsDefinition} \linebreak
\noindent\hyperlink{Properties}{Properties}\dotfill \pageref*{Properties} \linebreak
\noindent\hyperlink{RelationToConfigurationSpaces}{Cohomology of configuration spaces via Feynman diagrams}\dotfill \pageref*{RelationToConfigurationSpaces} \linebreak
\noindent\hyperlink{cohomology_of_knot_space__higher_vassiliev_invariants}{Cohomology of knot space / higher Vassiliev invariants}\dotfill \pageref*{cohomology_of_knot_space__higher_vassiliev_invariants} \linebreak
\noindent\hyperlink{further_applications}{Further applications}\dotfill \pageref*{further_applications} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak
\noindent\hyperlink{general}{General}\dotfill \pageref*{general} \linebreak
\noindent\hyperlink{as_a_rational_model_for_configuration_spaces}{As a rational model for configuration spaces}\dotfill \pageref*{as_a_rational_model_for_configuration_spaces} \linebreak
\noindent\hyperlink{as_construction_of_higher_order_vassiliev_invariants}{As construction of higher order Vassiliev invariants}\dotfill \pageref*{as_construction_of_higher_order_vassiliev_invariants} \linebreak
\noindent\hyperlink{coproduct}{Coproduct}\dotfill \pageref*{coproduct} \linebreak
\noindent\hyperlink{ReferencesCohomology}{Cohomology}\dotfill \pageref*{ReferencesCohomology} \linebreak


\hypertarget{Idea}{}\subsection*{{Idea}}\label{Idea}

A \emph{graph complex} is a certain [[cochain complex]] [[linear span|spanned]] by [[equivalence classes]] of certain labeled [[directed graphs]], whose [[differential]] encodes the operation of contracting away [[edges]] in a graph.

Two similar but different classes of examples are usually referred to by default as just ``the graph complex'', going back to hints in \hyperlink{Kontsevich92}{Kontsevich 92, P. 11-12}, \hyperlink{Kontsevich93}{Kontsevich 93, 5}:

Given a [[smooth manifold]] $\Sigma$, often taken to be [[Euclidean space]] $\mathbb{R}^D$, there is

\begin{enumerate}%
\item a \hyperlink{IdeaGraphComplexModelsForConfigurationSpacesOfPoints}{graph complex model for the real cohomology of the unlabeled ordered configuration space of points} in $\Sigma$


\item a \hyperlink{IdeaGraphComplexModelForSpacesOfKnots}{graph complex model for the real cohomology of the space of knots} in $\Sigma$.



\end{enumerate}
In both cases, the graphs are interpreted as [[Feynman diagrams]] for [[Chern-Simons theory]] and the map which identifies these with [[cocycles]] in [[real cohomology]] of either the (unlabeled \& ordered) [[configuration space of points]] or the [[space of knots]] is given by sending a Feynman diagram to its [[Feynman amplitude]]. In the first case this is an [[n-point function]], [[correlator as differential form on configuration space of points|regarded as a differential form on the configuration space]] of $n$-points, while in the second case this is a [[vacuum amplitude]] depending on the [[isotopy]] [[equivalence class|class]] of the [[Wilson loop]] encoded by the [[knot]] -- a [[Vassiliev knot invariant]].

$\backslash$linebreak

\textbf{Beware} that these graph complex models \textbf{differ only in very small technical detail} as the manifold $\Sigma$ varies and the choice between models for configuration space of points or spaces of knots is made (see the \hyperlink{OverviewOfDefinitions}{Overview of definitions} below), and yet these small details \textbf{completely change the cohomological nature} of the resulting graph complexes; a point not often made manifest when any given author discusses ``the graph complex''.

$\backslash$linebreak

\hypertarget{IdeaGraphComplexModelsForConfigurationSpacesOfPoints}{}\subsubsection*{{Model for ordered configuration spaces of points}}\label{IdeaGraphComplexModelsForConfigurationSpacesOfPoints}

The graph complex model for unlabeled \& ordered [[configuration spaces of points]] was originally sketched in \hyperlink{Kontsevich92}{Kontsevich 92 (p. 11-12)} and worked out in detail in \hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14} for $\Sigma = \mathbb{R}^D$ a [[Euclidean space]]. Other authors have claimed generalization to $\Sigma$ a [[closed manifold]] (\hyperlink{CamposWillwacher16}{Campos-Willwacher 16}) possibly [[manifold with boundary|with boundary]] (\hyperlink{CamposIdrissiLambrechtsWillwacher18}{Campos-Idrissi-Lambrechts-Willwacher 18}).

Here we denote this version of the graph complex by ``$Graphs$'', in contrast to ``$KnotGraphs$'' for the other model, discussed further \hyperlink{IdeaGraphComplexModelForSpacesOfKnots}{below}.

This graph complex is [[linear span|spanned]] by [[finite set|finite]] [[directed graphs]] with [[linear order|linearly ordered]] internal and external [[vertices]], subject to a sign rule reflecting the [[orientation]] of [[edges]]. The [[differential]] sends any graph to a signed sum of graphs obtained by contracting one of the [[edges]] with at least one internal vertex.

Under ordered disjoint union of edges and \emph{internal} vertices this [[cochain complex]] becomes a [[differential graded-commutative algebra]]

\begin{displaymath}
Graphs_n\big( \mathbb{R}^D \big)
  \;\in\;
  dgcAlg_{\mathbb{R}}
  \phantom{AA}
  n, D \in \mathbb{N}
  \,,
\end{displaymath}
As such, this is [[quasi-isomorphism|quasi-isomorphic]] to the semi-algebraic [[de Rham algebra]]

\begin{displaymath}
\Omega^\bullet
  \big(
    \underset{{}^{1,\cdots,n}}{Conf}
    \big( 
      \Sigma
    \big)
  \big)
  \;\in\;
  dgcAlg_{\mathbb{R}}
  \phantom{AA}
  n, D \in \mathbb{N}
\end{displaymath}
of the [[Fulton-MacPherson compactification]] of the [[configuration space of points]] $\underset{{}^{1,\cdots,n}}{Conf}(\mathbb{R}^D)$ for $n$ points in $D$-dimensional [[Euclidean space]].

The [[chain map]] which exhibits this [[quasi-isomorphism]] is given by regarding a graph as a [[Feynman diagram]] for [[Chern-Simons theory]] on $\Sigma = \mathbb{R}^D$ and sending it to its corresponding [[Feynman amplitude]], namely to the [[configuration space of points|configuration space]]-[[integral]] of the [[wedge product]] of [[Chern-Simons propagators]] associated to the [[edges]], regarding [[Feynman amplitudes as differential forms on configuration spaces of points]]:

\begin{equation}
\underset{
    \color{blue}
    \itexarray{
      \phantom{A}
      \\
      \text{graph complex}
      \\
      \text{of n-point Feynman diagrams}
      \\
      \text{for Chern-Simons theory}
      \\
      \text{on} \; \Sigma 
    }
  }{
    Graphs_n(\Sigma)
  }
  \underoverset{
    \simeq_{\mathrlap{qi}}
  }
  {
    \color{blue}
    \itexarray{
      \text{assign Feynman amplitudes}
      \\
      \text{of Chern-Simons theory}
      \\
      \phantom{A}
    }
  }
  {
    \longrightarrow
  }
  \underset{
    \color{blue}
    \itexarray{
      \phantom{A}
      \\
      \text{de Rham algebra of}
      \\
      \text{ordered configuration space}
      \\
      \text{of n points in}\; \Sigma
    }
  }{
  \Omega^\bullet
  \big(
    \underset{{}^{ \{1,\cdots,n \} }}{Conf}\big(  \Sigma \big)
  \big)
  }
  \,.
\label{TheQuasiIsomorphism}\end{equation}
This means that for each [[edge]] in a [[graph]] a [[Chern-Simons propagator]] is assigned, and for each of $n_{int} \in \mathbb{N}$ internal [[vertices]] the [[wedge product]] of its adjacent [[Chern-Simons propagators]] is [[fiber integral|fiber integrated]] along the canonical [[fibration]] of [[configuration spaces of points]]:

\begin{displaymath}
\underset{
    {}^{\{1, \cdots, n + n_{int} \}}
  }{
    Conf
  }
  \big(
    \mathbb{R}^D 
  \big)
  \longrightarrow
  \underset{
    {}^{\{1,\cdots,n\}}
  }{
    Conf
  }
  \big( 
    \mathbb{R}^D 
  \big)
\end{displaymath}
just as befits the definition of a [[Feynman amplitude]] when [[correlator as differential form on configuration space of points|regarding them as differential forms on configuration spaces of points]].

$\backslash$linebreak

\hypertarget{IdeaGraphComplexModelForSpacesOfKnots}{}\subsubsection*{{Model for spaces of knots}}\label{IdeaGraphComplexModelForSpacesOfKnots}

The graph complex model for [[spaces of knots]] was originally sketched in \hyperlink{Kontsevich93}{Kontsevich 93, Section 5} and worked out in \hyperlink{CattaneoCottaRamusinoLongoni02}{Cattaneo, Cotta-Ramusino, Longoni 02}, \hyperlink{CattaneoCottaRamusinoLongoni05}{05}, see also \hyperlink{BarNatan91}{Bar-Natan 91}.

Here we denote this version of the graph complex by ``$KnotGraphs$'', in contrast to ``$Graphs$'' for the other model, discussed \hyperlink{IdeaGraphComplexModelsForConfigurationSpacesOfPoints}{above}.

The explicit definition is almost exactly the same as that of the model for configuration spaces of points \hyperlink{IdeaGraphComplexModelsForConfigurationSpacesOfPoints}{above}, except that the external vertices here have a degree -1 instead of 0, and that the differential sees contractible [[edges]] between consecutive external vertices, often called \emph{arcs}, shown by dashed lines on the right.

Together these two innocent modifications make the graphs now represent [[vacuum amplitude|vacuum]] [[Feynman diagrams]] for [[Chern-Simons theory]] in the presence of a [[Wilson loop]], with the external vertices now attached to this [[knot]] (corresponding to the dashed line shown on the right):

\begin{equation}
\underset{
    \color{blue}
    \itexarray{
      \phantom{A}
      \\
      \text{graph complex}
      \\
      \text{of n-point Feynman diagrams}
      \\
      \text{for Chern-Simons theory}
      \\
      \text{on} \; \Sigma 
      \\
      \text{in the presence of a Wilson loop knot}
    }
  }{
    KnotGraphs_n(\Sigma)
  }
  \underoverset{
  }
  {
    \color{blue}
    \itexarray{
      \text{assign Feynman amplitudes}
      \\
      \text{of Chern-Simons theory}
      \\
      \phantom{A}
    }
  }
  {
    \longrightarrow
  }
  \underset{
    \color{blue}
    \itexarray{
      \phantom{A}
      \\
      \text{de Rham algebra}
      \\
      \text{of the space of knots}
      \\
      \text{in}\; \Sigma
      \\
      \text{(higher Vassiliev knot invariants)}
    }
  }{
  \Omega^\bullet
  \big(
    Emb(S^1,  \Sigma \big)
  \big)
  }
  \,.
\label{KnotGraphsTheQuasiIsomorphism}\end{equation}
This yields higher [[Vassiliev knot invariants]], a good review is in \hyperlink{Volic13}{Volić 13}.

$\backslash$linebreak

\hypertarget{model_for_other_spaces}{}\subsubsection*{{Model for other spaces}}\label{model_for_other_spaces}

There are yet other, inequivalent, graph complexes. Notably there is a type of graph complex whose (co)homology in degree 0 is the [[Lie algebra]] of the [[Grothendieck-Teichmüller group]] (\hyperlink{Willwacher10}{Willwacher 10}, \hyperlink{DolgushevRogers12}{Dolgushev-Rogers 12}), and this is neither of the above two cases. (\ldots{})

\hypertarget{GraphComplex}{}\subsection*{{Definition}}\label{GraphComplex}

\hypertarget{OverviewOfDefinitions}{}\subsubsection*{{Overview}}\label{OverviewOfDefinitions}

There are two different classes of (Kontsevich-) graph complexes, modelling the [[real cohomology]] of, respectively,

\begin{tabular}{l|l|l|l|l}
[[configuration space]]&&&[[graph complex]]&\\
\hline 
[[configuration spaces of points]]&$\underset{{}^{1,\cdots,n}}{Conf}(\Sigma)$&$\;\;\leftrightarrow\;\;$&$Graphs_n(\Sigma)$&\hyperlink{GraphComplexesModellingConfigurationSpacesOfPoints}{(1)}\\
[[spaces of knots]]&$Emb(S^1,\Sigma)$&$\;\;\leftrightarrow\;\;$&$KnotGraphs(\Sigma)$&\hyperlink{GraphComplexesModellingSpacesOfKnots}{(2)}\\
\end{tabular}

Despite their very deifferent cohomological nature, the explicit definitions of these two kinds of graph complexes are mostly identical, except for some small but crucial difference in the definition of degrees and labels of edges (see \hyperlink{KnotGraphsDefinition}{below}).

In addition, the definition of the graph complex model for configuration spaces of points depends on a choice of [[smooth manifold]] $\Sigma$, possibly [[manifold with boundary|with boundary]], namely such that the graph complex $Graphs(\Sigma)$ provides a model for the cohomology of the [[configuration space of points]] in $\Sigma$

\begin{displaymath}
Graphs\big( \Sigma \big)
  \leftrightarrow
  \Omega^\bullet\big(  Conf(\Sigma) \big)
  \,.
\end{displaymath}
The [[configuration spaces of points]] are naturally [[filtering|filtered]] by [[subspaces]] of a fixed number $n \in \mathbb{N}$ of points. In the graph complexes this correpsonds to graphs with a fixed number $n$ of \emph{external} vertices:

\begin{displaymath}
\underset{
    \mathclap{
    \color{blue}
    \itexarray{
       \phantom{A}
       \\
       \text{graphs with}
       \\
        n\;\text{external vertices}
    }
    }
  }{
    Graphs_n\big( \Sigma\big)
  }
  \;\;\;\leftrightarrow\;\;\;
  \Omega^\bullet\big(
     \underset{
       \mathclap{
       \color{blue}
       \itexarray{
         \phantom{A}
         \\
         \text{configuration space}
         \\
         \text{of}\;n\;\text{points}
       }
       }
     }{  
       \underbrace{
         \underset{{}^{1,\cdots,n}}{Conf}(\Sigma) 
       }
     }
  \big)
  \,.
\end{displaymath}
The full graph complexes/configuration spaces are just the [[direct sum]]/[[union]] of those for fixed number $n$ of external vertices/points, hence one may focus attention on the latter.

The precise form of these relations is the content of the theorems discussed below. Before stating this in detail, we make some general remarks on how the situation depends on $\Sigma$:

Beware that the graphs $[\Gamma] \in Graphs_n(\Sigma)$ themselves are \emph{not} going to carry an embedding into the manifold $\Sigma$, they are just abstract graphs. But the construction of the above correspondence to the cohomology of the configuration space of points is given by associating with a graph the corresponding [[correlator as differential form on configuration space of points|correlator]] in a [[Chern-Simons theory|Chern-Simons]] [[perturbative quantum field theory]] on the space $\Sigma$.

As a consequence, the dependence of the graph complexes themselves on $\Sigma$ is mild:

In particular, in the case that $\Sigma = \mathbb{R}^D$ is a [[Euclidean space]], the corresponding graph complexes $Graphs\big( \mathbb{R}^D \big)$ depend essentially only on whether the [[dimension]] $D$ is [[even number|even]] or [[odd number|odd]]. Concretely, the degree of a graph in the [[graded vector space]] $Graphs_n(\mathbb{R}^D)$ is

\begin{equation}
deg\big( [\Gamma]\big) 
  \;=\;
  (D-1) \cdot \#\!Edges - D \cdot \#\!Vertices_{int}
  \,,
\label{DegreeOfAGraph}\end{equation}
hence each [[edge]] contributes a degree $D-1$ and each internal vertex a degree $-D$. As a consequence, due to the [[signs in supergeometry|sign rule]] in the [[graded-commutative algebra]] [[structure]] on $Graphs_n(\mathbb{R}^D)$ we have the following parities

\begin{tabular}{l|l|l}
$\Sigma = \mathbb{R}^D$&edges&internal vertices\\
\hline 
$D$ even&odd&even\\
$D$ odd&even&odd\\
\end{tabular}

Up to an absolute \emph{even} change of grading, the graph complexes $Graphs_n(\mathbb{R}^D)$ depend only on these parities, hence depend only on whether $D$ is [[even number|even]] or [[odd number|odd]].

Finally, beware that many authors consider the case where $\Sigma = \mathbb{R}^D$ by default, and don't mention a dependence on a choice of manifold, but just on a natural number $D$. This natural number is then often denoted ``$d$'' or ``$n$''.

For instance:

\begin{itemize}%
\item the ``graph complex with anti-symmetric set of edges'' of \hyperlink{BarNatanMcKay}{Bar-Natan \& McKay, Def. 3.3} is denoted $GC_2$ in \hyperlink{Willwacher10}{Willwacher 10} and is our $Graphs_0\big(\mathbb{R}^2\big)$;


\item similarly $GC_3$ in \hyperlink{KoroshkinWillwacherZivkovic14}{Koroshkin-Willwacher-Živković 14} is our $KnotGraphs\big( \mathbb{R}^3\big)$.



\end{itemize}
(While the cohomology of $Graphs_0(\Sigma)$ -- being equivalent to that of $Conf_0(\Sigma) \simeq \ast$ -- is trivial, these authors consider further filtrations which have non-trivial cohomology in filtration stages, see \hyperlink{BarNatanMcKay}{Bar-Natan \& McKay, Def. 3.6}).

$\backslash$linebreak

\hypertarget{GraphComplexesModellingConfigurationSpacesOfPoints}{}\subsubsection*{{\textbf{1)} Graph complexes modelling configuration spaces of points}}\label{GraphComplexesModellingConfigurationSpacesOfPoints}

We discuss graph complexes $Graphs_n(\Sigma)$ modelling the [[real cohomology]] of [[configuration spaces of points]] $\underset{{}^{1,\cdots,n}}{Conf}(\Sigma)$.

For the case of $\Sigma = \mathbb{R}^D$ these were originally hinted at in \hyperlink{Kontsevich92}{Kontsevich 92 (p. 11-12)} and discussed in detail in \hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14}.

$\backslash$linebreak

\hypertarget{GraphComplexForConfigurationsOfPointsInR3}{}\paragraph*{{$Graphs_n\big( \mathbb{R}^3 \big)$}}\label{GraphComplexForConfigurationsOfPointsInR3}

We state the definition of the graph complexes $Graphs_n\big( \mathbb{R}^3\big)$ (as motivated \hyperlink{IdeaGraphComplexModelsForConfigurationSpacesOfPoints}{above}, see Def. \ref{GraphComplexDgcAlgebra} below) associated with [[Euclidean space]] of [[dimension]] 3, following \hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Section 6}.

\hypertarget{graphs}{}\paragraph*{{Graphs}}\label{graphs}

\begin{defn}
\label{Graphs}\hypertarget{Graphs}{}
\textbf{(graphs)}

In the following, by a \textbf{[[graph]]} we mean specifically:

\begin{enumerate}%
\item a [[finite set|finite]] [[directed graph]]

\begin{displaymath}
Edg \underoverset{t}{s}{\rightrightarrows} Vert
  \,,
\end{displaymath}

\item a decomposition of the [[finite set]] $Vert$ of [[vertices]] as a [[disjoint union]]

\begin{displaymath}
Vert \simeq Vert_{ext} \sqcup Vert_{int}
\end{displaymath}
of ``external'' and ``internal'' vertices.


\item a [[linear order]] on $Vert$, such that $Vert_{ext} \lt Vert_{int}$.



\end{enumerate}
Hence both $Vert_{ext}$ and $Vert_{int}$ are [[linear orders]], and

\begin{displaymath}
Vert = Vert_{ext} \sqcup_{{}_{\lt}} Vert_{int}
\end{displaymath}
is their ordered [[disjoint union]].

An [[isomorphism]] $\Gamma \simeq \Gamma'$ of such graphs is a [[pair]] of [[bijections]] between sets of edges and vertices

\begin{equation}
\itexarray{
    Edg &\underoverset{t}{s}{\rightrightarrows}& Vert_{ext} \sqcup Vert_{int}
    \\
    \mathllap{{}^{\simeq}}\big\downarrow
    &&
    \mathllap{{}^{\simeq}}\big\downarrow
    \\
    Edg' &\underoverset{t'}{s'}{\rightrightarrows}& Vert'_{ext} \sqcup Vert'_{int}
  }
\label{IsomorphismOfGraphs}\end{equation}
which respects all [[structure]], hence the [[source]] and [[target]] maps, the decomposition into external and internal vertices, and the [[linear order]].

\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Def. 6.1})

\begin{remark}
\label{EmptyGraph}\hypertarget{EmptyGraph}{}
\textbf{([[empty graph]])}

The [[empty graph]] counts as a graph, according to Def. \ref{Graphs}.

\end{remark}
We write $\#\! Vert \coloneqq \left\vert Vert \right\vert$ for the [[cardinality]] of the sets of vertices, etc.

\begin{defn}
\label{DenotationForLinearOrderOnVertices}\hypertarget{DenotationForLinearOrderOnVertices}{}
\textbf{(denotation for linear order on vertices)}

The [[linear order]] on the [[vertices]] in Def. \ref{Graphs} is equivalently a choice of [[bijection]] of $Vert$ with the set of the first $\#\!Vert$ [[natural numbers]]

\begin{equation}
Vert
  \;\simeq\;
  \big\{
    1, 2, \ldots, \# Vert_{ext}, \# Vert_{ext} + 1, \ldots , \# Vert_{ext} + \# Vert_{int}
  \big\}
\label{NaturalNumberLabelsOfVertices}\end{equation}
With this understood, we may depict graphs as as diagrams with oriented edges and numbered vertices.

\end{defn}
\begin{defn}
\label{DegreeOfAGraph}\hypertarget{DegreeOfAGraph}{}
\textbf{(degree of a graph)}

Given a graph

\begin{displaymath}
\Gamma
  \;=\;       
  \big(
    Edg 
      \underoverset{t}{s}{\rightrightarrows} 
    Vert_{ext} 
      \sqcup
    Vert_{int}
  \big)
\end{displaymath}
according to Def. \ref{Graphs}, its \emph{degree} is the [[natural number]]

\begin{displaymath}
deg(\Gamma)
  \;\coloneqq\;
  2 \cdot \#\!Edg
  -
  3 \cdot \#\!Vert_{int}
  \,,
\end{displaymath}
hence the sum of 2 for each [[edge]] and of -3 for each internal [[vertex]].

\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Def. 6.6})

If we also agree to

\begin{enumerate}%
\item denote internal vertices by a bullet;


\item denote external vertices by\ldots{} \emph{no} denotation (as usual for [[Feynman diagrams]]!)



\end{enumerate}
then the ingredients of these graphs are as shown in the following figure:

The following shows some very simple examples of graphs, depicted this way:

\textbf{Beware} that graphs need not be [[planar graph|planar]], may have edges between two external vertices (chords) and other effects not seen in these simple examples (\ldots{} need to draw more generic examples\ldots{}).

In particular, graphs may have [[tadpoles]]. But the next definition makes such graphs vanish in the graph complex:

\begin{defn}
\label{SignRulesForGraphs}\hypertarget{SignRulesForGraphs}{}
\textbf{(sign rules for graphs)}

For a fixed [[finite set|finite]] [[linear order]] $Vert_{ext} \simeq \{1, 2, \cdots, \#\!Vert_{ext}\}$, consider the [[real numbers|real]] [[linear span]] on the [[set]] of [[isomorphism classes]] \eqref{IsomorphismOfGraphs} of graphs, according to Def. \ref{Graphs}, with that set of external [[vertices]]:

\begin{equation}
\mathbb{R}
  \Big[
    \big\{
     Edg 
      \underoverset{t}{s}{\rightrightarrows} 
     Vert_{ext} 
      \sqcup
     Vert_{int}
     \;\vert\;
     Vert_{int} \in FinLinOrd
    \big\}_{/\sim}
  \Big]
  \;\in\;
  Vect_{\mathbb{R}}
  \,.
\label{LinearSpanOfIsoClassesOfGraphs}\end{equation}
The degree associated with a graph (Def. \ref{DegreeOfAGraph}) makes this a [[graded vector space]].

On this [[real vector space]], consider the linear [[equivalence relation]] $\sim$ generated by

\begin{equation}
\Gamma
  \;\sim\;
  -\Gamma'
  \phantom{AA}
  \itexarray{
    \text{if}\;\Gamma'\; \text{is}\;\Gamma\;\text{with}
    \\
    \text{orientation of one edge reversed}
  }
\label{SignFromOrientationReversal}\end{equation}
and

\begin{equation}
\Gamma
  \;\sim\;
  -\Gamma'
  \phantom{AA}
  \itexarray{
    \text{if}\;\Gamma'\;\text{is}\;\Gamma\;\text{with}
    \\
    \text{a pair of consecutive internal vertices transposed}
  }
\label{SignRuleFromOrderingInternalVertices}\end{equation}
\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Def. 6.5 \& Def. 6.5})

Since this [[equivalence relation]] is linear, the set of its [[equivalence classes]] is still a [[vector space]], and since the equivalence relation also preserves the degrees (Def. \ref{DegreeOfAGraph}), it is still a [[graded vector space]]:

\begin{defn}
\label{GradedVectorSpaceOfGraphs}\hypertarget{GradedVectorSpaceOfGraphs}{}
\textbf{(graded vector space of graphs)}

For $n \in \mathbb{N}$, $n \coloneqq \#\! Vert_{ext}$, we write

\begin{equation}
\widehat{Graphs}_n\big(\mathbb{R}^3\big)
  \;\coloneqq\;
  \mathbb{R}
  \Big[
    \big\{
     Edg 
      \underoverset{s}{t}{\rightrightarrows} 
     Vert_{ext} 
      \sqcup
     Vert_{int}
     \;\vert\;
     Vert_{int} \in FinLinOrd
    \big\}_{/\sim}
  \Big]_{/\sim}
  \;\in\;
  Vect_{\mathbb{R}}
  \,.
\label{VectorSpaceOfGraphsWithSignRulesImposed}\end{equation}
for the [[real vector space|real]] [[graded vector space]] of [[equivalence classes]] under the sign rules \eqref{SignFromOrientationReversal} and \eqref{SignRuleFromOrderingInternalVertices} in the [[linear span]] \eqref{LinearSpanOfIsoClassesOfGraphs} of the [[isomorphism classes]] of graphs (Def. \ref{Graphs}) with $n$ external vertices.

For $\Gamma$ any graph, we write

\begin{equation}
\big[ \Gamma \big]
  \;\in\;
  \widehat{Graphs}_n\big(\mathbb{R}^3\big)
  \,.
\label{EquivalenceClassOfAGraphForSignRules}\end{equation}
for the [[equivalence class]] of the element in this [[real vector space|real]] [[graded vector space]] that it represents.

When there is not risk of confusion, we will still refer to this equivalence class $[\Gamma]$ as a \emph{graph}.

\end{defn}
A further [[quotient space]] $Graphs_n(\mathbb{R}^3)$ of $\widehat Graphs_n(\mathbb{R}^3)$ \eqref{VectorSpaceOfGraphsWithSignRulesImposed} will underly the actual graph complex \hyperlink{TheGraphComplex}{below}.

\begin{example}
\label{GraphsWithDirectLoopsVanish}\hypertarget{GraphsWithDirectLoopsVanish}{}
\textbf{(no tadpoles)}

A direct consequence of quotienting out the [[equivalence relation]] \eqref{SignFromOrientationReversal} is that graphs with ``[[tadpoles]]'', namely with edges that have coinciding [[source]] and [[target]] [[vertex]], vanish in $\widehat Graphs_n(\mathbb{R}^3)$ \eqref{VectorSpaceOfGraphsWithSignRulesImposed}:

\begin{displaymath}
e \in Edg_\Gamma
  \;\text{s.t.}\;
  s(e) = t(e)
  \phantom{AA}
  \Rightarrow
  \phantom{AA}
  \big[ \Gamma \big]
  \;=\;
  0
\end{displaymath}
(This holds more generally for all $\mathbb{R}^D$ with odd $D  = 2k + 1$.)

\end{example}
\begin{example}
\label{TrivalenGraphs}\hypertarget{TrivalenGraphs}{}
\textbf{(trivalent graphs)}

A graph without external vertices has degree (Def. \ref{DegreeOfAGraph}) equal to zero precisely if all its vertices (which are all internal, by assumption) are trivalent:

\begin{displaymath}
\#\!Verts_{ext} = 0
  \;\;\Rightarrow\;\;
  \big(
     deg(\Gamma) = 0
     \;\;\Leftrightarrow\;\;
     \text{all vertices are trivalent}
  \big)
  \,.
\end{displaymath}
The following is the smallest example of such a trivalent graph:

Hence in general, the degree of a trivalent graph is three times its number of external vertices:

\begin{displaymath}
\Gamma 
  \;
  \text{trivalent}
  \;\;\;\Rightarrow \;\;\;
  deg\big( [\Gamma] \big)
  \;=\;
  3 \cdot \#\!Verts_{ext}
  \,.
\end{displaymath}
(Because such a graph is the result of taking a trivalent graph in degree 0 and replacing internal vertices of degree -3 with external vertices of degree 0.)

For example, the following graph, obtained from the above trivalent graph by replacing the three internal vertices labeled 1,2 and 3 with external vertices, is of degree $3 \cdot 3 = 9$:

\end{example}
$\backslash$linebreak

\hypertarget{the_algebra_of_graphs}{}\paragraph*{{The algebra of graphs}}\label{the_algebra_of_graphs}

\begin{defn}
\label{WedgeProductOfGraphs}\hypertarget{WedgeProductOfGraphs}{}
\textbf{(wedge product of graphs)}

For

\begin{displaymath}
[\Gamma_1], [\Gamma_2]
  \;\in\;
  \widehat Graphs_n\big( \mathbb{R}^D\big)
\end{displaymath}
two equivalence classes \eqref{VectorSpaceOfGraphsWithSignRulesImposed} of isomorphism classes of graphs (Def. \ref{GradedVectorSpaceOfGraphs}) with the same number of external, their \emph{wedge product} is the element

\begin{displaymath}
[\Gamma_1] \wedge [\Gamma_2]
  \coloneqq
  [\Gamma_1 \wedge \Gamma_2]
  \;\in\;
  \widehat Graphs_n\big( \mathbb{R}^D\big)
\end{displaymath}
represented by the graph (Def. \ref{Graphs}) which is given by the [[disjoint union]] of [[linear orders]] of edges and \emph{internal} vertices

\begin{displaymath}
\Gamma_1 \wedge \Gamma_2
  \;\coloneqq\;
  \Big(
    Edgs_{\Gamma_1}
    \sqcup_{{}_{\lt}}
    Edgs_{\Gamma_2}
    \underoverset{t_1 \sqcup_{\lt} t_2}{s_1 \sqcup_{\lt} s_2}{\rightrightarrows}
    Vert_{ext}
    \sqcup_{{}_{\lt}}
    \big(    
      Vert_{int,1}
      \sqcup_{{}_{\lt}}
      Vert_{int,2}
    \big)
  \Big)
  \,.
\end{displaymath}
\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, 6.3})

It is immediate that:

\begin{defn}
\label{GradedCommutativeAlgebraOfGraphs}\hypertarget{GradedCommutativeAlgebraOfGraphs}{}
\textbf{(graded commutative algebra of graphs)}

For $n \in \mathbb{N}$, the [[graded vector space]] $\widehat Graphs_n\big( \mathbb{R}^3\big)$ \eqref{VectorSpaceOfGraphsWithSignRulesImposed} of graphs (Def. \ref{GradedVectorSpaceOfGraphs}) equipped with the wedge product of graphs from Def. \ref{WedgeProductOfGraphs}

\begin{displaymath}
\itexarray{
    \widehat{Graphs}_n(\mathbb{R}^3)
    \otimes
    \widehat{Graphs}_n(\mathbb{R}^3)
    &\overset{\wedge}{\longrightarrow}&
    \widehat{Graphs}_n(\mathbb{R}^3)
    \\
    \big(
      [\Gamma_1], [\Gamma_2]
    \big)
    &\mapsto&
    [\Gamma_1 \wedge \Gamma_2]
  }
\end{displaymath}
is a [[graded-commutative algebra]].

\end{defn}
$\backslash$linebreak

\hypertarget{TheDifferential}{}\paragraph*{{The differential on graphs}}\label{TheDifferential}

The [[differential]] on the graded vector space of equivalence classes of graphs \eqref{VectorSpaceOfGraphsWithSignRulesImposed} is defined in terms of contraction of certain edges in the graph (Def. \ref{ContractionOfAnEdge} below). For this we first say which edges count as \emph{contractible} (Def. \ref{ContractibleEdges}) and which sign is picked up when contracting them (Def. \ref{SignOfAContractibleEdge}):

\begin{defn}
\label{ContractibleEdges}\hypertarget{ContractibleEdges}{}
\textbf{(contractible edges)}

Given a graph $\Gamma$ (Def. \ref{Graphs}) we say that an [[edge]] $e \in Edg_\Gamma$ is a \emph{contractible edge} if the following conditions hold:

\begin{enumerate}%
\item $e$ is not a [[tadpole]] (Example \ref{GraphsWithDirectLoopsVanish}):

\begin{displaymath}
s(e) \neq t(e)
\end{displaymath}

\item $e$ has at least one internal vertex:

\begin{displaymath}
s(e) \in Vert_{int} 
  \phantom{AA}
  \text{or}
  \phantom{AA}
  t(e) \in Vert_{int}
\end{displaymath}

\item every internal vertex of $e$ is connected to more than just one other vertex, i.e. $e$ is \emph{not} a solid arrow in a diagram of the following form



\end{enumerate}
We write

\begin{equation}
Edg^{contr}_\Gamma
  \;\subset\;
  Egd_\Gamma
\label{SetOfContractibleEdges}\end{equation}
for the [[subset]] of the contractible edges inside all edges of a graph $\Gamma$.

\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, p. 60})

\begin{defn}
\label{ContractionOfAnEdge}\hypertarget{ContractionOfAnEdge}{}
\textbf{(contraction of an edge)}

Given a graph $\Gamma$ (Def. \ref{Graphs}) and a contractible edge $e \in Edg_\Gamma$ (Def. \ref{ContractibleEdges}) consider the induced graph obtained by removing that edge and the one of its vertices with the larger label

\begin{displaymath}
\Gamma / e
  \;\coloneqq\;
  \big(
    Edg_\Gamma
    \setminus \{e\}
  \big)
  \underoverset{q \circ t}{q \circ s}{\rightrightarrows}
  \big(
    Vert_\Gamma
    \setminus \{ max(s(e),t(e))  \}
  \big)
\end{displaymath}
and connecting all edges previously attached with the removed vertex to the remaining vertex of that edge (ie. the one with the smaller label):

\begin{displaymath}
\itexarray{
    Vert_\Gamma &\overset{}{\longrightarrow}& Vert_{\Gamma/e}
    \\
    v &\mapsto& 
   \left\{
    \itexarray{
       min(s(e),t(e)) &\vert& \text{if}\; v = max(s(e),t(e))
       \\
       v &\vert& \text{otherwise}
    }
   \right.
  }
\end{displaymath}
\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Def. 6.9})

\begin{defn}
\label{SignOfAContractibleEdge}\hypertarget{SignOfAContractibleEdge}{}
\textbf{(sign of a contractible edge)}

Given a \emph{contractible edge} $e \in Egd_\Gamma$ (Def. \ref{ContractibleEdges}) in some graph $\Gamma$ (Def. \ref{Graphs}) we associate a sign as follows:

\begin{displaymath}
\epsilon(e)
  \;\coloneqq\;
  \left\{
  \itexarray{
    (-1)^{ t(e) } &\vert& t(e) \gt s(e)
    \\
    -(-1)^{s(e)} &\vert& s(e) \gt t(e)
  }
  \right.
  \,,
\end{displaymath}
where on the right we are identifying the [[linear order]] on the vertices with their [[natural number]]-labels as in \eqref{NaturalNumberLabelsOfVertices}.

\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, p. 65})

\begin{defn}
\label{DifferentialOnGraphs}\hypertarget{DifferentialOnGraphs}{}
\textbf{(differential on graphs)}

For $Vert_{ext}$ a fixed [[finite set|finite]] [[linear order]] of $n = \#\! Vert_{ext}$ external vertices, define on the [[graded vector space]] $\widehat Graphs_n\big( \mathbb{R}^3\big)$ \eqref{VectorSpaceOfGraphsWithSignRulesImposed} a [[linear map|linear]] [[endomorphism]] $d$ given on the class $[\Gamma]$ \eqref{EquivalenceClassOfAGraphForSignRules} of a graph $\Gamma$ (Def. \ref{Graphs}) by the [[linear combination]] of all its edge contractions $\Gamma/e$ (Def. \ref{ContractionOfAnEdge}) for all contractible edges (Def. \ref{ContractibleEdges}) weighted by their sign (Def. \ref{SignOfAContractibleEdge}):

\begin{displaymath}
\itexarray{
    \widehat Graphs_n\big( \mathbb{R}^3\big)
    &\overset{d}{\longrightarrow}&
    \widehat Graphs_n\big( \mathbb{R}^3\big)
    \\
    [\Gamma]
    &\mapsto&
    \underset{ e \in Edg^{contr}_\Gamma }{\sum}
    \epsilon(\Gamma) \cdot [\Gamma/e]
  }
  \,.
\end{displaymath}
\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, (84)})

\begin{example}
\label{DifferentialOnLinearGraph}\hypertarget{DifferentialOnLinearGraph}{}
\textbf{(differential of propagator graph vanishes)}

The differential from Def. \ref{DifferentialOnGraphs} vanishes on all graphs without any internal vertices (since these have no contractible edges in the sense of Def. \ref{ContractibleEdges}). In particular it vanishes on the graph for the single [[Chern-Simons propagator]]:

\end{example}
\begin{example}
\label{DifferentialOnLinearGraph}\hypertarget{DifferentialOnLinearGraph}{}
\textbf{(differential on linear graphs)}

The differential of Def. \ref{DifferentialOnGraphs} applied to the linear graph with one internal vertex:

Here the right hand side vanishes, due to the sign rule \eqref{SignFromOrientationReversal}.

While this example illustrates the general action of the differential, beware that this particular differential relation will not actually contribute to the graph complex, as the graph on the left is a ``vanishing graph'' in the sense of Def. \ref{VanishingGraphs} below (since the valence of the internal vertex is $\lt 3$).

\end{example}
\begin{example}
\label{ThreeTermRelation}\hypertarget{ThreeTermRelation}{}
\textbf{(differential of trivalent diagram with single internal vertex)}

The image of the single trivalent internal vertex under the differential from Def. \ref{DifferentialOnGraphs} is as shown in the following:

Under the [[quasi-isomorphism]] \eqref{TheQuasiIsomorphism} from the [[graph complex]] to the [[de Rham complex]] on the [[Fulton-MacPherson compactification]] of a [[configuration space of points]], given by sending each [[graph]] to its [[Chern-Simons propagator|Chern-Simons]] [[Feynman amplitude on compactified configuration spaces of points]] (\href{Fulton-MacPherson+operad#QuasiIsomorphismBetweenGraphComplexAndDeRhamComplexOfFM}{this Prop.}), this relation becomes the ``3-term relation'' (\href{Fulton-MacPherson+operad#DeRhamCohomologyOfFMCompactification}{this Prop.}):

\begin{displaymath}
\left[g_{i j}\right] \wedge \left[ g_{j k} \right]
     +
     \left[g_{j k}\right] \wedge \left[ g_{k i} \right]
     +
     \left[g_{k i}\right] \wedge \left[ g_{i j} \right]
     \;\sim\;
     0
\end{displaymath}
satisfied by the [[Chern-Simons propagator]] form

\begin{displaymath}
\left(
    g_{i j}
    \;\in\;
    \Omega^2_{PA}
    \Big(
      \underset{{}^{1,\cdots,n}}{Conf}
      \big(
        \mathbb{R}^D 
      \big)  
    \Big)
  \right)
  \,.
\end{displaymath}
\end{example}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Figure 1 and 2})

\begin{example}
\label{DifferentialOfMinimalTrivalenVacuumGraph}\hypertarget{DifferentialOfMinimalTrivalenVacuumGraph}{}
\textbf{(Differential of minimal trivalent [[vacuum diagram]])}

The differential of the minimum trivalent [[vacuum diagram]] from Example \ref{TrivalenGraphs}:

\end{example}
\begin{example}
\label{DifferentialOfTrivalentTreeWithTwoInternalVertices}\hypertarget{DifferentialOfTrivalentTreeWithTwoInternalVertices}{}
\textbf{(differential of trivalent tree with two internal vertices)}

The differential (Def. \ref{DifferentialOnGraphs}) on the trivalent tree with two internal vertices:

\end{example}
\begin{lemma}
\label{DifferentialProperties}\hypertarget{DifferentialProperties}{}
\textbf{(differential graded algebra structure)}

The [[linear map]] $d$ in Def. \ref{DifferentialOnGraphs} makes the [[graded vector space]] $\widehat Graphs_n(\mathbb{R}^D)$ a [[cochain complex]], and, with its [[graded algebra]]-[[structure]] from Lemma \ref{GradedCommutativeAlgebraOfGraphs} in fact a [[differential graded algebra]], in that:

\begin{enumerate}%
\item (well defined) $d$ indeed only depends on the equivalence class $[\Gamma]$;


\item (degree) $d$ increases degree by +1


\item (nilpotency)

\begin{displaymath}
d \circ d = 0
\end{displaymath}

\item ([[derivation]])

\begin{displaymath}
d( [\Gamma_1] \wedge [\Gamma_2] )
  \;=\;
  \big( d[\Gamma_1]  \big) \wedge [\Gamma_2]
  +
  (-1)^{deg(\Gamma_1)} [\Gamma_1] \wedge \big( d [\Gamma_2]\big)     
  \,.
\end{displaymath}


\end{enumerate}
\end{lemma}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Lemmas 6.11 - 6.14})

$\backslash$linebreak

\hypertarget{TheGraphComplex}{}\paragraph*{{The graph complex}}\label{TheGraphComplex}

\begin{defn}
\label{VanishingGraphs}\hypertarget{VanishingGraphs}{}
\textbf{(vanishing graphs)}

We say that a graph $\Gamma$ (Def. \ref{Graphs}) is a \emph{vanishing graph} if it is one or more of the following:

\begin{itemize}%
\item it is a [[tadpole-diagram]]: $\Gamma$ contains an edge $e$ with $s(e) = t(e)$ (Example \ref{GraphsWithDirectLoopsVanish});


\item it is a [[vacuum diagram]]: $\Gamma$ contains an internal vertex which is not connected, via some path of edges, to an external vertex;


\item it has [[parallel edges]]: $\Gamma$ contains a pair $(a,b)$ of vertices, with more than one edge between them, i.e. if the [[preimage]] $(s,t)^{-1}\big\{(a,b)\big\}$ contains more than one element.


\item it is less than trivalent: $\Gamma$ contains an internal vertex $v \in Verts_{int}$ that is less than trivalent, hence an internal vertex with less than 3 edges attached to it;



\end{itemize}
Write

\begin{displaymath}
{\widehat Graphs}^{nil}_n(\mathbb{R}^3)
  \;\subset\;
  \widehat Graphs_n\big( \mathbb{R}^3 \big)
\end{displaymath}
for the [[subspace]] spanned by vanishing graphs $[\Gamma]$ inside the [[graded vector space]] \eqref{VectorSpaceOfGraphsWithSignRulesImposed} of all graphs.

\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Def. 6.16})

\begin{lemma}
\label{VanishingGraphsAreDifferentialIdeal}\hypertarget{VanishingGraphsAreDifferentialIdeal}{}
\textbf{(vanishing graphs form a differential ideal)}

The subspace of vanishing graphs (Def. \ref{VanishingGraphs}) is a [[differential ideal]] in the [[differential graded-commutative algebra]] of all graphs (Lemma \ref{DifferentialProperties}).

\end{lemma}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Lemma 6.17})

This implises that the quotient of all graphs by the vanishing graphs is still a differential graded-commutative algebra:

\begin{defn}
\label{GraphComplexDgcAlgebra}\hypertarget{GraphComplexDgcAlgebra}{}
\textbf{(graph complex)}

For $n \in \mathbb{N}$, the \emph{graph complex} on $n$ external vertices is the [[differential graded-commutative algebra]]

\begin{equation}
Graphs_n
  \big(
    \mathbb{R}^3
  \big)
  \;\coloneqq\;
  \frac{
    {\widehat Graphs}_n\big( \mathbb{R}^3\big)
  }
  {
    {\widehat Graphs}^{nil}_n\big( \mathbb{R}^3\big)
  }
\label{TheGraphComplexAsQuotientByVanishingGraphs}\end{equation}
of the [[differential graded-commutative algebra]] of all graphs (Lemma \ref{DifferentialProperties}) by its [[differential ideal]] (Lemma \ref{VanishingGraphsAreDifferentialIdeal}) of vanishing graphs (Def. \ref{VanishingGraphs}).

\end{defn}
(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Def. 6.19})

\begin{example}
\label{A9CocycleInGraphs3}\hypertarget{A9CocycleInGraphs3}{}
\textbf{(A 9-cocycle in $Graphs_3(\mathbb{R}^3)$)}

The trivalent graph of degree 9 from Example \ref{TrivalenGraphs} is a [[cocycle]] in $Graphs_3(\mathbb{R}^3)$ (Def. \ref{GraphComplexDgcAlgebra}):

The computation of the differential is just as for the 3-term relation in Example \ref{ThreeTermRelation}, but now all summands on the right have [[parallel edges]] and hence are vanishing graphs (Def. \ref{VanishingGraphs}) that are zero in the quotient \eqref{TheGraphComplexAsQuotientByVanishingGraphs} defining the graph complex $Graphs_3\big( \mathbb{R}^3 \big)$ (Def. \ref{GraphComplexDgcAlgebra}).

\begin{quote}%
This trivalent diagram must be exact, as there is not supposed to be any cohomology in degree 9 (by Prop. \ref{RealCohomologyOfConfigurationSpaceOfOrderedPointsInEuclideanSpace}). What's a trivializing coboundary?


\end{quote}
\end{example}
\begin{lemma}
\label{GraphsAreInNonNegativeDegree}\hypertarget{GraphsAreInNonNegativeDegree}{}
\textbf{(graphs are in non-negative degree)}

For all $n \in \mathbb{N}$, the degrees (Def. \ref{DegreeOfAGraph}) of any non-vanishing graph $[\Gamma]$ in the graph complex $Graphs_n(\mathbb{R}^3)$ (Def. \ref{GraphComplexDgcAlgebra}) are non-[[negative number|negative]]

\begin{displaymath}
deg\big( [\Gamma] \big)
  \;\geq\;
  0
  \;\;
  \in
  \;\;
  Graphs_n(\mathbb{R}^3)
  \,.
\end{displaymath}
Moreover, the only graphs of degree 0 are those containg the external vertices and nothing else:

\begin{displaymath}
deg\big( [\Gamma]\big)
  =
  0
  \;\;\;\;\;\;\Leftrightarrow\;\;\;\;\;\;
  [\Gamma] = 0
  \;\;\;\text{or}\;\;\;
  [\Gamma] = \big[ {}_1 \;\; {}_2 \;\; \cdots \;\; {}_n  \big]
  \;\;\;\;\in\;\;
  Graphs_n(\mathbb{R}^3)
  \,.
\end{displaymath}
\end{lemma}
\begin{proof}
Since [[tadpole]] graphs are vanishing graphs by Def. \ref{VanishingGraphs}, we may assume that each edge in $\Gamma$ has two distint vertices it ends on, for otherwise we have the zero element in the graph complex.

Now, since each edge has degree 2 (according to Def. \ref{DegreeOfAGraph}), we may think of each edge as contribution a degree +1 for each of its two vertices, via the coresponding half-edge ending on that vertex.

Since external vertices have degree 0, together with the half-edges that end on them they contribute a non-negative number to the total degree.

While internal vertices have degree -3 (according to Def. \ref{DegreeOfAGraph}), we have a vanishing graph if less than three edges meet at an internal vertex (by Def. \ref{VanishingGraphs}) and hence, once vanishing graphs have been quotiented out, also internal vertices together with the half-edges ending on them contribute a non-negative number to the total degree.

This proves the first claim.

For the second claim, recall from Example \ref{TrivalenGraphs} that a graph has degree 0 precisely if it is a disjoint union of a) isolated external vertices and b) trivalent graphs all whose vertices are internal.

But if there is any disjoint non-empty sub-graph with only internal vertices, the total graph is again a vanishing graph by Def. \ref{VanishingGraphs}, since it contains internal vertices not connected to any external vertex.

Hence the only non-vanishing graphs of degree 0 are those which have some isolated external vertices and nothing else.

\end{proof}
$\backslash$linebreak

\hypertarget{_2}{}\paragraph*{{$Graphs_n\big(  \mathbb{R}^2 \big)$}}\label{_2}

(\ldots{})

$\backslash$linebreak

\hypertarget{GraphComplexesModellingSpacesOfKnots}{}\subsubsection*{{\textbf{2)} Graph complexes modelling spaces of knots}}\label{GraphComplexesModellingSpacesOfKnots}

We discuss graph complexes $KnotGraphs(\Sigma)$ modelling the [[real cohomology]] of [[spaces of knots]] $Emb(S^1,\Sigma)$.

For the case of $\Sigma = \mathbb{R}^D$ these were originally hinted at in \hyperlink{Kontsevich93}{Kontsevich 93, Section 5} and discussed in detail in \hyperlink{CattaneoCottaRamusinoLongoni02}{Cattaneo, Cotta-Ramusino, Longoni 02} \hyperlink{CattaneoCottaRamusinoLongoni05}{05}, see also \hyperlink{BarNatan91}{Bar-Natan 91}. Review is in \hyperlink{Volic13}{Volić 13, Section 4}.

$\backslash$linebreak

\hypertarget{KnotGraphsDefinition}{}\paragraph*{{$KnotGraphs\big( \mathbb{R}^3 \big)$}}\label{KnotGraphsDefinition}

We state the definition of the graph complexes $KnotGraphs\big( \mathbb{R}^3\big)$ of \emph{knot graphs} (according to the \hyperlink{IdeaGraphComplexModelForSpacesOfKnots}{above}) associated with [[Euclidean space]] of [[dimension]] 3, following \hyperlink{CattaneoCottaRamusinoLongoni02}{Cattaneo, Cotta-Ramusino, Longoni 02} \hyperlink{CattaneoCottaRamusinoLongoni05}{05}.

The definition is almost exactly the same as that of $\oplus_n Graphs_n\big( \mathbb{R}^3\big)$ \hyperlink{GraphComplexForConfigurationsOfPointsInR3}{above}, except for the following two differences:

\textbf{1)} external vertices now carry degree -1, so that the formula \eqref{DegreeOfAGraph} for the degree of a graph is changed to

\begin{equation}
deg\big( [\Gamma]\big) 
  \;=\;
  (D-1) \cdot \#\!Edges 
  \;
  - D \cdot \#\!Vertices_{int}
  \;
  - 1 \cdot \#\!Vertices_{ext}
  \,,
\label{DegreeOfAKnoptGraph}\end{equation}
(\hyperlink{CattaneoCottaRamusinoLongoni02}{CCRL 02, (4.6)}, \hyperlink{Volic13}{Volić 13, Def. 4.3})

\textbf{2)} There is implicit a contractible edge from the $k$th to the $(k+1)$st external vertex (an \emph{arc}), in that the definition of the differential (Def. \ref{DifferentialOnGraphs}) regards these as contractible edges.

(\hyperlink{CattaneoCottaRamusinoLongoni02}{CCRL 02, 4.2}, \hyperlink{Volic13}{Volić 13, p. 35})

\textbf{3)} Apparently it must be understood that graphs whose labelling of external vertices differs by a cyclic permutation are identified. (?!)

(\ldots{})

\begin{example}
\label{KnotGraphCocycleOfOrder2}\hypertarget{KnotGraphCocycleOfOrder2}{}
\textbf{(knot graph cocycle of order 2)}

The differential in $KnotGraphs(\mathbb{R}^3)$ of the single trivalent internal vertext is a variant of that in $Graphs_3\big(\mathbb{R}^3\big)$ (Example \ref{ThreeTermRelation}) and that in $Graphs_0\big( \mathbb{R}^3\big)$ (Example \ref{DifferentialOfMinimalTrivalenVacuumGraph}):

Notice how the edges parallel to the outer dashed arcs do not make the graphs in the first line vanish, but the [[parallel edges]] appearing in the second line make vanishing graphs (Def. \ref{VanishingGraphs}).

In contrast, the differential of the diagram in $KnotGraphs(\mathbb{R}^3)$ consisting of just two overlapping chords gets contributions only from contraction of the four arcs:

In both cases, the identification of graphs whose external labels are ccyclically permutated identifies the right hand sides of both these coboundaries with multiples of one and the same element in the graph complex.

Accordingly, the corresponding linear combination

is a [[cocycle]] of degree 0 in $KnotGraphs(\mathbb{R}^3)$:

\end{example}
(\hyperlink{BarNatan91}{Bar-Natan 91, 4.3.2}, \hyperlink{CattaneoCottaRamusinoLongoni02}{Cattaneo, Cotta-Ramusino, Longoni 02, Figure 2})

$\backslash$linebreak $\backslash$linebreak

$\in H^0\Big( KnotGraphs\big( \mathbb{R}^3 \big) \Big)$

For the corresponding [[Feynman amplitude]] [[knot invariant]] see Prop. \ref{FirstKnotInvariantFromChernSimonsFeynmanAmplitude} below.

$\backslash$linebreak

\hypertarget{Properties}{}\subsection*{{Properties}}\label{Properties}

\begin{quote}%
under construction


\end{quote}
\hypertarget{RelationToConfigurationSpaces}{}\subsubsection*{{Cohomology of configuration spaces via Feynman diagrams}}\label{RelationToConfigurationSpaces}

Reading the graphs as [[Chern-Simons theory]] [[Feynman diagrams]], hence as instructions for [[configuration space of points|configuration space]]-[[integrals]] of [[wedge products]] of [[Feynman propagators]] assigned to [[edges]] in a graph, with [[propagators regarded as differential forms on configuration spaces]], yields a [[quasi-isomorphism]] from the graph complex to the [[real cohomology]] of [[configuration spaces of points]].

(\hyperlink{LambrechtsVolic14}{Lambrechts-Volić 14, Section 9})

\begin{displaymath}
\underset{
    \color{blue}
    \itexarray{
      \phantom{A}
      \\
      \text{graph complex}
      \\
      \text{of n-point Feynman diagrams}
      \\
      \text{for Chern-Simons theory}
      \\
      \text{on} \; \Sigma 
    }
  }{
    Graphs_n(\Sigma)
  }
  \underoverset{
    \simeq_{\mathrlap{qi}}
  }
  {
    \color{blue}
    \itexarray{
      \text{assign Feynman amplitudes}
      \\
      \text{of Chern-Simons theory}
      \\
      \text{by configuration-space integral}
      \\
      \text{of internal vertices over}\; \Sigma
      \\
      \phantom{A}
    }
  }
  {
    \longrightarrow
  }
  \underset{
    \color{blue}
    \itexarray{
      \phantom{A}
      \\
      \text{de Rham algebra}
      \\
      \text{of semi-algebraic differential forms}
      \\
      \text{on the FM-compactification}
      \\
      \text{of the configuration space of n points}
      \\
      \text{in}\; \Sigma
    }
  }{
  \Omega^\bullet_{PA}
  \big(
    \underset{{}^{1,\cdots,n}}{Conf}\big(  \Sigma \big)
  \big)
  }
  \,.
\end{displaymath}
\begin{prop}
\label{RealCohomologyOfConfigurationSpaceOfOrderedPointsInEuclideanSpace}\hypertarget{RealCohomologyOfConfigurationSpaceOfOrderedPointsInEuclideanSpace}{}
\textbf{([[real cohomology]] of configuration spaces of ordered points in [[Euclidean space]])}

The [[real cohomology|real]] [[cohomology ring]] of the configuration spaces

\begin{displaymath}
\underset{{}^{1,\cdots,n}}{Conf}\big( \mathbb{R}^D \big) 
  \;\coloneqq\;
  \big( \mathbb{R}^D \big)^n \setminus FatDiag
\end{displaymath}
of $n$ ordered points in [[Euclidean space]] $\mathbb{R}^D$ is [[generators and relations|generated]] by elements

\begin{displaymath}
\omega_{i j}
  \;\;
  \in
  H^2
  \Big(
    \underset{{}^{1,\cdots,n}}{Conf}\big( \mathbb{R}^D \big),
    \mathbb{R}
  \Big)
\end{displaymath}
for $i, j \in \{1, \cdots, n\}$

subject to these three [[generators and relations|relations]]:

\begin{enumerate}%
\item $\omega_{i j} = (-1)^D \omega_{j i}$;


\item $\omega_{i j} \wedge \omega_{i j} \;=\; 0$;


\item $\omega_{i j} \wedge \omega_{j k} + \omega_{j k} \omega_{k i} + \omega_{k i} \wedge \omega_{i j} = 0$.



\end{enumerate}
Hence:

\begin{displaymath}
H^\bullet
  \Big(
    \underset{{}^{1,\cdots,n}}{Conf}\big( \mathbb{R}^D \big),
    \mathbb{R}
  \Big)
  \;\simeq\;
  \mathbb{R}\Big[ \big\{\omega_{i j} \big\}_{i, j \in \{1, \cdots, n\}} \Big]
  \Big/
  \left(
    \itexarray{
      \omega_{i j} = (-1)^D \omega_{j i}
      \\
      \omega_{i j} \wedge \omega_{i j} = 0
      \\
      \omega_{i j} \wedge \omega_{j k} + \omega_{j k} \omega_{k i} + \omega_{k i} \wedge \omega_{i j} = 0    
     }
     \;\;
     \text{for}\;
     i,j \in \{1, \cdots, n\}
  \right)
\end{displaymath}
\end{prop}
This is due to \href{configuration+space+of+points#Arnold69}{Arnold 69}, \href{configuration+space+of+points#Cohen73}{Cohen 73}.

\newline | $\omega_{i j} = - \omega_{j i}$ | graph changes sign when edge is reversed (Def. \ref{SignRulesForGraphs}) | | $\omega_{i j} \wedge \omega_{i j} \;=\; 0$ | graph with [[parallel edges]] vanishes (Def. \ref{VanishingGraphs}) |\newline | $\omega_{i j} \wedge \omega_{j k} + \omega_{j k} \omega_{k i} + \omega_{k i} \wedge \omega_{i j} = 0$ | coboundary of trivalent vertex (Example \ref{ThreeTermRelation}) |

$\backslash$linebreak

\hypertarget{cohomology_of_knot_space__higher_vassiliev_invariants}{}\subsubsection*{{Cohomology of knot space / higher Vassiliev invariants}}\label{cohomology_of_knot_space__higher_vassiliev_invariants}

The [[Feynman amplitudes]] of knot graphs (as \hyperlink{KnotGraphsDefinition}{above}) are [[Vassiliev knot invariants]].

This was originally hinted at in \hyperlink{Kontsevich93}{Kontsevich 93, Section 5}. Details are in \hyperlink{CattaneoCottaRamusinoLongoni02}{Cattaneo, Cotta-Ramusino, Longoni 02}. Review is in \hyperlink{Volic13}{Volić 13, Section 4}.

\begin{displaymath}
\underset{
    \color{blue}
    \itexarray{
      \phantom{A}
      \\
      \text{graph complex}
      \\
      \text{of n-point Feynman diagrams}
      \\
      \text{for Chern-Simons theory}
      \\
      \text{on} \; \Sigma 
    }
  }{
    KnotGraphs(\Sigma)
  }
  \underoverset{
  }
  {
    \color{blue}
    \itexarray{
      \text{assign Feynman amplitudes}
      \\
      \text{of Chern-Simons theory}
      \\
      \text{by configuration-space integral}
      \\
      \text{of internal vertices over}\; \Sigma
      \\
      \text{and of external vertices along the knot}
      \\
      \phantom{A}
    }
  }
  {
    \longrightarrow
  }
  \underset{
    \color{blue}
    \itexarray{
      \phantom{A}
      \\
      \text{de Rham algebra of}
      \\
      \text{space of knots in}\; \Sigma
    }
  }{
  \Omega^\bullet_{PA}
  \big(
    Emb\big( S^1, \Sigma\big)
  \big)
  }
  \,.
\end{displaymath}
\begin{prop}
\label{FirstKnotInvariantFromChernSimonsFeynmanAmplitude}\hypertarget{FirstKnotInvariantFromChernSimonsFeynmanAmplitude}{}
\textbf{([[knot invariant]] from [[Chern-Simons theory]] [[Feynman amplitude]])}

The [[Feynman amplitude]] of the knot graph cocycle [[Feynman diagram]] from Example \ref{KnotGraphCocycleOfOrder2}, in [[Chern-Simons theory]] with a [[Wilson loop]] [[knot]], is a [[knot invariant]]:

\end{prop}
This is due to \hyperlink{GuadagniniMartelliniMintchev89}{Guadagnini-Martellini-Mintchev 89} and \hyperlink{BarNatan91}{Bar-Natan91}, recalled im \hyperlink{Volic13}{Volić 13, Theorem 3.3.5}.

$\backslash$linebreak

Various authors discuss Vassiliev invariants in terms of graphs subject to the ``STU-relation'' (\hyperlink{Kontsevich93}{Kontsevich 93, Figure 8} \href{Vassiliev+invariant#BarNatan95}{Bar-Natan 95, Figure 3}) and the ``IHX-relation'' which it implies (\href{Vassiliev+invariant#BarNatan95}{Bar-Natan 95, Theorem 6})

\begin{quote}%
graphics grabbed from \hyperlink{Kontsevich93}{Kontsevich 93}


\end{quote}
That these relations characterize the cohomology of the knot-graph complex in the respective degrees is shown in \hyperlink{KoytcheffMunsonVolic13}{Koytcheff-Munson-Volic 13, Section 3.4}

\begin{quote}%
graphics grabbed from \hyperlink{KoytcheffMunsonVolic13}{Koytcheff-Munson-Volic 13}


\end{quote}
\hypertarget{further_applications}{}\subsection*{{Further applications}}\label{further_applications}

\ldots{}moduli spaces

\ldots{}deformation theory

\ldots{}Rozansky-Witten theory

\ldots{}description of the classifying space $BOut(F_n)$ of the group of outer automorphisms of a free group with $n$ generators

\ldots{} another graph complex controls the universal $L_\infty$-deformations of the space of polyvector fields.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[configuration space of points]], [[space of knots]]


\item [[Fulton-MacPherson operad]]


\item [[Chern-Simons propagator]]


\item [[correlator as differential form on configuration space of points]]


\item [[Kontsevich formality]]


\item [[Rozansky-Witten theory]]


\item [[formal noncommutative symplectic geometry]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

\hypertarget{general}{}\subsubsection*{{General}}\label{general}

The rough definition of the graph complex, and its relation to [[Chern-Simons theory]] [[Feynman amplitudes]] and [[Vassiliev knot invariants]] was sketched in

\begin{itemize}%
\item [[Maxim Kontsevich]], pages 11-12 of \emph{Feynman diagrams and low-dimensional topology}, First European Congress of Mathematics, 1992, Paris, vol. II, Progress in Mathematics \textbf{120}, Birkh\"a{}user (1994), 97--121 (\href{http://www.ihes.fr/~maxim/TEXTS/Feynman%20%20diagrams%20and%20low-dimensional%20topology.pdf}{pdf})


\item [[Maxim Kontsevich]], Section 5 of: \emph{Vassiliev's knot invariants}, Advances in Soviet Mathematics, Volume 16, Part 2, 1993 (\href{http://pagesperso.ihes.fr/~maxim/TEXTS/VassilievKnot.pdf}{pdf}, [[KontsevichVassilievInvariants93.pdf:file]])


\item [[Maxim Kontsevich]], around Def. 15 and Lemma 3 in \emph{Operads and Motives in Deformation Quantization}, Lett. Math. Phys. 48 35-72, 1999 (\href{https://arxiv.org/abs/math/9904055}{arXiv:math/9904055})



\end{itemize}
\hypertarget{as_a_rational_model_for_configuration_spaces}{}\subsubsection*{{As a rational model for configuration spaces}}\label{as_a_rational_model_for_configuration_spaces}

A clean account and proof of the graph complex as a model for the [[rational homotopy type]] of the [[Fulton-MacPherson compactification]] of [[configuration spaces of points]] (exhibiting the [[formal smooth manifold|formality]] of the [[little n-disk operads]]) is in

\begin{itemize}%
\item [[Pascal Lambrechts]], [[Ismar Volić]], sections 6 and 7 and 9 of: \emph{Formality of the little N-disks operad}, Memoirs of the American Mathematical Society no. 1079, 2014 (\href{https://arxiv.org/abs/0808.0457}{arxiv:0808.0457}, \href{http://dx.doi.org/10.1090/memo/1079}{doi:10.1090/memo/1079})

\end{itemize}
Discussion as a direct model for the rationalized [[homotopy groups]] of the [[configuration space of points]]:

\begin{itemize}%
\item [[Pascal Lambrechts]], [[Victor Tourtchine]], \emph{Homotopy graph-complex for configuration and knot spaces}, Transactions of the AMS, Volume 361, Number 1, January 2009, Pages 207–222 (\href{https://arxiv.org/abs/math/0611766}{arxiv:math/0611766})

\end{itemize}
further review:

\begin{itemize}%
\item [[Benoit Fresse]], \emph{Little discs operads, graph complexes and Grothendieck--Teichmüller groups}, in [[Haynes Miller]] (ed.) \emph{[[Handbook of Homotopy Theory]]} (\href{https://arxiv.org/abs/1811.12536}{arXiv:1811.12536})

\end{itemize}
Further discussion of the graph complex as a model for the [[de Rham cohomology]] of [[configuration spaces of points]] is in

\begin{itemize}%
\item [[Najib Idrissi]], \emph{The Lambrechts-Stanley Model of Configuration Spaces}, Invent. Math, 2018 (\href{https://arxiv.org/abs/1608.08054}{arXiv:1608.08054}, \href{https://dx.doi.org/10.1007/s00222-018-0842-9}{doi:10.1007/s00222-018-0842-9})


\item [[Ricardo Campos]], [[Thomas Willwacher]], \emph{A model for configuration spaces of points} (\href{https://arxiv.org/abs/1604.02043}{arXiv:1604.02043})


\item [[Ricardo Campos]], \emph{Batalin-Vilkovisky formality and configuration spaces of points}, 2017 (\href{https://doi.org/10.3929/ethz-a-010886114}{doi:10.3929/ethz-a-010886114})


\item [[Ricardo Campos]], [[Najib Idrissi]], [[Pascal Lambrechts]], [[Thomas Willwacher]], \emph{Configuration Spaces of Manifolds with Boundary} (\href{https://arxiv.org/abs/1802.00716}{arXiv:1802.00716})


\item [[Ricardo Campos]], Julien Ducoulombier, [[Najib Idrissi]], [[Thomas Willwacher]], \emph{A model for framed configuration spaces of points} (\href{https://arxiv.org/abs/1807.08319}{arXiv:1807.08319})



\end{itemize}
See also

\begin{itemize}%
\item [[Maxim Kontsevich]], \emph{Rozansky--Witten invariants via formal geometry}, Compositio Mathematica \textbf{115}: 115--127, 1999, \href{http://dx.doi.org/10.1023/A:1000619911308}{doi}, \href{http://arxiv.org/abs/dg-ga/9704009}{arXiv:dg-ga/9704009}


\item [[Andrey Lazarev]], \emph{Operads and topological conformal field theories}, \href{http://www.maths.lancs.ac.uk/~lazarev/1-10.pdf}{pdf}; and older versio: \emph{Graduate lectures on operads and topological field theories}, zip file with 11 pdfs, \href{http://www2.le.ac.uk/departments/mathematics/extranet/staff-material/staff-profiles/al179/New%20Folder.zip}{over 5 Mb}


\item [[Alastair Hamilton]], \emph{A super-analogue of Kontsevich's theorem on graph homology}, Lett. Math. Phys. \textbf{76} (2006), no. 1, 37--55, \href{http://arxiv.org/abs/math/0510390}{math.QA/0510390}


\item A. Lazarev, [[Alexander Voronov]], \emph{Graph homology: Koszul and Verdier duality} (\href{http://arxiv.org/abs/math/0702313}{math.QA/0702313})


\item [[Mikhail Movshev]], \emph{A definition of graph homology and graph K-theory of algebras} (\href{http://arxiv.org/abs/math/9911111}{math.KT/9911111})


\item [[Kiyoshi Igusa]], \emph{Graph cohomology and Kontsevich cycles}, Topology \textbf{43} (2004), n. 6, p. 1469-1510, \href{http://www.ams.org/mathscinet-getitem?mr=2005d:57028}{MR2005d:57028}, \href{http://dx.doi.org/10.1016/j.top.2004.03.004}{doi}


\item [[Vasily Dolgushev]], [[Christopher Rogers]], [[Thomas Willwacher]], \emph{Kontsevich's graph complex, GRT, and the deformation complex of the sheaf of polyvector fields} (\href{http://arxiv.org/abs/1211.4230}{arxiv/1211.4230})


\item [[Damien Calaque]], Carlo A. Rossi, \emph{Lectures on [[Duflo isomorphism]]s in Lie algebra and complex geometry}, European Math. Soc. 2011


\item [[Sergei Merkulov]], \emph{Graph complexes with loops and wheels}, in (Manin's Festschrift:) Algebra, Arithmetic, and Geometry, Progress in Mathematics \textbf{270} (2009) 311-354, \href{http://dx,doi.org/10.1007/978-0-8176-4747-6_10}{doi}, \href{http://www2.math.su.se/~sm/Papers/graph_complexes.pdf}{pdf}


\item [[Martin Markl]], [[Sergei Merkulov]], S. Shadrin, \emph{Wheeled PROPs, graph complexes and the master equation}, J. Pure Appl. Algebra, 213(4):496–535, 2009, \href{https://arxiv.org/abs/math/0610683}{math.AT/0610683}



\end{itemize}
The following survey has discussion of context between the graph complex and [[Batalin-Vilkovisky formalism]]:

\begin{itemize}%
\item Jian Qiu, Maxim Zabzine, \emph{Introduction to graded geometry, Batalin-Vilkovisky formalism and their applications}, \href{http://arxiv.org/abs/1105.2680}{arxiv/1105.2680}


\item Jian Qiu, Maxim Zabzine, \emph{Knot weight systems from graded symplectic geometry}, \href{http://arxiv.org/abs/1110.5234}{arxiv/1110.5234}


\item [[Alastair Hamilton]], [[Andrey Lazarev]], \emph{Graph cohomology classes in the [[BV-BRST formalism|Batalin-Vilkovisky formalism]]}, J.Geom.Phys. \textbf{59}:555-575, 2009, \href{http://arxiv.org/abs/math/0701825}{arxiv/0701825}



\end{itemize}
\hypertarget{as_construction_of_higher_order_vassiliev_invariants}{}\subsubsection*{{As construction of higher order Vassiliev invariants}}\label{as_construction_of_higher_order_vassiliev_invariants}

Discussion of the graph complex as computing higher order [[Vassiliev invariants]], hence the [[real cohomology]] of spaces of [[knots]] (with the cohomology in degree-0 being the ordinary [[Vassiliev invariants]]):

\begin{itemize}%
\item \hyperlink{Kontsevich93}{Kontsevich 93, Section 5}


\item [[Alberto Cattaneo]], Paolo Cotta-Ramusino, Riccardo Longoni, \emph{Configuration spaces and Vassiliev classes in any dimension}, Algebr. Geom. Topol. 2 (2002) 949-1000 (\href{https://arxiv.org/abs/math/9910139}{arXiv:math/9910139})


\item [[Alberto Cattaneo]], Paolo Cotta-Ramusino, Riccardo Longoni, \emph{Algebraic structures on graph cohomology}, Journal of Knot Theory and Its Ramifications, Vol. 14, No. 5 (2005) 627-640 (\href{https://arxiv.org/abs/math/0307218}{arXiv:math/0307218}, \href{http://dx.doi.org/10.1142/S0218216505004019}{doi:10.1142/S0218216505004019}, \href{http://arxiv.org/abs/math/0307218}{math.GT/0307218}, \href{http://www.ams.org/mathscinet-getitem?mr=2006g:58021}{MR2006g:58021})


\item E. Guadagnini, E. Martellini, M. Mintchev, \emph{Chern-Simons field theory and link invariants}, In: \emph{Knots, Topology and QuantumField Theories}, Proceedings of the Johns Hopkins Workshop onCurrent Problems in Particle Theory 13, Florence (1989), World Scientific (\href{https://doi.org/10.1142/9789814540742}{doi:10.1142/9789814540742})


\item [[Dror Bar-Natan]], \emph{Perturbative aspects of the Chern-Simons topological quantum field theory}, thesis 1991 (\href{http://inspirehep.net/record/323500}{spire:323500}, \href{https://search.proquest.com/docview/303979053}{proquest:303979053}, [[BarNatanPerturbativeCS91.pdf:file]])



\end{itemize}
Reviewed in:

\begin{itemize}%
\item [[Ismar Volić]], Section 4 of: \emph{Configuration space integrals and the topology of knot and link spaces}, \href{https://fdocuments.co/amp/document/morfismos-vol-17-no-2-2013.html}{Morfismos, Vol 17, no 2, 2013} (\href{https://arxiv.org/abs/1310.7224}{arxiv:1310.7224})

\end{itemize}
\hypertarget{coproduct}{}\subsubsection*{{Coproduct}}\label{coproduct}

Discussion of [[coproducts]] on a graph complex, given by decomposition of graphs into subgraphs and contractions of subgraphs:

\begin{itemize}%
\item [[Lucian Ionescu]], \emph{Perturbative Quantum Field Theory and Configuration Space Integrals}, In: John Byden, \emph{Advances in Topological Quantum Field Theory} (\href{https://arxiv.org/abs/hep-th/0307062}{arXiv:hep-th/0307062}, \href{https://link.springer.com/book/10.1007/978-1-4020-2772-7}{doi:10.1007/978-1-4020-2772-7})


\item [[Lucian Ionescu]], \emph{Cohomology of Feynman graphs and perturbative quantum field theory}, In: O. Kovras, \emph{Focus on Quantum Field Theory}, Nova Publishers Inc. 2004, (\href{https://arxiv.org/abs/math/0506142}{arXiv:math/0506142})



\end{itemize}
\hypertarget{ReferencesCohomology}{}\subsubsection*{{Cohomology}}\label{ReferencesCohomology}

On the [[cochain cohomology]] of [[graph complexes]]:

Characterization of cohomology of (\ldots{}) in terms of STU- and HKX-relations:

\begin{itemize}%
\item Robin Koytcheff, Brian A. Munson, [[Ismar Volić]], Section 3.4 of: \emph{Configuration space integrals and the cohomology of the space of homotopy string links}, J. Knot Theory Ramif. 22, no. 11, 73 pp. (2013) (\href{https://arxiv.org/abs/1109.0056}{arXiv:1109.0056})

\end{itemize}
Concrete examples of cohomology classes in certain bi-degrees in $Graphs_0(\mathbb{R}^2)$ by [[computer experiment]]:

\begin{itemize}%
\item [[Dror Bar-Natan]], [[Brendan McKay]], \emph{Graph cohomology -- An overview and some computations} ([[BarNatanMcKayGraphCohomology.pdf:file]])

\end{itemize}
$H^0\big( Graphs_0(\mathbb{R}^2) \big)$ is the [[Lie algebra]] of the [[Grothendieck-Teichmüller group]]:

\begin{itemize}%
\item [[Thomas Willwacher]], \emph{M. Kontsevich's graph complex and the Grothendieck-Teichmueller Lie algebra}, Invent. math. (2015) 200: 671 (\href{http://arxiv.org/abs/1009.1654}{arxiv:1009.1654})


\item [[Vasily Dolgushev]], [[Christopher Rogers]], \emph{Notes on Algebraic Operads, Graph Complexes, and Willwacher's Construction}, In: Mathematical aspects of quantization 583 (2012): 25-145. (\href{https://arxiv.org/abs/1202.2937}{arXiv:1202.2937})


\item [[Vasily Dolgushev]], \emph{A manifestation of the Grothendieck-Teichmuellergroup in geometry} (\href{https://math.temple.edu/~vald/AMSslides.pdf}{slides pdf})



\end{itemize}
More:

\begin{itemize}%
\item Anton Khoroshkin, [[Thomas Willwacher]], Marko Živković, \emph{Differentials on graph complexes} (\href{https://arxiv.org/abs/1411.2369}{arXiv:1411.2369})

\end{itemize}
[[!redirects graph complexes]]

[[!redirects graph homology]] [[!redirects graph homology group]] [[!redirects graph homology groups]]

[[!redirects graph cohomology]] [[!redirects graph cohomology group]] [[!redirects graph cohomology groups]]



\end{document}