--- a/.hgignore	Sun Jun 20 11:00:26 2010 -0700
+++ b/.hgignore	Sun Jun 20 11:00:57 2010 -0700
@@ -7,6 +7,8 @@
 *.out
 *.toc
 *.synctex.gz
+*.nav
+*.snm
 
 # artifacts
 blob1.pdf

--- a/preamble.tex	Sun Jun 20 11:00:26 2010 -0700
+++ b/preamble.tex	Sun Jun 20 11:00:57 2010 -0700
@@ -5,11 +5,7 @@
 \usepackage{amsmath,amssymb,amsfonts,amsthm}
 \usepackage{ifpdf}
 
-%\ifpdf
-%\usepackage[pdftex,all,color]{xy}
-%\else
 \usepackage[all,color]{xy}
-%\fi
 
 \usepackage[section]{placeins}
 \usepackage{leftidx}
@@ -59,21 +55,16 @@
 \newtheorem{cor}[prop]{Corollary}
 \newtheorem*{cor*}{Corollary}
 \newtheorem*{exc}{Exercise}
-%\theoremstyle{definition}
 \newtheorem{defn}[prop]{Definition}         % numbered definition
 \newtheorem*{defn*}{Definition}             % unnumbered definition
 \newtheorem{question}{Question}
 \newtheorem{property}{Property}
 \newtheorem{axiom}{Axiom}
 \newtheorem{module-axiom}{Module Axiom}
