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
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'...
user avatar
  • 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 $...
user avatar
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 ...
user avatar
  • 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 $...
user avatar
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 ...
user avatar
  • 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$-...
user avatar
  • 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 ...
user avatar
  • 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$. ...
user avatar
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 ...
user avatar
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 ...
user avatar
  • 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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
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$ ...
user avatar
  • 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$ ...
user avatar
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-...
user avatar
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 $...
user avatar
  • 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?
user avatar
  • 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)/...
user avatar
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$...
user avatar
  • 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(\...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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 &...
user avatar
  • 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 ...
user avatar
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 ...
user avatar
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$ ...
user avatar
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 ...
user avatar
  • 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 ...
user avatar
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$. ...
user avatar
  • 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}_{...
user avatar
  • 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^+$ ...
user avatar
  • 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 ...
user avatar
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 ...
user avatar
  • 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 $...
user avatar
  • 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 ...
user avatar
  • 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)$ ...
user avatar
  • 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}...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
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 ...
user avatar
  • 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 ...
user avatar
  • 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 = ...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
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$ ...
user avatar
  • 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\...
user avatar
  • 551

1
2 3 4 5
7