Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [representation-theory]

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

0
votes
0answers
28 views

Etingof problem 5.16.1 introduction to representation theory [on hold]

Etingof problem 5.16.1 introduction to representation theory . For a Young diagram $\mu$, let $A(\mu)$ be the set of Young diagrams obtained by adding a square to $\mu$, and let $R(\mu)$ be the ...
2
votes
1answer
19 views

Proving a quotient of the Heisenberg group is not a matrix Lie group

It is a well known example that the quotient of $H$ by $N$ is not a matrix Lie group (I've already seen proofs it is a Lie group, I am only interested in it not being a matrix group), where: $$H = \...
1
vote
1answer
25 views

Proving basic properties of $\mathbb{C}G$-modules

Is my following proof correct? Let $G$ be a finite group and $\mathbb{C}G$ its group algebra. Let $\phi:\mathbb{C}G\to\mathbb{C}G$ be a $\mathbb{C}G$-homomorphism. $ i)$ Then there exists a $w\in\...
0
votes
0answers
20 views

Irreducibility of principal series of $SL_2(\mathbb{Q}_p)$

I am trying to work out, as an example, irreducibility of principal series in $SL_2(\mathbb{Q}_p)$ and I seem to get contradictory results using results of different papers. Let $\chi$ be an ...
0
votes
0answers
17 views

Maximal subfields of some central simple algebras

In his paper The algebraic structure of group rings, Brauer wrotes in a theorem Let $K^*$ be a maximal subfield of $K(\chi,\varepsilon)$ over $K(\chi)$ such that $[K^*:K(\chi)]$ is not divisible ...
4
votes
1answer
56 views

Representation theory of SO(p,q)

For a long time now, I have tried to look for the representation theory of $SO(p,q)$. I am in particular interested in the unitary irreducible representations and the bilinear Hermitian form on the ...
1
vote
0answers
15 views

Trying to understand some formulas about dualities, specifically $\operatorname{Hom}_{\Lambda}(Y,\nu X) \cong D\operatorname{Hom}_{\Lambda}(X,Y)$.

I'm reading $\tau$-tilting by Adachi, Iyama and Reiten. There is a particular isomorphism of hom-sets which I'm having trouble understanding. The setup: $\Lambda$ is a finite-dimensional $k$-...
0
votes
0answers
8 views

The intersection of the annihilators of all finite dimensional weight modules is zero

Let's start with some definitions. Let $U_q:= U_q(\mathfrak{gl}_n)$ be the quantum enveloping algebra of $\mathfrak{gl}_n$, generated by the standard generators $\{e_i,f_i, x_j^{\pm}\,|\; i=1,\ldots, ...
6
votes
0answers
62 views

Is the matrix $\sum_{g \in G} a_g \rho(g)$ normal and what further properties does it have?

Let $\rho$ be the regular representation of $G$. $S \subset G$ a generating set, $|g| := |g|_S=$ word length with respect to $S$. Then I construct such a matrix, where we have some ordering $g_i$ of ...
2
votes
0answers
31 views

Jacobson-Morozov Theorem to Produce a One-Parameter Subgroup

Let $X\in\frak{sl}_2(\Bbb{R})$ be nilpotent. Prove that there is a one parameter subgroup $\lambda:\Bbb{R}^\times\rightarrow\mathrm{SL}_2(\Bbb{R})$ such that $\mathrm{Ad}(\lambda(t))\cdot X = t^2X$ ...
3
votes
0answers
33 views

Conjugacy Classes and Irreducible Representations

For finite groups number of inequivalent irreducible complex representations equals the number of conjugacy classes. When the group is $S_n$ it is easy to see that both are available one each for ...
2
votes
0answers
19 views

Do we have $G(\mathbb A_S) G(k) = G(\mathbb A)$ for sufficiently large $S$?

