\documentclass[10pt,notitlepage]{article}
\usepackage[english,greek]{babel}
\usepackage{amsmath,graphicx,amssymb,datetime,multicol,stmaryrd,amscd}
\usepackage{txfonts}	% for the likes of \coloneqq.
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage[all]{xy}

% Following http://tex.stackexchange.com/a/847/22475:
\usepackage[setpagesize=false]{hyperref}
\hypersetup{colorlinks,
  linkcolor={blue!50!black},
  citecolor={blue!50!black},
  urlcolor=blue
}

\def\navigator{{Dror Bar-Natan: Talks: Fields-1411:}}
\def\webdef{{{\greektext web}$\coloneqq$\url{http://www.math.toronto.edu/~drorbn/Talks/Fields-1411/}}}
\def\web#1{{\href{http://www.math.toronto.edu/drorbn/Talks/Fields-1411/#1}{{\greektext web}/#1}}}

\def\blue{\color{blue}}
\def\green{\color{green}}
\def\purple{\color{purple}}
\def\red{\color{red}}
\def\cbox#1#2{{\setlength{\fboxsep}{0pt}\colorbox{#1}{#2}}}

\def\arXiv#1{{\href{http://front.math.ucdavis.edu/#1}{arXiv:#1}}}

\def\bbQ{{\mathbb Q}}
\def\bbR{{\mathbb R}}
\def\bbZ{{\mathbb Z}}
\def\calA{{\mathcal A}}
\def\calD{{\mathcal D}}
\def\calG{{\mathcal G}}
\def\calK{{\mathcal K}}
\def\calO{{\mathcal O}}
\def\frakg{{\mathfrak g}}
\def\gr{{\operatorname{gr}}}

%%%

\def\Abstract{{\raisebox{1.5mm}{\parbox[t]{3.96in}{
\parshape 6 0in 2.85in 0in 2.85in 0in 2.85in 0in 2.85in 0in 2.85in 0in 3.96in
{\red Abstract.} \normalsize I will describe my former student's Jonathan
Zung work on finite type invariants of ``doodles'', plane curves modulo the
second Reidemeister move but not modulo the third. We use a definition of
``finite type'' different from Arnold's and more along the lines of
Goussarov's ``Interdependent Modifications'', and come to a conjectural
combinatorial description of the set of all such invariants. We then
describe how to construct many such invariants (though perhaps not all)
using a certain class of 2-dimensional ``configuration space integrals''.
\hfill{\purple An unfinished project!}
}}}}

\def\PriorArt{{\raisebox{1.5mm}{\parbox[t]{3.96in}{
\parshape 5 0in 2.75in 0in 2.75in 0in 2.75in 0in 2.75in 0in 3.96in
{\red Prior Art.} Arnold \cite{Arnold:PlaneCurves} first studied doodles
within his study of plane curves and the ``strangeness'' ${\mathit
St}$ invariant.  Vassiliev \cite{Vassiliev:TriplePointFree,
Vassiliev:Ornaments} defined finite type invariants in a different way,
and Merkov \cite{Merkov:PlaneCurvesAndDoodles} proved that they separate
doodles.
}}}}

\def\dnd{{doodles and {\red detours} (dnd's)}}
\def\GFT{{\raisebox{2mm}{\parbox[t]{4in}{
{\red Def.} $V$ is of type $n$ if it vanishes on $\calK_{n+1}$.
\hfill$(\calK_0/\calK_{n+1})^\star \leftrightsquigarrow
  \calK_n/\calK_{n+1}$
}}}}

\def\Goals{{\raisebox{2mm}{\parbox[t]{3.96in}{
{\red Goals.}
$\bullet$ Describe $\calA_n\coloneqq\calK_n/\calK_{n+1}$ using
diagrams/relations.
$\bullet$ Get many or all finite type invariants of doodles using
configurations space integrals.
$\bullet$ Do these come from a TQFT?
$\bullet$ See if $\calA_n$ has a ``Lie theoretic'' (tensors/relations)
meaning.
$\bullet$ See if/how Arnold's ${\mathit St}$ and the Merkov invariants
integrate in.
}}}}

\def\SummaryDiagram{{\raisebox{1.5mm}{\parbox[t]{3.96in}{
{\red Summary Diagram.} {\green MC: (Multi-Commutator) relations.}
\[ \xymatrix{
  & \calK \ar[dr]^-{Z} \ar@{=>}[d] \\
  \calD^c/MC \eqqcolon \calA^c \ar@{->>}[r]^-{\pi} \ar@/_1.5pc/[rr]^-{T}
  & \gr\calK \ar[r]^-{\gr Z}
  & \calA^t \coloneqq \calD^t/{\mathit FDR} \ar@{->>}[r]^-{?}
  & \calA^c
} \]
}}}}

\def\Notes{{\raisebox{2mm}{\parbox[t]{3.96in}{
{\red Notes.}\begin{itemize}
\item Where does Arnold's strangeness fit in?
\item Perhaps I should put in the Merkov constructions?
\item Nearby objects: ``virtual doodles'', doodles with dots, planar graphs
of various kinds, flat braids.
\end{itemize}
}}}}

\def\Virtual{{\raisebox{2mm}{\parbox[t]{3.96in}{
{\red Jonathan's Comment.}
It seems that the configuration space integrals we defined are more
naturally invariants of virtual doodles. Virtual doodles are doodles with
some ordinary crossings and some virtual crossings, with the relation
that triple points having three virtual crossings are allowed. (Caution:
virtual doodles are not Gauss diagrams modulo Reidemeister 2.)

The integrals we defined are invariants for virtual doodles, if we use
the rule that the Gauss diagram skeleton is not allowed to use virtual
crossings.

What kinds of chords do our integrals detect? They detect ``semi-virtuals
with outer rings''.

(Conjectured) Punchline: Relations on Feynman diagrams correspond with
relations on chord diagrams.  This is just a matter of carefully checking
the analogues of the relations we already knew. What makes this work
here and not in the original theory is that we have degree 2 chords,
the semi-virtuals.

What would be nice is a clean formulation of finite type for virtual
doodles yielding chords which are ``semi-virtuals with outer rings''.
}}}}

\input refs.tex

\def\issues{{\raisebox{2mm}{\parbox[t]{4in}{
{\red Issues.}\begin{itemize}
\item 
\end{itemize}
}}}}

\paperwidth 8.5in
\paperheight 11in
\textwidth 8.5in
\textheight 11in
\oddsidemargin -1in
\evensidemargin \oddsidemargin
\topmargin -1in
\headheight 0in
\headsep 0in
\footskip 0in
\parindent 0in
\setlength{\topsep}{0pt}
\pagestyle{empty}

\begin{document} \latintext
%\setlength{\jot}{0ex}
\setlength{\abovedisplayskip}{0.5ex}
\setlength{\belowdisplayskip}{0.5ex}
\setlength{\abovedisplayshortskip}{0ex}
\setlength{\belowdisplayshortskip}{0ex}

\begin{center}
\null\vfill \input{Doodles1.pstex_t} \vfill\null
\newpage \null\vfill \input{Doodles2.pstex_t} \vfill\null
\newpage \null\vfill \input{Doodles3.pstex_t} \vfill\null
\end{center}

\end{document}

\endinput