Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
814 views

Reference for Clifford theory of algebras

Clifford theory relates the representation theory of a group to that of a normal subgroup. A good reference for this is Curtis and Reiner's "Methods in Representation theory II", Theorem 11.1. ...
Chris Bowman's user avatar
  • 1,413
6 votes
1 answer
828 views

Which functions are linear combinations of irreducible characters for a given field $\Bbbk$?

Let $G$ be a finite group. Then it is well known that a function $f\colon G\to \mathbb C$ is a linear combination of irreducible characters iff it is constant on conjugacy classes. What is the ...
Benjamin Steinberg's user avatar
1 vote
1 answer
353 views

Decomposition of an induced representation

If there is a finite group $G$ with a cyclic normal subgroup $C_n$, one can describe the indecomposable representations of $G$ through induction. How does $Ind_{C_n}^G$ decompose? For representations ...
user30594's user avatar
6 votes
3 answers
1k views

Good book on representation theory of GL(n)

I am interested in a recommendation for a good book which discuses representation theory of GL(n)(say over field of complex numbers). I know only a basic representation theory. The question I am ...
4 votes
3 answers
2k views

Lie subgroups of SU(4)

Other than subgroups of SU(3), what are the Lie subgroups of SU(4)? Assume that the subgroup is closed but not necessarily connected. Additionally, which of these subgroups admit four dimensional ...
Adam Bouland's user avatar
5 votes
2 answers
1k views

Origin of notion of "split Grothendieck group"?

In the construction of Soergel's bimodules in representtion theory , it's essential for him to work with split Grothendieck groups. Here he starts with a certain small additive category $\mathcal{A}$...
Jim Humphreys's user avatar
1 vote
2 answers
557 views

Is there formula name and proof for this theorem ? [closed]

The formula answers: how many tuples $(\sigma_1,\sigma_2,...,\sigma_n)$ of elements of a given group G such that (1) $\sigma_i\in C_i$ , where $C_i$ stands for conjugacy class. (2) $\sigma_1\...
user 566's user avatar
7 votes
1 answer
788 views

What is the support of the Whittaker function of a new vector on GL(2)?

Let $W$ be the normalized Whittaker function associated to a new vector in an irreducible generic representation $\pi$ of $G=GL_2(k)$, where $k$ is a $p$-adic field. Let $c$ be the conductor of $\pi$, ...
B R's user avatar
  • 3,183
7 votes
2 answers
595 views

Representation theory of Discrete Subgroups of Lie groups

My question is the following. Which representations of $Sp(2g, \mathbb Z)$ are extendable to representations of $Sp(2g, \mathbb C)$ or $Sp(2g, \mathbb R)$. Is there a general theory and a good ...
Anant Atyam's user avatar
5 votes
3 answers
578 views

Non-symmetric quiver varieties

Given a symmetric Cartan datum $(I,\cdot)$, H. Nakajima has defined a family of varieties - known as quiver varieties - and has used them to give geometric constructions of the representation theory ...
George Melvin's user avatar
6 votes
1 answer
434 views

Previous work on this generalization of continued fractions?

The 2x2 matrix representation of a continued fraction makes it clear that we're multiplying together a bunch of group elements. Inversion is essentially freely adjoining a generator to a Coxeter ...
Mike Stay's user avatar
  • 1,532
3 votes
1 answer
1k views

Finite subgroups of SO(3)

There are several proofs of the famous classification of finite subgroups of $SO(3)$. I heard that there is a "purely algebraic" one attributed to Camille Jordan. Does anybody know of a reference? ...
Mikhail Gudim's user avatar
3 votes
0 answers
264 views

How do I determine the smallest dimension of an irreducible $\mathbb{F}_p[G]$-module with a prescribed trivial fixed point space?

This is a crosspost from MSE since I haven't found an answer there yet. I am not very familiar with modular representation theory or Brauer theory yet, however lately I have needed to use $\mathbb{F}...
Alexander Gruber's user avatar
19 votes
2 answers
2k views

Dual versions of "folding" symmetric ADE Dynkin diagrams?

Start with the Dynkin diagram of an irreducible root system, typically associated with a simple Lie algebra over $\mathbb{C}$ or a simple algebraic group. Most of the simply-laced ADE diagrams ...
Jim Humphreys's user avatar
4 votes
1 answer
686 views

Character theory of $2$-Frobenius groups.

This is a crosspost of my (slightly longer) question on MSE since I'm not getting any responses there. Definition. Let $G$ be a finite group and $F_1=\text{Fit}\,G$ and $F_2/F=\text{Fit}\left(G/...
Alexander Gruber's user avatar
5 votes
1 answer
695 views

Convex PBW bases

Given a reduced expression for the longest word $w_0$ in the Weyl group of $\mathfrak{g}=\mathfrak{n}^+\oplus\mathfrak{h}\oplus{n}^-$, one obtains a convex ordering on the set of positive roots, $\...
David Hill's user avatar
  • 1,472
33 votes
2 answers
2k 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$. ...
Matthew Pressland's user avatar
12 votes
1 answer
1k views

