Skip to main content

Questions tagged [reductive-groups]

A reductive group is an algebraic group $G$ over an algebraically closed field such that the unipotent radical of $G$ is trivial

Filter by
Sorted by
Tagged with
51 votes
2 answers
4k views

Which philosophy for reductive groups?

I am just beginning to look further into trace formulas and automorphic forms in a quite general setting. For long I have noticed that the natural assumption on the group $G$ we work on is to be ...
Desiderius Severus's user avatar
33 votes
3 answers
3k views

What is the defining property of reductive groups and why are they important?

Having read (skimmed more like) many surveys of the Langlands Program and similar, it seems the related ideas apply exclusively to groups that are "reductive". But nowhere, either in these surveys or ...
John R Ramsden's user avatar
9 votes
3 answers
677 views

Are all irreducible supercuspidal representation induced from compact-mod-center subgroups?

Let $G$ be a reductive group over a local non-archimedean field $F$. Can every irreducible supercuspidal representation of $G(F)$ be realized as the induction from an open subgroup, which is compact ...
Marc Palm's user avatar
  • 11.2k
8 votes
3 answers
699 views

Centralizers of subtori in reductive groups, derived subgroups

Let $G$ be a split, almost-simple connected reductive group over a field $F$ with split maximal torus $T$. I am trying to understand precisely the groups $[G_{\alpha}, G_{\alpha}]$, where $\alpha$ is ...
Tippy Tipper's user avatar
27 votes
1 answer
3k views

Reconciling Lusztig's results with the Langlands philosophy

