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

learn more… | top users | synonyms (1)

3
votes
1answer
171 views

Maximal Coset representative for the Weyl group of a Parabolic

Let $G=SL_n$ and let $P_i$ be a maximal parabolic corresponding to a simple root say $\alpha_i$. Let $W_{P_i}$ be the Weyl group of $P_i$. Is there an efficient way to compute the longest coset ...
3
votes
0answers
109 views

'Noether normalization' for finite group schemes

Throughout let $p$ be a prime, and let $k$ be a field of characteristic $p$. Let $G$ be a compact Lie group. Such a $G$ can always be embedded as a closed subgroup of $SU(n)$ for some $n$. This ...
1
vote
1answer
88 views

Reference for nonlinearity of covers of $\operatorname{SL}(2,\mathbb R)$

It is known that no nontrivial connected cover of $\operatorname{SL}(2,\mathbb R)$ admits a faithful finite dimensional linear representation (see, for example, page 143 in Fulton-Harris and Exercise ...
2
votes
2answers
151 views

Associated vector bundles and Characteristic Classes

Assume that $P\to M$ is a principal $G$-bundle where $G$ is some (compact) Matrix group. Let $\rho\colon G \to \operatorname{Gl}(\mathbb{R}^n)$ be the tautological representation and $\rho^\prime\...
0
votes
0answers
34 views

Mathematical Definition of $n$-Brouillin Zone [duplicate]

I am having trouble finding a mathematical definition of the Brouillin zone beyond the first, which are basically the Voronoi cells or Wigner-Seitz cells. We could imagine the set of point closer to ...
5
votes
1answer
119 views

Are there any unitary matrices which satisfy the Yang-Baxter equation which are universal for quantum computation?

Let $H$ be a finite dimensional hilbert space. Let $L:H\otimes H\rightarrow H\otimes H$ be a unitary transformation. Then the equation $$(L\otimes I)(I\otimes L)(L\otimes I)=(I\otimes L)(L\otimes I)(I\...
1
vote
0answers
44 views

Comodules of the $B,C$ and $D$ series quantum groups

In Section 11.5 of Klimyk and Schmudgen's book on quantum groups, explicit presentations of the isomorphism classes of comodules of ${\cal O}(GL_q(N))$ are given in terms of its "quantum minors". In ...
6
votes
1answer
116 views

Decay of Fourier coefficients for compact Lie groups

Let $G$ be a compact Lie group, $G^\natural$ the space of conjugacy classes in $G$ with the natural pushforward of $G$'s Haar measure. Let $f\in L^2(G^\natural)$. Then the Peter–Weyl Theorem tells us ...
0
votes
0answers
74 views

Action is determined by a braiding

Let $H$ be a bialgebra over $\mathbb{C}$. Suppose that $V$ is a left $H$-comodule and $W$ is an $H$-module. Then we can defined map $\Psi$ by \begin{align} & \Psi: V \otimes W \to W \otimes V, \\ &...
2
votes
0answers
29 views

Realisation of the preprojective algebras as $F(\Delta)/T$ over some quasi-hereditary algebra

Let $A$ be the Auslander algebra of $K[x]/(x^n)$ for some $n \geq 2$, which is quasi-hereditary with some characteristic tilting module $T$. Dlab and Ringel showed in their paper "The Module ...
3
votes
1answer
170 views

Tensor and symmetric invariants of Symmetric group

For the action of $S_n$ on $\mathbb C^n$ the elementary symmetric polynomials generate the ring of polynomial invariants. What are the generators for the action of $S_n$ on $\mathbb C^n \otimes \...
10
votes
0answers
427 views

Why should Algebraic Geometers and Representation Theorists care about Geometric Complexity Theory?

Geometric Complexity Theory has demonstrated that Complexity Theorists should care about Algebraic Geometry and Representation Theory, but, why should Algebraic Geometers and Representation Theorists ...
6
votes
1answer
90 views

Involutions and Little Adjoint Representations of Simple Algebras

In what follows I'm going to use $V_{\theta_s}$ for the little adjoint representation af a Lie algebra i.e. the representation associated with the highest short rooth $\theta_s$. Is easy to see that ...
1
vote
1answer
44 views

Reference request: compatibility conditions of four versions of Yetter-Drinfeld modules

There are four versions of compatibility conditions of Yetter-Drinfeld modules (left-left, left-right, right-left, right-right) in the article. Are there some references which derive these ...
1
vote
1answer
83 views

How to show that Yetter-Drinfeld condition is equialent to $\Psi$ is a braiding

Let $H$ be a Hopf algebra and $V$ a right $H$-module and right $H$-comodule. The module $V$ is a Yetter-Drinfeld module over $H$ if and only if \begin{align} ( v \triangleleft h_{(2)} )_{(0)} \otimes ...
2
votes
0answers
80 views

Irreducible representations of Sp(2)

I am looking for an explicit description of the finite dimensional irreducible representations of the classical Lie group $\text{Sp}(2) = \{A\in M_2(\mathbb{H})\,|\,A\overline{A}^T = I\}$. I can ...
6
votes
1answer
302 views

Why does the Bogolyubov transformation work? - In language of Clifford Algebras?

Letting the standard Clifford algebra of dimension $2k$ be denoted by $Cl_{2k}$, let's denote the corresponding complex Clifford algebra via $$\mathbb{C}l_{2k}\equiv Cl_{2k}\otimes_{\mathbb{R}}\mathbb{...
2
votes
1answer
69 views

Quiver folding and maximal green sequences

The technique of quiver folding (please see Folding by Automorphisms) can be used to prove statements about non-simply laced quivers (i.e. valued quivers) when they are already known in the simply-...
7
votes
1answer
237 views

Is the dimension of $V//G$ always the same as the dimension of $V^*//G$ ?

I would like to know whether there is an example of a reductive algebraic group $G$ (say, over the complex numbers $\mathbb{C}$) and a finite dimensional representation $V$ of $G$ such that dim$(V//G)$...
1
vote
0answers
48 views

Is $T(V)$ a Yetter-Drinfeld module over $T(V^* \otimes V)$?

Let $V$ be a vector space and $V^*$ the dual vector space. Let $T(V)$ be the tensor algebra of $V$. Is there some action $T(V^* \otimes V) \otimes T(V) \to T(V)$ and coaction $T(V) \to T(V^* \otimes V)...
4
votes
1answer
120 views

Sum of Young symmetrisers of a given shape

Preliminaries and notation: Let $n\in \mathbb{Z}_{>0}$ and $\lambda=(\lambda_1,\lambda_2,\dots,\lambda_s)\vdash n$ be a partition. Given a Young diagram of shape $\lambda$, we can associate it ...
4
votes
0answers
172 views

Enumerating a class of polynomials

How many equivalence classes of $\Bbb F_2[x,y]$ polynomials with $x$ degree $n_x$ and $y$ degree $n_y$ are there such that each $y^i$ coefficient (polynomial in $\Bbb Z[x]$) is distinct and $x^i$ ...
2
votes
2answers
109 views

Unitary representations of SO(1,4) and SO(2,3)

Where can I find details about the irreducible unitary representations of SO(1,4) and SO(2,3)?
2
votes
1answer
51 views

Compatibility conditions for Yetter-Drinfeld modules

In the paper, page 28, Definition 4.2.1, the compatibility condition for a Yetter-Drinfeld module over $H$ is $$ h_{(1)}.v_{(-1)} \otimes h_{(2)}.v_{(0)} = (h_{(1)}.v)_{(-1)}h_{(2)} \otimes (h_{(1)}....
1
vote
0answers
46 views

What's the symplectic form preserved by a rational representation of a semisimple group

Let $\mathbb{H}_1$, $\mathbb{H}_2$ be two quaternion algebras over $\mathbb{Q}$ and $G_1 = SL_1(\mathbb{H}_1)$, $G_2 =SL_1(\mathbb{H}_2)$. Over $\mathbb{C}$, $G_1\sim G_2 \sim SL_2(\mathbb{C})$. I'm ...
4
votes
1answer
89 views

When is the category of Gorenstein projective $R$-modules Frobenius?

Let $R$ be a ring (associative with unit, but not necessarily commutative, and definitely not necessarily Noetherian.) Then the category $\operatorname{GP}(R)$ consists of those $R$-modules having a ...
3
votes
2answers
135 views

Do the irreducible modules of this finite group preserve a tensor product structure?

I am interested in a particular group $G$, where $$ (A_4\times C_\ell) \lhd G \lhd S_4 \times D_\ell$$ Here, $C_\ell$ is cyclic, $D_\ell$ is dihedral of order $2\ell$, and the two inclusions both have ...
1
vote
0answers
74 views

Is $T(V) \rtimes T(V^* \otimes V)$ a bialgebra?

Let $V$ be a vector space and $V^*$ the dual vector space. Let $T(V)$ be the tensor algebra of $V$. The algebras $T(V)$ and $T(V^* \otimes V)$ are bialgebras. I am trying to find some bialgebra ...
2
votes
0answers
63 views

Center of affine W-algebras

Let $\mathfrak{g}$ be a finite-dimensional complex simple Lie algebra and $k$ a complex number. Denote by $\hat{\mathfrak{g}}$ the corresponding affine Lie algebra ($\hat{\mathfrak{g}}=\mathfrak{g}((t)...
1
vote
1answer
45 views

Factorizability of Subquotients of Principal Series Representations

Fix number field $F$, its ring of adeles $\mathbb{A}$, a "nice" algebraic group defined over $F$ (at least reductive but for my purposes I can assume simple and simply connected) and a parabolic ...
4
votes
1answer
260 views

Do irreducible characters form a closed set?

A character on a discrete group $\Gamma$ is a conjugation-invariant function $\tau$ which is of positive type, and is normalized so that $\tau(e) = 1$, where $e$ is the identity element of $\Gamma$. A ...
4
votes
0answers
118 views

Characterizing the RSK corespondance

The Robinson-Schensted-Knuth correspondence is an algorithm which takes as input a word $w$ on the alphabet $\{1,\dots,n\}$ of length $k$ and returns a pair of a tableau $P(w)$ and a standard tableau $...
2
votes
0answers
142 views

Irreducible representations containing simple actions of $\mathrm{SL}(2,\mathbb{C})$

Let $G$ be a complex semisimple Lie group and let $\rho: G \longrightarrow \mathrm{SL}(n,\mathbb{C})$ be a faithful irreducible representation of $G$ with $n \geq 3$. Suppose that $G$ contains a copy ...
6
votes
1answer
167 views

Real-valued character in Block with cyclic defect has at most two constituents modulo $p$

Let $G$ be a finite group and let $(K,R,k)$ be a $p$-modular system (large enough for $G$ etc.) and consider a block algebra $B \subseteq RG$ with cyclic defect group. My question is about the ...
6
votes
0answers
111 views

Software for explicit computations in representations of classical Lie algebras

I'm pretty sure many a mathematician has longed for such a tool but I wasn't able to find such a question here, so here we go. Is there, by any chance, an existing package or program that allows one ...
3
votes
0answers
197 views

Equivariant sheaves over affine schemes

Let $k$ be a field, let $G$ be a linear algebraic group over $k$ and let $A$ be a commutative $k$-algebra which is acted on by $G$. We say that an $A$-module $M$ is a $(G,A)$-module if it satisfies ...
4
votes
1answer
160 views

What is known about the decomposition of $Sym(Sym^3(V))$ into irreducibles?

The representation $\text{Sym}(\text{Sym}^3(V))$ of $\text{GL}(V)$ decomposes into a direct sum of $S_{\lambda}(V)$, where the $S_{\lambda}$ are Schur functors. What is know about this decomposition? ...
3
votes
0answers
131 views

Invariant functions on the dual Lie algebra

Let $G$ be a real Lie group and $\mathfrak{g}$ the corresponding Lie algebra. Let $\mathfrak{g}^*$ be the dual of the Lie algebra. Then we have the coadjoint action of $G$ on $\mathfrak{g}^*$. ...
2
votes
0answers
60 views

Can we write an element in a super Grassmannian as a pair of matrices?

Super Grassmannians are introduced by Manin, see for example. Elements in a grassmannian can be written as matrices, see for example. Can we write an element in a super Grassmannian as a pair of ...
2
votes
0answers
35 views

Characteristics of $c$-vectors of acyclic cluster algebras

In Speyer and Thomas's work, Acyclic Cluster Algebras Revisited the characteristics of $c$-vectors of cluster algebras with the $B$-matrix of the initial seed acyclic are given in Theorem 1.4. Do we ...
4
votes
1answer
170 views

Tilting modules in positive characteristic

Consider the category of finite-dimensional representations for the algebraic group $\mathrm{SL}(n)$ in characteristic $p$. I know very little about this but am told there is a highest weight category ...
7
votes
1answer
239 views

Is it known whether every symmetric pair of finite groups of Lie type is a Gelfand pair?

A pair of groups $(G,H)$ is called a symmetric pair if $H$ is the group of fixed points of an involutive automorphism of $G$, for example $(GL(2n,\mathbb{F}_q),Sp(2n,\mathbb{F_q}))$ is a symmetric ...
6
votes
0answers
115 views

Are the weight spaces of indecomposable $U_q\mathfrak{sl}(2)$-modules at most 2-dimensional?

This is a follow up of this question. Let $U_q\mathfrak{sl}(2)$ be Lusztig's integral form of the quantized enveloping algebra of $\mathfrak{sl}_2$, specialised at $q$ a root of unity. This is an ...
-1
votes
1answer
119 views

Crystal basis for quantum groups and Lie algebras

Lie $g$ be a finite dimensional complex simple Lie algebra and $U_q(g)$ the corresponding quantum group, where $q$ is not a root of unity. Every simple finite dimensional $g$-module is of the form $V(\...
1
vote
0answers
117 views

Classification of finite subgroup of $PGSp_4(\mathbb{C})$

Is there a classification of the finite subgroups of $PGSp_4(\mathbb{C})$?
11
votes
1answer
1k views

Why is this character expression an integer?

Let $\gamma$ be an $n$-dimensional complex representation of a finite group $G$ with character $\chi$ and let $e=c_0, c_1, ..., c_{\ell}$ be a set of conjugacy class representatives for $G$. In the ...
1
vote
0answers
63 views

Representation equivalent lattices

Suppose $G$ is a absolutely almost simple algebraic groups over a number field $K$. Let $\Gamma_1$ and $\Gamma_2$ be two lattices in $G(K)$. Then $\Gamma_1$ and $\Gamma_2$ are said to be ...
0
votes
0answers
104 views

Normalizer of non-split tori

Let $\mathbb{G}$ be a connected reductive group over $\mathbb{C}$. Let $G:=\mathbb{G}(\mathbb{C}(\!(t)\!))$. Let $T$ be a maximal torus in $G$. Question: What do we know about the normalizer $N_G(T)$...
4
votes
0answers
75 views

Expressing knot polynomials as casimirs

I always wondered why one writhe unit (read: colored with the irrep of a quantum Lie algebra and evaluated as Reshetikhin-Turaev invariant thereof) is essentially the quadratic casimir of that irrep. (...
0
votes
0answers
32 views

Simple modules of quantum toroidal algebras

Many properties of quantum toroidal algebras are similar to quantum affine algebras. Every simple module of a quantum affine algebra of rank $n$ corresponds to an $n$-tuple of Drinfeld polynomials. ...