# Tagged Questions

**2**

votes

**1**answer

68 views

### Strong Morita equivalence and representation theory

In the context of pure algebra we say that two algebras (in general: rings) $A,B$ are Morita equivalence when there are bimodules $_AP_B,_BQ_A$ such that $P \otimes_B Q \cong _AA_A$ and $Q \otimes_A P ...

**2**

votes

**1**answer

188 views

### Example of a Frobenius algebra that is not projective over a Frobenius subalgebra

I'd like to know an example of a Frobenius algebra $A$, with a subalgebra $B$ that is itself a Frobenius algebra, such that $A$ is not projective as a left $B$-module. I don't require any ...

**1**

vote

**0**answers

45 views

### “Generators” for fusion rings

It's a rather obvious idea in the area of fusion rings, but I haven't found a
reference yet. Start with the usual rules for a rank n fusion ring
$X_i\bigotimes{X_j}=\Sigma_k{T_{ij}}^kX_k$
and ...

**14**

votes

**2**answers

311 views

### ULU Decomposition of a matrix

Let $g \in GL_n(\mathbb{F}_q)$. Is it true that we can always write $g = u_1lu_2$, where $u_1$ and $u_2$ are upper-triangular and $l$ is lower-triangular? Note that I'm not requiring that the matrices ...

**0**

votes

**0**answers

54 views

### “Reciprocal” of Schoenberg's theorem

Schoenberg's theorem states that for a (say, countable group) $G$ and any real valued conditionally negative type function $\psi$ on $G$, the function $e^{-t\psi}$ is positive definite, for any ...

**6**

votes

**1**answer

309 views

+50

### What is the universal property of quotienting a normaliser of the subgroup?

Let $G$ be a group, $H$ a subgroup and $X$ a $G$-set. By taking orbits $X/H = X \times_H 1$ or fixed points $X^H = \mathrm{Hom}_H(1,X)$ we obtain a set on which $H$ acts trivially, and we've destroyed ...

**0**

votes

**0**answers

116 views

### Comparison of two Chevalley basis

Let $G$ be a connected reductive group over an algebraically closed field and $T$ a maximal torus.
Let $H$ be a pseudo-Levi subgroup, say the neutral component of a centralizer of a semisimple element ...

**5**

votes

**0**answers

182 views

### Torsors and twists of algebraic groups

Let $G/S$ be an affine group scheme. Then the automorphism group of every $G$-torsor over $S$ is a twist of $G$, but it this functor isn't essentially surjective in general (It may be not full nor ...

**0**

votes

**0**answers

59 views

### kostant partition function vs Haar measure

I am trying to understand the relationship between the Kostant partition function and the Haar measure. Both seem to involve the Vandermonde determinant:
$$ \Delta(\theta) = \prod_{i< j} ...

**3**

votes

**1**answer

191 views

### Is there a nice description for the ring $\mathbb{C}[\mathfrak{g}]^G$, where $G$ is semisimple

Some context for my question. Given a vector space $V$, $\mathbb{C}[V]$ is defined to be the ring of polynomials on the vector space $V$. In other words, we can make the identification $\mathbb{C}[V] ...

**3**

votes

**1**answer

193 views

### Representation of GL(n, F_p) over F_p, for n small

The question is related to this post
Representation theory of the general linear group over a finite prime field
However, I am asking for more detailed references for n small, for example, for n=2, ...

**0**

votes

**0**answers

70 views

### Explicit basis/weight vectors for irreducibles inside the plethysm $Sym^m(\bigwedge^p \mathbf(V))$

