**57**

votes

**10**answers

7k views

### Is Fourier analysis a special case of representation theory or an analogue?

I'm asking this question because I've been told by some people that Fourier analysis is "just representation theory of $S^1$."
I've been introduced to the idea that Fourier analysis is related to ...

**53**

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

**48**

votes

**7**answers

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

**43**

votes

**11**answers

5k views

### Why aren't representations of monoids studied so much?

It seems to me like every book on representation theory leaps into groups right away, even though the underlying ideas, such as representations, convolution algebras, etc. don't really make explicit ...

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

**40**

votes

**1**answer

3k views

### Double affine Hecke algebras and mainstream mathematics

This is something of a followup to the question "Kapranov's analogies", where a connection between Cherednik's double affine Hecke algebras (DAHA's) and Geometric Langlands program was mentioned.
I ...

**39**

votes

**10**answers

2k views

### Why are characters so well-behaved?

Last year I attended a first course in the representation theory of finite groups, where everything was over C. I was struck, and somewhat puzzled, by the inexplicable perfection of characters as a ...

**39**

votes

**9**answers

3k views

### Is every finite group a group of “symmetries”?

I was trying to explain finite groups to a non-mathematician, and was falling back on the "they're like symmetries of polyhedra" line. Which made me realize that I didn't know if this was actually ...

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

**35**

votes

**3**answers

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

**35**

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

**34**

votes

**1**answer

898 views

### Implications of non-negativity of coefficients of arbitrary Kazhdan-Lusztig polynomials?

In their seminal 1979 paper here,
Kazhdan and Lusztig studied an arbitrary Coxeter group $(W,S)$ and the corresponding Iwahori-Hecke algebra. In particular they showed how to pass from a standard ...

**33**

votes

**7**answers

2k views

### Lie group examples

I'm looking for interesting applications of Lie groups for an introductory Lie groups graduate course. In particular I'd like to hear of non-standard examples that at first sight do not seem to be ...

**33**

votes

**2**answers

1k views

### How much of character theory can be done without Schur's lemma or the Artin-Wedderburn theorem?

This is a somewhat imprecise question, as I am not sure how exactly how to formalise how to do mathematics "without" a certain key tool, but hopefully the intent of the question will still be clear.
...

**32**

votes

**19**answers

5k views

### Fun applications of representations of finite groups

Are there some fun applications of the theory of representations of finite groups? I would like to have some examples that could be explained to a student who knows what is a finite group but does not ...

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

**32**

votes

**5**answers

2k views

### Beautiful descriptions of exceptional groups

I'm curious about the beautiful descriptions of exceptional simple complex Lie groups and algebras (and maybe their compact forms). By beautiful I mean: simple (not complicated - it means that we need ...

**31**

votes

**3**answers

2k views

### Proper subgroup of GL(n,Z) isomorphic to GL(n,Z)?

This is just a question originated from some random thoughts. I hope it's nevertheless fit for mo.
It's possible to find a proper subgroup of $GL(n,\mathbb{C})$ isomorphic to $GL(n,\mathbb{C})$ ...

**31**

votes

**4**answers

2k views

### What role does the “dual Coxeter number” play in Lie theory (and should it be called the “Kac number”)?

While trying to get some perspective on the extensive literature about highest weight modules for affine Lie algebras relative to "level" (work by Feigin, E. Frenkel, Gaitsgory, Kac, ....), I run into ...

**30**

votes

**1**answer

2k views

### Square roots of elements in a finite group and representation theory

Let $G$ be a finite group. In an an earlier question, Fedor asked whether the square root counting function $r_2:G\rightarrow \mathbb{N}$, which assigns to $g\in G$ the number of elements of $G$ that ...

**29**

votes

**1**answer

5k views

### Consequences of Geometric Langlands

So, lots of people work on the Geometric Langlands Conjecture, and there have been a few questions around here on it (admittedly, several of them mine). So here's another one, tagged community wiki ...

**29**

votes

**2**answers

2k views

### Why are parabolic subgroups called “parabolic subgroups”?

Over the years, I have heard two different proposed answers to this question.
It has something to do with parabolic elements of $SL(2,\mathbb{R})$. This sounds plausible, but I haven't heard a ...

**28**

votes

**7**answers

1k views

### Character table does not determine group Vs Tannaka duality

From the example $D_4$, $Q$, we see that the character table of a group doesn't determine the group up to isomorphism. On the other hand, Tannaka duality says that a group $G$ is determined by its ...

**28**

votes

**10**answers

5k views

### The finite subgroups of SL(2,C)

Books can be written about the finite subgroups of $\mathrm{SL}(2,\mathbb C)$ (and their immediate family, like the polyhedral groups...) I am about to start writing notes for a short course about ...

**28**

votes

**11**answers

5k views

### Why is the exterior algebra so ubiquitous?

The exterior algebra of a vector space V seems to appear all over the place, such as in
the definition of the cross product and determinant,
the description of the Grassmannian as a variety,
the ...

**28**

votes

**6**answers

4k views

### How is representation theory used in modular/automorphic forms?

