text/tqftreview.tex
changeset 522 a60c035e53bd
parent 515 9e44c1469918
child 697 7843262cd782
equal deleted inserted replaced
521:4a988e00468a 522:a60c035e53bd
   113 are transverse to $Y$ or splittable along $Y$.
   113 are transverse to $Y$ or splittable along $Y$.
   114 \item Gluing with corners.
   114 \item Gluing with corners.
   115 Let $\bd X = (Y \du Y) \cup W$, where the two copies of $Y$ 
   115 Let $\bd X = (Y \du Y) \cup W$, where the two copies of $Y$ 
   116 are disjoint from each other and $\bd(Y\du Y) = \bd W$.
   116 are disjoint from each other and $\bd(Y\du Y) = \bd W$.
   117 Let $X\sgl$ denote $X$ glued to itself along the two copies of $Y$
   117 Let $X\sgl$ denote $X$ glued to itself along the two copies of $Y$
   118 (Figure \ref{fig:???}).
   118 (Figure \ref{fig:gluing-with-corners}).
       
   119 \begin{figure}[t]
       
   120 \begin{center}
       
   121 \begin{tikzpicture}
       
   122 
       
   123 \node(A) at (-4,0) {
       
   124 \begin{tikzpicture}[scale=.8, fill=blue!15!white]
       
   125 \filldraw[line width=1.5pt] (-.4,1) .. controls +(-1,-.1) and +(-1,0) .. (0,-1)
       
   126 		.. controls +(1,0) and +(1,-.1) .. (.4,1) -- (.4,3)
       
   127 		.. controls +(3,-.4) and +(3,0) .. (0,-3)
       
   128 		.. controls +(-3,0) and +(-3,-.1) .. (-.4,3) -- cycle;
       
   129 \node at (0,-2) {$X$};
       
   130 \node (W) at (-2.7,-2) {$W$};
       
   131 \node (Y1) at (-1.2,3.5) {$Y$};
       
   132 \node (Y2) at (1.4,3.5) {$Y$};
       
   133 \node[outer sep=2.3] (y1e) at (-.4,2) {};
       
   134 \node[outer sep=2.3] (y2e) at (.4,2) {};
       
   135 \node (we1) at (-2.2,-1.1) {};
       
   136 \node (we2) at (-.6,-.7) {};
       
   137 \draw[->] (Y1) -- (y1e);
       
   138 \draw[->] (Y2) -- (y2e);
       
   139 \draw[->] (W) .. controls +(0,.5) and +(-.5,-.2) .. (we1);
       
   140 \draw[->] (W) .. controls +(.5,0) and +(-.2,-.5) .. (we2);
       
   141 \end{tikzpicture}
       
   142 };
       
   143 
       
   144 \node(B) at (4,0) {
       
   145 \begin{tikzpicture}[scale=.8, fill=blue!15!white]
       
   146 \fill (0,1) .. controls +(-1,0) and +(-1,0) .. (0,-1)
       
   147 		.. controls +(1,0) and +(1,0) .. (0,1) -- (0,3)
       
   148 		.. controls +(3,0) and +(3,0) .. (0,-3)
       
   149 		.. controls +(-3,0) and +(-3,0) .. (0,3) -- cycle;
       
   150 \draw[line width=1.5pt] (0,1) .. controls +(-1,0) and +(-1,0) .. (0,-1)
       
   151 		.. controls +(1,0) and +(1,0) .. (0,1);
       
   152 \draw[line width=1.5pt] (0,3) .. controls +(3,0) and +(3,0) .. (0,-3)
       
   153 		.. controls +(-3,0) and +(-3,0) .. (0,3);
       
   154 \draw[line width=.5pt, black!65!white] (0,1) -- (0,3);
       
   155 \node at (0,-2) {$X\sgl$};
       
   156 \node (W) at (2.7,-2) {$W\sgl$};
       
   157 \node (we1) at (2.2,-1.1) {};
       
   158 \node (we2) at (.6,-.7) {};
       
   159 \draw[->] (W) .. controls +(0,.5) and +(.5,-.2) .. (we1);
       
   160 \draw[->] (W) .. controls +(-.5,0) and +(.2,-.5) .. (we2);
       
   161 \end{tikzpicture}
       
   162 };
       
   163 
       
   164 
       
   165 \draw[->, red!50!green, line width=2pt] (A) -- node[above, black] {glue} (B);
       
   166 
       
   167 \end{tikzpicture}
       
   168 \end{center}
       
   169 \caption{Gluing with corners}
       
   170 \label{fig:gluing-with-corners}
       
   171 \end{figure}
   119 Note that $\bd X\sgl = W\sgl$, where $W\sgl$ denotes $W$ glued to itself
   172 Note that $\bd X\sgl = W\sgl$, where $W\sgl$ denotes $W$ glued to itself
   120 (without corners) along two copies of $\bd Y$.
   173 (without corners) along two copies of $\bd Y$.
   121 Let $c\sgl \in \cC_{k-1}(W\sgl)$ be a be a splittable field on $W\sgl$ and let
   174 Let $c\sgl \in \cC_{k-1}(W\sgl)$ be a be a splittable field on $W\sgl$ and let
   122 $c \in \cC_{k-1}(W)$ be the cut open version of $c\sgl$.
   175 $c \in \cC_{k-1}(W)$ be the cut open version of $c\sgl$.
   123 Let $\cC^c_k(X)$ denote the subset of $\cC(X)$ which restricts to $c$ on $W$.
   176 Let $\cC^c_k(X)$ denote the subset of $\cC(X)$ which restricts to $c$ on $W$.