**2**

votes

**1**answer

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

**3**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**0**answers

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

**4**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**5**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**4**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**5**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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