2
$\begingroup$

how to prove that:

$\mathrm{Hom}(\varinjlim X_i,Y) \cong \varprojlim \mathrm{Hom}( X_i,Y)$?

Added(05/10/12)

It should be $Y$, instead of $Y_i$, and thanks for the answers.

  • 2
    Assuming it should be $Y$, the isomorphism you are asking is just a restatement of the universal property of $\varinjlim$: a map from $\varinjlim X_i$ corresponds uniquely to a family of maps from the $X_i$ that respect the inductive structure. Write out what "respect the inductive structure" means and you'll discover that you have a *projective* family of morphisms. This is completely analogous to the fact that $\mathrm{Hom}(\coprod X_i, Y) \cong \prod\mathrm{Hom}(X_i,Y)$, because given $\{f_i\}$ on the right, it induces a unique $f$ on the left. Same thing here.2012-05-10

1 Answers 1

6

as said in my comment above, I suppose you meant to show $\mathrm{Hom}(\varinjlim X_i, Y) \cong \varprojlim\mathrm{Hom}(X_i, Y),$ as your indices as written don't make sense.

What Arturo meant is, that we should use the universal property of $\varprojlim$, that is we show that $\mathrm{Hom}(\varinjlim X_i, Y)$ has the properties of a limit of $\mathrm{Hom}(X_i, Y)$. For $i \in I$ let $\rho_i\colon X_i \to \varinjlim X_i$ the canonical morphism, we get a map $\rho_{i}^\star\colon \mathrm{Hom}(\varinjlim X_i, Y) \to \mathrm{Hom}(X_i, Y)$. For a morphism $f\colon i \to j$ we have an $X_f \colon X_i \to X_j$ an by the properties of the colimit we have $\rho_j \circ X_f = \rho_i$, which gives $\rho_i^\star = X_f^\star \circ \rho_j^\star$ by the functorial properties of $\star$. So the $\rho_i^\star$ interact well with the morphisms in $I$, we now have to show that there are universal in such. So let $\sigma_i\colon Z \to \mathrm{Hom}(X_i, Y)$ maps with $\sigma_i = X_f^\star \circ \sigma_j$ for each morphism $f\colon i \to j$ in $I$. For $z \in Z$ we have a family $\sigma_i(z) \colon X_i \to Y$ of morphisms. If $f\colon i \to j$ we have $\sigma_j(z) \circ X_f = X_f^\star\bigl(\sigma_j(z)\bigr) = (X_f^\star\circ \sigma_j)(z) = \sigma_i(z)$. By the universal property of $\varinjlim X_i$ there is a unique $\phi(z): \varinjlim X_i \to Y$ with $\phi(z) \circ \rho_i = \sigma_i(z)$ for all $i$. This gives a $\phi\colon Z \to \mathrm{Hom}(\varinjlim X_i, Y)$ with $\rho_i^\star \circ \phi = \sigma_i$ for all $i$. If $\psi\colon Z \to \mathrm{Hom}(\varinjlim X_i, Y)$ also has this property, we have for $z \in Z$ that $\psi(z) \circ \rho_i = \sigma_i(z)$ for all $i$ and by uniqueness of $\phi(z)$ we have $\psi(z) = \phi(z)$. As $z$ was arbitrary, $\phi = \psi$.

So $\mathrm{Hom}(\varinjlim X_i, Y)$ has the properties of a limit of $\mathrm{Hom}(X_i, Y)$ and therefore $\mathrm{Hom}(\varinjlim X_i, Y) \cong \varprojlim\mathrm{Hom}(X_i, Y).$