**11**

votes

**7**answers

2k views

### Bijection between irreducible representations and conjugacy classes of finite groups

Is there some natural bijection between irreducible representations and conjugacy classes of finite groups (as in case of $S_n$)?

**11**

votes

**3**answers

1k views

### Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors:
Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset ...

**16**

votes

**1**answer

688 views

### Examples of finite groups with “good” bijection(s) between conjugacy classes and irreducible representations?

For symmetric group conjugacy classes and irreducible representation both are parametrized by Young diagramms, so there is a kind of "good" bijection between the two sets. For general finite groups ...

**26**

votes

**2**answers

1k views

### Are there “real” vs. “quaternionic” conjugacy classes in finite groups?

The complex irreps of a finite group come in three types: self-dual by a
symmetric form, self-dual by a symplectic form, and not self-dual at all.
In the first two cases, the character is real-valued, ...

**13**

votes

**2**answers

823 views

### Orbit structures of conjugacy class set and irreducible representation set under automorphism group

let G be a [EDIT: FINITE] group. Suppose C is the set of conjugacy classes of G and R is the set of (equivalence classes of) irreducible representations of G over the complex numbers.
The ...

**32**

votes

**7**answers

3k views

### Why the Killing form?

I'm teaching a short summer course on algebraic groups and it's time to talk about the Killing form on the Lie algebra. The students are all undergrads of varying levels of inexperience, and I try to ...

**42**

votes

**3**answers

2k views

### Is “semisimple” a dense condition among Lie algebras?

The "Motivation" section is a cute story, and may be skipped; the "Definitions" section establishes notation and background results; my question is in "My Question", and in brief in the title. Some ...

**26**

votes

**9**answers

3k views

### What is significant about the half-sum of positive roots?

I apologize for the somewhat vague question: there may be multiple answers but I think this is phrased in such a way that precise answers are possible.
Let $\mathfrak{g}$ be a semisimple Lie algebra ...

**13**

votes

**5**answers

3k views

### Why are the characters of the symmetric group integer-valued?

I remember one of my professors mentioning this fact during a class I took a while back, but when I searched my notes (and my textbook) I couldn't find any mention of it, let alone the proof.
My best ...

**19**

votes

**1**answer

1k views

### Order of products of elements in symmetric groups

Let $n \in \mathbb{N}$. Is it true that for any $a, b, c \in \mathbb{N}$ satisfying
$1 < a, b, c \leq n-2$ the symmetric group ${\rm S}_n$ has elements of order $a$ and $b$
whose product has order ...

**8**

votes

**2**answers

1k views

### Is there a machinery describing all the irreducible representations ?

Suppose we have a finite dimensional Lie algebra $g$， Is there a machinery to describe all the irreducible representation of $g$.
Consider toy example: $sl_{2}$ or $sl_{3}$, how do we describe all ...

**10**

votes

**0**answers

741 views

### Complexes of representations with complementary central charges

This is another question asking for references. There is an important phenomenon of correspondence between (complexes of) representations of infinite-dimensional Lie algebras with the complementary ...

**4**

votes

**1**answer

222 views

### The existence of a finite dimensional Lie algebra with a given symmetric invariant metric

