All Questions
48 questions
3
votes
0
answers
130
views
Galois cohomology and Levi subgroups
Let $F$ a field and $G$ a smooth connected reductive group with a Levi subgroup $M$. Under what assumptions is $H^1(F, M) \to H^1(F, G)$ injective? In the case $F$ is nonarchimedean local I believe ...
- 605
4
votes
0
answers
81
views
Classification of nilpotent orbits over local fields (for type ABCD via partitions )
Let $\mathfrak g$ be a simple Lie algebra over a char $0$ local field $F$ (e.g. $F=\mathbb R$ or $F=\mathbb Q_p$) with its adjoint group $G$. Let $\mathcal N \subseteq \mathfrak g$ be its nilpotent ...
- 6,622
2
votes
3
answers
181
views
Stabilizers of the action of Levi on abelianization of nilpotent radical
$\DeclareMathOperator\Lie{Lie}$Let $G$ be a simple connected reductive group over $\mathbb C$. Consider a parabolic subgroup $P=MU$ of $G$, where $M$ is a Levi of $P$ and $U$ is the unipotent radical ...
- 2,516
1
vote
0
answers
78
views
Invariant theory (first fundamental theorem) for a direct sum of two fundamental representations
Let $G$ be a simple reductive group over $\mathbb C$, e.g. $G=\mathrm{SO}(V)$ is a special orthogonal group.
Let $W_1$ and $W_2$ be two irreducible representations of $G$. Assume both $W_i$ are ...
- 6,622
13
votes
3
answers
1k
views
$\ell$- vs. $p$-adic and de Rham vs. Betti in the geometric Langlands correspondence
In Emerton–Gee–Hellmann’s IHÉS notes on the categorical $p$-adic local Langlands programme, one finds the following remark:
The differences between the $\ell$-adic and $p$-adic settings are ...
- 607
7
votes
1
answer
613
views
Are all representations of the geometric étale fundamental group subquotients of representations of the arithmetic étale fundamental group?
Let $X$ be a variety over a field $k$. The étale fundamental group of $X$ fits into the exact sequence:
$$1 \to \pi_1^{\text{geom}}(X) \to \pi_1^{\text{arith}}(X) \to \text{Gal}(\overline{k}/k) \to 1,$...
- 28.7k
28
votes
2
answers
5k
views
Status of (global) Langlands conjecture for $\mathrm{GL}_2$ over $\mathbb{Q}$
$\DeclareMathOperator\GL{GL}$Apologies if this question has already been dealt with on MO. I am wondering about the status of the global Langlands conjectures for $\GL_2$ over the rational numbers. ...
- 607
6
votes
1
answer
536
views
How to see that Eisenstein series are eigenfunctions of the laplacian?
Let $\Gamma$ be a discrete subgroup of $PSL_2(\mathbb{R})$ of finite type. Let $c_1,\ldots,c_h\in\mathbb{R}\cup\{\infty\}$ be a set of representatives of the $\Gamma$-equivalence classes of cusps. For ...
- 79.9k
3
votes
1
answer
249
views
Completely reducible subgroups over local field in terms of closed orbits
$\DeclareMathOperator\GL{GL}$Let $ \overline{\mathbb{Q}}_{p} $ be an algebraic closure of $ p $-adic numbers $ \mathbb{Q}_{p} $. A closed subgroup $ H $ of a general linear group $ \GL_{n}(\overline{\...
- 148k
4
votes
1
answer
344
views
Tannakian fundamental group of automorphic representations
Let $\mathcal{C}_{\mathrm{aut}}(G, F)$ be the category of automorphic representations of a connected reductive group $G$ over a number field $F$.
If this is a Tannakian category, it has an associated ...
- 12.3k
4
votes
0
answers
204
views
$\DeclareMathOperator\sym{sym}$Does $L(s, \sym^2 f \times \sym^2 g)$ have a pole at $s=1$?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}\DeclareMathOperator\sym{sym}$I encountered a question on the poles of $\GL_3\times \GL_3$ $L$-function, which needs the knowledge of the experts ...
- 12.9k
3
votes
1
answer
152
views
Are there any results on an upper bound for the number of secondary invariants needed to generate the invariant ring of a finite group?
If $ G $ is a finite cyclic group, $ \beta: G \to \operatorname{GL}(\mathbf{V}) $ is a linear $ n $ dimensional representation of $ G $, and $ \{x_{1},\dots,x_{n}\} $ is a basis of $ \mathbf{V}^{\ast} ...
- 782
14
votes
2
answers
571
views
Number of d-Calabi-Yau partitions
This problem arises from algebraic geometry/representation theory, see https://arxiv.org/pdf/1409.0668.pdf (chapter 2).
We call a partition $p=[p_1,...,p_n]$ with $2 \leq p_1 \leq p_2 \leq ... \leq ...
- 4,589
1
vote
0
answers
174
views
What are the irreps in this canonical action of $\operatorname{PGL}_2(F_q)$?
Consider the permutation action of $\operatorname{PGL}_2(\mathbb F_q)$ on $\mathbb P^1(\mathbb F_q)$ by fractional linear transformations. We can consider the associated (complex) representation of ...
- 63.9k
18
votes
4
answers
621
views
What are immediate applications of the classification of connected reductive groups?
After years of putting it off, I finally sat down, read, and understood the classification of connected reductive groups via root data.
That's a non-trivial theory! I'm hoping that now that I am done ...
- 11.2k
10
votes
1
answer
458
views
Why are root data a natural candidate for classifying connected reductive groups?
For the purpose of this question, you may assume that we are working over the complex numbers.
Given a connected reductive group $G$, one can choose a maximal torus $T$, and then let $T$ act on the ...
- 3,186
3
votes
0
answers
276
views
Closed form for Jacobi sum $\sum_{a\in \mathbb{F}_{p^2}}\chi(a)\chi(1-a)$
Let $\mathbb{F}_{p^2}$ be a field with $p^2$ elements and $\chi:\mathbb{F}_{p^2}^*\to\mathbb{C}^{*}$
be a multiplicative and non-trivial character on the multiplicative group $\mathbb{F}_{p^2}^*$ (...
- 63.9k
8
votes
0
answers
1k
views
Ramified Geometric Langlands
Is the following a reasonable formulation of (a part of) the geometric Langlands conjecture for $\mathrm{GL}_n$ over a curve $X$?
(*) Let $\mathcal{L}$ be an irreducible rank $n$ $\ell$-adic local ...
- 2,751
6
votes
2
answers
1k
views
About different cohomology theories used to study Shimura varieties
The classical theory of Eichler-Shimura realizes the space of cusp forms of certain weights and levels in the parabolic cohomology of modular curves, which is the image of the cohomology with compact ...
- 148k
14
votes
8
answers
2k
views
Applications of the idea of deformation in algebraic geometry and other areas?
The idea of proving something by deforming the general case to some special cases is very powerful. For example, one can prove certain equalities by regarding both sides as functions/sheaves, and show ...
3
votes
0
answers
166
views
Automorphy Factor from Vector Bundles on Compact Dual
So I'm coming from an algebraic geometry perspective and I'm trying to carefully piece together the story of interpreting automorphic forms as sections of vector bundles on Shimura varieties. I think ...
- 1,701
9
votes
1
answer
617
views
Characters of simply connected semsimple algebraic groups over local fields
Let $G$ be a semisimple algebraic group over $\mathbb{Q}_p$. Then by definition $G$ admits no non-trivial algebraic characters, i.e. homomorphisms $G \to \mathbb{G}_m$.
However, it is quite possible ...
- 14.1k
10
votes
1
answer
502
views
Arithmetic representation stability and Galois action
I am thinking about representation stability phenomena (as considered by Church, Farb, Ellenberg and others) in arithmetic settings where Galois action enters the picture, and am curious about their ...
- 4,746
2
votes
1
answer
84
views
reduction of torsion modules
Let $G$ be a profinite group.
Let $K(G,\mathbb Z_\ell)$ be the Grothendieck group of the derived category of finitely generated $\mathbb Z_\ell$-modules with continuous $G$-action.
Let $K(G,\mathbb ...
- 4,189
5
votes
0
answers
158
views
Maass-Saito-Kurokawa Lift of Weak Jacobi Forms
Given a holomorphic Jacobi form $\varphi_{k,1} \in \mathbb{J}_{k,1}$ of weight $k$ and index 1, we know we can use the Hecke operators $V_{m}$ to lift $\varphi_{k,1}$ to a Siegel modular form
$$\...
- 1,701
10
votes
2
answers
955
views
Semisimplicity of étale cohomology representations
Let $K$ be a number field and $G=Gal(\overline{K}/K)$ the absolute Galois group of $K$. Let $\ell$ be a prime number.
Let $A/K$ be an abelian variety. Then the representation of $G$ on $V_\ell(A)$ is ...
CommunityBot
- 1
4
votes
0
answers
233
views
"Lifting" of Jacobi forms of weight zero vs. index one?
In this question I'll try to avoid using the words "Borcherd's Lift" only because I'm not sure in what setting it applies properly. What I will be asking about is sometimes called "second quantized ...
- 1,701
3
votes
0
answers
139
views
Cartan decomposition for $G[z]$
Let $G$ be a reductive group over complex numbers. Fix some maximal torus $T$. Let $\Lambda^{+}$ be the monoid of dominant coweights. It is known that one has a Cartan decomposition $$G((z))=\coprod\...
- 31
7
votes
0
answers
642
views
Automorphisms of semistable $G$-bundles
Let $X$ be a projective smooth curve over an algebraically closed field $\mathbb k$ of any characteristic. Let also $G$ be a reductive group over $\mathbb k$. (Probably) following Ramanathan, a $G$-...
- 790
0
votes
0
answers
197
views
'Adelic torus' not arising from a rational torus
Let $G$ be a reductive group over a global field $F$, and $\gamma$ a strongly regular semi-simple element of $G(F)$. Then the centralizer $G_\gamma$ is defines an $F$-torus $T$, and hence by base ...
- 3,799
0
votes
2
answers
211
views
Can one reconstruct a diagonalisable endomorphism from its action on the exterior algebra?
Let $K$ be a field. Let $V$ be a finite-dimensional $K$-vector space; and let $f$ be an automorphism of $V$. Assume that $f$ is diagonalisable over some extension of $K$. Form the exterior algebra $\...
- 4,991
0
votes
0
answers
283
views
Normalizer of non-split tori
Let $\mathbb{G}$ be a connected reductive group over $\mathbb{C}$. Let $G:=\mathbb{G}(\mathbb{C}(\!(t)\!))$. Let $T$ be a maximal torus in $G$.
Question: What do we know about the normalizer $N_G(T)$...
- 2,751
6
votes
0
answers
354
views
Sporadic and Exceptional
I have been reading this recent paper of J.McKay and YH. He (they've written a number of papers recently, including a fun and joking one on 42 which overflow commented on) called "Sporadic and ...
- 3,587
2
votes
0
answers
659
views
Constant group scheme and torsors
Let $X$ be a scheme and $G$ a (commutative) constant group scheme. Consider a $G$-torsor $Y$ for $X$, by which I mean that there is a canonical isomorphism:
$$g_Y \colon Y \times_X Y \cong Y \...
CommunityBot
- 1
3
votes
0
answers
168
views
Invariant Theory over finite adeles
Classical invariant theory, among the other things, classifies polynomial functions over a vector space $V$ endowed with a quadratic form $Q$ which are invariant under the action of $SO(V,Q)$.
I am ...
- 2,384
5
votes
1
answer
251
views
Quotient of Projective line over rationals with an infinite subgroup of PGL(2,Q)
I am looking for references for the following; how to calculate quotient of the projective line over the field of rationals with an infinite subgroup of PGL(2,Q), e.g, of the form
$
\left(
\begin{...
- 17.4k
0
votes
1
answer
455
views
Iwasawa theory for Mazur's deformation ring R
The ideal class group $\mathrm{Cl}({\cal O}_K)$ and Mazur's deformation ring $R(\overline{\rho})$ for a number field $K$ are said to be similar to each other.
Let ${\Bbb Q}_{\infty}$ be the unique ...
CommunityBot
- 1
3
votes
1
answer
385
views
Is Mazur's deformation ring R integral?
Consider the absolutely irreducible Galois representation
$\overline{\rho} \colon G_{\Bbb Q} \to {\mathrm{GL}}_2({\Bbb F}_p)$. We apply the Mazur's deformation theory on the lift ${\rho} \colon G_{\...
- 10.9k
7
votes
2
answers
595
views
Representation theory of Discrete Subgroups of Lie groups
My question is the following. Which representations of $Sp(2g, \mathbb Z)$ are extendable to representations of $Sp(2g, \mathbb C)$ or $Sp(2g, \mathbb R)$. Is there a general theory and a good ...
- 11.2k
7
votes
1
answer
616
views
l-adic Turrittin
What would be an l-adic analogue of the Turrittin-Levelt decomposition theorem?
Turrittin-Levelt is a structure theorem of meromorphic connections on a complex curve in the formal neighbourhood of a ...
- 1,537
6
votes
0
answers
460
views
Semistable reduction theorem over higher dimensional schemes
Let $k$ be a field, $S/k$ a smooth variety with function field $K$ and $U$ a nonempty open subscheme of $S$. For every finite separable extension $E/K$ we denote by $S^E$ (resp. $U^E$) the ...
- 1,673
5
votes
0
answers
338
views
Orbital integrals and cohomology of compactified Jacobians
I have heard it said that the backdrop to the Laumon-Ngo proof of the fundamental lemma was a series of reductions in which orbital integrals were replaced by their analogues over p-adic fields which ...
- 8,723
4
votes
0
answers
118
views
Representations with small dual
I want to construct an irreducible representation $V$ of any group $G$ such that there exist a mapping of form $\sum_{i=1}^{100} a_i g_i, a_i \in C, g_i \in G$ with kernel of dimension
$dim V-1$. In ...
- 44.7k
16
votes
0
answers
605
views
Division fields of abelian varieties over function fields
Let $k$ be a finitely generated field (for example a finite field or a number field) and $K/k$ a finitely generated regular extension with $trdeg(K/k)=1$. Let $A/K$ be a principally polarized abelian ...
- 1,673
18
votes
4
answers
2k
views
Origin of symbol *l* for a prime different from a fixed prime?
I've never seen an authoritative explanation for the choice of the lower case letter $\ell$ or $l$ to denote an arbitrary prime different from a given prime $p$. This now has its own LaTeX command \...
- 32.6k
9
votes
2
answers
1k
views
modularity of algebraic varieties
Hello,
Are there any examples of varieties which are not Shimura varieties or abelian varieties
and whose L-functions have been shown to be a product of automorphic L-functions?
Thanks.
N
- 1,209
11
votes
1
answer
875
views
An arithmetic highest weight theory?
I apologize if these questions seem naive or loaded.
Is there an analogous theory of highest weights for irreducible finite-dimensional representations of Lie algebras of algebraic group (or perhaps ...
- 7,108
8
votes
1
answer
1k
views
Geometric Intuition for Big Monodromy
In various contexts, I have come across results referred to as "big monodromy." A standard arithmetic example is the open image theorem for the image of Galois action on non-CM elliptic curves. A ...
- 19.2k