# Questions tagged [rt.representation-theory]

Linear representations of algebras and groups, Lie theory, associative algebras, multilinear algebra.

428 questions

**37**

votes

**3**answers

2k views

### How to constructively/combinatorially prove Schur-Weyl duality?

How is Schur-Weyl duality (specifically, the fact that the actions of the group ring $\mathbb{K}\left[ S_{n}\right] $ and the monoid ring
$\mathbb{K}\left[ \left( \operatorname*{End}V,\cdot\...

**26**

votes

**7**answers

5k 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$)?

**30**

votes

**2**answers

2k 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 ...

**37**

votes

**2**answers

2k 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, ...

**12**

votes

**1**answer

1k views

### A dual version of a theorem of Øystein Ore in group theory

This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved:
Theorem: Let $[H, G]$ be a distributive interval of finite groups. Then $\exists g \in G$ such ...

**11**

votes

**1**answer

1k views

### unitary irreps of O(p,q)

I am interested in the irreducible unitary representations of the orthogonal groups $O(p,q)$. By $O(p,q)$ I mean the real Lie groups which preserve the quadratic form of signature $(p,q)$ in $\mathbb{...

**13**

votes

**2**answers

719 views

### Number of commuting pairs (triples, n-tuples) in GL_n(F_q) (and other groups)?

Question 1 What is the number of pairs of commuting elements in GL_n(F_q) ?
I am aware of many results concerning commuting elements in Mat_n(F_q), but I am interested in GL i.e. non-degenerate ...

**13**

votes

**2**answers

769 views

### Explicit invariant of tensors nonvanishing on the diagonal

The group $SL_n \times SL_n \times SL_n$ acts naturally on the vector space $\mathbb C^n \otimes \mathbb C^n \otimes \mathbb C^n$ and has a rather large ring of polynomial invariants. The element $$\...

**12**

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 R^{H_{1}...

**20**

votes

**1**answer

382 views

### $q$-(and other)-analogs for counting index-$n$ subgroups in terms of Homs to $S_n$?

The following formula of astonishing beauty and power (imho):
$$ \sum_{n \ge 0} \frac{| \mathrm{Hom}(G,S_n) | }{n! } z^n = \exp\left( \sum_{n \ge 1} \frac{|\text{Index}~n~\text{subgroups of}~ G|}nz^...

**9**

votes

**1**answer

383 views

### Algorithm for finding quiver algebras

Im looking for an algorithm that does the following in a quick way:
Input: Natural number $r \geq 2$, natural number $s \geq 3$, prime power $q$.
Output:
Finds all two-sided ideals in $J^2/J^s \...

**62**

votes

**3**answers

6k 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 ...

**48**

votes

**11**answers

8k 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 (...

**33**

votes

**8**answers

6k 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 $\mathcal{G}...

**44**

votes

**3**answers

5k views

### What to do now that Lusztig's and James' conjectures have been shown to be false?

Lusztig and James provided conjectures for dimensions of simple modules (or decomposition numbers) for algebraic groups and symmetric groups in characteristic $p$. These conjectures have been ...

**33**

votes

**7**answers

7k 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 ...

**32**

votes

**2**answers

805 views

### Analogies supporting heuristic: Weyl groups = algebraic groups over field with one element?

There is well-known heuristic that Weyl groups are reductive algebraic groups over "field with one element".
Probably the best known analogy supporting that heuristic is the limit $q\to1$ for number ...

**26**

votes

**3**answers

2k views

### What's the state of affairs concerning the identification between quantum group reps at root of unity, and positive energy affine Lie algebra reps?

In his paper [1], Finkelberg used Kazhdan-Lusztig's massive work [4,5,6,7,8] to prove that $Rep^{ss}(U_q\mathfrak g)$ (the semisimplification of the category of finite dimensional reps of $U_q\...

**13**

votes

**6**answers

2k views

### Reference request: representation theory of the hyperoctahedral group

I was wondering if someone knows a good reference for the representation theory of the hyper-octahedral group $G$. The hyper-octahedral group $G$ is defined as the wreath product of $C_2$ (cyclic ...

**16**

votes

**0**answers

536 views

### Monstrous Langlands-McKay or what is bijection between conjugacy classes and irreducible representation for sporadic simple groups?

Context: The number of conjugacy classes equals to the number of irreducuble representations (over C) for any finite group. Moreover for the symmetric group and some other groups there is "good ...

**16**

votes

**2**answers

1k 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 ...

**11**

votes

**4**answers

930 views

### Norm continuous infinite dimenisonal representation of a Lie group

Given a Lie group G and an infinite dimensional Hilbert space $\mathcal{H}$. In the literature I have only encountered the two following notions of a representation $\pi$ of G on $\mathcal{H}$ :
1) $\...

**11**

votes

**0**answers

413 views

### Bijection between conjugacy classes and irreducible representation of Weyl group = Langlands correspondence over “field with one element”

Context: The number of conjugacy classes equals to the number of irreducuble representations (over C) for any finite group.
Moreover for the symmetric group there is well-known "natural bijection" ...

**16**

votes

**1**answer

703 views

### Weyl group actions on 0-weight spaces

For a complex simple Lie group G with a maximal torus T, we can take a highest-weight representation V of G and look at the 0-weight space, i.e. the subspace of V of elements invariant under T. This ...

**10**

votes

**4**answers

2k views

### Quotient space of $\mathbb{C}^5$ under the action of $SL(2,\mathbb{C})$

One sees that given the $SL(2,\mathbb{C})$ action on $\mathbb{C}^5$, thought of as the space of polynomials of the form,
$$a_0 x^4 + 4a_1 x^3 y + 6a_2x^2y^2 + 4a_3xy^3 + a_4 y^4$$
the ring of ...

**10**

votes

**2**answers

604 views

### Characterization of Frobenius complements

I have learned that Frobenius complements are characterized (among finite groups) by having a fixed point free complex representation.
That is, a finite group $G$ is a Frobenius complement if and only ...

**2**

votes

**2**answers

509 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 versa?
...

**12**

votes

**1**answer

598 views

### A maximal element, where Schur gives a minimal element

Let me recall a result due to I. Schur, which I learnt from F. Goldberg's answer to my MO question Hadamard-like inequalites for positive definite symmetric matrices. If $H$ is a subgroup of $\frak ...

**10**

votes

**1**answer

329 views

### Formula for $U(N)$ integration wanted

Before you jump on the "duplicate" buttom, let me say that I do not want to hear about Weingarten calculus and I do not want to see a character of the symmetric group.
What I would like is a formula ...

**10**

votes

**2**answers

395 views

### Strongly real elements of odd order in sporadic finite simple groups

Recall that an element of a finite group is said to be real if it is conjugate to its inverse, and strongly real if the conjugating element can be chosen to be an involution.
Question: Is it true ...

**8**

votes

**2**answers

778 views

### Invariant polynomials for a product of algebraic groups

Let $G_1$ and $G_2$ be connected reductive algebraic groups defined over $\mathbb{C}$ and let $V_1$ and $V_2$ be irreducible representations of $G_1$ and $G_2$ respectively. I'm interested in general ...

**61**

votes

**7**answers

20k views

### A learning roadmap for Representation Theory

As Akhil had great success with his question, I'm going to ask one in a similar vein. So representation theory has kind of an intimidating feel to it for an outsider. Say someone is familiar with ...

**26**

votes

**18**answers

16k 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.

**40**

votes

**2**answers

6k 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 ...

**48**

votes

**8**answers

7k 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 ...

**22**

votes

**5**answers

5k 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 ...

**29**

votes

**4**answers

3k 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 ...

**40**

votes

**3**answers

2k views

### Why is there such a close resemblance between the unitary representation theory of the Virasoro algebra and that of the Temperley-Lieb algebra?

For those who aren't familiar with the Virasoro or Temperley-Lieb algebras, I include some definitions:
• The (universal envelopping algebra of the) Virasoro algebra is the $\star$-algebra $...

**54**

votes

**3**answers

3k 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 ...

**14**

votes

**2**answers

2k views

### learning Deligne-Lusztig theory

Can someone give me a roadmap for learning Deligne-Lusztig theory? (Except for the original article by Deligne and Lusztig)
Edit: You may assume knowledge of representation theory of finite groups (...

**34**

votes

**5**answers

5k 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 ...

**32**

votes

**0**answers

1k views

### Why are there so few quaternionic representations of simple groups?

Having spent many hours looking through the Atlas of Finite Simple Groups while in Grad school, I recall being rather intrigued by the fact that among the sporadic groups, only one (McLaughlin as I ...

**15**

votes

**7**answers

5k views

### Elementary reference for algebraic groups

I'm looking for a reference on algebraic groups which requires only knowledge of basic material on the theory of varieties which you could find in, for example, Basic Algebraic Geometry 1 by ...

**31**

votes

**6**answers

4k views

### What is known about this plethysm?

Let $S^{\lambda}$ be a Schur functor. Is there a known positive rule to compute the decomposition of $S^{\lambda}(\bigwedge^2 \mathbb{C}^n)$ into $GL_n(\mathbb{C})$ irreps?
In response to Vladimir's ...

**11**

votes

**2**answers

2k 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 ...

**21**

votes

**1**answer

1k views

### Can one explain Tannaka-Krein duality for a finite-group to … a computer ? (How to make input for reconstruction to be finite datum?)

Consider a finite group. Tannaka-Krein duality allows to reconstruct the group from the
category of its representations and additional structures on it (tensor structure + fiber functor). Somehow ...

**9**

votes

**1**answer

2k views

### Dijkgraaf-Witten TQFT vs. Representation Theory?

From what I had read, group characters can be "glued" together in a topological fashion and there is something to this effect in the paper by Dijkgraaf and Witten. TQFT seems to be a topological ...

**26**

votes

**1**answer

658 views

### What are the points of simple algebraic groups over extensions of $\mathbb{F}_1$?

The "field with one element" $\mathbb{F}_1$ is, of course, a very speculative object. Nevertheless, some things about it seem to be generally agreed, even if the theory underpinning them is not; in ...

**15**

votes

**3**answers

3k views

### What are the current breakthroughs of Geometric Complexity Theory?

I've read from Wikipedia about Geometric Complexity Theory (GCT) which (if I understood correctly) is a program for coping with the $ P=NP $ problem using algebraic methods.
That program seems ...

**12**

votes

**3**answers

3k views

### Definitions of Reductive and Semisimple Groups

I'm a graduate student. I've been reading Knapp's two books Representation Theory of Semisimple Groups and Lie Groups Beyond an Introduction. He seems to give wildly different definitions for the ...