All Questions
828 questions
1
vote
0
answers
110
views
Reference request: Commutator relations for the exceptional group F4
Is there any standard reference for the commutator relations for the exceptional group of type $F_4$?
If this question is not appropriate here, please let me know and I will delete it.
Thanks in ...
- 960
4
votes
0
answers
180
views
rational representants of sigma-conjugacy classes
Let $G$ be a connected reductive group over a local non-archimedean field $K$. Let $\widehat{K}^{nr}$ be the completion of the maximal unramified extension of $K$ and let $\sigma$ denote the Frobenius ...
- 755
3
votes
1
answer
339
views
branching laws for $p$-adic representations of reductive groups
There are many papers studying branching laws of irreducible admissible complex representations of classical groups over local fields, are there some analogues for $p$-adic representations?
For ...
- 6,622
1
vote
0
answers
246
views
Frobenius twist of a field
Let $k$ be a field of characteristic $p>0$ (not necessarily perfect). Consider the Frobenius endomorphism $F : k \to k$, $x \mapsto x^p$. I am curious about what happens when we take $k$ as a $k$-...
3
votes
1
answer
409
views
A detail in Bushnell and Henniart's book, “The local Langlands conjecture for GL(2)”
I am recently troubled with a computational detail in Bushnell and Henniart's book, "The local Langlands conjecture for Gl(2)". Let $(\mathfrak{A},n,\alpha)$ be a simple stratum, and define $K_\...
- 111
2
votes
0
answers
227
views
Classification of finite dimensional representations of split complex reductive groups
Finite dimensional, irreducible representations of simply connected, complex semisimple algebraic groups can be classified by their highest weight. I was wondering if there is an analogous ...
- 6,180
3
votes
0
answers
143
views
What kind of equivalences exist between categories of characteristic $0$ and characteristic $p$?
The tilting equivalence for perfectoid algebras gives an equivalence of categories $$K\text{-perf} \cong K^\flat\text{-perf}$$
where the left-hand-side are algebras in characteristic zero and the ...
- 4,164
3
votes
1
answer
327
views
split integral model of a reductive group
Let $F$ be a number field, $p\in\mathbb{Z}$ a prime which is unramified in $F$ and $G$ a connected reductive group over $F$. Moreover $G$ is supposed to be quasi-split over $p$.
Does there exist a ...
- 337
5
votes
1
answer
317
views
Bruhat order and positive roots made negative
Let $(\Phi, V)$ be a reduced root system with base $\Delta$ and Weyl group $W$. Let $\ell$ be the length function of $W$ with respect to the set of simple reflections $S = \{s_{\alpha} : \alpha \in \...
- 6,180
7
votes
2
answers
332
views
Are all cuspidals induced?
This is a follow-up to this question by Marc Palm asked 7 years ago:
Let $K$ be a finite extension of $\mathbb{Q}_p$, and $G$ a reductive group over $K$. Is every irreducible cuspidal ...
- 858
1
vote
0
answers
82
views
Connection between global and local notions of a cuspidal representation
Let $k$ be a number field, and $G$ a connected, reductive group over $k$. Let $\omega$ be a unitary character of $Z_G(\mathbb A_k)/Z_G(k)$. An irreducible subspace $(\pi, V)$ of $L^2(G(k) \backslash ...
- 6,180
6
votes
1
answer
217
views
Number of irreducible representations of $SO_3(\mathfrak{o}/\mathfrak{p}^l)$
$\DeclareMathOperator\SO{SO}$Let $F$ be a finite extension of $\mathbb{Q}_p$, and let $\mathfrak{o}$ denote the ring of integers, with maximal ideal $\mathfrak{p}$. Let $G_l$ denote the finite group $\...
- 858
6
votes
0
answers
469
views
How to compute (unipotent) radicals?
My question follows some previous one, essentially this one. I want to understand, given an algebraic group $G$ (say linear), how to compute its radical and unipotent radical. The (unipotent) radical ...
- 937
4
votes
1
answer
148
views
The reductive $p$-adic group $^{2}\!A_3''$ via Galois decent
I am running into some confusion when trying to explicitly describe the group $^{2}\!A_3''$ (using the naming convention that Tits gives in his Corvallis notes). If anyone can give me any advice, I ...
6
votes
2
answers
399
views
Global integral model for unitary groups
I'm a bit puzzled about the following considerations, and am looking for some explanations or maybe some references about it.
Setting: Let $E/F$ be a CM extension of number fields ($F$ being totally ...
- 329
2
votes
0
answers
177
views
vanishing of higher algebraic de Rham cohomology and sheaves of differentials for singular curves
I'm looking for some results or references about de Rham cohomology of curves in less-than-optimal cases. The two vanishing results I care about are:
$H^{k}_{\text{dR}}(X) = 0$ for $k>2$, since $H^...
- 1,142
5
votes
1
answer
230
views
Do regular (but non-smooth) conics over a discretely valued field of characteristic $2$ admit a regular model over the valuation ring?
Let $K$ be a non-perfect field of characteristic $2$. Let $T \subseteq K$ be a discrete valuation ring.
Assume there exist $a,b \in K^{\times}$ such that the projective conic $C$ defined by $$aX^2 + ...
- 103
4
votes
0
answers
105
views
Siegel Levi in $\operatorname{GSpin}(2n+1)$ and image into $\operatorname{SO}(2n+1)$
Let $T$ be a maximal torus of split $\operatorname{SO}_{2n+1}$ with basis $e_1, ... , e_n$. Let $$\Delta = \{e_1 - e_2, ... , e_{n-1} - e_n, e_n\}$$ be a set of simple roots of $T$ corresponding to a ...
- 6,180
6
votes
1
answer
501
views
Cusp forms have an orthonormal basis of eigenfunctions for all Hecke operators
I am reading Langlands' pape Euler Products and have a few questions. Let $G$ be a split adjoint semisimple group over $\mathbb Q$. If $p$ is a place of $\mathbb Q$, finite or infinite, let $G_{\...
- 6,180
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 ...
- 6,180
4
votes
0
answers
133
views
Non-cyclic Galois groups over the field of formal Laurent series in positive characteristic
This should be an easy question, but I am unfortunately not able to give an answer, so I am sorry if this is not the appropriate level for the site.
Let $C$ be an algebraically closed field of ...
- 41
4
votes
0
answers
169
views
Fibered surfaces degenerating to Frobenius
Let $R$ be a DVR with algebraically closed, positive characteristic residue field $k$. Let $X\rightarrow Spec(R)$ and $C\rightarrow Spec(R)$ be smooth projective morphisms of relative dimension 2 and ...
- 599
10
votes
1
answer
1k
views
Gelfand's trick (Gelfand's lemma) in positive characteristic?
I came across this preprint that claims in Lemma 1.1 that Gelfand's trick (also known as Gelfand's lemma) only works in characteristic zero:
Let $H < G$ be finite groups. Suppose we have an anti-...
- 121
5
votes
1
answer
273
views
Singularities of curves that are moving
Let $k$ be an algebraically closed field, let $d\ge 2$ be an integer and let $f,g\in k[x,y,z]$ be two homogeneous polynomials of degree $d$ without common factor.
We want to know what are the ...
- 7,722
3
votes
0
answers
788
views
Elliptic Maximal Tori and Elliptic Elements
I would be grateful if someone could provide a reference/proof of the following fact (or give a counterexample if I've misunderstood and it's false!)
Let $G$ be a reductive group over a field $F$ (in ...
- 953
6
votes
2
answers
486
views
When is compact induction cuspidal?
Let $G=GL_2(\mathbb{Q}_p)$, and let $K$ be a compact-modulo-center subgroup of $G$, $\rho$ an irreducible smooth representation of $K$.
Question 1: Is $\mathrm{ind}_K^G \rho$ cuspidal?
Here ...
- 858
11
votes
1
answer
398
views
Finiteness of $H_1 \backslash G / H_2$ and the geometry of the orbits
Let $G$ be a connected reductive group over an algebraically closed field $k$. By the Bruhat decomposition, $P \backslash G/P \cong W_P \backslash W / W_P$ is a finite set for any parabolic subgroup $...
- 6,622
5
votes
1
answer
222
views
Do we have $G(\mathbb A_S) G(k) = G(\mathbb A)$ for sufficiently large $S$?
Let $G$ be a linear algebraic group over a number field $k$. If necessary, assume $G$ is connected and reductive. Let $\mathbb A$ be the ring of adeles of $k$, and $\mathbb A_S = \prod\limits_{v \in ...
- 6,180
5
votes
0
answers
217
views
Exact differential forms in characteristic $p>0$
Let $k$ be an algebraically closed field of characteristic $p>0$. Suppose $1< e_i <p$ for $i=1,2, \ldots, n$ are integers ($n \ge 2$). What are the conditions on the $e_i$'s so that the ...
- 245
4
votes
1
answer
355
views
Volumes of double cosets $KtK$
Let $G$ be the group of rational points of a connected reductive group $\mathbb G$ defined over a non-archimedean local field $F$. For simplicity sake, I assume that $\mathbb G$ is split over $F$. Let ...
- 6,349
1
vote
0
answers
63
views
Question on the proof that the Jacquet module preserves admissibility
Let $P = MN$ be a parabolic subgroup of a reductive group $G$ over a $p$-adic field. For $(\pi,V)$ an admissible representation of $G$, the Jacquet module $(\pi_N,V_N)$ is defined by the action of $\...
- 6,180
3
votes
0
answers
375
views
What is the meaning of the "constant term of Eisenstein series" in terms of Fourier analysis
Let $G$ be a connected, reductive group over $\mathbb Q$, with parabolic subgroup $P = MN$. Let $\pi$ be a cuspidal automorphic representation of $M(\mathbb A)$. For a smooth, right $K$-finite ...
- 6,180
2
votes
1
answer
165
views
If $H \subset \operatorname{GL}(n)$, can we realize $\operatorname{Res}_{K/k} H$ inside $\operatorname{GL}([K : k]n)$?
Let $K/k$ be a finite separable extension. If necessary, we can assume $[K : k] = 2$. Let $H$ be a $K$-closed subgroup of $\operatorname{GL}_n$, and let $\tilde{H} = \operatorname{Res}_{K/k}H$. ...
- 6,180
3
votes
1
answer
252
views
Is this unipotent group, over characteristic 2, connected?
Let $E_{ij}(x)\in \mathrm{Mat}_{7\times7}(\overline{\mathbb{F}}_2)$ be the matrix with zeros everywhere, except for the value $x$ at $ij$. Set $$a(x)=1+E_{12}(x)+E_{34}(x)+E_{56}(x),\quad b(y)=1+E_{23}...
- 4,593
4
votes
2
answers
552
views
Variety of conjugacy classes
Consider a reductive group $G$ over an algebraically closed field $K$ of characteristic $0$. I would like to consider the space $X$ of all $G$-conjugacy classes in $G$. Does the space $X$ have some ...
- 1,190
9
votes
2
answers
868
views
Nakano vanishing in positive characteristic
Let $X$ be a smooth projective variety defined over a field $k$.
In characteristic zero, the following is a special case of the (Kodaira-Akizuki-)Nakano vanishing theorem:
$(\ast) \quad$ $\mathrm H^...
- 1,072
9
votes
2
answers
910
views
Example of a smooth projective family of varieties in characteristic $p$ where the Hodge numbers jump
Let $\mathbb F$ be an algebraic closure of the field of order $p$. Let $S=\textrm{Spec}(\mathbb F[[z]])$ with special point $s$ and generic point $\eta$. I'm looking for an example of a smooth ...
- 790
15
votes
2
answers
2k
views
Biggest Field Of Characteristic $p$
The Surreal nummbers, $\boldsymbol{No}$, are according to Wikipidia the biggest ordered field, and the Surrcomplex numbers are the biggest field of characteristic 0. Biggest in the sense that every ...
- 943
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 ...
- 1,545
8
votes
1
answer
454
views
L-packets in the local Langlands correspondence: why finite sets?
Let $G$ be a connected, reductive group over a local field $k$, and let $^LG$ be the Langlands dual group. As explained by Borel in his article in the Corvallis proceedings, the general local ...
- 6,180
8
votes
1
answer
468
views
How should the local Langlands correspondence for general reductive groups take into account different inner forms?
Let $G$ be a connected, reductive group over a local field $k$, and let $^LG$ be the Langlands dual group. As explained by Borel in his article in the Corvallis proceedings, the general local ...
- 6,180
2
votes
1
answer
681
views
The centralizer of a semisimple element which is not contained in any proper parabolic subgroups
Let $G$ be a connected, reductive group over a field $k$. Let $A_G$ be the split component of $G$. If necessary, assume $k$ is perfect. Let $g \in G(k)$ be a semisimple element. Then the ...
- 6,180
5
votes
1
answer
1k
views
$Hom_G(C_c^{\infty}(G),\pi)\cong Hom_{\mathbb{C}}(\pi^{\vee},\mathbb{C}) ?$
$G$ is an p-adic group, and $\pi$ is an irreducible representation of $G$, then do we naturally have
$Hom_G(C_c^{\infty}(G),\pi)\cong Hom_{\mathbb{C}}(\pi^{\vee},\mathbb{C})$? I think it is true, but ...
- 467
1
vote
0
answers
100
views
Embedding of discrete series
Let $G$ be a simple Lie group with equal rank; namely, the rank of $G$ equals that of its maximal compact subgroup. Let $G'$ be a reductive subgroup of $G$ with equal rank. If $\tau$ is a discrete ...
- 951
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 ...
- 6,180
7
votes
0
answers
291
views
What does it mean for a complex valued function on $G(\mathbb A)$ to be smooth (or smooth of compact support)?
Let $G$ be a linear algebraic group over a number field $k$. Let $\mathbb A$ denote the adeles of $k$, $\mathbb A_f$ the finite adeles, and $k_{\infty} = \prod\limits_{v \mid \infty} k_v$. Here are ...
- 6,180
5
votes
0
answers
1k
views
Some questions about cuspidal representations and automorphic representations
My reference is Daniel Bump's book, Automorphic Forms and Representations. $G$ is a connected reductive group over a number field $k$ (in Bump's book he takes $G = \operatorname{GL}_n$). Let $K = K_{...
- 6,180
3
votes
1
answer
108
views
Reference request: existence of a subgroup of $G(\mathcal O_k)$ that is "uniform" across $P \overline{N}$
Let $G$ be a connected, reductive group over a $p$-adic field $k$. Let $P_0$ be a minimal parabolic subgroup of $G$ containing a maximal split torus $A_0$. Let $K$ be a maximal compact open subgroup ...
- 6,180
1
vote
0
answers
141
views
Do we have $K \cap P = (K \cap M)(K \cap N)$?
Let $G$ be a connected, reductive group over a $p$-adic field $k$, let $P$ be a parabolic subgroup with Levi $M$ and radical $N$. Let $K$ be a maximal open compact subgroup of $G$ in good position ...
- 6,180
2
votes
0
answers
60
views
A conjectural formula for the "minimal degree function", $k\rightarrow d\min(k)$, attached to recursion, $f\rightarrow A(f)$, in char $3$
THE RECURSION: $f\rightarrow A(f)$
$A: t(\mathbb{Z}/3)[t^3]\rightarrow t(\mathbb{Z}/3)[t^3]$ is the $\mathbb{Z}/3$-linear map with $A(t)=0, A(t^4)=t, A(t^7)=t^4$, and $A((t^9)f)=(2t^9)A(f)+(t^3)A((t^...
- 5,422