There is certainly an abundance of advanced books on Galois representations and automorphic forms. What I'm wondering is more simple: What is the basic connection between modular forms and ...

**28**

votes

**2**answers

1k views

### What do cluster algebras tell us about Grassmannians?

One of the first examples of a cluster algebra given in Fomin and Zelevinsky's original paper is the homogeneous coordinate ring $\mathbb{C}[G_{2,n}]$ of the Grassmannian of planes in $\mathbb{C}^n$. ...

**27**

votes

**3**answers

1k views

### Being a subgroup: proof by character theory

Let me first cite a theorem due to Frobenius:
Let $G$ be a finite group, with $H$ a proper subgroup ($H\ne (1)$ and $G$). Suppose that for every $g\not\in H$, we have $H\cap gHg^{-1}=(1)$. Then
...

**26**

votes

**4**answers

3k views

### Motivating the Casimir element

Weyl's theorem states that any finite-dimensional representation of a finite-dimensional semisimple Lie algebra is completely reducible. In my mind, the "natural" way to prove this result is by way ...

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

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

**26**

votes

**5**answers

1k views

### Does $S_4$ inject into $SL(2,R)$ for some commutative ring $R$?

$\newcommand{\Z}{\mathbf{Z}}$
Given a nice infinite collection of groups, for example the symmetric groups, one can ask whether any finite group is a subgroup of one of them. Of course any finite ...

**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, ...

**25**

votes

**5**answers

2k views

### Why we need to study representations of matrix groups?

Why we need to study representations of matrix groups? For example, the group $SL_2(F_q)$, where $F_q$ is the field with $q$ elements, is studied by Drinfeld. I think that these groups are already ...

**25**

votes

**9**answers

4k views

### How is the physical meaning of an irreducible representation justified?

This is maybe not an entirely mathematical question, but consider it a pedagogical question about representation theory if you want to avoid physics-y questions on MO.
I've been reading Singer's ...

**25**

votes

**2**answers

1k views

### Can an operator have Exp(z) as its characteristic “polynomial”?

Let $\mathcal{H}$ be a Hilbert space, and let $T: \mathcal{H} \rightarrow \mathcal{H}$ be a trace-class operator. Define
$$ f_T(z) = \sum_{i=0}^\infty \mbox{Tr}(\wedge^k T) \cdot z^k, $$
the ...

**25**

votes

**2**answers

927 views

### Groebner basis with group action

At one point my advisor, Mark Haiman, mentioned that it would be nice if there was a way to compute Groebner bases that takes into account a group action.
Does anyone know of any work done along ...

**24**

votes

**11**answers

7k views

### Lecture notes on representations of finite groups

Next term I am supposed to teach a course on representation of finite groups. This is a third year course for undegrads. I was thinking to use the book of Grodon James and Martin Liebeck ...

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

**24**

votes

**6**answers

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

**24**

votes

**1**answer

906 views

### How does one compute invariants of certain Grassmannians inside the regular representation?

Barry Mazur and I have come across the question below, motivated by (but independent
of) issues regarding the Leopoldt conjecture.
Suppose that $\mathbf{C}$ is the complex numbers.
Let $H$ be a ...

**24**

votes

**0**answers

403 views

### Class function counting solutions of equation in finite group: when is it a virtual character?

Let $w=w(x_1,\dots,x_n)$ be a word in a free group of rank $n$. Let $G$ be a finite group. Then we may define a class function $f=f_w$ of $G$ by
$$ f_w(g) = |\{ (x_1,\dots, x_n)\in G^n\mid ...

**23**

votes

**5**answers

2k views

### Deformation theory of representations of an algebraic group

For an algebraic group G and a representation V, I think it's a standard result (but I don't have a reference) that
the obstruction to deforming V as a representation of G is an element of ...

**23**

votes

**6**answers

2k views

### Examples of applications of the Borel-Weil-Bott theorem?

In "Quantum field theory and the Jones polynomial" (Comm. Math. Phys. 1989 vol. 121 (3) pp. 351-399), Witten writes:
A representation Ri of a group G should be seen as a quantum object. This ...

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

**23**

votes

**4**answers

2k views

### Overview of the interplay of Harmonic Analysis and Number Theory

I'm kind of disappointed that the question here was never sharpened.
The Laplacian $\Delta$ on the upper half-plane is $-y^{2}(\partial^{2}/\partial x^{2}+\partial^{2}/\partial y^{2}))$. Suppose $D$ ...

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

**22**

votes

**4**answers

935 views

### Groups in which all characters are rational.

The Symmetric groups $S_n$ has interesting property that all complex irreducible characters are rational (i.e. $\chi(g)\in \mathbb{Q}$ for all $\mathbb{C}$-irreducible characters $\chi$,$\forall g\in ...

**22**

votes

**3**answers

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

**22**

votes

**4**answers

2k views

### Character free proof that Frobenius kernel is a normal subgroup?

The question is in the title, but here is some background/reminders:
A subgroup $H\neq\{1\}$ of a finite group $G$ is called a Frobenius complement if $H\cap H^g = \{1\}$ for all $g\in G\backslash ...