Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [rt.representation-theory]

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

2
votes
2answers
63 views

Symmetry of Casimirs of Lie algebras

The dimensions of the invariant tensors (Casimirs) of the simple Lie algebras are known, but I nowhere could find whether they are completely symmetric or antisymmetric with respect to an variable ...
1
vote
0answers
73 views

Hilbert modular form as a representation of Hecke algebra

I am reading some notes by Snowden and I don't understand a sentence. Clearly, if we have an appropriate $R = T$ theorem then we get a modularity lifting theorem, as $\rho$ defines a homomorphism ...
4
votes
1answer
154 views

Do we have $G(\mathbb A_S) G(k) = G(\mathbb A)$ for sufficiently large $S$?

Let $G$ be a linear algebraic group over a number field $k$. If necessary, assume $G$ is connected and reductive. Let $\mathbb A$ be the ring of adeles of $k$, and $\mathbb A_S = \prod\limits_{v \in ...
2
votes
1answer
53 views

Translation functor on parabolic Verma module

I want to prove that following proposition by using Theorems/propositions in Representations of Semisimple Lie Algebras in the BGG Category $\mathcal{O}$. Define $ \Lambda := \{\nu \in \mathfrak{h}^* ...
-1
votes
0answers
72 views

On Ado´s theorem [on hold]

Suppose that $\mathfrak{h}$ is a Lie sub algebra of a finite-dimensional Lie algebra $\mathfrak{g}$. If $\mathfrak{h}$ admits a faithful linear representation $\rho$, can I find a faithful linear ...
3
votes
0answers
34 views

Intersection of components in Springer fibre of type A

From the standard results on Springer fibers of type A, we know that given a Springer fiber, say $\mathcal{B}_\lambda,$ its irreducible components are all equidimensional and parametrized by standard ...
4
votes
0answers
35 views

Metric structures making the cohomology into a module over a Lie algebra

The cohomology of a closed Kaehler manifold is an $\mathfrak{sl}_2$-module. I think Verbitsky has shown that the cohomology of a closed hyperkaehler manifold is an $\mathfrak{so}_5$-module. For what ...
8
votes
1answer
235 views

Matrix of cosecants appearing in equivariant index computations

In a computation of characters of certain representations of finite cyclic groups which appear as equivariant indices of Dirac operators (using the Atiyah-Bott fixed point formula, cf. [1, Theorem 8....
5
votes
1answer
139 views

Long time existence for heat flow in Corlette-Donaldson Theorem

I'm having some minor confusion about the proof of the Corlette-Donaldson Theorem found here (Theorem 3.14) https://arxiv.org/pdf/1402.4203.pdf For completeness, the statement is as follows. ...
5
votes
2answers
370 views

Plucker relations in orthogonal Grassmannian

Let $G=SO_7$ and let $P$ be the maximal parabolic corresponding to the fundamental weight $\varpi_3$. Since $\varpi_3$ is minuscule, $G/P$ may be fairly easy to study. Is the structure of $G/P$ known ...
3
votes
2answers
169 views

Compactness of the automorphic quotient and genericity

Let $G$ be a reductive group defined over a field $F$. Let $\mathbf{A}$ denote the ring of adeles of $F$. My question is: Assuming the automorphic quotient $[G]=G(F) \backslash G(\mathbf{A})$ is ...
4
votes
1answer
71 views

Volumes of double cosets $KtK$

Let $G$ be the group of rational points of a connected reductive group $\mathbb G$ defined over a non-archimedean local field $F$. For simplicity sake, I assume that $\mathbb G$ is split over $F$. Let ...
4
votes
0answers
70 views

Panyushev's conjectured duality for root poset antichains

In his 2004 paper "ad-nilpotent ideals of a Borel subalgebra: generators and duality" (https://www.sciencedirect.com/science/article/pii/S0021869303006380), Panyushev conjectured (Conjecture 6.1) the ...
-2
votes
0answers
84 views

Trivial modules of group rings [closed]

Let $R=\mathbb{F}_p[D]$ where $D$ is a finite group of order prime to $p$. Let $M$ be any finitely generated (left) $R$-module. If one knows that $\textrm{Hom}_R(\mathbb{F}_p,M)=0$, can one show $M=0$?...
1
vote
0answers
45 views

Question on the proof that the Jacquet module preserves admissibility

Let $P = MN$ be a parabolic subgroup of a reductive group $G$ over a $p$-adic field. For $(\pi,V)$ an admissible representation of $G$, the Jacquet module $(\pi_N,V_N)$ is defined by the action of $\...
5
votes
2answers
278 views

For a fixed dominant weight $\lambda$, are almost all dominant weights in the same coset above it?

First some notation as in e.g. the book by Humphreys on Lie Algebras. Let $E$ be an Euclidean space with inner product $(-,-)$, and denote $\langle v,w \rangle = \frac{2(v,w)}{(w,w)}$. Let $\Phi$ be ...
3
votes
0answers
39 views

Bounds for the finitistic dimension

The finitistic dimension of an algebra is defined as the supremum of all projective dimensions of modules having finite projective dimension. For finite dimensional algebras $A$ with radical cube ...
1
vote
1answer
69 views

Well-definedness of translation functor

Fix $\eta, \nu \in \mathfrak{h}^*$ and write $pr_\eta$ and $pr_\nu$ for the natural projections of the category $\mathcal{O}$ onto $\mathcal{O}_{\chi_\eta}$ and $\mathcal{O}_{\chi_\nu}$. If $L$ is ...
5
votes
0answers
75 views

Generalisation of the Witt–Berman induction theorem

$\DeclareMathOperator{\Aut}{Aut}\DeclareMathOperator{\Ind}{Ind}$I believe I can prove the following induction theorem (modulo carefully checking a few details), and I would like to know whether this ...
0
votes
1answer
56 views

Weyl Group Element $w$ fixing a root, and its presentation as product of simple reflections $w=s_1\dots s_n$

Let $\Phi$ be a root system and $\gamma \in \Phi$ a root. Let $W$ be the Weyl group and $\Delta$ a set of simple roots. Let $w \in W$ such that $w(\gamma)=\gamma$. Is it true that if $w=s_1\dots s_n$ ...
3
votes
0answers
80 views

Adams operation on the rational homology

The Adams operation acts on the algebraic $K$-theory of $R$ but the action as far as I know doesn't come from a endo-functor on the category of projective modules over $R$. For the $K_0$ there is an ...
11
votes
3answers
439 views

Nonnegativity of an integral over the unitary group

For an $n$-by-$n$ unitary matrix $U$ and a permutation $\sigma\in S_n$, let $$w_\sigma=(-1)^\sigma\det(U^*)\prod_{i=1}^n U_{i,\sigma(i)}.$$ Is $\int_{U(n)}\mathrm{Re}(w_{\sigma_1})\mathrm{Re}(w_{\...
5
votes
3answers
363 views

Existence of a weight of a representation in the fundamental Weyl chamber

Let $\mathfrak g$ be a complex simple Lie algebra. Fix a Cartan subalgebra $\mathfrak h$ of $\mathfrak g$, let $\Delta$ denote the corresponding root system. Pick a partial order on $\mathfrak h$, ...
1
vote
0answers
108 views

Definition of Symplectic Motive

I just started reading a paper "On the Langlands correspondence for symplectic motives" by Benedict H. Gross, which talks about Symplectic Motives. The paper starts with the following Let $M$ be a ...
1
vote
0answers
46 views

Uniqueness of Equivariant Harmonic Map for Surface Group Representation

In section 1.2 of https://arxiv.org/pdf/1311.2919.pdf the following result is stated. $\textbf{Theorem}$ (Labourie). Let $S$ be a closed Riemann surface of negative Euler characteristic, $Γ$ its ...
4
votes
4answers
291 views

Homology of solvable (nilpotent) Lie algebras

Let $\mathfrak{g}$ be a solvable Lie algebra over $\mathbb{C}$ and $\lambda\in(\mathfrak{g}/[\mathfrak{g},\mathfrak{g}])^*$ be a character of $\mathfrak{g}$. I'm interested in calculating homology for ...
2
votes
0answers
71 views

Peter–Weyl theory for vector fields

Let $G$ be a compact Lie group. The classical Peter-Weyl theorem shows that $L^2(G)$ splits into an orthogonal direct sum of irreducible finite-dimensional unitary representations of $G$. This is a ...
3
votes
1answer
64 views

Convex Hulls of Demazure Modules

Let $G$ be a semisimple algebraic group over $\mathbb{C}$ and for a highest weight $\lambda$, denote by $V_{\lambda}^w$ the Demazure module associated with $\lambda$ and $w$. More precisely, $V_{\...
2
votes
1answer
87 views

Schur index of a representation and its divisors

We fix following objects: (1) $G$ is a finite group. (2) $\chi$ is complex irreducible character of $G$. (3) $m$ is the Schur index of $\chi$ w.r.t. the rational field $\mathbb{Q}$. (4) All the ...
2
votes
1answer
67 views

Exhaustion of restrictions of holomorphic / antiholomorphic representations

Let $G$ be a simple Lie group of Hermitian type, and $G'$ be a reductive subgroup of $G$. Suppose that $G'$ is also of Hermitian type and contains the center of the maximal compact subgroup of $G$. ...
5
votes
1answer
228 views

Automorphism group of the special unitary group $SU(N)$

Let us consider the automorphism group of the special unitary group $G=SU(N)$. We know there is an exact sequence: $$ 0 \to \text{Inn}(G) \to \text{Aut}(G) \to \text{Out}(G) \to 0. $$ For $G=SU(2)...
3
votes
2answers
249 views

Problem based representation theory book

I am trying to find books similar in the spirit of Ram Murty's Problems in Analytic Number theory or Murty Esmonde's Problems in Algebraic number theory in the field of Representation Theory (of ...
3
votes
0answers
34 views

Koszul and quadratic algebras with Gorenstein dimension 2

In proposition 2.19. of http://inmabb.criba.edu.ar/revuma/pdf/v48n2/v48n2a05.pdf it was mentioned that a finite dimensional algebra of global dimension 2 is quadratic if and only if it is Koszul. ...
3
votes
2answers
119 views

On Auslander algebras

Given a connected quiver algebra $A$ that is representation finite, the Auslander algebra $B_A$ of $A$ is defined as the endomorphism ring of the direct sum of each indecomposable $A$-module. It is ...
2
votes
1answer
113 views

Classification of commutative Frobenius algebras

Are there attempts to classify commutative finite dimensional Frobenius algebras? They appear often in mathematics, such as in algebraic geometry and the famous category equivalence between ...
5
votes
1answer
128 views

Ideals of commutative Frobenius algebras

Given a finite dimensional commutative (connected=local) Frobenius algebra $A$ over a field $K$. Question 1: Does $A$ have only finitely many ideals? (the answer should be no in the non-commutative ...
2
votes
0answers
62 views

Why are the quantum Fock spaces in FLOTW the same as Uglov's?

Theorem 2.5 in the well-known FLOTW paper [1] and Theorem 2.1 in Uglov's paper [2] both refer to the original JMMO paper [3] to define quantum Fock spaces, i.e. Fock spaces for $U_q(\widehat{\...
5
votes
2answers
231 views

Transitive embedding of the projective space $\Bbb R P^2$ into the $4$-sphere

Is there an embedding (i.e. injective continuous map) $$\phi:\Bbb R P^2\hookrightarrow S^4\subseteq\Bbb R^5$$ of the 2-dimensional projective space $\Bbb R P^2$ into the $4$-sphere, that is ...
5
votes
2answers
147 views

Indecomposable, non-simple, modules of quantum groups at roots of unity

Let us consider the quantum group $U_q(\mathfrak{sl}_2)$ (as defined in Kassel's book on quantum groups), for $q$ being a root of unity of order $d$ (i.e., $d$ is the smallest positive integer for ...
5
votes
0answers
104 views

Lusztig's completion for universal enveloping algebra

In Arkhipov, Bezrukavnikov and Ginzburg's paper "Quantum Groups, the loop Grassmannian and the Springer resolution", they mentioned that Lusztig introduced a certain completion for universal ...
3
votes
0answers
45 views

Number of algebras stably equivalent to a given algebra

For $n \geq 2$ let $B_n$ be the algebra of upper triangular matrices over a field $K$. Recall that two algebras are said to be stably equivalent in case their module categories modulo projectives are ...
1
vote
0answers
50 views

Weyl theorem for non specified primitive root of unity

Let $\omega=e^{2i \pi/p}$. Weyl theorems give all representations of matrix algebra span by $A,B$ such that either $AB=\omega BA, A^p=B^p=I$, or $(k,l)\mapsto A^kB^l$ is a irreducible ...
2
votes
0answers
147 views

What are the points about representation of groups? [closed]

For a fixed (let say finite-, or Lie-, to respect the historical motivations) group, why does the study of all its linear representations over a fixed field, leads to some knowledge about its ...
3
votes
1answer
136 views

Generalization of Jordan's Lemma $A^2=B^2=I$ can be 2-block diagonalized

One of Jordan's lemma states that if two orthogonal matrices $A,B$ are such that $A^2=B^2=I$, then they can be co-diagonalized by block of size 2. (the proof is easy, consider $x$ an eigenvector of $A+...
1
vote
1answer
80 views

Relative position and change of torus

Let $G$ be a connected split reductive group over a field $k$ of characteristic $0$. Let $T$ and $T'$ be two split maximal tori of $G$ and $B \supset T, B' \supset T'$ be two Borel subgroups of $G$. ...
8
votes
3answers
422 views

Tannaka duality for semisimple groups

Tannakian formalism tells us that for any rigid, symmetric monoidal, semisimple category $\mathcal{C}$ equipped with a fiber functor $F: \mathcal{C} \to Vect_k$ for a field $k$ (of characteristic $0$) ...
3
votes
0answers
61 views

Weyl theorem - possible corollary - alternative characterization of projective representation of $Z_N\times Z_N$

For an integer $N$, let $\omega=e^{2i\pi/N}$ and $A$, $B$ be the clock and shift operators: $A=\left(\begin{matrix} 1 & 0 & \cdots & 0 \\ 0 & \omega & \cdots & 0 \\ \vdots &...
2
votes
0answers
61 views

Centraliser of $\Delta U$ in $U\otimes U$

Let $U$ be a universal enveloping algebra of a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$. What is a good reference for the centralizer of $\Delta (\mathfrak{g})$ in $U \otimes U$ ? Here $\...
6
votes
2answers
223 views

Subalgebra of a group algebra

Let $k$ be a field, $G$ a finite group, and $k[G]$ the group algebra. Let $A$ be a subalgebra of $k[G]$. In general, $A$ is not the group algebra of some subgroup $H$ of $G$. Question: Is there any ...
2
votes
0answers
74 views

When is the category of complexes of finite type?

For a ring $R$ define the category of complexes of length $n \geq 2$ as the category $C_n(R)$ with objects the complexes of the form $0 \rightarrow X_n \rightarrow \cdots X_1 \rightarrow 0$ with the ...