9
$\begingroup$

Let us fix two categories $\mathcal{C}$ and $\mathcal{D}$, as well as two functors $F:\mathcal{C}\rightarrow \mathcal{D}$ and $G:\mathcal{D}\rightarrow \mathcal{C}$. By an adjunction between $F$ and $G$ I mean a natural isomorphism of bifunctors $\Phi _{X,Y}:\mathrm{Mor}_{\mathcal{D}}(F(X),Y)\rightarrow \mathrm{Mor}_{\mathcal{C}}(X,G(Y))$. If there is some adjunction between $F$ and $G$, we say that $(F,G)$ is an adjointable pair.

Are there examples of adjointable pairs $(F,G)$, but for which the adjunction between them is not unique? If so, is there a sense in which they are all unique (analogous to, for example, how if a functor admits a left-adjoint, that functor is not literally unique, but it is unique up to natural isomorphism)?

My first thought is "Yes, there do exist such pairs.", and that you can find other adjunctions of the same adjointable pair by finding automorphisms of the identity functors on $\mathcal{C}$ and $\mathcal{D}$ (though I have not checked this in detail). If this is so, are adjunctions unique up to automorphisms of the identity functors, or we can find more adjunctions still?

$\endgroup$
  • 1
    $\begingroup$ I object to this terminology; "adjoint pair" should include both the data of $F$ and $G$ and the data of the adjunction between them (rather than just the claim that there exists an adjunction). $\endgroup$ – Qiaochu Yuan Sep 10 '15 at 23:21
  • $\begingroup$ What do you mean? I agree that the thing that matters is the the functors together with the adjunction, but I specifically needed a term that 'forgot' about any specific adjunction so as to be able to actually ask the question (at least in the first way that came to mind). $\endgroup$ – Jonathan Gleason Sep 10 '15 at 23:36
  • 2
    $\begingroup$ Better terminology would be "adjointable pair." $\endgroup$ – Qiaochu Yuan Sep 10 '15 at 23:38
  • $\begingroup$ Okay, I like this. I have updated the question accordingly. You might then rephrase the question as "Is information lost in passing from the adjoint pair (i.e. with the data of the particular adjunction included) to the adjointable pair?" If the adjunction itself were unique, then you could recover it from just $F$ and $G$ alone. $\endgroup$ – Jonathan Gleason Sep 10 '15 at 23:42
7
$\begingroup$

Adjoint functors are not only unique up to isomorphism, they are unique up to unique isomorphism; that is, if $F$ is left adjoint to $G$ and also to $G'$, then there is a unique isomorphism $G \cong G'$ compatible with the data of the two adjunctions. In particular, this is true if $G = G'$. So it's indeed the case that adjunction data is unique up to twisting by an automorphism of $G$, or dually up to twisting by an automorphism of $F$ (in particular, $F$ and $G$ have the same automorphism group, but there's no reason that this should be trivial).

$\endgroup$
  • $\begingroup$ For an explicit example to mull over, take $C = D = \text{Vect}$ and take $F = V \otimes (-), G = \text{Hom}(V, -)$. The automorphism group of both of these functors is $\text{Aut}(V)$. $\endgroup$ – Qiaochu Yuan Sep 10 '15 at 23:32
  • $\begingroup$ What? I don't mean to ask whether the functors are unique, I mean to ask whether the adjunction that relates them is unique. Does uniqueness of the functors imply uniqueness of the natural isomorphism $\Phi _{X,Y}$? If so, I do not see it . . . $\endgroup$ – Jonathan Gleason Sep 10 '15 at 23:41
  • $\begingroup$ @Jonathan: I'm claiming that it's not unique, but that it is unique up to automorphisms of $F$ or $G$. The reason is because of the uniqueness of adjoints: if you have some adjunction data relating $F$ and $G$, and some adjunction data relating $F$ and $G'$, then you get a unique isomorphism $G \cong G'$ intertwining these. This is in particular the case if $G'$ happens to be equal to $G$. Of course this is all just exactly what I wrote above. $\endgroup$ – Qiaochu Yuan Sep 10 '15 at 23:44
  • $\begingroup$ Ahhh, okay. I had to write more details down to see what you meant, but now I see how it follows. Thanks! $\endgroup$ – Jonathan Gleason Sep 11 '15 at 0:14
  • 1
    $\begingroup$ @Saal: yes, the same argument applies, it's the classifying space of the automorphism group of either of them. $\endgroup$ – Qiaochu Yuan Nov 6 '17 at 22:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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