Algebraic number fields, Algebraic integers, Arithmetic Geometry, Elliptic Curves, Function fields, Local fields, Arithmetic groups, Automorphic forms, zeta functions, $L$-functions, Quadratic forms, Quaternion algebras, Homogenous forms, Class groups, Units, Galois theory, Group cohomology, Étale ...

learn more… | top users | synonyms

64
votes
4answers
8k views

How small can a sum of a few roots of unity be?

Let $n$ be a large natural number, and let $z_1, \ldots, z_{10}$ be (say) ten $n^{th}$ roots of unity: $z_1^n = \ldots = z_{10}^n = 1$. Suppose that the sum $S = z_1+\ldots+z_{10}$ is non-zero. How ...
8
votes
2answers
558 views

Positive primes represented by indefinite binary quadratic form

Neil Sloane asked me about commands in computer languages to find the (positive) primes represented by indefinite binary quadratic forms. So I wrote something in C++ that works. This is for the OEIS, ...
12
votes
8answers
5k views

Suggestions for good books on class field theory

Recently I learn class field theory, but I find it is difficulty. I have read the book "Algebraic Number Theory" by J. W. S. Cassels and A. Frohlich. In the book, the approach to class field theory is ...
44
votes
5answers
2k views

If a unitsquare is partitioned into 101 triangles, is the area of one at least 1%?

Update: The answer to the title question is not necessarily, as pointed out by Tapio and Willie. I would be more interested in lower bounds. Monsky's famous and amazingly tricky proof says that if we ...
36
votes
3answers
2k views

What was the relative importance of FLT vs. higher reciprocity laws in Kummer's invention of algebraic number theory?

This question is inspired in part by this answer of Bill Dubuque, in which he remarks that the fairly common belief that Kummer was motivated by FLT to develop his theory of cyclotomic number fields ...
12
votes
1answer
515 views

primes represented by an indefinite binary quadratic form

Suppose I have a form $$ f(x,y) = a x^2 + b x y + c y^2, $$ with $a,b,c$ integers, $\gcd(a,b,c)=1$ and $\Delta = b^2 - 4 a c > 0,$ but $\Delta \neq n^2$ for any integer $n.$ Do there exist ...
26
votes
1answer
1k views

Is pi = log_a(b) for some integers a, b > 1?

Are there integers $a, b > 1$ such that $\pi = \log_a(b)$? Or equivalently: are there integers $a,b > 1$ such that $a^\pi = b$? Note that the transcendence of $\pi$ makes this a problem - ...
21
votes
1answer
426 views

Proportion of irreducible polynomials $P$ such that $\mathbf Z[X]/(P)$ is the ring of integers of $\mathbf Q[X]/(P)$

I know that number fields have been the object of many statistical experiments. Is there some kind of heuristics for the following? Fix a degree $d$ and fix a bound $N$ on the coefficients of a monic ...
7
votes
7answers
976 views

Old question of Serre on discriminants of a sequence of polynomials

Let $P_n(t)$ be polynomials with integer coefficients with $d_n = \deg(P_n(t))$ going to infinity when $n$ goes to infinity and with nonzero discriminants $disc(P_n(t)) \neq 0$. Question: Is $$ ...
8
votes
2answers
1k views

Eigenvalues of nonnegative integer matrices

Edit I realized that the key piece of information that I need is question 1, and so I'd like to rephrase this post: What are the possible eigenvalues of nonnegative integer matrices? Any answer ...
5
votes
1answer
375 views

Is every polynomial a factor of a trinomial?

We say that $T(X) \in \mathbb{Q}[X]$ is a trinomial if there exist $A,B,C \in \mathbb{Q}$ such that $T(X) = AX^n + BX^m + C$ for some $n \geq m \in \mathbb{N}$. Is it true that for each ...
34
votes
2answers
2k views

Formal group laws and L-series

Let E be an elliptic curve, let $L(s) = \sum a_n n^{-s}$ denote its L-function, and set $$ f(x) = \sum a_n \frac{x^n}{n}. $$ Then Honda has observed that $$ F(X,Y) = f^{-1}(f(X) + f(Y)) $$ defines ...
35
votes
1answer
1k views

Degree 17 number fields ramified only at 2

The number $17$ is the smallest odd number that occurs as the degree of a number field $K/\mathbb{Q}$ for which the only finite prime that ramifies is $2$. The non-existence for $n < 17$ follows ...
31
votes
1answer
3k views

Integers not represented by $ 2 x^2 + x y + 3 y^2 + z^3 - z $

EDIT, 9 March 2014: when I asked this in 2010, I did not have the courage of my convictions, and so did not ask for an if and only if proof, as Kevin Buzzard quite properly pointed out. Such problems ...
18
votes
1answer
1k views

