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

learn more… | top users | synonyms (1)

0
votes
0answers
44 views

Questions on invariant operators of finite group representations

1) Is there an equivalent of the Casimir operator for an irreducible representation of a finite group? 2) Given an invariant operator of a certain group, can I check if it is invariant under only ...
0
votes
0answers
69 views

Action of the (special) orthogonal group on differential forms

I was told that the following facts are true. I am looking for a reference to them. 1) The action of $O(n,\mathbb{C})$ on $\wedge^l\mathbb{C}^n$ is irreducible for any $l$. 2) The action of ...
2
votes
0answers
53 views

Highest weight spaces in arbitrary representations?

An isotypic (maybe reducible) representation V of GL(V) may be represented by its highest weight subspace HW(V). We have dim HW(V) equal to the multiplicity of the irreducible representation inside V ...
1
vote
0answers
93 views

Definition of 'Koszul Ring' (in BGS)

In the paper 'Koszul Duality Patterns in Representation Theory' by Beilinson et. al, they give the definition of a Koszul Ring: A Koszul ring is a positively graded ring $A = \bigoplus_{j \geq 0} ...
5
votes
1answer
158 views

Special linear groups contained in symplectic groups

Let $q$ be a power of prime $p$, and $n, m, k$ positive integers such that $mk=2n$ and $2\leq m<2n$. Let $\mathrm{Sp}(2n,q)$ be the symplectic group of dimension $2n$ over $\mathrm{GF}(q)$ and ...
6
votes
2answers
336 views

Quasi-affineness of the base of a $\mathbb{G}_a$-torsor

