**6**

votes

**2**answers

220 views

### What are the special parahoric subgroups in unitary groups?

Let $L$ be a $p$-adic field and let $L'/L$ be a quadratic extension. Let $U_{L'/L}(n)$ be a quasi-split unitary group of $n\times n$ matrices with entries in $L'$. I'm curious about what the special ...

**30**

votes

**4**answers

1k views

### Why do people study representations of 3-manifold groups into $SL(n,\mathbb{C})$?

Varieties of representations and characters of $3$-manifold groups in $SL(2,\mathbb{C})$ have been intensively studied. They have provided tools to identify geometric structures on manifolds, and are ...

**7**

votes

**1**answer

165 views

### How fine an invariant of a representation is its quotient singularity?

This is a refinement of a question asked on MSE.
Let $G$ be a finite group and let $V$ be a finite-dimensional faithful complex representation of $G$. Consider $V$ as an affine complex variety. In ...

**3**

votes

**0**answers

102 views

### Does a given bound quiver algebra admit an algebra analogous to the preprojective algebra of a path algebra?

Let $Q=(Q_0,Q_1,s,e)$ be a finite quiver.
In the formal construction of the preprojective algebra associated to $Q$, we set $\ Q^*_1=\{\alpha^*:y\rightarrow x| \alpha\in Q_1, \alpha:x\rightarrow y ...

**5**

votes

**1**answer

120 views

### Quantum group representations from (convolution) matrix units?

Let $A=F(\mathbb{G})$ be the algebra of functions on a finite quantum group with a Haar state $$h=:\int_\mathbb{G}:F(\mathbb{G})\rightarrow \mathbb{C}.$$
There is a convolution product on ...

**3**

votes

**0**answers

77 views

### How to write down solutions of Yang-Baxter equations for $sl_3$ explicitly?

In the paper, Stolin classifies all quasi-Frobenius subalgebras of $sl_3$. How to write down solutions of Yang-Baxter equations for $sl_3$ explicitly using these quasi-Frobenius subalgebras? Thank you ...

**4**

votes

**1**answer

261 views

### what is the injective hull of indecomposable module of preprojective algebra

Let $Q$ be a ADE type quiver and $s_i$ ($i$ runs through the vertices of $Q$) be the simple $\Lambda$-module with 1-dimensional vector space at vertex $i$ and zero-dim at other vertices. Here ...

**5**

votes

**1**answer

196 views

### Bounding $p$-adic characters and Jacquet-Langlands tranfert

I would like to bound uniformly in $\pi$ the $p$-adic Harisch-Chandra characters $\Theta_p$ for division quaternion algebras. By the Jacquet-Langlands correspondence, it is sufficient to bound it on ...

**16**

votes

**2**answers

348 views

### $G$-action on the integral homology of a compact surface

Let $S$ be a compact connected orientable surface, and let $G$ be a nontrivial finite group acting freely on $S$ and preserving orientation (note the the action being free is a strong condition, since ...

**2**

votes

**0**answers

100 views

### Finite-dimensional representations of DAHA of rank 1

DAHA of rank 1 is defined by the relation
$$
(T - t^{1/2})(T + t^{-1/2})=0~, \quad TXT=X^{-1}~, \quad TY^{-1}T=Y~, \quad
Y^{-1}X^{-1}YXT^2q^{1/2}=1
.$$
To understand its representations, it is useful ...

**4**

votes

**0**answers

97 views

### relation between constructible function on quiver variety and representation of Kac Moody algebra

This is a follow-up question of my previous question.
In Lusztig's paper Section 12, Lusztig constructed an algebra embedding from $U\frak{n}_-$ to $\oplus_V M(\Lambda_V)$.
In Nakajima's paper ...

**2**

votes

**0**answers

145 views

### Could Partial Tiltings be studied as Almost Complete Tiltings?

The first part of what follows is a brief recap of the definitions, setting and motivations for my questions. Experts can find the questions at the end.
Here $k$ denotes an algebraically closed ...

**3**

votes

**2**answers

236 views

### Borel--Bott--Weil for the Grassmannians

The Borel--Bott--Weil Theorem is usually stated for the complete flag manifold of $SU(N)$. Does an analogue hold for the other flags, for example the Grassmannians?
More precisely, suppose $G(\mathbf ...

**2**

votes

**0**answers

75 views

### Quantum Groups and quantum spaces - From algebra to Analysis

My question will be about the non-standard quantum projective space $\mathcal{A}_q(\mathbb{CP}^n(c,d))$ introduced by Dijkhuizen and Noumi. I want to see this algebra now on a von Neumann algebraic ...

**6**

votes

**1**answer

137 views

### Super-plethysm?

Let $U$ be a representation of $S_m$ and $V$ a representation of $S_n$. Then the representation $\operatorname{Ind}_{S_m\wr S_n}^{S_{mn}}(U^{\otimes{n}}\otimes V)$ has a nice interpretation in terms ...

**6**

votes

**0**answers

67 views

### 2-functoriality of equivariant derived categories

I am wondering about the 2-functoriality in equivariant derived categories, and I hope that someone can clarify... (apologies if this is a stupid question)
For the more precise formulation, recall ...

**0**

votes

**1**answer

75 views

### presentation for a nilpotent group associated to the square of a coxeter element

This question is related to one asked earlier about inductive presentations of unipotent radicals in Kac-Moody groups.
Let $\Gamma$ be a coxeter diagram --- i.e. an unoriented graph with $r$ vertices ...

**2**

votes

**0**answers

71 views

### Irreducible representations in BGG category $\mathcal{O}$ over (finitely) direct sum of general linear Lie superalgebra

Let $\mathfrak{g} = \oplus_i^k\mathfrak{gl}(m_i|n_i)$ be a direct sum of general linear Lie superalgebras $\mathfrak{gl}(m_i|n_i)$'s with the Cartan subalgebra $\mathfrak{h} = \oplus_i^k ...

**5**

votes

**1**answer

102 views

### Explicit formulas for certain elements in $Z(U(\mathfrak{gl_n}))$

Let $\lambda$ be a partition with $\leq n$ rows and let $L_{\lambda}$ be the corresponding irreducible representation of ${\rm GL}_n(\mathbb{C})$. Let $e_m(X_1,\dots,X_n)$ be the $m$th elementary ...

**3**

votes

**1**answer

170 views

### Degree of irreducible representations of a finite cyclic group over $\mathbb{Q}_p$

Let $p$ be a prime and $\mathbb{Q}_p$ denotes the $p$-adic numbers. Is it true that the degree of the nontrivial $\mathbb{Q}_p$-irreducible representations of a cyclic group of order $p^n$ is ...

**0**

votes

**0**answers

94 views

### representations of the special orthogonal group

Consider an $N$-dimensional (algebraic) representation $r$ of the special orthogonal group $SO_m$ over the rational numbers $Q$. Is it true that there exists a representation $\varphi \colon GL_m \to ...

**2**

votes

**1**answer

111 views

### indecomposable modules restricted from $gl_n$ to $sl_n$

Let K be an algebraic closed field, $gl_n$ be the general linear Lie algebra over K, and $sl_n$ be the special linear Lie algebra.
Let $\chi\in gl_n^*$. Let $U_\chi(gl_n)$ be the corresponding reduced ...

**2**

votes

**0**answers

176 views

### Mixed up by definitions of mildly mixing

Here are two setup where the notion of "mildly mixing" comes up: for representations and for group acting by measure preserving transformations (see definitions below). Since a natural class of ...

**2**

votes

**0**answers

112 views

### nilpotent orbits in p-adic period domain

I am going to prove an analogue of the W. Schmid nilpotent orbit theorem in p-adic Hodge theory. It seems to me that a similar limit of filtration by slopes of isocrystals should be semistable. I am ...

**4**

votes

**1**answer

153 views

### inductive construction of unipotent radicals

Consider a directed coxeter diagram $\vec{\Gamma}$, i.e. a finite graph where each edge is decorated with one of the integer weights $\big\{3,4,6\big\}$ and those edges with weights $4$ or $6$ are ...

**3**

votes

**1**answer

55 views

### vector bundles induced by an action of a finite subgroup of $O(n)$

Let $M$ be a path-connected manifold. Let $G$ be a finite subgroup in $O(n)$ and suppose $G$ acts freely on $M$. Then we have an associated vector bundle
$$
\xi(M,G): \mathbb{R}^n\longrightarrow ...

**10**

votes

**1**answer

163 views

### Meaning of topological tensor products in Frenkel-Gaitsgory

The appendix to http://arxiv.org/abs/math/0508382 by Frenkel & Gaitsgory (following an earlier work of Beilinson) describes three different monoidal structures, denoted by $\otimes^!,\otimes^*,$ ...

**5**

votes

**1**answer

353 views

### analog of Lusztig nilpotent scheme

Fix a quiver $Q$ without loop. Denote the set of vectices of $Q$ by $I$.
Let $\Lambda_V$ be the Lusztig nilpotent scheme with associated vector space $V$ over $I$. Briefly speaking, when $Q$ is a ...

**1**

vote

**1**answer

68 views

### Why are exchange graphs of quivers with the same underlying graph but have different orientations isomorphic?

I know the fact that (undirected) exchange graphs of quivers with the same underlying undirected graph but have different orientations are isomorphic (i.e. quivers that are just finitely many ...

**0**

votes

**1**answer

63 views

### Reference request: $\chi^{\lambda'}(\sigma) = (-1)^{n-\ell(\sigma)} \chi^\lambda(\sigma),$ for characters of the symmetric group

I'm looking for a text I could cite that explicitly states the following result: for $\chi^\lambda$ the irreducible character of the symmetric group indexed by the partition $\lambda$, and for $\sigma ...

**4**

votes

**1**answer

147 views

### Sum of skew characters over hooks and “odd” partitions

Let us call a partition odd if all its parts are odd, and let $Odd(n)$ be the set of all odd partitions of $n$, e.g. $Odd(6)=\{(5\,1),(3\, 3),(3\,1^3),(1^6)\}$.
Let $H(n)$ denote the set of all hook ...

**2**

votes

**1**answer

105 views

### Characterization of restricted weights of representations of real semisimple Lie groups

I need to use the following theorem:
Let $\mathfrak{g}$ be a semisimple real Lie algebra, $\Sigma$ a set of restricted roots for $\mathfrak{g}$. Let $\rho$ be any finite-dimensional representation of ...

**4**

votes

**1**answer

208 views

### The coxeter number condtion in the quantum Lusztig conjecture

This is a question about the second point in Geordie Williamson's answer in
What to do now that Lusztig's and James' conjectures have been shown to be false?
,
which says that the Lusztig ...

**3**

votes

**0**answers

115 views

### reduction mod $p$ of Weyl modules

Let $G$ be a reductive algebraic group defined over a non-Archimedean field $F$.
Let $k_F$ be its residue field, of characteristic $p$.
Assume $G$ is unramified over $F$, then it admits a hyperspecial ...

**6**

votes

**2**answers

134 views

### Can we count the number of simple modules for a reduced enveloping algebra?

Let $G$ be a reductive algebraic group over a field of positive characteristic $p$, which I'll assume to be very good for $G$. Then the Lie algebra $\mathfrak{g}$ is restricted and each simple ...

**0**

votes

**0**answers

31 views

### The rectification of the transpose of a skew tableau?

Suppose the rectification of a skew tableau is a standard tableau, I want to know if the rectification of the transpose of the skew tableau equals to the transpose of the rectification of the skew ...

**7**

votes

**0**answers

69 views

### Skew zonal polynomials, skew zonal spherical functions, and combinatorics

Zonal polynomials may be expressed in terms of power sums as $$Z_\lambda=n!\sum_\nu \frac{1}{z_\nu }2^{n-\ell(\nu)}\omega_\lambda(\nu)p_\nu,$$ with usual notation in which $\omega_\lambda(\nu)$ are ...

**7**

votes

**1**answer

234 views

### What does the unique mean on weakly almost periodic functions look like?

There is a unique invariant mean $m$ on WAP functions on any discrete group (see definitions below, theorem of ?). However, the proofs I found are fairly non-explicit on how to obtain this invariant ...

**3**

votes

**0**answers

77 views

### Short proof of the classification of representation-finite symmetric algebras up to stable equivalence

Assume $K$ is an algebraically closed field and $A$ a finite dimensional $K$-algebra. Assume additionally that $A$ is symmetric and representation-finite.
Then one has the following classification of ...

**4**

votes

**0**answers

67 views

### Efficiently computing all equivariant maps between two $GL_n$-representations

This is sort of a strange question; if it's not appropriate for MathOverflow I apologize in advance.
I'm in a situation where I'd like to be able to give a computer two $GL_n$ representations $V$ and ...

**3**

votes

**1**answer

173 views

### Representations of p-groups where 1 is never an eigenvalue

Fix some $n \geq 1$ and some prime $p$. I'm looking for finite $p$-groups $G$ and finite-dimensional complex representations $V$ of $G$ with the following two properties:
The abelianization of $G$ ...

**3**

votes

**0**answers

96 views

### How do you understand the Moy-Prasad filtration of G_2?

Starting on page 44 of this paper of Reeder and Yu, the authors describe the first graded piece of the Moy-Prasad filtration on $G_2$ at a certain point (in this case it's $GL_2$ of the residue ...

**19**

votes

**0**answers

338 views

### A cohomology class associated with a complex representation of a group

$\newcommand\CC{\mathbb C}\newcommand\ZZ{\mathbb Z}\newcommand\ad{\mathsf{ad}}\newcommand\Ext{\operatorname{Ext}}$ Suppose that $G$ is a finite group and that it acts on a finite dimensional complex ...

**5**

votes

**1**answer

102 views

### A sum over characters of $S_{2n}$ and zonal spherical functions of $(S_{2n},H_n)$

The hyperoctahedral group $H_n$ can be seen as the centralizer of the permutation $(12)(34)\cdots (2n-1\,2n)$ in $S_{2n}$. It has $2^nn!$ elements.
The quantities $$ ...

**2**

votes

**0**answers

85 views

### Centralizer of a dense subgroup in a maximal subgroup of a reductive group

I am looking for a reference to the following statement
"Let $G$ be a reductive algebraic group and $K$ a maximal compact subgroup of $G$. If $H$ is a dense subgroup in $K$, then the centralizer of ...

**2**

votes

**0**answers

58 views

### Normaliser of image of induced representation

I would like to compute the normaliser of the image of an induced representation. So it would be a representation from $GL_{2}(\mathbb{Z}_{p})$ to $GL_{n}(\bar{\mathbb{Z}}_{p})$. Is this maybe some ...

**4**

votes

**1**answer

103 views

### Connection between representations of different orientations of graph

In 1973 paper about Gabriel's theorem, there is an open question:
Suppose we have a graph $\Gamma$ and two orientations $\Lambda,\Lambda'$ of it. Then for each indecomposable representation of ...

**26**

votes

**1**answer

504 views

### Why do the adjoint representations of three exceptional groups have the same first eight moments?

For a representation of a compact Lie group, the $n$th moment of the trace of that representation against the Haar measure is the dimension of the invariant subspace of the $n$th tensor power. The ...

**1**

vote

**0**answers

76 views

### What does the regular representation of the coinvariant ring of a unitary reflection group look like?

Let $V$ be a complex vector space of finite dimension $n$ and let $W$ be a finite unitary reflection group. This is, $W$ is a subgroup of $GL(V)$ generated by reflections, i.e., elements $r \in GL(V)$ ...

**1**

vote

**1**answer

121 views

### Antiholomorphic cusp forms of negative weight

Let $k\geq 2$ be an even integer and let $\Gamma=\Gamma_0(N)$. Let $f\in S_k(\Gamma)$. To $f$, one may associate an antiholomorphic cusp form of weight $k$ and level $\Gamma$ by defining ...