Representation theory studies (among else) representations of groups by finite matrices. The non-commutative analog of classical Fourier transforms.

learn more… | top users | synonyms (1)

1
vote
2answers
52 views

Young tableaux of $8\otimes 8$ in $SU(3)$

In Georgi's Lie Algebras in Particle Physics, one finds the following Young tableaux for $8\otimes 8$ in $SU(3)$: I am unsure of all the cancellations. Let us number the canceled tableaus increasing ...
0
votes
1answer
27 views

Considering transitive $G$-set

Question. Suppose that $X$ is a transitive $G$-set of size greater than $1$ and let $\pi$ be the associated permutation representation with the character $\chi$. Show that some element $g \in G$ ...
1
vote
0answers
7 views

Does every Young diagram have a unique minimal major index?

Given a Young diagram, $Y_\rho$, corresponding to an irreducible complex representation $\rho$ of the symmetric group $S_n$, we can associate a set of major indices $\{ ...
1
vote
1answer
20 views

Lifting representations, kernels and invariant subspaces

Let $G$ be a group, $N \triangleleft G$, $G/N$ the corresponding quotient group. Suppose $\rho : G/N \longrightarrow GL(\mathbb{C})$ is a representation of $G/N$. Then the composition ...
3
votes
2answers
41 views

Prove that every non-abelian group of order $8$ has a $2$-dimensional irreducible character all of whose values are integers.

Prove that every non-abelian group of order $8$ has a $2$-dimensional irreducible character all of whose values are integers. I get that if $G$ is non abelian it must have an irreducible ...
0
votes
0answers
8 views

At what position do we insert the new coeffiecent in the weights for extended Dynkin Diagrams?

Given a set of weights of a representation and the corresponding extended Dynkin diagram for some Lie algebra, we can delete a node, which yields the maximal subalgebra. I know how to draw the ...
-1
votes
1answer
62 views

$GL_3(\mathbb{F}_2)$ is simple

Character table of $GL_3(\mathbb{F}_2)$. \begin{array}{|c|c|c|c|c|c|} \hline & 1 & 2 & 3 & 4 & 7A & 7B \\ \hline \chi_1 & 1 & 1 & 1 & 1 & 1 & 1\\ ...
2
votes
1answer
15 views

Adjoint representation and tangent vectors

Let $G$ be a Lie group, $\mathfrak{g}$ its Lie algebra, $\text{Ad}:G\rightarrow GL(\mathfrak{g})$ the adjoint representation of $G$. Then, for $X,Y\in \mathfrak{g}$, \begin{align*} ...
0
votes
0answers
12 views

Homomorphisms in $Q_8$ [duplicate]

Prove directly that the 2-dimensional irreducible representation $\rho$ of $Q_8$ is not realisable over $\mathbb{R}$. Suppose $\rho: Q_8 \rightarrow GL_2(\mathbb{R})$ is a representation with ...
3
votes
0answers
75 views

Symmetric kernel of tensor product

Let $V,W$ be two vector spaces, and let $L_i:V\rightarrow W$, $i=1,\ldots,n$ be $n$ linear maps with disjoint kernels $K_i$ of dimension $1$. Consider the tensor product of these maps $L_1\otimes ...
0
votes
0answers
7 views

Are derivatives of generic representations generic?

I am trying to learn about the Bernstein-Zelevinsky derivatives. If $\pi$ is a generic representation of $GL_{n}$, then will the $k$-th derivative $\pi^{(k)}$ be generic? Thanks.
1
vote
1answer
361 views

Heisenberg XXX spin model

Let $\pi$ be the standard representation of $sl_2(\mathbb{C})$ on $\mathbb{C}^2$. Let $p_1,p_2,p_3$ the three Pauli matrices. Define $S^a:=\frac{1}{2}\pi(p_a)$. What does such matrices looks like?
0
votes
0answers
18 views

Matrix representations and idempotent/nilpotent elements

A conceptual question: Let's say there's a linear matrix representation of a particular algebra. I'm wondering just how much this matrix representation can tell us about the 'outstanding' elements ...
2
votes
0answers
44 views
+50

Proof of the Frobenius Schur indicator

I am trying to prove the Frobenius-Schur indicator for $\chi$ irreducible character. \begin{equation} i_{\chi} = \begin{cases} 0, & \text{if $\chi$ is not real valued} \\ \pm1, & ...
1
vote
1answer
13 views

1-loop quiver and the classification of quivers

Gabriel's theorem states that finite type quivers are exactly the ones whose underlying graphs are ADE type Dynkin diagrams. Furthermore, the quivers whose underlying diagrams are ADE type affine ...
3
votes
1answer
34 views

Why can we write the weights of a representation in terms of the simple roots?

I'm currently trying to get my head around the fact that we can write the weights of any representation in terms of the simple roots of the algebra. Is there any, not too-technical, explanation? I ...
0
votes
1answer
16 views

Does $\langle \Psi, \mathbb{I} \rangle_G=\langle Res_H\Psi, \mathbb{I} \rangle_H$ always hold?

Let $G$ be a group and $H < G$. Let $\Psi$ be a character. Let $\mathbb{I}$ be the trivial representation Does $\langle \Psi, \mathbb{I} \rangle_G=\langle Res_H\Psi, \mathbb{I} \rangle_H$ always ...
0
votes
0answers
16 views

Inducing $A_4$ from $\langle (123) \rangle$

Let $G=A_4$ and $H=\langle (123) \rangle < G$. Compute $Ind_{H}^G \chi$ for every irreducible $\chi$ of $H$. Choose the right transversal of $H$ in $G$ as $V_4=\{ 1, (12)(34),(13)(24),(14)(23) ...
3
votes
1answer
20 views

Choices of decompositions of a representation into irreducible components (Serre, Ex. 2.8)

The following is exercise 2.8 in Serre's Linear Representations of Finite Groups. If $V$ is a representation of a group $G$, recall it has a canonical decomposition $V=\oplus_1^n V_i$, where each ...
3
votes
0answers
26 views

Meaning of the term $X/H$ and orbits

I am trying to find representations of the group $G=GL_2(F(t)/t^2) = (M_2(F_p) , + ) \rtimes GL_n(F)$ So I was trying to do exactly what Serre has explained in this section. I am not quite able to ...
1
vote
1answer
16 views

Finite dimensional representations of semi-simple Lie algebras

I've been trying to understand the proof of the following statement: An injective map of $\mathfrak{g}$-representations of a semisimple Lie algebra splits. I'm supposed to show this considering the ...
0
votes
0answers
26 views

centralizers of $X= (M_2(F_p),+)$ in $H=GL_2(F_p)$

I need to find the centralizers of $X= (M_2(F_p),+)$ in $H=GL_2(F_p)$ in order to find the action of $H$ on $X$ which will help me find the orbits of $X$ I Know that the centralizers of $M_2(F_p)$ ...
1
vote
0answers
13 views

Complex irreducible representation of solvable lie algebra

How can one infer from the Lie's theorem (in terms of existence of a common eigenvector) that a complex irreducible representation of a solvable lie algebra has dimension 1? What I know is that one ...
2
votes
1answer
22 views

What the's contradiction in showing the regular representation is indecomposable in characteristic $p$?

Suppose $G$ is a nontrivial $p$ group, and $F$ is a field of characteristic $p$. The group ring $FG$ is a module over itself affording the regular representation $g\cdot g_i=gg_i$. Why is $FG$ ...
1
vote
1answer
63 views

Why the orbit is of dimension $12$?

Let $SL_3$ acts on the variety consisting of all nilpotent $3$ by $3$ matrices over $\mathbb{C}$ by conjugation. Let $S_p$ be the orbit of the matrix $$ a=\left( \begin{matrix} 0 & 1 & 0 \\ 0 ...
3
votes
1answer
48 views

(representation theoretic) meaning of sum over even rows of a Young tableau

Think of a Young tableau $R$ as composed by $d$ rows with number of elements $\mu_i:=\mu_i^R$ $\mu_1 \geq \mu_2 \geq \cdots \geq \mu_d > \mu_{d+1}=0$ (and $\mu_i =0\, \forall i >d$) and define ...
2
votes
0answers
14 views

Irreducible representation of $C^*(D_\infty)$

I have a question about an irreducible representation of the (full) group $C^*$-algebra of an infinite dihedral group $D_\infty$, denoted by $C^*(D_\infty)$ Ultimately, I'm interested in finding a ...
3
votes
1answer
45 views

Is there an “internal” definition of the tensor product?

We have the following "internal" definition of the direct sum: A vector space $V$ with subspaces $S,T$ is said to be the direct sum of $S$ and $T$ if $S + T = V$ and $S \cap T = \{0\}$. (Of course ...
1
vote
1answer
30 views

Is the unreduced Burau representation completely reducible?

To be specific, my question is about specializations $\beta \colon B_n \to GL_\text{n}\left( \mathbb C \right)$ of the unreduced Burau representation given by \begin{array}{cr} \beta \left( \sigma_{i} ...
1
vote
0answers
25 views

How can I find the Weights of a Subalgebra

I'm currently trying to understand how we can derive the weights of a subalgebra of a given representation of a Lie group. For example, if we start with the 16-dimensional representation of ...
1
vote
1answer
44 views

Show that every finite simple group G has a faithful irreducible representation

A representation $ \rho $ : G $ \rightarrow $ GL(V) is faithful if ker($ \rho $)={$ e $}. A representation is irreducible if it contains no proper invariant subspaces G is a simple group its ...
0
votes
1answer
36 views

Representations of group $G=\mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z} $

I need to find all in-equivalent irreducible representation of a group $G \equiv \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z} $ I know that $\mathbb{Z}/p\mathbb{Z}$ is a cyclic finite group. ...
0
votes
1answer
20 views

Is decomposition of a semisimple Lie algebra unique?

A semisimple Lie algebra is defined to be the sum of simple Lie algebras. But is this decomposition to simple Lie algebras unique? If not can you give an example?
2
votes
1answer
25 views

Irreducible representation and rank one projetion

Let $A$ be a C*-algebra with a nonzero minimal projection $e$. a - Show that if $\{\pi, H\}$ is an irreducible representation of $A$ such that $\pi(e) \neq 0$, then $\pi(e)$ is a projection of rank ...
0
votes
0answers
32 views

One-dimensional submodules of $\mathbb{C}^4$; direct sum of submodules.

I'm having some trouble understanding my lecture notes. I need to find a one-dimensional submodule $U$ of $\mathbb{C}^4$. Is $u=1+x+x^2+x^3$ valid? My reasoning: because $ux = x + x^2 + x^3 + 1 = u ...
1
vote
0answers
14 views

Completing the character table

Let $G=\{a,b|a^6=1,a^3=b^2,b^{-1}ab=a^{-1}\}$ be a group of order 12. $G$ has 6 conjugacy classes $$\{1\},\{a^3\},\{a,a^{-1}\},\{a^2,a^{-2}\},\{b,a^2b,a^4b\},\{ab,a^3b,a^5b\}.$$ Name them ...
2
votes
0answers
25 views

Degenerate Hecke algebra

Problem: Define $H_2$, the degenerate Hecke algebra generated by $X_1, X_2, s$. Let $a,b\in \mathbb{Z}$. Consider the following matrices defining an action of $X_1, X_2$ on a 2-dimensional space ...
0
votes
1answer
18 views

How to find subgroup centralizer?

Having found that a group G has a normal Sylow 2-subgroup P, how do I find $C_P(g_i)$, where $g_i$ is a conjugacy class representative? I have the character table, and have previously found ...
0
votes
1answer
22 views

What is the group $C_2^4$?

I'm trying to do a problem which asks me to show that a certain group is isomorphic to $C_2^4$. What is this group?
1
vote
0answers
56 views

Show that the action is transitive

$G$ is a finite group with a subgroup $H$. Let $\rho_1:G \to GL(V)$ and $\rho_2:H \to GL(U)$ be irreducible representations. $Z=\mathbb{C}[G]^H$, i.e., $Z$ is the centralizer of $H$ in ...
0
votes
0answers
23 views

Natural representation of GL(V)

Let $V$ be a vector space over some field. Is the natural representation $V$ of the group $GL(V)$ irreducible? Is it absolutely irreducible? Is the span of $GL(V)$ inside $End(V)$ all of $End(V)$? I ...
1
vote
0answers
18 views

Complete the character table

Let $G$ be a group of order 10 having 4 conjugacy classes and the above character table. Complete the table. It's easy to get the degrees of the remaining 2 irreducible characters to ...
2
votes
2answers
54 views

Why is it called the category of representations?

Let $A$ be a (Hopf) algebra. Let $C_A$ be a category whose objects are $A$-modules and whose morphisms are $A$-linear maps. This category is called "the category of representations". My question is: ...
2
votes
0answers
33 views

Conjugacy classes of the representatives

I have just started reading about chracter theory. I am confused on few things like how can we find the order of a group G and Centralizer of element $g_i$ i.e $C_G(g_i)$ of a group G of the ...
1
vote
1answer
58 views

Unitary G-module

I'm not sure if I understand this sentence correctly: "By a unitary G-module we will mean a Hilbert space W on which G acts by means of a strongly continuous unitary representation". $G$ is a ...
0
votes
0answers
28 views

Extension of the duality of the space of distributions over $X$ locally profinite space

I have two questions on a definition that appears in the book "Répresentations des groupes réductifs $p$-adiques" by David Renard (http://www.math.polytechnique.fr/~renard/Padic.pdf). Let $X$ be a ...
1
vote
0answers
26 views

Decomposition of the Regular Q8 Module

For a worksheet we were asked to find the decomposition of the regular $Q_8$ module into a direct sum of simple modules. This isn't me asking for help on homework though, the problem is that I already ...
0
votes
0answers
16 views

Parametrization of the split orthogonal group O(n,n)

I would like to find or construct an explicit parametrization of the $2m$-by-$2m$ matrix representation of the real indefinite orthogonal group $O(m,m)$ associated to the bilinear form with matrix ...
0
votes
1answer
19 views

Supercuspidal representations

If $(\pi,V)$ is a representation of $G=GL_n(F)$ where $F$ is a nonarchimedean local field, and $0 \subset V_2 \subset V_1 \subset V$ is a filtration of $V$ into $G$-invariant subspaces, with $V/V_1$ ...
2
votes
1answer
29 views

Sum of characters formula

Let $G$ be a finite group and $g\in G$. Let $\{\rho_{i}\}$ be the set of irreducible representations of $G$, where $\rho_{i}: G \rightarrow GL(V_{i})$ and $\chi_{i}$ be the character of $\rho_{i}$. ...