Questions tagged [rt.representation-theory]
Linear representations of algebras and groups, Lie theory, associative algebras, multilinear algebra.
2,406
questions with no upvoted or accepted answers
9
votes
0
answers
242
views
Homology of an interesting Lie algebra
Let $U$ and $V$ be finite dimensional complex vector spaces (or perhaps graded vector spaces).
Let $E(U)$ be the "square zero extension" $\mathbb C \oplus U$, made into a commutative ring in such a ...
9
votes
0
answers
132
views
Is there a reason nice coset representatives exist for Leech or E_8 lattice modulo 2?
Let $\Lambda$ be the Leech lattice. There is a nice set of coset representatives for $\Lambda/2 \Lambda$ given by short vectors [Conway and Sloane, Ch. 10, Theorem 28 or Ch. 23, Theorem 3]. The proof ...
9
votes
0
answers
187
views
Littlewood-Richardson sequences and Littlewood-Richardson coefficients
I'm looking for a proof or a reference for the following statement, I give the definitions below:
There exists a Littlewood-Richardson sequence of type $(\alpha, \beta, \lambda)$ if and only if $...
9
votes
0
answers
391
views
The proof of Kazhdan's density theorem (And does it hold over positive characteristic?)
When proving identities about traces of functions on representations of $p$-adic groups, Kazhdan's density theorem indicates one only has to check equalities of traces on tempered representations. ...
9
votes
0
answers
388
views
When do almost all these invariants of tensors vanish?
Let $A,B,C,D$ be $n$-dimensional vector spaces over a field $k$.
There is a natural homomorphism from the $mn^m$th tensor power $A^{\otimes (m n^m)} $ of $A$ to $k$ given by the determinant map $A^{\...
9
votes
0
answers
275
views
pattern-avoiding permutations vs multi-core partitions
Let $\mathfrak{S}_n$ be the permutation group on $[n]$. Given the pattern $\sigma=k(k-1)\cdots321$, let $I_n(\sigma)$ be the number of involutions in $\mathfrak{S}_n$ that avoid the pattern $\sigma$. ...
9
votes
0
answers
308
views
How do sutured TQFT fit into the larger TQFT picture?
In https://arxiv.org/abs/0807.2431, Honda--Kazez--Matic introduce a definition of (1+1 dimensional) sutured TQFT; see also e.g. Mathews http://arxiv.org/abs/1006.5433 and Fink https://arxiv.org/abs/...
9
votes
0
answers
654
views
Software for explicit computations in representations of classical Lie algebras
I'm pretty sure many a mathematician has longed for such a tool but I wasn't able to find such a question here, so here we go.
Is there, by any chance, an existing package or program that allows one ...
9
votes
0
answers
404
views
How to show the compatibility between Duflo isomorphism and Harish-Chandra isomorphism for semi-simple Lie algebras?
I was told that the Duflo isomorphism is compatible with the Harish-Chandra isomorphism when the Lie algebra $\mathfrak{g}$ is semi-simple. However I cannot see why this is true. All I can show is ...
9
votes
0
answers
437
views
What's the analogue of a Young symmetrizer in the Brauer algebra?
According to Schur--Weyl duality, the centralizer of $\mathrm{GL}(V)$ acting diagonally on $V^{\otimes N}$ is the group algebra of the symmetric group $\mathbb S_N$. An equivalent formulation is the ...
9
votes
0
answers
251
views
Intersection of Springer fibre and Schubert cell
Let us consider intersections of Springer fibres and Schubert cells in type A.
Let $ Y : \mathbb C^n \rightarrow \mathbb C^n $ be a nilpotent operator. Let
$$
F_Y = \{ V_0 = 0 \subset V_1 \subset \...
9
votes
0
answers
319
views
The space-time dimension of the N-superstring theory?
Let $\mathfrak{W}$ be the Lie algebra generated by $d_{n} = ie^{in\theta}\frac{d}{d\theta}$ and $\mathfrak{Vir} = \mathfrak{W} \oplus C \mathbb{C}$ its central extension:
$$
[L_m,L_n]=(m-n)L_{m+n}+\...
9
votes
0
answers
244
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
0
answers
605
views
Quantum Drinfeld-Sokolov reduction for a module
There is a well-established procedure for quantizing the Drinfeld-Sokolov reduction for an affine Lie algebra. In particular, this paper of de Boer and Tjin describes an algorithm to produce the ...
9
votes
0
answers
515
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
0
answers
383
views
Twisted Springer fibers
In the study of certain moduli spaces of $p$-divisible groups I came across the following twisted version of a Springer fiber, and I was wondering whether some expert on algebraic groups/algebraic ...
9
votes
0
answers
538
views
Status of Borho and Brylinski's irreducibility conjectures?
In Differential Operators on Homogeneous Spaces, III, Section 6.7, Borho and Brylinski make a long series of equivalent conjectures which they show are all equivalent. Perhaps the easiest statement ...
9
votes
0
answers
662
views
Role of nontrivial component groups in Springer Correspondence?
Set-up for classical Springer Correspondence:
$G$ = reductive group (usually assumed to be semisimple of adjoint type) over $\mathbb{C}$, with Borel subgroup and
maximal torus $B \supset T$, Weyl ...
8
votes
0
answers
156
views
An identity for characters of the symmetric group
I am looking for a reference for the identity
$$\chi_\lambda(C)=\frac{\dim(V_\lambda)}{|C|}\sum_{p\in P_\lambda,\,q\in Q_\lambda,\,pq\in C}\operatorname{sgn}(q)$$
for the irreducible characters of the ...
8
votes
0
answers
376
views
Is this set, defined in terms of an irreducible representation, closed under inverses?
$\DeclareMathOperator\GL{GL}$Let $ H $ be an irreducible finite subgroup of $ \GL(n,\mathbb{C}) $. Define $ N^r(H) $ inductively by
$$
N^{r+1}(H)=\{ g \in \GL(n,\mathbb{C}): g H g^{-1} \subset N^r(H) \...
8
votes
0
answers
173
views
Singularity category of a hypersurface associated to $M_{11}$
For reasons to do with classifying spaces of finite groups, I have the following algebra. Let $k$ be a field of characteristic two, and let $R = k[x,y,z]/(x^2 y + z^2)$, as a graded $k$-algebra with $|...
8
votes
0
answers
213
views
Alternate proof in Fulton–Harris of representation theoretic version of Littlewood–Richardson rule
$\DeclareMathOperator\Ind{Ind}$Let $d = d_1 + d_2$ with $d_1$, $d_2$ positive integers. Let $\lambda$ be a partition of $d_1$ and $\mu$ a partition of $d_2$, so that the Young symmetrizer construction ...
8
votes
0
answers
340
views
Interpretation of $p$-adic 'smoothness'
real case: In the very first course of Calculus, one learns that a real function $f \colon \mathbb{R} \to \mathbb{R}$ is called smooth, if it is differentiable as many times as one pleases. So the ...
8
votes
0
answers
405
views
Semigroups of matrices closed under conjugate transposition
An involution semigroup or $\star$-semigroup is a unary semigroup $\langle S,{\cdot}\,,{}^\star\rangle$ that satisfies the equations $$ (x^\star)^\star = x \quad \text{and} \quad (xy)^\star = y^\star ...
8
votes
0
answers
158
views
Is the Lawrence–Krammer representation faithful, reduced modulo p?
It is well-known that the braid group $B_n$ is linear for every $n$ by the Lawrence–Krammer (or LKB) representation. It embeds $B_n$ faithfully into $\mathrm{GL}\left(\frac{n(n-1)}{2},\mathbb{Z}[q^{\...
8
votes
0
answers
342
views
Finite-dimensional representations of quantum $SU(2)$
The most famous of all the quantum groups is $SU_q(2)$ - the Quantum special unitary group. The irreducible comodules of this quantum group are very well understood - they are labelled by integers (or ...
8
votes
0
answers
310
views
Why are these Littlewood-Richardson coefficients congruent to 1 mod 8?
Let $n\in{\mathbb N}$ and write $n=q_1+q_2+\dots+q_t$, where $q_1>q_2>\dots>q_t$ are powers of $2$. Let $\lambda_n$ be the partition with Frobenius symbol $(q_1-1,q_2-1,\dots,q_t-1;q_t,q_{t-1}...
8
votes
0
answers
225
views
Scalar products on symmetric functions behaving like the Macdonald scalar product
The Macdonald symmetric functions (or Macdonald polynomials)
$P_\lambda(x)$ are orthogonal with respect to the Macdonald scalar
product
$$ \langle p_\lambda,p_\mu\rangle =
\delta_{\lambda\mu}z_\...
8
votes
0
answers
222
views
Sum of Littlewood-Richardson coefficients
(Asked first in MSE)
Let $c_{\lambda\mu}^\nu$ be the usual Littlewood-Richardson coefficients, which appear for example in the expansion of a product of Schur polynomials into Schur polynomials,
$$ s_\...
8
votes
0
answers
257
views
A Lie-theoretic question regarding $B\ltimes \mathfrak{g}/\mathfrak{b}$
I am stuck on a seeming elementary Lie-theoretic question arising from a study of components of affine Springer fibers. Will be very grateful if somebody would like to share some insight, or ...
8
votes
0
answers
275
views
Image of multiplication map in tensor powers of finite-dimensional ring
Let $R$ be a (commutative, unital) ring of dimension $n$ over a field $k$. Assume the characteristic of $k$ is greater than $n$.
Then $R^{\otimes n}$ has a natural ring structure, together with an $...
8
votes
0
answers
137
views
Equivariant coherent sheaf category for unipotent group actions
Suppose $U$ is a complex algebraic unipotent group. Let $X$ be a projective variety with a $U$-action. For simplicity, we may assume that there are only finite many $U$ orbits on $X$. The primary ...
8
votes
0
answers
386
views
Formal degree of discrete series representations
Let $G$ be a locally compact unimodular group. A continuous irreducible unitary representation $\pi$ of $G$ is said to be a discrete series if its matrix coefficients (defined by $\xi^\pi_{v,w} : g \...
8
votes
0
answers
353
views
Representation theory of Chevalley groups as a categorical trace
Dennis Gaitsgory's 2016 preprint, From Geometric to Function-Theoretic Langlands (or How to Invent Shtukas) includes in the third section a very compressed but suggestive discussion of the ...
8
votes
0
answers
149
views
Relation between the Laplace eigenvalue of Maass forms and the Virasoro algebra
I attended today a talk of Dorian Goldfeld. In the talk, he mentioned that for a Maass cusp form $\phi$ of $\mathrm{SL}(n, \mathbb{Z})$, with Langlands parameter $\alpha = \left( \alpha_1, \dots, \...
8
votes
0
answers
282
views
Name for an involution associated to a Coxeter element
Let $(W,S)$ be a finite Coxeter system, and $c \in W$ a Coxeter element.
There is an involution $g\in W$ for which the involutive map $w \mapsto gw^{-1}g$ fixes $c$. Is there a standard name for this ...
8
votes
0
answers
240
views
When does a semisimple $\mathbb{C}$-algebra come from a group?
Let $\mathcal{A}$ be a semisimple $\mathbb{C}$-algebra. By the Artin-Wedderburn theorem, it is isomorphic to a direct product of matrix algebras:
$$ \mathcal{A} = \prod_{i=1}^m M_{n_i}(\mathbb{C})$$
...
8
votes
0
answers
201
views
references on categorification of knot invariants
I am extremely sorry if this is not the right place for this kind of question.
I have studied some knot theory, quantum invariants and would like to study more about categorification of knot ...
8
votes
0
answers
319
views
Dyck paths of Dynkin type
(The conjecture is a homological algebra question, but question 2 is a pure combinatorics question given that the conjecture is true)
A Dyck path of length $n$ is a list of positive integers $[c_1,c_2,...
8
votes
0
answers
185
views
Generalized Young symmetrizers, why not?
For $n$ a positive integer, let $[n]=\{1,2,\ldots,n\}$. Consider two set partitions $\mathcal{A}=\{A_1,\ldots,A_p\}$ and $\mathcal{B}=\{B_1,\ldots,B_q\}$ of the set $[n]$.
We will denote by $G(\...
8
votes
0
answers
233
views
Computing the number of elementary abelian p-subgroups of rank 2 in $GL_{n}(\mathbb{F}_{p})$
Let $p$ be a prime number, and let $\mathbb{F}_{p}$ be a finite
field of order $p$. Let $GL_{n}(\mathbb{F}_{p})$ denote the general linear
group and $U_{n}$ denote the unitriangular group of $n\times ...
8
votes
0
answers
189
views
Two algebraic guises of Alternating Sign Matrices: any connection?
Alternating Sign Matrices (ASMs) have a famous history: they were discovered by Mills, Robbins, and Rumsey, who conjectured a product formula for their enumeration; this product formula was first ...
8
votes
0
answers
209
views
Non-algebraic representations of $\text{SL}_n(\mathbb{R})$
My question is easily stated: are all continuous finite-dimensional real representations of $\text{SL}_n(\mathbb{R})$ algebraic representations?
This is false if you drop the word "continuous" (e.g. ...
8
votes
0
answers
186
views
Non-zero group determinant for symmetric group
Let $G$ be a finite group. Given complex numbers $x=\{x_g: g\in G\}$, one can define a $|G|\times |G|$ matrix $X$, with entries $X_{g,h} = x_{gh^{-1}}$.
Let's consider $G$ being the symmetric group $...
8
votes
0
answers
276
views
Are the braid groups good in the sense of Toën?
In this question it is asked whether the mapping class groups are 'good' in relation to pro-finite completion. Helpfully, one of the answers gives a link to a proof that the braid groups are good ...
8
votes
0
answers
486
views
What are the character tables of the finite unitary groups?
I need to know the (complex) character table of the finite unitary group $U_n(q)$. Lusztig and Srinivasan (1977) provide an abstract description, but parsing it requires a stronger background in ...
8
votes
0
answers
368
views
Significance of half sum of non-simple positive roots
In representation theory, there are plenty of places that a $\rho$-shift makes an appearance, where $\rho$ is the half sum of positive roots. See, for instance, this post for some discussions of the ...
8
votes
0
answers
385
views
Which representations of the Lie algebra of a Lie group come from representations of the group itself?
I think this is very classic mathematics, but I can't find a complete answer in the literature.
Let $G$ be a Lie group, $\mathfrak{g}$ the Lie algebra of $\mathfrak{g}$. Suppose $\rho : \mathfrak{g} \...
8
votes
0
answers
139
views
$n$-fold tensor products of $D(A)$ for finite dimensional algebras
Let $A$ be a finite dimensional quiver algebra over a field $K$ and let $D(-):=Hom_K(-,K)$ denote the natural duality (assume algebras are connected).
Define $\psi_A:=sup \{ n \geq 1 | D(A)^{\otimes ...
8
votes
0
answers
158
views
On constructible Hall algebra and instantons
I heard in a talk by Yan Soibelman that by starting with a quiver $Q$ with a set of vertices $I$ we can either symmetrize or anti-symmetrize its Euler-Ringel form $\chi_Q$. He claims that anti-...