All Questions
Tagged with rt.representation-theory reductive-groups
175 questions
1
vote
1
answer
252
views
Can we compare $K$-spherical representations of $p$-adic groups for varying special maximal subgroups $K$?
In this question, I'm borrowing the notations from Minguez' paper on unramified representations of unitary groups. Let $F$ be a $p$-adic field and let $G$ be a connected reductive group over $F$. Let $...
- 769
3
votes
2
answers
397
views
Character which defines canonical bundle on flag variety
Let $G$ be a reductive group over a field $k$ of characteristic zero with maximal split torus $T$ and Borel $B \supset T$ defining a set of simple roots $\Delta$. Additionally let $\rho$ be the half ...
- 473
3
votes
1
answer
156
views
Automorphisms of étale-by-torus groups
Automorphisms of connected, reductive groups are well understood: the outer automorphism group is an essentially combinatorial object associated to the root datum. I am trying to understand ...
- 12.9k
3
votes
2
answers
221
views
Number of involutions in finite reductive groups
Let $G$ be a connected split reductive group over $\mathbb{Z}$. Let $n$ be a positive integer. Let $i_n(q)$ be the number of elements of $G(\mathbb{F}_q)$ satisfying $x^n=1$.
Question: Is there a &...
- 2,751
3
votes
1
answer
187
views
Regular embeddings of a reductive groups with induced center
Let $G$ be a reductive group over the finite field $\mathbb{F}_q$. Then a regular embedding of $G$ is an $\mathbb{F}_q$-rational embedding $\iota \colon G \rightarrow G'$ into a second reductive group ...
- 755
10
votes
1
answer
642
views
Is the affine closure of the basic affine space of a reductive algebraic group Cohen–Macaulay?
Let $G$ be a reductive algebraic group with choices of Borel subgroup and maximal torus $B \supseteq T$ and unipotent radical $U$ over an algebraically closed field $k$ of characteristic zero. Is the ...
- 422
3
votes
1
answer
245
views
Can non-geometrically reduced reduced subschemes happen for reductive groups?
The title is meant to be punchy, but also a tongue-in-cheek acknowledgement of the prevalence of ‘reduce’-derived words in this area. (Unfortunately, I overlooked the fact that the question in the ...
- 12.9k
6
votes
0
answers
110
views
subalgebra of invariants for a reductive subgroup
$\DeclareMathOperator\PGL{PGL}\DeclareMathOperator\Spec{Spec}$Trying to understand some tannakian reconstruction, I've stumbled about the following problem in invariant theory. I guess it's something ...
- 887
3
votes
0
answers
74
views
Density of the Mellin transform inside the direct integral of induced representations
I'm trying to better understand the continuous spectrum of $G = \operatorname{GL}_2(\mathbb A_{\mathbb Q})$, which is the direct integral of induced representations $\mathbf H(s) = \operatorname{Ind}_{...
- 6,180
3
votes
3
answers
581
views
Reductive group with simply connected derived group has all root groups $\mathrm{SL}_2$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PGL{PGL}$Motivation: I am trying to understand why the Deligne-Langlands conjectures are only stated for $p$-adic reductive groups with connected ...
- 143
3
votes
0
answers
103
views
compactly induction of smooth modules over Hecke algebras
Let $G$ be a locally profinite group and $H$ its closed subgroup. It is well-known that a smooth representation of $G$ is identified with a smooth module over $\mathcal{H}(G)$, where $\mathcal{H}(G)$ ...
- 479
4
votes
2
answers
330
views
Ring of invariants for $n$-tuples of Lie algebras
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\M{M}\DeclareMathOperator\Tr{Tr}$Consider the diagonal action of $\GL(n,\mathbb{C})$ on the variety of $k$-tuples of matrices, $\M_{n\times n}(\mathbb{C}...
- 142
4
votes
2
answers
120
views
When representations of reductive Lie group in a Banach space and in its Garding space have the same length?
Let $G$ be a real reductive Lie group (e.g. $G=\operatorname{GL}(n,\mathbb{R})$). Let $\rho$ be a continuous representation of $G$ in a Banach space $V$. Let $V^\infty\subset V$ be the subspace of ...
- 21.8k
1
vote
1
answer
275
views
The norm of the principal series intertwining operator for $\operatorname{GL}_2$
Is there a known bound on the norm of the standard intertwining operator for the principal series of $G = \operatorname{GL}_2(\mathbb Q_p)$?
Background:
For a character $\chi = (\chi_1,\chi_2)$ of the ...
- 6,180
3
votes
0
answers
137
views
Span of parabolic inductions of discrete series representations
Let $G$ be the $\mathbf{Q}_p$-points in a $p$-adic reductive group, and let $R(G)$ be the Grothendieck group of the category $\mathrm{Rep}(G)$ of finite-length admissible smooth complex ...
- 13.1k
5
votes
0
answers
122
views
Problem with affine root subgroups of $SU_3$ ramified, residue characteristic $p=2$
Let $L/K$ be ramified quadratic extension of local fields, and let characteristic of the residue field of $K$ be $2$. Let $\mathbb{G}=SU_3$, $G=\mathbb{G}(K)$. Let $\text{val}$ be a valuation on $K$ ...
- 71
1
vote
0
answers
59
views
Distributivity property for smooth parabolic induction
Let $G$ be a reductive group over a local field $k$ of characteristic zero with maximal split torus $T$, Weyl group $W$, Borel $ B$ and a parabolic subgroup $P$ such that $P\supset B \supset T$. ...
- 473
9
votes
1
answer
331
views
Tempered Iwahori-spherical representations
Consider a local field $F$ of characteristic 0 and $G=GL_n(F)$.
It is well known (for example Cartiers article in Corvallis) that an admissible, irreducible representation $\pi$ of $G$ has a ...
- 163
8
votes
1
answer
427
views
Branching laws for smooth representations
Let $E / F$ be a quadratic extension of nonarchimedean local fields (characteristic 0 if it matters), and $\pi$ an irreducible infinite-dimensional smooth representation of $GL_2(E)$. Let $B$ be the ...
- 37k
15
votes
2
answers
2k
views
Why are coroots needed for the classification of reductive groups?
As we know reductive groups up to isomorphism corresponds to root data up to isomorphism. My question is why in the definition of root data do we need the coroots?
Let's break it down to two questions:...
- 2,071
3
votes
0
answers
248
views
Representation of Levi subgroup $L\subset P \subset G$
Let $G$ be a split connected reductive group over a finite field extension of $\mathbb{Q}_p$ with split maximal torus $T$ of rank $d$ and simple roots $\Delta$. Furthermore associated to $I\subset \...
- 473
8
votes
1
answer
452
views
Characterization of automorphic discrete spectra
I recently learned about automorphic spectral decomposition from the book "Spectral decomposition and Eisenstein series" by Moeglin and Waldspurger. (Let me call it M-W)
I have a question ...
user163485
9
votes
1
answer
545
views
Showing subgroups with equal Lie algebras are equal
Let $k$ be a field. It might as well be algebraically closed, but I do not want to assume that it has characteristic $0$. I will write "group" for "affine group scheme over $k$", ...
- 12.9k
7
votes
1
answer
239
views
Definition of functions in the induced space from parabolic induction
Let $P$ be a parabolic subgroup of a connected, reductive group $G$ over a $p$-adic field. Let $M$ be a Levi subgroup of $P$, and let $N$ be the unipotent radical of $P$. If $(\pi,V)$ is a smooth, ...
- 6,180
4
votes
1
answer
263
views
Reference request - Weyl's integration formula
Is there a reference discussing in an organized way (with a proof) the Weyl integration formula for a reductive group over a local field (Archimedean or not), expressing the Haar integral on the group ...
- 5,562
5
votes
1
answer
505
views
How to determine a highest weight corresponding to a parabolic subgroup?
Let $G$ be a simply connected, semisimple algebraic group over $\mathbb C$ with maximal torus $T$ and Borel subgroup $B$ containing $T$. If $(V,\pi)$ is an irreducible representation of $G$, then $(V,...
- 6,180
2
votes
1
answer
261
views
Property of representations of reductive group schemes over characteristic 0 field
I originally posted this on Maths SE, but then I thought it MO might be more fitting.
Let $k$ be a characteristic $0$ field and let $G$ be a linear algebraic group scheme over $k$. Then is it true ...
- 1,516
10
votes
1
answer
375
views
Invariants for $SO_n \backslash \mathfrak{gl}_n / SO_n$
Is there a nice theorem about the algebra of invariants $\mathbb{C}[\mathfrak{gl}_n]^{SO_n \times SO_n}$, where the action is by left and right multiplication? I'm hoping for something along the lines ...
- 4,991
3
votes
1
answer
339
views
branching laws for $p$-adic representations of reductive groups
There are many papers studying branching laws of irreducible admissible complex representations of classical groups over local fields, are there some analogues for $p$-adic representations?
For ...
- 6,622
3
votes
1
answer
407
views
A detail in Bushnell and Henniart's book, “The local Langlands conjecture for GL(2)”
I am recently troubled with a computational detail in Bushnell and Henniart's book, "The local Langlands conjecture for Gl(2)". Let $(\mathfrak{A},n,\alpha)$ be a simple stratum, and define $K_\...
- 111
2
votes
0
answers
227
views
Classification of finite dimensional representations of split complex reductive groups
Finite dimensional, irreducible representations of simply connected, complex semisimple algebraic groups can be classified by their highest weight. I was wondering if there is an analogous ...
- 6,180
7
votes
2
answers
331
views
Are all cuspidals induced?
This is a follow-up to this question by Marc Palm asked 7 years ago:
Let $K$ be a finite extension of $\mathbb{Q}_p$, and $G$ a reductive group over $K$. Is every irreducible cuspidal ...
- 858
6
votes
1
answer
217
views
Number of irreducible representations of $SO_3(\mathfrak{o}/\mathfrak{p}^l)$
$\DeclareMathOperator\SO{SO}$Let $F$ be a finite extension of $\mathbb{Q}_p$, and let $\mathfrak{o}$ denote the ring of integers, with maximal ideal $\mathfrak{p}$. Let $G_l$ denote the finite group $\...
- 858
6
votes
2
answers
486
views
When is compact induction cuspidal?
Let $G=GL_2(\mathbb{Q}_p)$, and let $K$ be a compact-modulo-center subgroup of $G$, $\rho$ an irreducible smooth representation of $K$.
Question 1: Is $\mathrm{ind}_K^G \rho$ cuspidal?
Here ...
- 858
5
votes
1
answer
222
views
Do we have $G(\mathbb A_S) G(k) = G(\mathbb A)$ for sufficiently large $S$?
Let $G$ be a linear algebraic group over a number field $k$. If necessary, assume $G$ is connected and reductive. Let $\mathbb A$ be the ring of adeles of $k$, and $\mathbb A_S = \prod\limits_{v \in ...
- 6,180
4
votes
1
answer
355
views
Volumes of double cosets $KtK$
Let $G$ be the group of rational points of a connected reductive group $\mathbb G$ defined over a non-archimedean local field $F$. For simplicity sake, I assume that $\mathbb G$ is split over $F$. Let ...
- 6,349
1
vote
0
answers
63
views
Question on the proof that the Jacquet module preserves admissibility
Let $P = MN$ be a parabolic subgroup of a reductive group $G$ over a $p$-adic field. For $(\pi,V)$ an admissible representation of $G$, the Jacquet module $(\pi_N,V_N)$ is defined by the action of $\...
- 6,180
5
votes
1
answer
1k
views
$Hom_G(C_c^{\infty}(G),\pi)\cong Hom_{\mathbb{C}}(\pi^{\vee},\mathbb{C}) ?$
$G$ is an p-adic group, and $\pi$ is an irreducible representation of $G$, then do we naturally have
$Hom_G(C_c^{\infty}(G),\pi)\cong Hom_{\mathbb{C}}(\pi^{\vee},\mathbb{C})$? I think it is true, but ...
- 467
1
vote
0
answers
100
views
Embedding of discrete series
Let $G$ be a simple Lie group with equal rank; namely, the rank of $G$ equals that of its maximal compact subgroup. Let $G'$ be a reductive subgroup of $G$ with equal rank. If $\tau$ is a discrete ...
- 951
1
vote
0
answers
141
views
Do we have $K \cap P = (K \cap M)(K \cap N)$?
Let $G$ be a connected, reductive group over a $p$-adic field $k$, let $P$ be a parabolic subgroup with Levi $M$ and radical $N$. Let $K$ be a maximal open compact subgroup of $G$ in good position ...
- 6,180
4
votes
0
answers
313
views
How to determine the unramified character corresponding to an unramified Langlands parameter?
Let $F$ be a p-adic field with ring of integers $\mathcal{O}$. Let $\textbf{G}$ be a connected split reductive algebraic group over $F$. For simplicity, we assume that $\textbf{G}$ is a Chevalley ...
- 960
2
votes
0
answers
47
views
If $f \in \operatorname{c-Ind}_Q^P \sigma$, then $f|_N$ is compactly supported modulo $Q \cap N$?
There is a claim in a proof in Casselman's notes on representation theory which I have not been able to verify. I have asked several people and nobody knows why it is true.
The thing I can't figure ...
- 6,180
1
vote
0
answers
86
views
The convergence of the factor $\gamma(P)$ in the Iwasawa decomposition
Let $G$ be a connected, reductive group over a $p$-adic field $k$, $A_0$ a maximal split torus of $G$, and $P = MU$ a parabolic subgroup with $M$ containing $A_0$. Let $\overline{P} = M \overline{U}$ ...
- 6,180
6
votes
2
answers
280
views
Convergence of the intertwining operator as a vector valued integral
Let $G$ be a connected, reductive group over a $p$-adic field with parabolic $P = MN$ defined by a set of simple roots $\theta \subset \Delta$. For $(\pi,V)$ a representation of $M$, and $\nu \in \...
- 6,180
3
votes
0
answers
226
views
Geometric interpretation of duality for representations of reductive groups
For a reductive group $G$ over a nonarchimedean local field, let $\Omega$ be a connected component of the variety of cuspidal data. Let $\Omega$ have dimension $d$. Let $\mathcal{M}^f(\Omega)$ be the ...
- 726
1
vote
0
answers
132
views
Is the root cone is contained in the weight cone?
Originally posted on math.stackexchange. Let $G$ be a semisimple algebraic group over a field $k$. Let $A_0$ be a maximal split torus of $G$, and $\mathfrak a_0 = \operatorname{Hom}(X(A_0), \mathbb ...
- 6,180
3
votes
0
answers
282
views
Errata for Casselman's unpublished notes
In the first chapter of W. Casselman's unpublished notes on representation theory, there is at least one stated result which is not true:
A counterexample to this last result is given in the question ...
- 6,180
1
vote
0
answers
230
views
Group schemes and Hyperspecial maximal compact subgroups
Let $F$ be a number field. For each non-archimedean place $v$ let $O_v$ denote the ring of integers. Let $G$ be a connected linear algebraic group defined over $F$. Consider the set of sequences $(K_v)...
- 223
5
votes
1
answer
280
views
Integral structures via lattices
I am looking at the paper "p-adic Groups" by Bruhat (in the Boulder Proceedings, 1965). I have a question about one of the statements. Let $k$ be the quotient field of a complete discrete valuation ...
- 223
2
votes
1
answer
265
views
semisimple support of character sheaves
So the essential question is:
How should we think about, or if possible compute, the semisimple
support of a cuspidal character sheaf?
For example, let $G=SL_2$. We have the cuspidal character ...
- 1,856