3
$\begingroup$

I am reading some handwritten notes, and scribbled next to a restriction of scalars functor, are the words "a pullback".

I don't understand why this might be the case.

In particular, consider a field $k$ with a map $\varphi:k\rightarrow A$ for $A$ an associative unital $k$-algebra. Then we consider the induced functor $\varphi_*:A-mod\rightarrow k-mod$ restriction of scalars.

Is $\varphi_*$ the pullback of some diagram in the category of functors from $A$-mod to $k$-mod?

I know this a fairly strange question, but I just cant see what the scribbler had in mind.

  • 1
    I'm not sure I follow here -- don't you mean that $\varphi_* : A-\text{mod} \rightarrow k-\text{mod}$?2010-11-13
  • 0
    I most definitely do, I will edit. Thanks.2010-11-13
  • 0
    and should the question have also been changed?2010-11-13
  • 0
    sigh, yes it should have2010-11-13

1 Answers 1

3

The sense in which "pullback" is being used here is the same sense it's being used in this Wikipedia article; that is, it's being used to refer to the process of "pulling back" a morphism $A \to \text{End}(R)$ (an $A$-module) along the morphism $k \to A$ to get a morphism $k \to \text{End}(R)$ (a $k$-module) by precomposition. This is different from the categorical pullback. I don't know why they're named the same.

Edit: Okay, so now I do know why they're named the same. To be brief, I think the historical motivation is that the pullback of vector bundles can be defined in both ways; see, for example, this blog post by Akhil Mathew.