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

learn more… | top users | synonyms (1)

5
votes
3answers
213 views

Text for studying group representations in the context of (abstract) harmonic analysis

I would like to study elements of representation theory as I often encounter it when reading texts on harmonic analysis. I was therefore curious if someone could recommend a book for this. When ...
5
votes
1answer
200 views

Motivating the existence of Canonical Bases for Representations

In Representation Theory, the theme of the existence of a canonical basis has been explored quite a lot. I will limit myself in this question to the kind of canonical bases that arise from the ...
2
votes
0answers
199 views

Show that $SL_2(\mathbb{F}_p)$ is quasi-random

Terry Tao gives this oblique definition of quasirandom group in his notes 3 $G$ is quasi-random (of order $D$) if all non-trivial unitary representations $\rho: G \to U(H)$ have dimension at ...
2
votes
1answer
126 views

No cuspidal character sheaves on GL(n)

We need a reference for the fact that there are no cuspidal character sheaves on $GL_n$ unless $n=1$. See page 11 of http://www.kurims.kyoto-u.ac.jp/~arakawa/Henderson_mgsctalk2.pdf.
2
votes
0answers
96 views

Orthogonality relations for unitary representations of infinite (finitely generated) groups

Let $G$ be a group, and consider the matrix elements of finite dimensional irreducible unitary representations of $G$ over $\mathbb{C}$ as functions $f:G\to \mathbb{C}$. If $G$ is finite, any two ...
3
votes
2answers
177 views

Do all reductive group schemes over semilocal rings admit finite-dimensional free faithful representations?

The definition of a reductive group scheme is as in SGA III. Frankly, I only know that they exist for the adjoint group (the adjoint representation). In SGA III, I could only find a result for general ...
10
votes
0answers
442 views

Local proof of Grothendieck-Riemann-Roch theorem

There is a theorem by Feigin and Tsygan(Theorem 1.3.3 here) which they call "Riemann-Roch" theorem. Given a smooth morphism $f:S\to N$ of relative dimension $n$ and a vector bundle $E/S$ of rank $k$ ...
5
votes
1answer
178 views

Auslander-Reiten theory for Gorenstein algebras

In the paper "Cohen-Macauley and Gorenstein artin algebras", Auslander and Reiten have a short section about Auslander-Reiten theory in Gorenstein algebras (I always assume we have an artin algebra ...
7
votes
1answer
197 views

Characters of simply connected semsimple algebraic groups over local fields

Let $G$ be a semisimple algebraic group over $\mathbb{Q}_p$. Then by definition $G$ admits no non-trivial algebraic characters, i.e. homomorphisms $G \to \mathbb{G}_m$. However, it is quite possible ...
3
votes
1answer
98 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
85 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
125 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
56 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
101 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
108 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
115 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
82 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
51 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
87 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
52 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
374 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
252 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
234 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
66 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
66 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
413 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
382 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
311 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
226 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
79 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
217 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
526 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
273 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
258 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 ...
3
votes
1answer
95 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
294 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
147 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
424 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
160 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
540 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,...
9
votes
2answers
361 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
87 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
49 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
288 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
316 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
308 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
137 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 ...