\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{pointed derivator} \hypertarget{context}{}\subsubsection*{{Context}}\label{context} \hypertarget{homotopy_theory}{}\paragraph*{{Homotopy theory}}\label{homotopy_theory} [[!include homotopy - contents]] \hypertarget{category_theory}{}\paragraph*{{$(\infty,1)$-Category theory}}\label{category_theory} [[!include quasi-category theory contents]] \hypertarget{pointed_derivators}{}\section*{{Pointed derivators}}\label{pointed_derivators} \noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak \noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak \noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak \noindent\hyperlink{relative_diagram_categories}{Relative diagram categories}\dotfill \pageref*{relative_diagram_categories} \linebreak \noindent\hyperlink{pointed_exactness}{Pointed exactness}\dotfill \pageref*{pointed_exactness} \linebreak \noindent\hyperlink{extraordinary_inverse_images}{Extraordinary inverse images}\dotfill \pageref*{extraordinary_inverse_images} \linebreak \noindent\hyperlink{loop_and_suspension}{Loop and suspension}\dotfill \pageref*{loop_and_suspension} \linebreak \noindent\hyperlink{enrichment_over_pointed_sets}{Enrichment over pointed sets}\dotfill \pageref*{enrichment_over_pointed_sets} \linebreak \noindent\hyperlink{the_pointed_reflection}{The pointed reflection}\dotfill \pageref*{the_pointed_reflection} \linebreak \noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak \hypertarget{idea}{}\subsection*{{Idea}}\label{idea} A [[derivator]] is \emph{pointed} if it has a [[zero object]] in the sense appropriate to a derivator. \hypertarget{definition}{}\subsection*{{Definition}}\label{definition} A derivator $D\colon Dia^{op} \to Cat$ is \textbf{pointed}, or has a \textbf{zero object}, if each [[category]] $D(X)$ has a zero object. Note that these zero objects are automatically preserved by all the [[functors]] $u_!,u^*,u_*$, since they are all [[adjoint functor|adjoints]] on one side or the other. \hypertarget{properties}{}\subsection*{{Properties}}\label{properties} This simple definition hides a lot of structure. \hypertarget{relative_diagram_categories}{}\subsubsection*{{Relative diagram categories}}\label{relative_diagram_categories} If $D$ is a pointed derivator and $i\colon A\hookrightarrow B$ is a [[full subcategory]], we write $D(B,A)$ for the full subcategory of $D B$ on those diagrams $X\in D B$ such that $i^*X$ is null. \begin{lemma} \label{SieveRel}\hypertarget{SieveRel}{} If $i$ is the inclusion of a [[sieve]], then $i_*\colon D(A) \to D(B)$ is [[full and faithful functor|fully faithful]] and its [[essential image]] is $D(B,B\setminus A)$. Similarly, if $i$ is a cosieve, then $i_!$ identifies $D(A)$ with $D(B,B\setminus A)$. \end{lemma} \begin{proof} Suppose $i$ is a sieve. Since $i$ is in particular fully faithful, so is $i_*$ by general arguments (see [[homotopy exact square]]). Moreover, since $i$ is a sieve, the square \begin{displaymath} \itexarray{ \emptyset & \to & A\\ \downarrow & & \downarrow^i\\ B\setminus A & \underset{j}{\to} & B} \end{displaymath} is homotopy exact (where $j$ is the inclusion). Therefore $j^* i_* X$ is terminal for any $X\in D(A)$, so that $i_*$ lands inside $D(B,B\setminus A)$. Conversely, if $X\in D(B,B\setminus A)$, then the map $X \to i_* i^* X$ is an isomorphism on $A$ (since $i_*$ is fully faithful) and on $B\setminus A$ (since both are terminal there), hence is itself an isomorphism; so $X$ is in the essential image of $i_*$. \end{proof} The following theorem is stated as Proposition 7.4 of \hyperlink{HellerStable}{Heller's paper} ``Stable homotopy theories and stabilization''. \begin{theorem} \label{RelRefl}\hypertarget{RelRefl}{} $D(B,A)$ is a [[reflective subcategory|reflective]] and [[coreflective subcategory|coreflective]] subcategory of $D(B)$. \end{theorem} \begin{proof} Consider the adjunction \begin{displaymath} D(M i) \underoverset{p^*}{p_!}{\rightleftarrows} D(B). \end{displaymath} We claim that this restricts to an adjunction \begin{equation} D(M i,A) \underoverset{p^*}{p_!}{\rightleftarrows} D(B,A) \label{ppadj}\end{equation} where $A$ denotes the subcategory of $M i$ on the objects $(i(x),1)$. Certainly $p^*$ takes $D(B,A)$ into $D(M i,A)$, since $i\colon A \hookrightarrow B$ is the composite $A \hookrightarrow M i \overset{p}{\to} B$. On the other hand, the square \begin{displaymath} \itexarray{A & \hookrightarrow & M i \\ \downarrow & & \downarrow^p\\ A & \underset{i}{\to} & B } \end{displaymath} is [[homotopy exact square|homotopy exact]], so $p_!$ takes $D(M i,A)$ into $D(B,A)$. Now since $u$ is the inclusion of a [[sieve]], by the previous lemma, $u_*$ identifies $D(B)$ with $D(M i,A)$. Therefore, the inclusion $D(B,A)\hookrightarrow D(B)$ can be identified with the restricted right adjoint $p^*\colon D(B,A) \to D(M i,A)$, which therefore has a left adjoint $p_!$. Explicitly, the left adjoint is $p_! u_*$. The proof of coreflectivity is of course dual, using the directed mapping cylinder instead of the codirected one. \end{proof} Note that if $i'\colon A'\hookrightarrow B'$ is another full inclusion and \begin{displaymath} \itexarray{A & \overset{f}{\to} & A'\\ ^i\downarrow && \downarrow^{i'}\\ B& \underset{g}{\to} & B'} \end{displaymath} commutes, then we have a restriction $(g,f)^*\colon D(B',A') \to D(B,A)$, which has a left adjoint $(g,f)_!$ given by the composite \begin{displaymath} D(B,A) \hookrightarrow D(B) \overset{g_!}{\to} D(B') \overset{L_{B',A'}}{\to} D(B',A') \end{displaymath} where $L_{B,A}\colon D(B) \to D(B,A)$ denotes the reflection. It also has a right adjoint defined dually. \hypertarget{pointed_exactness}{}\subsubsection*{{Pointed exactness}}\label{pointed_exactness} Define a \textbf{category with zeros} to be a category $B$ equipped with a full subcategory $B_0$. By the preceding remarks, any pointed derivator gives rise to a contravariant pseudofunctor defined on the 2-category of categories with zeros (and functors preserving the specified subcategories), all of whose transition functors have both adjoints. It is natural to look for exactness conditions, analogous to (Der4) and the characterization of [[homotopy exact squares]], which apply to these adjoints. Since the Beck-Chevalley transformation relating composites of these adjoints is the composite of the corresponding transformation for the unpointed diagram and a Beck-Chevalley transformation relating the restriction functors to the reflections $D(B) \to D(B,B_0)$, we clearly need to study when restriction commutes with these reflections. This is the purpose of the following definition and lemma. \begin{defn} \label{LocallyNullFinal}\hypertarget{LocallyNullFinal}{} A functor $f\colon A \to B$ between categories with zeros is \textbf{locally null-final} if for every $a\in A$, every $b_0 \in B_0$, and every morphism $\phi\colon b_0 \to f(a)$, the category of triples $(a_0\in A_0, a_0 \xrightarrow{\alpha} a, b_0 \xrightarrow{\beta} f(a_0))$ such that $\phi = f(\alpha).\beta$ has a contractible nerve. \end{defn} \begin{lemma} \label{LocallyNullFinalLemma}\hypertarget{LocallyNullFinalLemma}{} If $f\colon A \to B$ is \hyperlink{LocallyNullFinal}{locally null-final} and $D$ is a pointed derivator, then the functors $f^*\colon D(B) \to D(A)$ and $f^*\colon D(B,B_0) \to D(A,A_0)$ commute with the reflections of $D(B)$ and $D(A)$ into $D(B,B_0)$ and $D(A,A_0)$, respectively. In other words, the canonical [[natural transformation]] \begin{displaymath} \itexarray{ D(A) & \xleftarrow{f^*} & D(B) \\ ^{L_A}\downarrow & \seArrow & \downarrow^{L_B} \\ D(A,A_0) & \xleftarrow{f^*} & D(B,B_0) } \end{displaymath} is an [[isomorphism]]. \end{lemma} \begin{proof} Recall that $L_A$ is computed as the composite $D(A) \xrightarrow{u_*} D(M_A, A_0) \xrightarrow{p_!} D(A,A_0)$, where $M_A$ is the codirected mapping cylinder of $A_0\to A$. We can therefore factor the above square as \begin{displaymath} \itexarray{ D(A) & \xleftarrow{f^*} & D(B) \\ ^{u_*}\downarrow & & \downarrow^{u_*} \\ D(M_A,A_0) & \xleftarrow{f^*} & D(M_B,B_0)\\ ^{p_!}\downarrow & & \downarrow^{p_!} \\ D(A,A_0) & \xleftarrow{f^*} & D(B,B_0)} \end{displaymath} It suffices, therefore, to show that the squares \begin{displaymath} \itexarray{A & \xrightarrow{u} & M_A \\ ^f \downarrow & & \downarrow^f \\ B & \xrightarrow{u} & M_B} \qquad\text{and}\qquad \itexarray{M_A & \xrightarrow{f} & M_B\\ ^p\downarrow & & \downarrow^p\\ A & \xrightarrow{f} & B} \end{displaymath} are homotopy exact. For the first square, consider first a $b\in B$ and $a\in A\subset M_A$ and a $\varphi\colon f(a)\to b$ in $B\subset M_B$. The category of triples $(a', a\to a', f(a')\to b)$ which compose to $\varphi$ is contractible, since $(a, id_a, \varphi)$ is an initial object. Second, we should consider a $b\in B$ and an $a_0\in A_0 \subset M_A$, and a $\varphi\colon f(a_0)\to b$ in $B_0 \subset M_B$ --- but by definition of $M_B$, no such morphism $\varphi$ can exist. Thus, the first square is always homotopy exact. In fact, however, the preceeding argument is unnecessary, because we have seen that with their targets restricted as above, the functors $u_*$ are equivalences, and the [[mate]] of an isomorphism with respect to any pair of adjoint equivalences is again an isomorphism. Note that the fact that $u_*$ is an equivalence was already used in making the assertion that $p_! u_*$ is a left adjoint to $D(A,A_0) \hookrightarrow D(A)$, and therefore the inverse of the top square already factors into the definition of the transformation appearing in the statement of the lemma. (This may reassure a reader who was worried about the fact that the canonical transformation in the first square goes the ``wrong direction''.) For the second square, consider first an $a\in A$ and a $b\in B\subset M_B$, and a $\varphi\colon b \to f(a)$. The category we must investigate containts two types of objects: \begin{itemize}% \item triples $(a'\in A, b\to f(a'), a' \to a)$ which compose to $\varphi$, and \item triples $(a_0 \in A_0, b\to f(a_0), a_0 \to a)$ which compose to $\varphi$. \end{itemize} By definition of $M_A$, the morphisms between these objects are the obvious ones, except that there are no morphisms from the second type to the first. Now the full subcategory on the first type of object is coreflective, since $A_0$ is coreflective in $M_A$. And that full subcategory is contractible, since $(a, \varphi, id_a)$ is a terminal object. Thus, since adjunctions induce homotopy equivalences of nerves, the category in question is also contractible. Finally, consider the case of an $a\in A$ and a $b_0\in B_0 \subset M_B$, and a $\varphi\colon b_0 \to f(a)$. The category in question consists of triples $(a_0\in A_0, b_0 \to f(a_0), a_0\to a)$ which compose to $\varphi$ (since there are no morphisms in $M_B$ from $b_0\in B_0$ to anything in the image of $A\subset M_A$). But this is precisely the category asserted to be contractible in the assumption that $f$ is locally null-final. \end{proof} \begin{theorem} \label{HomotopyExactWithZeros1}\hypertarget{HomotopyExactWithZeros1}{} If a square \begin{displaymath} \itexarray{ I & \xrightarrow{f} & J \\ ^h\downarrow & \swArrow & \downarrow^k\\ K & \xrightarrow{g} & L} \end{displaymath} of categories with zeros has the properties that \begin{enumerate}% \item it is [[homotopy exact square|homotopy exact]] as a square of categories, when the full subcategories are ignored, and \item $g$ is \hyperlink{LocallyNullFinal}{locally null-final}, \end{enumerate} then for any pointed derivator, the induced transformation \begin{displaymath} \itexarray{ D(I,I_0) & \xleftarrow{f^*} & D(J,J_0) \\ ^{h_!}\downarrow & \seArrow & \downarrow^{k_!}\\ D(K,K_0) & \xleftarrow{g^*} & D(L,L_0)} \end{displaymath} is an isomorphism. \end{theorem} \begin{proof} By definition, the displayed functors $h_!$ and $k_!$ are obtained by applying the $h_!$ and $k_!$ of a derivator followed by the reflection into the relative diagram categories. Thus the given square factors into \begin{displaymath} \itexarray{ D(I,I_0) & \xleftarrow{f^*} & D(J,J_0) \\ ^{h_!}\downarrow & \seArrow & \downarrow^{k_!}\\ D(K) & \xleftarrow{g^*} & D(L)\\ ^{L_K}\downarrow & \seArrow & \downarrow^{L_L}\\ D(K,K_0) & \xleftarrow{g^*} & D(L,L_0)} \end{displaymath} in which the first square is an isomorphism by the first assumption, and the second square by the second assumption and Lemma \ref{LocallyNullFinalLemma}. \end{proof} For example, we can conclude: \begin{cor} \label{LocallNullFinalFF}\hypertarget{LocallNullFinalFF}{} If $f\colon A\to B$ is a fully faithful and locally null-final functor between categories with zeros, then for any pointed derivator $D$, the functor $f_!\colon D(A,A_0) \to D(B,B_0)$ is fully faithful. \end{cor} \begin{proof} The square \begin{displaymath} \itexarray{ A & \xrightarrow{id} & A \\ ^{id}\downarrow & \swArrow & \downarrow^f\\ A & \xrightarrow{f} & B} \end{displaymath} satisfies the hypotheses of the previous theorem. \end{proof} Theorem \ref{HomotopyExactWithZeros1} is not best possible, however. Its two conditions characterize when the two squares into which the Beck-Chevalley transformation factors are separately isomorphisms. However, it might happen that the composite is an isomorphism even though one or the other of the transformations is not separately an isomorphism. In particular, the condition of ``local null-finality'' on the bottom morphism $g$ uses no information about the categories $I$ and $J$. If we know some things about them, then we can correspondingly weaken this condition. \begin{theorem} \label{HomotopyExactWithZeros2}\hypertarget{HomotopyExactWithZeros2}{} Suppose given a square \begin{displaymath} \itexarray{ I & \xrightarrow{f} & J \\ ^h\downarrow & \swArrow & \downarrow^k\\ K & \xrightarrow{g} & L} \end{displaymath} of categories with zeros, where $L$ is equipped with a full subcategory $\hat{L}_0 \subseteq L_0$ of its category of zeros. Write $\check{L}_0 = L_0 \setminus \hat{L}_0$, and suppose the following. \begin{enumerate}% \item The square is [[homotopy exact square|homotopy exact]] as a square of categories, when the categories of zeros are ignored. \item For any pointed derivator $D$, the functor $k_!\colon D(J) \to D(L)$ maps $D(J,J_0)$ into $D(L,\hat{L}_0)$. For instance, this is the case if for each $z\in \hat{L}_0$, the category $k/z$ has a terminal object lying in $J_0$. \item For each $x\in L\setminus L_0$ and $y\in \hat{L}_0$ and morphism $x\xrightarrow{\varphi} y$ in $L$, the following category has a contractible nerve: its objects are triples $(z\in L_0, x\xrightarrow{\alpha} z, z\xrightarrow{\beta} y)$ such that $\beta\alpha=\varphi$, and its morphisms are morphisms $z_1\to z_2$ in $L$ commuting with the given morphisms \emph{and} such that either $z_1 \in \hat{L}_0$ or $z_2 \notin \hat{L}_0$. \item For every $x\in \check{L}_0$ and $y\in K$ and $x \xrightarrow{\varphi} g(y)$ in $L$, the category of triples $(z\in K_0 \cap g^{-1}(\check{L}_0), x\xrightarrow{\alpha} g(z), z \xrightarrow{\beta} y)$ such that $g(\beta).\alpha= \varphi$ has a contractible nerve (``relative local null-finality''). \end{enumerate} Then for any pointed derivator, the induced transformation \begin{displaymath} \itexarray{ D(I,I_0) & \xleftarrow{f^*} & D(J,J_0) \\ ^{h_!}\downarrow & \seArrow & \downarrow^{k_!}\\ D(K,K_0) & \xleftarrow{g^*} & D(L,L_0)} \end{displaymath} is an isomorphism. \end{theorem} \begin{proof} \textbf{(Sketch)} Because of the second condition in the theorem, instead of the reflection $D(L) \to D(L,L_0)$ it will suffice to consider the reflection $D(L,\hat{L_0}) \to D(L,L_0)$. We use the third condition to give an alternate way to compute this reflection, and the fourth condition to ensure that restriction along $g$ commutes with this reflection. Let $\hat{M}_L$ be the codirected mapping cylinder of $\check{L}_0 \hookrightarrow L$. If $L \xrightarrow{u} \hat{M}_L \xrightarrow{p} L$ are as before, then $u_*$ identifies $D(L,\hat{L}_0)$ with the subcategory of $D(\hat{M}_L)$ consisting of diagrams which are zero on the copy of $\check{L}_l$ that is the target end of the mapping cylinder and on the copy of $\hat{L}_0$ inside the copy of $L$ that is the source end; call this subcategory $D(\hat{M}_L, \hat{L}_0 \cup \check{L}_0)$. Now if the adjunction $p_! \colon D(\hat{M}_L) \rightleftarrows D(L) \;: p^*$ restricts to an adjunction $D(\hat{M}_L, \hat{L}_0 \cup \check{L}_0)\rightleftarrows D(L,L_0)$, we will be able to compute the reflection $D(L,\hat{L}_0) \to D(L,L_0)$ as $p_! u_*$, as before. This will follow if the following square is exact: \begin{displaymath} \itexarray{ \hat{L}_0 \cup \check{L}_0 & \to & \hat{M}_L \\ \downarrow & & \downarrow \\ L_0 & \to & L } \end{displaymath} where $\hat{L}_0 \cup \check{L}_0$ denotes the same full subcategory of $\hat{M}_L$ as above. Exactness of this square can be verified to be equivalent to the third condition in the theorem. Finally, modifying the proof of Lemma \ref{LocallyNullFinalLemma}, we see that the fourth condition in the theorem implies commutativity of $g^*$ with this reflection $p_! u_*$. Therefore, the theorem follows as before. \end{proof} If $\hat{L}_0 = \emptyset$, then the second and third conditions of Theorem \ref{HomotopyExactWithZeros2} are vacuous and it reduces to Theorem \ref{HomotopyExactWithZeros1}. At the other extreme, if $\hat{L}_0 = L_0$, then the second and fourth conditions of Theorem \ref{HomotopyExactWithZeros2} are vacuous and the third becomes ``$k_!$ maps $D(J,J_0)$ into $D(L,L_0)$.'' \hypertarget{extraordinary_inverse_images}{}\subsubsection*{{Extraordinary inverse images}}\label{extraordinary_inverse_images} \begin{theorem} \label{EOInv}\hypertarget{EOInv}{} A derivator $D$ is pointed if and only if whenever $u\colon A\to B$ is a [[sieve]] in $Dia$, the functor $u_* \colon D(A) \to D(B)$ has a right adjoint $u^!$, and dually whenever $u$ is a cosieve, the functor $u_!$ has a left adjoint $u^?$. \end{theorem} \begin{proof} Conversely, if $D$ is pointed and $u$ is a sieve, then by Lemma \ref{SieveRel}, $u_*$ identifies $D(A)$ with $D(B,B\setminus A)$. But by Theorem \ref{RelRefl}, the inclusion $D(B,B\setminus A)\hookrightarrow D(B)$ has a right adjoint. The other case is dual. \end{proof} The functors $u^!$ and $u^?$ are sometimes referred to as \emph{extraordinary} and \emph{co-extraordinary inverse image} functors. Our proof shows that $u^? = u^* p_! v_*$, where $v$ and $p$ are respectively the inclusion of $B$ in the codirected mapping cylinder of $B\setminus A \hookrightarrow B$, and its projection to $B$. In the literature, the existence of these functors is often taken as the definition of when a derivator is pointed. The equivalence of the two definitions is a ``super-difficult'' exercise in \href{http://people.math.jussieu.fr/~maltsin/Seville/Lecture_III_Derivators.pdf}{Maltsionitis' notes}. \hypertarget{loop_and_suspension}{}\subsubsection*{{Loop and suspension}}\label{loop_and_suspension} In a pointed derivator, we have a [[suspension]] functor $\Sigma\colon D 1 \to D 1$ defined as the composite \begin{displaymath} D 1 \overset{a_*}{\to} D \Gamma \overset{a b c_!}{\to} D \square \overset{d^*}{\to} D 1 \end{displaymath} where $\square$ denotes the category \begin{displaymath} \itexarray{ a & \to & b \\ \downarrow & & \downarrow \\ c & \to & d } \end{displaymath} and $\Gamma$ its full subcategory on $\{a,b,c\}$. Equivalently, the suspension can be defined as the composite \begin{displaymath} D 1 = D(1,\emptyset) \overset{(a,\emptyset)_!}{\to} D(\square,b c) \overset{(d,\emptyset)^*}{\to} D(1,\emptyset) = D 1. \end{displaymath} This follows because we have $D 1 \simeq D(\Gamma,b c)$, and thus $(a,\emptyset)_!$ is isomorphic to $(a b c,b c)_!\colon D(\Gamma,b c) \to D(\square,b c)$, which by definition is $L_{\square,b c} \circ a b c_!$. But $a b c_!$ is fully faithful since $a b c\colon \Gamma \hookrightarrow \square$ is, and so it already takes $D(\Gamma,b c)$ into $D(\square,b c)$. Thus $L_{\square,b c}$ is doing nothing, so $(a,\emptyset)_!$ is essentially just $a b c_!$ which appeared in our previous definition of $\Sigma$. (The other functor $a_*$ essentially implements the equivalence $D 1 \simeq D(\Gamma,b c)$.) Similarly, we have a [[loop space object]] functor $\Omega\colon D 1 \to D 1$ defined as the composite \begin{displaymath} D 1 \overset{d_!}{\to} D \Gamma^{op} \overset{b c d_*}{\to} D \square \overset{a^*}{\to} D 1. \end{displaymath} where $\Gamma^{op}$ is the full subcategory of $\square$ on $\{b,c,d\}$, and it can equivalently be given as the composite \begin{displaymath} D 1 = D(1,\emptyset) \overset{(d,\emptyset)_*}{\to} D(\square,bc) \overset{(a,\emptyset)^*}{\to} D(1,\emptyset) = D 1. \end{displaymath} The description in terms of relative diagram categories makes it clear that $\Sigma \dashv \Omega$. We can also describe $\Sigma$ and $\Omega$ in terms of the extraordinary inverse image functors. Since the square \begin{displaymath} \itexarray{ \Gamma & \to & \Gamma \\ ^r\downarrow & & \downarrow^{a b c}\\ * & \underset{d}{\to} & \square} \end{displaymath} is homotopy exact, the composite $d^* a b c_!$ in our first definition is the same as $r_!$. The other functor $a_*$ can in turn be decomposed as a composite $a b_* s_*$, where $s\colon * \to I$ is the inclusion of $s$ into the interval category $(s\to t)$, and $ab\colon I\to \Gamma$ is the inclusion into $\{a,b\}$. Therefore we have $\Sigma \cong r_! a b_* s_*$. But $\Gamma$ can be identified with $M s$ and $a b$ with the inclusion $u\colon I \hookrightarrow M s$, while $r$ factors as $M s \overset{p}{\to} I \overset{q}{\to} *$ so that $r_! \cong q_! p_!$. But finally, the square \begin{displaymath} \itexarray{* & \overset{t}{\to} & I\\ \downarrow & & \downarrow^q\\ *& \to & *} \end{displaymath} is homotopy exact, so $q_! \cong t^*$ and thus \begin{displaymath} \Sigma \cong t^* p_! u_* s_* \cong t^? s_*. \end{displaymath} Dually, we can identify $\Omega \cong s^! t_!$, from which it again follows directly that $\Sigma \dashv \Omega$. \hypertarget{enrichment_over_pointed_sets}{}\subsubsection*{{Enrichment over pointed sets}}\label{enrichment_over_pointed_sets} Every pointed derivator can be canonically ``[[enriched derivator|enriched]]'' over [[pointed sets]], in the sense that we can extend it to a functor \begin{displaymath} D': \; Set_* Cat \; \to\; Set_* CAT \end{displaymath} from small $Set_*$-enriched categories to large ones, satisfying analogues of the derivator axioms. Specifically, if $C$ is a $Set_*$-category, define $\bar{C}$ to be $C$ with a [[zero object]] adjoined. (Note that zero objects are [[absolute colimits]] in $Set_*$-categories.) Then set $D'(C) = D(\bar{C},0)$, the ``relative diagram category'' as defined above, i.e. the full subcategory of $D(\bar{C})$ on those diagrams which send the zero object to zero. Any $Set_*$-functor automatically preserves zero objects (since an object $x$ of a $Set_*$-category is zero iff its identity $id_x$ is the basepoint of the pointed homset $hom(x,x)$). In particular, any $Set_*$-functor $u:A\to B$ induces a relative functor $(u,0):(\bar{A},0) \to (\bar{B},0)$, and hence a pullback $u^* = (u,0)^*:D'(B) \to D'(A)$. According to the general theory of relative diagram categories, this functor has left and right adjoints $u_!$ and $u_*$, obtained from left and right extension along $u$ followed by reflection or coreflection from $D(\bar{B})$ into $D(\bar{B},0)$. In fact, however, in this case the reflection/coreflection is unnecessary: since the comma category $(u,0)/0$ has a terminal object $0$, the functor $u_!$ already maps $D(\bar{A},0)$ into $D(\bar{B},0)$. Thus we have a $Set_*$-analogue of the derivator axiom (Der3), existence of adjoints. For the enriched axiom (Der2), conservativity, observe that if $I$ is the unit $Set_*$-category having one object $x$ with $hom(x,x) = S^0 = \{1_x, 0\}$, then $D'(I) \simeq D(*)$. So the family of $Set_*$ functors $I \to A$ for any $Set_*$-category $A$ gives rise a family $*\to \bar{A}$ picking out the nonzero objects, but since any two zero objects are isomorphic, (Der2) for $D$ implies that the resulting family of functors $D'(A) \to D'(I)$ are jointly conservative. We can also conclude a version of the axiom (Der4) about exact squares from the above theorems about exactness for categories with zeros. Namely, if \begin{displaymath} \itexarray{ A & \to & B \\ \downarrow & \swArrow & \downarrow \\ C & \to & D } \end{displaymath} is a comma square of $Set_*$-categories, then \begin{displaymath} \itexarray{ \bar{A} & \to & \bar{B} \\ \downarrow & \swArrow & \downarrow \\ \bar{C} & \to & \bar{D} } \end{displaymath} is homotopy exact when considered as a square of ordinary categories. Moreover, the functor $\bar{C} \to \bar{D}$ is always locally null-final. Thus, by Theorem \ref{HomotopyExactWithZeros1}, our ``$Set_*$-enriched derivator'' satisfies the Beck-Chevalley condition for any comma square of $Set_*$-categories. It remains to consider the axiom (Der1) regarding coproducts. The coproduct ``$A\vee B$'' of two $Set_*$-categories $A$ and $B$, as $Set_*$-categories, is not quite a ``disjoint'' union, but rather includes zero morphisms in both directions from each category to the other. The inclusions $i,j$ of $A$ and $B$ are fully faithful, however, and the induced functors $\bar{i}\colon \bar{A}\to \overline{A\vee B}$ and $\bar{j}\colon \bar{B}\to \overline{A\vee B}$ are locally null-final; hence the left extensions $i_! \colon D'(A) \to D'(A\vee B)$ and $j_!\colon D'(B) \to D'(A\vee B)$ are also fully faithful. By exactness with zeros, we can show that $j^* i_!$ and $i^* j_!$ send everything to zero. Therefore, if we define a functor $(i,j)_!\colon D'(A) \times D'(B) \to D'(A\vee B)$ by $(i,j)_!(X,Y) = (i_! X + j_! Y)$, then we have $(i^*, j^*)(i,j)_! \cong Id$. On the other hand, by fully-faithfulness of $i_!$ and $j_!$, for any $Z\in D'(A\vee B)$ the map $i_! i^* Z \to Z$ is an isomorphism on objects of $A$, and similarly for $j$ and $B$; hence $(i,j)_! (i^*,j^*) \cong Id$ as well. In particular, $(i^*,j^*)$ is an equivalence of categories, providing the $Set_*$-enriched version of (Der1). What about (Der5)? Conversely, given a functor $D'$ as above satisfying the axioms as given above, we can define $D(A) = D'(A')$, where $A'$ denotes the free $Set_*$-category on an ordinary category $A$ (i.e. adjoin a new zero morphism between each pair of objects). This $D$ will automatically satisfy axioms (Der3) (homotopy Kan extensions) and (Der2) (conservativity on objects) since $D'$ does, and it satisfies (Der1) on coproducts since $D'$ does and since $(A+B)' \cong A' + B'$. Does (Der4) on Beck-Chevalley conditions carry back over? Does this require a ``pointed version of Cisinski's theorem''? Finally, of course each category $D(A) = D'(A')$ has a zero object, so $D$ is a pointed derivator. Thus, it seems that $Set_*$-enrichment is an essentially equivalent way to express the notion of pointed derivator. (This approach was used by Franke (see below).) However, what is not immediately clear is that passing from $D$ to $D'$ and back to $D$ again gives the same derivator. At first sight this seems to require a stronger theorem about homotopy exactness with zeros than is stated above, one in which the square need not be homotopy exact without zeros. \hypertarget{the_pointed_reflection}{}\subsection*{{The pointed reflection}}\label{the_pointed_reflection} Every derivator can be made pointed in a universal way; given $D$ we define $D_*(A)$ to be the full subcategory of $D(A\times I)$ which is terminal when restricted along $0\colon A\to A\times I$. It requires a little work to show that this is a derivator. The main observation being that the inclusion $D_*(A) \hookrightarrow D(A\times I)$ has a left adjoint (the ``mapping cone''), which can be constructed just as in the proof of Theorem \ref{RelRefl}. See III.5 of \hyperlink{HellerHomotopy}{Heller's memoir}. \hypertarget{references}{}\subsection*{{References}}\label{references} See [[derivator]] for general references. The pointed reflection is discussed in III.5 of \begin{itemize}% \item [[Alex Heller]], \emph{Homotopy theories} , Mem. AMS 71:383. \end{itemize} The definition of relative diagram categories is taken from: \begin{itemize}% \item [[Alex Heller]], \emph{Stable homotopy theories and stabilization} , \href{http://www.ams.org/mathscinet-getitem?mr=1431157}{MR} \end{itemize} The $Set_*$-enriched approach is taken as basic in \begin{itemize}% \item Jens Franke, \emph{Uniqueness theorems for certain triangulated categories with an Adams spectral sequence}, \href{http://www.math.uiuc.edu/K-theory/0139/}{K-theory archive} \end{itemize} See also \begin{itemize}% \item [[Moritz Groth]], \emph{Derivators, pointed derivators, and stable derivators} (\href{http://www.math.uni-bonn.de/~mgroth/groth_derivators.pdf}{pdf}) \end{itemize} [[!redirects pointed derivators]] [[!redirects derivator with a zero object]] [[!redirects zero object in a derivator]] [[!redirects derivators with zero objects]] [[!redirects zero objects in a derivator]] \end{document}