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
448 questions
6
votes
2
answers
298
views
Is every compact simply-connected reductive p-adic group perfect?
Let $k$ be a nonarchimedean local field and $G$ a reductive $k$-group,
which we assume to be semisimple and simply-connected. Recall that an abstract group $H$ is perfect if it is generated by ...
- 815
4
votes
1
answer
141
views
The meaning of $L_{\chi}^2(G(\mathbb Q) \backslash G(\mathbb A)^1)$
I'm reading James Arthur's notes on the trace formula and am confused on a point on pages 65 and 66. For $G$ a reductive group over $\mathbb Q$ we are going over the decomposition of the space $L^2(G(...
- 6,180
4
votes
0
answers
213
views
What are the good maximal compact subgroups in $p$-adic unitary groups?
Let $E/\mathbb Q_{p}$ be a quadratic extension and let $V$ be an $n$-dimensional $E$-hermitian space. Denote the hermitian form by $(\cdot,\cdot):V\times V \rightarrow E$. Let $G := \mathrm{U}(V)$ be ...
- 769
2
votes
0
answers
147
views
Automorphism groups of "reductive" Lie algebras in positive characteristic
I put "reductive" in quotes because, of course, in positive characteristic one should speak of Lie algebras of reductive groups, not of reductive Lie algebras.
Let $G$ be a reductive group ...
- 12.9k
5
votes
1
answer
279
views
Asymptotic behavior of matrix coefficients
I'm reading Casselman's notes "Introduction to the theory of admissible representations of p-adic reductive groups". In chapter 4 "The asymptotic behavior of matrix coefficients", ...
- 121
5
votes
1
answer
792
views
Constructing a Kac-Moody group as a quotient of the free product of its root subgroups
The paper "Regular Functions on Certain Infinite-dimensional Groups" by Kac and Peterson describes the construction of a group associated to the datum of a Kac-Moody algebra in a way I haven'...
- 53
1
vote
1
answer
207
views
Comparing cohomology of quotient by algebraic group and Borel subgroup
Let $X$ a variety over an algebraically closed field $k$ (which we can assume to be actually $k=\mathbb{C}$) and $G$ a connected reductive algebraic group acting freely on $X$ (we can actually assume $...
- 1,061
4
votes
0
answers
149
views
Centraliser of a maximal $k$-split torus of a reductive $k$-group
Let $G$ be a connected reductive group defined over a field $k$, and let $S$ be a maximal $k$-split $k$-torus of $G$. Then the centraliser $\mathscr Z_{G}(S)$ is defined over $k$. In fact, it is a ...
- 61
7
votes
1
answer
396
views
Is there a Chevalley map for spherical varieties?
If $G$ is a reductive group, $T$ a maximal torus and $W$ its Weyl group the Chevalley restriction theorem (in its "multiplicative" version) gives an isomorphism between the GIT quotient of $...
- 553
2
votes
0
answers
78
views
Cohomology of compact open subgroups of semisimple groups over local fields
Let $E$ be a local field, $\mathcal{O}$ its ring of integers, $k$ its residue field, and $G$ a split semisimple group over $\mathcal{O}$. Let $K$ be an open subgroup of $G(\mathcal{O})$; more ...
- 10.5k
2
votes
0
answers
92
views
Conjugates of relative root groups by an element of the Weyl group
Let $G$ be a reductive group (over an algebraically closed field), $T$ a maximal torus, and $\Phi$ the root system of $(G,T)$. Then for each root $\alpha \in \Phi$ there is a unique connected $T$-...
- 61
3
votes
0
answers
92
views
Is the product of unipotent radicals of opposite Borels a closed immersion?
Let $G$ be a reductive group over a scheme $S$ and let $B \subset G$ and $B' \subset G$ be opposite Borel subgroups with their unipotent radicals $U \subset B \subset G$ and $U' \subset B' \subset G$. ...
5
votes
0
answers
271
views
Can closure of an orbit under a reductive action contain infinitely many orbits?
I posted this on math.se a week ago, currently it has 23 views and no other feedback.
Here on MO there are several questions about orbit closures but I could not find anything about what I need.
To be ...
- 18.4k
8
votes
0
answers
331
views
$\mathbb G_{\mathrm{m}}$-gerbes are to (derived) Azumaya algebras as $G$-gerbes are to …?
Let $X$ be a quasicompact quasiseparated scheme over a field $k$. The connection between Azumaya algebras over $X$ and $\mathbb G_{\mathrm{m}}$-gerbes over $X$ is well-known: there exists an injection ...
- 455
2
votes
0
answers
156
views
Semisimple covers of varieties
Let $X$ be an algebraic variety.
The finite étale covers of $X$ are measured by the étale fundamental group $\pi_1^{\rm et}(X)$.
On the other hand, the Cox ring ${\rm Cox}(X)$ of $X$ (finitely ...
- 1,585
12
votes
1
answer
567
views
Reference for character sheaves over $\mathrm{GL}_n(q)$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SO{SO}$I know a little bit about complex representation theory of finite reductive groups as $\GL_n(q),\SO_n(q)$ etc via Deligne-Lusztig induction and ...
- 1,061
8
votes
0
answers
267
views
A Lie-theoretic question regarding $B\ltimes \mathfrak{g}/\mathfrak{b}$
I am stuck on a seeming elementary Lie-theoretic question arising from a study of components of affine Springer fibers. Will be very grateful if somebody would like to share some insight, or ...
- 1,856
3
votes
0
answers
175
views
Nef cone of a GIT quotient
I want to know how to calculate nef cone of a GIT quotient. In particular let $X$ be a projective variety and $L$ be an ample line bundle on $X$ and $G$ be a reductive algebraic group and chosen a $G$ ...
- 61
4
votes
1
answer
169
views
Divisibility by 2 of invariants forms on reductive Lie algebras and anomaly cancellation for gauge theories
Let $G$ be a connected reductive group over $\mathbb C$ and let $\rho:G\to \operatorname{Sp}(2n,\mathbb C)$ be a homomorphism. You can think about $\rho$ as a linear symplectic representation of $G$ ...
- 7,037
3
votes
0
answers
79
views
Gindikin-Karpelevich formula in the quasi-split case
In Euler Products (1971), Langlands established the Gindikin-Karpelevich formula for split reductive groups over the local fields $\mathbb{Q}_p$. On the other hand, the archimedean Gindikin-...
- 193
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
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?
- 51
2
votes
0
answers
160
views
Principal bundles with no trivializable extensions
Let $Q \to M$ be a principal $G$-bundle. Given a homomorphism $\phi: G \to H$, we can ‘extend the structure group’ of $Q$ to $H$, by defining an associated principal $H$-bundle: $Q_{H} := (Q \times H)/...
- 491
3
votes
1
answer
261
views
Is it possible to detect when a maximal parahoric subgroup is (hyper)special from its finite reductive quotient?
Let $F$ be a $p$-adic field with residue field $k$ and let $G$ be a connected reductive group over $F$. Let us assume that $G$ is simply connected as an algebraic group over an algebraic closure of $F$...
- 769
1
vote
0
answers
73
views
Minimum level principal congruence subgroup coming from neat open compact subgroup
For a connected reductive group $G/\mathbb{Q}$ what is known about the minimum level such that the respective principal congruence subgroup is the intersection of a neat open compact subgroup of $G(\...
- 11
1
vote
0
answers
177
views
Restriction of a line bundle on $G/B$ to a fibre which is isomorphic to $\mathbb{P}^1$
Let $G$ be a reductive group over a field $k$ of characteristic zero with maximal split torus $T$, Borel $B \supset T$ and Weyl group $W$. Set $X:=G/B$ and $C_w:=BwB/B \subset X$ for $w \in W$ the ...
- 473
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
6
votes
1
answer
678
views
Cartan decomposition of loop group
Let $G$ be a complex reductive group. Let $LG$ and $L^+ G$ denote the formal loop spaces given by maps from the punctured formal disk and the formal disk, respectively, to $G$. The quotient $LG/L^+ G$ ...
- 553
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
5
votes
1
answer
419
views
Lifting $\mathfrak{sl}_2$-triples
Let
$k$ be an algebraically closed field,
$G$ a (smooth, connected) reductive algebraic group over $k$,
$H$ a (smooth, connected) reductive group of semisimple rank 1, and
$T$ a maximal torus in $H$.
...
- 12.9k
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
1
answer
160
views
Action of split torus on positive root spaces
Let $G$ be a connected reductive group over a field $k$ (not necessarily algebraically closed). Let $S$ be a maximal split torus in $G$ with relative root system $\Phi = \Phi_k(S,G)$. Let $\Phi^+$ ...
- 33
9
votes
2
answers
629
views
How to read the paper of Arthur on trace formula on general reductive groups
My question is about the correct order to read the papers by Arthur on trace formula. Arthur's papers are perfectly well-written, but maybe a little too hard for me to go through easily.
I would like ...
- 93
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
40
views
Generating $K$-types of a $(\mathfrak g,K)$-module for $K$ disconnected
Let $G$ be a real reductive Lie group, let $K$ be a maximal compact subgroup of $G$, and let $V$ be a $(\mathfrak g,K)$-module. For $\sigma\in\widehat{K}$ we denote the $\sigma$-isotypic component of $...
- 741
5
votes
1
answer
277
views
Signs in Chevalley systems for reductive groups
Let $G$ be a pinned split reductive group. There exists a Chevalley system:
For each root $b$ in its root system there are parametrisations $x_b: \mathbb{G}_a \rightarrow U_b$ of the corresponding ...
- 51
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
4
votes
1
answer
310
views
Maximal torus of linear algebraic group over a ring
Let $G$ be a linear algebraic group over a $k$-algebra $A$, where $k$ is an algebraically closed field.
Consider the structure morphism $G\rightarrow U={\rm Spec}(A)$.
Assume that for every $k$-point ...
- 1,585
1
vote
0
answers
114
views
Maximal compact subgroups of p-adic orthogonal groups
Let F be a non-archimedean local field, and G be split orthogonal groups of odd degrees $\geq$ 3.
In this setting, my question is;
Is there explicit descriptions of maximal compact subgroups of G?
I ...
user163485
3
votes
1
answer
183
views
Calculating the residue of Eisenstein series from the residue of the intertwining operator
I've been reading the article Forms of $\operatorname{GL}(2)$ from the analytic point of view by Gelbart and Jacquet in Corvallis and am confused on a particular claim (equation 5.17 on page 232).
The ...
- 6,180
4
votes
0
answers
79
views
How to see the surjectivity of $L^2_{\text{cont}}$ onto the direct integral of Hilbert space representations?
I've been reading the article Forms of $\operatorname{GL}(2)$ from the analytic point of view by Gelbart and Jacquet in Corvallis and am confused on one point. Let $G = \operatorname{GL}_2$, and $V = ...
- 6,180
9
votes
1
answer
225
views
Why are characters orthogonal to cusp forms?
Let $G = \operatorname{GL}_2$, and let $V = L^2(Z(\mathbb A)G(\mathbb Q) \backslash G(\mathbb A),\omega)$, for $\omega$ a character of the ideles $\mathbb A^{\ast}$, identified with a central ...
- 6,180