The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
82 views

Does the Lehmer quintic parameterize certain minimal polynomials of the $p$th root of unity for infinitely many $p$?

The solvable Emma Lehmer quintic is given by, $$F(y) = y^5 + n^2y^4 - (2n^3 + 6n^2 + 10n + 10)y^3 + (n^4 + 5n^3 + 11n^2 + 15n + 5)y^2 + (n^3 + 4n^2 + 10n + 10)y + 1 = 0$$ with discriminant $D = (7 + ...
-5
votes
0answers
115 views

personal relationships [closed]

I'm curious to know the personal and professional relations between Jean -Pierre Serre and Serge Lang as the two were towering figures and exact contemporaries in the 20 th century. Was ever there ...
0
votes
1answer
718 views

Countable sets of permutations of an infinite binary sequence

Being motivated by this recent post of mine, I am thinking about the base 2 decimal expansion of irrational algebraic numbers. My main question is whether or not the reasoning I outline below ...
0
votes
0answers
100 views

examples of class fields

Can anyone explain with a numerical example of generating class field with Kummer extension? I have not come across any standard reference which does give examples. Please help or cite any reference ...
4
votes
2answers
166 views

Iwasawa's mu-invariant for noncyclotomic $\mathbf{Z}_p$ extensions of cyclotomic fields?

Let $p$ be an odd prime number, $m$ a positive integer with $p\mid m$. Put $k=\mathbf{Q}(\mu_m)$. (1) Is there any example where certain noncyclotomic $\mathbf{Z}_p$-extension $k_\infty/k$ has ...
2
votes
0answers
100 views

$\mathbb{Q}$-forms of $\mathrm{SL}_2\times \mathrm{SL}_2$

I am learning something about lattices in algebraic groups. Consider the algebraic group $\mathrm{SL}_2\times \mathrm{SL}_2$. What are the $\mathbb{Q}$-forms of such groups?
7
votes
2answers
472 views

Adjoining torsion points from abelian varieties

Let $L/\mathbb{Q}$ be the field generated over $\mathbb{Q}$ by all of the (projective) coordinates of all of the torsion points of all abelian varieties defined over $\mathbb{Q}$. Is $L$ algebraically ...
58
votes
10answers
7k views

“Understanding” $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$

I have heard people say that a major goal of number theory is to understand the absolute Galois group of the rational numbers $G = \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$. What do people mean when ...
13
votes
1answer
441 views

References for $K_{4k}(\mathbb{Z})$

Weibel's "Algebraic K-theory of rings of integers in local and global fields" says $K_{4k}(\mathbb{Z})$ are known to have odd order, with no prime factors less than $10^7$, but are conjectured to be ...
1
vote
1answer
201 views

How to test if the power of some algebraic number is the rational combination of two specific algebraic numbers?

Suppose we are given three algebraic numbers $\alpha,\beta,\gamma$ by presenting their minimal polynomial (degree less than $m$), the goal is to compute all positive integers $n$ such that $\alpha^n$ ...
28
votes
4answers
2k views

Fermat's last theorem over larger fields

Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite. Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite? Here ...
6
votes
2answers
244 views

On a minimal algebraic number field which satisfies the principal ideal theorem

By an algebraic number field, we mean a finite extension field of the field of rational numbers. Let $k$ be an algebraic number field, we denote by $\mathcal{O}_k$ the ring of algebraic integers in ...
6
votes
1answer
521 views

A good book on adeles and ideles

Many results in number theory are stated either in a classical language or in an adelic one. I am often impressed of the efficiency and the satisfactory computational properties of the adelic setting, ...
2
votes
1answer
148 views

not Gauss sum with the same magnitude

Gauss sum is a sum of $p$ roots of unity with magnitude $\sqrt{p}$. Does another sum with such property exist? More exactly. Let $p$ be a prime number. $\zeta^p=1,\;\zeta\ne 1$. Causs sum: ...
0
votes
0answers
69 views

Nilpotent differential operators

I am reading Dwork's book an Introduction to G-Funcions and confronted with a problem. In section 2, chapter III (page 81), he assumes that $\mathscr F=K(X)$ the field of rational functions with ...
0
votes
1answer
191 views

The number of solutions of a Diophantine equation [closed]

Is $\lim_{n \rightarrow \infty} |\{(x,y) \in \mathbb{Q}(\zeta_n)^2 : y^3 = x^3 + x + 1\}| < \infty ?$ where $\zeta_n$ is a primitive $n$-th root of unity. That is, I am asking whether the number ...
2
votes
0answers
170 views

Diophantine equations over cyclotomic fields

Let $\mathbb{Q}^{\text{ab}}$ be the compositum of all finite abelian extensions of $\mathbb{Q}$. Explicitly, $\mathbb{Q}^{\text{ab}}$ is the field obtained from $\mathbb{Q}$ by adjoining all roots of ...
5
votes
1answer
429 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
votes
1answer
843 views

Is a number field uniquely determined by the primes which split in it?

Let $K/\mathbb{Q}$ be a number field. We say that a rational prime $p$ splits in $K$ if there exists a prime $\mathfrak{p}$ of $K$ above $p$ of interia degree $1$. Is a number field $K$ ...
3
votes
0answers
120 views

Computing local volumes : the case of Hecke p-adic subgroups

I am quite interested in knowing how to compute some volumes of groups defined on local fields $K$, mainly in order to evaluate the identity term in trace formulas. It is something well done in the ...
13
votes
2answers
601 views

Capitulation in cyclotomic extensions

Let $p$ be an irregular prime, which means that $p$ divides some Bernoulli number: $p \mid B_k$ (for some even $k\in[2,p-3]$). This implies that the class number of the field $K$ of $p$-th roots of ...
0
votes
1answer
58 views

Slope decomposition of a product of operators

I'm trying to relate the slope decomposition of a product of linear operators to the slope decompositions with regard to each of the operators in the product. First I'll give some background, for ...
4
votes
3answers
372 views

Textbook request for class field theory [duplicate]

I am studying class field theory. I need good reference books, notes, or other materials which explain the following topics: ideles and ideals, Haar measure and integration on local fields, Fourier ...
1
vote
0answers
96 views

Skew symmetry for the Hilbert symbol

Let $K$ be a local field containing the group $\mu_n$ of $n$th roots of 1 and the $\theta_K:K^*\to G_K^{ab}$ be the reciprocity map. The we know that the Hilbert symbol $$K^*\times K^*\to \mu_n$$ ...
1
vote
0answers
114 views

Rings of algebraic integers as quotients of polynomial rings

The ring of integers $\mathcal{O}_K$ of a number field $K$ is always isomorphic to some ring of the form $\mathbb{Z}[x_1, ..., x_r]/\mathfrak{p}$, where $\mathfrak{p} \subset \mathbb{Z}[x_1, ..., ...
2
votes
0answers
137 views

What are the minimal degrees of the real and imaginary part of an algebraic complex number? [closed]

Let $z=a+bi\in\mathbb C$ with $b\ne0$ be an algebraic complex number of minimal degree $n$. It is obvious that $a=\dfrac {z+\bar{z}}2$ and $b=\dfrac {z-\bar{z}}{2i}$ are also algebraic. For $n=3$, it ...
31
votes
1answer
664 views

What is an infinite prime in algebraic topology?

The links between algebraic topology (stable homotopy theory in particular) and number theory are nowadays abundant and fruitful. In one direction, there is chromatic homotopy theory, exploiting the ...
6
votes
5answers
2k views

Has anyone found an error in an early version of Neukirch?

I remember a friend in graduate school throwing an early edition of Jurgen Neukirch's Algebraic Number Theory book against a wall (so hard that it split the binding) after he had worked for a number ...
1
vote
1answer
138 views

What is the ring $A_{\Gamma}$ in the Cohen-Lenstra Heuristics?

I understand the work in Cohen and Lenstra's paper that leads up to the heuristics themselves, where they count weighted averages of functions defined over isomorphism classes of $A$-modules, where ...
2
votes
2answers
275 views

Unique representation of constructible numbers

I am interested in programmatically working with constructible numbers (the closure of the rational numbers under square roots). In order to perform comparisons between numbers I believe I would need ...
8
votes
0answers
149 views

Intersection of a ring class field of a quadratic field K with the cyclotomic extension of K

Let $K$ be a quadratic field. Let $f\in\mathbb{Z}_{\geq 1}$. Let $\mathcal{O}_f=\mathbf{Z}+f\mathcal{O}_K$ be the unique order of $K$ of index $f$ in $\mathcal{O}_K$. Let $H_f^{ring}$ denote the ring ...
9
votes
0answers
295 views

How small parallelograms are we guaranteed to get, when we select the two sides from different plane lattices?

Title question description: Select two lattices $\Lambda_1$ and $\Lambda_2$ (here a lattice=additive free abelian group without accumulation points) of maximal rank two in the real plane. We normalize ...
10
votes
3answers
465 views

Ideal classes fixed by the Galois group

Let $K$ be a number field and let $G$ be the group of automorphisms of $K$ over $\mathbf Q$. The group $G$ acts in a natural way on the ideal class group of $K$. I would like to know if there are any ...
0
votes
0answers
89 views

Reciprocity laws in different dimensions

Let $M/L/Qp$ be a finite galois abelian extension of local fields and define $\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathbb{Z}}a_iT^i:a_i\in M,\min_{i\in \mathbb{Z}}, v(a_i)>−\infty , \lim_{i\to ...
1
vote
0answers
65 views

Relation between 1-dimensional and 2-dimensional reciprocity maps

Let $M/L/\mathbb{Q}_p$ be a finite galois abelian extension of local fields and define $\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathcal{Z}}a_iT^i : a_i\in M, \min_{i\in \mathcal{Z}} v(a_i)>-\infty, ...
7
votes
0answers
263 views

The construction of the 257gon

If $\zeta\in\mathbb C$ is a primitive $257$th root of unity, the Galois group $\operatorname{Gal}(\mathbb Q(\zeta)/\mathbb Q)$ is cyclic of order $256=2^8$, so we know that there is a sequence of $8$ ...
1
vote
0answers
97 views

Lowest degree polynomial with integer coefficients yielding $1/\sqrt{2^n}$

Let $x = \cos(\pi/8) = \frac{1}{2} \sqrt{2+\sqrt{2}}$ and $y = \sin(\pi/8) = \frac{1}{2} \sqrt{2-\sqrt{2}}$. What is the lowest degree polynomial $p(x,y)$ with integer coefficients such that $p(x,y) = ...
0
votes
1answer
98 views

Units of an extension of $\mathbb{Z}$ [closed]

Let $P(x)\in\mathbb{Z}[x]$ be monic and irreducible over $\mathbb{Q}[x]$, and let $\theta$ be a root of $P(x)$. Let $K = \{a + b\theta\} \subseteq \mathbb{Z}[\theta]$. When is it the case that there ...
7
votes
2answers
455 views

Galois groups and prescribed ramification

What is known about finite groups $G$ for which there exists a Galois extension $K$ of $\mathbb{Q}$ ramified only at $2$ such that $\text{Gal}(K/\mathbb{Q}) \cong G$ ? More generally, which groups can ...
21
votes
2answers
1k views

Interactions between (set theory, model theory) and (algebraic geometry, algebraic number theory ,…)

Set theory and model theory have many applications outside of logic, in particular in algebra, topology, analysis, ... On the other hand model theory, in particular after Hrushovski, found many ...
15
votes
2answers
638 views

Are there any simple, interesting consequences to motivate the local Langlands correspondence?

Let's pretend that we know local Langlands at a fairly high level of generality... i.e. we know something along the lines of: Let $G=\mathbf{G}(F)$ be the group of $F$-points of a connected ...
10
votes
4answers
2k views

Can a sum of roots of unity be an integer?

Let $n \geq 2$, $H \lneq (\mathbb{Z}/n\mathbb{Z})^*$, $\zeta_k$ a primitive $k$-th root of unity. Is it possible that $$\sum_{h \in H} \zeta_k^{h} \in \mathbb{Z}$$ for every $k$ dividing $n$ such that ...
7
votes
2answers
374 views

How did height in algeb. number theory/elliptic curves started?

Maybe this is obvious but it isn't to me yet. What is the history of heights used in say points of the project plane over a number field or of elliptic curve over a number field? I would guess people ...
1
vote
0answers
148 views

Motivating mathematics(particularly algebraic number theory) through historical problems [closed]

Most mathematical textbooks start a subject by going backwards, historically. They will define the terms that were invented to solve a problem in their polished form and then use these definitions and ...
0
votes
0answers
108 views

Hilbert Class fields and Pure cubic fields

I want to know about Hilbert class field theory for pure cubic fields. Which is the best source for this? Right now I am reading book by D.A. Cox "Primes of the form $x^2+ny^2$" Fermat,Class field ...
5
votes
2answers
213 views

Why is the supersingular locus the zero locus of a modular form?

This question is related to my other question here: Examples of subspaces singled out by modular forms. Here I am wondering if there is a philosophical explanation about why the supersingular locus ...
4
votes
1answer
124 views

explicit uniformizer for the false Tate extension

Let $p$ be an odd prime and let $n\geq 1$. Set $K=\mathbb{Q}_p(\zeta_{p^n})$, $L=\mathbb{Q}_p(\sqrt[p^n]{p})$, and $M=KL$. I claim that $M$ is totally ramified of degree $\phi(p^n)p^n$ (the proof ...
1
vote
2answers
117 views

Results for resolution of equations in polynomial ring

Is there any reference for resolution of equations in a polynomial ring, such as $x^2+y^2=z^2$ in $\mathbb{C}[t]$? Thanks!
9
votes
4answers
798 views

Elements of finite order of $\mathrm{PGL}(n,\mathbb{Q})$

For some research work, I need to know the classification of elements of finite order of $\mathrm{PGL}(n,\mathbb{Q})$, up to conjugation. Since I essentially need $n\le 4$, I think that I can show it ...
1
vote
0answers
42 views

Semi-simple controlling operator

I've just come across this paper by Coleman and Edixhoven called "On the semi-simplicity of the $U_p$ operator on modular forms", where (as the title says) they show that the $U_p$ operator is ...