Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
3 answers
2k views

Borel's presentation for the cohomology of a Flag Variety

If $G$ is a simple complex Lie group, $T\subset B\subset G$ is a choice of Borel and maximal torus, and $W$ is the Weyl group, then 1) $H^{*}(G/B,K)=K[T^{\vee}]/(K[T^\vee]^W_{+})$ and 2) $K[T^\vee]^...
DCT's user avatar
  • 1,537
9 votes
3 answers
1k views

Catalan numbers as sums of squares of numbers in the rows of the Catalan triangle - is there a combinatorial explanation?

This question arose from an answer to my recent question How many traces are there on Temperley-Lieb, Fuss-Catalan, Iwahori-Hecke, Birman-Wenzl-Murakami-Kauffman, ... algebras? What I need from that ...
მამუკა ჯიბლაძე's user avatar
9 votes
3 answers
894 views

Representation rings of exceptional Lie groups

Let $G$ be a compact Lie group and let $R(G)$ denote its complex representation ring. If $G$ is simply connected, such as $G_2$, $F_4$ or $E_8$, then it is known that $R(G)$ is a polynomial ring [F. ...
Rasmus's user avatar
  • 3,174
9 votes
3 answers
576 views

Reference Request: Structure constants for G2

Let $G$ be a split semisimple real Lie group in characteristic zero, and let $B=TU$ be a Borel subgroup with unipotent radical $U$ and Levi $T$. Fix an ordering on the roots $\Phi^+$ of $T$ in $U$, ...
D_S's user avatar
  • 6,180
9 votes
3 answers
3k views

About representation theory of Heisenberg group

Actually I am an undergraduate student, but I want to study Heisenberg groups over arbitrary field. Firstly, why is this group important? I know that the Heisenberg group is important in the field ...
9 votes
2 answers
2k views

alternating and symmetric powers of the standard representation of the symmetric group

Let $n \geq 7$ and $V = \mathbb{C}^n$ be the standard representation for $S_{n+1}$, the symmetric group of cardinal $(n+1)!$ Let $k$ be an integer such that $2 \leq k \leq n$. Is it true or false ...
Libli's user avatar
  • 7,300
9 votes
2 answers
477 views

"Closed bicategories"

I am interested in the following property that a bicategory may or may not have. Let $\mathbf{B}$ be a bicategory. Every one-morphism $f\colon x\rightarrow y$ defines a functor $\mathbf{B}(y,z)\...
nikola karabatic's user avatar
9 votes
3 answers
435 views

How do small central extensions drop the dimension of a faithful representation?

Apologies in advance that this is a very soft question. I might be talking complete nonsense. But I hope I am talking about something that has even been studied... I am interested in the phenomenon ...
benblumsmith's user avatar
  • 2,851
9 votes
3 answers
589 views

Subgroup of $\mathrm{GL}_n$ stabilizing linear subspace skew-symmetric matrices

I am currently reading "Schiffer variations and the generic Torelli theorem for hypersurfaces" by Voisin, where it is claimed that the subgroup of $\mathrm{SL}_{2m}$ ($m \geq 3$) which preserves a ...
Libli's user avatar
  • 7,300
9 votes
2 answers
316 views

Schur Weyl duality for the supergroup $\text{GL}(m|n)$

Let $G$ be the supergroup $\text{GL}(m|n)$. It has a tautological representation $V= \mathbb{C}^{m|n}$. For every natural number $d$ we have a natural map $$\Phi_d:\mathbb{C} S_d\to \text{End}_G(V^{\...
Ehud Meir's user avatar
  • 5,039
9 votes
2 answers
933 views

Good effective versions of theorems of Artin and Brauer

The theorem of Artin and Brauer of the title are the famous theorem in the theory of representation of finite groups. For example, Artin's theorem is the statement that for every character $\chi$ of ...
Joël's user avatar
  • 26k
9 votes
1 answer
464 views

Branching Rule for alternating groups

Let $A_n$ be the alternating group of degree $n$. What is the branching rule for the subgroup $A_{n-1}\subset A_n$, i.e., the structure of the restriction of ordinary irreducible representations of $...
Xueyi Huang's user avatar
9 votes
2 answers
485 views

Reference for restriction of a simple module over a splitting field to a smaller field?

This is mainly a request for a straightforward reference (preferably at textbook level). The question comes up while responding to a question raised by non-specialists in finite group representations....
Jim Humphreys's user avatar
9 votes
1 answer
493 views

A compactification of the space of points on the affine line

I recently encountered an interesting space. It is a compactification of the space of $ n$ points in $ \mathbb A^1 $ modulo translation, $ (\mathbb A^1)^n / \mathbb G_a $. Let $ n \in \mathbb N $ and ...
Joel Kamnitzer's user avatar
9 votes
2 answers
772 views

Characters of orthogonal groups as symmetric functions

This question was asked on MSE some time ago, here, but got no attention. The Schur functions are characters of irreps of the unitary group, $s_\lambda(U)=Tr(R_\lambda(U))$. They are symmetric ...
Marcel's user avatar
  • 2,552
9 votes
1 answer
497 views

Highest weight representations of Kac—Moody algebras: what is inside the weight spaces?

Let $V(\lambda)$ be the unique irreducible representation of a Kac—Moody algebra $\mathfrak{g}$ with the highest weight $\lambda$. If $\mathfrak{g}$ is not of finite type, then even for $\lambda$ one ...
Andrei Smolensky's user avatar
9 votes
1 answer
248 views

Decomposition of $\bigotimes^{m} \mathbb{C}^{n}$ under the action of $\operatorname{GL}_{n}\times \operatorname{S}_{m}$

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\S{S}$I want to know the proof of the following theorem. It is stated somewhere that, a proof can be found in: "Roger Howe, Perspectives on ...
noone 's user avatar
  • 179
9 votes
1 answer
460 views

Connections between linear representations and permutation representations

A finite group $\Gamma$ might be represented by a linear transformation $$\rho : \Gamma\to\mathrm{GL}(\Bbb R^d),$$ or by permutations $$\phi :\Gamma\to\mathrm{Sym}(n).$$ Of course, latter ones can ...
M. Winter's user avatar
  • 13.6k
9 votes
2 answers
787 views

Request for classical articles in representation theory

I am planning in running a Ph.D. student seminar next year on representation theory in the spirit of MIT Kan's Seminar where students give lectures on classical articles on representation theory that ...
9 votes
1 answer
388 views

Induced character for non-injective homomorphisms

Any group homomorphism $\phi\colon H\to G$ gives rise to an induction/restriction adjunction between $G$-representations and $H$-representations: $$ \hom_G(\phi_! M, N) \cong \hom_H(M, \phi^* N) $$ ...
Mike Shulman's user avatar
  • 66.8k
9 votes
1 answer
434 views

Questions on the group $\mathrm{GL}(H)$

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\U{U}$Let $H$ be an infinite dimensional complex Hilbert space. Consider the group $\GL(H)$ of bounded invertible operators on $H$. Question 1. I've ...
Rick Sternbach's user avatar
9 votes
1 answer
355 views

Reference request for indecomposable representations of $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$

Is there a good reference on the classification of indecomposable representations of the Lie algebra $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$ (of course, in ...
tyrese's user avatar
  • 239
9 votes
3 answers
1k views

Is there a good account of D-affinity and localization theorem for partial flag varieties?

Recall that a topological space is called $A$-affine for a sheaf of algebras $A$ if taking global sections of coherent sheaves of $A$-modules is an equivalence of categories to finitely generated $\...
Ben Webster's user avatar
  • 44.7k
9 votes
0 answers
254 views

An identity for characters of the symmetric group

I am looking for a reference for the identity $$\chi_\lambda(C)=\frac{\dim(V_\lambda)}{|C|}\sum_{p\in P_\lambda,\,q\in Q_\lambda,\,pq\in C}\operatorname{sgn}(q)$$ for the irreducible characters of the ...
Hjalmar Rosengren's user avatar
9 votes
0 answers
286 views

Is Landvogt's thesis "The functorial properties of the Bruhat–Tits building" available online?

Universität Münster publishes theses online through "miami", but "miami" doesn't have Erasmus Landvogt's thesis (search). ProQuest (predatorily) provides many theses, but they don'...
LSpice's user avatar
  • 12.9k
9 votes
0 answers
210 views

Why and how is a representation "continuously decomposable"?

What I am asking may apply to a much more general setting and I am interested in the underlying level of generality of these statements, mostly with canonical references. However I state the question ...
Desiderius Severus's user avatar
9 votes
0 answers
470 views

Branching rules for compact Lie groups

Let $G$ be a compact connected Lie group, and let $H\subset G$ be a closed subgroup. For an irreducible representation $\pi:G\to\mathrm{End}_\mathbb{C}(V)$ of $G$ ($\dim\pi<\infty$) I want to know ...
Bedovlat's user avatar
  • 1,959
9 votes
0 answers
409 views

The proof of Kazhdan's density theorem (And does it hold over positive characteristic?)

When proving identities about traces of functions on representations of $p$-adic groups, Kazhdan's density theorem indicates one only has to check equalities of traces on tempered representations. ...
Charles Denis's user avatar
8 votes
3 answers
803 views

Why can I divide an affine variety by the action of the general linear group?

Let $G\subseteq\mathrm{Gl}_n(\mathbb{C})$ be a subgroup of the general linear group and assume that $\rho:G\to\mathrm{Gl}(V)$ is a representation. Understand the complex vector space $V$ as an affine ...
Jesko Hüttenhain's user avatar
8 votes
2 answers
576 views

Two statistics on the permutation group

Let $\mathfrak{S}_n$ be the permutation group on an $n$-element set. For each fixed $k\in\mathbb{N}$, consider the two sets $$A_n(k)=\{\sigma\in\mathfrak{S}_n\vert\,\, \text{$\exists i,\,\, 1\leq i\...
T. Amdeberhan's user avatar
8 votes
3 answers
419 views

For which finite groups $G$ does the Wedderburn decomposition of $\mathbb{Q}[G]$ consist only of fields and division algebras?

Let $G$ be a finite group. Then the rational group algebra $\mathbb{Q}[G]$ has a wedderburn decomposition of the form $\prod_i M_{n_i}(D_i)$ where each $D_i$ is a division algebra. My question is: ...
Henri Johnston's user avatar
8 votes
3 answers
559 views

Reference for tetrahedral Coxeter group

Let $G$ be the group with 4 generators, each of order 2, such that the product of any 2, say $ab$, has order 3 (i.e., $ababab=e$). That is, this is an infinite reflection group with Coxeter diagram a ...
Sam's user avatar
  • 83
8 votes
2 answers
572 views

reference containing the list of irreducible finite dimensional representation of real general linear group

It seems that it is not easy to find a reference containing a classification and construction of finite dimensional irreducible representations of $GL_n(\mathbb{R})$. One way to look at it is via $(\...
user1832's user avatar
  • 2,709
8 votes
1 answer
516 views

Specht modules for symmetric group $S_{\infty}$

Specht modules of $S_n$, the symmetric group on n symbols is well-known. Is there an analogue of these modules for $S_{\infty}$, the set of all permutations of $\mathbb N$? Also, please share some ...
GA316's user avatar
  • 1,269
8 votes
3 answers
3k views

How to compute irreducible representation of Lie algebra in the framework of BBD

We know Beilinson-Bernstein established the following famous equivalence: $D-mod_{G/B}\rightarrow U(g)-mod_{\lambda}$,where $G$ is algebraic group and $B$ is Borel subgroup, $G/B$ is flag variety of ...
Shizhuo Zhang's user avatar
8 votes
3 answers
1k views

Further reading in algebraic geometry

I recently finished reading W. Fulton's "Algebraic Curves" and also attended a lecture series on moduli spaces and am interested in learning about them as well. I looked for a few books to ...
8 votes
1 answer
1k views

Irreducible decomposition of tensor product of irreducible $S_n$ representations

Are there well known results on the irreducibles in the decomposition of tensor products of irreducible $S_n$ representations? I would also like to know of some references where I can find formulas (...
George's user avatar
  • 596
8 votes
2 answers
617 views

Reference request: Models of cuspidal representations of GL(n,k) where k is a finite field

Let $k=\mathbb{F}_q$ where $q$ is a prime power of odd cardinality. Where could I find explicit models of all irreducible cuspidal (complex) representations of $GL_n(k)$ for $n\ge 3$? I understand ...
Q-Zh's user avatar
  • 960
8 votes
1 answer
402 views

Separating closed $SO(p,q)$ orbits by invariant polynomials

Consider the real Lie group $SO(p,q)$ (I believe that it happens to be a linearly reductive algebraic group over $\mathbb{R}$, if that's relevant). Also, if relevant, I'm mostly interested in the (...
Igor Khavkine's user avatar
8 votes
1 answer
549 views

Ring of invariants for the regular representation

The symmetric group $S_n$ acts on $\mathbb C^n$ by permuting the coordinates. In this case the ring of invariants is generated by elementary symmetric polynomials in n-variables. Now consider the ...
Karthik's user avatar
  • 195
8 votes
3 answers
784 views

Characterisation of parabolic subalgebras: reference sought

Let $\mathfrak{g}$ be a complex semisimple Lie algebra and $\mathfrak{p}$ a subalgebra. As we all know, $\mathfrak{p}$ is parabolic if it contains a Borel (thus maximal solvable) subalgebra. In this ...
Fran Burstall's user avatar
8 votes
1 answer
1k views

The Bialynicki-Birula Stratification of the Affine Grassmannian

Let $G$ be a connected, simply-connected complex semisimple group with affine Grassmannian $\mathcal{G}r$. Fix a maximal torus and Borel $T\subseteq B\subseteq G$. I am reading "Loop Grassmannian ...
Peter Crooks's user avatar
  • 4,920
8 votes
1 answer
356 views

Homological conjectures for finite dimensional commutative algebras

$\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Hom{Hom}$>Question: What are some (open) homological conjectures that are also relevent for finite dimensional commutative algebras over a field $...
Mare's user avatar
  • 26.5k
8 votes
2 answers
795 views

Proving that some principal series representations of SL(2,F) are irreducible

I am sorry in advance if this question is not "research level". Let $F$ be a p-adic field. I saw, in Bumps book, a proof which I liked, showing which principal series representations of $GL(2,F)$ ...
Sasha's user avatar
  • 5,562
8 votes
1 answer
446 views

Radical of $F_p[SL(2,p)]$

Let $G=SL(2,p)$. Does anyone know what is the radical of the group algebra $F_p[G]$? Does there exists any book/paper where it is calculated? By radical here I mean maximal ideal I of $F_p[G]$ such ...
Klim Efremenko's user avatar
8 votes
1 answer
1k views

Character table for the affine group of Z/p^nZ

Initial caveat: the following question could probably be answered by Google, MathSciNet or my library, if I could find the right search terms or book... but I've not had any luck today, so I hope ...
Yemon Choi's user avatar
  • 25.8k
8 votes
2 answers
482 views

Parabolics and simple roots for a special unitary group: reference request

I am looking for a reference where the relative root system, the relative system of simple roots, and parabolic $\Bbb R$-subgroups for the real algebraic group ${\rm SU}(p,q)$ are explicitly computed. ...
Mikhail Borovoi's user avatar
8 votes
1 answer
512 views

RSK correspondence

Up to now, what are the difference ways we know to define RSK correspondence? I already know: By insertion and recording tableau. Ball construction or Viennot's geometric construction. Growth diagram ...
Mihawk's user avatar
  • 320
8 votes
1 answer
591 views

History of the study of Verma modules in terms of Kazhdan Lusztig Theory

Let $\mathfrak{g}$ be a complex finite dimensional semisimple Lie algbera, $W$ be the Weyl group, $\rho$ be the half sum of positive roots, $M(\eta)$ be the Verma module of weight $\eta$ and $L(\eta)$ ...
James Cheung's user avatar
  • 1,875
8 votes
1 answer
320 views

Connections between representations of $\operatorname{SL}_n$ and $\operatorname{GL}_n$

Let $G = \operatorname{GL}_n(F)$ for a $p$-adic field $F$, and let $G_D = \operatorname{SL}_n(F)$. I am wondering if there is a connection between irreducible, admissible representations of $G$ and ...
D_S's user avatar
  • 6,180

1 2 3
4
5
17