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)

2
votes
0answers
40 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)$ ...
2
votes
0answers
135 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
56 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
0answers
44 views

representations of Lie algebras

I am studying irreducible representations of Lie algebras when our filed is of positive characteristic, I need an explicit explanation with example (or an article) which describes the differences what ...
2
votes
0answers
99 views

An example contradicting the validity of Maschke's theorem for infinite groups.

I am learning representation theory of finite groups and I am in doubt about a homework problem: Let $G = \mathbb{Z}$ and $V = \{(a_1 , a_2 , . . . )|a_i ∈ R\}$ be a vector space of infinite ...
2
votes
0answers
13 views

$[L_+^m, L_y^n]$ in the $SO(3)$ Lie Algebra

Let $SO(3)$ be generated by infinitesimal rotations $L_x, L_y, L_z$ such the typical relations $ [L_x, L_y] = L_z $ and similar. Let $L_\pm = L_x \pm i L_y$ be the raising and lowering operators. Is ...
2
votes
0answers
113 views

Is there a transitive permutation group satisfying these properties?

Let $G \subset S_n$ be a transitive permutation group and let $H=G_1:=\{ g \in G \ \vert \ g(1)=1 \}$. Let $(K_i)_{i \in I}$ be the sequence of minimal overgroups of $H$ in $G$. Note that if $G$ is ...
2
votes
0answers
74 views

Conjugacy class A(4)

