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

learn more… | top users | synonyms (1)

2
votes
0answers
49 views

Order of metaplectic operator

I have a weak background on this subject. Suppose $S$ be a $2m \times 2m$ symplectic matrix of order $n$. Suppose $W_S$ be the corresponding metaplectic operator on $\mathcal{S}(\mathbb{R}^m)$, the ...
6
votes
3answers
189 views

representations of $S_k \times S_j$

For a group $G$ and a field $K$ let $S(G,K)$ be the sum of the dimensions of the irreducible K representations of $G$. Note that $S(G,\mathbb{C})< |G|$. It's not difficult to prove that if $n \ge 6$...
6
votes
1answer
156 views

$U(n)$-submodules of ${\rm SO}(2n)$-modules

Let $\Gamma_{(\lambda_1, \dots, \lambda_{n})}$ denote an irreducible $SO(2n)$-module with highest weight $(\lambda_1, \dots, \lambda_n)$ and let more specifically $X = \Gamma_{(2\lambda, \dots, 0)}$ ...
1
vote
0answers
210 views

How to check that an ideal of $\mathbb{C}[GL_n]$ is a coideal or not?

Let $I$ be an ideal of $\mathbb{C}[GL_n]$. Are there effective methods or software to check whether $I$ is a coideal or not? Thank you very much. For example, let I be the ideal of $\mathbb{C}[GL_3]$ ...
1
vote
0answers
71 views

Notation clash between a representation and spectral radius

