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
344
questions
3
votes
0
answers
33
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'...
- 31
1
vote
1
answer
129
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 $...
4
votes
0
answers
81
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
3
votes
1
answer
144
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 $...
- 319
2
votes
0
answers
45
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 ...
- 10k
2
votes
0
answers
46
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
2
votes
0
answers
54
views
Dimension of $\text{K}_0(\operatorname{Rep}G)$ for non-connected groups
$\DeclareMathOperator\Rep{Rep}\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\rank{rank}$Remember that if $G$ is a connected reductive group with maximal torus $T$ (whose dimension $r$ is called ...
- 4,004
3
votes
0
answers
45
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
85
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 ...
- 16.2k
7
votes
0
answers
187
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 ...
- 275
2
votes
0
answers
136
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,575
6
votes
0
answers
159
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 ...
9
votes
0
answers
225
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,654
3
votes
0
answers
141
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$ ...
- 41
4
votes
1
answer
133
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$ ...
- 6,677
3
votes
0
answers
47
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
116
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 $...
- 395
5
votes
1
answer
191
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
113
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)/...
- 391
3
votes
1
answer
113
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$...
- 395
1
vote
0
answers
56
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
125
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 ...
- 913
3
votes
2
answers
162
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 ...
- 913
3
votes
1
answer
108
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 ...
- 7,353
3
votes
2
answers
202
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,041
3
votes
1
answer
138
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 ...
- 715
9
votes
1
answer
233
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 ...
- 402
6
votes
1
answer
312
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$ ...
- 319
3
votes
1
answer
153
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 ...
- 7,353
6
votes
0
answers
80
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 ...
- 847
5
votes
1
answer
290
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$.
...
- 7,353
3
votes
0
answers
61
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}_{...
- 5,536
3
votes
1
answer
127
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
7
votes
1
answer
211
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 ...
- 73
3
votes
2
answers
287
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
33
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 $...
- 571
5
votes
1
answer
169
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
65
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)$ ...
- 419
4
votes
2
answers
270
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
98
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 ...
- 19k
1
vote
1
answer
207
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 ...
- 5,536
4
votes
1
answer
220
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,575
1
vote
0
answers
67
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 ...
- 347
3
votes
1
answer
79
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 ...
- 5,536
4
votes
0
answers
54
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 = ...
- 5,536
9
votes
1
answer
179
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 ...
- 5,536
3
votes
0
answers
108
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 ...
- 12.1k
3
votes
0
answers
94
views
Localizations of smooth spherical varieties at simple roots
Setup
Let $G$ be a (connected) reductive group over an algebraically closed field $k$, and fix a Borel subgroup
$B \subset G$ and a maximal torus $T \subset B$. Let $\lambda: \mathbb{G}_m \to T$ be a ...
5
votes
0
answers
93
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
3
votes
1
answer
72
views
Image of square map on reductive group
$\DeclareMathOperator\ss{ss}$Let $G$ be a reductive group over a field $F$ of characteristic 0. (Here not necessarily $F=\overline{F}$.) Consider the square map
$$
G(F)\longrightarrow G(F), \quad g\...
- 551