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

learn more… | top users | synonyms (1)

2
votes
1answer
121 views

Indefinite orthogonal groups over p-adics

Let $q$ be a rational quadratic form. How can we think of a Cartan decomposition of $O_q(Q_p)$? Is there a notion of Cartan involution for p-adic field, so that we can execute same process as we do ...
21
votes
3answers
873 views

How can classifying irreducible representations be a “wild” problem?

Let $q$ be a prime power and $U_n(\mathbb{F}_q)$ be the group of unitriangular $n\times n$-matrices. I've read and heard in several places (see e.g. this mathoverflow question) that classifying ...
2
votes
1answer
138 views

When representations of a Borel subgroup can be extended to a parabolic subgroup

Suppose we have a Borel subgroup $B$ of a linear algebraic group and a 1-dimensional representation $\pi:B\rightarrow \mathbb{C}_\lambda$, where $\lambda\in Hom(\mathbb T,\mathbb{C}^*)$ with $\mathbb ...
1
vote
0answers
169 views

quantization for integral coadjoint orbits

I am looking for a referrence for proof of following statement. Let $G$ be a semi-simple Lie group and $\mathfrak{g}$ be its Lie algebra and $\alpha_k$ be simple roots of $\mathfrak{g}$ and $\mu_0$ ...
3
votes
1answer
169 views

What is “special” maximal compact subgroup of algebraig group over local field?

Learning the theory of Langlands correspondence, I met the notion of "special" maximal compact subgroup of a (reductive) algebraic group over a local field. Here, I think the word "compact" is used ...
5
votes
1answer
322 views

Explicit calculation of Weil Deligne representations

According to Grothendieck monodromy theorem, l-adic galois representations of a local field corresponds to Weil-Deligne representations. However, given a galois representation, it is usually difficult ...
1
vote
0answers
141 views

Tilting object in derived category

I was wondering about something concerning tilting objects... Suppose we are given a split algebraic torus $G=\mathbb{G}^n_m$, that is a linearly reductive group with no semisimple part, and let ...
8
votes
0answers
151 views

Earliest use of the term “linearly reductive”?

Recently a number of MO questions have referred to a "linearly reductive group", usually in a way that is out of focus. It's unclear to me why this terminology is so popular, since over a field of ...
3
votes
1answer
227 views

Representation theory of simple Lie algebras

Let $V$ be a simple complex Lie algebra. Let $W=\Lambda^2V$ be the second exterior power of $V$. Is it possible to find a basis for $W$ that consists of elements of the form $v \wedge w$, where $v$ ...
2
votes
2answers
221 views

Generalizations of Lie algebras

I often stumble over the term "Lie superalgebra" (= "Lie algebra with a $\mathbb{Z}_2$ grading"). Obvious question: What about $\mathbb{Z}_3$ grading (and so on)? Is a Lie algebra with $\mathbb{Z}_n$ ...
6
votes
1answer
219 views

Can Galois conjugates of lattices in SL(2,R) be discrete?

Let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$. Suppose that the trace field of $\Gamma$ is a totally real number field of degree $d$. This gives $d$ homomorphisms $\rho_i:\Gamma\to SL(2,\mathbb{R})$ ...
3
votes
2answers
306 views

Irreducible representations of compact groups

Let G be a compact group (or even profinite - Galois group). Let $V$ be a vector space over the field ${\mathbb F}_p$ with $p$ elements, $p$ a finite prime, such that $V$ is a contable product of ...
10
votes
1answer
319 views

Can one explain Tannaka-Krein duality for a finite-group to … a computer ? (How to make input for reconstruction to be finite datum?)

Consider a finite group. Tannaka-Krein duality allows to reconstruct the group from the category of its representations and additional structures on it (tensor structure + fiber functor). Somehow ...
1
vote
1answer
195 views

Grothendieck group of representations