The question is motivated by a more broad perspective in another MO post and here, but here we would like to understand a specific case (our question potentially connects to / is motivated b Quantum ...

**4**

votes

**1**answer

240 views

### Finite dimensional Lie algebra with non-degenerate invariant bilinear forms $\Omega_{ab}$

Firstly, my apology to MO experts that I am in a more science/physics background (a PhD). So please feel free refine/modify/comment my language if I have different math accents than yours. From ...

**3**

votes

**2**answers

346 views

### Complete classification of six dimensional non-semi simple Lie algebra

I would aim to know the complete classification of 6 dimensional non-semi simple Lie algebra (here the dimension stands for the generators; or the dimension $\leq 6$).
In this paper, in page 7, it ...

**2**

votes

**2**answers

302 views

### If all real conjugacy classes are strongly real, then all real irreps are “strongly real”(symmetric), true ?

Question Is true that if all real conjugacy classes of a finite group are strongly real, then all its real irreducible representations (irreps) are "strongly real"(symmetric) ? And vice verse ?
...

**4**

votes

**2**answers

547 views

### Decomposing representations of finite groups

Let $G$ be a finite group, $p$ a prime number. We denote by $\mathbb{F}_p$ the field of cardinality $p$. Let $V$ be an infinite dimensional representation of $G$ over $\mathbb{F}_p$.
Must there be ...

**5**

votes

**2**answers

348 views

### Decomposing the conjugacy representation of Sym$(n)$ for small $n$

I am trying to compute the decomposition of the conjugacy representation of some small symmetric groups. Perhaps someone has undertaken a similar calculation.
My own calculations are quite slow, ...

**4**

votes

**4**answers

524 views

### Structure of the adjoint representation of a (finite) group (Hopf algebra) ?

Every group acts on itself by conjugation $h \mapsto g h g^{-1}$. Respectively considering functions on a group we obtain a linear representation.
Question 1: what is known about this representation ...

**2**

votes

**1**answer

198 views

### An upper bound for the maximal subgroups at fixed index?

Let us call a subgroup an injective homomorphism between groups.
I warn the reader that a subgroup designates here an inclusion $(H \subset G)$, not $H$ alone.
A subgroup $H \subset G$ is ...

**9**

votes

**5**answers

993 views

### A sum involving derivatives of Vandermonde

Consider the standard Vandermonde $V(x_1, \ldots, x_n) = \prod_{i < j} (x_i - x_j)$.
I am intersted in the calculation of the following expression for fixed $k$:
$$\sum_i (x_i)^k (d/dx_i)^k V(x_1 , ...

**17**

votes

**17**answers

8k views

### Learning about Lie groups

Can someone suggest a good book for teaching myself about Lie groups? I study algebraic geometry and commutative algebra, and I like lots of examples. Thanks.

**26**

votes

**5**answers

4k views

### Definitions of Hecke algebras

There is a definition of Iwahori-Hecke algebras for Coxeter groups in terms of generators and relations and there is a definition of Hecke algebras involving functions on locally compact groups. Are ...

**52**

votes

**3**answers

2k views

### Does linearization of categories reflect isomorphism?

Given a category $C$ and a commutative ring $R$, denote by $RC$ the $R$-linearization: this is the category enriched over $R$-modules which has the same objects as $C$, but the morphism module between ...

**24**

votes

**7**answers

3k views

### Ubiquity of the push-pull formula

The push-pull formula appears in several different incarnations. There are, at least, the following:
1) If $f \colon X \to Y$ is a continous map, then for sheaves $\mathcal{F}$ on $X$ and ...

**38**

votes

**3**answers

3k views

### 5/8 bound in group theory

The odds of two random elements of a group commuting is the number of conjugacy classes of the group
$$ \frac{ \{ (g,h): ghg^{-1}h^{-1} = 1 \} }{ |G|^2} = \frac{c(G)}{|G|}$$
If this number exceeds ...

**19**

votes

**5**answers

3k views

### Particle Physics and Representations of Groups

This question is asked from a point of complete ignorance of physics and the standard model.
Every so often I hear that particles correspond to representations of certain Lie groups. For a person ...

**23**

votes

**4**answers

2k views

### How does this relationship between the Catalan numbers and SU(2) generalize?

This is a question, or really more like a cloud of questions, I wanted to ask awhile ago based on this SBS post and this post I wrote inspired by it, except that Math Overflow didn't exist then.
As ...

**23**

votes

**4**answers

2k views

### Induction and Coinduction of Representations

I'd like to understand the general framework of induction and coinduction of representations. If G is a finite group and H a subgroup, I know that there is a restriction functor from representations ...

**22**

votes

**2**answers

2k views

### Why can't we take three loops?

Apologies for the vague title and soft question. According to Etingof, Igor Frenkel once suggested that there are three "levels" to Lie theory, which I guess could be given the following names:
No ...

**18**

votes

**4**answers

3k views

### Why all irreducible representations of compact groups are finite-dimensional ? [EDIT: Subtleties: AC,etc]

About 20 years ago I read in textbook that
"all irreducible representations of compact groups are finite-dimensional", but
me and the proof of this fact never met each other :)
May I ask dear MO ...

**15**

votes

**0**answers

2k views

### Open problems/questions in representation theory and around ?

What are open problems in representation theory ?
What are the sources (books/papers/sites) discussing this ?
Any kinds of problems/questions are welcome - big/small, vague/concrete.
Some estimation ...

**9**

votes

**3**answers

1k views

### How to Compute the coordinate ring of flag variety?

Let $G$ be algebraic group over $\mathbb(C)$(semisimple), $B$ be Borel subgroup. consider flag variety $G/B$. It is known that $G/B$ is projective variety. So one consider the homogeneous coordinate ...

**15**

votes

**2**answers

993 views

### Status of (Global) Langlands Conjecture for $GL_2$ over $\mathbb{Q}$

Apologies if this question has already been dealt with on MO. I am wondering about the status of the global Langlands conjectures for $GL_2$ over the rational numbers. How close is humanity to the ...

