All Questions
828 questions
5
votes
0
answers
210
views
rational cohomology of classifying spaces of complex reductive Lie groups
I am looking for a reference or an ad-hoc proof of the following fact, which seems to be known to experts: Let $\mathbf{G}$ be a complex algebraic group with maximal (algebraic) torus $\mathbf{T}$ and ...
- 2,928
5
votes
2
answers
441
views
Reference Request: Derived group of $\mathscr R_u(B)$
Let $G$ be a connected, reductive group over an algebraically closed field $k$. Let $B$ be a Borel subgroup with maximal torus $T$ and unipotent radical $U$. Let $\Phi^+ = \Phi(B,T)$ and $\Delta$ ...
- 6,180
3
votes
1
answer
397
views
Choosing canonical representatives of Weyl group elements, some questions
Let $G$ be a connected, reductive group which is quasisplit over a field $k$ of characteristic zero. Let $B$ be a Borel subgroup defined over $k$, containing a maximal torus $T$ defined over $k$. ...
- 6,180
2
votes
0
answers
178
views
Absolute and Relative Coroots
$G$ is a connected reductive group over a field $k$. $T$ is a maximal torus and $S \subset T$ is a maximal $k$-split torus. We have an embedding $X_*(S) \hookrightarrow X_*(T)$. Is it true that if $\...
- 953
3
votes
1
answer
141
views
Does a reductive group over $K$ always have a torus that becomes maximal split over $L$?
Let $K$ be a field, let $L$ be a field containing $K$, and let $G$ be a reductive group over $K$. Does there always exist a torus $T$ of $G$ so that $T_{/L}$ is a maximal split torus of $G_{/L}$? If ...
- 913
6
votes
0
answers
308
views
Is there a list of the inner forms of the quasisplit groups over local and global fields of characteristic 0?
From what I've gathered from trying to learn the classification of reductive groups, the classification of semisimple groups over a local or global field $F$ of characteristic 0 proceeds in several ...
2
votes
0
answers
885
views
Why is the radical of a reductive group equal to the connected component of the center?
If $G$ is a connected reductive group over a perfect field $k$ (The definition given in Milne's "Algebraic Groups": $G$ is a connected group variety containing no non-trivial connected unipotent ...
6
votes
0
answers
282
views
$G$ is quasisplit at almost all places
Let $G$ be a connected, reductive group over a global field $k$. I am trying to understand why $G_v = G \times_k k_v$ is quasisplit for almost all places $v$ of $k$. There are several equivalent ...
- 6,180
5
votes
0
answers
162
views
Definition of the homomorphism $\textrm{Gal}(k_s/k) \rightarrow \textrm{Aut}(\psi_0(G))$
Let $G$ be a connected, reductive group over a field $k$. Identify $G$ with its $\overline{k}$-points. Let $\Gamma = \textrm{Gal}(k_s/k) = \textrm{Aut}(\overline{k}/k)$. Let $B$ be a Borel subgroup ...
- 6,180
9
votes
1
answer
584
views
Endoscopic group that is not a subgroup
The question is a very little more than what's in the title. It is easy (for some values of ‘easy’) to produce examples of endoscopic groups that are not subgroups. When I asked a colleague, he ...
- 13k
8
votes
3
answers
701
views
Centralizers of subtori in reductive groups, derived subgroups
Let $G$ be a split, almost-simple connected reductive group over a field $F$ with split maximal torus $T$. I am trying to understand precisely the groups $[G_{\alpha}, G_{\alpha}]$, where $\alpha$ is ...
- 123
10
votes
2
answers
2k
views
A reductive group has a quasi-split inner form
Let $G$ be a connected, reductive group over a field $k$. Let $\Gamma = \textrm{Gal}(k_s/k)$. I think my question is better suited using the classical language: think of $G$ as an affine $\overline{...
- 6,180
2
votes
0
answers
436
views
Central isogenies differ by an element of the maximal torus
Let $G, G'$ be connected, reductive groups over an algebraically closed field $k$, and let $T$ be a maximal torus of $G$. A central isogeny is a surjective morphism of algebraic groups $\phi: G \...
- 6,180
1
vote
0
answers
348
views
rigid analytic geometry positive characteristic
I am a beginning graduate student. I have the following basic question I am very confused about:
Suppose $C$ is a smooth geometrically irreducible curve over a finite field $\mathbb{F}_q$, $q=p^m$, $...
- 147
6
votes
0
answers
1k
views
Definition of Admissible Representation
Let $G$ be a connected, reductive group over a number field $k$. Let $v$ be a place of $k$.
If $v$ is finite, an admissible representation of $G(k_v)$ is defined to be an abstract representation of $...
- 6,180
4
votes
1
answer
537
views
The unique maximal compact subgroup of a torus
Let $T$ be a torus over a $p$-adic field $F$. Let $q = f(F/\mathbb{Q}_p)$, and normalize the absolute value $| \cdot |$ on $F$ so that a uniformizer has value $\frac{1}{q}$.
Let $X(T)_F$ be the ...
- 6,180
0
votes
0
answers
256
views
Bases of a relative root system are parameterized by what?
Let $G$ be a connected, reductive group over an algebraically closed field $k$. Let $T$ be a maximal torus of $G$, and $\Phi = \Phi(T,G)$ the set of roots of $T$ in $G$. The bases $\Delta$ of $\Phi$ ...
- 6,180
3
votes
1
answer
270
views
Restriction of separable map
If $f: X\to Y$ is a separable map between varieties that is a bijection on closed points, is it true that $f$ remains separable when restricted to an integral subscheme $Z\subset X$?
If we drop the ...
- 1,537
1
vote
0
answers
956
views
Iwasawa decomposition and compact subgroups
Let $G$ be the $k$-points of a connected, reductive group $\mathbf G$ over a local field $k$. I have heard several statements about compact subgroups and Iwasawa decomposition, mostly in the context ...
- 6,180
5
votes
2
answers
2k
views
Simple Proof that a Reductive Group is Unimodular?
Let $G$ be a connected, reductive group over a local field $k$ of characteristic zero. I thought of a simple proof that $G(k)$ is unimodular, but I realize it is almost certainly wrong: $G(k)$ is ...
- 6,180
8
votes
1
answer
837
views
There are no "holes" in the Bruhat decomposition of parabolic cell $Pw_1P$
Let $G$ be a split reductive algebraic group (over a local field if you like), $B$ be a fixed Borel subgroup, and $P$ be a fixed standard parabolic subgroup. Let $W$ be the Weyl group of $G$. For $w\...
- 960
6
votes
1
answer
436
views
Dynkin diagram of the centralizer of a semisimple element in a Levi subgroup
Let $G$ be a connected reductive group over an algebraically closed field and consider a semisimple element $s \in G$ and let $L$ be a Levi subgroup containing $s$.
My question is about the two ways ...
- 309
9
votes
1
answer
400
views
Generalisations of Weyl's construction of irreducible representations
For the moment we work over the complex numbers.
Suppose that $G = \mathrm{SL}(V)$, or $G = \mathrm{Sp}(V)$, or $G = \mathrm{SO}(V)$.
Weyl gave explicit constructions of irreducible representations of ...
- 133
3
votes
1
answer
410
views
Derivations of central extensions of simple Lie algebras
Let $L$ be a finite-dimensional Lie algebra over a field of characteristic zero. It is not difficult to see (and also follows from Theorem 4.4 of [G. Hochschild: Semi-simple algebras and generalized ...
- 5,878
2
votes
0
answers
286
views
Does the sheaf of locally exact differential forms splitting in positive characteristic
Let k be an algebraically closed field of characteristic $p>2$, $X$ a smooth projective curve of genus $g>1$ over $k$, and $F_X:X\rightarrow X$ be the absolute Frobenius morphism. Let $B^1_X$ be ...
- 85
5
votes
1
answer
383
views
Twisted Levi of a quasi-split group that is not quasi-split
Let $F$ be, say, a non-archimedean local field. Let $G$ be a connected reductive (can be assumed simply connected) quasi-split group $G$ over $F$. Let
$X\in\operatorname{Lie}G$ be semisimple and $G_X:...
- 1,856
2
votes
1
answer
281
views
How does a Haar measure on $N$ arise from root subgroups?
Let $G$ be a connected, reductive group, split over a local field $F$. Let $B = TU$ be a Borel subgroup defined over $F$ with maximal torus $T$ and unipotent radical $U$. Let $P$ be a parabolic ...
- 6,180
2
votes
0
answers
419
views
How can this argument calculating the Haar measure on a parabolic subgroup be generalized to the non-split case?
Let $\mathbf G$ be a connected, reductive group over a local field $F$. Assume there is a maximal torus $\mathbf T$ which is split over $F$. Let $\mathbf P$ be a parabolic subgroup of $\mathbf G$ ...
- 6,180
6
votes
0
answers
343
views
Are all stabilizer groups of the co-adjoint action smooth?
Let $k$ be a (non-archimedean) local field of positive characteristic $p$ and $\mathfrak{n}$ be any finite-dimensional nilpotent Lie algebra over $k$ with nilpotence length $l<p$. It is well-known ...
- 1,702
1
vote
1
answer
241
views
locally closed orbits in metric Hausdorff topology
I learned the following fact from Bruhat and Tits's paper "Homomorphismes “abstraits” de groupes algebriques simples" Section 3.18 that
Let $k$ be a local field. Suppose that a $k$-group $H$ acts $k$...
- 1,702
17
votes
2
answers
3k
views
What's the point of a Whittaker model?
Let $G$ be a quasi-split connected reductive group over a $p$-adic field $F$. Let $B$ be a Borel subgroup which is defined over $F$, with $B = TU$, $T$ defined over $F$. The choice of $T$ and $B$ ...
- 6,180
1
vote
0
answers
187
views
Unitary dual of the Heisenberg group over non-archimedean local fields of characteristic two
What is the unitary dual of the Heisenberg group over non-archimedean local fields k of characteristic two? This is well-known for the real Heisenberg group and in fact, when local fields have ...
- 1,702
6
votes
0
answers
467
views
Torsionfree crystalline cohomology implies torsionfree etale cohomology?
Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$. Let $W=W(k)$ be the ring of Witt vectors of $k$.
Assume that the crystalline cohomology $H^2_{...
- 91
7
votes
0
answers
374
views
Arbitrarily non-degenerate Hodge to de Rham spectral sequence
It is true that for any $n$ there exists a compact complex manifold which Frolicher spectral sequence does not degenerate at the $n$-th page(https://arxiv.org/pdf/0709.0481.pdf).
Does the analogous ...
- 7,377
7
votes
1
answer
684
views
Type of place versus type of unitary group
Let $F$ be a totally real number field, $E$ a totally imaginary quadratic extension over $E$, and $V$ an hermitian $n$-dimensional vector space over $F$. I assume $n=2m$ is even. Let $U$ be a unitary ...
- 5,434
2
votes
1
answer
355
views
Spherical building at infinity for $SL(n, \mathbb{Q}_p)$
Is there somewhere I can read about the spherical building at infinity for $SL(n, \mathbb{Q}_p)$?
I'm looking for something with lots of explicit examples and computations. (I have books on the ...
- 161
7
votes
1
answer
1k
views
Why are spherical representations subquotients of unramified principal series?
I'm trying to learn the basics of the representation theory of $p$-adic groups and I'm stuck on a few things:
Let $G$ is a connected split reductive group over a non-archimedean local field $F$, and $...
7
votes
1
answer
851
views
Understanding the structure of unitary groups
I would like to understand precisely the structure of unitary groups.
Let $F$ be a global number field, $E$ a quadratic extension of $F$, and $U$ a unitary group on $E$ (i.e. the group of ...
- 5,434
4
votes
1
answer
622
views
finitness of syntomic/fppf cohomology with coefficients in a finite flat group scheme
Let $X/k$ be a smooth projective variety over a finite field of characteristic $p$ and $\mathscr{A}/X$ be an Abelian scheme.
Is then $H^1_\mathrm{SYN}(X,\mathscr{A}[p]) = H^1_\mathrm{fppf}(X,\mathscr{...
user19475
7
votes
1
answer
256
views
On existence of a certain irreducible character of $SL(5, q)$
Let $q=p^f$ be a prime power such that $q \equiv 1 \pmod 5$. According to the list of irreducible (complex) character degrees of $SL(5, q)$ in Frank Luebeck's homepage (here), $SL(5, q)$ has 20 ...
- 143
3
votes
1
answer
817
views
Integral model of a reductive group over a prime field
Let $p$ be a rational prime, $\mathbb{Z}_p$ the ring of $p$-adic integers, and $k$ an algebraic closure of the residue field $\mathbb{F}_p$. Suppose $G$ is an affine smooth group scheme over $\mathrm{...
- 1,666
1
vote
0
answers
149
views
Smoothability of stable curves in mixed characteristic
Let $R$ be a complete DVR with residue field $k$ algebraically closed of characteristic $p$ and fraction field $K$ of characteristic zero. Let $C$ be a stable curve (in the sense of Mumford-Deligne) ...
- 2,323
2
votes
0
answers
345
views
Examples of semi-stable models of curves
Let $R$ be a discrete valuation ring with fraction field $K$ of characteristic zero and residue field $k$ of characteristic $p>0$. Assume $k$ is algebraically closed. I want to produce examples of ...
- 2,323
18
votes
1
answer
3k
views
Why is Mumford's GIT-quotient so effective?
According to remark 6.14 in Shigeru Mukai's An introduction to invariants and moduli (unfortunately, the page is not available on Google Books, so I explain it below), the GIT-quotient of an affine ...
- 1,980
4
votes
1
answer
272
views
Finiteness of cohomology with finite coefficients
Let $G$ be a finite abelian group and let $S$ be a variety over $\mathbb{F}_p$. It is natural (I think) to expect that the cohomology group $H^i(S,G)$ is finite. But with respect to which cohomology?
...
- 41
2
votes
0
answers
142
views
Unipotent characters of (disconnected) centralizers of semisimple elements: Why these two definitions are equivalent?
Assume that $\mathcal{G}$ is a simple simply-connected algebraic group over $k$, where $k$ is algebraic closure of a finite field of characteristic $p>0$, and $F$ is a Frobenius endomorphism. Let $(...
- 143
3
votes
1
answer
484
views
Harish-Chandra isomorphism for characteristic $p$
I am trying to understand the proof of Theorem 1 from this paper V. Kac and B. Weisfeiler (Indag. Math. 1976, DOI link).
Theorem 1. Let either $p\neq 2$ or $\varrho\in X(\mathscr{T})$. Then $\gamma(...
- 385
1
vote
0
answers
109
views
Reference Request: (Borel) Iwahori Spherical Representations
I was told that Borel had a result about Iwahori Spherical automorphic representations being upper-triangular (/semistable). Where can I find this?
- 1,629
2
votes
0
answers
142
views
Iwahori subalgebra as maximal solvable
I think the following is true, but haven't came up with a proof myself. Thanks in advance!
Let $G$ be a semisimple (to avoid more words) algebraic group over $\mathbb{C}$. Write $F=\mathbb{C}((t))$ ...
- 1,856
2
votes
0
answers
148
views
Purely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $\mathbb{P}^2$
Let $X$ be an absolutely irreducible surface over an algebraically closed or finite field $k$ of characteristic $p$. Is it true that the following conditions are equivalent?
There is a purely ...
- 1,833