# HG changeset patch # User Scott Morrison # Date 1277056857 25200 # Node ID e5867a64cae5ee3679144a35eb72bd5def9e6ab3 # Parent 43033c337dfabd4b500bd31c94cc32ae06aefbd1 moving files around for a talk in Stony Brook diff -r 43033c337dfa -r e5867a64cae5 .hgignore --- 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 diff -r 43033c337dfa -r e5867a64cae5 preamble.tex --- 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 diff -r 43033c337dfa -r e5867a64cae5 talks/20091108-Riverside/riverside1.pdf Binary file talks/20091108-Riverside/riverside1.pdf has changed diff -r 43033c337dfa -r e5867a64cae5 talks/20091108-Riverside/riverside1.tex --- 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} diff -r 43033c337dfa -r e5867a64cae5 talks/20091108-Riverside/xypdf-c.tex --- 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 -%% -%% 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 -%% -%% 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 diff -r 43033c337dfa -r e5867a64cae5 talks/20091108-Riverside/xypdf-f.tex --- 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 -%% -%% 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 -%% -%% 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 diff -r 43033c337dfa -r e5867a64cae5 talks/20091108-Riverside/xypdf-l.tex --- 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 -%% -%% 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 -%% -%% 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 diff -r 43033c337dfa -r e5867a64cae5 talks/20091108-Riverside/xypdf-r.tex --- 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 -%% -%% 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 -%% -%% 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 diff -r 43033c337dfa -r e5867a64cae5 talks/20091108-Riverside/xypdf-s.tex --- 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 -%% -%% 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 -%% -%% 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 diff -r 43033c337dfa -r e5867a64cae5 talks/20091108-Riverside/xypdfpdf.tex --- 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 -%% -%% 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 -%% -%% 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 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 - - - - - - diff -r 43033c337dfa -r e5867a64cae5 talks/20091108-Riverside/xypdftex.tex --- 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 -%% -%% 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 -%% -%% 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 - - diff -r 43033c337dfa -r e5867a64cae5 talks/20100625-StonyBrook/categorification.pdf Binary file talks/20100625-StonyBrook/categorification.pdf has changed diff -r 43033c337dfa -r e5867a64cae5 talks/20100625-StonyBrook/categorification.tex --- /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{\setbeamercolor{block title}{bg=green!40!black}} + +\beamersetuncovermixins +{\opaqueness<1->{60}} +{} + + + +\section{Overview} + + \begin{frame} + \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} +% ---------------------------------------------------------------- + diff -r 43033c337dfa -r e5867a64cae5 text/article_preamble.tex --- 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.