Let $\mathbb{G}_a$ be the additive group over an algebraically closed field $k$ of any characteristic. Let $X \to Y$ be a $\mathbb{G}_a$-torsor of $k$-schemes (of finite type - in case that is ...
0
votes
0answers
58 views

Determinant of an action and characters

In the paper of Ramanathan "Stable Principal Bundles on a Compact Riemann Surface", I read: ...where $\mu$ is the determinant of the (adjoint) action of $P$ on ...
5
votes
3answers
466 views

A question on non-archimedian Fourier transform

Let $M(n)$ be the vector space of $n\times n$ matrices over a local non-archimedian field $K$. Let $\mathcal S$ denote the space of locally constant compactly supported functions on $M(n)$. Similarly, ...
2
votes
0answers
54 views

nonvanishing of global theta lifting from U(1) to U(1?)

I understanding nonvanishing of theta lifting, either global or local, is a difficult and open problem. But I wanna know if there is an answer for the following simplest case. Let $E/F$ be a ...
1
vote
1answer
104 views

Successive Schur covers

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?
17
votes
3answers
433 views

What's the state of affairs concerning the identification between quantum group reps at root of unity, and positive energy affine Lie algebra reps?

In his paper [1], Finkelberg used Kazhdan-Lusztig's massive work [4,5,6,7,8] to prove that $Rep^{ss}(U_q\mathfrak g)$ (the semisimplification of the category of finite dimensional reps of ...
0
votes
3answers
135 views

Possible degrees of faithful projective representations of $\mathrm{PSL}(k,q)$ and $\mathrm{Sp}(2k,q)$ over complex numbers

Let $q$ be a prime power and $k$ a positive integer. What are the possible degrees of faithful projective representations of the projective special linear group $\mathrm{PSL}(k,q)$ (over the Galois ...
1
vote
0answers
90 views

Representation of Permutation group: What is the isormorphism between the equivalent descriptions, (1)using schur functions and (2)abstract tensors

I assume that the two ways of describing the representation of the permutation group using abstract tensors (perhaps more naive but widely used in physics) and schur functions are equivalent. If ...
3
votes
1answer
133 views

Faithful representations of free pro-p groups

Let $p$ be a prime number, $m,n \in \mathbb{N}$, $F = F(p,m)$ be the free pro-$p$ group on $m$ generators. For which $(m,n)$ there is a continuous faithful representation (embedding) $\rho : F ...
2
votes
3answers
211 views

Is the reduced plethysm (restricted to 2-columns in Young tableaux) of this Schur funtion known $\mathbb S_{3^1}(\mathbb S_{1^p})$?

I am working on a physical problem, where I need to compute the "reduced plethysm" that is all the irreducibles characterised by the Young tableaux of 2 columns or less. The plethysm problem I want to ...
4
votes
2answers
163 views

Serre functor of a subcategory (in particular parabolic category O)

For an additive category $\mathcal C$ there is the notion of a Serre functor on $\mathcal C$, i.e. a an autoequivalence $S$ of $C$ such that there exist isomorphisms $$Hom(A, S(B)) \cong Hom(B, A)^*$$ ...
3
votes
1answer
105 views

Inclusion of copies of an irrep as orthogonal subspaces of an induced representation

Suppose we have a finite group $G$ with subgroup $H$, a representation $\rho_V$ of $H$ on a finite-dimensional vector space $V$, and an $H$-invariant inner product on $V$: $$\forall x,y\in V, h\in ...
0
votes
0answers
38 views

Prove the Weyl's Theorem by Kostant's $\mathfrak{n}$-cohomology result [migrated]

I've met an exercise in Kumar's book ("Kac-Moody Groups, their Flag Varieties and Representation Theory", Chapter III, page 89, Ex. 3.2. E, (1) & (2)). But I have no idea about its proof. Any ...
1
vote
1answer
111 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 ...
5
votes
0answers
139 views

mod $p$ Jacquet-Langlands correspondence

Let $F$ be a local field of characteristic $0$. Let $D$ be division algebra over $F$ of dimension $n^2$. The construction of irreducible complex representations of $D^*$ is known by Howe, Zink, and ...
0
votes
0answers
75 views

Isomorphic Dual and Conjugate Representations of a Lie Algebra [migrated]

Let $\frak{g}$ be a complex Lie algebra $\frak{g}$, and $R:\frak{g} \to $End$(V)$, a representation for some finite dimensional complex vector space $V$. As is well-known, we can construct from $R$ ...
6
votes
2answers
202 views

Whittaker models for $GL_n$ and Fourier coefficients

Let $G$ be a compact abelian group. Then we know, because of the Peter-Weyl theorem, that $L^2(G)$ decomposes as a Hilbert space direct sum of 1 dimensional representations of $G$. Let $\mathbb{A}$ ...
9
votes
1answer
255 views

Representation of finite groups in a compact Lie group

Let $H$ be a finite $p$-group, and let $G$ be a compact connected Lie group. Then it is well-known that $[BH,BG]\cong Rep(H,G)$, where $BH$ and $BG$ are classifying spaces and $Rep(H,G)$ is the set ...
6
votes
2answers
247 views

Update on list of open problems for Cherednik/Symplectic Reflection Algebras

Background: There are two lists of open problems about Cherednik or Symplectic Reflection Algebras from 2007: Ian Gordon's Problems, Chapter 9 in Symplectic Reflection Algebras, and Ginzburg & ...
4
votes
1answer
74 views

$C^\infty$-vectors in general representations of Lie groups on locally convex spaces

This question is related to this one. Let $G$ be a real Lie group (I should emphasize I only care about ordinary Lie groups, not Lie groups modeled on locally convex spaces or anything like that). In ...
7
votes
1answer
245 views

If $G$ is compact, $H \leq G$ open, $V$ an irreducible $H$-rep, is $\text{Ind}_H^G$ semisimple?

Let $G$ be a compact group, $H$ a normal open subgroup, and $K$ a $p$-adic field (so that not all $G$-reps with coefficients in $K$ are semisimple). Let $V$ be a finite-dimensional topological ...
2
votes
0answers
77 views

$G$-invariant part of products of determinants of minors

Let $G = SL_n$; then for any tuple $\lambda$ such that $\sum \lambda_i = n$, define $f_\lambda(g)$ as the product of the determinants of successive minors of lengths $\lambda_i$ of $g$ (e.g. for ...
11
votes
1answer
260 views

Hecke-module structure implicit in definition of automorphic forms in Borel-Jacquet's Corvallis article

Let $G$ be a connected reductive group over a number field $F$, $G_\infty=\prod_{v\mid\infty} G(F_v)$, $\mathbf{A}$ the adèles of $F$, $\mathbf{A}_f$ the finite adèles of $F$. Fix a maximal compact ...
1
vote
0answers
94 views

References for crystal bases and Demazure modules in representation theory

I was wondering what are some standard general references/books/survey articles about: (1) crystal bases, and string parameterizations and (2) Demazure modules, and Schubert varieties (containing ...
2
votes
2answers
188 views

Example of linearization for GIT

Take a vector space $V$ (finite dimensional, over the complex numbers), let $G=SL(V)$. The group $G$ acts on $\mathbb{P}V$ and we can linearize its action to an action on the line bundle ...
6
votes
1answer
157 views

Integrals of representations over geodesics

Let $G$ be a compact, connected Lie group and $\rho$ any of its irreducible, unitary representations. If $\gamma:S^1\to G$ is an injective homomorphism (a periodic geodesic passing through the ...
2
votes
1answer
94 views

Symmetric invariants of a Schur Module

Let $V\cong\mathbb C^n$ be a complex vector space of dimension $n$. Let $\lambda\in\mathbb Z^r$ be a generalized integer partition $\lambda_1\ge\cdots\ge\lambda_r$ with $r\le n$. Denote by $\mathbb ...
17
votes
2answers
436 views

Adams Operations on $K$-theory and $R(G)$

One of the slickest things to happen to topology was the proof of the Hopf invariant one using Adams operations in $K$-theory. The general idea is that the ring $K(X)$ admits operations $\psi^k$ that ...
-4
votes
1answer
61 views

How to find matrix representations of a boolean algebra? [closed]

Given a boolean algebra with a finite number of elements {a, b, c, ...}, and the usual operations: $\cup, \cap, \neg$. How to find matrix representations of the elements such that: boolean $\cup$ ...
6
votes
1answer
543 views

Is the Duflo polynomial conjecture open?

Let $G/K$ be a symmetric space. Let $\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$ be a Cartan decomposition, with the odd part $\mathfrak{p}$. It is well known that the algebra of invariant ...
7
votes
0answers
136 views

Sum over growing Young tableaux

Let $\lambda_0,\lambda_1,\lambda_2,\lambda_3,\ldots$ be a sequence of Young diagrams, such that each successive diagram is obtained from the prior by the addition of one box (don't forget that the row ...
9
votes
1answer
382 views

Vector bundles, Higgs bundles and the Langlands program

This question is somewhat vaguely structured. But, I hope someone can make it more precise (or) it is indeed possible to answer it in the form that I am stating it.  Background : I recently chanced ...
3
votes
0answers
106 views

Parshin's buildings for higher local fields

What is the status of the theory of buildings for higher local fields? I know that there are some papers of Parshin, in which he describes some examples, like $PGL_2$ and $PGL_3$ over ...
1
vote
1answer
71 views

Is it necessary for $\pi:H\to U(\mathcal{H}_{\pi})$ to be a homomorphism in order for $\text{ind}_H^G\pi$ to be weakly continuous?

Suppose $G$ is a locally compact group and $H$ is an open subgroup for simplicity. Further suppose $\pi$ is a representation of $H$ on some Hilbert space $\mathcal{H}_{\pi}$, i.e. $\pi(h)$ is unitary ...
3
votes
0answers
70 views

A canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$ (references)

According to several articles I could find, a canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$, where $r \geq 2$. I don't know how to obtain this ...
4
votes
1answer
213 views

Calculation with weights of $E_6$

Question: Consider the complex simple Lie group $E_6$. Let $\lambda_1$ and $\lambda_6$ be the fundamental weights defining the $27$-dimensional representation $V$ and $V^*$, resp. Consider the complex ...
2
votes
1answer
115 views

Fibers of the Bott-Samelson Resolution of Schubert Varieties

Is there an explicit (perhaps visual) description of the fibers of the Bott-Samelson Resolutions of Schubert Varieties? Let's fix $G$ to be $GL_n(\mathbb{C})$. Also, how would the answer to the ...
0
votes
0answers
98 views

Non-semisimple Lie algebra tensors

Let $\mathfrak{L}$ be a non-semisimple Lie algebra. Let $T_i$ be its generators. As usual, define the structure constants $C_{ij}^k$ by $[T_i,T_j]=C_{ij}^kT_k$ and the metric tensor $g_{jm}$ by ...
8
votes
0answers
134 views

Representations of orthogonal groups vs representations of reflection groups

Let $V$ be a finite dimensional inner product space and $O(V)$ the orthogonal group of $V$. Let $G$ be a (say, finite) reflection group on $V$, regarded as a subgroup of $O(V)$ ($G< O(V)$.) Let us ...
4
votes
0answers
94 views

Higman's Criterion

Higman's Criterion is a fundamental result in the representation theory of a finite group $G$ over a field $k$ of characteristic $p>0$. One version is the following (I hope the notation is standard ...
2
votes
1answer
466 views

1D TQFT in Freed-Hopkins-Lurie-Teleman

In the first section of Freed-Hopkins-Lurie-Teleman they construct a one-dimensional Topological Quantum Field Theory. $F(\circ_+)$ is a vector space and $F(\circ_-)$ is the dual. $F(\circ-\circ)$ ...
4
votes
2answers
395 views

What does Freed-Hopkins-Teleman say about finite groups?

The third in the "Loop groups and twisted K-theory" series by FHT treats compact Lie groups without any connectedness assumptions. I am trying to unwind what Theorem 2 of that paper (available here, ...
3
votes
0answers
121 views

Invariants of the symmetric group

Let $V_\lambda$ be an irreducible representation of the symmetric group $S_n$ as usual labeled by parition $\lambda$ of $n.$ Question. Is there any general information about the algebra of ...
5
votes
2answers
353 views

What is natural about the well-known bijection between conjugacy classes and irreps of a symmetric group?

Symmetric groups possess a well-known bijection between conjugacy classes and irreducible representations. More precisely, both sets are indexed by Young diagrams. Question: To what extent is this ...
5
votes
2answers
288 views

When is/isn't the monoidal unit compact projective?

I am interested in developing intuition for when the monoidal unit in a closed monoidal abelian category is or isn't compact projective. As such, my question is not looking for a yes/no answer, but ...