All Questions
30 questions
5
votes
1
answer
513
views
Learning Inverse Galois Theory
Can someone give me a roadmap for learning Inverse Galois theory?
I am a PhD student in the representation theory of finite groups. I studied Galois theory when I was an undergraduate student. The ...
- 16.2k
5
votes
3
answers
448
views
Variation of centraliser in $\operatorname{GL}(n,\mathbb{Z})$
$\DeclareMathOperator\GL{GL}$Let $n$ be a positive integer $\geq 2$. The setting is that $K \in \GL(n,\mathbb{Z})$, and people are interested in understanding the centralizer:
$$
C(K)=\{ B \in \GL(n,\...
6
votes
2
answers
754
views
Elliptic curves — general structure of the group
Let $K$ be a field and $E$ be an elliptic curve defined over $K$. It well understood the $K$-points on $E$ forms an abelian group. What is the structure of this group?(Depending on char($K$)?) Is it a ...
- 4,713
4
votes
1
answer
315
views
Criteria for Zariski density of subgroups of reductive groups
Let $G$ be a reductive group over a number field $K$. Let $\Gamma\subset G(K)$ be a subgroup.
My extremely naive question is - When can you deduce that $\Gamma$ is Zariski-dense? I'm looking for ...
- 44.8k
4
votes
1
answer
204
views
Groups suitable for algebraic group factorizations of integers
Quoting Wikipedia on Algebraic-group factorisation algorithm
Algebraic-group factorisation algorithms are algorithms for factoring an integer N by working in an algebraic group defined modulo N whose ...
- 879
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
73
votes
2
answers
8k
views
The inverse Galois problem and the Monster
I have a slight interest in both the inverse Galois problem and in the Monster group. I learned some time ago that all of the sporadic simple groups, with the exception of the Mathieu group $M_{23}$, ...
- 3,432
33
votes
4
answers
6k
views
Is there any theory why (for Bitcoin) the discrete logarithm problem is so hard to solve?
Note I am an active member and contributor at the sister site https://bitcoin.stackexchange.com while studying Bitcoin and as a person who studied mathematics 10 years ago there is one thing I kept ...
- 10.4k
2
votes
1
answer
184
views
Centralizers of Cartan subgroups
Let $E$ be an elliptic curve with CM by an order $\mathcal O$ in an imaginary quadratic field $K$. Choose a basis for $E[N]$ to get an isomorphism $\operatorname{Aut}(E[N])\cong \operatorname{GL}_2(\...
- 8,945
5
votes
1
answer
184
views
Is the function field of every congruence modular curve generated by $j,j\circ g$ for some $g\in\text{GL}_2(\mathbb{Q})^+$?
So I've heard in passing that for any congruence modular curve $X$ (over $\mathbb{C}$), there is a $g\in\text{GL}_2(\mathbb{Q})^+$ such that $X$ is birational to a plane curve in $\mathbb{C}^2$ given ...
- 148k
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 $...
- 5,382
75
votes
5
answers
3k
views
When the automorphism group of an object determines the object
Let me start with three examples to illustrate my question (probably vague; I apologize in advance).
$\mathbf{Man}$, the category of closed (compact without boundary) topological manifold. For any $M,...
CommunityBot
- 1
10
votes
1
answer
505
views
Can a index 2 subgroup of $\pm\Gamma(n)\le \text{SL}_2(\mathbb{Z})$ be noncongruence?
One way of interpreting the question might be: Is the property of being congruence a topological property? Ie, is it detected at the level of Riemann surfaces $\mathcal{H}/\Gamma$?
My motivation is ...
- 37k
-3
votes
1
answer
964
views
On the maximal ideal m of the formal power series ring [closed]
Let $A \colon= K[[X_1,X_2,\ldots,X_{\infty}]]$ be the formal power series ring with infinitely many variables over a field $K$. We can represent it also by the following manner$\colon$
\begin{equation*...
- 968
12
votes
1
answer
642
views
are the congruence subgroups $\Gamma(n)$ characteristic inside $\mathrm{SL}_2(\mathbb{Z})$?
For which $n$ is the "principal congruence subgroup" $\Gamma(n)\le \mathrm{SL}_2(\mathbb{Z})$, the subgroup consisting of matrices congruent to the identity modulo $n$, characteristic? I.e., for ...
- 156k
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,\...
- 11.2k
15
votes
1
answer
474
views
Dirichlet's unit theorem for reductive schemes
Let $O_{K,S}$ be the ring of $S$-integers in a number field $K$. Dirichlet's unit theorem implies that the group of units in $O_{K,S}$ is a finitely generated group. In other words, the group $\mathbb ...
- 195
22
votes
1
answer
668
views
For which $n$ is it true that all surjections $SL_2(\mathbb{Z})\rightarrow SL_2(\mathbb{Z}/n\mathbb{Z})$ have kernel $\Gamma(n)$?
For which integers $n$ does every surjection $SL_2(\mathbb{Z})\twoheadrightarrow SL_2(\mathbb{Z}/n\mathbb{Z})$ have kernel $\Gamma(n)$?
(this is the usual kernel, ie, the subgroup of matrices ...
CommunityBot
- 1
6
votes
2
answers
417
views
How simple does a $\mathbb{Q}$-simple group remain after base change to $\mathbb{Q}_{\ell}$?
Of course the general answer to the question in the title is: not very simple.
I could not think of a better title, so let me explain my question in more detail.
I have a number field $E/\mathbb{Q}$, ...
- 5,504
13
votes
2
answers
633
views
Automorphisms of finite order in $Out(\widehat{F_2})$
Let $\widehat{F_2}$ be the pro-$\ell$ completion of the free group of rank 2, where $\ell$ is some prime.
Every outer automorphism of $F_2$ induces an outer automorphism of $\widehat{F_2}$, hence an ...
- 10.7k
7
votes
1
answer
409
views
What is the normal closure of $GL_2(\mathbb{Z})$ inside $GL_2(\mathbb{Z}_\ell)$?
This weird problem popped up in my research:
Let $\ell$ be a prime. Is there a description of the smallest normal subgroup of $GL_2(\mathbb{Z}_\ell)$ containing $GL_2(\mathbb{Z})$?
Is there a ...
- 63.9k
6
votes
0
answers
487
views
Inverse Galois Problem...and parallelizable vector fields?
Usual approaches to the inverse Galois problem start with realizations of a group $G$ over a larger field, and then try to specialize to ${\Bbb Q}$.
One could also start by building suitable objects ...
CommunityBot
- 1
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 ...
- 68.9k
7
votes
1
answer
1k
views
An interesting double coset in the theory of automorphic forms
Does anyone have some idea to describe the double coset $P(F)\backslash G(F)/H(F)$ , say using Weyl group elements ? Here $G=GL_n\times GL_{n-1}$ is defined over a number field $F$ , $H=GL_{n-1}$ ...
- 1,190
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
3
votes
3
answers
719
views
A neat monodromy group of a family of Kaehler manifolds
Let $X\rightarrow B$ be a family of Kaehler manifolds with possibly singular fibers. Let $G$ be the monodromy group on $H^n(X_b,\mathbb{Z})$, where $n=\dim X_b$ with the smooth fiber $X_b$ over some $...
- 148k
7
votes
2
answers
639
views
Is there an algebraically normal function from $\mathbb{Z}^{n}$ to $\{ 0 , 1\}$?
Definition: Let $h$ be a polynomial in $n$ variables, then :
$\gamma(h,r,R):=\{ v \in \mathbb{Z}^{n} : \vert h(v) \vert \leq r, \Vert v \Vert < R \}$
Let $\omega : \mathbb{Z}^{n} \to \{ 0 , 1\}$...
CommunityBot
- 1
14
votes
1
answer
2k
views
Deformations of p-divisible groups
Given a p-divisible group over $\mathbb{F}_p$, Grothendieck-Messing theory tells us that deforming the group to $\mathbb{Z}_p$ is the same as finding an admissible filtration of the Dieudonne-module ...
- 3,032
7
votes
0
answers
909
views
Deformation of ordinary p-divisible groups via Grothendieck-Messing
I am hoping that someone can point out the error in the "proof" of the following "theorem":
Theorem: Let $k$ be a perfect field of characteristic $p>2$ and let $G$ be an ordinary $p$-divisible ...
- 1,609
2
votes
5
answers
1k
views
Product of two algebraic subgroups of a (solvable) group = another algebraic subgroup?
Let $G$ be a linear algebraic group over a field $K$. (Say $K=\mathbb{F}_q$ or
$K=\mathbb{C}$; do not assume $K$ is algebraically closed or of characteristic $0$.) Let $H_1$, $H_2$ be algebraic ...
- 324