Key lemma and universal localization

Abstract.

We study localizations of $\infty$-categories which remain localizations after any base change.

1. Key lemma

Recall the following Key lemma presented in  [H.L], 1.3.6. The Key lemma served a convenient tool in proving the equivalence of various descriptions of the $\infty$-category underlying a model category, see [H.L], 1.3.4, 1.3.5, 1.3.7.

1.1 Lemma.

Let $f:\mathcal{C}\to\mathcal{D}$ be a functor between conventional categories satisfying the following property (P).

• For any $s:[n]\to\mathcal{D}$ the category of sections $\mathcal{C}_{s}=\operatorname{Fun}_{\mathcal{D}}([n],\mathcal{C})$ is weakly contractible.

Then $f$ induces an equivalence

$$\mathcal{L}(\mathcal{C},f^{-1}(\mathcal{D}^{\mathit{eq}}))\to\mathcal{D},$$

where $\mathcal{L}$ denotes the ($\infty$-categorical) localization.

In this note we generalize this result in several directions.

• We remove the assumption of $\mathcal{C}$ and $\mathcal{D}$, see 1.5.

• We weaken the assumptions so that (P) will be required to hold only for simplices of dimension $\leq 1$, see 1.6.

• We provide a version of a converse statement, see 2.2.

1.2. Localization

In this note we will use the word “category” to denote $\infty$-categories; the categories in the traditional sense are called the conventional categories. We denote by $\mathcal{S}$ the category of spaces and by $\mathtt{Cat}$ the category of categories. Recall that the full embedding $\mathcal{S}\to\mathtt{Cat}$ admits a left adjoint

$$\mathcal{L}:\mathtt{Cat}\to\mathcal{S}$$

called the full localization. A functor $f:\mathcal{C}\to\mathcal{D}$ is called a weak equivalence if $\mathcal{L}(f)$ is an equivalence. A category $\mathcal{C}$ is weakly contractible if $\mathcal{L}(\mathcal{C})$ is contractible.

More generally, one defines the category of marked categories $\mathtt{Cat}^{+}$ consisting of pairs $(\mathcal{C},W)$ where $W\supset\mathcal{C}^{\mathit{eq}}$ is a subcategory of $\mathcal{C}$ (its arrows are called marked arrows). Then localization

$$\mathcal{L}:\mathtt{Cat}^{+}\to\mathtt{Cat}$$

is the functor left adjoint to the obvious functor $\mathcal{C}\mapsto(\mathcal{C},\mathcal{C}^{\mathit{eq}})$.

We start with a very special case of the result.

1.3 Lemma.

Let $f:\mathcal{C}\to\mathcal{D}$ be a cocartesian fibration. The fibers of $f$ are weakly contractible if and only if $f$ induces an equivalence

$$\mathcal{L}(\mathcal{C},f^{-1}(\mathcal{D}^{\mathit{eq}}))\to\mathcal{D}.$$

Proof.

Let us say that an arrow in $\mathcal{C}$ is marked if $f$ carries it to an equivalence in $\mathcal{D}$. With this definition $f$ becomes a marked cocartesian fibration in the sense of [H.L], 2.1.1, so that Proposition 2.1.4 of [H.L] can be applied. This yields a left fibration

$$\mathcal{L}(f):\mathcal{L}(C,f^{-1}(\mathcal{D}^{\mathit{eq}}))\to\mathcal{D}.$$

It is an equivalence if and only if its fibers are contractible. ∎

1.4. Rezk nerve

Let $(\mathcal{C},W)$ be a marked category. The Rezk nerve $N^{R}(\mathcal{C},W)$, see [MG], 3.1, is the simplicial space defined by the formula

$$N^{R}(\mathcal{C},W)_{n}=\mathcal{L}(\operatorname{Fun}([n],\mathcal{C})^{W})$$

where $\operatorname{Fun}([n],\mathcal{C})^{W}$ is the subcategory of $\operatorname{Fun}([n],\mathcal{C})$ having the same objects and spanned by the arrows that are pointwise in $W$. By Theorem 3.8 of [MG] the complete Segal replacement of $N^{R}(\mathcal{C},W)$ represents the localization $\mathcal{L}(\mathcal{C},W)\in\mathtt{Cat}$.

Let now $f:\mathcal{C}\to\mathcal{D}$ be a functor. We denote by $W=f^{-1}(\mathcal{D}^{\mathit{eq}})$ the subcategory of $\mathcal{C}$ spanned by the arrows sent by $f$ to equivalences.

The category $\operatorname{Fun}([n],\mathcal{C})^{W}$ is the base change of $f_{n}:\operatorname{Fun}([n],\mathcal{C})\to\operatorname{Fun}([n],\mathcal{D})$ with respect to the embedding $\operatorname{Fun}([n],\mathcal{D})^{\mathit{eq}}\to\operatorname{Fun}([n],\mathcal{D})$.

Applying Lemma 1.3 to the functor $\operatorname{Fun}([n],\mathcal{C})^{W}\to\operatorname{Fun}([n],\mathcal{D})^{\mathit{eq}}$, we deduce the following more general version of Key lemma.

1.5 Lemma.

Let $f:\mathcal{C}\to\mathcal{D}$ be a functor satisfying the above mentioned property (P) for any $s:[n]\to\mathcal{D}$. Then $f$ induces an equivalence

$$\mathcal{L}(\mathcal{C},f^{-1}(\mathcal{D}^{\mathit{eq}}))\to\mathcal{D}.$$

∎

Our next step is to show that the property (P) is equivalent to a weaker property

• For all $s:[n]\to\mathcal{D}$ with $n\leq 1$ the category $\mathcal{C}_{s}=\operatorname{Fun}_{\mathcal{D}}([n],\mathcal{C})$ is weakly contractible.

1.6 Proposition.

The properties (P) and $(P_{1})$ for a functor $f:\mathcal{C}\to\mathcal{D}$ are equivalent.

Proof.

Let $s:[n]\to\mathcal{D}$ be given (up to equivalence) by a sequence

$$x_{0}\stackrel{{\scriptstyle s_{1}}}{{\to}}x_{1}\stackrel{{\scriptstyle s_{2}}}{{\to}}\ldots\stackrel{{\scriptstyle s_{n}}}{{\to}}x_{n}.$$