Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am trying to read the section on Functor of points from Eisenbud - Harris (and I also referred to Mumford's book). They all motivate functor of points this way :

In general, for any object $Z$ of a category $\mathcal{X}$, the association $X\mapsto\textrm{Hom}_\mathcal{X}(Z,X)$ defines a functor $\phi$ from the category $\mathcal{X}$ to the category of sets. (We wish to identify $\textrm{Hom}_\mathcal{X}(Z,X)$ with the point set $X$).

But the book says that it is not satisfactory to call the set $\textrm{Hom}_\mathcal{X}(Z,X)$, the set of points of $X$ unless this functor $\phi$ is faithful.

I don't understand this statement. If $\phi$ is not faithful, they have given an example in the case of category of $CW$-complexes, where $\textrm{Hom}_\mathcal{X}(Z,X)$ cannot be identified with $X$. But I am not able to understand why $\textrm{Hom}_\mathcal{X}(Z,X)$ can b identified with $X$ if $\phi$ is faithful.

If $\phi$ is faithful, then there is an injection from $\textrm{Hom}_\mathcal{X}(Z,X)\longrightarrow\textrm{Hom}_{Sets}(\textrm{Hom}_\mathcal{X}(Z,Z), \textrm{Hom}_\mathcal{X}(Z,X))$. But what does this tell us? Any help will be appreciated!

share|improve this question
4  
I believe it's because such a Hom functor is faithful iff $Z$ is a generator of $\mathcal{X}$; that is, $Z$ does the same thing for $\mathcal{X}$ that $1$ does for $\mathbf{Set}$. –  Malice Vidrine May 10 at 15:29
    
Thank you! I understand your statement that $Z$ is a generator iff the Hom functor is faithful. But I am not able to understand why because of this $X$ can be identified with Hom$(Z,X) $. Am I missing something obvious –  poorna May 10 at 16:48

2 Answers 2

up vote 10 down vote accepted

If you're a traditional kind of mathematician, you like your categories to have objects that can be described as sets with extra structure and your morphisms to be functions that preserve that structure. This is codified in the notion of a concrete category, namely a category $C$ equipped with a faithful functor $C \to \text{Set}$ sending each object to its underlying set. The point of faithfulness is that it codifies the idea that your morphisms can be identified with functions on underlying sets.

In the context of algebraic geometry, for example, the Nullstellensatz implies that the functor sending an affine variety over an algebraically closed field $k$ to its set of points over $k$ (that is, $X \mapsto \text{Hom}(\text{Spec } k, X)$) is faithful. Thus we can talk about affine varieties over algebraically closed fields as if they are sets of points, and as if morphisms between them are functions between those sets of points.

This fails badly as soon as $k$ is not algebraically closed; for example, if $k = \mathbb{R}$, then even an innocent variety like $\text{Spec } \mathbb{R}[x]/(x^2 + 1)$ already fails to have any points over $\mathbb{R}$, so the $\mathbb{R}$-points functor can't possibly distinguish any morphisms into or out of this object.

share|improve this answer
1  
@poorna: its Spec is not empty (exercise). It has morphisms to and from many other varieties, and those morphisms aren't being captured by what they do to real points. –  Qiaochu Yuan May 11 at 17:41
    
Of course! I was being very stupid. Thanks for correcting me! –  poorna May 11 at 18:49

I may as well make this an answer; a functor $hom_{\mathcal{X}}(Z,-)$ is faithful iff $Z$ is a generator of $\mathcal{X}$. Saying that you can "identify" an object $A$ with $hom(Z,A)$ is perhaps a bit of an abuse of language; the idea is that the morphisms $Z\to A$ tell you everything about $A$ in $\mathcal{X}$. It also gives you an "underlying functor" that turns your category into a concrete category over $\mathbf{Set}$, so you can identify $hom(Z,A)$ with $A$ in roughly the same sense you can identify a group with $hom_{\mathbf{Grp}}(\mathbb{Z},G)$. It gives you a way to view the abstract objects of the category as structured sets, and gives a nice canonical choice of set.

I'm not familiar with CW complexes, so I can't say whether there's some consideration more specific to that category. But I think these are general considerations for why you might think of an object as identifiable with its image under a faithful hom hom functor. Hopefully this made sense, let me know if I should expand on anything.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.