Smallest dimension of nontrivial representation of a simple Lie algebra over `$\mathbb{C}$`

The question involved here is natural and very classical, but I'm unsure what has been formally stated and proved in the literature. The only approach I know involves assembling facts that apparently ...
Jim Humphreys's user avatar
31 votes
1 answer
5k views

Modern proof of Serre's open image theorem?

Let $E$ be an elliptic curve defined over a number field $K$ without complex multiplication. Serre's open image theorem (which appears in his book 'Abelian $l$-Adic Representations and Elliptic Curves'...
Adam Harris's user avatar
  • 1,905
5 votes
3 answers
330 views

reference for list of left-regular representations of real associative algebras

Suppose $\mathcal{A}$ is a unital associative algebra over $\mathbb{R}$. If we identify $\mathcal{A} = \mathbb{R}^n$ then the $\mathcal{A}$ multiplication corresponds to particular linear maps on $\...
James S. Cook's user avatar
5 votes
2 answers
923 views

Status of a conjectural definition of H. Nakajima

In his paper '$t$-analogue of $q$-characters of finite dimensional representations of quantum affine algebras' - http://arxiv.org/abs/math/0009231 - H. Nakajima states a conjectural definition of the $...
George Melvin's user avatar
10 votes
1 answer
648 views

The Fukaya category of a simple singularity (reference request)

I have heard that for an ADE singularity $f$, $ D^b\mathrm{Fuk}(f) \simeq D^b(\mathrm{Rep}\ Q)$ where $Q$ is the corresponding Dynkin quiver. (As one would hope, if $\mathrm{Fuk}$ is some kind of ...
Alex Collins's user avatar
5 votes
1 answer
421 views

Rational automorphisms of semisimple algebraic groups

Suppose $G$ is a semisimple algebraic group defined over a field $k$. Let $\mathrm{Aut}(G)$ and $\mathrm{Inn}(G)$ denote the groups of automorphisms and inner automorphisms (respectively) of $G$. ...
Jeff Adler's user avatar
4 votes
0 answers
386 views

Reference request for character formula between tensor products of Weyl modules.

So it is well known that when you tensor together two induced modules for an algebraic group $\nabla(\lambda) \otimes \nabla(\mu)$ that the result has a filtration by other induced modules, (I.e. it ...
A Parker's user avatar
8 votes
1 answer
468 views

Explicit method to compute Macdonald/Koornwinder functions

I'd like to compute explicitly symmetric Macdonald functions associated to arbitrary (possibly non-reduced) root systems, using Computer Algebra System. Unfortunately Sage seems to only implement ...
Yuji Tachikawa's user avatar
11 votes
1 answer
397 views

Is there a Dedekind-Frobenius group determinant for infinite groups?

If $G$ is a finite group and $\lbrace x_{g} \rbrace_{g\in G}$ are commuting formal variables, then one can form a matrix whose $(g,h)$ entry is $x_{gh^{-1}}$. The determinant of this matrix is a ...
Jon Bannon's user avatar
  • 7,067
4 votes
2 answers
505 views

comprehensive presentation of the unitary dual of $SO_0(n,1)$

The unitary dual (unitary irreducible represenations) is determined for every connected noncompact semisimple Lie group of real rank one. I would like to have a reference for the particular case $SO_0(...
emiliocba's user avatar
  • 2,446
7 votes
1 answer
1k views

Are irreducible representations subrepresentations of a symmetric power representation?

First of all I am far from being an expert in representation theory, so it is possible (likely) that the following question is trivial (in fact a trivial reference question): Let $\Gamma$ be a, let's ...
Spinorbundle's user avatar
  • 1,939
16 votes
2 answers
992 views

Maximal number of maximal subgroups

Let $G$ be a finite group. I want to find an upper bound on the number of the maximal subgroups. My questions is does it possible to prove that the number of maximal subgroups of any finite group $G$ ...
Klim Efremenko's user avatar
26 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 ...
Jim Humphreys's user avatar
4 votes
0 answers
323 views

The proof of the splitting principle in equivariant K-theory via flag manifolds

In Atiyah's famous paper "Bott periodicity and the index of elliptic operators" section 4, he proved the splitting principle for unitary groups (Propostion 4.9 in that paper), namely: Let $j: T\...
Zhaoting Wei's user avatar
  • 9,019
1 vote
1 answer
666 views

Conjugacy classes in Aut(G)

Let $G$ be a connected, simply-connected simple group over $\mathbb{C}$. The structure/classification of conjugacy classes of $G$ is described in many places. Now, I'd like to know the structure/...
Yuji Tachikawa's user avatar
6 votes
0 answers
168 views

Classifying algebras with two idempotent generators and involution

Say that a finite-dimensional algebra $H$ over a field $K$ is dihedral if $H$ is generated by idempotents $P_1$ and $P_2$ and there is an algebra involution interchanging $P_1$ and $P_2$. For example,...
Jonah Blasiak's user avatar
6 votes
1 answer
2k views

A request for suggestions of advanced topics in representation theory

Please Note: The main points of the question below are in bold in order to minimize the time required to read the question. Let me begin by stating that I understand representation theory is a vast ...
15 votes
1 answer
954 views

Funktorialität in der Theorie der automorphen Formen

In 2010 Langlands wrote an article with the title Funktorialität in der Theorie der automorphen Formen: Ihre Entdeckung und ihre Ziele. On the IAS website, he says that This note ... was written ...
Chandan Singh Dalawat's user avatar
12 votes
2 answers
541 views

S-matrix for the HOMFLY/Hecke category

This question concerns the HOMFLY-PT category, closely related to Hecke algebras. (See here for example.) The minimal idempotents of this category are indexed by pairs $(\lambda_+, \lambda_-)$ of ...
Kevin Walker's user avatar
  • 12.8k
6 votes
0 answers
202 views

S-matrix for the BMW category

This question concerns the Birman-Murakami-Wenzl category, or equivalently the tangle category associated to the 2-variable Kauffman polynomial. (See here for example.) The minimal idempotents of ...
Kevin Walker's user avatar
  • 12.8k
2 votes
4 answers
886 views

A reference book for Schur's lemma

We want to find the reference book for some version of the Schur's lemma which covers the following result Let $A$ be an assoiative algebra over $\mathbb{C}$ with countable basis, then any central ...
r_l's user avatar
  • 75
4 votes
5 answers
2k views

searching for text for studying representation theory

I'm a graduate student studying algebraic geometry. Recently, When I studying Hodge theory, I saw sl2-representation is used in Hodge theory. So I think that studying representation theory may be ...
2 votes
1 answer
213 views

Positive definite functions on G from Hilbert space vectors?

Let $G$ be a countable discrete group. Given a vector $\xi \in l^{2}(G)$, is there any way to naturally construct a positive definite function on $G$ using $\xi$? This question is rather vague and ...
2 votes
1 answer
736 views

Schur Weyl duality for sl_n representations

Consider a finite dimensional vector space $V$ and the general linear group $GL(V)$ acting on it. Both $GL(V)$ and the symmetric group $S_d$ act on the tensor product of $d$ copies of $V$, and by Weyl ...
George's user avatar
  • 596
11 votes
4 answers
2k views

Textbook source for finite group properties deducible from character table?

Various questions have been posted on MO (some answered, some not) involving the character table of a finite group $G$ over a splitting field such as $\mathbb{C}$ of characteristic 0. My basic ...
Jim Humphreys's user avatar
5 votes
0 answers
227 views

Is there a brief name for the symmetric space $SL_{2n} / Sp_{2n}$?

Let $V$ be a complex vector space of even dimension. Then the homogeneous space $SL_{2n}(V) / SP_{2n}(V)$ is known to parametrize the space of non-degenerate skew-symmetric bilinear forms on $V$. (1)...
10 votes
3 answers
1k views

Subgroups of GL_2 over a finite field

I've come across the phrase "by the classification of subgroups of $GL_2(F_q)$" in multiple papers, but never with a reference. Here $F_q$ is a finite field of size $q$. Does anyone know a good ...
green jeans's user avatar
2 votes
1 answer
632 views

Pseudo coefficients and orbital integrals

I am looking for a reference/idea, how this passage from Labesse's Snowbird Lecture "Introduction to endoscopy" pg.5 can be explained: "We shall denote by $f_\pi$ a pseudo-coefficient for $\pi$, ...
Marc Palm's user avatar
  • 11.2k
8 votes
0 answers
388 views

Reference Request - Spaces of Smooth Vectors

I was recently looking for examples of non-nuclear spaces of smooth vectors of representations of Lie groups. I'll recall the basic definitions. Let $\pi$ be a unitary irreducible representation of a ...
shamovic's user avatar
  • 431
6 votes
2 answers
856 views

Algorithm for Brauer lifting via Brauer tree?

Background: Given a finite group $G$ and a prime $p$ dividing its order, Brauer theory compares the ordinary characters of $G$ with the Brauer characters arising from $p$-modular representations. On ...
Jim Humphreys's user avatar
10 votes
2 answers
655 views

Has there been any application of tensor species?

Joyal's combinatorial species, endofunctors in the category of finite sets with bijections $\mathbf B$ have found numerous applications. One generalisation is given by so-called "tensor species" (...
Martin Rubey's user avatar
  • 5,822
4 votes
1 answer
565 views

Connection between Deligne-Mostow monodromy and Gassner representation at roots of unity of the pure braid group

I am looking for a specific reference to the connection between [1] the Deligne-Mostow monodromy and [2] Gassner representation at roots of unity of the pure braid group. I have seen many references ...
Venkataramana's user avatar
2 votes
0 answers
109 views

Reference for a dual version of the Cauchy decomposition.

By "Cauchy decomposition" I mean the following identity, both sides in which are representations of $GL_n(\mathbb C)\times GL_m(\mathbb C)$: $$\mathrm{Sym}^p(V\otimes W)=\bigoplus_{\lambda\vdash p} V^\...
Igor Makhlin's user avatar
  • 3,513