Questions tagged [rt.representation-theory]
Linear representations of algebras and groups, Lie theory, associative algebras, multilinear algebra.
6,823
questions
6
votes
1
answer
198
views
Conductor of quaternionic representation
Classical work by Casselman shows that for an irreducible admissible representation $\rho$ of $GL_2$ over a non-archimedean field $k$, there is a minimal power $n\geq 0$ of the prime ideal $\mathfrak{...
7
votes
2
answers
425
views
Ideals invariant under ring automorphisms
I am looking for ideals $I\subset \mathbb{F}_2[x,y]$ with the following properties:
$I$ is generated by two homogeneous elements;
$I$ is invariant under the $SL_2(\mathbb{F}_2)$-action on $\mathbb{F}...
4
votes
1
answer
300
views
Reference for Shalika germs of GL(n)
I was reading the two Repka papers where he computes the leading and subleading Shalika germs for $GL_n$ and I was wondering, where are we since then? Have these germs (and the integrals) been ...
2
votes
0
answers
38
views
representation dimension between algebras
If A and B are finite dimensional k-algebra,and A is of finite representation type,and A and B are derived equivalence。My question is whether representation dimension of B is no more than 3。
10
votes
1
answer
531
views
The adjoint representation of the symplectic group in characteristic 2
For a prime $p$ and some $g \geq 2$, consider the adjoint representation $\mathfrak{sp}_{2g}(\mathbb{F}_p)$ of the symplectic group $\text{Sp}_{2g}(\mathbb{F}_p)$. For $p \geq 3$, it is not hard to ...
6
votes
1
answer
272
views
Schutzenberger's evacuation and $\mu$-coefficient of Kazhdan–Lusztig polynomials
$\def\SYT{\mathrm{SYT}}\def\RSK{\mathrm{RSK}}\DeclareMathOperator\evac{evac}$Let $\mathfrak{S}_n$ be the symmetric group, $\SYT_n$ be the set of standard young tableaux of size $n$.
For $u\in \...
2
votes
1
answer
281
views
Decomposition into irreducible of a representation of the wreath product $S_d \wr S_m$ (2)
This is a question following Decomposition into irreducible of a representation of the wreath product $S_d\wr S_n$
Let $F$ be the trivial and $S$ be the standard representations of $S_d$ (of ...
0
votes
0
answers
86
views
Simplicity Criterion for Verma module
In Representations of Semisimple Lie Algebras in the BGG Category $\mathcal{O}$,
$\lambda\in\mathfrak{h}^*$ is
antidominant if $\langle \lambda + \rho, \alpha^\lor\rangle \not\in \mathbb{Z}^{>0}$ ...
15
votes
1
answer
408
views
Conceptual explanation for curious linear-algebra fact in characteristic $2$
All matrices and vectors in this post have entries in the field $\mathbb{F}_2$.
Fix some $n \geq 1$. For an $n \times n$ matrix $X$, write $X_0$ for the column vector whose entries are the diagonal ...
4
votes
1
answer
686
views
Decomposition into irreducible of a representation of the wreath product $S_d\wr S_n$
Let $S_d, S_n$ be the permutation groups of $d,n$ elements.
An intuitive representation of the wreath product $S_d\wr S_n$ is $V_1\otimes...\otimes V_n$, where each $V_i$ is of dimension $d$. Writing ...
14
votes
2
answers
906
views
Units in group rings.
Let $G$ be a finite solvable group of order $n$, and let $g_1 ... g_n$ be an enumeration of its elements. Let $a_1 ... a_n$ be a sequence of integers, such that $\sum a_i$ is relatively prime to $n$.
...
1
vote
0
answers
139
views
Do we have $K \cap P = (K \cap M)(K \cap N)$?
Let $G$ be a connected, reductive group over a $p$-adic field $k$, let $P$ be a parabolic subgroup with Levi $M$ and radical $N$. Let $K$ be a maximal open compact subgroup of $G$ in good position ...
4
votes
2
answers
428
views
Global dimension of the tensor algebra
Let $R$ be a semisimple ring with a non-zero $R$-bimodule V. Let $T_R(V):= \bigoplus\limits_{k=0}^{\infty}{V^{\otimes_k}}$ be the tensor algebra of $V$.
Question 1: Is there a simple proof that $...
4
votes
1
answer
433
views
Global dimension of a graded algebra
Let $A= \bigoplus\limits_{n=0}^{\infty}{A_n}$ be an $\mathbb{N}$-graded algebra with semisimple $A_0$.
Question: Do we have that the global dimension of $A$ is equal to $\sup \{i \geq 0 | Ext_A^i(...
7
votes
1
answer
223
views
Finite subgroups of $PSU(3)$
I'm looking for a reference to a classification or description of finite subgroups of $SU(3)$ that contain the center, or equivalently $PSU(3)$. Can anyone point me in the right direction?
11
votes
0
answers
191
views
The $\frak{sl}_2$-representation on a symplectic manifold
Any symplectic manifold $(M,\omega)$ carries a representation of $\frak{sl}_2$: Define the maps
$$
L: \Omega^\bullet \to \Omega^{\bullet}, ~~~~~~~~~ \Lambda: \Omega^\bullet \to \Omega^{\bullet}, ~~~~~~...
4
votes
1
answer
597
views
Quadratic algebras and Koszul algebras
Let $A$ be a quadratic algebra and $B$ the Ext-algebra of $A$.
In case $A$ is a Koszul algebra, we should have that the global dimension of $A$ plus one is equal to the Loewy length of $B$ (is there a ...
2
votes
2
answers
1k
views
Definition of the weight lattice for a nonreduced root system
Let $(V,\Phi)$ be a root system with dual root system $(V^{\ast},\Phi^{\vee})$. Let $\Delta = \{\alpha_1, ... , \alpha_n\}$ be a set of simple roots for $V$, and let $\Delta^{\vee} = \{\alpha_1^{\vee}...
2
votes
1
answer
61
views
About Extension group and weights in $\mathcal{O}^\mathfrak{p}$
Denote $M_I(\lambda)$ be the generalized Verma module with highest weight $\lambda$ and $L(\mu)$ is the simple highest weight module with highest weight $\mu$.
Suppose $\text{Ext}_{\mathcal{O}^\...
2
votes
0
answers
59
views
Finite-dimensional graded Lie algebras with $2$ generators
Does anyone know of a classification of those (complex) Lie algebras which are:
generated by two elements
$\mathbb{Z}$-graded Lie algebras
finite dimensional
6
votes
1
answer
167
views
P-adic representations corresponding to the same cuspidal pair
Let $G(F)$ be a reductive $p$-adic group. A result of Bernstein says that we can correspond each smooth irreducible representation to a “cuspidal pair” where it is embedded, and at most finitely many ...
6
votes
2
answers
297
views
Irreducibility of Gelfand-Serganova strata
To keep the notations simple I'll restrict my attention to the complete flag variety although the question should be equally valid for partial flag varieties. Consider $G=SL_n(\mathbb C)$ with Borel $...
1
vote
0
answers
45
views
Rigid $Hom$-orthogonal modules in wild hereditary algebras
Let $Q$ be a simply-laced wild quiver with at least one multiple edge, $k$ be an algebraically closed field, $1$ be the source of and $2$ be the sink of one set of such edges. Can we find rigid ...
2
votes
0
answers
69
views
Properties of extendable irreducible characters to a normal Sylow subgroup
Let $G$ be a finite group with a nilpotent commutator subgroup, and denote by $mcd(G)$ the set of degrees of the irreducible monomial characters. Suppose $|mcd(g)|=2$. Furthermore, we call a monomial ...
2
votes
0
answers
83
views
Length 2 modules over finite dimensional algebras
Given a finite dimensional algebra $A$ over an infinite field and two simple modules $S,T$.
Question 1: Is there a useful (homological/computational) crtierion to decide when there are infinitely ...
13
votes
1
answer
679
views
Tilting Objects in BGG Categories $\mathcal{O}$
Let $\mathcal{O}$ be the BGG category $\mathcal{O}$ with respect to a finite dimensional semisimple Lie algebra $\mathfrak{g}$ and its Borel subalgebra $\mathfrak{b}$ (as define in this book by ...
2
votes
0
answers
120
views
Uniserial modules for group algebras
Recall that a module is uniserial in case it has a unique composition series.
Let $G$ be a finite group and $kG$ its group algebra, that we assume is not semi-simple.
Questions:
Can uniserial modules ...
7
votes
1
answer
459
views
Stabilizer of Sp(n) and U(n) in GL(n)
I would be very grateful for a reference
to the following results (which are, I think, true,
though I never saw it in the literature).
Let $G\subset GL(n,{\Bbb C})$ be $U(n)$,
abd $A\in GL(2n,{\Bbb ...
1
vote
1
answer
207
views
About Hom and weight space of nilpotent Lie algebra cohomology
Let $\mathfrak{g}$ be a complex semisimple Lie algebra. Denote by $\Phi$
the root system of $(\mathfrak{g},\mathfrak{h})$ and denote by $\mathfrak{g}_\alpha$ the root subspace of $\mathfrak{g}$ ...
3
votes
1
answer
185
views
Question on $\operatorname{Ext}$ in a local Frobenius algebra
Let $A$ be a finite dimensional local Frobenius algebra with simple module $k$ and an indecomposable non-projective module $M$ (that is also finite dimensional).
Question:
Is there an example of ...
4
votes
0
answers
62
views
About isomorphism of Extension groups between Category $\mathcal{O}^\mathfrak{p}$ and $\mathcal{O}$
In the paper: Kostant modules in blocks of category $\mathcal{O}^\mathfrak{p}$
In section 8.2 (p.22), I use the notation in Humphrey's Category $\mathcal{O}$ book.
Then the passage said the ...
5
votes
2
answers
496
views
Basic theorem on induction for representations of $p$-adic groups
I know a lot of places where the following is sparsely proved, but I remember there was some paper where I read it in basically the same form I write it, but unfortunately I can't remember where it ...
13
votes
1
answer
393
views
Is there a Giambelli identity with dual representations?
For natural numbers $a,b$ with $b\leq n-1$, let $V_{ (a|b)}$ be the irreducible representation of $GL_n$ with highest weight vector $(a+1, 1^b, 0^{n-b-1})$ where the exponentiation denotes repetition.
...
12
votes
1
answer
514
views
Representations of degenerate Clifford algebras
Given a real finite-dimensional vector space $V$ with a symmetric bilinear form $b$, we define the Clifford algebra $Cl(V,b)$ as the quotient of the tensor algebra $\bigotimes V$ by the two sided ...
8
votes
0
answers
387
views
Which representations of the Lie algebra of a Lie group come from representations of the group itself?
I think this is very classic mathematics, but I can't find a complete answer in the literature.
Let $G$ be a Lie group, $\mathfrak{g}$ the Lie algebra of $\mathfrak{g}$. Suppose $\rho : \mathfrak{g} \...
9
votes
2
answers
459
views
"Closed bicategories"
I am interested in the following property that a bicategory may or may not have.
Let $\mathbf{B}$ be a bicategory. Every one-morphism $f\colon x\rightarrow y$ defines a functor $\mathbf{B}(y,z)\...
9
votes
1
answer
272
views
Divisors of the regular character of a finite group
Recall that the regular character $\rho=\hspace{-.2cm}\sum\limits_{\chi\in\operatorname{Irr}(G)}\hspace{-.2cm}\chi(1)\chi$ of a finite group $G$ takes values
$$
\rho(g)=
\left\{\begin{array}{cl}
...
2
votes
0
answers
125
views
Maximal number of $S_n$-conjugates living in a hyperplane
Let $v=(a_1,\dots,a_n)\in\mathbb{R}^n$ where the $a_i$ are distinct and positive. For $\sigma\in S_n$, let $\sigma(v)=(a_{\sigma(1)},\dots,a_{\sigma(n)})$. For any hyperplane $H$ through the origin, ...
10
votes
1
answer
314
views
Integral of product of Schur functions
Schur functions are irreducible characters of the unitary group $\mathcal{U}(N)$. This implies the integration formulae
$$ \int_{\mathcal{U}(N)}s_\lambda(AUA^\dagger U^\dagger)dU=\frac{|s_\lambda(A)|^...
2
votes
0
answers
163
views
On a conjecture about tilting modules
There is the following conjecture on tilting modules (see also History of an open problem on partial tilting modules):
Given a partial tilting module $T$ over a finite dimensional algebra $A$ (that is ...
2
votes
0
answers
37
views
About Extension group in Category $\mathcal{O}^\mathfrak{p}$
Let $M_I(\lambda)$ be the generalized Verma module with highest weight $\lambda$, $L(\lambda)$ be the simple highest weight module with highest weight $\lambda$.
Suppose $\mu\le \lambda\le \nu$, does ...
6
votes
1
answer
614
views
Tensor product of bimodules
Im not sure whether this question is appropriate for MO, but I do not have much experience with bimodules (or I forgot many things).
Let $A$ be a finite dimensional (connected) algebra over a field $...
8
votes
0
answers
139
views
$n$-fold tensor products of $D(A)$ for finite dimensional algebras
Let $A$ be a finite dimensional quiver algebra over a field $K$ and let $D(-):=Hom_K(-,K)$ denote the natural duality (assume algebras are connected).
Define $\psi_A:=sup \{ n \geq 1 | D(A)^{\otimes ...
4
votes
0
answers
281
views
How to determine the unramified character corresponding to an unramified Langlands parameter?
Let $F$ be a p-adic field with ring of integers $\mathcal{O}$. Let $\textbf{G}$ be a connected split reductive algebraic group over $F$. For simplicity, we assume that $\textbf{G}$ is a Chevalley ...
3
votes
1
answer
155
views
Are there non-trivial automorphisms of stable framed quiver representations?
Let $Q=(Q_0,Q_1)$ be a quiver and $q\in Q_0$ a chosen vertex. Let $d$ be a dimension vector with $d_q=1$ and let $\theta\in \mathbb R^{Q_0}$ be a $d$-generic stability parameter. Let $M$ be a $\theta$-...
27
votes
1
answer
2k
views
Is there an accessible exposition of Gelfand-Tsetlin theory?
I'm hoping to start an undergraduate on a project that involves understanding a bit of Gelfand-Tsetlin theory, and have been tearing my hair out looking for a good reference for them to look at. ...
2
votes
0
answers
47
views
If $f \in \operatorname{c-Ind}_Q^P \sigma$, then $f|_N$ is compactly supported modulo $Q \cap N$?
There is a claim in a proof in Casselman's notes on representation theory which I have not been able to verify. I have asked several people and nobody knows why it is true.
The thing I can't figure ...
1
vote
0
answers
135
views
Question on vanishing Hochschild cohomology
Recall that for an $K$-algebra $A$ with $A^e:=A^{op} \otimes_K A$ the Hochschild cohomology is defined as $HH^n(A,M):=Ext_{A^e}^n(A,M)$.
Question:
Is there a finite dimensional selfinjective ...
1
vote
1
answer
124
views
Gorenstein projective modules of a certain triangular matrix algebra
Let $B$ be a finite dimensional selfinjective algebra over a field $k$ with a finite dimensional non-projective $B$-module $M$ and $$A=\pmatrix{k&M\\0&B}.$$
A module $N$ over an algebra $C$ ...
5
votes
0
answers
156
views
Spinor representation for $\operatorname{Spin}(V \oplus V^*)$
I'm studding Hitchin's Generalized Calabi-Yau Manifolds https://arxiv.org/abs/math/0209099 and I've stuck here:
Suppose that $V$ is a vector space and denote its dual by $V^*$. Now we know that the $\...