The tag has no wiki summary.

learn more… | top users | synonyms

13
votes
2answers
503 views

How to prove that every polynomial in an infinite family is irreducible over Q?

Consider the bivariate polynomial $$p(X,Y) = X^5 - (2 Y + 1) X^3 - (Y^2 + 2) X^2 + Y (Y-1) X + Y^3.$$ For every integer $y \ge 4$, I conjecture that $p(X,y)$ is irreducible in $\mathbb{Q}[X]$. How can ...
1
vote
0answers
61 views

Discriminant of a compositum of number fields, a bound?

Given two number fields $E$ and $F$, is there a bound on $|d_{EF}|$, the absolute value of the absolute discriminant of the compositum of fields $EF$, in terms of $d_E$, $d_F$, and the extension ...
4
votes
0answers
146 views

Degree of Kummer extensions of number fields

Let $K$ be a number field and $a\in K^*$ of infinite order in $K^*$. How do I show that $$[K(\sqrt[n]{a},\zeta_n):K]\geq C\cdot n\cdot\varphi(n)$$ holds for all positive integers $n$, with a positive ...
5
votes
1answer
126 views

The proof of Belyi theorem by Lando and Zvonkin

I'm sorry for asking such a specific question, but i have trouble understanding one detail in the proof of Belyi's theorem in the book "Graphs on surfaces and their applications" by Lando and Zvonkin" ...
-1
votes
1answer
123 views

Order of the zero of a meromorphic function under the action of $Gal(\mathbb{C},\mathbb{Q})$

Let's take $X$ a Riemann surface as an algebraic curve in $\mathbb{P}^n$. The group $Gal(\mathbb{C},\mathbb{Q})$ (automorphisms of $\mathbb{C}$ which act as the identity on $\mathbb{Q}$) acts on $X$ ...
9
votes
3answers
1k views

An algebraic number is not a root of unity?

This problem is related to my study of the Burau representation of the braid group $B_3$: I was trying to show that certain "congruence subgroups" are of infinite index. There is an approach that ...
0
votes
1answer
262 views

Number field of degree 5

I am interested in field extensions of the rationals. About degree 3 extensions there are many refrences including the famous paper of Shanks "The Simplest Cubic Fields". In particular he gave ...
3
votes
0answers
139 views

Solvable parametric $7$th and $13$th degree equations using $\eta(q)/\eta(q^p)$?

Q: Why is that some polynomial relations between eta quotients have a solvable Galois group, even if the deg is $n>4$? For example, we have the well-known modular equation, $$u^6 - v^6 + ...
1
vote
0answers
69 views

Galois correspondence for action of general linear group on purely transcendental extension

For a fixed positive integer $n$, the group $G=GL_n(\mathbb{C})$ acts on the field $K=\mathbb{C}(t_1,\ldots,t_n)$ by linear change of variables. I would like to know if there is something like a ...
3
votes
0answers
315 views

Differential Galois number theory

Following http://math.stackexchange.com/questions/635659/can-the-error-term-involved-in-the-pnt-be-expressed-in-a-galois-theoretic-framew?noredirect=1#comment1341143_635659, I vainly tried to find ...
3
votes
0answers
130 views

On the peculiar Lagrange resolvent of the septic $7x^7+14x^4+7x^3-1=0$

Given an irreducible solvable equation $P(x)=0$ of prime degree $p>2$ with rational coefficients and $\zeta^p=1$, define the usual Lagrange resolvents of the roots $x_i$ as, $$R_n = ...
4
votes
1answer
250 views

Can you identify complex conjugations in a number field?

Every automorphism of an algebraic number field $F$ extends to an automorphism of $\mathbb{\overline{Q}}$, but an order 2 automorphism of $F$ need not extend to one of order 2 on ...
3
votes
1answer
198 views

Unramified extension and class field theory

I am not sure this question is proper for this site, but there is no other places that I can get an answer. So if anyone can give an answer for this, it would be very helpful to me. Let $F$ be a ...
3
votes
2answers
315 views

The holomorphic version of Galois theory

We identify the space of polynomials of degree n with $\mathbb{C}^{n+1}-\mathbb{C}^{n}$, that is an $n+1$ tuple $(a_{n},a_{n-1},\ldots,a_{0})$ with $a_{n} \neq 0$ is identified with $p(z)=a_{n}z^{n} ...
1
vote
1answer
112 views

Variety of factorizations of differential operator

Take differential operator as polynomial of letter $d$ with coefficients in some function field, where $d$ act by derivation in this function field. Call it a differential field. For simplicity let ...
3
votes
0answers
102 views

Elementary proof for Hilbert's irreducibility theorem

I have tried to find a complete proof for Hilbert's irreducibility theorem, but everything I found was way beyond my level of understanding. I am only interested in the simple case where the ...
4
votes
1answer
193 views

Complexity of computing the Galois group

There has been some discussion of computing the Galois group of a polynomial over the integers, but I can't seem to find any results, or even a question of what the complexity of this might be. For ...
5
votes
2answers
472 views

