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
0answers
9 views

Is this extension of $Sp(4,2)$ a semidirect product?

Somebody I trust has been insisting to me that a certain extension of $Sp(4,2)$ is actually a semidirect product, and I'm inclined to believe him, but I haven't been able to convince myself he's ...
2
votes
1answer
16 views

The group action of $S_n$ given a partition of $n$

We know that irreducible representations of $S_n$ are given by partitions of $n$. I would like to know if there is a way to explicitly write down the action of some $g \in S_n$ on the representation ...
0
votes
0answers
14 views

Finding all irreducible representations of dihedral group $D_8$

I sense this may be a simple question, but it is one I haven't been able to find an answer for. Let $G=D_8$ be the dihedral group (group of symmetries of a square).Find all irreducible ...
0
votes
1answer
24 views

Solving Fulton and Harris exercise 2.4

Let $\rho$ be a representation of $G$ on $V$ of dimension $4$. let $g\in G$ be an element of order 4.Let $\chi$ the character of representation $V$ is known then find the eigenvalues of $\rho_g$. ...
0
votes
0answers
8 views

manipulations with SU(2) Nekrasov partition function

Think of a Young tableau $R$ as collection of rows $y_1 \geq ... \geq y_d > y_{d+1}=0$ and all others zero, with $\ell(Y):= \sum_j y_j$ and for a box $s=(i,j)\in R$ we have $a_Y(s):=y_i-j$ and ...
3
votes
1answer
27 views

Reducibility of Representations over Finite fields

So, there are several standard ways of proving irreducibility/reducibility for representations over fields where the characteristic doesn't divide $|G|$ such as Maschke's theorem, jordan normal form, ...
2
votes
1answer
21 views

Eigenvalues of operator on $S_n$'s group algebra

