**3**

votes

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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.
...