I am currently writing a paper where I need talk both about a representation of a semisimple Lie group (usually denoted by $\rho$), and about spectral radii of linear maps (also usually denoted by $\...
0
votes
0answers
79 views

representation theory in Magma

I have a submodule named sub of a representation named rep in Magma defined in the following way : sub:= Submodules(rep)[4]. I search for its generators using: Generators(sub), but I am not getting ...
14
votes
0answers
325 views

Does the category of G-spectra know G?

I was recently in the situation of having access to the category of $G$-modules (for some group $G$ which I had forgotten), as just a category, i.e. no monoidal structure, together with the forgetful ...
3
votes
1answer
121 views

How to embed $S^2\mathbb{C}^2$ into $S^2S^3\mathbb{C}^2$ and get the ideal of the twisted cubic?

Let $X:=x^3$, $Y:=x^2y$, $Z:=xy^2$ and $W:=y^3$ be the 4 independent generators of $S^3\mathbb{C}^2$, and observe that the kernel of the natural epimorphism (total symmetrisation) $$ p:S^2S^3\mathbb{C}...
5
votes
1answer
118 views

Relation between unipotent cuspidal representations and cuspidal local systems

This could well be a question for reading suggestion. Hope it's not too bad and thanks a lot. So the question is as in the title. What are the relations between the notion of unipotent cuspidal ...
1
vote
1answer
81 views

Jordan algebra of $3 \times 3$ quaternionic hermitian matrices

Let $\mathbb H = \mathbf H \otimes_{\mathbf R} \mathbf C$ be the tensor product of the quaternions with $\mathbf C$, and let $\mathcal J_3(\mathbb H)$ denote the set of $\mathbb H$-hermitian $3 \times ...
3
votes
1answer
91 views

Unclear asymmetry in Lie-algebra module structure on space of linear transformations Hom(V,W)

Let $L$ be a (finite dimensional) Lie-algebra. Let $V, W$ be finite-dimensional vector spaces. If $V,\; W$ are in addition $L$-modules (see, e.g., 6.1 in Humphreys Introduction to Lie Algebras), then ...
30
votes
1answer
880 views

Roadmap to Geometric Representation Theory (leading to Langlands)?

I believe there has been at least one question similar to this one and yet I still think this particular question deserves to have a thread of its own. I'm becoming increasingly fascinated by stuff ...
5
votes
1answer
339 views

On the symmetric group of 2^n elements

Consider the set $ X_1^n=\{1,2,...,2^n\} $. Then define $ X_2^n $ to be the set of two element subsets of $ X_1^n $. I will construct $ X_i $ by induction on $ i $. $ X_i^n $ is the set of two element ...
1
vote
1answer
137 views

Orbital integral for matrix coefficients

I am currently aiming at estimating orbital integrals. Maybe surprizingly, I hope for some help in the compact case (ramified places), in proving the usual formula $$O_\gamma(f) = \int_G f(x^{-1}\...
6
votes
0answers
90 views

Modular double of elliptic quantum group

By studying dynamical quantum Yang-Baxter equations and corresponding $RLL$ relations, Felder defined an elliptic version of quantum group $E_{\tau, \eta}(sl_2)$, which can be understood as $\mathfrak{...
3
votes
1answer
92 views

Vector fields, diffeomorphism subgroups and lie group actions

Let $M$ be a compact smooth manifold. Since any vector field is complete we get a $1$-parameter subgroup for each vector field. Consider the following generalization: Let $\{X_j\} \in Vect(M)$ be a ...
2
votes
0answers
67 views

Action of orthogonal group on the free Lie algebra

This question is somewhat related and inspired by this post of professor Montgomery. The free Lie algebra $L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en....
4
votes
1answer
194 views

Does there exist finite dimensional irreducible representation of Euclidean or Poincare group in which translation and rotation both act nontrivially?

Does there exist any finite dimensional irreducible rep. of Euclidean or Poincare group in which translation and rotation both act nontrivially? Let me firstly clarify my question. For example, we ...
11
votes
3answers
571 views

Philosophy behind cohomological representations

For a given real reductive Lie group $G$, we have the notion of a representation being cohomological using the Lie algebra cohomology. In particular we know that the discrete series representations of ...
2
votes
0answers
142 views

Is there a name for this construction from two representations?

I've come across the following elementary construction in representation theory. Does anyone know if this has a name? Let $G$ be a group and let $V$ and $W$ be two representations. The tensor ...
-1
votes
1answer
114 views

Representations of the $3\times 3$ Heisenberg group [closed]

I am trying to understand how the Heisenberg group is defined because I would like to understand the (irreducible) representations. Following this article given a symplectic bilinear form $\langle, \...
5
votes
2answers
147 views

Cartan subspaces for general algebraic representations

So I feel like asking the following likely open-ended question: What good generalizations of the notion of Cartan subspace do we have? To be precise, let $G\curvearrowright V$ be an algebraic ...
7
votes
1answer
185 views

Hopfian modules

My question is slightly motivated by basic results in linear algebra, for example, that if $F$ is a field then a surjective linear map $F^n \rightarrow F^n$ is injective. More generally, any ...
4
votes
1answer
227 views

Is the direct sum in Maschke's Theorem an orthogonal decomposition?

I am reading a paper on coding theory, and it uses a statement, which was claimed to be a reformulation of Maschke's Theorem. But I felt that was false... Let's say $\mathcal(V):=\mathcal{F}_2^n$ is ...
11
votes
2answers
337 views

Can two rational rotations $F_2 = \langle A, B \rangle \to SO(3)$ efficiently approximate the $3 \times 3$ identity matrix?

Let $A,B$ be two rational rotations: $$ A = \left[\begin{array}{rcc} \frac{3}{5} & \frac{4}{5} & 0 \\ -\frac{4}{5} & \frac{3}{5} & 0 \\ 0 & 0 & 1 \end{array}\right] \quad\...
9
votes
0answers
210 views

Geometric Satake and Restriction

The Geometric Satake correspondence (due to Lusztig, Ginzburg, Mirkovic-Vilonen) relates perverse sheaves on the Loop Group $\hat{G}$ (with their convolution product) to the Representations of the ...
6
votes
2answers
232 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
172 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 ...
4
votes
0answers
105 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
131 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 $A=F(\...
3
votes
0answers
80 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
272 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 $\Lambda$...
5
votes
1answer
199 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
356 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
102 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 ...
2
votes
0answers
147 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 field,...
3
votes
2answers
257 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
83 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
148 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
79 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
89 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 \mathfrak{h}...
5
votes
1answer
107 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
175 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
97 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
113 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
177 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
116 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
186 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 ...