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

learn more… | top users | synonyms (1)

0
votes
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
7answers
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
1answer
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
4answers
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
1answer
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
1answer
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
0answers
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
0answers
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
2answers
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
2answers
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
3answers
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
0answers
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
1answer
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
3answers
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
2answers
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
2answers
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
2answers
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
1answer
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
1answer
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
0answers
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
3answers
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
0answers
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
4answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
17answers
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
0answers
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
0answers
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
6answers
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
2answers
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
0answers
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
1answer
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
4answers
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
0answers
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
3answers
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
1answer
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 ...