All Questions
Tagged with rt.representation-theory reference-request
823 questions
2
votes
0
answers
91
views
Simple modules for universal enveloping algebras and Weyl algebras
Let $A$ be the universal enveloping algebra of a fintie dimensional Lie algebra (simple if needed) or the Weyl algebra.
Question: Are there recent survey articles about the (possibly infinite ...
3
votes
1
answer
116
views
References request: Auslander-Reiten theory of algebras like $B_{k,n}$
In the paper A categorification of Grassmannian cluster algebras, an algebra $B_{k,n}$ is defined as follows.
Denote by $C=(C_0, C_1)$ the circular graph with
vertex set $C_0=\mathbb{Z}_{n}$ clockwise ...
8
votes
0
answers
222
views
references on categorification of knot invariants
I am extremely sorry if this is not the right place for this kind of question.
I have studied some knot theory, quantum invariants and would like to study more about categorification of knot ...
6
votes
1
answer
186
views
Endomorphism ring of trivial source modules for abelian p-groups
Bernhard Böhmler (who is also on MO) and myself had the following idea:
Let $G$ be a finite group and $k$ a field of characteristic $p$ (algebraically closed when it is needed) such that $p$ divides ...
4
votes
1
answer
499
views
I want to know the name of or any references for a matrix in the book "The representation theory of the symmetric groups" by Gordon James
$\DeclareMathOperator{\Ind}{\operatorname{Ind}}$I'm reading "The representation theory of the symmetric groups" written by Gordon James.
I found the matrix $B$ in the chapter 6 ("The ...
3
votes
1
answer
158
views
Twisted affine Lie algebras, Lie bracket and normalized standard invariant form
I am reading the book: Infinite-Dimensional Lie Algebras (Kac, third edition) and the article: Affine Lie algebras and the Virasoro algebras I (Wakimoto, link). The formulas they wrote for the Lie ...
7
votes
2
answers
946
views
Reference of J.L. Waldspurger's paper on Shimura correspondence
I want to find reference of Waldspurger's paper referred at "Sur les coefficients de Fourier des formes modulaires de poids demi-entier" J. Math. Pures Appl. (9) 60 (1981), no. 4, 375–484 (...
3
votes
0
answers
48
views
Questions on piecewise hereditary algebras
Let $A$ be a finite dimensional quiver algebra over a field $k$ that is quasi-tilted and representation-finite (this implies that $A$ is a tilted algebra). Assume that the Coxeter polynomial of $A$ is ...
7
votes
0
answers
107
views
Reference request: superconformal algebras and representations
I am looking for a book/monograph which deals with superconformal (vertex operator) algebras and their representation theory. What are some good books to understand to begin with the definition of a ...
4
votes
1
answer
343
views
Subgroups of algebraic groups containing regular unipotent elements
Let G be a simple algebraic group. Let H be a reductive subgroup of G which contains a regular unipotent element of G. Such subgroups were classified by Saxl and Seitz in all good characteristics. I'...
10
votes
1
answer
396
views
Generalising the union-closed sets conjecture from lattice to a larger class of posets
(edit: I decided to simplify the question and only pose it for bounded posets first)
The Union-closed sets conjecture is equivalent for lattices P to:
There exists a join-irreducible element $a$ with ...
5
votes
1
answer
283
views
Finite order automorpisms of affine Kac-Moody Lie algebras
It is known that for a finite order automorphism $\phi$ of a complex semisimple Lie algebra $L$, the fixed point subalgebra $L^{\phi}$ is a reductive Lie algebra and the centralizer of a Cartan ...
0
votes
0
answers
294
views
Reference: Irreducible components of the Steinberg variety are conormal bundles
The (partial) Springer resolution is defined as a map $\mu: T^*\mathcal{F} \to \mathcal{N}$, where $\mathcal{F}$ is the partial flag variety consisting of $n$-step partial flags of $\mathbb{C}^d$, and ...
5
votes
0
answers
76
views
Reference on two numbers associated to a module of finite homological dimension
Let $A$ be a finite dimensional algebra over a field $K$ with a module $M$ which has finite projective dimension and finite injective dimension.
Let $n \geq 1$.
Let $(P_i)$ be a minimal projective ...
3
votes
0
answers
104
views
Reference for representations of $\text{GL}_n(\mathbb{Z}/p^k\mathbb{Z})$ over $\mathbb{F}_p$
I was looking for a reference on representations of $GL_n(\mathbb{Z}/p^k\mathbb{Z})$ over $\mathbb{F}_p$. In particular what the irreducible and indecomposable representations look like.
5
votes
0
answers
103
views
Decomposition of the Schwartz space as a representation for the orthogonal group
The Schwartz space $\mathcal{S}(\mathbb{R}^n)$ is naturally a $O_n(\mathbb{R})$-representation. I'm assuming that this is a relatively well-behaved representation among the infinite-dimensional ones ...
5
votes
0
answers
454
views
Equivalent definitions of unramified characters
Let $G$ be a connected reductive group over a local field $F$. An unramified character of $G(F)$ is a continuous character $\chi: G(F)\to\mathbb{C}^\times$ that is trivial on all compact subgroups of $...
1
vote
0
answers
107
views
Reference request concerning splitting fields for groups that are related to special symmetric groups
Denote the symmetric group of order $n!$ by $S_n$. Let $H:=S_p$ for an odd prime $p$.
Every finite field $k$ is a splitting field $(^*)$ for $kH$, in particular $k:=\mathbb{F}_p$.
Questions:
Is $k:=\...
5
votes
0
answers
118
views
Where to read about the toric variety coming from a principal nilpotent element of a (semi)simple algebraic group?
Given a principal (regular) nilpotent element $e$ in the Lie algebra $\mathfrak g$ of a complex semisimple algebraic group $G$, let $\mathfrak s=(e,f,h)$ be an $\mathfrak{sl}_2$-triple for $e$. Then ...
8
votes
1
answer
513
views
Equivariant (co)homology of flag manifolds, convolution algebra and nil hecke algebra?
For a complex reductive group $G$ and its Borel subgroup $B$, it seems to be well-known that the equivariant homology group $H^G_*(G/B\times G/B)$ forms a nil-Heck algebra
$$NH=\Bbbk[y_i,\partial_{j}]...
8
votes
1
answer
452
views
Characterization of automorphic discrete spectra
I recently learned about automorphic spectral decomposition from the book "Spectral decomposition and Eisenstein series" by Moeglin and Waldspurger. (Let me call it M-W)
I have a question ...
4
votes
0
answers
82
views
Support of the fundamental class of irreducible components of partial Springer fibres corresponding to flag signatures
The (partial) Springer resolution is defined as a map $\mu: T^*\mathcal{F} \to \mathcal{N}$, where $\mathcal{F}$ is the partial flag variety consisting of $n$-step partial flags of $\mathbb{C}^d$, and ...
12
votes
2
answers
727
views
Suggestion for framing a course in Representation theory + Spectral graph theory
I am going to give a course in spectral graph theory to graduate students. I want to learn and teach the connection between the spectral graph theory and the representation theory of finite groups. I ...
6
votes
1
answer
215
views
Quiver and relations of Schur algebras
Assume that the Schur algebra $S(n,r)$ with $n \geq r$ is not representation-finite.
Question: For which $n$, $r$ is the quiver and relations of the blocks of $S(n, r)$ explicitly known?
I just ...
4
votes
1
answer
217
views
Computation of the Lusztig a-function
See for example https://www.sciencedirect.com/science/article/pii/0021869387901542 for the definition of the Lusztig a-function.
Question 1: Is there a table for the values of Lusztig's a-function ...
9
votes
2
answers
316
views
Schur Weyl duality for the supergroup $\text{GL}(m|n)$
Let $G$ be the supergroup $\text{GL}(m|n)$. It has a tautological representation $V= \mathbb{C}^{m|n}$.
For every natural number $d$ we have a natural map $$\Phi_d:\mathbb{C} S_d\to \text{End}_G(V^{\...
3
votes
0
answers
102
views
Is there a source in which Demazure's function $p$ defined in SGA3, exp. XXI, is calculated?
Suppose that $\mathcal{R}=(M,R,M^*,R^*)$ is a root datum. In section 1.2 of SGA3, exp. XXI, Demazure defines the $\mathbb Z$-linear map $p:M\to M^*$ by
$$p(x)=\sum_{u\in R^*}(u,x)u$$
and proves many ...
3
votes
0
answers
80
views
(Big) Category O for rational Cherednik algebras
Let $H_{c}$, for simplicity, be the rational Cherednik algebra with parameter $t=1$, with triangular strucuture $\mathbb{C}[h] \otimes \mathbb{C} W \otimes \mathbb{C}[h^*]$, and $(W,h)$ the defining ...
2
votes
0
answers
99
views
Character degrees in induced blocks
Let $G$ be a finite group and $U\leq H\leq G$ a chain of subgroups.
Presume that $p$ is a prime dividing the order of $U$.
Suppose that $b_1$ is a $p$-block of $U$ and $b_2$ a $p$-block which is ...
5
votes
1
answer
386
views
Arthur's Simple Trace Formula
In Deligne–Kazhdan–Vigneras's "Représentations des groupes réductifs sur un corps local," they use the Simple Trace Formula to prove cases of the local Jacquet–Langlands correspondence ...
5
votes
2
answers
903
views
Reference on Fourier analysis on compact groups
I am looking for a reference for Fourier analysis on compact (Lie) groups. The kind of theorems I would like the book to cover/do are the Peter-Weyl theorem, define Fourier transforms and use the ...
22
votes
2
answers
2k
views
A royal road to Coulomb branches of 3D $\mathcal{N}=4$ gauge theories
So, I've been very interested recently with the developements of the (now mathematically precise) theory of Coulomb branches - in particular because of its recent applications on representation theory ...
3
votes
2
answers
279
views
Searching for theorems characterizing when $O_p(G)$ is trivial / non-trivial
Let $G$ be a finite group. Let $p$ be a prime.
Let $O_p(G)$ be the $p$-core of $G$.
Are there any theorems known saying something like
$O_p(G)$ is trivial, if and only if ... and
$O_p(G)$ is non-...
0
votes
1
answer
143
views
Faithful representation of group of order $p^4$
In the (xi) group of the classification of groups of order $p^4$ given by W.Burnside in his book, "Theory of groups of finite order". The group ($\mathbb{Z}_{p^{2}}\rtimes \mathbb{Z}_{p^{}}) ...
5
votes
0
answers
132
views
On a reference for computing global spectrum of $A_n$-curve singularities, by H.Dao and E.Faber
This question is about chasing down a reference in a paper relating to non-commutative crepant resolutions and Cohen-Macaulay representation theory.
Allow me to first give a minor introduction.
Let $(...
3
votes
1
answer
95
views
Question concerning Brauer's second main theorem, Brauer correspondent blocks and blocks covered by nilpotent blocks
A version of Brauer's second main theorem is as follows:
Let $G$ be a finite group, $x$ be a $p$-element of $G$, $B\in\mathcal{Bl}(G)$, and $\chi\in$ Irr$(B)$.
If $d_{\chi\mu}^x\neq 0$ and $\mu$ ...
10
votes
3
answers
1k
views
Number of permutations with longest increasing subsequences of length at most $n$
Is there a known expression for, or a nontrivial upper bound on, the number of permutations in $S_k$ with longest increasing subsequence of length at most $n$?
Let $l(\sigma)$ denote the length of the ...
1
vote
0
answers
46
views
What is the maximal weight submodule of $\text{Hom}_{\mathfrak{g}}(M,N)$?
Let $\mathfrak{g}$ be a finite-dimensional semisimple Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$. Fix a Cartan subalgebra $\mathfrak{h}$ of $\mathfrak{g}$. For ...
3
votes
1
answer
212
views
Seeking a combinatorial proof for the invariance of a $q$-series
Start with some notations: $(a,q)_n=(1-a)(1-aq)\cdots(1-aq^{n-1})$, shortened by $(a)_n$, and $(a)_{\infty}=\prod_{k=0}^{\infty}(1-aq^k)$.
It's easy to verify (using algebraic means) that, for each $...
15
votes
4
answers
869
views
What is known about ordinary character values at involutions?
Let $G$ be a finite group and let $\chi$ be the character of an irreducible complex representation $\rho$ of $G$ on $V$.
Let $x$ be an involution in $G$.
I'd like to ask the following
Question 1:
...
18
votes
1
answer
566
views
Subgroup $\mathrm{E}_6$ generated by $\mathrm{Spin_7}$ and $\mathrm{SL}_3$
Let $\mathbb{O}$ be the octonion algebra (say over $\mathbb{R}$) and let $J_{3}(\mathbb{O})$ be the set of $3 \times 3$ hermitian matrices with octonion coefficients, that is:
$$ J_3(\mathbb{O}) = \...
0
votes
0
answers
91
views
Image of Frobenius element under irreducible representation is diagonalizable
Let $K/ \mathbb Q$ be a Galois extension, and $\rho$ be an irreducible representation of the Galois group $Gal(K/ \mathbb Q)$. Consider an integer prime $p$ which doesn't ramify in $K$, and let $\...
3
votes
0
answers
105
views
Invariant theory of the indefinite orthogonal groups
I believe the following statements are true:
Let $V$ be a finite-dimensional real vector space with a positive-definite inner product $g$. Let $g_{\otimes n}$ denote the natural extension of $g$ to $...
23
votes
2
answers
859
views
Moments of Plücker coordinates on complex Grassmannian
Consider the Grassmannian $Gr(k,N)\simeq U(N)/(U(k)\times U(N-k))$ which parametrizes $k$-dimensional subspaces of $\mathbb{C}^N$. Let us put on it the $U(N)$-invariant probability measure. Let $\...
4
votes
0
answers
310
views
Irreducibility of the adjoint representation in positive characteristic
Let $G$ be a simple, simply connected, algebraic group over an algebraically closed field $k$ of characteristic $p>0$. Let $Ad$ be the adjoint representation of $G$ on $\mathrm{Lie}(G)$.
Given ...
10
votes
0
answers
234
views
Branching from GL(a+b) to GL(a) x GL(b)$ using Gel'fand-Cetlin patterns
If one iterates the multiplicity-free branching rule from $\operatorname{GL}(n)$ representations (finite-dim, over $\mathbb C$) to $\operatorname{GL}(n-1)$ all the way down to $\operatorname{GL}(0)$, ...
5
votes
0
answers
168
views
Higher analogue of the Auslander-Bridger transpose
Let $A$ be an Artin algebra and $M$ a module with $Ext^i(M,A)=0$ for $i=1,...,n-2$.
Then in case $P_{n-1} \rightarrow ... \rightarrow P_0 \rightarrow M \rightarrow 0$ is the beginning of a minimal ...
6
votes
1
answer
203
views
Question on a subcategory being extension-closed
In the article "Homological theory of noetherian rings" by Idun Reiten from 1996, it was stated that it seems to be not known whether the subcategory $\operatorname{Tr}(\Omega^i(\mathrm{mod}\...
4
votes
0
answers
173
views
Reference for equivariant derived Künneth formula
I'm looking for a reference for the following statement in as much generality as possible, assuming it is correct.
Let's $X$ and $Y$ be "spaces" with a $G$-action. We can take the $G$-product defined ...
5
votes
2
answers
281
views
Isomorphism for Ext spaces for finite dimensional algebras
Let $A$ be an Artin algebra with enveloping algebra $A^e$.
Then we have $Hom_{A^e}(X,A^e) \cong Hom_A(D(A) \otimes_A X,A)$ for a bimodule $X$. (see for example in the article "A theorem of Green on ...