**9**

votes

**1**answer

436 views

### Number of standard Young tableaux with fixed corner entry

For a partition $\lambda=(\lambda_1\geq \lambda_2\geq\ldots\geq \lambda_k)$ of $n$, let the set of standard Young tableau of shape $\lambda$ be denoted by $SYT(\lambda)$ with boxes at $(i,j)$ denoted ...

**3**

votes

**0**answers

66 views

### Symmetric power of an algebra

Given an algebra $A$ over $k$ with characteristic zero and a positive integer $n$, the subspace of $A^{\otimes n}$ consisting of all tensors invariant under the action of all permutations ...

**12**

votes

**1**answer

340 views

### When are Jones-Wenzl projectors defined?

(I am hoping that someone well-versed in the literature of Temperley-Lieb algebras or of quantum groups at roots of unity can answer my question. Fingers crossed.)
Consider the Temperley-Lieb algebra ...

**6**

votes

**1**answer

624 views

### Is the Duflo polynomial conjecture open?

Let $G/K$ be a symmetric space. Let
$\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$ be a Cartan decomposition,
with the odd part $\mathfrak{p}$. It is well known that the algebra of invariant
...

**1**

vote

**1**answer

140 views

### Name for class of matrix determinants

Let $M$ be an $n\times n$ matrix that's constructed as follows. Construct the right-most column of $M$ as $[\alpha_1(x_1),\cdots,\alpha_n(x_n)]^T$ for some class of fixed functions $\alpha_i(x)$. Now, ...

**6**

votes

**4**answers

590 views

### A question on non-archimedian Fourier transform

Let $M(n)$ be the vector space of $n\times n$ matrices over a local non-archimedian field $K$.
Let $\mathcal S$ denote the space of locally constant compactly supported functions
on $M(n)$. Similarly, ...

**1**

vote

**2**answers

98 views

### When is the induced representation factored through the initial one?

Let $H$ be an open subgroup in a locally compact group $G$, $\iota:H\to G$ the embedding of $H$ into $G$, $\pi:H\to B(X)$ a unitary representation of $H$ in a Hilbert space $X$, and $\rho:G\to B(Y)$ ...

**5**

votes

**0**answers

356 views

### A function canonically associated to an irreducible representation in L^2(M) for a Riemannian G-manifold M. Who has seen it?

The following is my first question here on mathoverflow.
Let $M$ be a closed connected Riemannian manifold with an isometric effective action of a compact connected Lie group $G$. Consider the ...

**5**

votes

**0**answers

174 views

### Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course.
Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...

**2**

votes

**0**answers

95 views

### quasi-split algebraic group [migrated]

While reading papers, there usually an assumption "quasi-split" for reductive algebraic groups. To use their results I need to know which groups are quasi-split. For the case I am interested in ...

**3**

votes

**0**answers

180 views

### Reference request: Beilinson-Bernstein for finite-dimensional reps and category O

I think I’ve once been told that under the Beilinson-Bernstein correspondence, finite-dimensional representations of a semisimple Lie algebra $\mathfrak{g}$ correspond to (twisted) D-modules on $G/B$ ...

**2**

votes

**1**answer

62 views

### Pivotal functors of that are substantially different from finite group homomorphisms

Fusion categories can be seen as generalisations of the representation category of finite groups. I'm interested in spherical fusion categories. I'm trying to find "interesting" functors from a ...

**-1**

votes

**0**answers

58 views

### Confusion about the projected component in an irreducible space in the tensor product decomposition using Littlewood-Richardson?

The regular representation of the symmetric group can be formulated in terms of an abstract tensor, where the action of the symmetric group elements is by means of permuting the indices. Given an ...

**9**

votes

**3**answers

279 views

### Maximal compact subgroup of p-adic lie groups

Let $k$ be a number field and $S$ be a finite set of places of $k$.
Let $G$ be a connected semisimple algebraic group over $k$.
Let $k_S=\prod_{v\in S}k_v$
where $k_v$ is the completion of $k$ at $v$. ...

**1**

vote

**0**answers

96 views

### Ext Quivers and their applications to Representation Theory

I am looking for references that provide an overview of the following two topics (it can be multiple references if necessary):
How to compute the Ext-quiver of a (locally finite or finite) ...

**2**

votes

**1**answer

147 views

### When are induction and coinduction of representations of Lie groups isomorphic? When they are compact? Semisimple?

This is in a sense a follow up on the popular question Induction and Coinduction of Representations, where this particular question is one of several points, and it is neglected.
It seems that the ...

**2**

votes

**2**answers

159 views

