All Questions
35 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 ...
- 195
1
vote
0
answers
175
views
Algebraic numbers with a polynomial property
In my research I faced with an intricate construction of an algebraic number with some properties.
Problem. For which classes of polynomials $P(X,Y)\in \mathbb{Z}[X,Y]$, we have the following property....
- 515
2
votes
0
answers
146
views
Can we say anything about the zeros and Galois group of the polynomial $(x^p-a)^{p^2}-p^{p^2+1}x+p^{p^2} a=0$?
Let $p$ be an odd prime number and $\mathbb Q_p$ be the $p$-adic number field. Let $K=\mathbb Q_p(a)$ be the extension by $a=p^{\frac{p^2+1}{p^3-1}}$.
Consider the polynomial $f(x)=(x^p-a)^{p^2}-p^{p^...
- 930
4
votes
1
answer
354
views
Can a general quintic be solved using inverse beta regularized function?
Tyma Gaidash has recently posted solutions to some quintics in terms of Inverse Beta Regularized function. He also found the closed form for the equation $\cos x=x$ using the same Inverse Beta ...
- 10.1k
87
votes
12
answers
12k
views
Why do we make such big deal about the 'unsolvability' of the quintic?
The unsolvability of a general quintic equation in terms of the basic arithmetic operations and $n$th roots (i.e. the Abel–Ruffini theorem) is considered a major result in the mathematical canon. I ...
- 1,389
0
votes
0
answers
326
views
Field extension generated by the roots of multivariate-polynomials
Let us consider a field $K$ of characteristic $0$. Then we know that any finite extension $L$ of $K$, which is a Galois extension as well, is produced the roots of a separable polynomial $f(x) \in K[x]...
- 930
5
votes
0
answers
209
views
Reducibility of a cubic over a number field
Given an extension $K = \mathbb{Q}(\alpha)$ by a cubic polynomial $g(x)\in \mathbb{Q}[x]$ (not necessarily Galois extension) is there a criterion for a cubic polynomial $f(x) \in K[x]$ to be reducible ...
- 481
1
vote
0
answers
158
views
Is this an explicit construction of a Hurwitz space with Galois group Z/p, p distinct branch points, and inertia group Z/(p-1)?
I am desperately confused and would like a sanity check that the following moduli space/stack is a Hurwitz space/stack. I would also appreciate any references on the topic of the explicit construction ...
- 3,539
4
votes
0
answers
195
views
Geometric fundamental group and algebraically closed residue field
my questions relates to the following talk of Tsuji:
https://www.youtube.com/watch?v=2brDj26phP0
At around 10:30 of the video, Tsuji is interrupted by a man stating that his construction does not ...
- 455
23
votes
1
answer
3k
views
Geometric intuition for Fontaine-Wintenberger?
I asked my advisor the question in the title. He told me it was a stupid question and that I should focus on my research. Thus we're asking here.
The statement of Fontaine-Winterberger, per their ...
- 273
24
votes
3
answers
4k
views
How are motives related to anabelian geometry and Galois-Teichmuller theory?
In Recoltes et Semailles, Grothendieck remarks that the theory of motives is related to anabelian geometry and Galois-Teichmuller theory. My understanding of these subjects is not very solid at this ...
- 3,309
6
votes
1
answer
728
views
Relation - Anabelian geometry and Tate conjecture
A lot has been said about the relation between Anabelian algebraic geometry and Mordell conjecture.
I would like to know what is the relation between Anabelian algebraic geometry and Tate ...
- 1,720
-2
votes
1
answer
271
views
Any galois covering of $P^{1}$ over rationals are of the form $\mathbb{P}^1_L\to\mathbb{P}^1_\mathbb{Q}$
I recently came across the following statement,
The Galois coverings of $\mathbb{P}^1_\mathbb{Q}$ are all of the form
$$\mathbb{P}^1_L\to\mathbb{P}^1_\mathbb{Q}$$ where $L$ is a number field.
How ...
- 591
1
vote
0
answers
199
views
Class number of the cyclotomic tower
Let ${\Bbb Q}(\zeta_{\infty})$ be the field obtained by adjoining all roots of unity. We define
Cl(${\Bbb Q}(\zeta_{\infty})$)$\colon= \underset{m > 1}{\varinjlim}~{\mathrm{Cl}}({\Bbb Z}[\zeta_m])...
- 781
3
votes
0
answers
285
views
What is known about the prime-to-$p$ etale fundamental group of $\mathbb{P}^1_{\mathbb{F}_p}$ minus $\mathbb{F}_p$-rational points?
Is it known to be (the prime-to-$p$ part of the profinite completion of) a finitely presentable group?
Is such a presentation known? Is there a guess for what it is? What is known about it?
- 2,071
18
votes
1
answer
881
views
Pop's proof that $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})=\mathrm{Aut}\underline\pi^{alg}_{\overline{\mathbb{Q}}}$
I've heard of this result in a paper on which Yves André proves the p-adic analogue (that is, $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)=\mathrm{Aut}\underline\pi^{temp}_{{\mathbb{C}}_p}$), ...
- 17.6k
12
votes
1
answer
565
views
Parametrizing all cyclic extensions of the rational numbers of degree 5
Is there a polynomial $f(T,X) \in \mathbb{Q}(T)[X]$ in the indeterminate $X$ over the field $\mathbb{Q}(T)$ with $\mathrm{Gal}(f/\mathbb{Q}(T)) \cong \mathbb{Z}/5\mathbb{Z}$ such that for every Galois ...
- 11.3k
0
votes
1
answer
263
views
Find all possible rational values of the parameter of a parametric cubic such that it is reducible
Description: Given the following parametric cubic polynomials ${E}^{3}
- 15\, {\beta}_{\pm}\, {E}^{2} - 3 \left({71\, {\beta}_{\pm}^{2} + 352\, {\beta}_{\mp}}\right) E
+ 135\, {\beta}_{\pm} \left({5\...
- 441
13
votes
1
answer
771
views
Abelian $\ell$-adic representations in $\widehat{\mathrm{SL}(2,\mathbb{Z})}$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\Gal{Gal}\newcommand{\Z}{\mathbb{Z}}$In Grothendieck's Esquisse he claims that the action of
$$\Gal(\mathbb Q)\to\text{Out}(\pi_1(M_{1,1})=\text{Out}(\...
- 3,799
5
votes
1
answer
517
views
Disjoint images of polynomials
Are there any $f,g \in \mathbb{Q}[x]$ such that for every root of unity $\zeta$, and every $a,b \in \mathbb{Q}(\zeta)$, $f(a) \neq g(b)?$
- 11.3k
17
votes
2
answers
1k
views
Images of polynomials
Let $f,g \in \mathbb{Q}[x]$ be polynomials such that $\{f(a) : a \in \mathbb{Q}\} \subseteq \{g(a) : a \in \mathbb{Q} \}$. Must there be some $h \in \mathbb{Q}[x]$ such that $f(x) = g(h(x))$ for all $...
- 11.3k
9
votes
1
answer
781
views
Variant of Hilbert 90 for Galois extensions
Let $K/\mathbb F_q(x)$ be a finite Galois extension with Galois group $G$. Let $Aut(K)$ be the group of $\mathbb F_q$-automorphisms of $K$.
Obviously, $G\subseteq Aut(K)$. It is well known that
$H^1(G,...
- 3,998
5
votes
1
answer
570
views
Rigidity, moduli space, and moduli field
In his comment to the question Algebraic numbers and the complex projective line minus three points JSE says that for algebro-geometric objects defined over the complex numbers "in practice, 'the ...
- 11.1k
14
votes
1
answer
1k
views
Is every finite group a quotient of the Grothendieck-Teichmuller group?
The Grothendieck-Teichmuller conjecture asserts that the absolute Galois group $Gal(\mathbb{Q})$ is isomorphic to the Grothendieck-Teichmuller group. I was wondering, would this conjecture imply the ...
- 5,929
1
vote
1
answer
263
views
Is the other extreme of Hilbert Irreducibility true?
Let $K$ be a number field (or perhaps more generally a Hilbertian field). Let $X_K\rightarrow \mathbb{P}^1_K$ be a regular (i.e. without extension of scalars) $G$-Galois branched cover. Hilbert's ...
- 5,929
6
votes
2
answers
532
views
Expressing Galois actions on fundamental groups explicitly
Let $X$ be some variety over $\mathbb{Q}$, and let $\pi_1(X\times_{\mathbb{Q}}\mathbb{C},x)$ denote its (topological) fundamental group. As is well known $Gal(\mathbb{Q})$ acts on this fundamental ...
- 5,929
141
votes
0
answers
13k
views
Grothendieck-Teichmüller conjecture
(1) In "Esquisse d'un programme", Grothendieck conjectures
Grothendieck-Teichmüller conjecture: the morphism
$$
G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T})
$$
is an isomorphism.
Here $...
- 7,527
6
votes
1
answer
951
views
Is it possible to recover the degree of a field extension from a list of elements and the ground field?
I'm interested to know if there is anything known about recovering the degree of a field extension, $E/k$, given $E=k(\alpha_1,\ldots, \alpha_n)$ (here I'm assuming that the extension is of finite ...
- 1,049
17
votes
1
answer
1k
views
Does there exist a number field, unramified over a predetermined finite set of primes of Q, such that the inverse regular Galois problem is correct for that number field?
The question is: for any finite group, $G$, and any finite set of primes (of $\mathbb{Z}$), $P$, is there a number field $K$, such that there is a regular $G$-Galois extension of $\mathbb{P}^1_K$, and ...
- 1,522
21
votes
3
answers
2k
views
Surprising Analogue of Q
I was describing Manish Kumar's work a few weeks ago to a fellow graduate student, and she stumped me with a big-picture question I couldn't answer.
Manish Kumar proved that the commutator subgroup ...
- 1,522
7
votes
1
answer
264
views
For a given finite group G, is there a cover of P^1 over Q s.t. over C it's G-Galois?
For any finite group, G, we can find a cover of ℙ1ℂ which is G-Galois. The regular inverse Galois problem is equivalent to there existing such a cover that descends with action to ℚ. ...
- 1,522
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}$, ...
- 4,994
12
votes
2
answers
2k
views
What, precisely, is the relationship between "fields of moduli" and "moduli spaces"?
Notation
The term "field of moduli" comes in up in different scenarios, but let's consider the following: Let X->ℙ1 be a G-Galois cover, where everything is over the algebraic closure of ...
- 1,522
5
votes
1
answer
513
views
Field of Definition of a Meromorphic Function
Question
Let X be a smooth, projective curve over the algebraic closure of ℚ. Let f:X->ℙ1 be a meromorphic function. Assume that the zeros and the poles are defined over some number field,...
- 1,522
18
votes
1
answer
1k
views
A Galois Theory Computation
Excuse me for the specificity of this question, but this is a silly computation that's been giving me trouble for some time.
I want to explicitly realize the order 21 Frobenius group over ℂ(x), ...
- 1,522