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

learn more… | top users | synonyms (1)

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