Number of distinct values taken by x^x^…^x with parentheses inserted in all possible ways

For what positive x's the number of distinct values taken by x^x^...^x with parentheses inserted in all possible ways is not represented by the sequence A000081? Is it exactly the set of positive ...
42
votes
13answers
4k views

Erratum for Cassels-Froehlich

Edit 25 April 2010: I have a physical copy of the new printing of the book. I can only assume the LMS is now selling it (but have no details). IMPORTANT EDIT: THE RESULTS ARE IN! Ok, the deadline has ...
35
votes
4answers
3k 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 ...
14
votes
3answers
2k views

sum of squares in ring of integers

Lagrange proved that every (positive) rational integer is a sum of 4 squares. Are there general results like this for ring of integers of a number field? Is this class field theory? Explicity, ...
13
votes
5answers
2k views

Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$?

Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$? I am going to be on the road soon, so pleas don't be offended if I don't respond quickly to a comment.
13
votes
1answer
507 views

components of E[p], E universal in char p.

I have just realised that a group scheme I've known and loved for years is probably a bit wackier than I'd realised. In this question, in Charles Rezk's answer, I erroneously claim that his ...
11
votes
2answers
431 views

Easiest way to see that $\zeta_{\mathbb{Z}[i]}(s) = \zeta(s) L(s, \chi)$?

As the question suggests, what is the easiest way to see that$$\zeta_{\mathbb{Z}[i]}(s) = \zeta(s)L(s, \chi)?$$Here, $\chi$ is the homomorphism $(\mathbb{Z}/4\mathbb{Z})^\times \to \mathbb{C}^\times$ ...
7
votes
2answers
1k views

Explicit examples of algebraic Hecke characters with infinite image?

Jerry Shurman has a lovely set of notes explaining the classical definition of Hecke characters, the idelic definition of Hecke characters, their relationship, and the classification of algebraic ...
13
votes
6answers
1k views

Text for Algebraic Number Theory

I have the privilege of teaching an algebraic number theory course next fall, a rare treat for an algebraic topologist, and have been pondering the choice of text. The students will know some ...
11
votes
4answers
3k views

A problem on Algebraic Number Theory, Norm of Ideals

A problem on Algebraic Number Theory $K$ and $L$ are number fields over $\Bbb Q$.($\Bbb Q$ is rational number field) $K\subseteq L$. $\mathcal{O}_K$ is the ring of integers of $K$. and ...
5
votes
4answers
2k views

Height of algebraic numbers

I would like to find effective upper bound for the height of $a+b$ and $a/b$ and $ab$ knowing the heights of $a$ and $b$. Thanks.
4
votes
2answers
698 views

Cohen-Lenstra Heuristics reference

