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
55 views

Representation of $sl(2,R)$.

I am interested in the unique (up to isomorphism) $5$-dimensional representation of the Lie algebra $sl(2,R)$. I understand that one can choose the module $V_4 = ...
2
votes
0answers
25 views

List of simple roots in the H-basis for various Lie algebras?

There are four usual bases one can use to express the roots and weights of a given algebra. The $\alpha$-basis, where we write the roots and weights in terms of the simple roots $\alpha_i$. The ...
3
votes
0answers
28 views

Question concerning a correspondence between basis elements of the Schur algebra and some matrices

I have the following question: Let $k$ be an infinite field and let $S_k(n,r):={A_k(n,r)}^{∗}=\text{Hom}_k(A_k(n,r),k)$ and $A:=A_k(n):=\text{polynomial functions on}\ \Gamma:=\text{GL}_n(k)$ and ...
1
vote
1answer
27 views

Explicit Representation of the SU(N) Simple Roots in with redundant coefficents?

Commonly the simple roots for $SU(n)$ groups are given as $n$ dimensional vectors, although root-space is $n-1$ dimensional. The $SU(n)$ Wikipedia article explains: Here, we use n redundant ...
3
votes
0answers
55 views

Is ${(k^n)}^{\otimes r}$ a faithful $k\Sigma_r$-module for $n\geq r$?

I have the following question: Let $k$ be an infinite field. Let $E:={(k^n)}^{\otimes r}$ and let the symmetric group $\Sigma_r$ act from the right on $E$ by place permutations. It is well-known that ...
4
votes
1answer
62 views

Is this parabolic induction?

In one of my previous questions, @PL. explained the idea of parabolic induction. In my bachelor thesis I used a technique quite like this, to find all irreducible representations of a certain group. I ...
1
vote
1answer
39 views

General form of a matrix $M$ commutes with the unitary representation $U^{\otimes m},~ \forall U\in U(n)$

My question is about the general form of a $n^m\times n^m$ positive definite matrix $M$ where $$[M,U^{\otimes m}]=0,~ \forall U\in U(n)$$ or in other words, M commutes with all members of the the ...
5
votes
1answer
72 views

Question concerning a property of polynomial functions on $\Gamma:=\text{GL}_n(K)$ and the Schur algebra

I'm reading Green's book ''Polynomial Representations of GL_n. with an Appendix on Schensted Correspondence and Littelmann Paths''. Consider theorem 2.4b) part (i) on page 14: Consider the map $e : ...
2
votes
0answers
35 views

How to prove that the Schur algebra is isomorphic to a certain endomorphism ring?

I'm reading Green's book ''Polynomial Representations of GL_n. with an Appendix on Schensted Correspondence and Littelmann Paths''. Consider theorem 2.6c) on page 18: Let $K$ be an infinite field ...
2
votes
0answers
53 views

Question concerning a self-injective algebra and a faithful module

I'd like to know how corollary 2.11 of http://www.sciencedirect.com/science/article/pii/S002186930098726X# follows from theorem 2.10 from the same reference. 1) I know that $A$ being self-injective ...
3
votes
0answers
46 views

Dominant dimension $\geq 2$ implies a certain double centralizer property

let $A$ be an Artin algebra and $M$ in $\mathfrak{mod}\ A$. Let $A$ be left-QF-3 with minimal faithful left ideal $Ae$. Then the following are equivalent: $\bullet$ $Ae$-dom.dim.$(A)\geq 2$ ...
2
votes
1answer
25 views

Question concerning a faithful module over an Artinian ring

Let $A$ be an Artinian ring and $M$ in $\operatorname{\mathfrak{mod}} A$. Is it true that $M$ is faithful if and only if there is an exact sequence of the form $0\rightarrow A \rightarrow M^r$ for ...
2
votes
1answer
45 views

Representation theory of locally compact groups

My knowledge about representation theory of locally compact groups is rather scattered. As I got more interested with this subject, I would like to know some good references, where I could learn the ...
0
votes
0answers
16 views

Questions about distributions on $l$-spaces.

I am reading the paper. I have some about distributions on $l$-spaces. On page 7, Section 1.7. Let $X$ be an $l$-space. Locally constant complex-valued functions on $X$ with compact support are ...
5
votes
4answers
110 views

Representation of an abelian group

Without using the structure theorem, how do I prove b? I struggle with the proof of injectivity. Any tips? Problem: Let $G$ be a finite Abelian group. (a) Prove that the group homomorphisms $\chi ...
1
vote
0answers
13 views

Matrix representation of function concatenation using other basis than polynomials.

I have now familiarized myself with the Carleman-matrices which represent function composition of polynomials (actually taylor series terms) and built some of my own. I noticed that for any finite ...
0
votes
0answers
17 views

$SO(n)$ algebra relations in the vector rep

