All Questions
828 questions
4
votes
0
answers
183
views
Characters of finite fields - Reference request
Let $\mathbf{F}_q$ ($q=p^f$) be a finite field. We are interested in the characters $\chi: \mathbf{F}_q\rightarrow \mathbf{K}$ ($\chi(0)=0$) where the $ \mathbf{K}$ is an alg.closed field of ...
- 41
0
votes
1
answer
232
views
Variants of the classical Satake classfication
Let us fix a connected split reductive group $G$ over a local non-archimedean field $K$ with maximal torus $T$, then most notes including that of [Gross] describes as a consequence of the Satake ...
- 831
5
votes
0
answers
231
views
Question on the unramified local Langlands conjecture
I'm working on the unramified local Langlands conjecture and there is something that I don't understand if it is true or not. I want to start by saying that I don't care about endoscopic transfer or ...
- 151
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,335
1
vote
0
answers
64
views
A variation of the dual group of the adjoint group
Let $\mathbf{G}$ be connected reductive group over a $p$-adic field $F$. Denote by $\mathbf{Z}$ the center of $\mathbf{G}$, and $\mathbf{A}$ the maximal split torus of $\mathbf{Z}$ (also called the ...
- 709
5
votes
1
answer
333
views
Local triviality of torsors for relative reductive groups
Let $X \to S$ be a relative (smooth proper) curve, and $G \to X$ a reductive group scheme. The following two results are well-known:
(Drinfeld-Simpson) For arbitrary $S$, if $G$ is defined over $S$, ...
- 605
0
votes
0
answers
64
views
What does it mean for a linear algebraic group to act reductively
I was reading this paper by Baues and on page 918 he mention that $S$ acts reductively on the cochain complex and on page 919 again he mention the word "Since $T$ acts reductively on the complex.....
- 191
2
votes
0
answers
110
views
On the character of a representation of $\mathrm{GL}(n,\mathbb{R})$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Ad{Ad}$Let $G=\GL(n,\mathbb{R})$. Given a continuous admissible irreducible representation of $G$ in a Frechet (or a Banach) space. Then its character ...
- 21.8k
0
votes
0
answers
74
views
Embeddings of unitary groups over $\mathbb{Q}$
$\DeclareMathOperator\GU{GU}$$\DeclareMathOperator\GL{GL}$I'm a bit confused by the following situation:
suppose we have an Hermitian vector space $V=K^3$ of matrix $$
J=\begin{pmatrix}& & \...
- 91
3
votes
1
answer
330
views
Pro-unipotent radical (in Bruhat-Tits) vs. unipotent radical (and reference request)
I'm a beginner in Bruhat-Tits theory, and the following phenomenon makes me puzzled.
So let $F$ be a $p$-adic field, with $\mathfrak{o}\supset \mathfrak{p}$ its ring of integers and maximal ideal, and ...
- 709
7
votes
2
answers
316
views
Holomorphic discrete series vs. discrete series
(I apologize in advance if this question is too naive for experts.) Let $G$ be a real semisimple Lie group. I know that holomorphic discrete series representations are only a part of all the discrete ...
- 709
2
votes
0
answers
127
views
Classification of restricted Lie algebras of reductive groups
$\DeclareMathOperator\Lie{Lie}$Let $G/K$ be a reductive group over a field $K$. In characteristic $0$ the Lie algebra is invariant under base change of fields, so to understand $\Lie(G)$ it is enough ...
- 461
5
votes
1
answer
188
views
Why do most eigenspaces of a Lie algebra automorphism have finitely many orbits?
I'm interested in understanding the following lemma, which Vogan states (Lemma 4.8) in his paper The Local Langlands Conjecture (omitting the "well-known" proof).
Suppose $G$ is a complex ...
- 835
1
vote
2
answers
197
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
- 9,501
1
vote
0
answers
50
views
Do parabolic/Levi pairs admit dynamic descriptions over disconnected base?
In Gille, Thm. 7.3.1, it is proven that given a reductive group scheme $G \to S$ over a connected base $S$, every parabolic-Levi pair $(P, L)$ over $S$ admits a dynamic description, i.e. is of the ...
- 605
3
votes
1
answer
134
views
Connected components of a spherical subgroup from spherical data?
This question is in a similar spirit to this one by Mikhail Borovoi.
Let $G$ be a reductive group over $\mathbb{C}$ and let $X=G/H$ be a homogeneous spherical variety.
Losev proved that the spherical $...
- 2,516
3
votes
1
answer
362
views
Does a quasi-split reductive group scheme admit a maximal torus?
Let $G \to S$ a reductive group scheme over arbitrary base. Following the conventions from Conrad's Reductive Group Schemes notes, we define a Borel subgroup to be an $S$-subgroup scheme $B \subseteq ...
- 605
2
votes
1
answer
270
views
Stabilizer of a Levi subgroup in the Weyl group and its quotient
(I appologize in advance if this question is too naive for experts, since I know very little about the geometry/combinatorics of Weyl/Coxeter groups.)
For simplicity, let $G$ be a connected reductive ...
- 709
4
votes
0
answers
168
views
Representation rings of disconnected reductive groups
Let $G$ be a disconnected complex reductive group, or equivalently a disconnected compact real Lie group, the kind treated by Segal in his (first ever, possibly) paper "The representation-ring of ...
- 413
11
votes
1
answer
381
views
Chromatic representation theory of the symmetric groups?
We know that in characteristic 0, the group ring of the symmetric group $\Sigma_n$ splits via one idempotent for each partition of $n$.
In characteristic $p$, I believe the analogous statement is that ...
- 64k
1
vote
0
answers
102
views
Does $\tilde{\mathrm E}_{6,3}^{(2)6}$ exist over a p-adic field?
Does a form of $\tilde{\mathrm E}_6^{(2)}$ with this Satake-Tits diagram exist over a p-adic field?
- 2,773
4
votes
1
answer
185
views
Canonicality of group of integers for reductive groups over non-Archimedean local field
$\DeclareMathOperator\GL{GL}$Let $G$ be a semisimple (but I think there is no obstruction to assume it to be reductive) algebraic group over a non-Archimedean local field $K$ and $\mathcal{O}_K$ be ...
- 6,006
1
vote
0
answers
107
views
Structure theory of Schubert varieties (extend results from semisimple groups to reductive)
The lecture notes Borel–Weil–Bott theorem and geometry of Schubert varieties by Shrawan Kumar present a concise summary of major results on cohomology of flag varieties $G/B$ for $G$ semisimple, ...
- 6,006
17
votes
2
answers
2k
views
How to think of algebraic geometry in characteristic p?
How does a working mathematician usually think about algebraic geometry in characteristic $p$? For the sake of concreteness, and to make things more "geometric" (whatever that means), let's ...
3
votes
0
answers
110
views
Langlands parameters and Weyl group actions
Let $F$ be a $p$-adic field and $\mathbf{G}$ a connected reductive group over $F$, assumed to be quasi-split. Let $\mathbf{T}$ be a maximal split torus of $\mathbf{G}$ and $\mathbf{P}=\mathbf{M}\...
- 709
2
votes
1
answer
160
views
Finding the mistake in an argument concerning $F$-finite $F$-split local Cohen--Macaulay ring of dimension $1$
Let $R$ be a commutative Noetherian ring, and $\phi: R \to R$ be a ring homomorphism. For an $R$-module $M$, let $^{\phi}M$ be the $R$-module defined via restriction of scalars via $\phi$, i.e., as ...
- 412
0
votes
1
answer
166
views
Calculating relative root systems
Let $\mathbf{G}$ be a connected semisimple algebraic group defined over a field $k$. Let $T$ be a maximal torus of $\mathbf{G}$ defined over $k$, and let $S \subset T$ be a maximal $k$-split torus. ...
- 43
4
votes
0
answers
118
views
Reference Request: Classification of spherical varieties by "Weyl group invariant fans"
Apologies in advance for the vague question.
Let $X$ be a spherical variety with the action of some reductive group $G$. I have been told in conversation several times that such spherical varieties ...
- 63
3
votes
2
answers
232
views
Reductive groups over arbitrary fields with disconnected relative root systems
Let $\mathbf{G}$ be a connected reductive group over a field $k$, not necessarily algebraically closed. Let $\Phi$ be the relative root system for $\mathbf{G}$ with respect to $k$, and assume that $\...
- 131
5
votes
1
answer
160
views
Derived subalgebra of a restricted Lie algebra
Let $L$ be a restricted Lie algebra over a field of characteristic $p>0$. It is well known that the commutator subalgebra $[L,L]$ is not necessarily restricted (that is, closed under the $p$-map).
...
- 630
4
votes
1
answer
146
views
Cohomology of Deligne-Lusztig variety associated to Coxeter element
Determining the individual ($l$-adic) cohomology groups of Deligne-Lusztig varieties has only been done for the general linear group and for some other very specific cases (as far as I know).
However, ...
- 153
2
votes
0
answers
95
views
Torsion equivariant cohomology of reductive groups
Let $G$ be a reductive group with maximal torus $T$. One knows that the equivariant cohomology ring of a point with rational coefficients is $\mathbb{Q}[X^*(T)]^W$, and also there is an equivariant ...
- 125
20
votes
0
answers
408
views
Ado's theorem and the reduction to positive characteristic
The synopsis: proofs of Ado theorem in positive characteristic are simple, and in characteristic $0$ are difficult. Can one infer the characteristic $0$ case from the positive characteristic case?
The ...
- 2,934
0
votes
0
answers
134
views
Tempered representations and unramified principal series
For $V$ a tempered representation of connected reductive group over a local field of characteristic zero. I want to show that for an Iwahori subgroup $B$, the set of fixed points $V^B\neq 0$, thereby ...
2
votes
1
answer
170
views
Automorphism of positive characteristic field
Suppose $K$ is a field with $\text{char}(K) \geq 0$. Let $L$ be a cyclic extension of $K$ with degree $2n$. We consider the generator $\sigma$ of the Galois group $\text{Gal}(L/K)$.
I am interested in ...
- 923
1
vote
0
answers
88
views
Bad primes of twists of modular curves $X_E^{-1}(p)$
I am interested in a good reference for reading about primes of bad reduction for the modular curve $X_E^{-}(N)$, which is a twist of $X(N)$ parametrizing all elliptic curves $E'$ whose $N$-torsion ...
- 637
2
votes
1
answer
92
views
Image of the intertwining operator for GL(2) is $K$-invariant at the "pole" $s=1$
I am taking a look at the residues of Eisenstein series and have a question about a local computation. Let $k$ be a local field, $G = \operatorname{GL}_2(k)$, and $P$ (resp. $K$) the standard ...
- 6,180
8
votes
2
answers
461
views
Spherical roots, restricted roots, and the dual group of a symmetric variety
Let $k$ be an algebraically closed field of characteristic $0$ and $G$ a semisimple simply-connected group over $k$. Consider a symmetric variety of the form $X=G/H$, for $H=G^\theta$ the fixed point ...
- 553
5
votes
2
answers
431
views
Parabolic induction, and tensoring (Iwahori/affine) Hecke algebras
In several places, such as [1] and [2], it seems to be implicitly known that (normalized) parabolic induction corresponds to tensoring affine Hecke algebras. I say implicitly because both [1] and [2] ...
1
vote
1
answer
112
views
Continuity of central character [closed]
Let $G$ be a $p$-adic reductive group and $Z\subseteq G$ the center. Let $\pi$ be an irreducible admissible representation of $G$. By Schur's lemma, it is easy to show that there is a group ...
- 833
2
votes
0
answers
99
views
Relative position of Borel subgroups for the symplectic group
Background
Let $n$ be a positive integer, let $W$ be the Weyl group of $\text{GL}_n$.
Its set of Borel subgroups is isomorphic to the full flag variety $\mathcal{F}_n$.
In this question, I studied ...
- 153
3
votes
1
answer
190
views
Quantum group associated to a reductive group
In most of the classical references about quantum groups, these objects are defined as a one-parameter deformation of the universal enveloping algebra. However, I have read in several papers that it ...
- 31
3
votes
1
answer
297
views
Orbit of a parahoric subgroup on a flag variety
Let $G$ be a split reductive group over a nonarchimedean local field $F$ (I'm particularly interested in the case of $\operatorname{GSp}_{2n}$).
Given a parahoric subgroup $K \subset G(F)$, and a ...
- 37k
4
votes
1
answer
299
views
Can any pair of associate parabolics be related by opposite parabolics?
Let $G$ be a reductive group, say over an algebraically closed field of characteristic zero.
We have the following definitions for a pair of parabolic subgroups $P_1$ and $P_2$ with Levi quotients $...
1
vote
0
answers
150
views
Relative compactification without resolutions of singularities
Let $Y$ be a smooth proper variety over a field $k$, let $X$ be a smooth variety over $k$, $U\hookrightarrow X$ the complement of a strict normal crossing divisor and $\phi\colon U\to Y$ a map. By ...
- 309
7
votes
1
answer
310
views
Faithful representations of integral models
I am reposting a question that I had asked on stackexachage three weeks ago.
Let $G/\mathbb{Q}$ be a connected reductive group, and $\mathcal{G}/\mathbb{Z}$ be an integral model (i.e. flat affine ...
- 831
3
votes
0
answers
112
views
What are the possibilities of the general fibres in an Iitaka fibration?
This question is motivated by complex algebraic geometry.
If $X$ is a complex algebraic variety with Kodaira dimension in $[1,\dim X-1]$, then the Iitaka fibration (the rational map induced by the ...
- 9,501
1
vote
0
answers
88
views
Relative position of flags for the general linear group
This question is related my question in An example of a Deligne–Lusztig variety for a general linear group, and the obtained answer.
Situation
I am working with the general linear group. Specifically, ...
- 153
2
votes
1
answer
136
views
Relative position of flags and the Robinson-Schensted correspondence
This question is related my question in An example of a Deligne–Lusztig variety for a general linear group, and the obtained answer.
I am currently reading Steinberg, Robert, An occurrence of the ...
- 153
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:...
- 153