The tag has no wiki summary.

learn more… | top users | synonyms

58
votes
4answers
7k 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 ...
7
votes
1answer
424 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, ...
10
votes
8answers
4k 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 ...
45
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 ...
12
votes
1answer
465 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 ...
7
votes
7answers
951 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 $$ ...
32
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 ...
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 ...
25
votes
0answers
495 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 ...
41
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 ...
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
1answer
489 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 ...
7
votes
2answers
837 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 ...
19
votes
1answer
348 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 ...
12
votes
2answers
416 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 ...
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 ...
5
votes
4answers
1k 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
3answers
438 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, ...
3
votes
2answers
495 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 ...
6
votes
3answers
518 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
393 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 ...
4
votes
1answer
209 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 ...
3
votes
1answer
198 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? ...
7
votes
1answer
324 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
176 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 ...
5
votes
3answers
801 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 ...
6
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
2answers
548 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
189 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
169 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
137 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), ...