All Questions
828 questions
3
votes
0
answers
67
views
p-torsion in the Tate-Shafarevich group of supersingular elliptic curves
Let $E$ be a supersingular elliptic curve over $\mathbb{F}_p(t)$. Is something known on the $p$-torsion of the Tate–Shafarevich group in this case? In particular, I would like to know if (or if known ...
5
votes
1
answer
225
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 ...
1
vote
0
answers
89
views
Generic reducedness of geometric generic fibre
Let $f:X\to Y$ be a surjective morphism between two projective schemes over a field of characteristic $p>0$. Also assume that $X$ is smooth,$Y$ smooth & irreducible and $f_*\mathcal{O}_X=\...
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 ...
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):...
6
votes
0
answers
95
views
Generic representations of $\mathrm{GL}_n(\mathbb{R})$
Let $F$ be a local field of characteristic $0$, $G=\mathrm{GL}_n(F)$.
When $F$ is $p$-adic, Bernstein and Zelevinsky classified the irreducible generic representations. The statement is:
Let $\delta_{...
6
votes
1
answer
165
views
Centralizers in semisimple Lie group
For a semisimple complex Lie algebra $\mathfrak{g}$ and a regular element $X\in \mathfrak g$ the centralizer of $X$ in $\mathfrak g$ is a Cartan subalgebra (see Knapp, 'Lie Groups beyond an ...
4
votes
0
answers
91
views
Levis, parabolics and Bruhat-Tits over Henselian local rings
Let $(R,m)$ be a Henselian local ring with algebraically closed or finite residue field $k$ and fraction field $F$. For example, we may work with $R=W(\mathbb F_p^{alg})$.
The paper "Reductive ...
4
votes
0
answers
242
views
What do we do when $G$ doesn't have a Shimura variety?
Let $G$ be a reductive group. If one can associate to $G$ a Shimura datum $(G,X)$, then the étale cohomology of the associated Shimura variety $\operatorname{Sh}(G,X)$ is a strong tool for the ...
0
votes
0
answers
190
views
About Chern classes via Atiyah class
I am trying to understand a construction of the Chern classes of a vector bundle $\mathcal{E}$ via the Atiyah class, like is done in this text and here in section 1.4. I am interested in the case ...
1
vote
0
answers
19
views
Behavior of the number of components of disconnected reductive groups when intersecting a Levi subgroup
Let $G$ be a connected reductive group over $\mathbb{C}$. Let $P=MN$ be a parabolic subgroup of $G$ with its Levi decomposition ($N$ the unipotent radical, $M$ a Levi).
Let $H\subset M$ be a finite ...
1
vote
0
answers
82
views
Behavior of translation functors in characteristic $p$
Let $G$ be a semisimple and simply connected algebraic group over an algebraically closed field of characteristic $p>0$, and let $\mathfrak g$ be the Lie algebra of $G$. Let $U_\chi(\mathfrak g)$ ...
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{...
7
votes
1
answer
287
views
What are the intermediate semisimple groups of type A?
Background: The first examples one sees of reductive groups over a field $k$ are $\text{GL}_n$, $\text{SL}_n$, and $\text{PGL}_n$. We all know the definitions of $\text{GL}_n$ and $\text{SL}_n$, and ...
1
vote
0
answers
58
views
Linear algebraic group, absolute root system, computing roots
Let $G(F)$ be a reductive linear algebraic group, where $F$ is a local field. Let $T(F)$ be a maximal anisotropic torus of $G$ that splits over a quadratic extension of $F$. Is there an efficient ...
4
votes
0
answers
87
views
Doubling constructions beyond classical groups: general principles?
The doubling method for constructing integral representations of L-functions has been successfully applied to classical groups, as demonstrated in this paper. However, extending this method to a wider ...
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)$ ...
3
votes
0
answers
50
views
Root systems of maximally noncomact Cartan subalgebras
Let $G$ be a real reductive Lie group, and $K$ a maximal compact subgroup in $G$. Write $\mathfrak{g}$ for the Lie algebra of $G$, and $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ for the Cartan ...
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 ...
6
votes
1
answer
128
views
Intersection of integral points with a unipotent and its opposite
This is a follow-up to Does the bruhat decomposition induces decomposition on integral points (on an open cell)?
Given a split connected reductive group $G$ over a $p$-adic local field $F$ with ring ...
3
votes
0
answers
109
views
Does the Bruhat decomposition induces decomposition on integral points (on an open cell)?
Edit: both questions are resolved in comments. Let $F$ be a local field and $O$ its integral points. Let $G$ be a split reductive group over $O$. The Bruhat decomposition states that there is a ...
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). ...
3
votes
0
answers
192
views
How can I prove this stronger version of Fedder's Criterion?
I was reading Fedder's original paper which proved what is now known as "Fedder's criterion". I noticed that the abstract stated something which is a priori stronger than what is proved in ...
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{...
1
vote
0
answers
77
views
Asymptotic behavior of Shalika germs near non-regular elements
Let $G$ be a connected reductive group over a $p$-adic field $F$. Let $T\subset G$ be a maximal torus. Fix a special maximal compact subgroup $K$ of $G(F)$ and for any closed subgroup $H\subset G(F)$ ...
3
votes
1
answer
170
views
Factoring out an element of a root subgroup to make a conjugation integral
Fix a nonarchimedean local field $L/\mathbb{Q}_p$ with ring of integers $\mathcal{O}$, uniformizer $\varpi$, and residue field $k$. If I take a matrix
$$\begin{pmatrix} a & \varpi b \\ c & d \...
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 ...
4
votes
1
answer
171
views
Centralizer of conjugacy classes
Let $\mathrm{G}$ be a complex reductive group and let $\mathrm{O}_g$ be the adjoint orbit of $g\in \mathrm{G}$.
I wonder is the centralizer $\mathrm{C}_{\mathrm{G}}(\mathrm{O}_g)$ still a reductive ...
4
votes
1
answer
130
views
Do parabolic inductions share a composition factor if and only if the inducing data are associate?
Let $F$ be a local field of characteristic zero and $G$ a connected reductive group over $F$. Let us call an inducing datum a triple $(P,M,\sigma)$, where $P$ is a parabolic subgroup of $G$, $M$ is a ...
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 ...
2
votes
1
answer
176
views
Isomorphisms $S^d(S^m(V)^*) \cong \Lambda^d(S^{m+d-1}(V)^*)$
$\DeclareMathOperator\SL{SL}$Let $K$ be an algebraically closed field. Let $V$ be a 2-dimensional vector space over $K$. The group $G=\SL_2(K)$ acts naturally on $V$ by left-multiplication on column ...
7
votes
1
answer
336
views
Nilpotent orbits of a parabolic subgroup
Suppose $G$ is a reductive group over an algebraically closed field of characteristic $0$ with parabolic $P$, Levi quotient $M$, and unipotent radical $U$. We denote the nilpotent elements of $\mathrm{...
6
votes
4
answers
415
views
Interpretation of the algebra of natural endomorphisms of the fiber functor of $\operatorname{Rep}(G)$
Let $G$ be a connected algebraic group over an algebraically closed field $k$ of characteristic zero (I'm mostly interested in the case of a reductive group).
By the Tannakian formalism, $G(k)$ can be ...
1
vote
0
answers
95
views
Injection of $G(k)/Z(k)$ into $(G/Z)(k)$
In the first answer to the linked question it is mentioned that "the isogeny $G\to G^{ad}$ induces an injection of groups $G(k)/Z(k)\to G^{ad}(k)$". Is there a reference for this result? ...
3
votes
0
answers
107
views
Representations of a reductive Lie group vie central character and K-types
Let $G$ be a real reductive group, let $\widehat G$ denote the unitary dual and $\widehat G_{adm}\supset\widehat G$ be the admissible dual, i.e., the set of isomorphy classes of irreducible Harish-...
3
votes
0
answers
97
views
$\mathbb{Z}_p$-points of a $\mathbb{Z}_p$-model of a reductive linear algebraic $\overline{\mathbb{Q}}_p$-group
Let $G$ be a (connected) reductive linear algebraic group over $\overline{\mathbb{Q}}_p$. By definition, this means that $G$ is a closed subgroup of some $\mathrm{GL}_n$. We can always find a ...
4
votes
3
answers
275
views
Does every nilpotent lie in the span of simple root vectors?
Let $G$ be a reductive group (for simplicity, we can work over $\mathbb{C}$). Let $N \in \operatorname{Lie} G$ be nilpotent. Does there exist a Borel pair $(B,T)$ of $G$ such that $N$ lies in the span ...
6
votes
1
answer
396
views
Parabolic subgroups of reductive group as stabilizers of flags
$\DeclareMathOperator\GL{GL}$Let $G$ be a linear algebraic group (probably reductive will be needed). Consider a faithful representation $G \to \GL(V)$. Given a parabolic subgroup $P < G$, we can ...
4
votes
1
answer
127
views
Are isomorphic maximal tori stably conjugate?
Let $F$ be a field and $G$ a reductive $F$-group. For various applications it is important to understand the "classes" of maximal ($F$-)tori of $G$. Here "class" can mean the ...
8
votes
0
answers
228
views
Chevalley-Solomon formula and Weyl character formula
Let $\Phi\subset V$ be a root system of rank $r$ with Weyl group $W$, a choice of positive roots $\Phi_+$ and exponents $d_1, \ldots, d_r$ (i.e. the invariant algebra $(\operatorname{Sym}^\bullet V)^W$...
4
votes
3
answers
267
views
References for $K$-orbits in $G/B$
Let $G$ be a reductive group, $K$ a symmetric subgroup of $G$ (e.g., fixed point of an involution), and $B$ a Borel subgroup of $G$. Then it is well known that $G/B$ has finitely many $K$-orbits. ...
6
votes
2
answers
343
views
Reference for Langlands dual homomorphisms
I am looking for a reference that explains in detail the existence of Langlands dual homomorphisms. It seems that in the literature two references are given most often. The first is Borel's article ...
13
votes
0
answers
509
views
Is there a simple proof that representations of GL(n,k) are determined by their restriction to diagonal matrices?
Let $k$ be a field of characteristic zero. The general linear group $\mathrm{GL}(n,k)$ has a subgroup $\mathrm{D}(n,k)$ consisting of invertible diagonal matrices. These are linear algebraic groups ...
3
votes
0
answers
66
views
One parameter subgroups of reductive algebraic groups
If I have a reductive algebraic group $G$ defined over a non-archimedean local field $F$. We can define a one-parameter subgroup to be a group homomorphism from $G_{m}$ to $G$. I was wondering, if I ...
4
votes
0
answers
108
views
Shafarevich conjecture for Abelian varieties over global function fields
Let $S$ be a finite set of places of a global function field $K$. Are there finitely many Abelian varieties over $K$ with good reduction outside $S$? What if we exclude isotrivial families?
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 ...
2
votes
1
answer
106
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
4
votes
0
answers
135
views
Nilpotent orbits in characteristic $0$ vs. positive characteristics
Let $G_\mathbb{C}$ be a connected reductive group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}_{\mathbb{C}}$. For any algebraically closed field $k$, let $G_k$ denote the connected reductive group ...
4
votes
0
answers
213
views
Gelfand-Kazhdan criterion, exposition by Paul Garrett
Here is Paul Garrett's exposition on the Gelfand-Kazhdan Criterion.
In page 4 of the exposition, he showed the following lemma.
Lemma (Page 4): Let $B, t, S$ be as above and for $\alpha, \beta$ in $...
2
votes
1
answer
204
views
Orbital integrals of $\operatorname{SL}_2$ and the fundamental lemma
$\DeclareMathOperator\SL{SL}$When I was checking some orbital integral computations of Sally-Shalika's The Plancherel Formula for $\SL_2$ over a Local Field, Proceedings of the National Academy of ...