Commit 77e33870 authored by Leonard Guetta's avatar Leonard Guetta
Browse files

Slowly but surely

parent 2a65308a
......@@ -470,7 +470,7 @@
\frametitle{Singular homology as a derived functor}
\begin{alertblock}{Theorem (Guetta - 2020)}
\begin{alertblock}{Theorem (G. - 2020)}
The functor $\lambda : \oo\Cat \to \Ch$ is left derivable w.r.t the
\emph{Thomason equivalences} on $\oo\Cat$ and we have
......@@ -586,7 +586,7 @@
Let $C$ be an $\oo$\nbd{}category. Suppose that there exists $d : I
\to \oo\Cat$ such that:
\item<2-> $\displaystyle\hocolim^{\pol}_I(d)\simeq \hocolim^{\Th}_I(d)
\item<2-> $\displaystyle\hocolim^{\folk}_I(d)\simeq \hocolim^{\Th}_I(d)
\simeq C,$
\item<3-> for each $i \in \Ob(I)$, the $\oo$\nbd{}category $d(i)$ is
homologically coherent.
......@@ -596,6 +596,47 @@
% \pause
% Often, we will use:
\begin{frame}\frametitle{The case of 1-categories}
\begin{alertblock}{Theorem (G. - 2019)}
Every (small) category is homologically coherent.
\underline{Remark 1:} The homology (polygraphic or singular)
of a category need not be trivial above dimension $1$.
%Hence the previous result is \emph{not} trivial.
\underline{Remark 2:} Extension of Lafont and Métayer's result on the
homology of monoids, but more precise and completely new proof.
\begin{frame}\frametitle{The case of 1-categories}
\emph{Sketch of proof:}
Let $A$ be a small category. Recall that
\colim_{a \in A}A/a \simeq A.
\pause Moreover:
\item<2-> each $A/a$ is oplax contractible, hence homologically coherent,
\item<3-> $\displaystyle\hocolim_{a \in A}^{\Th}A/a \simeq \colim_{a \in A}A/a
\simeq A$ (Thomason's result from 1980).
All that is left to show is that we also have \[\hocolim_{a \in
A}^{\folk}A/a\simeq \colim_{a \in A}A/a\simeq A.\]
\pause How do we prove that ? Let us take a detour.
% \pause In order to do
% this, let $f : P \to A$ be a folk cofibrant replacement of $A$, and for
% each $a \in A$, the $\oo$\nbd{}category $P/a$ defined as
% \[
% \begin{tikzcd}[ampersand replacement=\&]
% P/a \ar[r] \ar[d] \& P \ar[d,"f"] \\
% A/a \ar[r] \& A.
% \ar[from=1-1,to=2-2,"\lrcorner",phantom,very near start]
% \end{tikzcd}
% \]
\begin{frame}\frametitle{In practice}
......@@ -604,19 +645,38 @@
\begin{tikzcd}[ampersand replacement=\&]
A \ar[r,"u"] \ar[d,"v"] \& B \ar[d] \\
C \ar[r] \& D
\ar[from=1-1,to=2-2,"\ulcorner",very near end,phantom]
be a cocartesian square in $\oo\Cat$. If
\item<2-> $A$,$B$ and $C$ are homologically coherent,
\item<3-> $u$ or $v$ is a folk cofibration,
\item<4-> the square is homotopy cocartesian w.r.t Thomason equivalence,
\item<4-> the square is homotopy cocartesian w.r.t Thomason equivalences,
then $D$ is homologically coherent.
\pause\pause\pause\pause then $D$ is homologically coherent.
\begin{frame}\frametitle{Easy application: homology of globes and spheres}
For every $n\geq 0$, $\sD_n$ is oplax contractible, hence
homologically coherent.\pause Moreover, we have
\begin{tikzcd}[ampersand replacement=\&]
\sS_{n-1} \ar[r,"i_n"] \ar[d,"i_n"] \& \sD_n \ar[d] \\
\sD_n \ar[r] \& \sS_n,
\ar[from=1-1,to=2-2,"\ulcorner",very near end, phantom]
(with $\sS_{-1}=\emptyset$).
\begin{exampleblock}{Perfect situation:}
The image by $N_{\oo}$ of the previous square is a cocartesian square
of monos, hence homotopy cocartesian.
\pause By an immediate induction, $\sS_n$ is homologically coherent
(and has the homotopy type of an $n$\nbd{}sphere).
%%% Local Variables:
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment