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

learn more… | top users | synonyms (1)

23
votes
0answers
381 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 ...
20
votes
0answers
564 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 ...
18
votes
0answers
677 views

local equivalence of loop group representations

Let $G$ be a compact, simple, connected, simply connected (cscsc) Lie group, and let its smooth loop group $LG:=C^\infty(S^1,G)$. Given an interval $I\subset S^1$, we have the local loop group $$ L_IG ...
17
votes
0answers
453 views

Cauchy matrices with elementary symmetric polynomials

$\newcommand{\vx}{\mathbf{x}}$ Let $e_k(\vx)$ denote the elementary symmetric polynomial, defined for $k=0,1,\ldots,n$ over a vector $\vx=(x_1,\ldots,x_n)$ by \begin{equation*} e_k(\vx) := \sum_{1 ...
16
votes
0answers
348 views

Applications of the surjectivity of Brauer's decomposition map over arbitrary fields?

Recently I've been going over some of Serre's reformulation of Brauer theory with a student, following the influential treatment in Part III of Serre's lectures (revised 1971 French edition) later ...
15
votes
0answers
372 views

Combinatorics of Quantum Schubert Polynomials

Let $S_n$ be the symmetric group. Let $s_i$ denote the adjacent transposition $(i \ i+1)$. For any permutation $w\in S_n$, an expression $w=s_{i_1}s_{i_2}\cdots s_{i_p}$ of minimal possible length is ...
15
votes
0answers
279 views

Quasi-classical limit of representation theory

I am looking for a good reference on a general phenomenon of quasi-classical limit in representation theory, which relates "large" representations to measures on (co-adjoint orbits of) the associated ...
15
votes
0answers
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 ...
15
votes
0answers
400 views

Division fields of abelian varieties over function fields

Let $k$ be a finitely generated field (for example a finite field or a number field) and $K/k$ a finitely generated regular extension with $trdeg(K/k)=1$. Let $A/K$ be a principally polarized abelian ...
13
votes
0answers
465 views

Comparing the Kazhdan-Lusztig and Steinberg pre-orders

Both Kazhdan-Lusztig and Steinberg have defined pairs of preorders on $S_n$. Kazhdan and Lusztig's preorders come from their basis: We write $x\leq_L y$ if any left ideal spanned by K-L basis ...
13
votes
0answers
457 views

Noether-Deuring for injections and surjections?

Noether-Deuring theorem (not in the strongest form, but in the one I usually need): Let $L\diagup K$ be a field extension. Let $A$ be a $K$-algebra which is finite-dimensional as a vector space over ...
13
votes
0answers
630 views

representation theoretic interpretation of Jack polynomials

Monomial symmetric polynomials on $n$ variables $x_1, \ldots x_n$ form a natural basis of the space $\mathcal{S}_n$ of symmetric polynomials on $n$ variables and are defined by additive symmetrization ...
12
votes
0answers
235 views

Which p-adic algebraic groups are type I?

It was proved by Jacques Dixmier (Sur les représentations unitaires des groupes de Lie algébriques, Annales de l'institut Fourier, 7 (1957), p. 315-328, doi: 10.5802/aif.73, MR 20 #5820 , Zbl ...
12
votes
0answers
239 views

Hyperbolic polynomials and group representations

Recall that a homogeneous polynomial $P\in{\mathbb R}[X_1,\ldots,X_d]$ of degree $n$ is hyperbolic in the direction of a vector $V\ne0$ if for every vector $W$, the univariate polynomial $t\mapsto ...
12
votes
0answers
288 views

Nilpotent pro-$p$ groups

Is it true that every finitely generated (topologically) torsion free nilpotent pro-$p$ group is isomorphic to a subgroup of $U_d(\mathbb{Z}_p)$, the group of $d\times d$-upper triangular matrices ...
12
votes
0answers
202 views

Is there a common framework for Tannaka and Gabriel-Ulmer reconstruction theorems?

Gabriel-Ulmer duality is a biequivalence between the 2-category of finite limit categories and the 2-category of locally finitely presentable categories. It allows for the reconstruction of a theory ...
12
votes
0answers
556 views

What can be said about Schur indices, given only the character table?

Let $\chi$ be an irreducible (complex) character of a finite group, $G$. The Schur index $m_{K}(\chi)$ of $\chi$ over the field $K$ is the smallest positive integer $m$ such that $m\chi$ is afforded ...
12
votes
0answers
704 views

Diagonalizing some matrices arising from Fourier transform on $S_n$.

Consider the function $f$ on $S_n$ which equals $1/n$ on all adjacent transpositions $(i,i+1)$, where we let $n+1 = 1$, and $0$ otherwise, and its Fourier transform $\hat{f}(\rho)$ evaluated at the ...
12
votes
0answers
423 views

Where do stable Kronecker coefficients live “in nature”?

Background: For a partition $\lambda$, let $\lambda[N] = (N - |\lambda|, \lambda_1, \lambda_2, \lambda_3, \dots)$, also let $\chi_\lambda$ be the corresponding irreducible character of the symmetric ...
11
votes
0answers
379 views

Source of a formula for tensor product multiplicities?

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other ...
11
votes
0answers
540 views

Capelli determinant = Duflo ( determinant) - was it known ?

Question briefly. Was this fact known: Capelli determinant = Duflo (determinant) ? (This is an equality of the two central elements in universal enveloping of Lie algebra $gl_n$). I googled a lot ...
11
votes
0answers
501 views

Given an algebra, can it be realized as a block of a Hopf algebra?

During a classification problem I came across a set of algebras given as the path algebra of a quiver with relations. As an example the local ones: $k\langle x,y\rangle/x^2,y^2, xy-qyx$, where $q\in ...
11
votes
0answers
355 views

When does a representation admit a spin structure?

Let $G$ be a finite group, and let $V$ be an $n$-dimensional real representation of $G$. Think of $V$ as given by a homomorphism $$ \rho_V\colon G\to O(n).$$ Write $\chi_V$ for the character of $V$. ...
11
votes
0answers
444 views

Are the extra vertices in Nakajima's doubling of a quiver related to Langlands duality?

To define a Nakajima quiver variety associated to a quiver $Q = (Q_0,Q_1)$ (vertices and arrows), one first doubles it to $Q^\heartsuit$ by attaching an extra vertex to every old vertex in $Q_0$. Then ...
11
votes
0answers
296 views

Is there a notion of tensor product of perfect bases of representations of Lie algebras?

Berenstein and Kazhdan define perfect bases as an "unquantized" version of crystal bases. A perfect basis is roughly a basis with a crystal structure such that $E_i\cdot v=\mathbb{C}\cdot ...
10
votes
0answers
186 views

Derivation of Blattner's conjecture in the Beilinson-Bernstein picture

On the last page of Schmid's article "Discrete Series", he says "In the Beilinson-Bernstein picture, discrete series modules are attached to closed $K$-orbits in $X$... the $K_{\mathbb R}$-structure ...
10
votes
0answers
347 views

A question about multiplication in $G(\mathbb{C}((t)))$ and Affine Grassmannians

I am sorry to give a bounty to such a crappy question but an answer would help me a lot. I am stuck with the following simple (i guess but) technical problem. Let $G$ be a complex reductive ...
10
votes
0answers
514 views

Definition of a uniformly bounded dual of a group

The unitary dual of a group $G$ is the set of equivalence classes of irreducible unitary representations of $G$ with the Fell topology. (This topology is defined using convergence of positive definite ...
10
votes
0answers
320 views

Group rings isomorphic over F_p, but not over Z_p ?

Suppose given a prime $p$. Question: Do there exist finite groups $G$ and $H$ such that ${\bf F}_p G$ is isomorphic to ${\bf F}_p H$, but such that ${\bf Z}_p G$ is not isomorphic to ${\bf Z}_p H$ ? ...
10
votes
0answers
368 views

The derived category of integral representations of a Dynkin quiver.

Let $Q$ be a Dynkin quiver. Let $\mathbb CQ$ be its complex path algebra. It is defined in a way such that modules over $\mathbb CQ$ are the same as representations of the quiver $Q$. Let's write ...
10
votes
0answers
270 views

Can we find arbitrarily many elements of SU(2) generating a good copy of MAX($\ell_1^n$) inside VN(SU(2))?

In trying to prove that the answer to the title is "no", I was led to the following problem (which I think is equivalent to the question asked in the title, but can be stated independently). If ...
10
votes
0answers
500 views

Class groups in dihedral extensions - some sort of Spiegelungssatz?

Let $p$ be an odd prime and let $F/\mathbb{Q}$ be a Galois extension with Galois group $D_{2p}$, let $K$ be the intermediate quadratic extension of $\mathbb{Q}$, and $L$ an intermediate degree $p$ ...
10
votes
0answers
447 views

Should the Dynkin diagrams of types $A_1$ and $B_2$ be labelled $C_1$ and $C_2$?

The labels $A$--$G$ attached to connected Dynkin diagrams are of course arbitrary, the result of historical accidents. In order to avoid repetitions, the four infinite families $A_\ell, B_\ell, ...
10
votes
0answers
492 views

Combinatorial identity involving the Coxeter numbers of root systems

The setup is: $R$ = irreducible (reduced) root system; $D$ = connected Dynkin diagram of $R$, with nodes numbered $1,2,...,r$; $\hat D$ = extended Dynkin diagram, nodes numbered $0,1,2,...,r$; ...
10
votes
0answers
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 ...
9
votes
0answers
121 views

Irreducible representations of Weyl group of F$_4$ on zero weight spaces?

This is a follow-up to a recent question here concerning the natural representation of a Weyl group $W$ on the zero weight space of an irreducible representation $L(\lambda)$ of highest weight ...
9
votes
0answers
329 views

What's the status of Arthur's announced classification for GSp(4)?

In "Automorphic representations of GSp(4)" (2004) (see http://www.math.toronto.edu/arthur/), James Arthur announces a classification of discrete automorphic representations of GSp(4). There are no ...
9
votes
0answers
177 views

The Markov trace via Bott-Samelson fibers?

Let $H_n$ be the Hecke algebra of GL(n), i.e., the algebra over $\mathbb{Q}(q)$ with generators $T_1, \ldots, T_{n-1}$ which satisfy the braid relations and also $T^2 = (q-1) T + q$. Recall the ...
9
votes
0answers
179 views

Degree of a cone over the set of rank $r$ $n\times n$ matrices

Let $X_r\subset Mat_{n\times n}(C)$ denote the variety of rank at most $r$ matrices, set $k=n-r$ and assume $n\geq k^2-1$. Consider the cone over $X_r$ with vertex spanned by the first $k^2-1$ entries ...
9
votes
0answers
287 views

Duality in category O vs. Duality of D-modules

Hello, I omit in the following all the words "derived, twisted, holonomic, finitely-generated...". We have the Bernstein-Beilinson equivalence between the category of $N$-equivariant $D$-modules on ...
9
votes
0answers
468 views

Why is this vector space related to modular forms?

In the course of doing some calculations on a project I am working on, I came across the following presentation of a vector space. It is generated by homogenous polynomials of even degree $n$ over a ...
9
votes
0answers
453 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 ...
9
votes
0answers
207 views

distribution of Young diagrams

Consider $\Lambda^p(C^n\otimes C^n)=\oplus_{\pi}S_{\pi}C^n\otimes S_{\pi'}C^n$ as a $GL_n\times GL_n$-module. This space has dimension $\binom {n^2}p$. I would like any information on the shapes of ...
9
votes
0answers
335 views

canonical basis via Gelfand-Tsetlin basis

Do there exist explicit formulas for the action of Lusztig's canonical basis of $U_q(\mathfrak n_+)$ in the Gelfand-Tsetlin basis of a Verma module for $sl(n)$?
9
votes
0answers
227 views

What do Multilinear Forms tell us about Representations?

The last few days I have been calculating whether certain group representations are real, complex, or quaternionic. It is well-known that the type of the representation corresponds to what type of ...
9
votes
0answers
237 views

Does a symplectic group act on tensor power of spin representation?

More specifically, let $S_k$ be the spin representation of $\mathrm{Spin}(2k+1)$. Then is there are action of $\mathrm{Sp}(2r-2)$ on $\otimes^{2r}S_k$ which commutes with the action of ...
9
votes
0answers
447 views

An analogue of Deligne-Lusztig theory for positive depth representations?

Deligne-Lusztig theory is an important tool in understanding the depth zero representations of $p$-adic groups. Is there an analogue of Deligne-Lusztig theory that helps in understanding positive ...
8
votes
0answers
156 views

Sum over growing Young tableaux

Let $\lambda_0,\lambda_1,\lambda_2,\lambda_3,\ldots$ be a sequence of Young diagrams, such that each successive diagram is obtained from the prior by the addition of one box (don't forget that the row ...
8
votes
0answers
145 views

Representations of orthogonal groups vs representations of reflection groups

Let $V$ be a finite dimensional inner product space and $O(V)$ the orthogonal group of $V$. Let $G$ be a (say, finite) reflection group on $V$, regarded as a subgroup of $O(V)$ ($G< O(V)$.) Let us ...
8
votes
0answers
114 views

Algebraic construction of the modular representation of $\mathrm{SL}_2(\hat{\mathbf Z})$

The answer to this question is probably to be found in the theory of automorphic forms, but (I don't know much about it and consequently) after some tries, I did not catch it. Thus I'd be grateful if ...