Take the group algebra of the symmetric group $S_n$ (or equivalently consider $S_n$'s regular representation) - I guess over $\mathbb{C}$. If $e_{i,j} \in S_n$ denotes the element which swaps only ...
2
votes
1answer
22 views

Inequivalent representations of a finite group

I'm looking for this result: A finite group has only finitely many inequivalent representations of given degree over a field of characteristic $0$. Do someone know where I can find a proof of ...
0
votes
0answers
16 views

How does the $10$ dimensional irrep (tensor) of $SU(3)$ look like?

We know that for $SU(3)$ the following tensors furnish the $\mathbf{d}$ dimensional irreducible representation: $$\phi^i\hspace{1cm} (\mathbf{3})\\ \phi^{ij}\hspace{1cm} (\text{asymmetric in ...
0
votes
0answers
11 views

Non-trivial characters of $SU(2)$

Are there non-trivial characters (or quasi-characters) of the special unitary group $SU(2)$? I couldn't find a straightforward answer by googling.
1
vote
1answer
14 views

Infinite dimensional FG-modules

So the way I understand FG-modules is that it is analogous to a vector space defined over a field F with G a basis. However, I encountered a problem given the hypothesis that V is a possibly infinite ...
0
votes
0answers
18 views

Eigenvalues of (restrictions of) the standard representation of $S_n$

Let the permutation group on $n$ elements $S_n$ act on a set $S$ of size $k < n$ via permutations. Fix some ordering on the elements of $S$ to make this sensible. Is there any way to understand ...
1
vote
0answers
13 views

problem book suggetion

I'm taking a course on basic representation theory, where upto midsem we're supposed to learn upto $5$ th chapter of serre. Can one please suggest some book which consists of nice problems ? I've ...
0
votes
0answers
24 views

Exercise on representations of the Dihedral group (Etingof 3.17)

I'm confronted once more with a problem on representation theory which I cannot fully solve (Problem 3.17 http://math.mit.edu/~etingof/replect.pdf): Let $G$ be the group of symmetries of a regular ...
2
votes
1answer
22 views

Exercise on formal deformations of representations (Etingof 2.24)

I'm trying to work out a few exercises in Etingof's book on representation theory of associative algebras (http://math.mit.edu/~etingof/replect.pdf) At the moment I'm looking at Problem 2.24. about ...
1
vote
0answers
36 views

Is there such a notion of “expansion” in groups?

Given a subset of elements of a finite group $G$, I would like it to be such that the set of all distinct words (as elements of $G$) that can be formed from this set is exponentially large in the size ...
0
votes
0answers
7 views

Rewriting a sum of Young Tableaux as Tensors

Is there a straightforward way (perhaps a software) that can write a direct sum of Young Tableaux in terms of tensors? For instance the direct product in $SU(3)$ (taken from this post) ...
0
votes
0answers
27 views

An integral with respect to the Haar measure over the unitary group

I am trying to find the answer of this integral: $$E:=\int dU \ (U^2 \otimes I) M (U^{ \dagger 2}\otimes I) $$ That is an integration with respect to the Haar measure and $U$'s are $d\times d$ ...
3
votes
1answer
37 views

A relation between the Jacobson radicals of a ring and those of a certain quotient ring

Let $R$ be a ring $J(R)$ the Jacobson radical of $R$ which we define for this problem to be all the maximal left ideals of $R.$ I'm trying to prove the following proposition with only the definition ...
1
vote
1answer
18 views

Conservation of bilinear forms and conjugation

Let $\omega,\omega'$ be non-degenerate skew-symmetric bilinear forms on $V$, a vector space over $\Bbb{C}$, preserved by $G,G' \subset GL(V)$ respectively. Must there be an element $\gamma \in GL(V)$ ...
0
votes
0answers
18 views

Functoriality of group homology

I understand that group homology $H_*(-)\colon \mathsf{Grps} \to \mathsf{Ab} $ is a functorial. In Weibel's homological algebra, there is an argument in 6.7 show this by using that $H_*(G;-)\colon ...
1
vote
0answers
13 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 ...
1
vote
1answer
23 views

Coaction of a product.

Let $G$ be a group and let $X$, $Y$ be two algebraic varieties on which $G$ acts. Let $\delta_1: \mathbb{C}[X] \to \mathbb{C}[G] \otimes \mathbb{C}[X]$ be a coaction given by $\delta_1(f) = \sum ...
1
vote
0answers
14 views

Filling in the last two rows of a character table?

I have a hopefully simple question about character tables. If I know all but two rows of a character table, and the character table is sufficiently large (say, at least 4 rows), do the orthonormality ...
0
votes
1answer
48 views

Classifying representations of $G = C_m \times C_n$

I have been set the following problem: Classify representations of $G = C_m \times C_n$; the direct product of two finite cyclic groups. My first thought is to rewrite $G$ in terms of its ...
2
votes
0answers
25 views

Nebentypus of contragredient representation

Let $k$ be a local non-archimedean field with ring of integers $\cal O$ and maximal ideal $\frak p$. Let $\pi$ be an irreducible admissible $\infty$-dimensional representation of $\text{GL}_2(k)$ ...
1
vote
0answers
48 views

Simplifying a direct sum $\mathbf{3}\oplus\mathbf{3}\oplus\mathbf{2}$ etc

In particle physics, one often uses the dimensionality of the irrep to label the irrep (apparently this is not a very good idea since the dimension does not unambiguously determine the rep.). What are ...
2
votes
0answers
15 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 ...
1
vote
0answers
27 views

Relation between Poisson bracket and commutator.

In quantum case, we have commutators. In classical case, we have Poisson bracket. Let $T$ be a Poisson group, $a, b \in \mathbb{C}_q[T].$ It seems that we have $$ [a, b]=(q-1)\{a,b\}+o((q-1)^2). $$ ...
2
votes
0answers
56 views

Degrees of irreducible complex characters of alternating groups

What is sum of degrees of the irreducible complex characters of the alternating groups? The background of this question is to calculate the diminsion of a maximal torus of the associated Lie algebra ...
2
votes
0answers
28 views

How do we know if a Young Tableau represents $3$ or $\bar{3}$?

Dimension three in the title was just an example...In general I want to know for any dimension $d$ and any SU(n). I am aware of the rule for tensors ; if more lower indices than upper then it is the ...
1
vote
0answers
25 views

What is the root structure of the Diffeomorphism Group?

Being a physicist, I think it'd be cool to have Coxeter plane projections of the root systems of the symmetry groups associated with the fundamental forces hanging on my walls (example for E8: ...
0
votes
1answer
43 views

What are the irreducible representations $V$ for $S_n$ over ${\bf C}$ that admit a nonzero vector fixed by $S_{n-1}$? [closed]

Find with proof all irreducible representations $V$ for $S_n$ over ${\bf C}$ that admit a nonzero vector fixed by $S_{n-1}$.
2
votes
1answer
31 views

$V^{\oplus3}$, linear constraints. [closed]

Let $V$ be an irreducible $G$-representation over $\mathbb{C}$, and let $W = V \oplus V \oplus V$. Prove that all submodules of $W$ are given by "imposing linear constraints," e.g.$$\{(x, y, z) \in V ...
-2
votes
0answers
33 views

$V$ is $G$-irrep. over $\mathbb{C}$, submodules of $V \oplus V \oplus V$ given by imposing linear constraints. [closed]

Let $V$ be an irreducible $G$-representation over $\mathbb{C}$. Let $W = V \oplus V \oplus V$. Show that all submodules of $W$ are given by "imposing linear constraints," e.g.$$\{(x, y, z) \in V ...
4
votes
1answer
115 views

Finding $\mathbf{10}\otimes \mathbf{8}\otimes \mathbf{8}\otimes \mathbf{8}$ in $SU(3)$

I know that in $SU(3)$ $$\mathbf{8}\otimes \mathbf{8} = \mathbf{27}+\mathbf{10}+\mathbf{\bar{10}}+\mathbf{8}+\mathbf{8}+\mathbf{1}. $$ How can one use this to compute $$\mathbf{10}\otimes ...
0
votes
0answers
12 views

Dimension of intertwining operators on an irreducible representation

This is an exercise from Serre's Linear representations of finite groups: Let $H_{i}$ be the vector space of intertwining linear operators on the irreducible representation $W_{i}$ in $V_{i}$. ...
3
votes
1answer
32 views

The irreducibility of representations of parabolic induction over $\mathfrak{gl}_n(\mathbb{C})$

I have the following problem: Let $\mathfrak{g} = \mathfrak{gl}(n)$ be the general linear Lie algebra over $\mathbb{C}$. Denote $\Pi = \{\alpha_i:=\epsilon_i-\epsilon_{i+1}\}_{i=1}^{n-1}$ by the ...
2
votes
2answers
45 views

Group homology with coefficients vanish

Say $G$ is a group and $M$ is a $\mathbb ZG$-module with the property that $H_i(G;M)=0$ for all $i\ge 0$. Does this happen besides $M=0$?
2
votes
0answers
40 views

In what way is the representation not continuous

http://www.math.u-psud.fr/~fontaine/galoisrep.pdf pp.7-8 Following the definition of a linear representation it states 'if V (an E-vector space) is equipped with a topological structure and if ...
2
votes
1answer
36 views

Representation theory of $\mathbb{Z}_k$ and complex roots of unity

Is there a natural relationship between the (characters?) of irreducible representations of $\mathbb{Z}_k$ and the $k$ complex-roots of unity? Can they be like thought of as characters of its ...
0
votes
0answers
50 views

Is a matrix element of a norm continuous representation always a trigonometric polynomial?

Let $\pi:G\to {\mathcal B}(H)$ be a unitary representation of a compact group $G$ in a Hilbert space $H$. Consider a matrix element of $\pi$, i.e. a function of the form $$ ...
5
votes
1answer
130 views

Why a tensor product of $2\times 2$ unitaries cannot implement a $3\times 3$ unitary?

Let $\{v_1, \dotsc, v_m\} \in \mathbb{C}^{2^n}$ be a set of orthonormal vectors. Define a map $R_m$ from $2^n \times 2^n$ to $m \times m$ matrices as follows: $$R_m(M) := \sum_{i,j=1}^m (v_i^*M v_j) ...
3
votes
1answer
30 views

Counterexample for Maschke's lemma

I'm trying to relax conditions and come up with a counterexample to Maschke's lemma in such a case. For example, with $k = \mathbb Z/p\mathbb Z$, I'm considering the two dimensional representation of ...
1
vote
0answers
22 views

Showing that a subrepresentation is isomorphic to the trivial representation

I'm considering $V$ to be the regular representation of a group $G$ and $W$ to be the 1-dimensional subspace of $V$ generated by the element $x=\sum_{s\in G} e_s$. I'm trying to show that $W$ is a ...
4
votes
3answers
54 views

if $\rho: H \to \text{GL}_n({\bf C})$ is faithful then $\text{Ind}_H^G \rho$ is faithful

How do I show that if $\rho: H \to \text{GL}_n(\mathbb{C})$ is faithful then $\text{Ind}_H^G \rho$ is faithful?
3
votes
2answers
52 views

Is $\text{Ind}_{Z(G)}^G \rho$ irreducible or not for nonabelian group $G$?

Let $G$ be a nonabelian group with center $Z(G)$. Let $\rho: Z(G) \to \text{GL}_n({\bf C})$ be an irreducible representation. Is $\text{Ind}_{Z(G)}^G \rho$ irreducible or not?
3
votes
2answers
41 views

Frobenius reciprocity, proof if $V$ irrep of $G$ then multiplicity of $V$ in regular rep of $G$ is $\dim(V)$

I know the standard proof of the fact that if $V$ is an irreducible representation of $G$ then the multiplicity of $V$ is the regular representation of $G$ is $\dim(V)$. Does there exist a proof using ...
2
votes
1answer
33 views

exists homomorphism of $G$-representations $\pi: V \to V$ with image $X$

Let $G$ be a group (not necessarily finite) and $F$ a field. Let $V$ be a $G$-representation. Suppose $V$ is isomorphic to a direct sum of irreducible representations. Let $X \subset V$ be any ...
2
votes
1answer
52 views

An example of $_AM$ is simple but $M^\star_A$ is not?

Let $A$ be a finite dimensional $k$ algebra, $k$ is a field. It is evident that the duality functor ($(-)^\star=hom_k(-,k)$) preserves the simplicity in the case of finitely generated $A$- modules ...