Questions tagged [absolute-galois-group]
The absolute-galois-group tag has no usage guidance.
74
questions
0
votes
0
answers
77
views
Elliptic curves and images of decompositions group exceptional?
Given an elliptic curve $E$ and its mod $p$ Galois representation $\bar{\rho}_{E,p}$, I am wondering what are the possibilities for $\bar{\rho}_{E,p}(G_l)$, where $G_l:=$Gal($\overline{\mathbb{Q}_l}/\...
2
votes
0
answers
109
views
Absolute Galois cohomology of function fields (of high-dimensional) varieties
What is known about the absolute Galois cohomology of function fields of varieties of dimension 2 or larger? Specifically, I am interested in multiplicative coefficients $\mathbb G_m$.
I have seen ...
3
votes
1
answer
196
views
Galois action on automorphisms of a curve
Let $C$ be a smooth projective curve defined over a local field $K/\mathbb{Q}_p$. Denote by $\text{Aut}(C)$ the geometric automorphism group of $C$, which consist of isomorphisms of $C\times_{\text{...
7
votes
2
answers
593
views
Involutions in the absolute Galois group (and the Axiom of Choice)
It is known that the only elementary abelian $2$-groups (finite and nonfinite) in $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ are in fact finite and cyclic – that is to say, they are of order $2$....
2
votes
1
answer
389
views
Algebraically closed fields with only finite orbits
The automorphism groups $\mathrm{Gal}(\overline{\mathbb{F}_q}/\mathbb{F}_q)$ of algebraic closures of finite fields $\mathbb{F}_q$ and the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\...
10
votes
0
answers
220
views
If $H$ is a quotient of $G$, does there exist an $H$-extension of $\mathbb{Q}$ not contained in a $G$-extension?
Let $\phi\colon G\rightarrow H$ be a surjective homomorphism between finite groups. Assume that $\phi$ is not split, in other words there exists no homomorphism $\sigma\colon H\rightarrow G$ such that ...
2
votes
0
answers
112
views
Elementary abelian 2-subgroups of $\mathrm{Aut}(\overline{\mathbb{Q}}/\mathbb{Q})$ (with and without choice)
Consider the absolute Galois group $G_{\mathbb{Q}} := \mathrm{Aut}(\overline{\mathbb{Q}}/\mathbb{Q})$.
As I understand it, the only torsion elements have order $2$ (by Artin-Schreier), and they are ...
5
votes
1
answer
243
views
Relation between $G_{\mathbb{Q}_p}$ for different primes
Let $G_{\mathbb{Q}_p}$ denote the absolute Galois group of the $p$-adic field $\mathbb{Q}_{p}$. Also, their structure as abstract groups is completely known.
It is well known that this group embeds ...
7
votes
0
answers
268
views
Connections between Borger's absolute geometry and Connes' and Consani's $\Gamma$-spaces
As the idea of an absolute geometry over the field with one element $\mathbb{F}_1$ becomes more clear, two approaches seem to have crystallized, being based on different assumptions and going into ...
4
votes
1
answer
232
views
Shafarevich's conjecture on Galois groups over fields ramified at finitely many places
Let $K$ be a number field i.e. a finite extension of $\mathbb{Q}$, $\overline{K}$ a fixed separable closure of $K$, and $G_K:=\mathrm{Gal}(\overline{K}/K)$ the absolute Galois group of $K$. Let $S$ be ...
5
votes
0
answers
222
views
Is the group $\mathrm{Gal}(\mathbb{C}/\overline{\mathbb{Q}})$ known?
The automorphism group of the complex numbers $\mathbb{C}$ and the Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ are amongst the most mysterious and worst understood objects in Galois ...
5
votes
2
answers
1k
views
Absolute Galois group, number theory and the Axiom of Choice
Richard Taylor once explained his research (in number theory) in a very simple way: understanding the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$.
It is known that in ...
3
votes
0
answers
215
views
Dessins d'enfants and the absolute Galois group
If I am not mistaken, Alexander Grothendieck introduced dessins d'enfants as they are known today, in order to better understand the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}...
7
votes
0
answers
197
views
Reference request: projectivity of the absolute Galois group of $\mathbb{Q}^{\mathrm{ab}}$
$\newcommand{\ab}{\mathrm{ab}}$Let $\mathbb{Q}^{\ab}$ denote the maximal abelian extension of $\mathbb{Q}$. I have heard the absolute Galois group of $\mathbb{Q}^{\ab}$ is projective (e.g. see this ...
2
votes
1
answer
136
views
Tits algebra of the quasi-split semisimple algebraic groups
My question arose from the proof of Proposition 31.7 of "The book of involutions."
It says "… is the Tits algebra of the quasisplit group $(G_{\nu_G})_{F_{\chi}}$, hence it is trivial.&...
2
votes
0
answers
246
views
Is the absolute Galois group $\text{Gal}(\bar K/K)$ isomorphic to $\text{Gal}(K(S)/K)$?
Let $K$ be a finite extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}$, maximal ideal $\mathfrak{m}$ and uniformizer $\pi$. Let $\bar K$ be the algebraic closure of $K$ and $\bar{\...
3
votes
0
answers
178
views
The Brauer group and the second Galois cohomology group
I know that for any finite Galois extension K of $\mathbb{Q}$ the group $H^2(Gal(K/\mathbb{Q}),K^*)$ is isomorphic to the Brauer group $Br(K/\mathbb{Q})$. The isomorphism goes as follows: to a 2-...
13
votes
0
answers
235
views
Dessins d'enfant of Dynkin diagrams?
Dessins d'enfant have a nice particular case of Shabat trees, where we take a tree, bicolor it, and get a polynomial map.
A very famous set of trees are the Dynkin diagrams. I wonder what are the ...
3
votes
0
answers
428
views
How are problems about number fields reduced to problems about their absolute Galois groups?
The article on Wikipedia about Neukirch–Uchida theorem claims right from the beginning the statement in my question. I have seen similar claims elsewhere before.
I am a little puzzled by this ...
2
votes
0
answers
264
views
Absolute Galois group of Q and stratification of moduli space of curves
This is slightly related, but distinct from, a question I asked earlier.
The moduli space of ribbon graphs with metric (with all vertices having degree at least 3) is isomorphic to the moduli space of ...
1
vote
0
answers
197
views
Is semi-simplicity of Galois representations local?
Let $\rho:G_{\mathbb{Q}}\rightarrow \text{Gl}(V)$ be a finite dimensional $\ell$-adic Galois representation. Then for each prime, by pre-composing $\rho$ with the natural inclusion $G_{\mathbb{Q}_p}\...
1
vote
1
answer
388
views
$G_{\mathbb Q}$ and primes of $\overline{\mathbb{Z}}$
I know that if $K/\mathbb Q$ is a finite Galois extension (i.e. a Galois number field), then for any prime $(p)\subseteq \mathbb Z$, the Galois group $G=\operatorname{Gal}(K/\mathbb Q)$ acts ...
8
votes
1
answer
466
views
Commutator subgroup of the absolute Galois group - a closed subgroup
Let $K$ be a finite extension of $\mathbb{Q}$. Is it possible that the commutator subgroup of the absolute Galois group of $K$ (considered as an abstract group) is a closed subgroup? This property ...
11
votes
0
answers
235
views
Grothendieck-Teichmüller conjecture and tropicalization of moduli of curves
Abramovich, Caporaso and Payne (2014) have constructed functorial tropicalization maps from the Berkovich analytification of the moduli spaces of stable curves, $\overline{M}_{g,n}$, to the moduli ...
1
vote
2
answers
281
views
Meaning of epimorphism from full Galois group to some group
My problem has two parts: let $\;G:=\operatorname{Gal}(\overline{\Bbb Q}/\Bbb Q)\;$ be the full Galois group of the rationals and $\;K\;$ be some finite group, then:
(1) Does having an epimorphism (...
7
votes
0
answers
249
views
Is this Related to Tannakian Formalism?
I am wondering how I might be able to express the following phenomenon, which is essentially equivalent to Artin's linear independence of characters, in Tannakian formalism. Any help would be much ...
2
votes
1
answer
263
views
maximal pro-l-quotients of absolute Galois groups
Let $K$ be a field, preferably a function field of a variety $X$ over $\overline{\mathbb{F}}_p$. I am looking for an answer or existing literature on the following question:
What is known about the ...
7
votes
1
answer
582
views
Interesting (combinatorial) actions of the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$
I have read many times that it is crucial to understand the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) =: L$, in so far that some have stated (was it Richard Taylor ?) that ...
7
votes
1
answer
433
views
Recovering the Zariski topology from the Zariski topology over an extension
Suppose $A$ is a $k$-algebra, with $k$ a field, and let $\ell$ be a field extension of $k$. Is there an easy way to see/recover $\mathrm{Spec}(A)$ in/from $\mathrm{Spec}(A \otimes_k \ell)$, using the ...
7
votes
1
answer
559
views
absolute Galois group of the function field of a curve over $\mathbb{F}_p^{alg}$
In their 2008 paper "Torelli theorem for curves over finite fields" Bogomolov, Korotiaev and Tschinkel mention in the beginning of Section 9 that absolute Galois groups of curves over $\mathbb{F}_p^{...
7
votes
1
answer
818
views
Teichmuller groupoids in Grothendieck's esquisse d'un programme
Grothendieck in his Esquisse d'un programme mentioned without any precise definition and construction that the absolute Galois group $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ acts on the whole "tower" ...
7
votes
1
answer
746
views
Is co-restriction in Galois cohomology in fact the norm map via Kummer isomorphism?
Let $\mathrm{F}$ be a field that contains a root of unity of order $p$, where $p$ is a prime number. Fix an element $a$ such that $a \in \mathrm{F}$ and $\sqrt[p]{a} \notin \mathrm{F}$. Consider the ...
13
votes
1
answer
1k
views
Classify all the fields with abelian absolute Galois group
I'm wondering if anyone has classified all the fields $K$ such that $Gal(\bar{K}/K)$ is abelian?
The only examples I'm aware of are: finite fields, the real numbers $\mathbb{R}$ and $k((T))$ where $k$...
16
votes
1
answer
1k
views
What "should" be the absolute galois group of a field with one element
As far as I know there is many "suggestions" of what should be a "field with one element" $\mathbf{F}_{1}$.
My question is the following:
How we should think or what should be the "absolute Galois ...
3
votes
1
answer
223
views
induced isomorphism in continuous cohomology
Suppose that we have a morphism between profinite groups $f: G_{1}\rightarrow G_{2}$ such that $f^{\ast}:H_{cont}^{\ast}(G_{2},A)\rightarrow H_{cont}^{\ast}(G_{1},A) $ is an isomorphism for any finite ...
31
votes
3
answers
1k
views
Consequences of Shafarevich conjecture
The Shafarevich conjecture states that the Galois group $\mathrm{Gal}({\overline{\mathbf{Q}}/\mathbf{Q}^{ab}})$ is a free profinite group, where $\mathbf{Q}^{ab}$ is the maximal abelian extension of $\...
1
vote
1
answer
162
views
Another fix field of a certain galois group action
Let $E=\mathbb{F}_p(\!(u)\!)$, the Laurent series field over $\mathbb{F}_p$. Let $K/E$ be a finite normal separable extension. Consider the field $L=K(x \mid x^p-x-a=0 \text{ for some } a \in K)$. Let ...
3
votes
1
answer
302
views
Fix field of a certain galois group action
Let $E= \mathbb{F}_p(\!(u)\!)$, $E^s$ a separable closure of $E$ and write $G_E= \mathrm{Gal}(E^s/E)$ for the absolute Galois group of $E$. Take a lift of the $u$-adic valuation on $E$ to $E^s$ and ...
9
votes
2
answers
2k
views
Langlands program vs Shimura-Taniyama-Weil conjecture
Edward Frenkel said that "we can see Langlands program as a generalization of Shimura-Taniyama-Weil conjecture in the case of elliptic curves"
I hope I'm not distorting his phrase, can someone ...
1
vote
2
answers
1k
views
Is the absolute Galois group the same as the automorphism group? [closed]
Is the absolute Galois group $\mathrm{Gal}(\overline{\mathbf{Q}}|\mathbf{Q})$ the same as the group $\mathrm{Aut}_{\mathbf{Q}}(\overline{\mathbf{Q}})$ the automorphism group in the category of $\...
19
votes
3
answers
2k
views
Profinite groups as absolute Galois groups
It is a well-known result that all profinite groups arise as the Galois group of some field extension.
What profinite groups are the absolute Galois group
$\mathrm{Gal}(\overline{K}|K)$ of some ...
9
votes
1
answer
397
views
Weight filtration on certain Galois representations
Let $G$ be the absolute Galois group of a number field $K$. Let $\ell$ be a prime number. There are representations $\mathbb{Z}_\ell(n)$ of $G$ on the group of $\ell$-adic integers given by the ...
11
votes
1
answer
820
views
Dessins d'enfants and absolute Galois group
I would like to know what is the recent progress about the group homomorphism
$$ \mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\rightarrow \mathrm{Out}(\hat{F_{2}})$$
$\mathrm{Gal}(\overline{\mathbf{...
2
votes
0
answers
107
views
Which fields have no extensions of degree divisble by a fixed prime?
Let $p$ be a prime. What are the most general examples of a field $K$ such that for any finite extension $L/K$ the degree $[L:K]$ is prime to $p$?
Certainly, there are algebraically closed examples ...
7
votes
1
answer
4k
views
Unramified extension of number fields
Any finite field extension (in particular Galois extension) of $\mathbb{Q}$ is ramified. Is there an intuitive geometric explanation of this fact?
Suppose we have an number field $K$, is any Galois ...
7
votes
2
answers
2k
views
Frobenius elements in infinite extensions
Let $K$ be a number field, $\bar K$ an algebraic closure and $G$ the associated absolute Galois group. How can I define the Frobenius elements of $G$ or at least their conjugacy class?
I know how ...
0
votes
1
answer
220
views
Fixed field of the Nebentypus of a newform for $\Gamma_1(N)$
Let $f=\sum_{n\geq 1}\in S_2(\Gamma_1(N),\varepsilon)$ be a normalized newform without CM and with Nebentypus $\varepsilon$. Let $L=\mathbb Q(a_n\colon n\in \mathbb N)$ be the number field generated ...
15
votes
2
answers
828
views
Galois group for 0-dimensional motives
It is my understanding that in dimension 0, the theory of motives should just be Galois theory for fields. I am hoping to find a reference or two to help me get some things straightened out.
One can ...
3
votes
0
answers
1k
views
English version of "Quasi-Hopf Algebras"
I was wondering where I can find a pdf of Drinfeld's paper "Quasi-Hopf Algebras," which formulated the Grothendieck-Teichmuller group. The Russian version is in Algebra i Analiz, 1:6 (1989), 114–148, ...
2
votes
2
answers
572
views
The relationship between SL(2,Z) and Gal(Qbar,Q)
(caveat: I'm not a number-theorist or Langlands-programme-er, and I don't expect to understand all the answers to this question, but I figured they might be useful to someone besides me).
I've been ...