Our proof of Frobenius reciprocity shows that induction is a left-adjoint to restriction. In fact, we could use this to define induction in the first place; show that restriction functor must have a left adjoint and let that be induction. The downside is that we wouldn’t get an explicit construction for free like we have.
One interesting thing about this approach, though, is that we can also show that restriction must have a right adjoint, which we might call “coinduction”. But it turns out that induction and coinduction are naturally isomorphic! That is, we can show that
Indeed, we can use the duality on hom spaces and apply it to yesterday’s Frobenius adjunction:
Sometimes when two functors are both left and right adjoints of each other, we say that they are a “Frobenius pair”.
Now let’s take this relation and apply our “decategorifying” correspondence that passes from representations down to characters. If the representation has character and has character , then hom-spaces become inner products, and (natural) isomorphisms become equalities. We find:
which is our “fake” Frobenius reciprocity relation.
where is an -module and is a -module.
This is one of those items that everybody (for suitable values of “everybody”) knows to be true, but that nobody seems to have written down. I’ve been beating my head against it for days and finally figured out a way to make it work. Looking back, I’m not entirely certain I’ve ever actually proven it before.
So let’s start on the left with a linear map that intertwines the action of each subgroup element . We want to extend this to a linear map from to that intertwines the actions of all the elements of .
Okay, so we’ve defined . But if we choose a transversal for — like we did when we set up the induced matrices — then we can break down as the direct sum of a bunch of copies of :
So then when we take the tensor product we find
So we need to define a map from each of these summands to . But a vector in looks like for some . And thus a -intertwinor extending must be defined by .
So, is this really a -intertwinor? After all, we’ve really only used the fact that it commutes with the actions of the transversal elements . Any element of the induced representation can be written uniquely as
for some collection of . We need to check that .
Now, we know that left-multiplication by permutes the cosets of . That is, for some . Thus we calculate
and so, since commutes with and with each transversal element
Okay, so we’ve got a map that takes -module morphisms in to -module homomorphisms in . But is it an isomorphism? Well we can get go from back to by just looking at what does on the component
If we only consider the actions elements , they send this component back into itself, and by definition they commute with . That is, the restriction of to this component is an -intertwinor, and in fact it’s the same as the we started with.