Let $\boldsymbol{G}$ be a reductive group over a finite field $\mathbb{F}_q$, $G = \boldsymbol{G}(\mathbb{F}_q)$, $W = \mathrm{W}(\mathbb{F}_q)$ the Witt vectors over $\mathbb{F}_q$, and $K = \mathrm{...
Will's user avatar
  • 805
17 votes
2 answers
3k views

What's the point of a Whittaker model?

Let $G$ be a quasi-split connected reductive group over a $p$-adic field $F$. Let $B$ be a Borel subgroup which is defined over $F$, with $B = TU$, $T$ defined over $F$. The choice of $T$ and $B$ ...
D_S's user avatar
  • 6,180
14 votes
1 answer
1k views

Definition of discrete spectrum and continuous and basic properties

I apologize if this is too basic for MO. I have an embarrassing admission to make: I don't know the actual definition of the discrete/continuous spectrum of a reductive group $G/\mathbb{Q}$ (in the ...
Alex Youcis's user avatar
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$", ...
LSpice's user avatar
  • 12.9k
8 votes
2 answers
959 views

Conjugation in GL(n) (p-adic setting)

In $GL(n, \mathbb{Q}_p)$, what are the orbits under conjugation of $GL(n, \mathbb{Z}_p)$?
Marc Palm's user avatar
  • 11.2k
8 votes
2 answers
722 views

Is every connected reductive group over a local field already defined over a global field?

Let $K$ be a local field, e.g. $\mathbb{Q}_p$ or $\mathbb{F}_p((t))$. Let $G$ be a connected reductive group over $K$. Is it true that $G$ is already defined over a global field? More precisely, does ...
Timo Richarz's user avatar
7 votes
1 answer
608 views

$GSp(4)$ vs $PSp(4)$

After some months wandering through examples of algebraic groups in the theory of automorphic forms and number theory, I wonder why so many efforts are spent in understanding $GSp(4)$ (local newforms, ...
Desiderius Severus's user avatar
7 votes
1 answer
424 views

Open cell decomposition after applying a Weyl group element

Let $G=\operatorname{GL}(n,\mathbb C)$. What follows can be put into a more general context, but I would like to first understand it for this case, the generalization is a second step. For Zariski-...
Jesko Hüttenhain's user avatar
6 votes
1 answer
435 views

Dynkin diagram of the centralizer of a semisimple element in a Levi subgroup

Let $G$ be a connected reductive group over an algebraically closed field and consider a semisimple element $s \in G$ and let $L$ be a Levi subgroup containing $s$. My question is about the two ways ...
Matthias Klupsch's user avatar
6 votes
1 answer
312 views

Making sense out of intertwining operators defined by a vector valued integral

Let $G$ be the rational points of a connected, reductive group over a $p$-adic field $F$. Let $S$ be a maximal split torus of $G$ with $\Delta$ a set of simple roots corresponding to a minimal ...
D_S's user avatar
  • 6,180
6 votes
1 answer
127 views

Intersection of integral points with a unipotent and its opposite

This is a follow-up to Does the bruhat decomposition induces decomposition on integral points (on an open cell)? Given a split connected reductive group $G$ over a $p$-adic local field $F$ with ring ...
Ashwin Iyengar's user avatar
6 votes
2 answers
1k views

Representations of GL(2, Q_p) and GL(2, Z_p)

The cuspidal representations of $\operatorname{GL}_n(F)$ a non archimedean field $F$ with ring of integers $o$ can be classified by inducing irreducible representation from $Z\operatorname{GL}_n(o)$. ...
Marc Palm's user avatar
  • 11.2k
6 votes
2 answers
1k views

Parabolic induction GL(n,Zp)

Let $P$ be a parabolic subgroup of $GL(n)$ with Levi decomposition $P =MN$, where $N$ is the unipotent radical. Let $\pi$ be an irreducible representation of $M(\mathbf{Z}_p)$ inflated to $P(\mathbf{...
Marc Palm's user avatar
  • 11.2k
5 votes
2 answers
566 views

Rosenlicht's theorem and fundamental domain for unipotent group acting on $\mathbb A_k^n$

I have a question about unipotent group actions. I was referred to Rosenlicht's papers, but I had trouble getting much out of these because I don't understand the old algebraic geometry language very ...
D_S's user avatar
  • 6,180
5 votes
1 answer
444 views

An example of a Deligne–Lusztig variety for a general linear group

Take $G=\operatorname{GL}_3$, defined over the algebraic closure of a finite field $\mathbb{F}_q$ and let $X$ be the set of Borel subgroups of $G$. The Frobenius morphism $F:G\to G$ induces a map $F:...
EJB's user avatar
  • 153
5 votes
1 answer
549 views

Supercuspidal with Iwahori fixed vector

Let $F$ be a local field. Is there a reference for the following fact: No supercuspidal representation of $GL_2(F)$ has an Iwahori-fixed vector? I have a proof, by I'd prefer a reference, because ...
Marc Palm's user avatar
  • 11.2k
5 votes
2 answers
441 views

Reference Request: Derived group of $\mathscr R_u(B)$

Let $G$ be a connected, reductive group over an algebraically closed field $k$. Let $B$ be a Borel subgroup with maximal torus $T$ and unipotent radical $U$. Let $\Phi^+ = \Phi(B,T)$ and $\Delta$ ...
D_S's user avatar
  • 6,180
5 votes
1 answer
233 views

Countably many isomorphism classes of reductive groups over a field with countable Brauer and Witt groups

Assume a field has a countable Brauer group and a countable Witt group. Are there countably many isomorphism classes of reductive groups over it?
guriz's user avatar
  • 51
4 votes
1 answer
535 views

The unique maximal compact subgroup of a torus

Let $T$ be a torus over a $p$-adic field $F$. Let $q = f(F/\mathbb{Q}_p)$, and normalize the absolute value $| \cdot |$ on $F$ so that a uniformizer has value $\frac{1}{q}$. Let $X(T)_F$ be the ...
D_S's user avatar
  • 6,180
4 votes
0 answers
288 views

Meaning of a highly ramified character for reductive groups

Let $F$ be a $p$-adic local field, and $G$ a connected reductive group over $F$. What is the meaning of a "highly ramified character" of $G(F)$? I have seen this terminology in many places in ...
D_S's user avatar
  • 6,180
3 votes
0 answers
334 views

Tits Reductive Groups over Local Fields Example 1.15 (Quasi-split special unitary groups in odd dimension)

I hope this question about Tits's paper "Reductive groups over local fields" in Algebraic groups and discontinuous subgroups ends up having an easy answer, but I'm a little stuck on the ...
Marc Besson's user avatar
3 votes
1 answer
562 views

Volume of PGL(2,F) \ PGL(2, A)

Let $F$ be a global field. What is the measure of $PGL_2(F) \backslash PGL_2(\mathbb{A})$? This depends of course on the normalizations of the Haar measures on $PGL_2(F)$ and $PGL_2(\mathbb{A})$. ...
Marc Palm's user avatar
  • 11.2k
3 votes
1 answer
611 views

How to translate the representation theory of semisimple to reductive groups?

I am aware of the following question: Definitions of Reductive and Semisimple Groups So let me phrase a precise question: Is there a standard technique by which one can translate the unitary/...
Marc Palm's user avatar
  • 11.2k
3 votes
1 answer
317 views

Is there a "big open cell" analogue for parabolic subgroups?

Let $G$ be a reductive group over a $p$-adic field. Let $P$ be a parabolic subgroup of $G$ containing a minimal parabolic $P_0$. Let $S$ be a maximal split torus of $P_0$, and let $\Delta$ be a set ...
D_S's user avatar
  • 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 ...
D_S's user avatar
  • 6,180
3 votes
0 answers
109 views

Does the Bruhat decomposition induces decomposition on integral points (on an open cell)?

Edit: both questions are resolved in comments. Let $F$ be a local field and $O$ its integral points. Let $G$ be a split reductive group over $O$. The Bruhat decomposition states that there is a ...
W. Zhan's user avatar
  • 448
2 votes
2 answers
214 views

Definition of cusp form in $L^2$ and convergence over $N_{\mathbb Q} \backslash N_{\mathbb A}$

Let $G$ be an adjoint semisimple group over $\mathbb Q$ with parabolic subgroup $P = MN$ in good position relative to a compact subgroup $U= \prod\limits_v K_v$ of $G(\mathbb A)$. Let $L$ be the ...
D_S's user avatar
  • 6,180
2 votes
0 answers
304 views

Question about the Fourier expansion of adelic Eisenstein series for $\operatorname{GL}_2$

My reference is Daniel Bump's book, Automorphic Forms and Representations, Chapter 3.7. Let $k$ be a number field, $G = \operatorname{GL}_2$, $B$ and $T$ the usual Borel subgroup and maximal torus ...
D_S's user avatar
  • 6,180
2 votes
2 answers
230 views

The stabiliser group of an isotropic quadratic form over $\mathbb{Q}_p$ is non-compact?

Let $\mathbb{Q}_p$ denote the $p$-adic integers. Let $V$ be a $\mathbb{Q}_p$-vector space and $Q : V \rightarrow \mathbb{Q}_p$ be a non-degenerate integral quadratic form. We say that the pair $(Q,V)$ ...
Andrew Musso's user avatar
1 vote
1 answer
114 views

Integration over a reductive group $G$ using the constant $\gamma(P)$

Let $G$ be a connected, reductive group over a $p$-adic field. Let $A_0$ be a maximal split torus of $G$ and $P = MU$ a parabolic subgroup with Levi $M$ containing $A_0$, and opposite parabolic $\...
D_S's user avatar
  • 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)...
Mehta's user avatar
  • 223