All Questions
828 questions
2
votes
1
answer
510
views
hyperalgebras (positive characteristic)
The question is about commutator in integral forms. Let $A$ an associative algebra over a field of characteristic zero, $x\in A$ and $k\in \mathbb Z$, we denote $x^{(k)}=\frac{x^{k}}{k!}$.
How to ...
- 829
2
votes
1
answer
326
views
Normalizer of Levi subgroup
Let $G$ be a reductive group (we can work on an algebraically closed field if needed) and let $L$ be a parabolic subgroup, i.e. the centralizer of a certain torus $T \subseteq G$.
Associated with this ...
- 63
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
2
votes
1
answer
185
views
Finite, normal subgroups of reductive groups in positive characteristic
Consider the following statement about a connected, reductive group $G$ over a field $k$:
Every finite, normal subgroup $N$ of $G$ is central.
In characteristic $0$, this is true, and the proof is ...
- 12.9k
2
votes
1
answer
261
views
Property of representations of reductive group schemes over characteristic 0 field
I originally posted this on Maths SE, but then I thought it MO might be more fitting.
Let $k$ be a characteristic $0$ field and let $G$ be a linear algebraic group scheme over $k$. Then is it true ...
- 1,516
2
votes
1
answer
114
views
Adjacent parabolic subgroups and proportionality to $\alpha^{\vee}$
Let $P = MN$ be a parabolic subgroup of a $p$-adic reductive group $G$ with split component $A_M$. There is bijection from the set of parabolic subgroups of $G$ with Levi $M$ and the chambers of $\...
- 6,180
2
votes
1
answer
271
views
Discrete decomposability of unitary representation
[INTRODUCTION]
Let $G$ be a non-compact simple Lie group, and $G'$ a reductive subgroup of $G$. Suppose that $\pi$ is a non-trivial (hence, infinite dimensional) irreducible unitary representation of ...
- 951
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
1
answer
123
views
F-points of product of closed subgroups vs. product of F-points, F a local field, reference?
Let $F$ be a finite extension of $\mathbb Q_p$, where p is an odd prime. Let $G$ be a connected reductive group defined over $F$. Let $M, H$ be closed $F$-subgroups of $G$ (in particular, I'm ...
- 41
2
votes
2
answers
573
views
description of an endomorphism algebra
Let $G$ be a reductive group, $F$ a Frobenius morphism, $B$ a Borel subgroup $F$-stable and consider the finite groups $G^F$ and $U^F$ where $U$ is the radical unipotent of $B=UT$ ($T$ torus).
I ...
- 311
2
votes
1
answer
646
views
Quotient by p-th roots of unity in characteristic p
Let $X$ be a variety over $k$ of characteristic $p>0$ (you can assume $k$ algebraically closed and $X$ normal) with an action of the group scheme of $p$-th roots of unity $\mu_p = {\rm Spec}\ k[\...
- 16.2k
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
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
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
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
2
votes
1
answer
265
views
semisimple support of character sheaves
So the essential question is:
How should we think about, or if possible compute, the semisimple
support of a cuspidal character sheaf?
For example, let $G=SL_2$. We have the cuspidal character ...
- 1,856
2
votes
1
answer
307
views
On a Strongly F-regular Pair (X, \Delta)
Let $X$ be a normal projective variety over a field of characteristic $p>0$ and $(X, \Delta\geq 0)$ be a pair such that $K_X+\Delta$ is $\mathbb{Q}$-Cartier whose index is not divisible by $p$. ...
- 165
2
votes
0
answers
97
views
Centralizer bound for irreducible representations of $\operatorname{SU}_n(\mathbb{C})$
Let $G$ be a finite group, $χ$ be the character of an irreducible representation $V$ of $G$, and $g ∈ G$. Then a classical bound on the trace of $g$ is given by: $|χ(g)|² ≤ |C_G(g)|$, where $C_G(g)$ ...
- 2,907
2
votes
0
answers
160
views
Centre of centralisers in connected reductive groups
Let $G$ be a connected reductive group over an algebraically closed field. Let $T$ be a maximal torus and $x\in T$. Let $G_x$ denote the centraliser of $x$ in $G$.
Question: What is an explicit ...
- 2,751
2
votes
0
answers
44
views
Nonvanishing of Jacquet modules of principal series subquotients
Let $G$ be a connected reductive group over a $p$-adic field $F$. For simplicity, we assume $G$ to be split. Fix a Borel $B=TU$ with its Levi decomposition ($U$ unipotent radical, $T$ maximal torus). ...
- 709
2
votes
0
answers
73
views
Number of rational points of a connected reductive group in a compact subset
Let $G$ be a connected reductive $\mathbb{Q}$-group. Let $\mathbb{A}$ denote the ring of adèles of $\mathbb{Q}$. Let $B \subset G(\mathbb{A})$ be a compact, let $x \in G(\mathbb{A})$ and consider the ...
- 81
2
votes
0
answers
76
views
Simplest way to classify reducibility of principal series for $p$-adic $\mathrm{SL}_2$
Let $F$ be a $p$-adic field and $G_1=\mathrm{SL}_2(F)\subset \mathrm{GL}_2(F)=G$. For simplicity, we assume $p>2$. Denote by $|\cdot|$ the normalized absolute value on $F$. Here I shall focus on ...
- 709
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
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
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
2
votes
0
answers
100
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
2
votes
0
answers
119
views
Resolution of singularities of the resultant locus
We consider projective space of dimension $n$ as the parameter space of degree $n$ polynomials in one variable. Then, I am interested in resolving the singularities of the "resultant locus" $...
- 7,746
2
votes
0
answers
207
views
Springer sheaf and Deligne-Lusztig induction
Let $G=Gl_n$ be the general linear group over the algebraic closure of a finite field $\overline{\mathbb{F}}_q $ and let $F:G \to G$ be the standard Frobenius. On $G$ there is the Springer (perverse) ...
- 1,061
2
votes
0
answers
145
views
How to compute the character of the Steinberg module for the group $\mathrm{SL}_n$ over a field of characteristic $p$?
It is known that the Steinberg representation $V$ of the group $\mathrm{SL}_n$ over a field $k$ of characteristic $p$ (maybe one needs to assume that $k$ is perfect, I am not sure) is the irreducible ...
2
votes
0
answers
47
views
Characters of simple $\mathfrak{sl}_n$-modules in positive characteristic with subregular nilpotent central character
Consider representations of $\mathfrak{sl}_n$ in positive characteristic with a subregular nilpotent central character $\chi$ (i.e. $\chi$ is a nilpotent matrix whose Jordan normal form has two blocks ...
2
votes
0
answers
71
views
Principal series representations for complex groups
Let $G$ be a complex semisimple group.
In Bernstein-Gelfand, "Tensor products of finite and infinite dimensional representations of semisimple Lie algebras" (http://www.numdam.org/article/...
- 21
2
votes
0
answers
177
views
How do characters of representations in cohomology depend on the (positive-characteristic) field?
The following sentence appears in Jantzen - Representations of algebraic groups, 2nd edition, p. x, where $G$ is a reductive group over an algebraically closed field $k$, $B$ is a Borel subgroup, $T$ ...
- 12.9k
2
votes
0
answers
101
views
Number of points of parabolic Springer fibres for general reductive groups
My question is the same as this post but for an arbitrary reductive $G$ instead of just $\mathrm{GL}_n$.
Let $G$ be a connected split reductive group over a finite field $k$.
Let $P$ be a parabolic ...
- 2,751
2
votes
0
answers
253
views
Künneth formula for algebraic de Rham cohomology
Let $X$ and $Y$ be finite type schemes over a field $k$, and let $H^i(X/k)$ denote the $i$-th algebraic de Rham cohomology group of $X$ over $k$. I'm interested in the extent to which a Künneth ...
- 333
2
votes
0
answers
74
views
Image of tori in locally symmetric spaces and homology
Suppose we have a reductive group $G$ over $\mathbb{Q}$, a compact subgroup of the adelic points $K_f\subset G(\mathbb{A}_{\mathbb{Q}})$, and the associated locally symmetric space
$$Y_K := G(\mathbb{...
- 2,054
2
votes
0
answers
218
views
Borel-Weil-Bott theorem for wonderful compactification in characteristic p
Are there any known results for a Borel-Weil-Bott theorem for the wonderful compactifications over characteristic $p$ (i.e., theorems that classify the cohomologies of all line bundles on a wonderful ...
- 41
2
votes
0
answers
147
views
Automorphism groups of "reductive" Lie algebras in positive characteristic
I put "reductive" in quotes because, of course, in positive characteristic one should speak of Lie algebras of reductive groups, not of reductive Lie algebras.
Let $G$ be a reductive group ...
- 12.9k
2
votes
0
answers
97
views
Non-noetherian Cartier Isomorphism
A result in positive characteristic is that if $R/\mathbb{F}_p$ is a smooth ring, then we have a Cartier isomorphism
$$\Omega_{R}^\bullet\cong H^\bullet(\Omega_R^\bullet)$$
which is essentially ...
- 4,428
2
votes
0
answers
92
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$-...
- 61
2
votes
0
answers
157
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 ...
- 1,595
2
votes
0
answers
171
views
Monogenic function fields
Recall that a number field $K$ is said to be monogenic if its ring of integers is of the form $\mathbb{Z}[\alpha]$, or equivalently, if it has a power integral basis. There are many references one can ...
- 103
2
votes
0
answers
287
views
Frobenius endomorphism is not flat
I am actually going through "Twenty four hours of local cohomology". They discuss the Frobenius endomorphism in Chapter 21. Here is the Exercise 21.6 which I am finding hard to solve:
Find a ...
- 183
2
votes
0
answers
160
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)/...
- 491
2
votes
0
answers
190
views
Conjugacy classes in centralizers
Let $G$ be a complex reductive group, let $g$ be an element, and let $C$ be the connected component of its centralizer. I'm curious about what is known about the intersection of conjugacy classes in $...
- 491
2
votes
0
answers
186
views
Determining a toric GIT quotient
Consider the following $G = (\mathbb{C}^*)^{\times 3}$-action on $\mathbb{A}^6$:
$(\lambda_0,\lambda_1,\lambda_2) \cdot (x_0,x_1,x_2,y_0,y_1,y_2) = (\lambda_0x_0,\lambda_1x_1,\lambda_2x_2,\frac{\...
- 197
2
votes
0
answers
139
views
Bruhat-Tits theory: how does the normalizer act on an apartment?
Let $G$ be the points of a split, simply connected, semisimple algebraic group over a $p$-adic field $k$. Let $T$ be a maximal torus of $G$, $T_c$ its unique maximal compact subgroup, and $N$ the ...
- 6,180
2
votes
0
answers
175
views
Jordan normal form in a reductive group
Let $G$ be a connected complex reductive group. Given an element $g \in G$, there is a canonical decomposition $g = s u$ such that $s$ is semisimple, $u$ is unipotent and $s$ and $u$ commute. ...
- 491
2
votes
0
answers
100
views
Composing equal characteristic and mixed characteristic deformations
Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...
- 245
2
votes
0
answers
119
views
The definition of Langlands' L-function $L(s,\pi,r)$ in the case of $\operatorname{GL}_1$
Let $G$ be a split reductive group over a $p$-adic local field $k$. For $\pi$ an unramified representation of $G(k)$, and $r$ a finite dimensional representation of the L-group $^LG$, Langlands ...
- 6,180
2
votes
0
answers
94
views
$p$-adic Harish-Chandra character of a stable virtual character
Let $F$ be a $p$-adic field and let $G$ be a reductive group over $F$. Associated to an irreducible admissible representation of $\pi$ of $G(F)$, we have a distribution character $\Theta_{\pi}$ ...
- 953