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

learn more… | top users | synonyms (1)

4
votes
1answer
75 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\...
0
votes
0answers
66 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, \\ &...
6
votes
1answer
103 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 ...
1
vote
0answers
38 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
85 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 ...
2
votes
0answers
25 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
150 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 \...
5
votes
0answers
129 views

Classification of representation-finite algebras up to stable equivalence of Morita type

Assume $K$ is an algebraically closed field. I wanted to ask if there is a classification of the representation-finite $K$-algebras up to stable equivalence of Morita type (at least for some small ...
2
votes
1answer
171 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.
5
votes
1answer
203 views

Can the analytic arc of an irred. $\mathrm{SL}_2(\mathbb{C})$-character always be lifted to an analytic arc of an irred. representation?

Is there an example of an irreducible and boundary irreducible $3$-manifold $M$ with torus boundary and a non-abelian representation $\rho: \pi_1(M) \to \mathrm{SL}_2(\mathbb{C})$, a non-constant ...
9
votes
2answers
299 views

Groups without property (T) but all finite quotients are expanders

What is an example of a group $G$ which 1- is finitely generated by $S$, 2- does not have property (T), 3- admits infinitely many finite quotients which do not factor through an homomorphism $G \...
8
votes
1answer
685 views

A Zero-Multiplicity Problem Related to Foulkes' Conjecture

I'm a combinatorialist that is interested in estimating multiplicities of irreps of $1^{S_{kn}}_{S_k \wr S_n}$ (the action of symmetric group on uniform partitions). I'm aware of the difficulty (or ...
9
votes
0answers
345 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 ...
1
vote
2answers
162 views

Motivations of cross product

Let $H$ be a bialgebra and $B$ an $H$-module. The cross product $B \rtimes H$ of $B$ and $H$ is $B \otimes H$ as a vector space and the multiplication in $B \rtimes H$ is defined as follows: $(a \...
6
votes
1answer
297 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{...
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 ...
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 ...
28
votes
3answers
983 views

Richness of the subgroup structure of p-groups

Given a prime $p$ and $n \in \mathbb{N}$, let $f_p(n)$ be the smallest number such that there is a group of order $p^{f_p(n)}$ which all groups of order $p^n$ embed into. What is the asymptotic growth ...
2
votes
0answers
221 views

Can I recognize the quotient of a group by a closed subgroup? (for example the standard representation of S3 in GL(2,C))

The first question might be too much in general. The cases I'd like to understand in practice are quotients (as algebraic varieties) of GL(n,C) (or SL(n,C) if you prefer) by finite subgroups. Is ...
2
votes
0answers
78 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 ...
1
vote
0answers
44 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-...
20
votes
1answer
922 views

Number of 2-dimensional irreducible representations of a finite group ?

Question: What is the number of two-dimensional irreducible representations of a finite group ? How it can be expressed in groups-theoretic terms ? (Number of 1-dimensional irreps is |G/[G,G]| ). ...
5
votes
2answers
511 views

Finite groups with a character having very few nonzero values?

A number theorist I know (who studies Galois representations) raised a question recently: Which finite groups can have an irreducible character of degree at least 2 having only $n=2, 3$, or 4 ...
6
votes
2answers
414 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 ...
7
votes
1answer
234 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)$...
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$...
4
votes
1answer
117 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 ...
35
votes
4answers
2k views

How much of the ATLAS of finite groups is independently checked and/or computer verified?

In a recent talk Serre made some comments about proofs that rely on the classification of finite simple groups (CFSG) and on the ATLAS of Finite Groups. Namely, he said that a proof that relied on the ...
4
votes
0answers
171 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$ ...
3
votes
1answer
181 views

Must normalizing field outer automorphisms “divide” the dimension?

Imprecise question: To get a normalizing field outer automorphism of order $r$, must we multiply the dimension by $r$? Precise hypothesis: Let $p\geqslant 5$ be a prime, let $q$ be a power of $p$ and ...
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)...
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)}....
2
votes
2answers
108 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)?
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 ...
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 ...
3
votes
2answers
132 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 ...
5
votes
1answer
179 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 ...
6
votes
1answer
166 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 ...
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 ...
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 ...
2
votes
3answers
363 views

Algebraic groups “generated” by a Lie algebra element

Here is a definition which I invented and which I would like to understand better. Let $ A $ be a complex affine algebraic group. Let $ X \in \mathfrak g $ be an element in its Lie algebra. We say ...
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 ...
16
votes
0answers
598 views

Should the Dynkin diagrams of types $A_1$ and $B_2$ be labelled $C_1$ and $C_2$?

The labels $A$--$G$ attached to connected Dynkin diagrams are of course arbitrary, the result of historical accidents. In order to avoid repetitions, the four infinite families $A_\ell, B_\ell, C_\...
2
votes
0answers
61 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)...
4
votes
1answer
259 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
115 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
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 ...
8
votes
2answers
472 views

Quadratic Casimir of fundamental irreps of simply-laced Lie algebras

I have the following question, motivated by the expression for the character of level 1 highest weight integrable representations of simply-laced affine algebras (in terms of the string function). It ...
34
votes
4answers
3k views

What role does the “dual Coxeter number” play in Lie theory (and should it be called the “Kac number”)?

While trying to get some perspective on the extensive literature about highest weight modules for affine Lie algebras relative to "level" (work by Feigin, E. Frenkel, Gaitsgory, Kac, ....), I run into ...