Reducing 12th degree eqns (12T179) to an 11th degree eqn

I always wondered if the fact that the quartic can be solved by a cubic can be generalized to other even degrees $n$, namely if there is an ordering of the roots $x_i$ of form ...
5
votes
1answer
217 views

Artin representations in Serre's book 'local fields'

Let $K$ be a complete local field with discrete valuation, and let $L/K$ be a finite Galois extension. Use $G=Gal(L/K)$ to denote the Galois group. In Serre's book 'local fields', chapter 6, a ...
2
votes
1answer
190 views

how do automorphisms act on the right in grothendieck's galois theory

So, I'm reading through some notes on the etale fundamental group (mostly Murre, but also some other notes I have), and I find it confusing how in a galois category $\mathcal{C}$ with fundamental ...
0
votes
0answers
99 views

On the Brioschi-like quintic $v^5 - 5d v^3 + 10 d^2 v - d^2 =0 $

The general quintic can be transformed in radicals using a rational Tschirnhausen transformation to the one-parameter Brioschi quintic, $$u^5 - 10c u^3 + 45 c^2 u - c^2 = 0\tag{1}$$ which can be ...
6
votes
2answers
385 views

Is there an algorithm to compute efficiently the dessin d'enfant from a Belyi pair?

Let $(X,f)$ be a Belyi pair, i.e. a Riemann surface $X$ together with a morphism $f: X \to \mathbb{P}^1$, ramified only in $0,1, \infty$. Grothendieck's dessin d'enfant is the pre-image $G$ of the ...
1
vote
0answers
144 views

Reduction modulo p of Galois groups

I'm studying the relationship between the Galois group of a polynomial with integer coefficients and the group of his reduction modulo $p$. More precisely, consider $\mathbb{K}$ a number field such ...
17
votes
2answers
761 views

Is there an irreducible but solvable septic trinomial $x^7+ax^n+b = 0$?

