\documentclass[11pt,notitlepage]{article}
\usepackage{graphicx, datetime, multicol, qrcode,
  stmaryrd, % for \sslash
  mathbbol, % for \bbe.
  amsthm % for \theoremstyle
}
\usepackage[margin=0.25in,foot=0.2in]{geometry}
% 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\sheeturl{{\url{http://drorbn.net/AcademicPensieve/Projects/Fame}}}
\def\myurl{http://www.math.toronto.edu/~drorbn}

\def\blue{\color{blue}}
\def\green{\color{green}}
\def\red{\color{red}}

\def\bbe{\mathbb{e}}
\def\bbH{{\mathbb H}}
\def\bbN{{\mathbb N}}
\def\bbQ{{\mathbb Q}}
\def\bbZ{{\mathbb Z}}
\def\calA{{\mathcal A}}
\def\calR{{\mathcal R}}
\def\calT{{\mathcal T}}
\def\calV{{\mathcal V}}
\def\calX{{\mathcal X}}
\def\calY{{\mathcal Y}}

\def\act{{\hspace{-1pt}\sslash\hspace{-0.75pt}}}
\def\arXiv#1{{\href{http://arxiv.org/abs/#1}{{\tiny arXiv:}\linebreak[0]{\small #1}}}}
\def\eps{\epsilon}
\def\Hom{\operatorname{Hom}}
\def\qed{{\linebreak[1]\null\hfill\text{$\Box$}}}
\def\yellowm#1{{\setlength{\fboxsep}{0pt}\colorbox{yellow}{$#1$}}}
\def\yellowt#1{{\setlength{\fboxsep}{0pt}\colorbox{yellow}{#1}}}

\theoremstyle{remark}
\newtheorem{achiev}{Achievement}

\def\regref#1{{\blue$\to$R\ref{reg:#1}}}

\begin{document}
\parindent 0in

%\parbox[b]{4in}{
%  {\tiny Dror Bar-Natan: MAT 1350 Knot Theory: \LARGE\bf Tentative Plan}
%  }
\parbox[b]{5in}{\tiny
  \href{http://www.math.toronto.edu/~drorbn}{Dror Bar-Natan}:
  \href{http://www.math.toronto.edu/~drorbn/Profile}{Profile}:
  \LARGE\bf Achievements to September 2021}
\hfill\parbox[b]{3in}{\tiny
  \null\hfill\sheeturl
  \newline\null\hfill initiated Sept.\ 7, 2021; modified \shortdate\today, \ampmtime
}


\vskip -3mm
\rule{\linewidth}{1pt}
\vspace{-8mm}

\begin{multicols*}{2}

{\large\bf Mathematical Publications.}

\begin{achiev} My paper ``On the Vassiliev Knot Invariants'' (Topology {\bf 34} (1995) 423--472) was for many years (until books appeared) the ``standard reference'' on finite-type (Vassiliev) knot invariants. Google Scholar thinks it was cited 1,219 times.
\end{achiev}

\begin{achiev} My paper with S.~Garoufalidis, ``On the Melvin-Morton-Rozansky Conjecture'' (Inventiones Mathematicae {\bf 125} (1996) 103--133, 201 citations) resolved a conjecture by Melvin and Morton (further elucidated by Rozansky) and showed that the Alexander polynomial of a knot can be read from the coloured Jones polynomial of the same knot. This conjecture was since re-proven a number of times and it serves as the basis for much further study.
\end{achiev}

\begin{achiev} My paper ``Lie Algebras and the Four Color Theorem'' (Combinatorica {\bf 17-1} (1997) 43--52) is a gem and nothing more. It shows that the famed four colour theorem is equivalent to an appealing statement about Lie algebras.
\end{achiev}

\begin{achiev} My paper ``On Associators and the Grothendieck-Teichm\"uller Group I'' (Selecta Mathematica, New Series {\bf 4} (1998) 183--212, 129 citations) established that the Grothendieck-Teichm\"uller group is a group of automorphisms of a certain algebraic structure related to braid theory, thus explaining many of its properties.
\end{achiev}

\begin{achiev} My series of papers with S.~Garoufalidis, D.~Thurston, and L.~Rozansky, ``The \AA rhus integral of rational homology 3-sphere'' (Selecta Mathematica, New Series {\bf 8} (2002) 315--339, {\bf 8} (2002) 341--371, and {\bf 10} (2004) 305-324, 175 citations) introduced used diagrammatic Gaussian integration to construct a universal finite type invariant of rational homology spheres.
\end{achiev}

\begin{achiev} My paper ``On Khovanov's Categorification of the Jones Polynomial'' (Algebraic and Geometric Topology {\bf 2-16} (2002) 337--370, 529 citation) was and perhaps still is the standard introduction to Khovanov homology of knots and links. It was also the first place where Khovanov homology was shown to be stronger than the Jones polynomial.
\end{achiev}

\begin{achiev} My papers ``Khovanov's Homology for Tangles and Cobordisms'' (Geometry and Topology {\bf 9} (2005) 1443--1499, 464 citations) and ``Fast Khovanov Homology Computations'' (Journal of Knot Theory and its Ramifications, {\bf 16-3} (2007) 243--255, 142 citations) use a highly abstract category theory construction to generalize Khovanov homology to tangles (``halves of knots''). Abstract as it may be it is very efficiently computable and the programs derived from it (written by me and/or under my supervision) remain the key to the application of Khovanov homology to 3- and 4-dimensional topology.
\end{achiev}

\begin{achiev} My paper with S.~Selmani, ``Meta-Monoids, Meta-Bicrossed Products, and the Alexander Polynomial'' (Journal of Knot Theory and its Ramifications {\bf 22--10} (2013) 15 pages) introduces an extension of the Alexander polynomial to tangles and along with it the fastest known algorithm to compute the Alexander polynomial.
\end{achiev}

\begin{achiev} My series of papers on w-knots, some joint with Z.~Dancso (Acta Mathematica Vietnamica {\bf 40-2} (2015) 271--329, Algebraic and Geometric Topology {\bf 16-2} (2016) 1063--1133, Mathematische Annalen {\bf 367} (2017) 1517--1586, \arXiv{1511.05624}, and in preparation) establish that ``w-knots'', a certain class of 2-dimensional knots in 4-dimensional space, are closely related to the ``Kashiwara-Vergne Conjecture'' (proven by Alekseev and Meinrenken), a fundamental structural result about general finite dimensional Lie algebras.
\end{achiev}

\begin{achiev} My series of papers with R.~van der Veen (Proc.\ Amer.\ Math. Soc.\ {\bf 147} (2019) 377--397, \arXiv{2109.02057}, and in preparation) represent the achievement {\bf I'm the most proud of,} though it is not yet fully written and hence not yet fully recognized by others. By using ``solvable approximations of Lie algebras'' and a fully algebraic version of Gaussian perturbation theory we construct a strong (in a measurable sense) poly-time computable (and hence real-life computable) invariant of knots that has good algebraic properties (in a quantifiable sense, leading to topological applications).
\end{achiev}

\vskip 5mm
{\large\bf Other Achievements.}

\begin{achiev} I maintain a very rich mathematical web site consisting of several tens of thousands of pages, programs, documents, and images.
\end{achiev}

\begin{achiev} With S.~Morrison I maintain the ``Knot Atlas'', a wikipedia-style resource for information about knots and knot theory.
\end{achiev}

\begin{achiev} Over the years I've given several hundred invited lectures! I am especially proud of my \href{http://www.math.toronto.edu/~drorbn/Talks/Portfolio/}{Handout Portfolio}.
\end{achiev}

\begin{achiev} I have supervised around 35 student projects at all levels.
\end{achiev}

\begin{achiev} Along with M.~Bar-Hillel, G.~Kalai, B.~McKay (e.g.\ Statistical Science {\bf 14-2} (1999) 150--173), I played a role in debunking ``the Bible code'', a misuse of statistics to ``prove'' a religious agenda which managed to get published in a mainstream statistics journal.
\end{achiev}

\end{multicols*}

\end{document}


