0

I have a question. Why $(\varinjlim, | |)$ is an adjoint pair of functors?

Here the definition of constant direct system || is: For any I, fix a module A and set $A_i=A$, all $i\in I$, and $\phi_j^i=1_A$ for all $i\leq j$.

The adjoint pair of functors is an ordered pair (F,G), $F:C\rightarrow D, G:D\rightarrow C$ such that there is a bijection $\tau: Hom_C(FA,C)\rightarrow Hom_D(A,GC) $ which is natural in each variable.

The definition of constant direct system is clear. It is a functor G from C to D, here C is the index set I. But the direct limit seems like consisting of an object and a family of morphisms such that the universal property holds. Then how we regard it as a functor? I guess it might be a functor from a direct system to an object with some morphisms? Then I am confused about how to check the condition of adjoint functors. Thanks for any help!

cali
  • 315

1 Answers1

1

By definition, a direct limit of a system $\{B_i\}_{i \in I}$, if it exists, is an object $\varinjlim B_i \in \mathsf{C}$ together with morphisms $f_i : B_i \to \mathcal{B}$, such that for all objects $A \in \mathsf{C}$, $$\hom_{\mathsf{C}}(\mathcal{B}, A) \cong \hom_{\mathsf{C}^I}(\{B_i\}, |A|) \tag{*}$$ is a bijection, the map being given by $$(g : \mathcal{B} \to A) \mapsto \{ g_i = g \circ f_i : B_i \to |A|_i = A \}_{i \in I}.$$

You can easily see that this is equivalent to the universal property of the direct limit: it exactly means that for all system of morphisms $g : B_i \to A$ (compatible with the system $\{B_i\}$) there exists a unique morphism $\mathcal{B} \to A$ compatible with the $g_i$. (It's one of these things you need to work out yourself to really understand, so I encourage you to write down the details.)

It can be shown that if for all systems $\{B_i\} \in \mathsf{C}^I$, the direct limit exists, then the constant direct system functor $|-| : \mathsf{C} \to \mathsf{C}^I$ has a left adjoint. It can be denoted $\varinjlim : \mathsf{C}^I \to \mathsf{C}$ and is called the direct limit (or colimit) functor. Since this is a left adjoint, equation $(\text{*})$ holds (with $\mathcal{B} = \varinjlim B_i$), and you see that therefore $\varinjlim B_i$ is a direct limit of the system $\{B_i\}$.

I won't prove that it's a functor, but to get an idea, suppose that you have two systems $\{B_i\}$ and $\{C_i\}$ and a collection of morphisms $h_i : B_i \to C_i$, compatible with the systems. Then you can compose with the "injection" morphisms to get $\tilde{h_i} : B_i \to C_i \to {\varinjlim}_j C_j$, and these maps commute with the maps of the system $\{B_i\}$. So by the universal property you get a map $$\varinjlim h_i : \varinjlim B_i \to \varinjlim C_i.$$ It remains to show that $\varinjlim (h_i \circ g_i) = \varinjlim h_i \circ \varinjlim g_i$, a healthy exercise.

Najib Idrissi
  • 54,185
  • Thanks! I think I totally understand it. The point is the direct limit is a functor from the category of direct systems(I feel some compatible condition needed) to the category where {$B_i$ } belong to, that is C. The constant direct system functor can be regarded as a functor from C to $C^I$. And $hom_{C^I}({B_i}, A)$ is a family of morphisms that are compatible. Thank you very much! – cali Mar 15 '15 at 18:46