# The Unapologetic Mathematician

## Commutant Algebras in General

And in my hurry to get a post up yesterday afternoon after forgetting to in the morning, I put up the wrong one. Here’s what should have gone up yesterday, and yesterday’s should have been now.

Now we can describe the most general commutant algebras. Maschke’s theorem tells us that any matrix representation $X$ can be decomposed as the direct sum of irreducible representations. If we collect together all the irreps that are equivalent to each other, we can write

$\displaystyle X\cong m_1X^{(1)}\oplus m_2X^{(2)}\oplus\dots\oplus m_kX^{(k)}$

where the $X^{(i)}$ are pairwise-inequivalent irreducible matrix representations with degrees $d_i$, respectively. We calculate the degree:

$\displaystyle\deg X=\sum\limits_{i=1}^k\deg\left(m_iX^{(i)}\right)=\sum\limits_{i=1}^km_id_i$

Now, can a matrix in the commutant algebra send a vector from the subspace isomorphic to $m_iX^{(i)}$ to the subspace isomorphic to $m_jX^{(j)}$? No, and for basically the same reason we saw in the case of $X^{(i)}\oplus X^{(j)}$. Since it’s an intertwinor, it would have to send the whole $\mathbb{C}[G]$-orbit of the vector — a submodule isomorphic to $X^{(j)}$ — into the target subspace $m_jX^{(j)}$, but we know that that submodule itself has no submodules isomorphic to $X^{(i)}$.

And so any such matrix must be the direct sum of one matrix in each commutant algebra $\mathrm{Com}_G\left(m_iX^{(i)}\right)$. But we know that these matrices are of the form $M_{m_i}\boxtimes I_{d_i}$. And so we can write

$\displaystyle\mathrm{Com}_G(X)=\left\{\bigoplus\limits_{i=1}^k(M_{m_i}\boxtimes I_{d_i})\bigg\vert M_{m_i}\in\mathrm{Mat}_{m_i}(\mathbb{C})\right\}$

which has dimension

$\displaystyle\dim\mathrm{Com}_G(X)=\sum\limits_{i=1}^km_i^2$

## 1 Comment	»

1. [...] each is an irreducible representation of degree . Then we know that we can [...]

Pingback by | October 8, 2010 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 16, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9017373919487, "perplexity_flag": "head"}