I want to find all conjugacy classes of $A(4)$. So basically what I did, I took all elements of $A(4)$ and calculated their conjugates. I had no problems with $$\{e\}, \{(123),(134),(142),(243)\}, \{(...
2
votes
0answers
69 views

Fundamental chiral representations of SU(2)

During class we arrived to the statement that the $(1/2,0)$ or right-handed representation of SU(2) is realized by: $$ R_R=\exp\left(i\theta^a\frac{\sigma^a}{2}-\eta^a\frac{\sigma^a}{2}\right) $$ ...
2
votes
0answers
41 views

Closure relations of the cells in the Bruhat decomposition of the flag variety

Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$. How do we prove the closure relations between the cells, which ...
2
votes
0answers
25 views

How can the generators of subalgebra $\mathfrak g^{\sigma}$ of $\sigma$-stable elements be expressed through generators of Lie algebra $\mathfrak g$?

Let $\mathfrak g$ be the semisimple Lie algebra of type $D_{4}$. Let $\sigma$ be the 3-rd order automorphism of $\mathfrak g$ induced by the triality of $D_{4}$: $$ \sigma:\alpha_{1}\mapsto\alpha_{3}...
2
votes
0answers
59 views

If $G$ is a finite non-trivial group of odd order, it has an irreducible representation not realisable over the reals.

$\textbf{Lemma }$If $V$ is a representation of a finite group $G$, then $V$ is of real type if and only if $V$ is the complexification of a representation $V_{\mathbb{R}}$ over the field of real ...
2
votes
0answers
36 views

action of $SU(2)$

Let $L=\mathbb C[u,v]$ (the $\mathbb C$-algebra of polynomials over two commuting variables $u,v$. For each non negative integer $n$ let $L_n$ be the linear subspace of homogeneous polynomials of ...
2
votes
0answers
71 views

Normal basis theorem

Let $K$ be a finite Galois extension of, say, $\mathbb{Q}$. Then is known(and called normal basis theorem) that if i view $K$ as a representation of $Gal(K/\mathbb{Q})$ over $\mathbb{Q}$ it is ...
2
votes
0answers
69 views

Some questions on Langlands Classification of Irreducible Admissible Representation

I am trying to construct some representations using Langlands classification theorem. But I get confused and have some problems when constructing these representations..... i) In the classification ...
2
votes
0answers
330 views

Clifford algebra - Gamma matrices

Let's say we have $\gamma^{a}$ matrices $(a=1,2,...,D)$. They satisfy the following condition $$\gamma^{a}\gamma^{b}+\gamma^{b}\gamma^{a}=2\delta^{ab}I^{N\times N}\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,(1)$$ ...
2
votes
0answers
27 views

Finding expansions for elements of a group algebra

Suppose $G$ is a finite group of order $\left|G\right|$, with an associated group algebra $K[G] = \left\{\sum_{g \in G} a_g g\right\}$ over, say, the complex numbers. Suppose we represent $G$, and by ...
2
votes
0answers
32 views

Visualisation of representations and their decomposition into irreps

A question in a Representation Theory midterm got me thinking, and made me realise I didn't really understand irreps. The question was on the subject of reps of $S_4$, and went: An obvious ...
2
votes
0answers
55 views

Why do Ad(K) orbits in the $-1$ eigenspace of a Cartan decomposition intersect the Weyl chamber once?

Let $G$ be a semisimple Lie group and let $\frak p\oplus t$ be a Cartan decomposition of $\frak g$ and $K$ the connected subgroup with Lie algebra $\frak t$. Choose a maximal abelian subalgebra $\...
2
votes
0answers
68 views

Let $V=V_{1}⊕ ⋯ ⊕ V_{n}$ be semisimple. $U$ irreducible. Show that $\dim_{k} (Hom_A(U,V)) $ is equal to the number of $V_i$ equivalent to $U$.

$\DeclareMathOperator{\End}{End} \DeclareMathOperator{\Ker}{Ker} \DeclareMathOperator{\Hom}{Hom} \DeclareMathOperator{\Mat}{Mat} \DeclareMathOperator{\Irr}{Irr}$ Definition. An $A$-module $V$ is ...
2
votes
0answers
90 views

Remark 3.1.3 from Introduction to Representation Theory from Pavel Etingof

$\DeclareMathOperator{Hom}{Hom}$I'm trying to prove the following proposition (remark 3.1.3 from Introduction to Representation Theory from Pavel Etingof). Proposition. Any semisimple representation ...
2
votes
0answers
75 views

Matrix representation and permutation matrices

In order to find the matrix representation associated to a permutation representation I identify each permutation with the corrisponding matrix representation. How can I prove that these matrices ...
2
votes
0answers
37 views

How does Fulton and Harris establish that the differential of a group hom respects ad?

Fulton and Harris, Representation Theory, Section 8.1 (pages 104 - 107 in my copy) is concerned with showing that group homomorphisms $\rho : G \to H$, where $G$ is connected, are completely ...
2
votes
0answers
26 views

Is $B(w_1 w_2)B = (Bw_1B)(Bw_2B)$?

Let $B$ be a Borel subgroup of $GL_n$ and $W$ the Weyl group of $GL_n$. Let $w_1, w_2 \in W$. Is $B(w_1 w_2)B = (Bw_1B)(Bw_2B)$? If this is true. How to prove it? Thank you very much. Edit: If $l(w_1 ...
2
votes
0answers
44 views

What are the main differences among representations of $GL(n, \mathbb{R})$, $GL(n, \mathbb{C})$, and $GL(n,k)$?

What are the main differences among representations of $GL(n, \mathbb{R})$, $GL(n, \mathbb{C})$, and $GL(n,k)$? Here $k$ is a non-archimedean local field. Thank you very much.
2
votes
0answers
45 views

What does it mean for a representation to contain a character?

I'm trying to understand the statement "The representation $\pi$ contains the trivial character of $N$ if and only if it contains an irreducible representation $\sigma$ of $B$ containing the trivial ...
2
votes
0answers
33 views

Why do we have $\{s\} = \pi\{t\}$ for some $\pi \in C_t$?

I am currently working on Bruce Sagan's The Symmetric Group. In the proof of Corollary 2.4.2, the book says Let $t = t^\lambda$ be a $\lambda$-tableau and $s = s^{\mu}$ be a $\mu$-tableau, where $...
2
votes
0answers
44 views

Angles between adjacent roots in a reduced root system.

Let $R$ be a reduced root system. ($R$ is a finite set spanning $V$, $\alpha \in R \rightarrow -k\alpha \in R$ iff $k=1$, $s_{\alpha}(R)=R$, $s_{\alpha}(\beta)-\beta=k\alpha$ whit $k$ integer). ...
2
votes
0answers
68 views

Dimension of the space of tensors obtained by making partial symmetrizations and skew-symmetrizations.

Let $A=(a_{i_1\dots i_k})_{i_1,\dots,i_k=1}^n$ be a higher order cubic tensor or hypermatrix. The following two facts are well-known and are easy to prove: ${(\bf 1) }$ The dimension of the ...
2
votes
0answers
36 views

$\mathbb{Z}_p[\text{PGL}_2(\mathbb{F}_{p^n})]$-modules

Let $p$ be prime. Let $\mathbb{Z}_p$ be the $p$-adic integers. I'm intersted in $\mathbb{Z}_p[\text{PGL}_2(\mathbb{F}_{p^n})]$-modules of low rank over $\mathbb{Z}_p$ (rank $2$ is already very ...
2
votes
0answers
44 views

A question on universal Coxeter group

In the set up of Lusztig's Hecke algebra with unequal parameters, let $W$ be a universal Coxeter group with finite many simple reflections, that is, $W=\langle s_i,i=1,2,\cdots,n | s_i^2 =1\rangle$. ...
2
votes
0answers
37 views

Help in finding real irreducible representation of $Q_8$

I have the following facts that I don't know how to prove: i) $\mathbb{R}[Q_8] = \mathbb{R} \times \mathbb{R} \times \mathbb{R} \times \mathbb{R} \times \mathbb{H} $ where $\mathbb{H}$ is $\mathbb{R}...
2
votes
0answers
30 views

About the induced character of the principal character

In page 186 of Carter's Finite groups of Lie Type: Conjugacy Classes and Complex Characters, the induced representation is defined for a representation $\sigma$ of a group $H$ to a representation $\...
2
votes
0answers
95 views

Is every unitary representation a direct sum of irreducible subprepresentations?

I've read that any unitary representation of a compact group decomposes as a Hilbert space direct sum of irreducible representations. In the book I'm reading this is stated as a prong of the Peter-...
2
votes
0answers
52 views

*-homomorphism and *-representation

I understand the concept of the unitary representation of G . A unitary representation of G is group homomorphism π:G→U(H) where H is a complex Hilbert space and U(H) is the group of unitary operators ...
2
votes
0answers
51 views

Divided powers in the context of elements of the Schur algebra

I am currently reading through the paper Presenting Schur algebras as quotients of the universal enveloping algebra of $\mathfrak{gl}_2$. Here it defines the following matrices $e := \begin{pmatrix}...
2
votes
0answers
58 views

Showing that $g$ and $g^{-1}$ are conjugate iff $\chi(g)$ is real

I am trying to show that for a finite group $G$ and $g\in G$, $g$ and $g^{-1}$ are conjugate iff $\chi(g)$ is real for all $\chi$ irreducible characters of $G$. I have the following: I first want ...
2
votes
0answers
64 views

Relationship between O(n)- and SO(n)-representations?

Write $O(n)$ and $SO(n)$ for the orthogonal and special orthogonal group of degree $n$ over the real numbers. Suppose that $V$ and $W$ are real, finite-dimensional and orthogonal $O(n)$-...
2
votes
0answers
31 views

restriction of spin representation to block diagonal subgroup

What is the restriction of the (complex) spin representation of $so(n+m)$ to the block diagonal subalgebra $so(n)\times so(m)$? A naive guess is that it is the (complex) tensor product of the two ...
2
votes
0answers
77 views

Representation theory& module

$V$ is a left $R$ module, how do you understand the ring homomorphism $$\rho_{V}:R \to End_Z(V)$$ I know that it is like a group acting on sets, but it is very easy to understand like a group $S_n$ ...
2
votes
0answers
93 views

Representations of Nilpotent Lie Algebras

Let $\mathfrak{g}$ be a rational, nilpotent Lie algebra. Then its adjoint representation will consist of elements which are nilpotent matrices over rationals. But this representation generally is not ...
2
votes
0answers
35 views

The embedding $L^2(\Gamma(N)\backslash\text{SL}_2(\mathbb{R})) \hookrightarrow L^2(\text{SL}_2(\mathbb{Q})\backslash \text{SL}_2(\mathbb{A})))$?

Let $\mathbb{A}$ be the ring of adeles. Let $N$ be a natural number. Let $\Gamma(N)=\ker(\text{SL}_2(\mathbb{Z})\rightarrow\text{SL}_2(\mathbb{Z}/N\mathbb{Z})))$. I saw the following embedding of $\...
2
votes
0answers
101 views

Which finite groups contain the two specific centralizers?

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers both of these two groups: i. the elementary group $Z_2^4$, ...
2
votes
0answers
55 views

A construction of $\mathfrak{e}_8$ in Fulton and Harris

In section $22.4$ of "Representation Theory: A First Course" by Fulton and Harris, the exceptional Lie algebra $\mathfrak{e}_8$ is constructed using a method of Freudenthal. For background, I will ...
2
votes
0answers
84 views

Lie Algebra of Reduced Heisenberg Group Identities

I am having problems trying to understand a statement by Howe in his paper "On the role of the Heisenberg group in harmonic analysis". Here is the setting: Howe defined the (reduced) Heisenber group ...
2
votes
0answers
40 views

On an invertible element for equivariant K-theory

Fix a positive integer $m$. Let $G = \lbrace h\in\mathbb C | h^m = 1\rbrace$ and $(X,\pi)$ the standard representation of $G$. Namely $X = \mathbb C$ and $\pi:G \to GL(X)$ is defined by $\pi(h)v=h v$ ...
2
votes
0answers
56 views

Learning representation theory of real reductive lie groups

I am interested in any sources that can be helpful for learning the representation theory of real reductive groups. I am currently reading Wallach book, but I feel that I don't understand the subject ...
2
votes
0answers
32 views

What do diagonal matrices do in irreducible repns of SL$_2(\mathbb{Z}/N\mathbb{Z})$?

Let $N \in \mathbb{N}, \mathbb{Z}_N := \mathbb{Z}/N\mathbb{Z}$. For every $a \in \mathbb{Z}_N^\times$ put $R_a = \begin{pmatrix} a^{-1} & 0 \\ 0 & a\end{pmatrix}$ and also set $T = \begin{...
2
votes
0answers
173 views

What are the consequences of presentation of an algebra by generators and relations?

Let $A$ be a finite dimensional associative $K$-algebra, where $K$ is a field. I wonder how the presentation of $ A $ by generators and relations helps in the study of structure of the algebra ...
2
votes
0answers
29 views

Rational representation of a 136 order group

Let G be the group of order 136 = 8 * 17 with presentation $$<x,y : y^{8}=x^{17}=1 \quad yxy^{-1}=x^{4} >$$ Find the simple summands of the group ring Q[G].