-%\newenvironment{axiom-numbered}[2]{\textbf{Axiom #1(#2)}\it}{}
-%\newenvironment{preliminary-axiom}[2]{\textbf{Axiom #1 [preliminary] (#2)}\it}{}
-\newtheorem{example}[prop]{Example}
-%\newenvironment{example}[1]{\textbf{Example (#1)}}{} %% how do you do numbering?
 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
 \numberwithin{equation}{section}
-%\numberwithin{figure}{section}
-%\newtheorem{nonaxiom}{Not-An-Axiom}
+%% example is defined in article_preamble.tex, for compatibility with beamer.
+
 
 % Marginal notes in draft mode -----------------------------------
 \newcommand{\scott}[1]{\stepcounter{comment}{{\color{blue} $\star^{(\arabic{comment})}$}}\marginpar{\color{blue}  $\star^{(\arabic{comment})}$ \usefont{T1}{scott}{m}{n}  #1 --S}}     % draft mode

Binary file talks/20091108-Riverside/riverside1.pdf has changed

--- a/talks/20091108-Riverside/riverside1.tex	Sun Jun 20 11:00:26 2010 -0700
+++ b/talks/20091108-Riverside/riverside1.tex	Sun Jun 20 11:00:57 2010 -0700
@@ -239,7 +239,7 @@
 \begin{block}{Theorem* (Higher Deligne conjecture)}
 \scalebox{0.96}{Chains on the $n$-dimensional fat graph operad acts on blob cochains.}
 \vspace{-3mm}
-$$\mathfig{.85}{tempkw/delfig2}$$
+$$\mathfig{.85}{deligne/manifolds}$$
 \end{block}
 \end{frame}
 

--- a/talks/20091108-Riverside/xypdf-c.tex	Sun Jun 20 11:00:26 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,86 +0,0 @@
-%% xypdf-c.tex from $Id: xypdf-c.doc,v $
-%%
-%% Xy-pic ``Colour extension'' PDF backend support.
-%% Copyright (c) 1999-1999 Ross Moore <ross@mpce.mq.edu.au>
-%%
-%% This file is part of the Xy-pic package for graphs and diagrams in TeX.
-%% See the companion README and INSTALL files for further information.
-%% Copyright (c) 1991-1999 Kristoffer H. Rose <krisrose@brics.dk>
-%%
-%% The Xy-pic package is free software; you can redistribute it and/or modify
-%% it under the terms of the GNU General Public License as published by the
-%% Free Software Foundation; either version 2 of the License, or (at your
-%% option) any later version.
-%%
-%% The Xy-pic package is distributed in the hope that it will be useful, but
-%% WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-%% or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-%% for more details.
-%%
-%% You should have received a copy of the GNU General Public License along
-%% with this package; if not, write to the Free Software Foundation, Inc.,
-%% 675 Mass Ave, Cambridge, MA 02139, USA.
-%%
-%% As a special exception, you may use this file and all files derived
-%% from it without restrictions. This special exception was added with
-%% version 3.7 of Xy-pic.
-%%
-\expandafter\ifx\csname xypdf-cloaded\endcsname\empty
- \message{not reloaded}\endinput \fi
-\expandafter\let\csname xypdf-cloaded\endcsname=\empty \xycatcodes
-\expandafter\ifx \csname xypdf-sloaded\endcsname\empty\else
- \xyinputorelse@{xypdf-s}{\xyerror@{Could not load xypdf-s}{}}%
- \xycatcodes\fi
-\xydef@\UsePDFcolor{\installPDFcolor@}
-\xydef@\NoPDFcolor{\UnloadColor@}
-\xydef@\installPDFcolor@{\installPDFstyle@
- \let\xymath@=\xyPDFmath@ \let\xynomath@=\xyPDFnomath@
- \let\checkxyPDFcolor@=\checkxyPDFcolor@@
- \let\xycolor@@=\xyPDFcolor@@
- \xystandardcolors@ 
- \xyuncatcodes }
-\xydef@\xyPDFmath@{\hbox\bgroup\dimen@=.55ex \checkxyPDFcolor@ \xyinside@}
-\xydef@\xyPDFnomath@{\hbox\bgroup\dimen@=\z@ \checkxyPDFcolor@ \xyinside@}
-\xydef@\checkxyPDFcolor@@{\edef\pdfsaved@color{\pdfcurrent@color}%
- \let\checkxyPDFcolor@=\relax}
-\xylet@\checkxyPDFcolor@=\relax
-\xydef@\xyPDFnewcolor@#1#2#3#4#5{%
- \expandafter\DN@\expandafter{\csname shape [#1]\endcsname}%
- \DNii@{\relax}\ifx\next@\nextii@\newxycolor{#1}{}\relax\fi
- \DNii@{#4}\ifx\nextii@\empty
- \expandafter\DNii@\expandafter{\csname xyPDFshape@#1@\endcsname}%
- \expandafter\def\nextii@{\xyPDFcolor@{#2//#3}}\else
- \expandafter\DNii@\expandafter{\csname xyPDFshape@#1@\endcsname}%
- \expandafter\def\nextii@{\xyPDFcolor@{#4}}\fi
- \ifx\nextii@\empty\expandafter\def\next@{\xyPDFnotimplemented@@`#1'@@}%
- \else
- \edef\tmp@{\noexpand\let\expandafter\noexpand\next@
- \expandafter\noexpand\nextii@}\expandafter\tmp@\fi }
-\xylet@\newxycolor@=\xyPDFnewcolor@
-\xydef@\xyPDFcolor@{\ifPDFspecials@\expandafter\xyPDFcolor@@
- \else\expandafter\eat@\fi}
-\xydef@\xyPDFcolor@@#1{\bgroup \checkXyStyle@ 
- \def\preStyle@@{\expandafter\addtostyletoks@\expandafter{\xyPDFpre@}}%
- \def\postStyle@@{\expandafter\addtostyletoks@\expandafter{\xyPDFpost@}}%
- \let\modPDFboxz@=\modXYstyle@ \xyPDF@color@@{#1}%
- \toks@={\egroup\let\xy@style@=\relax \def\Drop@@}%
- \expandafter\addtotoks@\expandafter{\expandafter{\Drop@@}\def\Connect@@}%
- \expandafter\addtotoks@\expandafter{\expandafter{\Connect@@}}%
- \the\toks@ }
-
-\xydef@\pdfcurrent@color{1 1 1 1 k 1 1 1 1 K}
-\xydef@\pdfsaved@color{1 1 1 1 k 1 1 1 1 K}
-\xydef@\xyPDF@color@@#1{%
- \edef\pdfsaved@color{\pdfcurrent@color}%
- \pdf@convertcolor#1////!%
- \edef\next@{\noexpand\xyPDFsplitPDF@{\pdfcurrent@color}{\pdfsaved@color}}%
- \next@}
-\xydef@\pdf@convertcolor#1//#2//#3!{\DN@{#2}%
- \DNii@{cmyk}\ifx\next@\nextii@\DN@{#1 k #1 K}%
- \else \DNii@{rgb}\ifx\next@\nextii@\DN@{#1 rg #1 RG}%
- \else \DNii@{gray}\ifx\next@\nextii@\DN@{#1 #1 #1 rg #1 #1 #1 RG}%
- \else \DN@{1 1 1 1 k 1 1 1 1 K}%
- \fi \fi \fi 
- \expandafter\def\expandafter\pdfcurrent@color\expandafter{\next@}}
-\xydef@\xycolor@raw@@#1{}%
-\endinput

--- a/talks/20091108-Riverside/xypdf-f.tex	Sun Jun 20 11:00:26 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,128 +0,0 @@
-%% xypdf-f.tex from $Id: xypdf-f.doc,v $
-%%
-%% Xy-pic ``Frame extension'' PDF backend support.
-%% Copyright (c) 1999-1999 Ross Moore <ross@mpce.mq.edu.au>
-%%
-%% This file is part of the Xy-pic package for graphs and diagrams in TeX.
-%% See the companion README and INSTALL files for further information.
-%% Copyright (c) 1991-1999 Kristoffer H. Rose <krisrose@brics.dk>
-%%
-%% The Xy-pic package is free software; you can redistribute it and/or modify
-%% it under the terms of the GNU General Public License as published by the
-%% Free Software Foundation; either version 2 of the License, or (at your
-%% option) any later version.
-%%
-%% The Xy-pic package is distributed in the hope that it will be useful, but
-%% WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-%% or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-%% for more details.
-%%
-%% You should have received a copy of the GNU General Public License along
-%% with this package; if not, write to the Free Software Foundation, Inc.,
-%% 675 Mass Ave, Cambridge, MA 02139, USA.
-%%
-%% As a special exception, you may use this file and all files derived
-%% from it without restrictions. This special exception was added with
-%% version 3.7 of Xy-pic.
-%%
-\expandafter\ifx\csname xypdf-floaded\endcsname\empty
- \message{not reloaded}\endinput \fi
-\expandafter\let\csname xypdf-floaded\endcsname=\empty \xycatcodes
-\xydef@\installPDFframes@{%
- \let\framed@body@@=\xyPDFframed@body@
- \let\circled@x@@=\xyPDFcircled@x@
- \let\ellipsed@x@@=\xyPDFellipsed@x@
- \installPDFfills@
- \xyuncatcodes}
-\xydef@\UsePDFframes{\installPDFframes@}
-\xydef@\NoPDFframes{\UnloadFrames@}
-\xydef@\xyPDFframed@body@{\DN@{\framed@body@}%
- \ifx\framehfill\frm@solidh@@
- \DN@{\xyPDFframed@oval@\xyPDFoval@Special}%
- \else\ifdim\R@=\z@\else
- \ifx\framehfill\frm@dashh@@
- \DN@{\xyPDFframed@oval@\xyPDFdashoval@Special}%
- \else\ifx\framehfill\frm@doth@@
- \DN@{\xyPDFframed@oval@\xyPDFdotoval@Special}%
- \fi\fi
- \fi\fi \next@ }
-\xydef@\xyPDFframed@oval@#1{\vglue\U@c
- \hbox{\hglue\L@c\xypdfoval@#1\hglue\R@c}\vglue\D@c}
-\xydef@\xyPDFcircled@x@{\DN@{\xyPDFcircled@x@@\xyPDFcirc@Special}%
- \ifx\framehfill\frm@doth@@
- \DN@{\xyPDFcircled@x@@\xyPDFdotcirc@Special}%
- \else\ifx\framehfill\frm@dashh@@
- \DN@{\xyPDFcircled@x@@\xyPDFdashcirc@Special}%
- \fi\fi \next@ }
-\xydef@\xyPDFcircled@x@@#1{\vglue2\R@
- \hbox{\hglue2\R@\xypdfcircle@#1\hglue2\R@}%
- \vglue2\R@}
-\xydef@\xyPDFellipsed@x@#1#2{%
- \DN@{\xyPDFellipsed@x@@\xyPDFcirc@Special}%
- \ifx\framehfill\frm@doth@@
- \DN@{\xyPDFellipsed@x@@\xyPDFdotcirc@Special}%
- \else\ifx\framehfill\frm@dashh@@
- \DN@{\xyPDFellipsed@x@@\xyPDFdashcirc@Special}%
- \fi\fi \next@{#1}{#2}}
-\xydef@\xyPDFellipsed@x@@#1#2#3{\vglue #3\vglue #3\relax
- \hbox{\L@c = #2\relax \R@c=\L@c \D@c = #3\relax \U@c=\D@c 
- \hglue#2\hglue#2\relax\xypdfellipse@#1\hglue#2\hglue#2\relax}%
- \vglue #3\vglue #3\relax}
-\xydef@\xyPDFdashhfill@{{\SemiDirectionChar=95 \Direction=3072 \xyPDFdash@}}
-\xydef@\xyPDFdashvfill@{{\SemiDirection=31 \Direction=1023 \xyPDFdash@}}
-\xydef@\xypdfoval@#1{%
- \dimen@=\L@c \advance\dimen@\R@c
- \dimen@ii=\U@c \advance\dimen@ii\D@c 
- \ifdim\dimen@ii<\dimen@ \relax \dimen@=\dimen@ii\fi \divide\dimen@\tw@
- \ifdim\R@>\dimen@ \relax \R@=\dimen@ \fi
- \D@c=-\D@c \L@c=-\L@c 
- \edef\tmp@{\expandafter\removePT@\the\R@
- \space\expandafter\removePT@\the\R@c 
- \space\expandafter\removePT@\the\D@c 
- \space\expandafter\removePT@\the\L@c 
- \space\expandafter\removePT@\the\U@c }%
- \expandafter#1\expandafter{\tmp@}}
-\xydef@\xypdfcircle@#1{\dimen@=\R@
- \edef\tmp@{\expandafter\removePT@\the\dimen@}%
- \expandafter#1\expandafter{\tmp@}}
-\xydef@\xypdfellipse@#1{\edef\tmp@{%
- \expandafter\removePT@\the\U@c \space
- \expandafter\removePT@\the\D@c \space
- \expandafter\removePT@\the\L@c \space
- \expandafter\removePT@\the\R@c }%
- \expandafter#1\expandafter{\tmp@}}
-\xydef@\xyPDFoval@Special#1{\PDFmacro@{#1 ov}}%%%%<<<---- here
-\xydef@\xyPDFcirc@Special#1{\PDFmacro@{#1 ox}}%%%%<<<---- here
-\xydef@\xyPDFdotcirc@Special#1{\PDFmacro@{#1 ot}}%%%%<<<---- here
-\xydef@\xyPDFdashcirc@Special#1{\PDFmacro@{#1 od}}%%%%<<<---- here
-\xydef@\xyPDFdotoval@Special#1{\PDFmacro@{#1 vt}}%%%%<<<---- here
-\xydef@\xyPDFdashoval@Special#1{\PDFmacro@{#1 vd}}%%%%<<<---- here
-\xydef@\xyPDFfilledRegion#1#2{\setboxz@h{\lower\D@c\vbox{%
- \vglue\U@c\hbox{#1#2\empty\hglue\L@c\hglue\R@c}\vglue\D@c}}%
- \ht\z@=\z@ \dp\z@=\z@ \wd\z@=\z@ \boxz@}
-\xydef@\filledRectangle@PDF{%
- \xyPDFfilledRegion{\xypdfoval@\xyPDFfilloval@Special}}
-\xydef@\filledCircle@PDF#1{{\R@c=\R@ \L@c=\R@ \U@c=\R@ \D@c=\R@
- \xyPDFfilledRegion{\xypdfcircle@\xyPDFfillcirc@Special}#1}}
-\xydef@\filledEllipse@PDF{%
- \xyPDFfilledRegion{\xypdfellipse@\xyPDFfillellipse@Special}}
-\xydef@\filledOval@PDF{%
- \xyPDFfilledRegion{\xypdfoval@\xyPDFfilloval@Special}}
-\xydef@\frame@emph@PDF#1{\filled@{#1}\relax}
-\xydef@\installPDFfills@{%
- \let\frame@emph@@=\frame@emph@PDF
- \let\filledRectangle@@=\filledRectangle@PDF
- \let\filledOval@@=\filledOval@PDF
- \let\filledCircle@@=\filledCircle@PDF
- \let\filledEllipse@@=\filledEllipse@PDF
-}
-\xydef@\xyPDFfilloval@Special#1#2{%
- \ifx#2\relax\PDFmacro@{#1 sfo}%%%%%<<<---- here
- \else\PDFmacro@{#1 fo}\fi}%%%%<<<---- here
-\xydef@\xyPDFfillcirc@Special#1#2{%
- \ifx#2\relax\PDFmacro@{#1 sfc}%%%%%<<<---- here
- \else\PDFmacro@{#1 fc}\fi}%%%%<<<---- here
-\xydef@\xyPDFfillellipse@Special#1#2{%
- \ifx#2\relax\PDFmacro@{#1 sfe}%%%%%<<<---- here
- \else\PDFmacro@{#1 fe}\fi}%%%%<<<---- here
-\endinput

--- a/talks/20091108-Riverside/xypdf-l.tex	Sun Jun 20 11:00:26 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,69 +0,0 @@
-%% xypdf-l.tex from $Id: xypdf-l.doc,v $
-%%
-%% Xy-pic ``Line extension'' PDF backend support.
-%% Copyright (c) 1999-1999 Ross Moore <ross@mpce.mq.edu.au>
-%%
-%% This file is part of the Xy-pic package for graphs and diagrams in TeX.
-%% See the companion README and INSTALL files for further information.
-%% Copyright (c) 1991-1999 Kristoffer H. Rose <krisrose@brics.dk>
-%%
-%% The Xy-pic package is free software; you can redistribute it and/or modify
-%% it under the terms of the GNU General Public License as published by the
-%% Free Software Foundation; either version 2 of the License, or (at your
-%% option) any later version.
-%%
-%% The Xy-pic package is distributed in the hope that it will be useful, but
-%% WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-%% or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-%% for more details.
-%%
-%% You should have received a copy of the GNU General Public License along
-%% with this package; if not, write to the Free Software Foundation, Inc.,
-%% 675 Mass Ave, Cambridge, MA 02139, USA.
-%%
-%% As a special exception, you may use this file and all files derived
-%% from it without restrictions. This special exception was added with
-%% version 3.7 of Xy-pic.
-%%
-\expandafter\ifx\csname xypdf-lloaded\endcsname\empty
- \message{not reloaded}\endinput \fi
-\expandafter\let\csname xypdf-lloaded\endcsname=\empty \xycatcodes
-\expandafter\ifx\csname xypdf-sloaded\endcsname\empty\else
- \xyinputorelse@{xypdf-s}{\xyerror@{Could not load xypdf-s}{}}%
- \xycatcodes\fi
-\xydef@\installPDFline@{\installPDFstyle@
- \installPDFlinestyles@ \installPDFpolylines@ }
-\xydef@\UsePDFlines{\installPDFline@}
-\xydef@\NoPDFlines{\UnloadLine@\relax}
-\xydef@\xyPDFlineSpecial@#1{\xyPDFrawZ@{ #1 w}}
-\xydef@\xyPDFcapSpecial@#1{\xyPDFrawZ@{ #1 J}}
-\xydef@\xyPDFjoinSpecial@#1{\xyPDFrawZ@{ #1 j}}
-\xydef@\xyPDFmiterSpecial@#1{\xyPDFrawZ@{ #1 M}}
-\xydef@\installPDFlinestyles@{%
- \let\xylinewidth@@=\xylinewidth@
- \let\transxyline@@=\transxyline@
- \let\xylineSpecial@@=\xyPDFlineSpecial@
- \let\resetxyline@@=\resetxyline@i
- \let\xy@linecap@@=\xy@linecap@
- \let\xycapSpecial@@=\xyPDFcapSpecial@
- \let\resetxylinecap@@=\resetxylinecap@i
- \let\xy@linejoin@@=\xy@linejoin@
- \let\xyjoinSpecial@@=\xyPDFjoinSpecial@
- \let\resetxylinejoin@@=\resetxylinejoin@i
- \let\xy@linemiter@@=\xy@linemiter@
- \let\xymiterSpecial@@=\xyPDFmiterSpecial@
- \let\resetxylinemiter@@=\resetxylinemiter@i
-}
-\xydef@\xypolylinePDF@Special#1{\PDFspecial@@{ q [] 0 d #1 S Q}}
-\xydef@\xypolydotPDF@Special#1{\PDFspecial@@{ q [1 3] 0 d S Q}}
-\xydef@\xypolydashPDF@Special#1{\PDFspecial@@{ q [5] 0 d #1 S Q}}
-\xydef@\xypolyfillPDF@Special#1{\PDFspecial@@{ q #1 f Q}}
-\xydef@\xypolyeofillPDF@Special#1{\PDFmacro@{ q #1 f* Q}}
-\xydef@\installPDFpolylines@{%
- \let\xypolyline@Special=\xypolylinePDF@Special
- \let\xypolydot@Special=\xypolydotPDF@Special
- \let\xypolydash@Special=\xypolydashPDF@Special
- \let\xypolyfill@Special=\xypolyfillPDF@Special
-%\let\xypolyeofill@Special=\xypolyeofillPDF@Special
- \let\xy@polystyle@@=\xy@polystyle@ }
-\endinput

--- a/talks/20091108-Riverside/xypdf-r.tex	Sun Jun 20 11:00:26 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,62 +0,0 @@
-%% xypdf-r.tex from $Id: xypdf-r.doc,v $
-%%
-%% Xy-pic ``PDF Rotations and Scaling''.
-%% Copyright (c) 1999-1999 Ross Moore <ross@maths.mq.edu.au>
-%%
-%% This file is part of the Xy-pic package for graphs and diagrams in TeX.
-%% See the companion README and INSTALL files for further information.
-%% Copyright (c) 1991-1999 Kristoffer H. Rose <krisrose@brics.dk>
-%%
-%% The Xy-pic package is free software; you can redistribute it and/or modify
-%% it under the terms of the GNU General Public License as published by the
-%% Free Software Foundation; either version 2 of the License, or (at your
-%% option) any later version.
-%%
-%% The Xy-pic package is distributed in the hope that it will be useful, but
-%% WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-%% or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-%% for more details.
-%%
-%% You should have received a copy of the GNU General Public License along
-%% with this package; if not, write to the Free Software Foundation, Inc.,
-%% 675 Mass Ave, Cambridge, MA 02139, USA.
-%%
-%% As a special exception, you may use this file and all files derived
-%% from it without restrictions. This special exception was added with
-%% version 3.7 of Xy-pic.
-%%
-\expandafter\ifx\csname xypdf-rloaded\endcsname\empty
- \message{not reloaded}\endinput \fi
-\expandafter\let\csname xypdf-rloaded\endcsname=\empty \xycatcodes
-\expandafter\ifx\csname xypdf-sloaded\endcsname\empty\else
- \xyinputorelse@{xypdf-s}{\xyerror@{Could not load xypdf-s}{}}%
- \xycatcodes\fi
-\xydef@\installPDFrotscale@{\installPDFstyle@
-% \let\xyRotate@@=\xyPDFrotate@@
-% \let\doSpecialRotate@@=\doPDFspecialRotate@@
- \let\xyscale@@=\xyPDFscale@@
- \xyPDFshapes@true
- \xyuncatcodes }
-\xydef@\UsePDFrotate{\installPDFrotscale@}
-\xydef@\NoPDFrotate{\UnloadRotate@\relax}
-\xydef@\xyPDFpretransform@{\xyPDFrawA@{\preXYtransform@@}}
-\xydef@\xyPDFposttransform@{\xyPDFrawZ@{\postXYtransform@@}}
-\let\preXYtransform@=\xyPDFpretransform@
-\let\postXYtransform@=\xyPDFposttransform@
-\xydef@\xyPDFrotSplit@{%
- \expandafter\def\expandafter\preShape@@\expandafter{\xyPDFpre@}%
- \expandafter\def\expandafter\postShape@@\expandafter{\xyPDFpost@}}
-\xydef@\xyPDFscale@@#1#2{%
- \xyPDFsplitPDF@{\xyscale@start(#1,#2)}{\xyscale@end}%
- \xyPDFrotSplit@\xyPDFpdfxy@ }
-\xydef@\xyPDFrotate@@#1{%
- \xyPDFsplitPDF@{\xyrot@start(#1 xyd)}{\xyrot@end}%%%<<------ here
- \xyPDFrotSplit@\xyPDFpdfxy@ }
-\xydef@\xyPDFspecialRotate@#1{%
- \xyPDFsplitPDF@{\xyrot@start(#1)}{\xyrot@end}\xyPDFrotSplit@\xyPDFpdfxy@ }
-\xydef@\doPDFspecialRotate@@#1@@{\xyPDFspecialRotate@{#1}}
-\xydef@\xyRotScale@@{%
-% \def\xyrot@start(##1){{xyt ##1\space xyr}}%%%<<------ here
- \def\xyscale@start(##1,##2){ q ##1 0 0 ##2 0 0 cm}%
- \def\xyrot@end{ Q}\def\xyscale@end{ Q}}
-\endinput

--- a/talks/20091108-Riverside/xypdf-s.tex	Sun Jun 20 11:00:26 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,52 +0,0 @@
-%% xypdf-s.tex from $Id: xypdf-s.doc,v $
-%%
-%% Xy-pic ``Style extension'' PDF support.
-%% Copyright (c) 1999-1999 Ross Moore <ross@mpce.mq.edu.au>
-%%
-%% This file is part of the Xy-pic package for graphs and diagrams in TeX.
-%% See the companion README and INSTALL files for further information.
-%% Copyright (c) 1991-1999 Kristoffer H. Rose <krisrose@brics.dk>
-%%
-%% The Xy-pic package is free software; you can redistribute it and/or modify
-%% it under the terms of the GNU General Public License as published by the
-%% Free Software Foundation; either version 2 of the License, or (at your
-%% option) any later version.
-%%
-%% The Xy-pic package is distributed in the hope that it will be useful, but
-%% WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-%% or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-%% for more details.
-%%
-%% You should have received a copy of the GNU General Public License along
-%% with this package; if not, write to the Free Software Foundation, Inc.,
-%% 675 Mass Ave, Cambridge, MA 02139, USA.
-%%
-%% As a special exception, you may use this file and all files derived
-%% from it without restrictions. This special exception was added with
-%% version 3.7 of Xy-pic.
-%%
-\expandafter\ifx\csname xypdf-sloaded\endcsname\empty
- \message{not reloaded}\endinput \fi
-\expandafter\let\csname xypdf-sloaded\endcsname=\empty \xycatcodes
-\xydef@\xykillstyles@@{\Unloadstyle@}%
-\xywarnifdefined\xyPDFescapestyle@
-\xywarnifdefined\xyPDFsplitescape@
-{\xyuncatcodes \catcode`@=11
- \gdef\xyPDFescapestyle@#1@@{\xyPDFsplitescape@#1<><>@@}%
- \gdef\xyPDFsplitescape@#1<>#2<>#3@@{\xyescape@@{#1}{#2}}}
-\xydef@\xyPDFsplitPDF@#1#2{%
- \def\xyPDFpre@{#1}\def\xyPDFpost@{#2}\modPDFboxz@ }
-\xydef@\xyescape@@#1#2{\checkXyStyle@ 
- \applyFIFOstyle@\prexyescape@{#1}\postxyescape@{#2}}
-\xydef@\prexyescape@{\xyescapeSpecial@}
-\xydef@\postxyescape@{\xyescapeSpecial@}
-\xylet@\xyescapeSpecial@=\eat@
-\let\xyescapeSpecial@=\addtostyletoks@
-\xydef@\installPDFstyle@{%
- \def\preXYstyle@@{\xyPDFpre@}%
- \let\xydoprestyles@=\xyPDFrawstyleA@
- \let\xydopoststyles@=\xyPDFrawZ@
- \let\xykillstyles@=\xykillstyles@@
- }
-\xydef@\xyPDFrawstyleA@#1{\xyPDFrawA@{{#1}{}}}
-\endinput

--- a/talks/20091108-Riverside/xypdfpdf.tex	Sun Jun 20 11:00:26 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,189 +0,0 @@
-%% xypdfpdf.tex from $Id: xypdfpdf.doc,v $
-%%
-%% Xy-pic ``PDF-PDF'' PDF support.
-%% Copyright (c) 1999-1999 Ross Moore <ross@mpce.mq.edu.au>
-%%
-%% This file is part of the Xy-pic package for graphs and diagrams in TeX.
-%% See the companion README and INSTALL files for further information.
-%% Copyright (c) 1991-1999 Kristoffer H. Rose <krisrose@ens-lyon.fr>
-%%
-%% The Xy-pic package is free software; you can redistribute it and/or modify
-%% it under the terms of the GNU General Public License as published by the
-%% Free Software Foundation; either version 2 of the License, or (at your
-%% option) any later version.
-%%
-%% The Xy-pic package is distributed in the hope that it will be useful, but
-%% WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-%% or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-%% for more details.
-%%
-%% You should have received a copy of the GNU General Public License along
-%% with this package; if not, write to the Free Software Foundation, Inc.,
-%% 675 Mass Ave, Cambridge, MA 02139, USA.
-%%
-%% As a special exception, you may use this file and all files derived
-%% from it without restrictions. This special exception was added with
-%% version 3.7 of Xy-pic.
-%%
-\expandafter\ifx\csname xypdf-pdfloaded\endcsname\empty
- \message{not reloaded}\endinput \fi
-\expandafter\let\csname xypdf-pdfloaded\endcsname=\empty \xycatcodes
-\global\newif\ifPDFspecials@
-\xylet@\PDFmacro@@=\eat@
-\xylet@\PDFdict@@=\eat@
-\xylet@\PDFspecial@@=\eat@
-\xylet@\PDFread@@=\eat@
-\xylet@\PDFinclude@@=\eat@
-\xylet@\PDFraw@@=\eat@
-\xylet@\xyPDFobeylines@@=\relax
-\xylet@\PDFspecialdict@@=\eat@
-\xydef@\UnloadPDFpdf@{%
- \let\PDFmacro@@=\eat@
- \let\PDFdict@@=\eat@
- \let\PDFspecial@@=\eat@
- \let\PDFread@@=\eat@
- \let\PDFinclude@@=\eat@
- \let\PDFraw@@=\eat@
- \let\xyPDFobeylines@@=\relax
- \let\PDFspecialdict@@=\eat@
-}
-\xydef@\UnloadPDF@{\UnloadPDFpdf@
- \expandafter\ifx\csname xypdfloaded\endcsname\unknown\PDFspecials@false
- \else\expandafter\NoPDFspecials\fi}
-\xylet@\UnloadPDF@@=\UnloadPDF@
-\ifx\undefined\dvitype@\xydef@\dvitype@{null}\fi
-\xylet@\xyrealshipout@=\shipout
-\xydef@\xyPDFshipout@{\xyrealshipout@}
-\xydef@\firstPDF@{%
- \global\let\firstPDF@@=\relax \global\let\firstPDF@=\relax}
-\xylet@\firstPDF@@=\firstPDF@
-\xylet@\dumpPDFdict@@=\relax
-\xydef@\installxypdf@{%
- \xyinputorelse@{xypdfpdf}{\xydrivernoload@{pdfpdf}}\xycatcodes
- \installxypdf@@ \installxypdf@x }
-\xylet@\installxypdf@@=\relax
-\xylet@\setupxyPDF@@=\PDFspecials@true
-\xywithoption{pdf}{\let\setupxyPDF@@=\setupxyPDF@}
-\xydef@\installxypdf@x{
- \let\firstPDF@=\relax
- \let\XYpredict@=\relax
- \setupxyPDF@@ }
-\xydef@\setupxyPDF@{\PDFspecials@true}
-\let\realinstallxypdf@x=\installxypdf@x
-\ifx\undefined\AfterBeginDocument
- \def\installxypdf@x{\xysetup@@{\realinstallxypdf@x}}%
-\else
- \def\installxypdf@x{\AfterBeginDocument{\realinstallxypdf@x}}%
-\fi
-\xydef@\xydefaultdriver@{dvipdf}
-\xydef@\xyPDFdriver#1{\def\xydefaultdriver@{#1}}
-\xydef@\installxypdf@orig{\DN@{}%
- \ifx\xydriversselected@@\empty
- \DN@{\expandafter\defaultinstallpdf@\expandafter{\xydefaultdriver@}}%
- \else \def\do##1{%
- \expandafter\ifx\csname##1@xy@pdf\endcsname\relax
- \DN@{\defaultinstallpdf@{##1}}}%
- \xydriversselected@@ 
- \else \DN@##1{}\fi\fi \next@ }
-\xydef@\defaultinstallpdf@#1#2{%
- \xywarning@{no driver specified, using #1 }%
- \xyrequire{#1}\csname #1@xy@pdf\endcsname{}}
-\xydef@\null@xy@pdf{\installxypdf@}
-\xydefcsname@{shape [!...]}#1{%
- \expandafter\ifx\csname xypdf-sloaded\endcsname\empty \DN@{\xyPDFescapestyle@{#1}@@}%
- \else\ifxyPDFshapes@\DN@{\xyPDFshapechar@{#1}@@}%
- \else \DN@{\xyPDFcharwarning@}\fi\fi \next@ }
-\xydefcsname@{shape [pdfxy]}{\ifxyPDFshapes@\DN@{\xyPDFpdfxy@}%
- \else \DN@{\xyPDFcharwarning@}\fi \next@ }
-\xydef@\xyPDFpdfxy@{%
- \setboxz@h{\dimen@=\L@p \advance\dimen@-\R@p 
- \dimen@ii=-\U@p \raise\dimen@ii\hbox to\z@{%
- \kern\dimen@\xyPDFcurrpt@\kern-\dimen@}\boxz@}}%
-\xydef@\xyPDFcurrpt@{\ifxyPDFshapes@\expandafter\xyPDFcurrpt@@\fi}
-\xydef@\xyPDFcurrpt@@@{\PDFspecial@@{xyi}\PDFraw@@{userdict begin xyx end}}%%%%<<<<<--- here
-\ifx\undefined\xyPDFcurrpt@@ \xylet@\xyPDFcurrpt@@=\xyPDFcurrpt@@@ \fi
-\xywarnifdefined\xyPDFshapechar@
-\xywarnifdefined\xyPDFsplitshape@
-{\xyuncatcodes \catcode`@=11
- \gdef\xyPDFshapechar@#1@@{\xyPDFsplitshape@#1<><>@@}%
- \gdef\xyPDFsplitshape@#1<>#2<>#3@@{\xyPDFsplitPDF@{#1}{#2}}}
-\xydef@\xyPDFrawA@#1{\expandafter\xyPDFrawAA@ #1{}{}}%
-\xydef@\xyPDFrawAA@#1#2{\PDFraw@@{ #1 #2}\PDFmessage{ #1 #2 }}%
-\xydef@\xyPDFrawZ@#1{\PDFraw@@{ #1}\PDFmessage{ #1 }}%
-\xydef@\modPDFboxz@{%
- \expandafter\DN@\expandafter{\xyPDFpre@{}}\ifx\next@\empty\else
- \setboxz@h{\expandafter\xyPDFrawA@\expandafter{\xyPDFpre@{}}\boxz@
- \expandafter\xyPDFrawZ@\expandafter{\xyPDFpost@}}\DN@{}\fi}%
-\xydef@\modPDFdrop@{%
- \expandafter\DNii@\expandafter{%
- \expandafter\xyPDFrawA@\expandafter{\xyPDFpre@{}}}%
- \DN@##1{\expandafter\def\expandafter\tmp@\expandafter{\nextii@ ##1}}%
- \expandafter\next@\expandafter{\Drop@@}%
- \expandafter\DNii@\expandafter{%
- \expandafter\xyPDFrawZ@\expandafter{\xyPDFpost@}}%
- \DN@##1{\expandafter\def\expandafter\Drop@@\expandafter{\tmp@ ##1}}%
- \expandafter\next@\expandafter{\nextii@}}%
-\xydef@\modPDFconnect@{%
- \expandafter\DNii@\expandafter{%
- \expandafter\xyPDFrawA@\expandafter{\xyPDFpre@{}}}%
- \DN@##1{\expandafter\def\expandafter\tmp@\expandafter{\nextii@ ##1}}%
- \expandafter\next@\expandafter{\Connect@@}%
- \expandafter\DNii@\expandafter{%
- \expandafter\xyPDFrawZ@\expandafter{\xyPDFpost@}}%
- \DN@##1{\expandafter\def\expandafter\Connect@@\expandafter{\tmp@ ##1}}%
- \expandafter\next@\expandafter{\nextii@}}%
-\xydef@\xyPDFpre@{{}{}}
-\xydef@\xyPDFpost@{}
-\xydef@\PDFmessage@#1{\W@{PDF: #1}}
-\xydef@\PDFignore@#1{}%
-\xydef@\showPDFmessages{\let\PDFmessage=\PDFmessage@}
-\xydef@\hidePDFmessages{\let\PDFmessage=\PDFignore@}
-\xylet@\PDFtracing=\showPDFmessages
-\hidePDFmessages
-\xydef@\PDFmacro@#1{\PDFmacro@@{#1}\PDFmessage{#1}}
-\xydef@\includeXYPDFdict@{\relax}
-\xydef@\xyPDFdictknown@{}
-\xywarnifdefined\obeyoutlines@
-{\catcode`\^^M=\active%
- \gdef\obeyoutlines@{\catcode`\^^M=\active \def^^M{^^J}%
- \newlinechar=`\^^J\obeyspaces}}
-\xynew@{if}\ifxyPDFshapes@ \xyPDFshapes@true 
-\xydef@\xyPDFcharwarning@@{\xyPDFcharmessage@
- \gdef\xyPDFcharwarning@@{\xyPDFcharmessage@
- \xywarning@{...no further PDF warnings will be given}%
- \global\let\xyPDFcharwarning@@=\relax }}
-\xydef@\xyPDFcharmessage@{\xywarning@{%
- the current <driver> does not fully support PDF effects}}%
-\xydef@\newxyshape#1#2#3{%
- \DN@{#3}\ifx\next@\empty
- \xydefcsname@{shape [#1]}{\csname xyshape@#1@\endcsname}%
- \else \expandafter\def\csname shape [#1]\endcsname{%
- \csname xyshape@#1@\endcsname}\fi
- \DN@{#2}\ifx\next@\empty
- \expandafter\def\csname xyshape@#1@\endcsname{%
- \xyundefinedEffect@{#1}{}@@}%
- \else \expandafter\def\csname xyshape@#1@\endcsname{#2}\fi }
-\xydef@\xyundefinedEffect@#1#2@@{%
- \xywarning@{The #1 #2 effect is not implemented with the current driver}}%
-\xydef@\newxyPDFshape#1#2{%
- \expandafter\DN@\expandafter{\csname shape [#1]\endcsname}%
- \DNii@{\relax}\ifx\next@\nextii@ \newxyshape{#1}{}\relax\fi
- \expandafter\DNii@\expandafter{\csname xyPDFshape@#1@\endcsname}%
- \expandafter\def\nextii@{#2}%
- \ifx\nextii@\empty\expandafter\def\next@{\xyPDFnotimplemented@@`#1'@@}%
- \else
- \edef\tmp@{\noexpand\let\expandafter\noexpand\next@
- \expandafter\noexpand\nextii@}%
- \expandafter\tmp@\fi }
-\xydef@\xyPDFnotimplemented@@#1@@{%
- \xywarning@{This PostScript effect is not implemented yet}}%
-\xydef@\xyPDFnotfinished@@{%
- \xywarning@{This effect is not reliable yet; box sizes may be wrong}}%
-\installxypdf@
-\endinput
-
-
-
-
-
-

--- a/talks/20091108-Riverside/xypdftex.tex	Sun Jun 20 11:00:26 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,132 +0,0 @@
-%% xypdftex.tex from $Id: xypdftex.doc,v $
-%%
-%% Xy-pic ``pdf-TeX'' driver interface option.
-%% Copyright (c) 1999-1999 Ross Moore <ross@mpce.mq.edu.au>
-%%
-%% This file is part of the Xy-pic package for graphs and diagrams in TeX.
-%% See the companion README and INSTALL files for further information.
-%% Copyright (c) 1991-1999 Kristoffer H. Rose <krisrose@brics.dk>
-%%
-%% The Xy-pic package is free software; you can redistribute it and/or modify
-%% it under the terms of the GNU General Public License as published by the
-%% Free Software Foundation; either version 2 of the License, or (at your
-%% option) any later version.
-%%
-%% The Xy-pic package is distributed in the hope that it will be useful, but
-%% WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-%% or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-%% for more details.
-%%
-%% You should have received a copy of the GNU General Public License along
-%% with this package; if not, write to the Free Software Foundation, Inc.,
-%% 675 Mass Ave, Cambridge, MA 02139, USA.
-%%
-\ifx\xyloaded\undefined \input xy \fi
-\xyprovide{pdftex}{pdf-TeX driver}{\stripRCS$Revision: 3.8 $}%
- {Ross Moore}{ross@mpce.mq.edu.au}%
- {Mathematics Department, Macquarie University, NSW~2109, Australia}
-\xydef@\pdfTeX@@#1{\dvimessage@{pdf-TeX}{#1}}
-\newdriver{%
- \xyaddsupport{color}\pdftexColor@@
- \xyaddsupport{crayon}\pdftexCrayon@@
-% \xyaddsupport{pdf}\pdftexPDF@@
-% \xyaddsupport{rotate}\pdftexRotate@@
- \xyaddsupport{line}\pdftexLine@@
-% \xyaddsupport{frame}\pdftexFrames@@
-% \xyaddsupport{tile}\pdftexTiles@@
- \xyaddsupport{cmtip}\relax
-}
-%\xydef@\pdfTeXcolor@push#1{\special{pdfcolor push}\special{pdfcolor #1}}
-\xydef@\pdfTeXcolor@push#1{\edef\pdfsaved@color{\pdfcurrent@color}%
- \def\pdfcurrent@color{#1}\special{#1}}%%%<<<<<<--- WRONG !
-\xydef@\pdfTeXcolor@pop{\let\pdfcurrent@color\pdfsaved@color
- \expandafter\special\expandafter{\pdfsaved@color}}
-\xydef@\pdfTeXcolours@{\pdftexPDFtypes@
-% \let\xylocalColor@=\xystackcolor@
-% \let\xycolor@push=\pdfTeXcolor@push
-% \let\xycolor@pop=\pdfTeXcolor@pop
- \def\xycolor@{\xycolor@@}%
- \expandafter\ifx\csname xypdf-pdfloaded\endcsname\empty\DN@{%
- \xyinputorelse@{xypdf-c}{\xydrivernoload@{pdf-c}}%
- \if@pdf@known\installPDFcolor@ }\else\DN@{}\fi \next@
- \ifx\xycolor@@\xyNoColor@ \let\xycolor@@=\xycolor@raw@@\fi
- \ifx\xycrayolaloaded\empty \DN@{\xystandardcolors@\pdftexCrayon@@{}}%
- \else\let\next@=\xystandardcolors@ \fi \next@ 
- \let\xycolorwarning@=\relax \pdfTeX@@{color}%
- \let\pdftexColor@@=\relax
- \let\UnloadColor@@=\NopdfTeXcolor@
- }
-\xydef@\pdftexColor@@{\pdfTeXcolours@}
-\xydef@\NopdfTeXcolor@{%
- \let\xylocalColor@=\xyNoColor@@
- \let\xycolor@=\xyNoColor@
- \let\xycolorwarning@=\xycolorwarning@@
- \let\pdftexColor@@=\pdfTeXcolours@
- \let\UnloadColor@@=\UnloadColor@
- }
-\xydef@\pdftexCrayon@@{\pdftexColor@@\pdftexCrayon@}
-\xydef@\pdftexCrayon@{\installCrayolaColors@}%
-\xydef@\pdftexPDF@@{\if@pdf@known\pdftexPDF@}
-\xydef@\pdftexPDFunload@{\if@pdf@known\UnloadPDF@
- \let\UnloadPDF@@=\UnloadPDF@
- \let\pdftexPDF@@=\pdftexPDF@ }
-\xydef@\pdftexPDFtypes@{%
- \xyinputorelse@{xypdfpdf}{\xydrivernoload@{pdfpdf}}%
- \ifx\PDFspecial@@\pdfTeXspecial@\else
- \let\PDFspecial@@=\pdfTeXspecial@
- \let\PDFmacro@@=\pdfTeXmacro@
- \let\PDFdict@@=\pdfTeXdict@
- \let\PDFraw@@=\pdfTeXraw@
- \let\PDFinclude@@=\pdfTeXinclude@
- \let\PDFspecialdict@@=\pdfTeXspecialDict@
- \let\xyPDFobeylines@@=\obeypdfTeXlines@
- \pdfTeX@@{PDF}%
- \fi \pdftexCurrpt@ }
-\xydef@\pdfTeXspecial@#1{\if@pdf@known\firstPDF@@\pdfobj{#1}\pdflastobj}
-\xydef@\pdfTeXmacro@#1{\pdfobj{#1}}
-\xydef@\pdfTeXdict@#1{\pdfnames{#1}}
-\xydef@\pdfTeXspecialDict@#1{\pdfnames{#1}}
-\xydef@\pdfTeXinclude@#1{\if@pdf@known\firstPDF@@\special{prePDFfile #1}}
-\xydef@\pdfTeXraw@#1{\if@pdf@known\firstPDF@@\pdfliteral{#1}}%
-{\catcode`\^^M=\active%
- \gdef\next{\catcode`\^^M=\active \let^^M=\par%
- \let\PDFspecial@@=\pdfTeXdict@ \obeyspaces}}
-\xylet@\obeypdfTeXlines@=\next
-\xydef@\pdftexCurrpt@{\let\xyPDFcurrpt@@=\pdftexCurrpt@@}%
-\xydef@\pdftexCurrpt@@{\PDFspecial@@{xyi}\PDFraw@@{userdict begin xyx end}}%%%%%<<<<<--- here
-\xydef@\pdftexPDF@{\pdftexPDFtypes@
- \let\pdftexPDF@@=\relax
- \let\UnloadPDF@@=\pdftexPDFunload@ 
- \let\installxypdf@@=\relax \if@pdf@known\installxypdf@ }
-\xydef@\pdftexRotate@@{\pdftexRotate@}
-\xydef@\pdftexRotate@{\pdftexPDFtypes@
- \expandafter\ifx\csname xypdf-pdfloaded\endcsname\empty\DN@{%
- \xyinputorelse@{xypdf-r}{\xydrivernoload@{pdf-r}}%
- \xyRotScale@@ \if@pdf@known\installPDFrotscale@ }%
- \else\DN@{\xydriverfail@{rotations are}\if@pdf@known\UnloadRotate@\relax}\fi
- \next@}
-\xydef@\pdftexLine@@{\pdftexLine@}
-\xydef@\pdftexLine@{\pdftexPDFtypes@
- \expandafter\ifx\csname xypdf-pdfloaded\endcsname\empty\DN@{%
- \xyinputorelse@{xypdf-l}{\xydrivernoload@{pdf-l}}%
- \if@pdf@known\installPDFline@ }%
- \else\DN@{\xydriverfail@{line-widths are}\if@pdf@known\UnloadLine@\relax}\fi
- \next@ }
-\xydef@\pdftexFrames@@{\pdftexFrames@}
-\xydef@\pdftexFrames@{\pdftexPDFtypes@
- \expandafter\ifx\csname xypdf-pdfloaded\endcsname\empty\DN@{%
- \xyinputorelse@{xypdf-f}{\xydrivernoload@{pdf-f}}%
- \if@pdf@known\installPDFframes@ }%
- \else\DN@{\xydriverfail@{frames are}\if@pdf@known\UnloadPDFframes@\relax}\fi
- \next@ }
-\xydef@\pdftexTiles@@{\pdftexTiles@}
-\xydef@\pdftexTiles@{\pdftexPDFtypes@
- \expandafter\ifx\csname xypdf-pdfloaded\endcsname\empty\DN@{%
- \xyinputorelse@{xypdf-t}{\xydrivernoload@{pdf-t}}%
- \if@pdf@known\installPDFpatterns@ \xystandardpatterns@}%
- \else\DN@{\xydriverfail@{Patterns are}\if@pdf@known\UnloadPDFpatterns@\relax}\fi
- \next@ }
-\xydef@\if@pdf@known#1{\ifx\undefined#1\else\expandafter#1\fi}
-\xyendinput
-
-

Binary file talks/20100625-StonyBrook/categorification.pdf has changed

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/talks/20100625-StonyBrook/categorification.tex	Sun Jun 20 11:00:57 2010 -0700
@@ -0,0 +1,267 @@
+% use options
+%  '[beamer]' for a digital projector
+%  '[trans]' for an overhead projector
+%  '[handout]' for 4-up printed notes
+\documentclass[beamer, compress]{beamer}
+
+% change talk_preamble if you want to modify the slide theme, colours, and settings for trans and handout modes.
+\newcommand{\pathtotrunk}{../../}
+\input{\pathtotrunk talks/talk_preamble.tex}
+
+%\setbeameroption{previous slide on second screen=right}
+
+\author[Scott Morrison]{Scott Morrison \\ \texttt{http://tqft.net/} \\ joint work with Kevin Walker}
+\institute{UC Berkeley / Miller Institute for Basic Research}
+\title{Blob homology, part $\mathbb{I}$}
+\date{Homotopy Theory and Higher Algebraic Structures, UC Riverside, November 10 2009 \\ \begin{description}\item[slides, part $\mathbb{I}$:]\url{http://tqft.net/UCR-blobs1} \item[slides, part $\mathbb{II}$:]\url{http://tqft.net/UCR-blobs2} \item[draft:]\url{http://tqft.net/blobs}\end{description}}
+
+\begin{document}
+
+\frame{\titlepage}
+
+\beamertemplatetransparentcovered 
+
+\mode<beamer>{\setbeamercolor{block title}{bg=green!40!black}}
+
+\beamersetuncovermixins 
+{\opaqueness<1->{60}} 
+{} 
+
+
+
+\section{Overview}
+
+   \begin{frame}<beamer>
+       \frametitle{Blob homology}
+       \begin{quote}
+      ... homotopical topology and TQFT have grown so close that I have started thinking that they are turning into the language of new foundations. 
+        \end{quote}
+        \flushright{--- \href{http://www.ams.org/notices/200910/rtx091001268p.pdf}{Yuri Manin, September 2008}}
+      \tableofcontents
+\end{frame}
+
+\begin{frame}{What is \emph{blob homology}?}
+\begin{block}{}
+The blob complex takes an $n$-manifold $\cM$ and an `$n$-category with strong duality' $\cC$ and produces a chain complex, $\bc_*(\cM; \cC)$.
+\end{block}
+\tikzstyle{description}=[gray, font=\tiny, text centered, text width=2cm]
+\begin{tikzpicture}[]
+\setbeamercovered{%
+ transparent=5,
+% still covered={\opaqueness<1>{15}\opaqueness<2>{10}\opaqueness<3>{5}\opaqueness<4->{2}},
+ again covered={\opaqueness<1->{50}}
+}
+
+\node[red] (blobs) at (0,0) {$H(\bc_*(\cM; \cC))$};
+\uncover<1>{
+\node[blue] (skein) at (4,0) {$\cA(\cM; \cC)$};
+\node[below=5pt, description] (skein-label) at (skein) {(the usual TQFT Hilbert space)};
+\path[->](blobs) edge node[above] {$*= 0$} (skein);
+}
+
+\uncover<2>{
+  \node[blue] (hoch) at (0,3) {$HH_*(\cC)$};
+  \node[right=20pt, description] (hoch-label) at (hoch) {(the Hochschild homology)};
+  \path[->](blobs) edge node[right] {$\cM = S^1$} (hoch);
+}
+
+\uncover<3>{
+  \node[blue] (comm) at (-2.4, -1.8) {$H_*(\Delta^\infty(\cM), k)$};
+  \node[description, below=5pt] (comm-label) at (comm) {(singular homology of the infinite configuration space)};
+  \path[->](blobs) edge node[right=5pt] {$\cC = k[t]$} (comm);
+}
+
+\end{tikzpicture}
+\end{frame}
+
+\begin{frame}{$n$-categories}
+\begin{block}{Defining $n$-categories is fraught with difficulties}
+I'm not going to go into details; I'll draw $2$-dimensional pictures, and rely on your intuition for pivotal $2$-categories.
+\end{block}
+\begin{block}{}
+Kevin's talk (part $\mathbb{II}$) will explain the notions of `topological $n$-categories' and `$A_\infty$ $n$-categories'.
+\end{block}
+
+\begin{block}{}
+\begin{itemize}
+\item
+Defining $n$-categories: a choice of `shape' for morphisms.
+\item
+We allow all shapes! A vector space for every ball.
+\item
+`Strong duality' is integral in our definition.
+\end{itemize}
+\end{block}
+\end{frame}
+
+\newcommand{\roundframe}[1]{\begin{tikzpicture}[baseline=-2pt]\node[rectangle,inner sep=1pt,rounded corners,fill=white] {#1};\end{tikzpicture}}
+
+\section{Definition}
+\begin{frame}{Fields and pasting diagrams}
+\begin{block}{Pasting diagrams}
+Fix an $n$-category with strong duality $\cC$. A \emph{field} on $\cM$ is a pasting diagram drawn on $\cM$, with cells labelled by morphisms from $\cC$.
+\end{block}
+\begin{example}[$\cC = \text{TL}_d$ the Temperley-Lieb category]
+$$\roundframe{\mathfig{0.35}{definition/example-pasting-diagram}} \in \cF^{\text{TL}_d}\left(T^2\right)$$
+\end{example}
+\begin{block}{}
+Given a pasting diagram on a ball, we can evaluate it to a morphism. We call the kernel the \emph{null fields}.
+\vspace{-3mm}
+$$\text{ev}\Bigg(\roundframe{\mathfig{0.12}{definition/evaluation1}} - \frac{1}{d}\roundframe{\mathfig{0.12}{definition/evaluation2}}\Bigg) = 0$$
+\end{block}
+\end{frame}
+
+\begin{frame}{Background: TQFT invariants}
+\begin{defn}
+A decapitated $n+1$-dimensional TQFT associates a vector space $\cA(\cM)$ to each $n$-manifold $\cM$.
+\end{defn}
+(`decapitated': no numerical invariants of $n+1$-manifolds.)
+
+\begin{block}{}
+If the manifold has boundary, we get a category. Objects are boundary data, $\Hom{\cA(\cM)}{x}{y} = \cA(\cM; x,y)$.
+\end{block}
+
+\begin{block}{}
+We want to extend `all the way down'. The $k$-category associated to the $n-k$-manifold $\cY$ is $\cA(\cY \times B^k)$.
+\end{block}
+
+\begin{defn}
+Given an $n$-category $\cC$, the associated TQFT is 
+\vspace{-3mm}
+$$\cA(\cM) = \cF(M) / \ker{ev},$$
+
+\vspace{-3mm}
+fields modulo fields which evaluate to zero inside some ball.
+\end{defn}
+\end{frame}
+
+\begin{frame}{\emph{Definition} of the blob complex, $k=0,1$}
+\begin{block}{Motivation}
+A \emph{local} construction, such that when $\cM$ is a ball, $\bc_*(\cM; \cC)$ is a resolution of $\cA(\cM,; \cC)$.
+\end{block}
+
+\begin{block}{}
+\center
+$\bc_0(\cM; \cC) = \cF(\cM)$, arbitrary pasting diagrams on $\cM$.
+\end{block}
+
+\begin{block}{}
+\vspace{-1mm}
+$$\bc_1(\cM; \cC) = \Complex\setcr{(B, u, r)}{\begin{array}{c}\text{$B$ an embedded ball}\\\text{$u \in \cF(B)$ in the kernel}\\ r \in \cF(\cM \setminus B)\end{array}}.$$
+\end{block}
+\vspace{-3.5mm}
+$$\mathfig{.5}{definition/single-blob}$$
+\vspace{-3mm}
+\begin{block}{}
+\vspace{-6mm}
+\begin{align*}
+d_1 : (B, u, r) & \mapsto u \circ r & \bc_0 / \im(d_1) \iso A(\cM; \cC)
+\end{align*}
+\end{block}
+\end{frame}
+
+\begin{frame}{Definition, $k=2$}
+\begin{block}{}
+\vspace{-1mm}
+$$\bc_2 = \bc_2^{\text{disjoint}} \oplus \bc_2^{\text{nested}}$$
+\end{block}
+\begin{block}{}
+\vspace{-5mm}
+\begin{align*}
+\bc_2^{\text{disjoint}} & =  \Complex\setcl{\roundframe{\mathfig{0.5}{definition/disjoint-blobs}}}{\text{ev}_{B_i}(u_i) = 0}
+\end{align*}
+\vspace{-4mm}
+$$d_2 : (B_1, B_2, u_1, u_2, r) \mapsto (B_2, u_2, r \circ u_1) - (B_1, u_1, r \circ u_2)$$
+\end{block}
+\begin{block}{}
+\vspace{-5mm}
+\begin{align*}
+\bc_2^{\text{nested}} & = \Complex\setcl{\roundframe{\mathfig{0.5}{definition/nested-blobs}}}{\text{ev}_{B_1}(u)=0}
+\end{align*}
+\vspace{-4mm}
+$$d_2 : (B_1, B_2, u, r', r) \mapsto (B_2, u \circ r', r) - (B_1, u, r \circ r')$$
+\end{block}
+\end{frame}
+
+\begin{frame}{Definition, general case}
+\begin{block}{}
+$$\bc_k = \Complex\set{\roundframe{\mathfig{0.7}{definition/k-blobs}}}$$
+$k$ blobs, properly nested or disjoint, with ``innermost'' blobs labelled by pasting diagrams that evaluate to zero.
+\end{block}
+\begin{block}{}
+\vspace{-2mm}
+$$d_k : \bc_k \to \bc_{k-1} = {\textstyle \sum_i} (-1)^i (\text{erase blob $i$})$$
+\end{block}
+\end{frame}
+
+\section{Properties}
+\begin{frame}{Hochschild homology}
+\begin{block}{TQFT on $S^1$ is `coinvariants'}
+\vspace{-3mm}
+$$\cA(S^1, A) = \Complex\set{\roundframe{\mathfig{0.1}{hochschild/m-a-b}}}\scalebox{2}{$/$}\set{\roundframe{\mathfig{0.065}{hochschild/ma}} - \roundframe{\mathfig{0.12}{hochschild/m-a}}} = A/(ab-ba)$$
+\end{block}
+\begin{block}{}
+The Hochschild complex is `coinvariants of the bar resolution'
+\vspace{-2mm}
+$$ \cdots \to A \tensor A \tensor A \to A \tensor A \xrightarrow{m \tensor a \mapsto ma-am} A$$
+\end{block}
+\begin{thm}[$ \HC_*(A) \iso \bc_*(S^1; A)$]
+$$m \tensor a \mapsto
+\roundframe{\mathfig{0.35}{hochschild/1-chains}}
+$$
+\vspace{-5mm}
+\begin{align*}
+u_1 & = \mathfig{0.05}{hochschild/u_1-1} - \mathfig{0.05}{hochschild/u_1-2} & u_2  &= \mathfig{0.05}{hochschild/u_2-1} - \mathfig{0.05}{hochschild/u_2-2} 
+\end{align*}
+\end{thm}
+\end{frame}
+
+\begin{frame}{An action of $\CH{\cM}$}
+\begin{thm}
+There's a chain map
+$$\CH{\cM} \tensor \bc_*(\cM) \to \bc_*(\cM).$$
+which is associative up to homotopy, and compatible with gluing.
+\end{thm}
+\begin{block}{}
+Taking $H_0$, this is the mapping class group acting on a TQFT skein module.
+\end{block}
+\end{frame}
+
+\begin{frame}{Higher Deligne conjecture}
+\begin{block}{Deligne conjecture}
+Chains on the little discs operad acts on Hochschild cohomology.
+\end{block}
+
+\begin{block}{}
+Call $\Hom{A_\infty}{\bc_*(\cM)}{\bc_*(\cM)}$ `blob cochains on $\cM$'.
+\end{block}
+
+\begin{block}{Theorem* (Higher Deligne conjecture)}
+\scalebox{0.96}{Chains on the $n$-dimensional fat graph operad acts on blob cochains.}
+\vspace{-3mm}
+$$\mathfig{.85}{deligne/manifolds}$$
+\end{block}
+\end{frame}
+
+\begin{frame}{Gluing}
+\begin{block}{$\bc_*(Y \times [0,1])$ is naturally an $A_\infty$ category}
+\begin{itemize}
+\item[$m_2$:] gluing $[0,1] \simeq [0,1] \cup [0,1]$
+\item[$m_k$:] reparametrising $[0,1]$
+\end{itemize}
+\end{block}
+\begin{block}{}
+If $Y \subset \bdy X$ then $\bc_*(X)$ is an $A_\infty$ module over $\bc_*(Y)$.
+\end{block}
+\begin{thm}[Gluing formula]
+When $Y \sqcup Y^{\text{op}} \subset \bdy X$,
+\vspace{-5mm}
+\[
+	\bc_*(X \bigcup_Y \selfarrow) \iso \bc_*(X) \bigotimes_{\bc_*(Y)}^{A_\infty} \selfarrow.
+\]
+\end{thm}
+In principle, we can compute blob homology from a handle decomposition, by iterated Hochschild homology.
+\end{frame}
+\end{document}
+% ----------------------------------------------------------------
+

--- a/text/article_preamble.tex	Sun Jun 20 11:00:26 2010 -0700
+++ b/text/article_preamble.tex	Sun Jun 20 11:00:57 2010 -0700
@@ -7,19 +7,11 @@
 
 \newtheorem{lemma}[prop]{Lemma}
 
-\ifpdf
 \usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref}
-\else
-\usepackage[dvips,plainpages=false,hypertexnames=false]{hyperref}
-\fi
 
 \usepackage{breakurl}
 
-\ifpdf
 \usepackage[pdftex]{graphicx}
-\else
-\usepackage[dvips]{graphicx}
-\fi
 
 %must load tikz after graphicx
 \usepackage{tikz}
@@ -28,6 +20,8 @@
 \usetikzlibrary{decorations,decorations.pathreplacing}
 \usetikzlibrary{fit,calc,through}
 
+\newtheorem{example}[prop]{Example}
+
 \usepackage{color}
 
 % This switches fonts to the Palatino family.