All Questions
828 questions
5
votes
1
answer
248
views
Galois action on Borovoi's algebraic fundamental group
In Borovoi's paper Abelian Galois cohomology of reductive groups, the algebraic fundamental group of a connected reductive group $G$ over a field $K$ of characteristic zero is defined as
$$\pi_1(G, T):...
- 53
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
5
votes
1
answer
433
views
Generic supercuspidal representations of $\operatorname{GL}_n$ can be defined by integrals over $U$
Let $(V,\pi)$ be an irreducible, admissible, supercuspidal representation of $G = \operatorname{GL}_n(F)$ for $F$ a $p$-adic field. Let $B = TU$ be the usual Borel subgroup, maximal torus, and ...
- 6,180
5
votes
2
answers
524
views
Steinberg reps of reductive groups over local fields vs finite fields
Let $G$ be a reductive group over a non-archimedean field $F$ with reisdue field $f$.
Edit: The statements only make sense modulo tensoring by one-dimensional representations.
Are the unitary, ...
- 11.2k
5
votes
1
answer
1k
views
Minimal Model Program for surfaces over algebraically closed fields of characteristic p
Let $k$ be an algebraically closed field of characteristic $p>0$.
I have been trying to find out unsuccessfully if there is a mmp for algebraic surfaces over $k$. I know minimal surfaces are ...
- 2,215
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
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
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
5
votes
1
answer
227
views
Invariants of tuples of matrices under $\mathrm{GL}(p)\otimes \mathrm{GL}(q) \subseteq \mathrm{GL}(n)$?
$\DeclareMathOperator\GL{GL}$Consider $\GL(n)$ over some field of characteristic zero (I'm thinking of either the rationals, reals or complexes) and the subgroup $\GL(p)\otimes \GL(q)$ which embeds ...
- 193
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] ...
5
votes
2
answers
567
views
Rosenlicht's theorem and fundamental domain for unipotent group acting on $\mathbb A_k^n$
I have a question about unipotent group actions. I was referred to Rosenlicht's papers, but I had trouble getting much out of these because I don't understand the old algebraic geometry language very ...
- 6,180
5
votes
1
answer
372
views
Diagonalizable pro-algebraic group in Kottwitz's 1985 Compositio paper
In Kottwitz's 1985 Compositio paper,
Isocrystals with additional structure, first page, paragraph 4:
Let $\mathbb{D}$ be the diagonalizable pro-algebraic group over $\mathbb{Q}_p$ with character ...
- 53
5
votes
1
answer
514
views
Lifting torsors in characteristic $p$ to characteristic zero
Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...
- 151
5
votes
1
answer
470
views
If Spec(A) has a G-fixed point and a dense G-orbit, is Spec(A) a cone?
[Edited to include a dense orbit]
Let $X=Spec(A)$ be a normal affine scheme over an algebraically closed field $k$, with an action of a linearly reductive group $G$. Suppose $x\in X$ is a $G$-...
- 24.1k
5
votes
1
answer
344
views
Surjection onto endomorphisms of multiplicative group of a field
Let $k$ be an algebraically closed field of characteristic $p > 0$. Denote by $k^\times$ the multiplicative group of $k$. There is a ring homomorphism given by restriction to $k^\times$
$$
\mathbb{...
- 53
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
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
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
5
votes
1
answer
1k
views
What is "special" maximal compact subgroup of algebraig group over local field?
Learning the theory of Langlands correspondence, I met the notion of "special" maximal compact subgroup of a (reductive) algebraic group over a local field.
Here, I think the word "compact" is used ...
- 945
5
votes
1
answer
774
views
Weyl group of the restriction of scalars of split reductive group
Let $G$ be a connected algebraic group defined over a field $E$ of characteristic $0$. Suppose $G$ reductive $E$-split and let $T \subset G$ a maximal (split) torus defined over $E$.
Set $G' = Res_{E/...
- 991
5
votes
1
answer
710
views
Log resolutions on surfaces and 3-folds in characteristic p
If $X$ is a normal projective variety and $D$ a divisor in it, we say that $\pi\colon (\widetilde X,\widetilde D)\rightarrow (X,D)$ is a log resolution if $\widetilde X$ is a resolution of $X$, the ...
- 2,215
5
votes
2
answers
556
views
Existence of certain identities involving characteristic 2 "thetas"
Let l=2m+1 be prime. In my previous MO question, "What are the polynomial relations between these characteristic 2 thetas?", I defined a subring of Z/2[[x]] as follows:
The subring, S, is generated ...
- 5,422
5
votes
1
answer
139
views
Representations with finitely many nilpotent orbits
Let $G$ be a reductive group over $\mathbb{C}$ and let $V$ be a finite dimensional representation of $G$. We can define the ``nilpotent cone'' of $V$ as
$$\mathcal{N}(V):=\{ v\in V\;: \; 0\in\overline{...
- 2,516
5
votes
1
answer
190
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
5
votes
1
answer
233
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
5
votes
1
answer
419
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$.
...
- 12.9k
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
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
5
votes
1
answer
550
views
Supercuspidal with Iwahori fixed vector
Let $F$ be a local field. Is there a reference for the following fact:
No supercuspidal representation of $GL_2(F)$ has an Iwahori-fixed vector?
I have a proof, by I'd prefer a reference, because ...
- 11.2k
5
votes
1
answer
455
views
$(\varphi, \Gamma)$-module of dimension 2 modulo $p$
Let $p$ be a prime number $\geq 3$. Let $V$ be a representation of $Gal(\bar{\mathbb{Q}}_p/ \mathbb{Q}_p)$ with coefficients in $\mathbb{F}_p$. Assume $V$ is a non-split extension of two characters $\...
- 477
5
votes
1
answer
101
views
An algebraic group $G$ over $L^+$ such that $G_{\mathbb{R}}$ is compact for almost all embeddings
Does there exist a reductive group $G$ of type $E_7$ over a given totally real field $L^+$ such that for every embedding $\tau:L^+\to \mathbb{R}$ except one , $G_{\tau,\mathbb{R}}(\mathbb{R})$ is ...
- 127
5
votes
1
answer
792
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'...
- 53
5
votes
1
answer
505
views
How to determine a highest weight corresponding to a parabolic subgroup?
Let $G$ be a simply connected, semisimple algebraic group over $\mathbb C$ with maximal torus $T$ and Borel subgroup $B$ containing $T$. If $(V,\pi)$ is an irreducible representation of $G$, then $(V,...
- 6,180
5
votes
1
answer
280
views
Integral structures via lattices
I am looking at the paper "p-adic Groups" by Bruhat (in the Boulder Proceedings, 1965). I have a question about one of the statements. Let $k$ be the quotient field of a complete discrete valuation ...
- 223
5
votes
1
answer
208
views
A generalization of Witt's theorem for quaternion algebra isomorphism
Let $Q$ be a quaternion $k$-algebra (namely, a dimension 4 $k$-central simple algebra).
Then it is possible to (canonically) attach a smooth projective conic $C_Q\subseteq \mathbf{P}_k^2$ to $Q$: if ...
- 375
5
votes
2
answers
738
views
What condition makes unitary reductive group unramified?
I am a little bit confused with the definition of an unramified unitary group.
Let $F$ be a local field of characteristic zero whose residue field is finite field of characteristic $p$.
Then for a ...
- 1,759
5
votes
2
answers
586
views
Quotient of a reductive group by a non-smooth subgroup
This is a continuation of my question Quotient of a reductive group by a non-smooth central finite subgroup.
Let $G$ be a smooth, connected, reductive $k$-group over a field $k$ of characteristic $p&...
- 14.2k
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
5
votes
1
answer
280
views
Asymptotic behavior of matrix coefficients
I'm reading Casselman's notes "Introduction to the theory of admissible representations of p-adic reductive groups". In chapter 4 "The asymptotic behavior of matrix coefficients", ...
- 121
5
votes
1
answer
278
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
5
votes
1
answer
138
views
Element of Weyl chamber contracting $\mathbb{A}^n_k$ to a point
Let $G$ be a connected reductive group over an algebraically closed field $k$ of characteristic 0. Fix a Borel subgroup $B$ and a maximal torus $T \subset B$. Let $P \subset G$ be a parabolic subgroup ...
5
votes
1
answer
446
views
More questions involving characteristic 2 theta series identities
In my answer to my earlier question, "Existence of certain identities involving characteristic 2 thetas", I established some curious identities when the thetas have prime "level" congruent to 1 mod 4 ...
- 5,422
5
votes
1
answer
461
views
Given a branched cover with branch cycle description $(g_1,...,g_r)$, does $g_i$ generate some decomposition group?
Classically:
Let $a_1,...,a_r$ be points in $\mathbb{P}^1_{\mathbb{C}}$, and let $\alpha_1,...,\alpha_r$ be simple loops around the $a_i$, all counterclockwise, and none touching (so $\alpha_1...\...
- 5,929
5
votes
1
answer
342
views
Do the absolute roots restricting to a given root form a Galois orbit?
Let $S$ be a maximal split torus of a connected, reductive group $G$. Let $P_0$ be a minimal $k$-parabolic containing $S$, $T$ a maximal torus of $P_0$ which is defined over $k$ and contains $S$, and ...
- 6,180
5
votes
1
answer
485
views
Representations versus (g,K) modules
Let $G$ be a connected semisimple Lie group with finite center.
Let $(\pi,V)$ be an admissible representation on a Banach space $V$.
Is it true that the following are equivalent?
(a) $\pi$ is ...
user1688
5
votes
1
answer
1k
views
Excellent schemes
I noticed that many results in positive characteristic assumes that the object of the theorem is excellent. I have looked up the definition of excellent and have tried to get a feeling for it, but all ...
- 53
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
5
votes
0
answers
272
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 ...
- 18.4k
5
votes
0
answers
139
views
Liouville property in the Bost theorem on foliations
Let $X$ be a smooth algebraic variety over a number field $K$, and let $\mathcal{F}$ be an involutive coherent subsheaf of the tangent bundle. After a pullback to $\mathbb{C}$, $\mathcal{F}_\mathbb{C}$...
- 485
5
votes
0
answers
122
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