The $\mathfrak{so}(n)$ algebra has some relations between generators always indicated as $$\left[T_{ij}, T_{kl}\right] = \delta_{ik}T_{jl} - \delta_{jk}T_{li} - \delta_{jl} T_{ik} + ...
1
vote
1answer
24 views

Function composition as representable by matrices?

I know from linear algebra that for different sets of functions differentiation can be expressed using matrix multiplication on a vector representation of the function. For instance polynomials and ...
1
vote
1answer
23 views

Root space $L_\alpha$ is completely contained in simple ideal?

I'm having trouble understanding a section in Humphrey's Lie algebras on page 74. Suppose $L$ is a semisimple Lie algebra which decomposes as a direct sum of simple ideals $L_1\oplus\cdots\oplus ...
1
vote
1answer
61 views

How can I show that the characters in sense of irreducible representations are the same as the character maps from the burnside matrices?

My Task is: Let G be a finite group. 1. Let $C_1 = \{e\}, C_2,..., C_k$ be the conjugacy classes, and let $v_1,..., v_k$ be the normalised eigenvectors of the Burnside matrices of G, then for all s ...
0
votes
0answers
9 views

Weights system corresponding to reflected Dynkin diagram?

Given a set of weights corresponding to the $SO(10) Dynkin diagram How can I transform these weights into weights that correspond to the Dynkin diagram ?
0
votes
1answer
24 views

Dihederal Group $D_{2n}$ Where $n$ is even/odd

I know that the group presentation of $D_{2n}$ is the following $$D_{2n} = \big<a,b: a^n=b^2=1,b^{-1}ab =a^{-1} \big>$$ Now if we consider the case where $n$ is even and we write $n =2m$ for ...
2
votes
1answer
29 views

Calculating the Lie algebra representation of the regular representation on subspace of functions on $\mathbb R$.

