# Questions tagged [nt.number-theory]

Prime numbers, diophantine equations, diophantine approximations, analytic or algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions

2,934
questions with no upvoted or accepted answers

**115**

votes

**0**answers

9k views

### Grothendieck-Teichmuller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures
Grothendieck-Teichmuller conjecture: the morphism
$$
G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T})
$$
is an isomorphism.
Here $G_{\...

**63**

votes

**0**answers

2k views

### The exponent of Ш of $y^2 = x^3 + px$, where $p$ is a Fermat prime

For $d$ a non-zero integer, let $E_d$ be the elliptic curve
$$
E_d : y^2 = x^3+dx.
$$
When we let $d$ be $p = 2^{2^k}+1$, for $k \in \{1,2,3,4\}$, sage tells us that, conditionally on BSD,
$$
\# Ш(E_p)...

**57**

votes

**0**answers

3k views

### Constructing non-torsion rational points (over Q) on elliptic curves of rank > 1

Consider an elliptic curve $E$ defined over $\mathbb Q$. Assume that the rank of $E(\mathbb Q)$ is $\geq2$. (Assume the Birch-Swinnerton-Dyer conjecture if needed, so that analytic rank $=$ algebraic ...

**51**

votes

**0**answers

3k views

### (Approximately) bijective proof of $\zeta(2)=\pi^2/6$ ?

Given $A,B\in {\Bbb Z}^2$, write $A \leftrightarrows B$ if the
interior of the line segment AB misses
${\Bbb Z}^2$.
For $r>0$, define
$S_r:=\{ \{A, B\} | A,B\in {\Bbb Z}^2,||A||<r,||B||<r, |...

**49**

votes

**0**answers

2k views

### To what extent does Spec R determine Spec of the Witt vector ring over R?

Let $R$ be a perfect $\mathbb{F}_p$-algebra and write $W(R)$ for the Witt ring [i.e., ring of Witt vectors -- PLC] on $R$. I want to know how much we can deduce about $\text{Spec } W(R)$ from ...

**44**

votes

**1**answer

2k views

### Class field theory - a “dead end”?

I found the claim in the title a bit astonishing when I first read it recently in an interview with Michael Rapoport in the German magazine Spiegel (8 February 2019). And I was wondering how he comes ...

**44**

votes

**0**answers

2k views

### Grothendieck's Period Conjecture and the missing p-adic Hodge Theories

Singular cohomology and algebraic de Rham cohomology are both functors from the category of smooth projective algebraic varieties over $\mathbb Q$ to $\mathbb Q$-vectors spaces. They come with the ...

**43**

votes

**0**answers

1k views

### On the first sequence without triple in arithmetic progression

In this Numberphile video (from 3:36 to 7:41), Neil Sloane explains an amazing sequence:
It is the lexicographically first among the sequences of positive integers without triple in arithmetic ...

**41**

votes

**0**answers

2k views

### What does the theta divisor of a number field know about its arithmetic?

This question is about a remark made by van der Geer and Schoof in their beautiful article "Effectivity of Arakelov divisors and the theta divisor of a number field" (from '98) (link).
Let me first ...

**40**

votes

**0**answers

2k views

### A three-line proof of global class field theory?

There is an idea (I think originally due to Tate) that class field theory is fundamentally a consequence of Pontrjagin duality and Hilbert Theorem 90. I'm curious whether this can phrased using modern ...

**39**

votes

**0**answers

2k views

### What are the potential applications of perfectoid spaces to homotopy theory?

This year's Arizona Winter School was on perfectoid spaces, and there were quite a few homotopy theorists in the audience. I'd like to get a "big list" of reasons homotopy theorists might care about ...

**33**

votes

**0**answers

1k views

### Peano Arithmetic and the Field of Rationals

In 1949 Julia Robinson showed the undecidability of the first order theory of the field of rationals by demonstrating that the set of natural numbers $\Bbb{N}$ is first order definable in $(\Bbb{Q}, +,...

**32**

votes

**0**answers

782 views

### Is there a rigid analytic geometry proof of the functional equation for the Riemann zeta function?

The adèles $\mathbb A$ arise naturally when considering the Berkovich space $\mathcal M(\mathbb Z)$ of the integers. Namely, they are the stalk $\mathbb A = (j_\ast j^{-1} \mathcal O_\mathbb Z)_p$ ...

**31**

votes

**0**answers

4k views

### A generalisation of the equation n = ab + ac + bc

In a result I am currently studying (completely unrelated to number theory) I had to examine the solvability of the equation $n = ab+ac+bc$ where $n,a,b,c$ are positive integers $0 < a < b < ...

**29**

votes

**0**answers

817 views

### Is there any positive integer sequence $c_{n+1}=\frac{c_n(c_n+n+d)}n$?

In a recent answer Max Alekseyev provided two recurrences of the form mentioned in the title which stay integer for a long time. However, they eventually fail.
QUESTION Is there any (added: ...

**29**

votes

**0**answers

652 views

### Is there an Ehrhart polynomial for Gaussian integers

Let $N$ be a positive integer and let $P \subset \mathbb{C}$ be a polygon whose vertices are of the form $(a_1+b_1 i)/N$, $(a_2+b_2 i)/N$, ..., $(a_r+b_r i)/N$, with $a_j + b_j i$ being various ...

**28**

votes

**0**answers

825 views

### On certain representations of algebraic numbers in terms of trigonometric functions

Let's say that a real number has a simple trigonometric representation, if it can be represented as a product of zero or more rational powers of positive integers and zero or more (positive or ...

**28**

votes

**0**answers

1k views

### Derivative of Class number of real quadratic fields

Let $\Delta$ be a fundamental quadratic discriminant, set $N = |\Delta|$,
and define the Fekete polynomials
$$ F_N(X) = \sum_{a=1}^N \Big(\frac{\Delta}a\Big) X^a. $$
Define
$$ f_N(X) = \frac{F_N(X)}{...

**27**

votes

**0**answers

568 views

### Does this infinite primes snake-product converge?

This re-asks a question I posed on MSE:
Q. Does this infinite product converge?
$$
\frac{2}{3}\cdot\frac{7}{5}\cdot\frac{11}{13}\cdot\frac{19}{17}\cdot\frac{23}{29}\cdot\frac{37}{31} \cdot \cdots \...

**27**

votes

**0**answers

1k views

### How to prove the identity $L(2,(\frac{\cdot}3))=\frac2{15}\sum\limits_{k=1}^\infty\frac{48^k}{k(2k-1)\binom{4k}{2k}\binom{2k}k}$?

For the Dirichlet character $\chi(a)=(\frac a3)$ (which is the Legendre symbol), we have
$$L(2,\chi)=\sum_{n=1}^\infty\frac{(\frac n3)}{n^2}=0.781302412896486296867187429624\ldots.$$
Note that this ...

**27**

votes

**0**answers

1k views

### Enriques surfaces over $\mathbb Z$

Does there exist a smooth proper morphism $E \to \operatorname{Spec} \mathbb Z$ whose fibers are Enriques surfaces?
By a theorem of, independently, Fontaine and Abrashkin, combined with the Enriques-...

**26**

votes

**0**answers

662 views

### Is the Flajolet-Martin constant irrational? Is it transcendental?

Facebook has a new tool to estimate the average path length between you and any other person on Facebook. An interesting aspect of their method is the use of the Flajolet-Martin algorithm.
In the ...

**26**

votes

**0**answers

1k views

### Orders in number fields

Let $K$ be a degree $n$ extension of ${\mathbb Q}$ with ring of integers $R$. An order in $K$ is a subring with identity of $R$ which is a ${\mathbb Z}$-module of rank $n$.
Question: Let $p$ be an ...

**26**

votes

**0**answers

2k views

### What are the possible singular fibers of an elliptic fibration over a higher dimensional base?

An elliptic fibration is a proper morphism $Y\rightarrow B$ between varieties such that the fiber over a general point of the base $B$ is a smooth curve of genus one.
It is often required for the ...

**25**

votes

**0**answers

411 views

### A sequence potentially consisting of only integers

I will first ask the question which can be stated very simply. Afterwards I will explain some motivation and give references to related sequences.
Consider the sequence defined by
$$b_n = \frac{(...

**25**

votes

**0**answers

1k views

### Linking formulas by Euler, Pólya, Nekrasov-Okounkov

Consider the formal product
$$F(t,x,z):=\prod_{j=0}^{\infty}(1-tx^j)^{z-1}.$$
(a) If $z=2$ then on the one hand we get Euler's
$$F(t,x,2)=\sum_{n\geq0}\frac{(-1)^nx^{\binom{n}2}}{(x;x)_n}t^n,$$
on the ...

**25**

votes

**0**answers

861 views

### Non-linear expanders?

Recall that a family of graphs (indexed by an infinite set, such as the primes, say) is called an expander family if there is a $\delta>0$ such that, on every graph in the family, the discrete ...

**24**

votes

**0**answers

399 views

### Can we write each positive rational number as $\frac1{p_1-1}+\ldots+\frac1{p_k-1}$ with $p_1,\ldots,p_k$ distinct primes?

It is well-known that any positive rational number can be written as the sum of finitely many distinct unit fractions. This is easy since
$$\frac1n=\frac1{n+1}+\frac1{n(n+1)}\quad\text{for all}\ n=1,2,...

**24**

votes

**0**answers

831 views

### A modern perspective on the relationship between Drinfeld modules and shtukas

Shtukas were defined by Drinfeld as a generalization of Drinfeld modules. While the relationship between the definitions of Drinfeld modules and shtukas is not obvious, one does have a natural ...

**24**

votes

**0**answers

1k views

### Exotic 4-spheres and the Tate-Shafarevich Group

The title is a talk given by Sir M. Atiyah in a conference with the following abstract:
I will explain a deep analogy between 4-dimensional smooth geometry (Donaldson theory)...

**24**

votes

**0**answers

724 views

### Which sets of roots of unity give a polynomial with nonnegative coefficients?

The question in brief: When does a subset $S$ of the complex $n$th roots of unity have the property that
$$\prod_{\alpha\, \in \,S} (z-\alpha)$$
gives a polynomial in $\mathbb R[z]$ with ...

**24**

votes

**0**answers

794 views

### Nekrasov-Okounkov hook length formula

I am now reading the paper An explicit expansion formula for the powers of the Euler Product in terms of partition hook lengths by Guo-Niu Han. The author rediscovered what he calls the Nekrasov-...

**24**

votes

**0**answers

1k views

### Defining $\mathbb{Z}$ in $\mathbb{Q}$

It was proved by Poonen that $\mathbb{Z}$ is definable in the structure $(\mathbb{Q}, +, \cdot, 0, 1)$ using $\forall \exists$ formula. Koenigsmann has shown that $\mathbb{Z}$ is in fact definable by ...

**23**

votes

**0**answers

785 views

### Base change for $\sqrt{2}.$

This is a direct follow-up to Conjecture on irrational algebraic numbers.
Take the decimal expansion for $\sqrt{2},$ but now think of it as the base $11$ expansion of some number $\theta_{11}.$ Is ...

**22**

votes

**0**answers

743 views

### Eichler-Shimura over Totally Real Fields

By Eichler-Shimura over totally real fields I mean the following conjecture.
Conjecture. Let $K$ be a totally real field. Let $f$ be a Hilbert eigenform with rational eigenvalues, of parallel weight $...

**22**

votes

**0**answers

1k views

### K-theory and rings of integers

From the works of Borel and Quillen there is a connection between the $K$-theory of the ring of integers $\mathfrak{o}_K$ in a number field $K$ and the arithmetic of the number field. In fact, it is ...

**22**

votes

**0**answers

977 views

### Fake CM elliptic curves

Suppose one has an elliptic curve $E$ over $\mathbb{Q}$ with conductor $N < k^3$ for some (large) positive $k$, with the property that its Fourier coefficients satisfy
$$
a_p=0, \; \mbox{ for all }...

**22**

votes

**0**answers

722 views

### Smooth proper schemes over Z with points everywhere locally

This is a variation on Poonen's question, taking Buzzard's fabulous example into account. It was earlier a part of this other question.
Question. Is there a smooth proper scheme $X\to\operatorname{...

**21**

votes

**0**answers

654 views

### Class field theory and the class group

Let $k$ be a finite abelian extension of $\mathbb{Q}$. Class field theory states that $k$ corresponds to some open subgroup of finite index $U_k \subset \mathbb{A}_{\mathbb{Q}}^*/ \mathbb{Q}^*$ where $...

**21**

votes

**0**answers

836 views

### Is A276175 integer-only?

The terms of the sequence A276123, defined by $a_0=a_1=a_2=1$ and $$a_n=\dfrac{(a_{n-1}+1)(a_{n-2}+1)}{a_{n-3}}\;,$$ are all integers (it's easy to prove that for all $n\geq2$, $a_n=\frac{9-3(-1)^n}{2}...

**21**

votes

**0**answers

523 views

### Bounding failures of the integral Hodge and Tate conjectures

It is well know that the integral versions of the Hodge and Tate conjectures can fail. I once heard an off hand comment however that they should only fail by a "bounded amount". My question is what ...

**21**

votes

**0**answers

1k views

### Most “natural” proof of the existence of Hilbert class fields

Assume that you have proved the two inequalities of class field theory, and that you want to show that the Hilbert class field, i.e., the maximal unramified abelian extension, of a number field $K$ ...

**21**

votes

**0**answers

2k views

### Trigonometry related to Rogers--Ramanujan identities

For integers $n\ge2$ and $k\ge2$, fix the notation
$$
[m]=\sin\frac{\pi m}{nk+1} \quad\text{and}\quad
[m]!=[1][2]\dots[m], \qquad m\in\mathbb Z_{>0}.
$$
Consider the following trigonometric numbers:...

**20**

votes

**0**answers

858 views

### Could unramified Galois groups satisfy a version of property tau?

This is an experiment: there is a question I want to mention in an article I'm writing, and I am not sure it's a sensible question, so I will ask it here first, in the hopes that if it's insensible ...

**19**

votes

**0**answers

420 views

### Is every positive integer the rank of an elliptic curve over some number field?

For every positive integer $n$, is there some number field $K$ and elliptic curve $E/K$ such that $E(K)$ has rank $n$?
It's easy to show that the set of such $n$ is unbounded. But can one show that ...

**19**

votes

**0**answers

340 views

### Rationality of sum of reciprocals of irreducible polynomial

(Sorry for my poor english..)
I have a question in number theory. (Just my curiosity)
Let $f(z)\in \mathbb{Z}[x]$ be an irreducible polynomial with degree is larger than or equal to 2. Then is the ...

**19**

votes

**0**answers

758 views

### Finiteness of etale cohomology for arithmetic schemes

By an arithmetic scheme I mean a finite type flat regular integral scheme over $\mathrm{Spec} \, \mathbb{Z}$.
Let $X$ be an arithmetic scheme. Then is $H_{et}^2(X,\mathbb{Z}/n\mathbb{Z})$ finite ...

**19**

votes

**0**answers

907 views

### Can a number be palindromic in more than 3 consecutive number bases?

$2017:$ Was initially asked on MSE - but wasn't solved or updated there since.
Update $2019$: I've returned to this problem, made some progress and updated the post here. (I've basically rewritten ...

**19**

votes

**0**answers

306 views

### “quantum” symmetric plane partitions beget alternating sign matrices?

The "quantum" version qTSPP of the number of totally symmetric plane partitions, contained in the cube $[0,n]^3$, is enumerated by
$$f_n(q):=\prod_{j=1}^n\prod_{k=1}^j\prod_{\ell=1}^k\frac{1-q^{j+k+\...

**19**

votes

**0**answers

450 views

### Checking Mertens and the like in less than linear time or less than $\sqrt{x}$ space

Say you want to check that $|\sum_{n\leq x} \mu(n)|\leq \sqrt{x}$ for all
$x\leq X$. (I am actually interested in checking that $\sum_{n\leq x} \mu(n)/n|\leq c/\sqrt{x}$, where $c$ is a constant, and ...