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

learn more… | top users | synonyms (1)

3
votes
1answer
100 views

Reference request: Principal series are equal in the Grothendieck group

In the usual setup, consider the category of Harish-Chandra $(\mathfrak{g},K)$-modules with given central character (if the central character is regular, this is equivalent to $K$-equivariant $D$-...
1
vote
0answers
87 views

References of an operator $T: V \otimes V \to V \otimes V$

Let $V$ be a vector space with a basis $v_1, \ldots, v_n$ and let $X_{ij} = v_i \otimes v_j$. Then $X_{ij}, i,j=1,\ldots, n$, is a basis of $V \otimes V$. Let $T: V \otimes V \to V \otimes V$ be the ...
4
votes
0answers
127 views

Distributions and functions on the Jacquet module $C_c^\infty(X)_{H,\chi}$

Let $X$ be an $\ell$ space (in the sense of Bernstein-Zelevinski), $H$ be an $\ell$ group which acts on $X$ and $\chi$ be a character of $H$. Denote $C^\infty(X)^{H,\chi}$ the space of locally ...
3
votes
0answers
65 views

Eigenspaces of the Laplace operator on a unit ball

I am interested in structures of the eigenspaces of the Laplace operator on the $n$-dimensional unit ball with Neumann or Dirichlet boundary conditions as representations of the special orthogonal ...
2
votes
1answer
112 views

How to obtain a classical r-matrix from a quantum R-matrix?

Let $R$ be a quantum R-matrix. Is there a procedure to dequantize $R$ and obtain a classical r-matrix? Thank you very much.
0
votes
0answers
80 views

How to write a braiding as a matrix?

Let $V$ be the vector representation of $sl_n$. Then $V \otimes V$ is a $U_q(sl_n)$-module. Suppose that a braiding \begin{align} \Psi: V \otimes V \to V \otimes V \end{align} satisfies the ...
0
votes
1answer
109 views

Is the cross product $A \rtimes H$ a bialgebra?

Let $H$ be a bialgebra and $A$ a $H$-module algebra. The cross product $A \rtimes H$ is defined as follows. As a vector space $A \rtimes H = A \otimes H$. The multiplication on $A \rtimes H$ is ...
3
votes
1answer
120 views

Is there a matrix representation of the permutation group whose character is the Markov trace?

Let $g$ be an element in the permutation group (symmetric group) $S_N$. Define the Markov trace of $g$ (denoted $\text{tr}_k g$) as $$\text{tr}_kg = k^\text{number of cycles in $g$} ,$$ which depends ...
2
votes
0answers
88 views

Computing characters of $\alpha$-projective representations

Given a finite group $G$, a finite cyclic group $A$ (viewed as a subgroup of $\mathbb{C}^{\times}$, i.e. generated by a $|A|$-th root of unity), and a 2-cocycle $\alpha\in Z^{2}(G,A)$. Recall that an $...
3
votes
0answers
52 views

Isometry from a representation to the representation tensored with itself

Suppose, the group $ G=S(2^{\infty})$ has a unitary representation $ \pi $ on a separable infinite dimensional Hilbert space $ H $. (The group $ S(2^{\infty}) $ is the direct limit of the following ...
2
votes
1answer
89 views

The socle of cokernel of irreducible monomorphisms in the AR quiver of type An/I is simple

The socle of cokernel of irreducible monomorphisms in the AR quiver of type An/I is simple. I believe that this result is hidden in a more general result in some articles, I tried to find a lot but ...
5
votes
0answers
57 views

Are square-integrable representations of a general locally compact group tempered

Let $G$ be a locally compact unimodular group with center $Z$ and let $\omega$ be a unitary character of $Z$. To fix the discussion, an irreducible unitary representation $\pi$ with central character $...
8
votes
2answers
397 views

Simplest explicit counterexample for $Vect(BG) \ne Rep(G)$ as monoids

Let $G$ be a topological group, $Vect(BG)$ the monoid of complex vector bundles over its classifying space (not the stack!) and $Rep(G)$ its monoid of complex representations. Generally $Vect(BG) \ne ...
4
votes
1answer
260 views

Geometric construcion of Proj as a quotient by a $\mathbb{G}_m$ action

I'm trying to translate the Proj construction as a kind of quotient by a $\mathbb{G}_m$ action. Here's what I have so far: Let $X=Spec A$ be an affine scheme (after this case is setteled I imagine it ...
2
votes
1answer
236 views

The Quasimirs and Casimirs of a Lie algebra

Casimirs are not completely trivial to compute, and somewhat ill defined (if $C_4$ is a quartic casimir and $C_2$ a quadratic, $C_4'=C_4+p*C_2^2+q*C_2$ is another quartic casimir). With generalized ...
2
votes
0answers
68 views

Bialgebraic structure of Sklyanin algebra

Does Sklyanin algebra (which is an elliptic extension of the quantum group) admit a bialgebra structure or even Hopf algebraic structure? Or is it proved that it is impossible to have such a structure?...
4
votes
0answers
67 views

Points of failure in definition of X- and A-moduli spaces for arbitrary G

In their work [0] on defining notions of higher Teichmüller space for local systems on surfaces, Fock and Goncharov require split reductive Lie groups, and sometimes also require simple-connectedness. ...
6
votes
2answers
425 views

Socle of tilting modules in the BGG category $\mathcal{O}$ over a semisimple Lie algebra

Suppose that $\mathfrak{g}$ is a finite dimensional, complex, semisimple Lie algebra. Let $\mathcal{O}$ be the BGG category over $\mathfrak{g}$. Tilting module theory play an important role in the ...
6
votes
1answer
395 views

Is it true that irreducible generic representations of $G_2(F)$ are self-dual?

Let $G_2$ be the split exceptional group of type $G_2$ and $F$ be a p-adic field. Is it true that every irreducible smooth representation of $G_2(F)$ is self-contragredient? If the answer is Yes, can ...
7
votes
2answers
320 views

Examples to keep in mind while reading the book 'The Admissible Dual…' by Bushnell and Kutzko and the importance of Interwining of representations

I am a beginner in the field of representation theory. I was reading the book 'The Admissible Dual of $GL(N)$ Via Compact Open Subgroups' by Bushnell and Kutzko. Let me first describe the book a ...
7
votes
1answer
229 views

Integral representation of adjoint L-factor for GL(2)

My question is about a local computation in the paper of Gelbart and Jacquet, "A relation between automorphic representations of GL2 and GL3", from 1978. Let $\sigma$ be an irreducible smooth complex ...
1
vote
0answers
81 views

extension for a complex operator

Let be $\lambda>0$. Put $$ L_{\lambda}=\Big[-\frac{\partial^{2}}{\partial z \partial \overline{z}}+\lambda^{2}|z|^{2} +\lambda\Big(\overline{z}\frac{\partial}{ \partial \overline{z}}-z\frac{\...
3
votes
2answers
225 views

sum over all integer partitions, of the product of the factorials of the terms

I'm looking for something making tractable the sum, over all partitions into k terms of an integer n, of the product of the factorials of all the terms. Thanks,
3
votes
0answers
75 views

Bott-type vanishing results for the weighted Grassmannian wGr(2,5)

If $G=Gr(k,n)$ denotes the Grassmannian of k-dimensional subspaces in $V= \mathbb C^n$, representation theory gives us a Bott-type result for the cohomology groups $H^q(G, \Omega^p(k))$ of the twisted ...
15
votes
1answer
538 views

Swan K-theory of Z/4

Given a finite group $G$ and a commutative ring $R$, define the Swan $K$-theory $K_0(G, R)$ to be the Grothendieck group of the category finitely generated projective $R$-modules with $G$-action (with ...
1
vote
2answers
282 views

How to write $\mathbb{C}[G/U_-]=\oplus_{\lambda} V_{\lambda}$ explicitly?

Let $G=GL_n$ and $U_-$ the set of all lower unipotent triangular matrices. Then by Gauss Decomposition, we have $G = U_-B$, where $B$ is the set of all upper triangular matrices. The group $U_-$ acts ...
4
votes
0answers
268 views

Auslander-Reiten-Quivers of representation-finite algebras having different 3-dimensional forms

I am looking for references, where I can find (pictures of) connected Auslander-Reiten-Quivers of representation-finite $k$-algebras ($k$ is a (preferably, but not necessarily finite) field) with one ...
4
votes
1answer
123 views

Vanishing of power of nilpotent operator $\mathrm{ad} \, \;e$ in different characteritics

This question needs some background: (1) In his influential 1959 paper here, Kostant studied the adjoint representation of a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (which can be ...
12
votes
1answer
299 views

Definition of discrete spectrum and continuous and basic properties

I apologize if this is too basic for MO. I have an embarrassing admission to make: I don't know the actual definition of the discrete/continuous spectrum of a reductive group $G/\mathbb{Q}$ (in the ...
3
votes
0answers
148 views

For $P$ $\mathbb{Z}G$-projective, $\mathbb{Q}\otimes P$ is $\mathbb{Q}G$-free

I'm looking for a proof of a theorem of Swan [1, Theorem 3]: If $G$ is a finite group and $P$ a finitely generated projective $\mathbb{Z}G$-module, then $\mathbb{Q}\otimes_\mathbb{Z}P$ is a free $...
10
votes
2answers
434 views

From Weyl groups to Weyl groupoids?

I'm trying to find a framework where the choices in the classical construction of a root system of a semi-simple lie algebra are not needed. Let $\mathfrak{g}$ be a semisimple lie algebra. ...
1
vote
1answer
163 views

Rank of a locally free $\mathbb Z[G]$-module

This is a basic question. Let $G$ be a finite group, $M$ a finitely generated $\mathbb Z[G]$-module so that the $\mathbb Z_p[G]$-module $M_p$ is free for all prime numbers $p$, i.e. is locally free. ...
2
votes
0answers
77 views

Dimension of curvature invariants

EDIT: Let $V$ be a Euclidean space and let $O(V)$ denotes its orthogonal group. Let $K(V)\subset Sym^2(\wedge^2(V))$ denote the subspace of curvature tensors, i.e. the subspace of elements satisfying ...
22
votes
1answer
547 views

Does $E_8$ know $Spin(7)$?

One way to define the compact group $Spin(7)$ is as the stabilizer of a certain 4-form on Euclidean $\mathbb R^8$ (see e.g. this MO question). This 4-form can be defined in various ways. For example,...
10
votes
2answers
389 views

Representation viewpoint on Chern Weil (cohomology computations done with rep theory?)

Let $G$ be a compact lie group. Chern-Weil theory tells us that there's a homomorphism: $$H^{*}(BG;\mathbb{R}) \to (Sym^{\bullet} \mathfrak{g^*})^G$$ Which in our case is an isomorphism since $G$ ...
2
votes
0answers
92 views

Primitive ideal space and unitary dual of a [SIN] group - when are they Hausdorff?

Recall that a locally compact group $G$ is said to be an $[FC]^-$ group, if each conjugacy class in $G$ has a compact closure; an $[SIN]$ group, if each neighborhood of the identity includes a ...
1
vote
0answers
50 views

Integrable modules and comodules

Let $G$ be a semisimple Lie group and $\mathfrak{g}$ its Lie algebra. Do we have the following result: $V$ is an integrable $U(\mathfrak{g})$-module if and only if $V$ is a $\mathbb{C}[G]$-comodule? ...
5
votes
0answers
317 views

Deligne's theorem on the characterisation of Tannakian categories

I am trying to understand the proof of the Theorem 7.1 from Catégories Tannakiennes by Pierre Deligne https://publications.ias.edu/sites/default/files/60_categoriestanna.pdf. Essentially, it is ...
5
votes
3answers
327 views

Character Values for Alternating Groups of degree $\geq 7$

Is it true that in each row and column of the character table of alternating groups with degree $\geq 7$ there are at most two complex values? Any reference will be highly appreciated.
9
votes
1answer
311 views

A careful roadtrip from locally symmetric spaces to algebra

I'm trying to break the classification of locally riemannian symmetric spaces to little steps to make it more comprehensible (and s.t. the technical details can be verified without drowning completely)...
1
vote
0answers
141 views

Deformation of a Hopf algebra

A deformation of a Hopf algebra is defined as follows. On page 171 of the book a guide to quantum groups, Remark 2, it is said that Any deformation of a Hopf algebra $A$ as a bialgebra is ...
6
votes
2answers
199 views

“Diagonalizing” Littlewood-Richardson coefficients

Let's consider the Littlewood-Richardson coefficients $c^{\lambda}_{\mu \nu}$ so that \begin{equation} V_\mu \otimes V_\nu = \bigoplus_\lambda V_\lambda^{\oplus c^{\lambda}_{\mu \nu}} \end{equation} ...
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
192 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
158 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
212 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
72 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
327 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
122 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}...