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

learn more… | top users | synonyms (1)

1
vote
0answers
19 views

Approximating eps-homomorphisms

Let $G$ be a finite group. A map $\rho:G\rightarrow U_n$ is called an $\epsilon$-homomorphism if and only if for any $g,h\in G$, we have $||\rho(g)\rho(h)-\rho(gh)||\leq \epsilon$ where the $||$ norm ...
2
votes
0answers
78 views

Over which fields is a $G$-module reducible?

I have asked this question at math.stackexchange, but have not received an answer so far. Also, I'm not entirely sure that this is a suitable question for mathoverflow... See this link for the ...
4
votes
1answer
103 views

Questions about the $\mathbf{i}$-trails of Berenstein and Zelevinsky

The $\mathbf{i}$-trails of Berenstein and Zelevinsky was introduced on page 5 (Definition 2.1) in this paper. It is defined as follows. Let $\gamma, \delta \in \mathfrak{h}^*$. Let ${\bf i}=(i_1, ...
2
votes
1answer
89 views

Why are compactly induced representations projective in the category of admissible representations?

I am reading part of Dipendra Prasad's paper found here: http://arxiv.org/pdf/1306.2729v1.pdf. In it (in the middle of page 8) he writes that compactly induced representations are projective. Why is ...
3
votes
1answer
105 views

Jones polynomial of tangles using Temperley-Lieb algbra?

The definition of the Jones polynomial of tangles (a la Reshetikhin and Turaev) uses the space of invariants for $U_q sl_2$ and R-matrices. It seems to me the same thing cane be done in terms of the ...
3
votes
1answer
206 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
1answer
207 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
0answers
47 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 ...
15
votes
2answers
362 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
0answers
56 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
1answer
346 views

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
0answers
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
0answers
184 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
0answers
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
1answer
195 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
1answer
200 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
0answers
71 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
2answers
145 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
2answers
216 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
0answers
140 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
1answer
143 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
1answer
199 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
1answer
161 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
1answer
152 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
0answers
55 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
2answers
160 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
2answers
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
0answers
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
1answer
90 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
1answer
152 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
0answers
81 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
1answer
161 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
1answer
167 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
0answers
174 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
1answer
83 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
2answers
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
1answer
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
1answer
77 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
0answers
115 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
4answers
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
0answers
160 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
1answer
150 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
0answers
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
0answers
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
1answer
325 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
0answers
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
0answers
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 ...
12
votes
1answer
252 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
0answers
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
2answers
261 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 ...