### Jordan-Holder vs Harder-Narasimhan

Let $M$ be a module over an algebra or a group. I am interested the following decreasing filtration:
$F^0M=M$;
$F^iM$ is the smallest sub-module of $F^{i-1}M$ such that the quotient is ...

**5**

votes

**1**answer

218 views

### Proving that the Jones polynomial is q-holonomic

The Jones polynomial is known to have many different interpretations or definitions, by now. There are connections with QFT, quantum groups, Hilbert schemes, Cherednik algebras, etc.
My question is ...

**2**

votes

**0**answers

45 views

### Are Zariski-dense representations of a cocompact complex hyperbolic lattice non-obstructed?

Question
Suppose that $\Gamma < \text{SU}(n,1)$ is a cocompact lattice, and let $\rho \colon \Gamma \to G$ be a representation to a non-compact simple Lie group (most interesting case for me: $G = ...

**6**

votes

**1**answer

229 views

### An inequality on representations and subgroups of general linear groups over finite field

Let $q$ be a power of $p$, let $l$ be a prime different from $p$, and let $H_1$ and $H_2$ be two subgroups of $GL_n(\mathbb F_q)$ that are $l$-groups.
If for all characteristic $0$ representations ...

**0**

votes

**2**answers

855 views

### On a technical fact used in the proof of density of smooth vectors in a representation

My question concerns a fact used in Knapp's Representation Theory of Semisimple Groups implicitly in the proof of Lemma 3.13, which is crucial for the proof of density of smooth vectors in a ...

**6**

votes

**1**answer

162 views

### Higman's Criterion

Higman's Criterion is a fundamental result in the representation theory of a finite group $G$ over a field $k$ of characteristic $p>0$. One version is the following (I hope the notation is standard ...

**3**

votes

**1**answer

97 views

### A canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$ (references)

According to several articles I could find, a canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$, where $r \geq 2$.
I don't know how to obtain this ...

**10**

votes

**2**answers

824 views

### Why are $S$-arithmetic groups interesting?

Let $K$ be a number field and $S$ a finite set of valuations of $K$, including $\infty$.
Define the $S$-numbers $K_S$ to be the direct product $\prod_{s \in S} K_s$ where $K_s$ denotes the completion ...

**13**

votes

**3**answers

625 views

### Moments of the trace of orthogonal matrices

Let $O_n$ be the (real) orthogonal group of $n$ by $n$ matrices.
I am interested in the following sequence which showed up in a calculation I was doing
$$a_k = \int_{O_n} (\text{Tr } X)^k dX$$
where ...

**2**

votes

**0**answers

144 views

### Highest weight spaces in arbitrary representations?

An isotypic (maybe reducible) representation V of GL(V) may be represented by its highest weight subspace HW(V). We have dim HW(V) equal to the multiplicity of the irreducible representation inside V ...

**3**

votes

**1**answer

423 views

### Special automorphisms of extraspecial groups

Let $G$ be an extraspecial group of order $p^{2r+1}$ (where $p$ is an odd prime), and let $V$ be a faithful representation of $G$. Consider the normal subgroup $H$ of $Aut(G)$ consisting of all ...

**8**

votes

**2**answers

269 views

### Sums of degrees of irreducible complex characters

The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant to determine the dimension of a maximal torus of the Lie algebra associated to ...

**0**

votes

**0**answers

92 views

### Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and every ...

**3**

votes

**0**answers

56 views

### How well is the classification of low-dimensional semisimple Hopf superalgebras (or braided Hopf algebras) understood?

As far as I know, low-dimensional semisimple Hopf algebras are classified (along with non-semisimple ones) up to dimension 60, with the first example of a semisimple Hopf algebra not coming from a ...

**0**

votes

**0**answers

41 views

### Is the projector to irreducible tensor modules of SO(N) known?

To project a generic tensor to an irreducible module of SO(N) one has to (anti)symmetrize the indices and then subtract traces, e.g. for symmetric traceless 2-tensors
$$
\frac{1}{2} (\delta_{I_1 J_1} ...

**30**

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

**2**

votes

**1**answer

156 views

### A Zero-Multiplicity Problem Related to Foulkes' Conjecture

I'm a combinatorialist that is interested in estimating multiplicities of irreps of $1^{S_{kn}}_{S_k \wr S_n}$ (the action of symmetric group on uniform partitions). I'm aware of the difficulty (or ...

**2**

votes

**1**answer

120 views

### Weight multiplicities for some particular representations of SO(2m).

I am looking for explicit formulas for the weight multiplicities of some particular irreducible representations of $SO(2m)$.
It is possible that they have been already computed; in this case I will ...

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

**2**

votes

**0**answers

84 views

### Is every irreducible unitary class one representation induced?

Let $G$ be a connected semi simple Lie group with finite center.
Fix a maximal compact subgroup $K$.
An irreducible representation $(\pi,V)$ of $G$ is called a "class-one representation", if it ...

**13**

votes

**2**answers

603 views

### What's an example of a locally presentable category “in nature” that's not $\aleph_0$-locally presentable?

Recall the notion of locally presentable category (nLab): $\DeclareMathOperator{\Hom}{Hom}$
Definition: Fix a regular cardinal $\kappa$; a set is $\kappa$-small if its cardinality is strictly less ...

**2**

votes

**1**answer

64 views

### From the representation category of a Lie group and the representation on a homogeneous space, can we reconstruct the stabiliser subgroup reps?

Given a Lie group $G$ and a transitive action $- \triangleright - : G \times X \to X$ on a homogeneous space, we can recover the stabiliser subgroup $H_x$ of a point $x \in X$. It is the subgroup of ...

**2**

votes

**1**answer

166 views

### Quotient of Projective line over rationals with an infinite subgroup of PGL(2,Q)

I am looking for references for the following; how to calculate quotient of the projective line over the field of rationals with an infinite subgroup of PGL(2,Q), e.g, of the form
$
\left(
...

**6**

votes

**0**answers

117 views

### minimal energy of affine Lie algebra reps

Let $\mathfrak g$ be a simple Lie algebra.
Let $\widetilde{L\mathfrak g}$ be the universal central extension of $L\mathfrak g:=\mathfrak g[t,t^{-1}]$. Let $V_\lambda$ be a positive energy ...

**-1**

votes

**0**answers

54 views

### Complex conjugation of positive roots [migrated]

I have a simple question about root systems. Suppose that $G$ is a connected reductive group over the reals $\mathbb{R}$, and $T\subset G$ is a maximal torus (by this I mean that $T_{\mathbb{C}}$ is a ...

**5**

votes

**3**answers

372 views

### Characterising the adjoint representation of SU(N)

One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an ...

**2**

votes

**1**answer

186 views

### Irreducible representation of Heisenberg group with characteristic 2?

As we all know that the irreducible representation for Heisenberg group can be classified easily when the group is over a finite field $\mathbb{F}_q$, where $q=p^n$ and $p$ is a prime greater than ...

**3**

votes

**1**answer

207 views

### Is there a left-adjoint to the restriction of comodules?

If $f\colon C \to D$ is a homomorphism of coalgebras and $\rho\colon V \to V\otimes C$ is a $C$-comodule, then $(1\otimes f)\rho\colon V \to V\otimes D$ is the comodule restricted to $D$. In e.g. ...

**1**

vote

**1**answer

105 views

### Representations of parabolic subgroups of the general linear group over the complex numbers

In all that follows, we are working over $\mathbb{C}$. Let $B \subseteq P \subseteq {\rm GL}(n)$ be a parabolic subgroup. Can you say anything in general about the representations of $P$? I suspect ...

**1**

vote

**0**answers

43 views

### “embedding” various matrix equivalences into the equivalence of particular linear map

Consider the square matrices over a (local) ring $R$, up to conjugation, $A\rightarrow UAU^{-1}$, where $U$ is an invertible matrix over $R$. Such an equivalence embeds into the "left-right" ...

**2**

votes

**1**answer

175 views

### What does the defect of a block measure?

In the context of decomposition matrices for Hecke algebras of finite Coxeter groups at a root of unity (such as the tables at the end of the book "Hecke algebras at a root of unity" by Geck-Jacon or ...

**0**

votes

**1**answer

76 views

### Absolute irreducibility of a symmetric square?

This is a question I received today by email, which somebody more experienced with finite group representations can probably answer directly. Take $F:=\mathbb{F}_q$ for some prime power $q$, so ...

**3**

votes

**2**answers

115 views

### Invariant planes of a nilpotent matrix with two Jordan blocks of size two

Describe all the invariant 2-dimensional subspaces of $\mathbb{C}^4$ (or $\mathbb{R}^4$) of the nilpotent map
$$
N = \begin{pmatrix}
0 & 1 & & \\
0 & 0 & & \\
& & 0 ...

**0**

votes

**0**answers

62 views

### reference help indecomposable representations of SL(2,R)

Let $\mathfrak{g}$ be the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$, $K=SO(2)$ the maximal compact subgroup of $SL_2(\mathbb{R})$. Then the classification of irreducible admissible ...