This is a follow up to this question about finding the multiplicities of irreducible representations restricted to Young diagrams of 2-columns or less, inside the plethysm $Sym^m(\bigwedge^p ...

**3**

votes

**2**answers

141 views

### counting points on nilpotent Springer fiber

Computing $p$-adic orbital integral I come to the following question. My ground field $k$ is the residue field of a non-arch local field, i.e. a finite field. I am happy to put any assumption on ...

**2**

votes

**2**answers

214 views

### Closure relations between Bruhat cells on the flag variety

Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$.
How do we prove the closure relations between the cells, which ...

**4**

votes

**0**answers

138 views

### In general, are 'Young symmetrisers' given by Littlewood-Richardson 'Orthogonal projection Operators'?

Consider $V^{\otimes n}$ where $V$ is vector space and the representation of GL(V) acting in the usual way. Now if I consider tensor products or plethysms of irreducible spaces, this is not in general ...

**2**

votes

**1**answer

139 views

### Relationship between Verma modules and delta functions

Reposting my question from math.stackexchange:
What is the relationship between Verma modules and delta functions? Here's the quote from Woit's notes on Lie theory ...

**3**

votes

**1**answer

197 views

### Base for symmetric group

Given symmetric group $S_n$, is it possible to find $k=\lceil\log_2S_n\rceil=\lceil\log_2n!\rceil$ members $\{\alpha_i\}_{i=1}^{k}$ in $S_n$ such that every member of $S_n$ can be written as ...

**6**

votes

**0**answers

119 views

### What is the relation between spherical principal series representations of a reductive Liegroup and Verma modules for its Lie algebra?

Here is an issue that thoroughly confuses me. I hope I can express it in a way that is clear cut enough for this site.
Let $G$ be a real reductive Lie group and $\mathfrak{g}$ be the complexification ...

**-1**

votes

**1**answer

148 views

### A 6j multiplicity paradox

I somewhat advanced since 6j symbols trouble when irrep multiplicity >1 (because I found the decades old papers where the Racah algebra is dealt with, e.g. "Coupling Coefficients and Tensor ...

**0**

votes

**0**answers

54 views

### Computer software for manipulating loop groups or matrices with polynomial entries

I need to deal with loop groups $LG$ over the complex numbers $\mathbb{C}$, as well as related spaces like the affine Grassmannian and affine flag variety a lot.
In type A, the loop group consists ...

**1**

vote

**2**answers

159 views

### How to find the multiplicity of weight in a Verma module?

In particular, let $\mathfrak g$ be the semisimple Lie algebra of type $A_{2}$ et let $\alpha,\beta$ be its simple roots.
How can the multiplicity of weight $-2\alpha -3\beta$ be calculated in the ...

**4**

votes

**2**answers

115 views

### perturbation of Invariant subspaces

Let $A,B$ be matrices in $GL(n,\mathbb{R})$ sufficiently close in the usual metric on matrices. Suppose $A$, resp., $B$ stabilizes a $k$-dimensional subspace $U$, resp., $V$ of $\mathbb{R}^n$, where ...

**1**

vote

**0**answers

46 views

### abstract affine representations of semisimple Lie groups

in 1933 van der Waerden proved that any abstract unitary representation of a compact semisimple Lie group is necessarily continuous. Is any kind of similar result known for abstract affine ...

**4**

votes

**1**answer

89 views

### How can the generators of subalgebra $\mathfrak g^{\sigma}$ of $\sigma$-stable elements be expressed through generators of Lie algebra $\mathfrak g$?

Let $\mathfrak g$ be the semisimple Lie algebra of type $D_{4}$. Let $\sigma$ be the 3-rd order automorphism of $\mathfrak g$ induced by the triality of $D_{4}$:
$$
...

**1**

vote

**1**answer

148 views

### What is the cubic casimir element of sl_3?

I have been thinking about this for some time but have had no luck. I have found some sources that say higher Casimir elements can be obtained by generalizing the second order Casimir, which is ...

**3**

votes

**0**answers

80 views

### Newvectors in tensor product representations

Let $\pi_p$ and $\pi_p^\prime$ two smooth admissible irreducible complex representations of ${\rm GL}_2(F)$ where $F$ is a non archimedean local field of residual characteristic $p$ of central ...

**1**

vote

**1**answer

160 views

### Can we say that $A$ is a complement for a group $G$?

Let $A$ be a frobenius complement for a group $G$ i.e. $A$ act on $G$ by automorphism s.t. $C_A(g)=e$ for all nonidentity $g$.
Now, Action of $A$ can be linearly extended so that $A$ act on $F[G]$. ...

**9**

votes

**1**answer

163 views

### Powers of traces, integrals over spheres and class functions

I asked this on math.StackExchange a while back but got no answers. I hope I'll be forgiven for the double post.
Let $V$ be a complex vector space of dimension $\operatorname{dim}_{\mathbb C} V = n$, ...

**4**

votes

**0**answers

172 views

### Unitary representations of Tarski Monsters and other beasts

Did people study the unitary representations of Tarsky Monsters, for example the ones constructed by Ol'shanskii? Are there any exotic representations, ie. except the ones related to the left regular, ...

**1**

vote

**1**answer

80 views

### Reducible reductive Lie subalgebras of so(p,q)

Is it true that $S(O(p) \times O(q))$ is the only proper subgroup of $SO(p,q)$ of full rank acting on the natural representation $\mathbb{R}^{p+q}$ of $SO(p,q)$ that stabilizes a $p$-dimensional ...

**12**

votes

**2**answers

336 views

### Langlands duality and multiplying cocharacters

Recall that there is a bijection between irreducible representations of a compact real Lie group $G$ and the cocharacters (homomorphisms $U(1) \to G$, modulo conjugation)
of the Langlands dual group ...

**1**

vote

**1**answer

184 views

### A question on the representation theory of finite group

By the Burnside theorem, we know that we can decompose the order of a group in to a sum of some integers' square, and these integers are the dimensions of the group's irreducible representations . ...

**0**

votes

**1**answer

74 views

### Reductive subgroup and its derived subgroup with an irreducible represenation

Could you please answer the following question: Let $V$ be a faithful irreducible representation of a connected reductive group $H$ defined over $\mathbb{R}$ Is it true that the derived group of $H$, ...

**2**

votes

**0**answers

113 views

### Irreducible representations of $Sp(4,\mathbb{F}_2)$

I'm trying to construct the irreducible representations (over $\mathbb{C}$) of the finite group $Sp(4,\mathbb{F}_2)$.
Using GAP, the character table is as follows:
$$
\left(\begin{matrix}
1 & 1 ...

**4**

votes

**4**answers

287 views

### Breaking up the free Lie algebra into Gl irreps

The free Lie algebra $L(V)$ generated by an $r$-dimensional vector space $V$ is, in the
language of https://en.wikipedia.org/wiki/Free_Lie_algebra ,
the free Lie algebra generated by any choice of ...

**1**

vote

**0**answers

159 views

### Rational conjugation of elements of a finite group

Let $G$ be a finite group. Two elements $x$ and $y$ of $G$ are said to be rationally conjugate, written $x \sim_{r} y$, if and only if $\langle x\rangle$ and $\langle y\rangle$ are conjugate subgroups ...

**4**

votes

**1**answer

149 views

### Decomposing representations of finite groups of Lie type via computer

This is related to my previous question here.
Let me remind you what that question asked:
Let $\text{St}_n(\mathbb{F}_q)$ be the Steinberg module (over $\mathbb{C}$) for ...

**1**

vote

**0**answers

92 views

### Functoriality for non-split orthogonal groups

I am trying to understand the functoriality conjectures of Langlands. We know that the functoriality conjectures imply that automorphic $L$-functions of a connected reductive group are equal to ...

**6**

votes

**0**answers

183 views

### Can one classify irreducible unitary representations of the Weyl algebra?

I saw in this MO post: Is there a machinery describing all the irreducible representations ? that classifying irreducible representations of the Weyl algebra is essentially intractable. My question is ...

**5**

votes

**1**answer

321 views

### Representation theory of the general linear group over a finite prime field

I am re-posting a question I asked on math.se here because I am unsatisfied with the answers I obtained.
The irreducible modules of $\operatorname{GL}_n(\mathbb C)$ over $\mathbb C$ are completely ...

**2**

votes

**0**answers

88 views

### Computing $\text{Tor}_*^{R_G} (\mathbb{Z}, \mathbb{Z}) $ for a compact Lie group $G$

Let $R_G$ be the representation ring of $G$ a connected, simply connected Lie group, $I_G$ the augmentation ideal and $\mathbb{Z}=R_G/I_G$. $R_G$ acts on $\mathbb{Z}$ via $V \cdot n = (\dim V ) n$. I ...

**1**

vote

**0**answers

68 views

### About the reduceness of the commuting scheme associated with a symmetric pair

my question is the following one:
Let $G$ be a connected reductive algebraic group over the field of complex numbers, and let $V$ be a linear representation of $G$ obtained as the isotropy ...

**11**

votes

**1**answer

236 views

### Subquotients in the Verma filtration on Verma modules

Let $\lambda$ be a dominant integral weight of $\mathfrak g$, a finite-dimensional reductive Lie algebra over $\mathbb C$. Let $M(w\cdot \lambda)$ denote the Verma module with high weight $w\cdot ...

**1**

vote

**0**answers

43 views

### exponential and anisotropic torus

Let $F$ be a local p-adic field and $G$ a semisimple simply connected group over $F$, $\mathfrak{g}$ its Lie algebra. Let $T$ a maximal anisotropic torus of $G$, split over an etale extension of $F$ ...

**1**

vote

**2**answers

246 views

### Analogue of Borel--Bott--Weil for General Equivariant Vector Bundles

The Borel--Bott--Weil Theorem gives the dimensions of the cohomology groups of the equivariant line bundles over flag manifolds. Does there exist an analogous result for general equivariant vector ...

**4**

votes

**1**answer

151 views

### Dirichlet Characters as Eigenvectors

This was asked in Math Stackexchange here but generated no comments or answers. I have slightly edited the original question with the comment in the fourth paragraph and the explicit matrix example at ...

**9**

votes

**0**answers

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

**3**

votes

**0**answers

111 views

### Commutative decomposition for full-rank $A$ and low-rank $B$ matrices that do not commute

1. Motivation
Consider symmetric matrices $A,B\in\mathbb{R}^{n\times n}$, and let $A$ be full-rank and $B$ be low-rank. The simultaneous block-diagonalization, defined as the following
...

**6**

votes

**3**answers

274 views

### Restriction of scalars for the adjoint representation of $SL_2(\mathbb F_q)$

Let $p$ be a prime number, $q=p^e$ a power of $p$, and $G=SL_2(\mathbb F_q)$. Let $V$ be the adjoint representation of $G$, i.e. $V$ is the 3-dimensional $\mathbb F_q$-space of of (2,2)-matrices of ...

**2**

votes

**0**answers

114 views

### Unitary dual of $Sp_4(\mathbb{R})$

Do we know the unitary dual of $Sp_4(\mathbb{R})$? If so, can someone provide me any references? How about other rank 2 real groups? Thank you!