Let $G$ be a linear algebraic group over a number field $k$. If necessary, assume $G$ is connected and reductive. Let $\mathbb A$ be the ring of ideles of $k$, and $\mathbb A_S = \prod\limits_{v \in ...
10
votes
1answer
120 views

Centralizer of one element on a compact connected Lie group

Exercise 16.2 from Daniel Bump - Lie Groups. Let $G$ be a compact connected Lie group and let $g\in G$. Show that the centralizer $C_{G(g)}$ of $g$ is connected. I have some problems verifying this, ...
1
vote
1answer
20 views

What is the definition of semi-simplication of a group representation?

When learning Galois representations , it often happens to take the semi-simplication of a 2-dim representation, but I can't find the definition. Could anyone help me?
1
vote
0answers
24 views

What is $\ell^2(\Gamma)$ for a discrete group $\Gamma$?

I am trying to get my head around the left regular representation of a group, and I am not sure of the definition of the space $\ell^2(\Gamma)$ if $\Gamma$ is a discrete group. To quote what I am ...
1
vote
0answers
16 views

Fundamental, Regular, and Defining representations

Are these three representations for compact Lie groups and its Lie algebra mean the same thing? Let's focus on "classical" cases like $SO(N)$ and $\mathfrak{so}(n)$ for concreteness (unless I need to ...
1
vote
1answer
28 views

Will any modulo operation of relatively prime numbers be related to cyclic group of same order?

I am engineer/applied mathematician who is quite new to most things number theory and also groups so please bear with me if this is obvious. Consider the $b\times b$ matrix constructed by: $$M_{ij} =...
2
votes
1answer
82 views

Local system associated to monodromy representation

How can I associate a local system to a representation $\rho: \pi_1(X) \to \mathbb C^*$? I have seen some construction, but it doesn't click for me. I know that the idea is to use a diagonal action ...
0
votes
1answer
16 views

coadjoint orbits and symmetry

Suppose we have some Lie group $G$, and we consider a co-adjoint orbit $\Omega$, which is a symplectic manifold. Does $G$ act on $\Omega$ by symplectomorphisms? As in, is $G$ a symmetry of $\Omega$, ...
0
votes
1answer
26 views

centralizers of nilpotent element in simple Lie algebra and associated Levi subalgebra

Let $\{e,h,f\}$ be a $sl_2$ triples in simple Lie algebra $\mathfrak g$ with usual relations $[h,e]=2e,~ [h,f]=-2f,~[e,f]=h$. Then the centralizer of $e$ is $\mathfrak g_e=\{b:[b,e]=0\}$ and the ...
2
votes
2answers
68 views

Two definitions of torsion pairs/theories. How are they equivalent?

Let $\mathcal{A}$ be an abelian category, $\mathcal{T}, \mathcal{F}$ two strictly full additive subcategories of $\mathcal{A}$. Then according to nLab and other sources including Constructing Torsion ...
0
votes
0answers
26 views

Under what condition is the group G isomorphic to the direct product of irreducible representations in a block diagonal representation? [closed]

Given an injective completely reducible representation D(g) of G. Using a smiliarity transformation S, $SDS^{-1}$ is in block diagonal form with ireducible representaion $D_1 , D_2, D_3 .... D_n$. ...
0
votes
0answers
21 views

quantization clarification

I'm wondering something small about the link between representations and quantization. For quantization you start with some phase space (symplectic manifold) $M$, and you have a classical observable $...
1
vote
0answers
24 views

Endomorphism rings of indecomposable modules

This is a more structured reformulation of this question. Let $k$ be a field and $A$ be a commutative $k$-algebra, say $A=k[x_1,\dotsc,x_n]$, and $M$ be a finite dimensional (ungraded or $n$-graded) $...
1
vote
1answer
38 views

A certain decomposition of a semisimple Hopf algebra

$\newcommand{\Irr}{\mathrm{Irr}}$ Let $H$ be a finite-dimensional semisimple Hopf algebra over an algebraically closed field $k$, and let $\Irr(H)$ be the set of (choices of representatives of) ...
1
vote
2answers
97 views

Irreducible Characters

I tried to solve the following questions but I got stuck. I need to some hints to continue. If the induced character of an irreducible character of $H$ is again irreducible, then center of the ...
0
votes
1answer
14 views

Regular representation, two viewpoints, the isomorphism

Let $G$ be a group. Let $G^* = \{\phi: G\to \mathbb{C}\}$ be the complex functions defined on $G$. We have the representations $$\rho: G \to GL(G^*), \space \rho(g) = \phi \mapsto (h\mapsto \phi(hg))...
4
votes
0answers
29 views

Deligne-Lusztig theory and cuspidal representations of $\mathrm{GL}_{2}(\mathbb{F}_{q})$

I heard that Deligne-Lusztig theory gives us geometric way to construct representations of finite algebraic groups over finite fields, such as $\mathrm{GL}_{2}(\mathbb{F}_{q})$, which arises from ...
2
votes
1answer
31 views

Recover a matrix from an irreducible representation.

Let $G$ be a finite group and $X: G\rightarrow\text{GL}_3(\mathbb{C})$ be an irreducible $3$-dimensional complex matrix representation of $G$. Suppose that $$ B=\frac{1}{|G|}\sum_{g\in G}X(g)AX(g)^{...
3
votes
1answer
31 views

if $A$ is a finite dimensional commutative $\mathbb{C}$ algebra with dimension $n$, must $A$ have $n$ simple modules up to isomorphism?

I'm trying to prove the question above. I'm not sure whether this is true or not, but I'm trying to figure it out. If $A$ is semi-simple I don't think it's too hard to see that it's true, but ...
5
votes
1answer
64 views

How to decompose a group representation which is a direct sum of copies of one irreducible representation?

Let $G$ be a finite group. Let $F$ be a field of characteristic zero. Let $V$ and $W$ be finite dimensional representations of $G$. Assume that $V$ is irreducible and $W$ is isomorphic to $nV$ for ...
5
votes
1answer
39 views

Does usual Jordan decomposition be preserved by finite dimensional representation?

If $\mathfrak g\subseteq \mathfrak{gl} (V)$ is a finite dimensional Lie algebra, then we have a usual Jordan decomposition in $\mathfrak{gl} (V)$, $$ \forall x \in \mathfrak{g}\ \exists x_s, x_n\in \...
0
votes
0answers
19 views

Unitary representations of $U(3)$

We know that the unitary dual of $SU(2)$ is given by the symmetric powers of the standard representation. Is there anything similar in the case of $U(3)$ or $SU(3)$? In general, is there a reference ...
1
vote
1answer
31 views

Real representation of $\langle \sigma_1,\sigma_2\rangle$ where $\sigma_i\in S_n$ are n-cycles

$S_n$ acts on $\mathbb{R}^n$ by permuting the coordinates, giving us the permutation representation. This representation can be decomposed into $\mathbb{R}^n=V\oplus W$, where $V$ is the trivial ...
0
votes
1answer
37 views

Is this intertwiner a scalar, working over a field which is not algebraically closed?

Let $G$ be a finite group. Let $F$ be a field of characteristic zero. Let $(V,\rho_V)$ be a finite dimensional irreducible representation of $G$ over $F$. Define $P:V\rightarrow V$ by $P=\frac{1}{|G|}...
0
votes
1answer
21 views

What does it mean for two group action to be conjugate?

I was reading a book on symplectic topology and get confused of the following sentence. The action of $S^{1}$ on $T_{p}M$ is conjugate to an n-fold product of circle actions on the complex plane by ...
2
votes
1answer
60 views

Example of a bialgebra which is Frobenius but not Hopf

Let $\Bbbk$ be a field. A well-known result (see Larson, Sweedler, An Associative Orthogonal Bilinear Form for Hopf Algebras and Pareigis, When Hopf algebras are Frobenius algebras) states that a ...
8
votes
2answers
143 views

Automorphism group of the projective unitary group PU(N) and SO(N)

I would like to determine the automorphism group of the projective unitary group $G=PU(N)=PSU(N)$ and $G=SO(N)$. We also knew that $$ 0 \to \text{Inn}(G) \to \text{Aut}(G) \to \text{Out}(G) \to 0. $$...
2
votes
1answer
39 views

Intuition behind this q-binomial formula counting sums of subsets

We have these transparent, motivating interpretations for binomial coefficients and their $q$-analogue. $$ \binom{n}{j} = \begin{matrix} \text{"The number of subsets of size $j$}\\ \text{of a set ...
1
vote
1answer
37 views

Schur's Lemma in Infinite Dimensional Lie Algebras

Let $\mathfrak{g}$ be a $\mathsf{k}$-Lie algebra, with $(\rho, V)$, $(\sigma, W)$ irreducible $\mathfrak{g}$-representations. Then the easy part of Schur's Lemma states that a $\mathfrak{g}$-linear ...
1
vote
1answer
46 views

Existence of a subgroup

I want to show that a group has no subgroup of index 4 and 6 by using character table. But, I didnt find which argument must be used. I show that it is simple using KerX. Then, what should the ...
0
votes
1answer
49 views

Artin-wedderburn and simple modules

Given a finite-dimensional semisimple algebra $A$ over algebraically-closed field $k$, Artin-Wedderburn says it is isomorphic to the direct sum of matrix rings $M_{n_i}(k)$. If $\dim(A)=n$ then $\...
2
votes
0answers
30 views

Homology of solvable Lie algebras

Let $\mathfrak{g}$ be a solvable lie algebra and $\lambda\in (\mathfrak{g}/[\mathfrak{g},\mathfrak{g}])^*$ be the character of $\mathfrak{g}$. How to compute homology for $\mathbb{C}_\lambda$, the ...
0
votes
0answers
30 views

classification of representations of $D_{1009}$

A follow-up of this question To fix ideas, take $n=1009$. $D_n$ has $2$ irreducible representations of degree $1$ and $504$ representations of degree $2$. Are the degree 1 representations all ...
0
votes
1answer
31 views

Tensor product representation of $SO(3)$

Let $D^{(1)}$ be the representation of $SO(3)$ such that for $g \in SO(3)$: $D^{(1)}(g)=g$. I need to find an invariant subspace of dimension $1$ (of $\mathrm{Sym}^2(V)$, where $V$ is the ...
1
vote
0answers
44 views

Using the Peter-Weyl theorem and Schur orthogonality relations

I am reading a paper and I will explain the setup below. Let $G$ be a compact group with Haar measure $\mu$ and suppose $\pi:G\to \mathbb{R}^{d,d}$ is a representation of $G$. We get a $G$-invariant ...
0
votes
1answer
17 views

Quotient of semi-simple representation is semi-simple

Prove that Quotient of semi-simple representation is semi-simple. Take $V=\oplus_i V_i$ a semi-simple representation of finite dimension of a finite group. For a fixed j, we have $V/V_j=\oplus_i (...
0
votes
1answer
41 views

characters of symmetric and exterior algebras [duplicate]

Let $\rho,V$ be a representation of $S_3$. In my lecture notes, It says that we can deduce the characters of $V\otimes V$ and $\operatorname{Sym}^2(V)$ and $\bigwedge^2V$ only from the character ...
1
vote
0answers
35 views

Decomposition of a specific $SO(n)$-module

I need to decompose a specific $SO(n)$-representation into irreducible ones, but my background on representation theory is rather poor, so I would like to post the problem here. Let $V=\mathbb{R}^n$ ...
0
votes
1answer
55 views

Character of induced representation: explicit formula

I'm trying to work through Exercise 7.1 in Serre's "Linear Representations of Finite Groups" but I'm having trouble finishing my proof. The problem reduces to the following. Let $N\subset H$ be a ...