The following irreducible trinomials are solvable: $$x^5-5x^2-3 = 0$$ $$x^6+3x+3 = 0$$ $$x^8-5x-5=0$$ Their Galois groups are isomorphic to ${\rm D}_5$, ${\rm S}_3 \wr {\rm C}_2$ and $({\rm S}_4 ...
4
votes
1answer
228 views

Interpreting the Galois theory of finite extensions of $\mathbb{Q}$ in PA

Any finite extension of the rationals, along with its Galois group, can be interpreted in Peano arithmetic by straightforward means. For a fixed bound $n$ in the degree this is uniform in the ...
4
votes
3answers
272 views

structure of norm one group for quadratic extension of p-adic fields

Let $F$ be a p-adic field (finite extensions of $\mathbb{Q}_p$ for some prime $p$), and $E/F$ be a quadratic extension. Use $\sigma$ to denote the nontrivial element in the Galois group $Gal(E/F)$. ...
1
vote
0answers
100 views

Parametric Solvable Septics?

Known parametric solvable septics are, $$x^7+7ax^5+14a^2x^3+7a^3x+b=0\tag{1}$$ $$x^7 - 2x^6 + x^5 - x^4 - 5x^2 - 6x - 4 + n(x - 1)x^2(x + 1)^2=0\tag{2}$$ $$x^7 + 7x^6 - 28(n^2 + 27)x^2 + 112(n^2 + ...
16
votes
1answer
652 views

On the solvable octic $x^8-x^7+29x^2+29=0$

The irreducible but solvable octic, $$x^8-x^7+29x^2+29=0\tag{1}$$ was first mentioned by Igor Schein in this 1999 sci.math post. This does not factor over a quadratic or quartic extension, but over ...
5
votes
1answer
214 views

Irreducibililty tests for cubic and quartic polynomials over finite fields

The unpublished preprint: D. G. A. Jackson, The irreducibility of a cubic over $\mathbb{F}_q$, Research Report 98-17, Univ. of Sydney (1998) gives necessary and sufficient conditions (when ${\rm ...
1
vote
1answer
129 views

Roots of the derivative as symmetric functions of the roots of the polynomial

Let $p(t)=(t^2-a_1^2)\ldots(t^2-a_n^2)$ be an even polynomial with distinct real non-zero roots. Can the roots of its derivative $p'(t)$ be expressed nicely (e.g. as rational symmetric functions) in ...
12
votes
1answer
586 views

Janelidze's Galois theory

I am interested in learning about categorical Galois theory, as developed by Janelidze. I am a graduate student who has good familiarity with category theory, but not in the level of doing research on ...
0
votes
0answers
144 views

on the Galois cohomology of reductive groups

Let $G$ a simply connected group over an algebraically closed field. $F=k((t))$ and $\mathcal{O}=k[[t]]$. Let $\gamma\in G(\mathcal{O})\cap G(F)^{rs}$. Let $E=k((t^{1/n}))$ with $n$ prime to the ...
8
votes
2answers
523 views

Galois Group of $x^n-2$

Let $n \in \mathbb{N}$, then the order of the Galois Group of $x^n-2$ coincide with $n \phi(n)$ for $n\in \{ 1 , \dots , 36 \}$ except for $n=\{ 8, 16, 24, 32 \}$ where this order is $\frac{ n \phi ...
2
votes
2answers
198 views

Confusion about two statements about cohomology of curves with automorphisms

Let $\pi :C\rightarrow \mathbb{P}^{1}$ be a cyclic cover of degree $m$ of $\mathbb{P}^{1}$. So $C$ has an action of $\mathbb{Z}/m\mathbb{Z}$. Let $\xi$ be a primitive $m$-th root of unity. Consider ...
2
votes
0answers
51 views

lift isomorphic in a sufficiently thick fiber

Let $P$ and $P'$ two polynomials in $k[[\pi]][t]$ for an algebraically closed field $k$ and let $A=k[[\pi]]$. We consider $ X'=Spec (A[t]/(P'))$ and $X=Spec (A[t]/(P)$. Let $d=val(\Delta(P))$ where ...
5
votes
1answer
363 views

Relation between Galois theory and Etale Cohomology

I am a graduate student working on category theory. I am familiar with categorical Galois theory, in the way developed by Janelidze - as described for example in "Galois Theories". I am now trying to ...
1
vote
1answer
155 views

Deciding if the largest absolute value real root lies in a cyclotomic extension

Given an algebraic equation of degree $n$ of form: $$x^{n} - a_{n-1}x^{n-1} - a_{n-2}x^{n-2} - \dots - a_{0} = 0$$ where each $a_{i} \in \Bbb Q^{+}$ and atleast one positive root, how does one decide ...
1
vote
0answers
258 views

About Schanuel's conjecture

I just read an article of Ram Murty about transcendence of special values of L-functions, and it seems that Schanuel's conjecture plays a crucial role in it. So given a positive integer $n$, let's ...
3
votes
2answers
203 views

Generalization of Kummer isomorphism?

This is a question I asked on math.stackexchange without success. Let $p$ be a prime number and denote by $\mathbb{F}_p(1)$ the one dimensional vector space over $\mathbb{F}_p$ endowed with an action ...
5
votes
1answer
578 views

Embeddings of $\overline{\mathbf{Q}}$ into $\mathbf{C}$

Keenan Kidwell's answer to Place stabilizers for the absolute Galois Group mentions that "choosing a complex conjugation" in $G_{\mathbf{Q}}$ means choosing an embedding ...
3
votes
1answer
273 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 ...
0
votes
0answers
27 views

The invariant field for the dual of the augmentation lattice

Let $G$ be some finite group and $J_G$ be $ZG$ modulo the ideal $\{n\sum_{g} g | n\in\mathbb N\}$, or equivalently the dual of the augmentation ideal which is the kernel of $ZG\to Z$ sending $g$ to ...
8
votes
1answer
331 views

Least prime $p$ such that an irreducible polynomial of degree $n$ has no root modulo $p$?

This question is inspired by an old question of Greg Kuperberg, about how small is the first prime $p$ which makes a given monic polynomial $P$ with integral coefficient have a (simple) root modulo ...
1
vote
0answers
30 views

Degree of factor of resolvent

As always with my questions this is not at research level, but the assertion is made in a research paper, plus no one's been able (or willing) to answer it over at MSE. Here is the original question, ...
10
votes
2answers
543 views

Frobenius density theorem

As mentioned by @MichaelZieve in his comment re Quadratic residue, Chebotarev's density theorem was preceded by an allegedly much easier theorem of Frobenius (Mike Zieve is certainly not the only one ...
0
votes
0answers
206 views

Finding the effective maximum number of subspaces in a finite dimensional vector space

Hi mathoverflow community, may be some one may give me a hint on the following problem before I spend much time on brute force search. For $q$ a prime number and $n=6$, let $\mathbb {F}_{q}^{n}$ be ...
9
votes
1answer
307 views

What evidence is there that $\mathbb{Q}^{ab}$ is ample?

A field $K$ is called ample if every smooth curve over $K$ that has a $K$-point has infinitely many $K$-points. Examples include fraction fields of henselian rings. (This is far from trivial, but was ...
2
votes
0answers
96 views

On Artin-Hironaka lemma and Galois theory

Let $A=k[[t]]$ Let $B$ a flat $A$-finite algebra which is etale and Galois at the generic point. Then by Artin lemma 3.12 (ii) in his IHES paper on approximation, we know that there exists an integer ...
3
votes
1answer
181 views

Gaussian Periods

I attempted to get some information on this from MSE, but did not even receive a comment, so i'm trying my luck here: Let p be an odd prime number and $p-1=m d$ a decomposition into positive factors. ...
1
vote
1answer
190 views

a question of local field

Let $K$ be a local field with mix char, $k$ residue field. We have an exact sequence $0 \longrightarrow I \longrightarrow G_{K} \longrightarrow G_{k} \longrightarrow 0$ Then we obtain an action of ...