Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Zhiyu's user avatar
  • 6,622
4 votes
0 answers
289 views

Formal integration (?) in Chabauty’s method

In Mccallum, Poonen’s paper “The method of Chabauty and Coleman”, the authors define, for the Jacobian $J$ of a geometrically connected smooth proper curve over the rational field and for $\omega \in ...
k.j.'s user avatar
  • 1,364
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 ...
Tim Phalange's user avatar
10 votes
1 answer
459 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 ...
Tim Phalange's user avatar
7 votes
1 answer
270 views

Is $\Gamma(p) := \text{Ker}(SL_2(\mathbb{Z}_p)\rightarrow SL_2(\mathbb{F}_p)$ a "standard" subgroup?

Let $\Gamma(p) := \text{ker}(SL_2(\mathbb{Z}_p)\rightarrow SL_2(\mathbb{Z}_p/p))$. Viewing $SL_2(\mathbb{Z}_p)$ as an analytic group, is there a formal group law $F$ in three variables, defined over $...
stupid_question_bot's user avatar
1 vote
1 answer
106 views

Actions of torsionfree discrete subgroups on hermitian symmetric domains

Let $D$ be a bounded hermitian symmetric domain with automorphism group $G(\mathbb R)$. In the example I have in mind, $D$ is Siegel upper half-space of degree $g$ and $G(\mathbb R) = \mathrm{Sp}(2g,\...
John's user avatar
  • 13
3 votes
0 answers
204 views

Exponential analogue of formal connections

Let $F=\mathbb{C}((t))$. Let $G=GL_n$. Then $G(F)$ acts on $\mathfrak{g}(F)$ by gauge transformation: $$ g.x:=gxg^{-1} + \dot{g}g^{-1},\quad \quad g\in G(F), \quad x\in \mathfrak{g}(F). $$ Here, $\...
Dr. Evil's user avatar
  • 2,751
0 votes
0 answers
95 views

Rationality of intersection of algebraic groups

Suppose that $G$ (defined over $\mathbb{Q}$) and $H$ (defined over $\mathbb{R}$) are two algebraic subgroups of a larger algebraic group defined over $\mathbb{Q}$. Assume that $G(\mathbb{R})$ and $H(\...
user avatar
10 votes
1 answer
719 views

what is the intersection of all congruence subgroups of the profinite completion of SL(2,Z)?

Let $\widehat{SL(2,\mathbb{Z})}$ be the profinite completion of $SL(2,\mathbb{Z})$. Let $\Gamma(N)$ denote the typical principal congruence subgroup of $SL(2,\mathbb{Z})$ (ie, all matrices congruent ...
Will Chen's user avatar
  • 10.7k
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 ...
Anant Atyam's user avatar