Let $G = \mathbb R$ and let $\pi$ be the regular representation of $G$ on $L^2(\mathbb R)$, that is, $\pi(g)(f)(x) = f(x-g)$ for $g \in G$. Let $V = \{f \in \mathcal C_c^\infty | supp f \subseteq ...
5
votes
1answer
67 views

Invariant subspaces of Lie group vs invariant subspaces of Lie algebra

I am starting to study infinite-dimensional representations of Lie groups and I am wondering about the following: Let $G$ be a connected Lie group with Lie algebra $\mathfrak g$ and with a ...
2
votes
0answers
26 views

Map for roots of a Lie group to roots of a special subalgebra?

For regular subalgebras $h$ of some group's Lie algebra $g$, $$ h \subset h $$ the root system of the subalgebra is a subset of the root system of the original's group algebra. Subalgebras whose ...
2
votes
0answers
23 views

What can we do about the indecomposable representations of wild quivers and wild algebras?

I know that using finite number of parameters we can not describe indecomposable modules of wild quivers, but is it possible for us to describe them using infinitely many parameters for at least some ...
1
vote
0answers
17 views

Locally compact spaces that are not first-countable and continuity of functions on locally compact groups and continuity of group representation

If $X$ is a topological space that is first-countable, then a function $f: X \to Y$ into another topological space $Y$ is continuous if and only if $f$ is sequential continuous. Only the implication ...
1
vote
0answers
16 views

How to transform roots/weights from the simple root basis to the H-basis?

Often the roots and weights of some Lie algebra are written in terms of the simple root basis $$ r =(a_1,a_2,a_3,\ldots)=a_1 \alpha_1 + a_2 \alpha_2 + a_3 \alpha_3 +\ldots,$$ where $α_i$ denotes the ...
4
votes
1answer
29 views

Simple Roots of E6 in Coordinates?

There are several possibilities how one can write simple roots in terms of coordinates. Firstly, they depend on the numbering of the nodes in the Dynkin diagram. Let's fix the choice for $E_6$ to be ...
2
votes
0answers
25 views

fulton and harris representation theory exercise 2.5 solution

Trying to solve Exercise 2.5: If $V$ is a permutation representation associated to the group $G$ on a finite set $X$, show that $\chi_\nu(g)$ is the number of elements fixed by $g$. Looking for hint ...
1
vote
0answers
19 views

Using Peter Weyl theorem to decompose an orbit

Let $G$ be a finite group and let $\pi$ be a unitary representation of $G$ on a Hilbert space $H$. Since $G$ is finite, we have that for every $v \in H$, the orbit of $v$, $\pi (G).v$, is of dimension ...
5
votes
0answers
41 views

Why is $Ind^G_H(M)=Ind^{G/H}_{\{e\}}$?

I was looking at some representation theory notes and found the following statement: $Ind^G_H(V)=\mathbb{C}[G]\otimes_{\mathbb{C}[H]}V=\mathbb{C}[G/H]\otimes_\mathbb{C} V$. Now, this makes intuitive ...
0
votes
1answer
33 views

Freedom in choosing the basis of the Cartan subalgebra?

Although the answer by Qiaochu Yuan helps me, a concrete example would answer my question completely. I recently read that "roughly spearking [automorphism are] permuation among roots". What is some ...
2
votes
0answers
37 views

Representations of $\mathbb{H}^{\times}$ and $\mathbb{H}^{\times}/\mathbb{R}^{\times}$.

In an attempt to recapture Eichler's theta correspondence I have hit a stumbling block. Let $D$ be a quaternion algebra over $\mathbb{Q}$, ramified at $p,\infty$. Also let $V_j = ...
1
vote
0answers
14 views

Induced representation from subgroup to subgroup

I wonder why the third of the properties of the induced representation here (http://mathworld.wolfram.com/InducedRepresentation.html) holds. Does it follow from the universal property? I could not ...
4
votes
2answers
65 views

Is a non-trivial finite perfect group of order 4n?

A finite group $G$ is perfect if $G = G^{(1)} := \langle [G,G] \rangle$, or equivalently, if any $1$-dimensional complex representation is trivial. Question: Is a non-trivial finite perfect group of ...
2
votes
0answers
37 views

Determining the group generated by a set of roots?

I have a set of 45 roots and I want to know which group is generated by the corresponding generators. In the set are 5 diagonal (=Cartan) generators $$ (0, 0, 0, 0, 0, 0)_1,(0, 0, 0, 0, 0, 0)_2,(0, ...
5
votes
1answer
48 views

Question concerning a minimal faithful left ideal in an artin algebra

Let $B$ be an artin algebra an suppose there is a faithful projective-injective left $B$-module. Moreover, there is a minimal faithful left ideal $Be$ for some idempotent $e\in B$. 1) What does ...
2
votes
0answers
56 views

Analytical approach of representation theory

I'm doing M.Sc. in mathematics. I want to do my M.Sc. thesis on Representation theory in analytic approach. So I start reading the book Representations of Finite and Compact Groups by Barry Simon. ...
10
votes
1answer
95 views

Is the group-theoretic Grothendieck-Springer resolution Calabi-Yau?

Any cotangent bundle is Calabi-Yau (by which I mean the canonical bundle is trivial), so the Springer resolution $T^*(G/B)$ is Calabi-Yau. I think that the Grothendieck-Springer resolution ...
3
votes
0answers
32 views

Can a (Hausdorff) infinite group have only finitely many equivalence classes of irreducible unitary representations?

(Where two representations are equivalent iff they are unitarily equivalent.)
0
votes
0answers
22 views

Multivariable polynomial matrix representations

This is a follow-up to matrix representation of parabola and matrix representation to generate monomials. I found a method to build such matrices to implement this type of functionality for one ...
3
votes
3answers
198 views

matrix representations and polynomials

I just investigated the following matrix and some of its lower powers: $$M = \left[\begin{array}{cccc} 1&0&0&0\\ 1&1&0&0\\ 1&1&1&0\\ 1&1&1&1 ...
1
vote
1answer
22 views

Explicitly compute the trace for the tautological representation of $D_4$ of $\mathbb{R}^2$.

Fix a finite dimensional representation $\rho: G \longrightarrow GL(V)$ of $G$. Its trace is defined as the function $tr:G \longrightarrow F$ defined by $tr(g) = tr(\rho(g))$. Explicitly compute ...
0
votes
1answer
29 views

support compact modulo subgroup

I am studying (co)-induced representations of topological groups and I came across the following situation: $G$ is a topological group, $H$ a closed subgroup and $f\colon G\to W$ a set-theoretic map, ...
0
votes
0answers
31 views

A qualifying-exam problem related to Clifford theorem in representation theory

I am not sure : does this problem can be solve directly by Maschke's theorem, which states that every representation of a finite group is completely reducible. Perhaps I made some stupid ...
3
votes
0answers
35 views

How do roots act on weights?

In Lie theory it's possible to compute things very explicit using tensor methods. For example, we can use an explicit matrix for each generator $T^a$ and compute the "action" of this generator on an ...
0
votes
1answer
56 views

Matrix representations of parabola.

Continuing the epic quest on finding matrix representations from here: Representation of hyperbolas. with a last part, the only conic section left: the parabola. I will present one idea of how to ...
1
vote
0answers
55 views

Dirichlet characters with values in a finite field

Although the classical Dirichlet characters are complex valued, it seems to me rather useful that the characters attain values in a finite field; thus homomorphisms from $\mathbb{Z}_N^*$ to ...
2
votes
1answer
56 views

Looking for various proofs there is no faithful representation $\rho:S_4\rightarrow GL(\mathbb{R}^2)$

I stumbled on the question when thinking about a representation $\rho:D_4\rightarrow GL(\mathbb{R}^2)$ as symmetries of the four points $\{(\pm 1, \pm 1)\}$. There didn't seem to be a good geometric ...