Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Is there a formula for the determinant of an induced representation, e.g. in the fashion of the Frobenius character formula.

I would hope for something:

$$ det \; Ind_H^G \rho(g) = (-1)^\alpha \prod\limits_{\gamma, \gamma_1 \in G/H \atop \gamma^{-1}g\gamma_1 \in H} det \rho(\gamma^{-1}g\gamma_1).$$

If you have a reference or a quick proof, that would be most helpful.

share|improve this question

2 Answers 2

up vote 9 down vote accepted

Well, yes there is, but it's slightly complicatd by the fact that the permutation action of $G$ on the (say right) cosets of $H$ introduces a sign. Also, you have to worry about "non-diagonal" blocks. Hence, if we let $T$ be a complete set of representatives for the right cosets of $H$ in $G,$ then ${\rm det} {\rm Ind}_{H}^{G}(\rho)[g] = \prod_{s,t \in T: sgt^{-1} \in H} {\rm det}(\rho(sgt^{-1}))$ if $\rho(1)$ is even, but is ${\rm sign}_{H}(g)\prod_{s,t \in T :sgt^{-1} \in H} {\rm det}(\rho(sgt^{-1})$ if $\rho(1)$ is odd, where ${\rm sign}_{H}(g)$ denotes the sign of the permutation of the right cosets of $H$ in $G$ induced by right multiplication by $g.$ In the 1970's, T. Yoshida did some work on "character-theoretic transfer", which exploited the determinant of the induced representation, especially when $\rho$ was linear. In some situations, Mackey type formulae for the determinant of the induced representation can simplify calculations. Later edit: Perhaps a word about the use of Mackey type formulae. It can simplify things to look at the orbits of $\langle g \rangle$ on right cosets of $H$ in $G,$ in other words, to group contributions from the $(H, \langle g \rangle)$-double cosets. The factor ${\rm sign}_{H}(g)$, can be accounted for as above, suppose that thre are $k$ of these double costs, and that $t_1,t_2, \ldots, t_k$ are representatives, where the double coset of $t_i$ consists of $m_i$ right cosets of $H.$ Then the formula for the determinant of ${\rm Ind}_{H}^{G}(\rho)[g]$ may be expressed as ${\rm sign}_{H}(g)^{\rho(1)} \prod_{i=1}^{k} {\rm det}(\rho( t_{i}g^{m_i}t_{i}^{-1})).$

share|improve this answer
    
What does $\rho(1)$ refer to, the dimension of $\rho$? What work of Yoshida is especially helpful? Can one do something similar for the characteristic ppolynomial of $\rho$? –  Marc Palm Mar 1 '12 at 10:49
    
Yes. $\rho(1)$ denotes the dimension of $\rho.$ I think T. Yoshida's apers are just called"Character-theoretic transfer I and II"- they should be in Math reviews, but I'll check (around 1977-80). As to the characteristic polynomial, it looks possible, but slihtly awkward. Isn't it easier just to use the formula for the induced character to determine the multiplicities of all the eigenvalues of $g$ by looking at $\langle g \rangle.$ –  Geoff Robinson Mar 1 '12 at 11:36
1  
@pm: Try MR0491920 and MR0969691 –  Geoff Robinson Mar 1 '12 at 11:49
    
The last product runs over H\backslash G/H? Thanks this very helpful. –  Marc Palm Mar 1 '12 at 18:50
    
@pm: Not quite: it runs over $H \backslash G / \langle g \rangle ,$ as explained in the text. –  Geoff Robinson Mar 1 '12 at 21:29

The answer can be formulated in compact form using the usual transfer map $V_H^G\colon G\to H/H'$ or the (not-so-well-known) construction of tensor induction: Namely,

$$ \det( { \rm Ind}_H^G\; \rho ) = ( {\rm sign}_{[G:H]})^{\rho(1)} ((\det\rho)\circ V_H^G) =( { \rm sign }_{ [G:H] })^{\rho(1)} (\det \rho)^{\otimes G}, $$

where ${\rm sign}_{[G:H]}$ is the permutation sign character of $G$ on the cosets of $H$. An exposition of tensor induction and a proof of this formula is contained in Curtis and Reiner, Methods of Representation Theory I (see Proposition 13.15). It seems this formula is due to Gallagher (MR0185017). Of course, when evaluating at $g\in G$, this yields the last formula in Geoff Robinson's answer.

share|improve this answer
    
Thanks. It is always convenient to have a additional textbook reference. –  Marc Palm Mar 1 '12 at 18:12

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.