**19**

votes

**6**answers

2k views

### Applications of group theory to math. biology (pharmacology) ?

Are there applications of group theory (take it broadly: representation theory, Lie algs., q-groups, whatever ... ) to math. biology ?
I am in particular interested about applications to pharmacology ...

**22**

votes

**3**answers

860 views

### Rep Theory Consequences of Bott--Weil--Borel

I've been getting interested in the (Bott--)Borel--Weil theorem lately. As a (mainly) geometer it is very interesting to see representation appearing (from nowhere as far as I can see) in the theory ...

**16**

votes

**3**answers

1k views

### Which groups have only real and quaternionic irreducible representations?

Consider a continuous irreducible representation of a compact Lie group on a finite-dimensional complex Hilbert space. There are three mutually exclusive options:
1) it's not isomorphic to its dual ...

**9**

votes

**3**answers

2k views

### When is a finite dimensional real or complex Lie Group not a matrix group

I have a smattering of knowledge and disconnected facts about this question, so I would like to clarify the following discussion, and I also seek references and citations supporting this knowledge. ...

**12**

votes

**3**answers

889 views

### When is a coadjoint orbit an integrable system (in a weak sense explained below)?

Let $X$ be an affine holomorphic symplectic variety of dimension $2n$, with the associated Poisson bracket { , }. Let's say it's an integrable system when there are $n$ algebraically independent ...

**8**

votes

**4**answers

1k views

### Basis-free definition of Casimir element?

Let $V$ be a finite-dimensional vector space and let $\mathfrak g \subset \mathfrak{gl}(V)$ be a representation of a semisimple Lie algebra on $V$. Let $e_1, \dots, e_n$ be a basis for $V$. Let $e_1', ...

**7**

votes

**2**answers

477 views

### What is the tropical Robinson-Schensted-Knuth correspondence?

And what are it's applications? A conceptual explanation would be great! Is there an expository note about this somewhere?
Some references have already appeared in the answers and comments below. To ...

**5**

votes

**1**answer

1k views

### What are tame and wild hereditary algebras?

What are tame and wild hereditary algebras?
Are they related to hereditary rings? (Those are rings for which every left (resp. right) ideal is projective, equivalently, for which every left (resp. ...

**20**

votes

**3**answers

1k views

### Subgroups of GL(2,q)

I have been wondering about something for a while now, and the simplest incarnation of it is the following question:
Find a finite group that is not a subgroup of any $GL_2(q)$.
Here, $GL_2(q)$ ...

**14**

votes

**1**answer

532 views

### Morphisms between Verma modules

Let $\mathcal{O}_0$ be the principal block of the BGG category $\mathcal{O}$ for a finite dimensional simple Lie algebra over $\mathbb{C}$. For an element $w$ in the Weyl group $W$, let $\Delta_w$ ...

**13**

votes

**3**answers

894 views

### Introductory References for Geometric Representation Theory

Would anyone be able to recommend text books that give an introduction to Geometric Representation Theory and survey papers that give an outline of the work that has been done in the field? I'm ...

**10**

votes

**3**answers

546 views

### What is the intuition behind the definition of cuspidal representations?

Let $\mathbb{G}$ be a reductive group defined over a number field $K$, let $Z$ be its center, and let $\mathbb{A}:=\mathbb{A}_K$ be the ring of adeles of $K$. Reasonably, we care about the ...

**10**

votes

**1**answer

532 views

### Why not _co_free modules?

Let $R$ be a ring, and $R\text{-Mod}$ its category of all left modules. There is a "forgetful" functor $\operatorname{Forget}: R\text{-Mod} \to \text{AbGp}$, which is additive, continuous, and ...

**8**

votes

**3**answers

1k views

### Algorithm to check is representation irreducible ? Algorithm to decompose the reducible one ?

Question 1 Given a representation of a finite group, what algorithm can be used to check is it irreducible or not ?
(Main case - complex numbers, comments on other cases are also welcome. "Given" ...

**17**

votes

**1**answer

1k views

### Example of non-projective variety with non-semisimple Frobenius action on etale cohomology?

This question was motivated by a more general question raised by Jan Weidner here. In general one starts with a variety $X$ (say smooth) over an algebraic closure of a finite field $\mathbb{F}_q$ of ...

**17**

votes

**2**answers

677 views

### An n!-dimensional representation of the symmetric group S_{n+2}

I have come across a sequence of representations $V_n$ of the symmetric group $S_{n+2}$ which has the property that restricting the action $S_n \subset S_{n+2}$ gives the regular representation:
$$ ...