Questions tagged [rt.representation-theory]
Linear representations of algebras and groups, Lie theory, associative algebras, multilinear algebra.
6,803
questions
29
votes
2
answers
3k
views
What is modular representation theory for groups good for?
I am an absolute beginner in modular representation theory of finite groups. I know some things in representation theory in characteristic zero. My questions are regarding the main goals of this part ...
29
votes
0
answers
1k
views
Linking formulas by Euler, Pólya, Nekrasov-Okounkov
Consider the formal product
$$F(t,x,z):=\prod_{j=0}^{\infty}(1-tx^j)^{z-1}.$$
(a) If $z=2$ then on the one hand we get Euler's
$$F(t,x,2)=\sum_{n\geq0}\frac{(-1)^nx^{\binom{n}2}}{(x;x)_n}t^n,$$
on the ...
28
votes
4
answers
2k
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 ...
28
votes
3
answers
3k
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 ...
28
votes
4
answers
4k
views
When are modules and representations not the same thing?
I've been trying for a while to get a real concrete handle on the relationship between representations and modules. To frame the question, I'll put here the standard situation I have in mind:
A ring $...
28
votes
1
answer
3k
views
Are there Maass forms where the expected Galois representation is $\ell$-adic?
Recall that by theorems of Deligne and Deligne--Serre, there is the following dichotomy:
Modular forms on the upper half plane of level $N$ and weight $k\geq 2$ correspond to representations $\rho:\...
28
votes
5
answers
6k
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 ...
28
votes
2
answers
5k
views
Which p-adic numbers are also algebraic?
What is $\mathbb{Q}_p \cap \overline{\mathbb{Q}}$ ?
For instance, we know that $\mathbb{Q}_p$ contains the $p-1$st roots of unity, so we might say that $\mathbb{Q}(\zeta) \subset \mathbb{Q}_p \cap \...
28
votes
1
answer
1k
views
Number of irreducible representations of a finite group over a field of characteristic 0
Let $G$ be a finite group and $K$ a field with $\mathbb{Q} \subseteq K \subseteq \mathbb{C}$.
For $K=\mathbb{C}$ the number of irreducible representations of $KG$ is equal to the number of conjugacy ...
28
votes
2
answers
3k
views
Proofs of Beilinson-Bernstein
The Beilinson-Bernstein localization theorem states roughly that the category of $D$-modules on the flag variety $G/B$ is equivalent to the category of modules over the universal enveloping algebra $U\...
28
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 ...
28
votes
3
answers
2k
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
$...
28
votes
1
answer
2k
views
Conjectures inspired by AI
Today in Nature a paper described how AI guided mathematicians to make highly non-trivial conjectures, which they managed to prove, one in Knot Theory involving a new invariant, the other in ...
27
votes
5
answers
3k
views
Why would one expect a derived equivalence of categories to hold?
This question is perhaps somewhat soft, but I'm hoping that someone could provide a useful heuristic. My interest in this question mainly concerns various derived equivalences arising in geometric ...
27
votes
5
answers
3k
views
Are there any nontrivial ring homomorphisms $M_{n+1}(R)\rightarrow M_n(R)$?
Let $R$ be a finitely generated ring with identity, $M_n(R)$ the set of $n\times n$ matrices. Are there any nontrivial ring homomorphisms $M_{n+1}(R)\rightarrow M_n(R)$? This should be an elementary ...
27
votes
4
answers
3k
views
Is any representation of a finite group defined over the algebraic integers?
Apologies in advance if this is obvious.
27
votes
3
answers
3k
views
Is there a 'nice' interpretation of virtual representations?
Let $G$ be a compact group and let $R(G)$ be the representation ring of $G$. Additively, $R(G)$ is generated by the irreducible representations of $G$. Usually one only deals with those ...
27
votes
2
answers
4k
views
Status of (global) Langlands conjecture for $\mathrm{GL}_2$ over $\mathbb{Q}$
$\DeclareMathOperator\GL{GL}$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. ...
27
votes
3
answers
2k
views
Majorization and Schur Polynomials
Let me first define the majorization order (or dominance order) on partitions as $\lambda \succeq \mu$ iff $$\sum _{i=1}^{k}\lambda_i \geq \sum_{i=1}^{k}\mu_i$$ for all $1\le k\le l-1$ and $$\lambda_1+...
27
votes
4
answers
2k
views
Matrices: characterizing pairs $(AB, BA)$
Let $A$ be an $m\times n$-matrix and $B$ an $n \times m$-matrix over the same field. Consider the matrices $C=AB$ and $D=BA$. It is probably well known (and not difficult to show) that the only ...
27
votes
2
answers
1k
views
Intuition for symplectic groups
My question essentially breaks down to
How do you, a working mathematician, think about (real) symplectic groups? How do you visualize symplectic (linear) transformations? What intuition do you ...
27
votes
3
answers
2k
views
How can classifying irreducible representations be a "wild" problem?
Let $q$ be a prime power and $U_n(\mathbb{F}_q)$ be the group of unitriangular $n\times n$-matrices. I've read and heard in several places (see e.g. this mathoverflow question) that classifying ...
27
votes
1
answer
2k
views
Is there an accessible exposition of Gelfand-Tsetlin theory?
I'm hoping to start an undergraduate on a project that involves understanding a bit of Gelfand-Tsetlin theory, and have been tearing my hair out looking for a good reference for them to look at. ...
27
votes
1
answer
847
views
Why do the adjoint representations of three exceptional groups have the same first eight moments?
For a representation of a compact Lie group, the $n$th moment of the trace of that representation against the Haar measure is the dimension of the invariant subspace of the $n$th tensor power. The ...
27
votes
1
answer
3k
views
Definitions of real reductive groups
There are several definitions of real reductive groups, sometimes subtly inequivalent. The following come to my mind:
A closed subgroup of $GL(n,\mathbb C)$ closed under conjugate transpose.
The set ...
27
votes
1
answer
2k
views
Reconciling Lusztig's results with the Langlands philosophy
Let $\boldsymbol{G}$ be a reductive group over a finite field $\mathbb{F}_q$, $G = \boldsymbol{G}(\mathbb{F}_q)$, $W = \mathrm{W}(\mathbb{F}_q)$ the Witt vectors over $\mathbb{F}_q$, and $K = \mathrm{...
26
votes
3
answers
4k
views
How are these two ways of thinking about the cross product related?
I was always bothered by the definition of the cross product given in e.g. a calculus course because it's never made clear how one would go about defining the cross product in a coordinate-free manner....
26
votes
2
answers
6k
views
Which finite groups have faithful complex irreducible representations?
Obvious necessary condition is that the center must be a cyclic group. Is it sufficient (doubt here)? If not, is there any nice characterization in terms of group structure, without appealing to ...
26
votes
4
answers
2k
views
Yoga of six functors for group representations?
I'm trying to understand how the six functor philosophy applies to representation theory. Consider the category of classifying stacks $BG$ (assume $G$ discrete for simplicity). To every stack we can ...
26
votes
2
answers
3k
views
When does Lusztig's canonical basis have non-positive structure coefficients?
I've heard asserted in talks quite a few times that Lusztig's canonical basis for irreducible representations is known to not always have positive structure coefficents for the action of $E_i$ and $...
26
votes
4
answers
3k
views
Have people successfully worked with the full ring of differential operators in characteristic p?
This question is inspired by an earlier one about the possibility of using the full ring of differential operators on a flag variety to develop a theory of localization in characteristic $p$. (Here ...
26
votes
1
answer
798
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 ...
26
votes
2
answers
1k
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 ...
25
votes
3
answers
5k
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 (...
25
votes
3
answers
4k
views
Questions about the Bernstein center of a $p$-adic reductive group
Dear all,
The "Bernstein center" of a $p$-adic reductive group appears frequently in the literature of automorphic forms, often without a precise definition. For example, in page 233 of Moeglin-...
25
votes
7
answers
8k
views
Applications of group theory to mathematical biology (pharmacology)
Are there applications of group theory — broadly, say, representation theory, Lie algebras, $q$-groups, etc — to mathematical biology?
In particular, I am interested in applications to pharmacology — ...
25
votes
8
answers
2k
views
Avatars of the ring of symmetric polynomials
I'm collecting different apparently unrelated ways in which the ring (or rather Hopf algebra with $\langle,\rangle$) of symmetric functions $Z[e_1,e_2,\ldots]$ turns up (for a Lie groups course I will ...
25
votes
3
answers
5k
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 ...
25
votes
4
answers
4k
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$ ...
25
votes
3
answers
1k
views
Statistics of irreps of S_n that can be read off the Young diagram, and consequences of Kerov–Vershik
Alexei Oblomkov recently told me about the beautiful theorem of Kerov and Vershik, which says that "almost all Young diagrams look the same." More precisely: take a random irreducible ...
25
votes
2
answers
2k
views
Adams Operations on $K$-theory and $R(G)$
One of the slickest things to happen to topology was the proof of the Hopf invariant one using Adams operations in $K$-theory. The general idea is that the ring $K(X)$ admits operations $\psi^k$ that ...
25
votes
3
answers
1k
views
what else is in $\prod_{j=1}^n(1+q^j)$?
From time to time, I run into the finite product $\prod_{j=1}^n(1+q^j)$. And, the more it happens, the more fascinated I've become. So, herein, I wish to get help in collecting such results. To give ...
25
votes
1
answer
2k
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 ...
25
votes
1
answer
2k
views
Number of 2-dimensional irreducible representations of a finite group ?
Question: What is the number of two-dimensional irreducible representations of a finite group ? How it can be expressed in groups-theoretic terms ? (Number of 1-dimensional irreps is |G/[G,G]| ).
...
25
votes
4
answers
6k
views
Formal geometry
[Edit (June 20, 2010): I posted an answer to this which summarizes one that I received verbally a few weeks after posting this question. I hope it is useful to someone.]
I am presently seeking ...
25
votes
2
answers
2k
views
What does the Tannakian formalism reconstruct when fed the category of chain complexes?
I've recently realized that there is a gap in my understanding of the Tannakian formalism for reconstructing an (algebraic) group from its category of (finite-dimensional) representations. To warm up,...
25
votes
1
answer
1k
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
2
answers
2k
views
Is it possible to realize the Moebius strip as a linear group orbit?
On MSE this got 5 upvotes but no answers not even a comment so I figured it was time to cross-post it on MO:
Is the Moebius strip a linear group orbit? In other words:
Does there exists a Lie group $ ...
24
votes
5
answers
3k
views
Why are Jucys-Murphy elements' eigenvalues whole numbers?
The Jucys-Murphy elements of the group algebra of a finite symmetric group (here's the definition in Wikipedia) are known to correspond to operators diagonal in the Young basis of an irreducible ...
24
votes
7
answers
3k
views
Computer package for representation theory of the symmetric group
Is there a computer algebra package in which I can compute the following for representations of a specific symmetric group (e.g. $S_7$):
(1) $V \otimes W$
(2) $S_\lambda V$, where $S_\lambda$ is a ...