**0**

votes

**0**answers

41 views

### What is the significance of the eigendecomposition of a Cayley table?

Treating the Cayley table of a group $G$ as a matrix $M_g$, one notices interesting things about its eigendecomposition.
For instance, for the symmetric groups $\{S_n\}$, the rank of the Cayley table ...

**1**

vote

**0**answers

93 views

### The representation theory for the fake Heisenberg groups over non-perfect local field

Let $K$ be a local field of characteristic $p$, where $p$ is a prime number greater than 2. In particular, $(x+y)^p=x^p+y^p$ for $x,y\in K$.
The fake Heisenberg group is defined to be
$$
...

**1**

vote

**0**answers

49 views

### Irreducible unitary representations of semidirect groups of a discrete abelian group by a discrete group

Recently in a paper we get the following result:
Let a discrete group $\Gamma$ act on a discrete abelian group $G$ by group automorphisms. Every irreducible unitary representation $\pi$ of ...

**5**

votes

**1**answer

154 views

### What is Jantzen's formula for the determinant of the Shapovalov form in the case of generalized Verma modules?

The best reference I found is
[Kac, Kazhdan '79]
which extends the results of Shapovalov and Jantzen to the case of infinite dimensional Lie algebras.
Theorem 1 of this paper gives the Shapovalov ...

**10**

votes

**1**answer

523 views

### $q$-Deformed Quillen–Suslin Theorem for the Quantum Vector Spaces?

Define n-quantum vector space to be the algebra
$$
{\mathbb C}_q^n := \mathbb{C}\left< x_i \mid i =1, \ldots, N\right>/\left<x_i x_j = q x_j x_i \mid i<j\right>.
$$
For $q=1$, we get ...

**-1**

votes

**0**answers

92 views

### Compact finite dimensional group

Suppose that $G$ is a compact, finite dimensional topological group (finite dimensional as a topological space). Does it follows that $G$ can be faithfully represented on some $U(n)$ (in other words, ...

**20**

votes

**7**answers

1k views

### Computer package for representation theory of the symmetric group

Is there a computer algebra package in which I can compute the following for representations of a specific symmetric group (e.g. $S_7$):
(1) $V \otimes W$
(2) $S_\lambda V$, where $S_\lambda$ is a ...

**3**

votes

**1**answer

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

**14**

votes

**4**answers

3k views

### Cohomology of Flag Varieties

For $K$ a compact Lie-group with maximal torus $T$, I'd like to know the cohomology $\text{H}^{\ast}(K/T)$ of the flag variety $K/T$.
If I'm not mistaken, this should be isomorphic to the algebra of ...

**4**

votes

**1**answer

400 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

142 views

### Is every weight of an integrable highest weight module in the Tits cone?

Let $\mathfrak{g}$ be a Kac-Moody algebra with Cartan subalgebra $\mathfrak{h}$, Weyl group $W$, and simple roots and coroots $\alpha_i, \check{\alpha_i}, i \in I$, respectively. Let $L$ be an ...

**0**

votes

**0**answers

9 views

### equivalence of Lie group and Lie algebra intertwiner [migrated]

I encountered this problem while working on my research. Let $G$ be a Lie group, and consider an intertwiner of the complex representations (possibly infinite-dimensional)
$$
\pi:G\rightarrow ...

**0**

votes

**0**answers

32 views

### Relating the R-Transform in Free Probability to noncommutative group representations

In traditional (commutative) probability theory, sums of random variables correspond to convolution of distribution functions, which plays well with the Fourier Transform.
In free (noncommutative) ...

**31**

votes

**2**answers

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

**0**

votes

**0**answers

36 views

### Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action

I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...

**0**

votes

**1**answer

273 views

### On a claim of Zagier on extending a map to cocycle

Zagier, in his paper 'Some Surprising Consequences of the Cohomology of SL$_2(\bf{ Z})$' (link, p. 6), studies the action of $\Gamma=PSL_2(\bf Z)$ on a vector space $V$, denoting the action by $v\ |\ ...

**2**

votes

**2**answers

155 views

### Permutation covering of a $G$-lattice

Let $G$ be a finite group.
By a $G$-lattice we mean a finitely generated free abelian group $L$ with an action of $G$.
We say that $L$ is a permutation $G$-lattice if $L$ has a ${{\mathbf{Z}}}$-basis ...

**3**

votes

**0**answers

161 views

### Can the product of a simple and a non-simple indecomposable representation be semisimple?

Consider two (possibly infinite-dimensional) representations $\rho$, $\pi$ of a semisimple Lie algebra $\mathfrak{g}$, with $\rho$ irreducible and $\pi$ indecomposable but not irreducible (i.e., not ...

**0**

votes

**0**answers

43 views

### Distiguishing mutant knots

Can an invariant from a quantum Lie algebra ever distinguish mutant knots?
(Maybe if it is "chiral"...whatever that means :-)
(Note that Kauffman abstract tensors/skein equations CAN distinguish ...

**7**

votes

**2**answers

818 views

### Invariants of Symmetric group

The celebrated Chevalley–Shephard–Todd theorem says that $\mathbb C[V]^{S_n}$ is a polynomial algebra and gives the generators of this algebra, where $V$ is the standard (or natural) representation of ...

**8**

votes

**3**answers

889 views

### Hopf algebra structure on the universal enveloping algebra of a Leibniz algebra?

A Leibniz algebra L may be thought of as a noncommutative generalisation of a Lie algebra. One drops the requirement that the bracket be alternating and substitutes the Jacobi identity for the ...

**1**

vote

**0**answers

100 views

### Fundamental theorems of invariant theory, twisted by a representation

Let $V$ be a finite dimensional complex vector space and let $G = \mathrm{GL}(V)$. The first and second fundamental theorems of invariant theory for $V$ give generators and relations for the algebra
...

**2**

votes

**1**answer

147 views

### Understanding the Weyl Character Formula

Let $G$ be a compact (connected) Lie group with a maximal torus $T$. For each (analytically) integral weight $\lambda$ the Weyl character formula
$$\Theta_{\lambda}(H)=\frac{\sum_{w\in ...

**9**

votes

**3**answers

284 views

### Real and Quaternionic Representations according to Weights

According to this question, it is easy to know whether a representation is self dual or not: just check if the weight distribution in space is symmetric about the origin.
Now, for self dual ...

**3**

votes

**2**answers

225 views

### Representations of complex semi-simple algebraic group “defined over $\mathbf{Z}$”?

If $G$ is a split semisimple linear algebraic group over $\mathrm{Spec}(\mathbf{Z})$ then does every (algebraic) irrep of $G_{\mathbf{C}}$ extend to a morphism $G\to\mathrm{GL}_n$ over ...

**0**

votes

**2**answers

572 views

### How to prove $U \otimes Ind W = Ind(Res(U) \otimes W)$

How to prove $U \otimes Ind W = Ind(Res(U) \otimes W)$? where U is a representation of G and W is a rep of H, a subgroup of G. $Ind(W)$ is the induced rep and $Res(U)$ is the restrict rep.
I got the ...

**0**

votes

**2**answers

218 views

### Representation Theory of $U(N)$

(1) Is it true that the category of representations of $U(n)$ is equivalent to the category of representations of $SU(N) \times U(1)$? If so, how is it proved, or what is a good reference. (I guess ...

**-1**

votes

**1**answer

61 views

### Using Magma to Find a Fixed Points Module [closed]

Let $G$ be a group and $H$ a subgroup. Suppose $M$ is a $kN_G(H)$-module ($k$ a field). Then the $H$-fixed points in $M$ denoted $M^H$ is a $kN_G(H)$-module. Is there a way to access this module in ...

**10**

votes

**1**answer

725 views

### Which L-functions are not “Langlands-Shahidi L-functions”?

The Langlands-Shahidi method, among other things, obtains certain L-functions from the constant term of Eisenstein series attached to so-called $(G,M)$ pairs, where $G$ is a reductive group, $M$ a ...

**-1**

votes

**0**answers

43 views

### Kac-Moody D6 level 2 - “copying” objects necessary for some based rings to categorify?

This is the relevant data for my example (but the question applies more general). So you have the MTC $D_6$ at $q=(-1)^{1/12}$ (my q) and there are listed 13 objects (1 trivial, 3 dim=1, 4 ...

**5**

votes

**3**answers

501 views

### The relation of nilpotent orbits and simple singularities, for orbits smaller than subregular ones

Pick a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$. There is a partial ordering among nilpotent orbits defined by $O\geq O'$ iff $\bar O\supset O'$.
The unique maximal element under this ...

**3**

votes

**0**answers

73 views

### Approximating the norm of a finite dimensional representation on a Banach space by irreducible representations

Let $G$ be a compact group, let $X$ be a Banach space and let $\pi$ be a linear and isometric representation of $G$ on $X$ that is continuous with respect to the strong operator norm. For $v \in X$, ...

**27**

votes

**4**answers

875 views

### Why there is a relation among the second-order minors of a symmetric $4\times 4$ matrix?

A $4\times 4$ symmetric matrix
$$
\left(
\begin{array}{cccc}
a_{11} & a_{12} & a_{13} & a_{14} \\
a_{12} & a_{22} & a_{23} & a_{24} \\
a_{13} & a_{23} & a_{33} & ...

**1**

vote

**0**answers

82 views

### What is the definition of plethysm in the representation theory of permutation groups

Let $s_\lambda \circ s_\mu$ be a plethysm. Here let $\lambda, \mu$ be $m,n$ box Young diagrams.
I have seen the definition of plethysms in symmetric functions. I would like to understand the ...

**1**

vote

**1**answer

107 views

### Clifford-Mackey theory, references

I am working on a problem related to the local Langlands correspondence and I am interested in certain smooth representations of locally profinite groups (in particular of the Weil group of a local ...

**2**

votes

**0**answers

35 views

### Noncommutative fusion categories

Although noncommutativeness is almost a defining trait for fusion categories, offhand I recall only the extended Haagerup N-N (rank 8). It's a two minute computation to find that even a based ring ...

**4**

votes

**1**answer

336 views

### Applying Lemma 2.12 of Deligne's/ Milne's “Tannakian Categories” on an irreducible representation

since this is my first question here, I'm not very certain whether I state it properly. I'm thankful for any helpful remarks.
Currently I'm trying to understand the above-mentioned article which can ...

**1**

vote

**1**answer

124 views

### Ext groups in the equivariant derived category

I apologize in advance that this question is probably too basic for MO, but I reckoned I would not get an answer on Math.Stackexchange.
I am starting to learn about perverse sheaves, the ...

**12**

votes

**1**answer

430 views

### Condition on a Hopf operad for tensor product in the base category to be a (categorical) coproduct for algebras

A Hopf operad will be an operad endowed with a coproduct $P(n) \longrightarrow P(n) \otimes P(n)$ which is compatible in the obvious sens with operad laws (no more structure is assumed a priori. ...

**25**

votes

**17**answers

2k views

### ADE type Dynkin diagrams

The ADE type Dynkin diagrams seem to come up in seemingly different areas of math. Two places they come up are:
(1) Classification of simply laced complex simple lie algebras.
(2) Finite subgroups ...

**0**

votes

**0**answers

44 views

### Non-graded representations over Lie superalgebra $\mathfrak{gl}(m,n)$

I have the following questions:
Let $m,n$ be positive integers. Consider representations over the general linear Lie super-algebra $\mathfrak{gl}(m,n)$. Namely, modules over the associative algebra ...

**3**

votes

**0**answers

123 views

### An equivalence of derived categories by Happel-Reiten-Smalø

I have a problem in understanding the proof of a theorem by Happel-Reiten-Smalø. The original reference is this article
http://arxiv.org/abs/0911.4473
.
I write down the text of the theorem and a ...

**25**

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

**2**answers

314 views

### Lifting projective Galois representation with condition

Let $\bar{\rho}: G_K\to PGL_n(\mathbb{C})$ be projective representation of the absolute Galois group of a number field $K$ and $\varphi\in Aut(G_K)$.
A theorem of Tate tells us that we can always ...

**-1**

votes

**0**answers

91 views

### Fusion: Hexagon implies pentagon?

Or in decent language: :-) Does the Racah backcoupling rule(s) imply Biedenharn-Elliot?
Or for based rings: Can a based ring be braided and still not be a fusion category? (The 2-1-4-8 here would be a ...

**10**

votes

**1**answer

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

**2**

votes

**4**answers

793 views

### Are there natural examples of non-symmetric Frobenius algebras?

Symmetric Frobenius algebras arise everywhere, but the non-symmetric variety seem difficult to come by. Are there any natural examples/constructions that produce non-symmetric Frobenius algebras in ...

**0**

votes

**0**answers

103 views

### Quantum Half :-)

"Quantum Half" of course is the reverse of "quantum double".
1. Any quantum double is braided, but I guess the reverse is very untrue -
if you have a braided fusion ring F, only rarely there exists a ...

**13**

votes

**3**answers

918 views

### Restriction from $GL_n$ to $S_n$

Let $V$ be the irreducible representation of $GL_n$ with highest $\lambda$, and $|\lambda|=n$. It is well known that the representation of $S_n$ on the $(1,1,\ldots,1)$ weight space is the Specht ...

**4**

votes

**1**answer

180 views

### Do discrete groups with property $(T)$ have “modest” subgroup growth?

I saw it conjectured at http://www.mathunion.org/ICM/ICM1994.1/Main/icm1994.1.0309.0317.ocr.pdf that "discrete subgroups with property $(T)$ may have modest subgroup growth." (Page 5, directly above ...