For a linearly reductive group $G$ over $k$ we consider the bounded derived category of finite dimensional representations $D^b(\mathrm{Repr}(G))$. Is the Grothendick group $K_0(D^b(\mathrm{Repr}(G))$ ...
0
votes
1answer
157 views

number of simple representations

For a linearly reductive Group $G$ over a field $k$ one has that the category of finite dimensional representations of $G$ is semisimple. What can one say about the number of simple representations? ...
0
votes
1answer
106 views

Is the invariant algebra semisimple

Let $A$ be a semisimple $k$ algebra and $k$ is of characteristic zero. Let $G$ be a linearly reductive group over $k$ acting on $A$. Is $A^G$ semisimple ?
1
vote
0answers
93 views

global dimension II

Suppose we are given finite dimensional semisimple $k$-algebras $A_1,..., A_r$. now we consider the matrix algebra$A=\begin{pmatrix} A_1 & M_{1,2} & \dots & M_{1,r} \\ 0 & A_2 ...
4
votes
2answers
315 views

Character values bounded away from zero

Character values for a finite group are sums of nth roots of unity. I'm wondering if there are any results bounding nonzero values of irreducible characters away from zero. Or if not are there ...
1
vote
0answers
116 views

Algebraic characters and quasi-characters of reductive algebraic group over non-archimedean local field

Let $G$ be a reductive algebraic group over $F$, where $F$ is a non-archimedean local field. Then $G(F)$ is a p-adic group. Let $\Psi(G)$ be the lattice of algebraic characters. Let $\Lambda_G$ be the ...
10
votes
3answers
386 views

Resource for learning quantum mechanics from the viewpoint of representation theory

Quantum mechanics is deeply connected with representation theory. Therefore, I'm looking for a textbook or article which presents quantum mechanics in a representation theoretic manner. Could anyone ...
1
vote
1answer
125 views

adjoint action of a Levi subalgebra

We work over an algebraically closed field of characteristic 0. Let $\mathfrak{g}$ be a reductive Lie algebra and let $\mathfrak{p}\supset\mathfrak{m}$ be a parabolic subalgebra, respectively a Levi ...
5
votes
1answer
163 views

global dimension

Suppose we are given finite dimensional semisimple $k$-algebras $A_1,..., A_r$. now we consider the matrix algebra$A=\begin{pmatrix} A_1 & M_{1,2} & \dots & M_{1,r} \\ 0 & A_2 ...
6
votes
3answers
286 views

Representations of S_n induced from centralizers of elements

Does anyone have a reference for a good description of representations of $S_{n}$ obtained by inducing up from $C_{S_{n}}(\pi)$, for some element $\pi$ of $S_{n}$? (I'd prefer an efficient ...
6
votes
1answer
287 views

Origin of symbols used for half-sum of positive roots in Lie theory?

The Weyl character formula is a central result in the finite dimensional representation theory of semisimple Lie groups, algebraic groups, Lie algebras. Related questions on MO include these here ...
5
votes
1answer
360 views

Origin of the term “weight” in representation theory

In representation theory, there are the related concepts of weights and roots. Since both are kinds of generalised eigenvalues, and eigenvalues are roots of e.g. the characteristic polynomial, the ...
12
votes
3answers
1k views

History and motivation for Tannaka, Krein, Grothendieck, Deligne et al. works on Tannaka-Krein theory?

I am trying to wrap my mind around Tannaka-Krein duality and it seems quite mysterious for me, as well, as its history. So let me ask: Question: What was the motivation and historical context for ...
3
votes
0answers
108 views

Finding a basis for the (linear combinations) span of a matrix group, efficiently?

I have an algorithm whose bottleneck is the following task: Let $\mathbb{F}$ be a finite field. Given a set of $k$ invertible matrices $g_1,\dots,g_k\in GL_n(\mathbb{F})$, let $G=\langle ...
9
votes
4answers
389 views

When are those subgroups of $\mathrm{SL}(2, \mathbb{C})$ discrete?

Let $A = \pmatrix{1 & 0 \\ \alpha & 1} $ and $ B = \pmatrix{1 & 1 \\ 0 & 1}$, where $\alpha \in \mathbb{C}$ is a complex parameter. Now consider the family of representations ...
4
votes
0answers
167 views

An example of group with specific properties of its action on a discrete set

I am looking for an example of a discrete group $G$ which satisfies the following conditions: $G$ acts on a set $X$ transitively and has amenable stabilizers. There are finite subsets of ...
3
votes
0answers
85 views

Enumerating simple algebraic groups and their irreducible representations

Motivation Everything is over an algebraically closed field. Given a faithful representation $G \to \textrm{GL}(V)$, one may try to pin down what the group $G$ exactly is (e.g., the in the case of ...
12
votes
2answers
416 views

Etymology of cuspidal representations

In the literature on representation theory of $GL_2(\Bbb F_p)$ and $GL_2(\Bbb Q_p)$, the irreducible representations with trivial Jacquet module are often called "cuspidal" or "supercuspidal". Why are ...
6
votes
2answers
224 views

Whitney stratification and affine grassmanian

Let $G$ a simply connected group over $\mathbb{C}$ and $Gr:=G(\mathbb{C}((t)))/G(\mathbb{C}[[t]])$ the affine grassmannian. By Cartan decomposition we have a partition of stratas indexed by ...
2
votes
0answers
107 views

Canonical basis of quantum groups

I am trying to understand the canonical basis of quantum groups and different ways to construct the canonical basis of quantum groups. In the comments of Lusztig's papers, the paper [92], CANONICAL ...
1
vote
0answers
111 views

Restriction of the Steinberg representation

Let $G$ the group $GL(n,F)$ where F is a locally compact non Archimedean field, and $G^{0}$ the subgroup of $G$ consists of elements $g$ in $G$ such that $\det(g)$ in $\mathcal{O}_{F}^{\times}$, where ...
2
votes
1answer
85 views

Is is possible to lift an equivariant map of Loop lie algebras to an equivariant map of Loop groups?

For brevity, let $LG=\mathbb{T}\ltimes \tilde{L}G$, the affine loop group and let $G$ be a simple simply conneceted Lie group. I have a map $\phi:L\mathfrak{g} \to L\mathfrak{g}$ that is equivariant. ...
5
votes
2answers
321 views

Decomposing the conjugacy representation of Sym$(n)$ for small $n$

I am trying to compute the decomposition of the conjugacy representation of some small symmetric groups. Perhaps someone has undertaken a similar calculation. My own calculations are quite slow, ...
25
votes
5answers
2k views

Why we need to study representations of matrix groups?

Why we need to study representations of matrix groups? For example, the group $SL_2(F_q)$, where $F_q$ is the field with $q$ elements, is studied by Drinfeld. I think that these groups are already ...
16
votes
1answer
512 views

Examples of finite groups with “good” bijection(s) between conjugacy classes and irreducible representations?

For symmetric group conjugacy classes and irreducible representation both are parametrized by Young diagramms, so there is a kind of "good" bijection between the two sets. For general finite groups ...
5
votes
0answers
118 views

A question on the resolution of parabolic Verma module $M_I(\lambda)$ in BGG category O

I am reading Humphrey's book "Representations of semisimple Lie algebras in the BGG Category O" on Page 189, Proposition 9.6, where he remarked that "Note that if we had developed the full BGG ...
2
votes
0answers
66 views

radical unipotent of a parahoric

Let $G$ a split connected reductive group over $\mathbb{C}$. $F=\mathbb{C}((t))$ and $\mathcal{O}$ the ring of integers. Let $B$ a Borel subgroup and $I$ the corresponding Iwahori. Let ...
4
votes
4answers
354 views

Structure of the adjoint representation of a (finite) group (Hopf algebra) ?

Every group acts on itself by conjugation $h \mapsto g h g^{-1}$. Respectively considering functions on a group we obtain a linear representation. Question 1: what is known about this representation ...
0
votes
0answers
81 views

intersection of Borel in wonderful compactification

Let $\overline{G}$ the wonderful compactification of an adjoint $G$ over an algebraically closed field $k$. Let $B$ a Borel of $G$ and $w\in W$ an element of the Weyl group and $\overline{B}$ the ...
2
votes
1answer
215 views

The Bialynicki-Birula Stratification of the Affine Grassmannian

Let $G$ be a connected, simply-connected complex semisimple group with affine Grassmannian $\mathcal{G}r$. Fix a maximal torus and Borel $T\subseteq B\subseteq G$. I am reading "Loop Grassmannian ...
2
votes
1answer
229 views

Expected value of $(1 - X)^{-2} $ over Haar measure of the unitary group, $X \in U(N)$

Let $\lambda_1, \dots, \lambda_n$ be the eigenvalues of a random Unitary matrix. I am interested in the expected value: $$\mathbb{E}_{X \in U(N)}\left[ \prod_{i=1}^n \frac{1}{(1 - ...
14
votes
5answers
660 views

Are there any known criteria for quadratic mapping from R^n to R^n being surjective?

Let quadratic mapping be the function from $\mathbb{R}^n$ to $\mathbb{R}^n$, where each coordinate is a quadratic form of $n$ variables. Are there any known criteria for it being surjective? May ...
5
votes
2answers
250 views

Relations between affine Grassmannian and Grassmannian

Let $\mathcal K = k((t))$ be the field of formal Laurent series over $k$, and by $\mathcal O = k[[t]]$ the ring of formal power series over $k$. Let $G$ be an algebraic group over $k$. The affine ...
4
votes
1answer
166 views

Reference for the Natural Ample Line Bundle on the Affine Grassmannian

Let $G$ be a connected, simply-connected complex semisimple group. Let $$\mathcal{G}r:=G((t))/G[[t]]$$ be its affine Grassmannian. I have read that $\mathcal{G}r$ possesses a natural very ample line ...
1
vote
0answers
140 views

Derived category of representations

Suppose we are given an algebraic group $G$ (linearly reductive). Let $D^b(Repr(G))$ be the bounded derived category of finite dimensional algebraic representations of $G$. I am intressted in tilting ...
4
votes
1answer
206 views

The existence of a finite dimensional Lie algebra with a given symmetric invariant metric

The question is motivated by a more broad perspective in another MO post and here, but here we would like to understand a specific case (our question potentially connects to / is motivated b Quantum ...
4
votes
1answer
190 views

Finite dimensional Lie algebra with non-degenerate invariant bilinear forms $\Omega_{ab}$

Firstly, my apology to MO experts that I am in a more science/physics background (a PhD). So please feel free refine/modify/comment my language if I have different math accents than yours. From ...