I am looking for good references (preferably, books) on Cohen-Lenstra Heuristics (on Real Quadratic fields) which explain in detail the reasons behind its fundamental assumption (higher the ...
14
votes
0answers
425 views

Can there be arbitrarily many cubic fields unramified outside $\{p,\infty\}$?

Observe, trivially, that since quadratic fields correspond to rational integers modulo squares (viz. discriminants), there are (roughly about, but certainly at most) $2^{|S|+1}$ quadratic fields ...
12
votes
2answers
445 views

Asymptotics for algebraic numbers of height less than one

The question. Is an asymptotic equivalent known or conjectured for the number $N(d)$ of $\alpha \in \bar{\mathbb{Q}}$ with $h(\alpha) < 1$ and $[\mathbb{Q}(\alpha):\mathbb{Q}] \leq d$? The rather ...
12
votes
0answers
560 views

Points of bounded height in a number field

Let $K$ be a number field of absolute degree $d$, let $B$ be a positive real number, and write $S(K, B) = \{x \in K : H(x) \leq B\}$. Here $H$ is the absolute multiplicative height of an algebraic ...
9
votes
4answers
821 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 ...
6
votes
2answers
803 views

“Bad” reduction of Shimura curves via dual graphs

I have the following naive (and inexpert) question about the reduction of Shimura curves at primes dividing the discriminant of the underlying quaternion algebra. It requires some background to ...
4
votes
3answers
551 views

Class number for binary quadratic forms discriminant $\Delta$ to class number $\mathbb Q(\sqrt \Delta)$

Jyrki Lahtonen has suggested I write a blog post relating binary quadratic forms to quadratic field class numbers, ...
12
votes
2answers
675 views

Formal group law over $\mathbb{F}_p$

Let $p$ be a prime. For each $n > 0$ there is a unique 1-dimensional commutative formal group law $F$ over $\mathbf{Z}$, $F(X, Y) = X + Y + \dots \in \mathbf{Z}[[X, Y]]$, whose logarithm function ...
11
votes
0answers
303 views

Evaluating products of cyclotomic polynomials at roots of unity

Are there general non-trivial conditions on $p(\cdot)$ and $n$, where $p(\cdot)$ is a product of cyclotomic polynomials and $n$ is a positive integer, such that all the coefficients of $p(\cdot)$ are ...
7
votes
4answers
1k views

Origins of functional field arithmetic

Background: By function field, we mean a finite extension of the field of rational functions of one variable over a finite field with $p$ elements. Classfield theory for function fields was ...
6
votes
3answers
564 views

Constructing quintic number fields with certain splitting behaviour

I am looking for number fields $K$ which satisfy the following properties: $[K:\mathbb{Q}]=5$. The Galois closure of $K$ has Galois group $S_5$. For each prime $p$ which ramifies in $K$, there ...
6
votes
0answers
418 views

Is formula valid for relating $\pi$ with ALL of its OEIS A002485(n)/A002486(n) convergents?

Could anyone try to prove that the below conjectured formula is valid for relating $\pi$ with ALL of its convergents - those, which are described in OEIS via A002485(n)/A002486(n) ? $$(-1)^n\cdot(\pi ...
5
votes
3answers
868 views

Crystalline Characters

Let $K$, $L$ be finite extensions of the $p$-adic numbers. Suppose $\chi:G_K\rightarrow L^{\times}$ is crystalline. It is my understanding that if either $K$ or $L=\mathbb{Q}_p$, then $\chi$ must be a ...
4
votes
1answer
253 views

Reduction mod $p$ of units in a ring of integers

Let $\mathcal{O}_k$ be the ring of integers in an algebraic number field $k$ and let $\mathfrak{p}$ be a prime ideal of $\mathcal{O}_k$. I'm looking for conditions on $k$ and $\mathfrak{p}$ which ...
7
votes
1answer
337 views

When can number rings be spanned (as $\mathbb{Z}$-modules) by units?

Let $\mathcal{O}$ be the ring of integers in an algebraic number field. Define $R \subset \mathcal{O}$ to be the set of all $\mathbb{Z}$-linear combinations of units. Since the product of two units ...
5
votes
1answer
191 views

Positive Primes represented by an indefinite binary form, reducing poly degree from 8 to 4

In his lovely answer at Positive primes represented by indefinite binary quadratic form Noam found that a (positive) odd prime $p$ is represented by the indefinite form $x^2 + 13 x y - 9 y^2$ if and ...
2
votes
1answer
217 views

The existence of elliptic curves with prescribed supersingular primes

For a given infinite set of primes, not too big, eg, satisfying Lang-Trotter conjecture, can we always find an E.C. with supersingular reduction (at least) at these primes? How about E.C. without CM? ...
8
votes
3answers
861 views

which algebraic integers in a cyclotomic field give you integer absolute value?

Does anyone know an answer to this question? Question: In an cyclotomic field which algebraic integers have integer absolute value? Revision 1: -1 I like to add this to the above question, Let's ...
5
votes
2answers
621 views

Conjecture on irrational algebraic numbers

Conjecture: For every irrational algebraic number $q$ and natural number $b$, the representation of $q$ on base $b$ contains all the digits $[0,\dots,b-1]$. Questions: Has this conjecture been ...
4
votes
2answers
221 views

Even unimodular lattices with root system $32 A_1$

I'm studying Venkov's proof of the classification of even unimodular rank 24 lattices, and it prompted the following question. For an even unimodular lattice $L$, let $R(L)= \{ x \in L : (x,x) =2\}$ ...
2
votes
0answers
153 views

Normal basis in cyclotomic number fields

Let $p$ be an odd prime integer and let $\zeta$ be a primitive $2p$-th root of unity. Does $\alpha=1+\zeta+\zeta^{-1}+\dots+\zeta^{\frac{p-1}{2}}+\zeta^{-\frac{p-1}{2}}$ generates a normal basis of ...
2
votes
0answers
96 views

Prime factors of $\sum_{i\in I} \zeta_p^i$

For a rational prime $p>3$, denote by $\zeta$ a fixed primitive root of unity of degree $p$, and let ${\mathbb K}={\mathbb Q}(\zeta)$ be the $p$th cyclotomic field. Consider the set of all non-zero ...
2
votes
0answers
204 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 ...
2
votes
0answers
180 views

Reference request for a basic result on relative differents & discriminants

I am looking for a better reference for the results in this extremely short and elementary paper: Tôyama, Hiraku, `A note on the different of the composed field', Kōdai Math. Sem. Rep. 7 (1955), ...
1
vote
0answers
148 views

An elliptic curve trivial over any extension unramified outside 7 and infinity?

Is there an elliptic curve $E/\mathbb{Q}$ such that $E(K)$ is trivial for every finite extension $K/\mathbb{Q}$ with discriminant a power of $7$ ?