Questions tagged [rt.representation-theory]

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

Filter by
Sorted by
Tagged with
2
votes
0answers
18 views

Multiplication formula in Grassmannian cluster categories

Grassmannian cluster categories are studied in A categorification of Grassmannian cluster algebras and Cluster categories from Grassmannians and root combinatorics. The category $CM(B_{k,n})$ of Cohen-...
4
votes
0answers
84 views

The Jacobson radical as a bimodule

Let $A$ be a finite dimensional algebra with Jacobson radical $J$. Question 1: In case $A$ is a Nakayama algebra with a linear quiver corresponding to a Dyck path $D$ (via its Auslander-Reiten ...
2
votes
0answers
31 views

Real non-principal 2-blocks for finite groups of Lie type

Is it true that each finite group of Lie type has a non-principal real $2$-block? Here the principal block is the one containing the trivial character and a block is real if it contains the complex ...
1
vote
0answers
29 views

Dual of smooth induced representation

Let $G$ be a locally profinite group with a closed subgroup $H$ and a smooth representation $(\pi,V)$ . Denote by $Ind_H^{\infty,G}(\pi)$ the smooth induced representation of $\pi$. Is there a nice ...
0
votes
0answers
60 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 $\...
2
votes
0answers
52 views

General construction of enveloping C*-algebra, left/right-regular representation, etc

In a number of contexts (e.g. groups, crossed products, groupoids, Fell bundles) there are similar constructions of enveloping C*-algebras and left/right-regular representations that incorporate ...
3
votes
0answers
104 views

Question on the proper sub-representation of induced representation

$\DeclareMathOperator\Ind{Ind}$Let $G$ be a reductive group over a $p$-adic local field $F$, and $P=MN$ a parabolic subgroup. Let $\sigma$ be an irreducible representation of $M(F)$ and consider its ...
3
votes
0answers
39 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 $...
10
votes
0answers
139 views

Moments of Plücker coordinates on complex Grassmannian and log-concavity

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 $\...
6
votes
0answers
79 views

An integral Jacobson-Morozov theorem?

$\DeclareMathOperator\SL{SL}$I want to ask if there exists a version of the Jacobson–Morozov theorem for integer matrices. A first approximation would ask: given an integral unipotent matrix $m \in \...
4
votes
1answer
220 views

Surjectivity in Deligne-Serre

Let $f$ be a newform of weight $k$ and level $N$ with integer coefficients. Deligne-Serre theorem theorem says there exist a nice associated representation $\rho_{f}^{(\ell)}:\text{Gal}(\overline{\...
2
votes
0answers
23 views

Proof of parametrisation of $\hat{\mathfrak{g}}$-intertwiners of induced modules of affine Lie algebras

I am not 100% sure that this question belongs here, since I think the topic does but the specific problem I have might not. Feel free to tell me so if this is the case. It concerns the proof of ...
3
votes
0answers
34 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 ...
2
votes
0answers
84 views

Is the derived category of local systems equivalent to the derived category of sheaves of vector spaces with local system cohomology?

Let $k$ be a field and $X$ a topological space. Write $\mathrm{Sh}(X)$ for the category of sheaves of vector spaces on $X$, and $\mathrm{Loc}(X)$ for the subcategory of local systems of finite ...
4
votes
2answers
146 views

Confusion over spin representation and coordinate ring of orthogonal Grassmannian

This is a copy from MSE where the question did not attract much attention. I'm working over $\mathbb{C}$ here. Let $G=\mathrm{SO}(2n+1)$ be the odd orthogonal group, and $P$ be the maximal parabolic ...
3
votes
1answer
114 views

Level vs. conductor of a supercuspidal representation

What is the relation between level and conductor of a supercuspidal representation of $\operatorname{GL}_2(\mathbb{Q}_p)$ for some prime $p$? Proposition 3.4 in Loeffler and Weinstein - On the ...
5
votes
1answer
164 views

Finite group ${\rm Sp}_4({\Bbb F}_3)$: involutions coming from a 4-dimensional complex representation

I am interested in the finite unitary reflection group $G= G_{32}$, the group No. 32 in Table VII on page 301 of the paper: Shephard, G. C.; Todd, J., A. Finite unitary reflection groups. Canad. J. ...
2
votes
1answer
92 views

How is Harish-Chandra restriction compatible with Harish-Chandra series?

Suppose $G$ is a connected reductive group over $\overline{\mathbb{F}}_p$, with Frobenius $F$. Let $(L_0,\Lambda_0)$ be a cuspidal pair with $L_0$ a Levi subgroup of a Levi subgroup $L$, and let ${^{\...
12
votes
0answers
261 views

Combinatorial proof of invertibility of a symmetric matrix associated to the ring of matrices over a finite field

Let $F$ be a finite field of $q$ elements with characteristic $p$. Let $M_n(F)$ be the ring of $n\times n$ matrices over $F$. We define a $q^{n^2}\times q^{n^2}$ symmetric matrix $L$ over the ...
1
vote
0answers
60 views

Coefficient ring of Satake isomorphism

Let $G$ be a split reductive group over local field $F$, $G^L$ be the (complex) Langlands dual group of $G$. Denote $H$ to be the $\mathbb{Z}$-Hecke algebra of $G$, that is the ring of $G(\mathcal{O}...
2
votes
1answer
166 views

A question related to newform and irreducible cuspidal representation of $\operatorname{GL}_n$

I was reading adelization of classical automorphic forms and learnt that each cusp form corresponds to an automorphic representation of $\operatorname{GL}_n(\mathbb{A}_\mathbb{Q})$. I understood the ...
2
votes
1answer
99 views

Decomposition of the homogeneous polynomial ring $\{\mathbb R[x_{ij}]_{1\le i,j\le n}\}$ of degree 2 into Specht modules

I have tried to decompose this as following spans over the real field. $V_1=\operatorname{span} \langle x_{ij}^2\rangle$ $V_2=\operatorname{span} \langle x_{ij}x_{jk}\rangle$ $V_3=\operatorname{...
3
votes
1answer
122 views

Coinvariants of tensor products of Hopf algebras

Let $G$ be a Hopf algebra, considered as a right $G$-comodule in the obvious way. The axioms of Hopf algebras imply that $$ G^{coinv(G)} == \{g \in G : \Delta(g) = g \otimes 1\} = \mathbb{C}1. $$ ...
9
votes
2answers
249 views

Decomposing a polynomial ring into Specht Modules

Let $S_{\pi}$ where $\pi$ is an integer partition of $n$, denote the Specht module corresponding to $\pi$. I am trying to decompose the set of all homogeneous polynomials in $x_1,x_2,...,x_n$ ...
6
votes
2answers
309 views

Representation of central extension

Let $G$ be a finite abelian group of rank $n$ and $H\rightarrow G$ a central extension with cyclic finite kernel. Is it true that we can find a faithful representation $H\rightarrow {\rm GL}_{k(n)}(\...
4
votes
1answer
164 views

A transversal for the $\operatorname{Ad}(K)$ action on a sphere in $\mathfrak{p}$

This exercise level question has been unanswered on MSE for a few years. I hope you can answer it either there or here. $G$ is a semisimple Lie group with a choice of Cartan decomposition on its Lie ...
8
votes
0answers
90 views

Branching from $GL(a+b)$ to $GL(a)\times GL(b)$ using Gel'fand-Cetlin patterns

If one iterates the multiplicity-free branching rule from $GL(n)$ representations (finite-dim, over $\mathbb C$) to $GL(n-1)$ all the way down to $GL(0)$, one obtains triangular "Gel'fand-Cetlin (or ...
1
vote
0answers
84 views

Do you recognise this setup of structure on a poset?

The setup is that we have a finite poset $P$, with a multiplicative rank function $r_{xy}:P\times P\rightarrow \mathbb{N}$, and a symmetric pairing $\langle\ ,\ \rangle:P\times P\rightarrow\mathbb{N}$....
2
votes
0answers
250 views

Closed form for Jacobi sum $\sum_{a\in \mathbb{F}_{p^2}}\chi(a)\chi(1-a)$

Let $\mathbb{F}_{p^2}$ be a field with $p^2$ elements and $\chi:\mathbb{F}_{p^2}^*\to\mathbb{C}^{*}$ be a multiplicative and non-trivial character on the multiplicative group $\mathbb{F}_{p^2}^*$ (...
2
votes
1answer
116 views

Almost split sequences coming from bimodules

Let $A$ be a finite dimensional algebra with enveloping algebra $A^e$. Auslander and Reiten proved in "On a theorem of E. Green on the dual of the transpose" that $Hom_A(Tr_{A^e}(A),M) \cong \tau(M)$ ...
2
votes
0answers
44 views

Bimodule isomorphism for representation-finite blocks of the Schur algebra

Let $A$ be a representation-finite block of a schur algebra with $n \geq 2$ simple modules. Then the global and dominant dimension of $A$ are equal to $g=2n-2$. You can find quiver and relations for ...
2
votes
0answers
34 views

Complete list of indecomposable representations of Temperley-Lieb algebras at roots of unity?

The Temperley Lieb algebra $TL_n$ at roots of unity is not semisimple. The standard representations $V_{n,p}$ are indecomposable but, in general, not irreducible. If $K_{n,p}$ is the sub-...
3
votes
1answer
67 views

Effect of extending scalars on maps of modules

Let $k$ be a field and $R$ be a $k$-algebra. Let $M$ and $N$ be left $R$-modules. Finally, let $\ell$ be a field extension of $k$. We thus have an $\ell$-algebra $\ell \otimes R$, and both $\ell \...
1
vote
0answers
32 views

Invariance under derived equivalence of a Gorenstein projective bimodule

A module $M$ over an finite dimensional algebra $A$ is called Gorenstein projective in case there exists an exact complex $(P_i)$ of projective $A$-modules such that the complex stays exact after ...
4
votes
1answer
102 views

Global splitting field for algebras

Let $A$ be a finite dimensional algebra. A field $K$ is a splitting field for an indecomposable $A$-module $M$ in case the local algebra $End_A(M)/(rad(End_A(M))$ is 1-dimensional. $K$ is called a ...
5
votes
0answers
64 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 ...
5
votes
1answer
161 views

Jack function in power symmetric basis

In Macdonald's book, the Jack symmetric function $J_{\lambda}(x_1,\ldots, x_n)$ for a partition $\lambda$ is defined by three properties (orthogonality, triangularity, and normalization). In the ...
2
votes
1answer
78 views

Preprojective algebra of finite dimensional algebras

The preprojective algebra of a module $M$ over a finite dimensional algebra $A$ is defined as $P_M:= \bigoplus\limits_{n=0}^{\infty}{Hom_A(M, \tau^{-n}(M))}$ with the canonical multiplication. ...
5
votes
1answer
100 views

What is the name of the real form corresponding to the quaternionic symmetric space?

Let $G$ be a compact simple Lie group. Choose a system of positive roots, and let $\mathrm{SU}(2) \subset G$ correspond to the highest root, and $\mathbb{Z}/2 \subset \mathrm{SU}(2)$ the centre. The ...
2
votes
0answers
54 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}\text{-}A))...
3
votes
0answers
53 views

Isomorphism of certain irreducible representations over finite fields

We are given a faithful representation of a cyclic group of order 5 $\rho: C_5=G \rightarrow End_{\mathbb{F}_3}(V) $ with $dim_{\mathbb{F}_3}V=8$ as vector space. It is also known that $V=U\oplus W$ ...
2
votes
0answers
32 views

Realization of limit of discrete series using Dirac operators

I wonder if there is a geometric realization of limit of discrete series in the flavor of Atiyah-Schmid or Parthasarathy realizing discrete series using Dirac operators on G/K. I know you can see ...
14
votes
1answer
505 views

History of the notion of irreducible representation

I am looking for the earliest references where the study of irreducible representations appears. There has been many articles and books on the history of representation theory. A fundamental feature ...
4
votes
0answers
118 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 ...
2
votes
0answers
45 views

Dimension bound on invertible bimodules for blocks

A co-author and I have recently proved the following result: Theorem. Let $B$ be a block of a finite group defined over some algebraically closed field $k$ of characteristic $p>0$. If $M$ is a $B$-...
6
votes
0answers
74 views

Mysterious inequality for the homological dimension of modules

Let $A$ be an Artin algebra and $M$ an indecomposable $A$-module. Let $pd(M)$ denote the projective dimension of $M$, $id(M)$ the injective dimension of $M$, $domdim(M)$ the dominant dimension of $M$ ...
4
votes
2answers
282 views

“Simple” proof of irreducible characters of finite groups being non-zero

A search brought up this, with reference to a book by I. M. Isaacs. However, the proof in the book leverages on a lot of field theory knowledge. I am wondering, is there a simpler proof (or a proof ...
3
votes
0answers
62 views

Freeness of completed homology over universal deformation ring

In Theorem 7.4 of the paper "patching and the $p$-adic Langlands program for $\mathrm{GL}2(\mathbf{Q}_p)$" (arXiv link), it is proved that in the minimally ramified case, the completed homology of ...
5
votes
2answers
236 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 ...
6
votes
0answers
165 views

On properties of an algebra as a bimodule

Let $A$ be a two-sided artinian ring. Recall that a module $M$ is said to have dominant dimension at least $n$ in case the terms $I_i$ in the minimal injective coresolution of $M$ are projective for $...

1
2 3 4 5
103