# Tagged Questions

**53**

votes

**0**answers

3k views

### The topology of Arithmetic Progressions of primes

The primary motivation for this question is the following: I would like to extract some topological statistics which capture how arithmetic progressions of prime numbers "fit together" in a manner ...

**50**

votes

**0**answers

4k 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 ...

**39**

votes

**0**answers

2k 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 ...

**36**

votes

**0**answers

1k 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 ...

**36**

votes

**0**answers

1k 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 ...

**35**

votes

**0**answers

2k views

### How to prove this polynomial always has integer values at all integers?

Let $m$ be any positive integer.
$$
P_m(x)=\sum_{i=0}^{m}\sum_{j=0}^{m}{x+j\choose j}{x-1\choose j}{j\choose i}{m\choose i}{i\choose m-j}\frac{3}{(2i-1)(2j+1)(2m-2i-1)}.
$$
Question: $P_m(x)$ always ...

**35**

votes

**0**answers

773 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,
$$
\# ...

**28**

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}, ...

**27**

votes

**0**answers

801 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 ...

**26**

votes

**0**answers

2k 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 < ...

**24**

votes

**0**answers

825 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) = ...

**23**

votes

**0**answers

1k views

### Ramanujan's $\tau(n)$ and continued fractions

In D.H. Lehmer's paper "Ramanujan's function $\tau(n)$, (Duke J. Math v. 10 1943, pp. 483-492), Lehmer states the Ramanujan conjecture $|\tau( p )|< 2p^{11/2}$, so that $p^{-11/2}\tau( p ...

**23**

votes

**0**answers

1k views

### Name of amateur who gave a new proof of the Ramanujan-Nagell theorem?

In an article by George Johnson in the New York Times back in 1999, it says that an amateur mathematician from India once sent Ian Stewart a proof of the Ramanujan-Nagell theorem that the Diophantine ...

**22**

votes

**0**answers

668 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 ...

**22**

votes

**0**answers

417 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 ...

**21**

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 ...

**21**

votes

**0**answers

931 views

### When does a modular form satisfy a differential equation with rational coefficients?

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least locally), and ...

**20**

votes

**0**answers

1k 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 ...

**19**

votes

**0**answers

505 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 ...

**19**

votes

**0**answers

576 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 ...

**19**

votes

**0**answers

706 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 ...

**19**

votes

**0**answers

407 views

### probability of zero subset sum

Almost 17 years ago, I asked the following question on USENET, motivated by a method in numerology (I kid you not).
Pick integers $n \ge 2$, $k \ge 1$. Toss $n$ $k$-sided dice. The sides of each die ...

**19**

votes

**0**answers

1k 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 ...

**18**

votes

**0**answers

322 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 Nekrasov-Okounkov ...

**18**

votes

**0**answers

547 views

### function field analogy and global/absolute geometry

The "function field analogy" seems to be a topic that is considerably bigger than any one existing writeup conveys. There are several old question on MO and and MathSE that ask for details. One of the ...

**18**

votes

**0**answers

325 views

### Are there any integers which can't be written as a sum of two fourth powers minus a cube?

To be precise, I am asking:
Does there exist an integer $k$ such that there do not exist (possibly negative) integers $x,y,z$ satisfying $x^4+y^4=z^3+k$?
Heuristically the answer must be yes, in ...

**18**

votes

**0**answers

358 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 ...

**18**

votes

**0**answers

604 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 ...

**18**

votes

**0**answers

761 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$ ...

**17**

votes

**0**answers

734 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 ...

**17**

votes

**0**answers

493 views

### Erdos-Kac for squarefree numbers

In its usual form, the Erdos-Kac Theorem states that if $f(n) : \mathbb{N} \rightarrow \mathbb{R}$ is a strongly additive function with $|f(p)| \le 1$ for all primes $p$, then
$$\frac{|\{n \le x : ...

**17**

votes

**0**answers

755 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 ...

**16**

votes

**0**answers

468 views

### Does $\binom{2n}{n} \equiv 2 \pmod p$ ever hold?

Well, the title does not tell the whole story; the complete question is:
Are there any primes of the form $p=2n(n-1)+1$, with integer $n\ge 1$, such that
$$ \binom{2n}{n} \equiv 2\pmod p ? $$
...

**16**

votes

**0**answers

345 views

### $\zeta(n)$ as a mixed Tate motive

I am trying to understand why there exists, for each $n \geq 2$, a mixed Tate motive $M$ over $\mathbb{Q}$ such that
$M \in Ext^1_{MT(\mathbb{Q})}(\mathbb{Q}(0), \mathbb{Q}(n))$
and $\zeta(n)$, ...

**16**

votes

**0**answers

776 views

### Does this variant of a theorem of Hasse (really due to Gauss) have an “elementary” proof?

BACKGROUND
Here are 3 theorems of varying difficulty. Let $M$ be the $Z/2$ subspace of $Z/2[[x]]$ spanned by $f^k$, with the $k>0$ and odd, and $f=x+x^9+x^{25}+x^{49}+\cdots$. For $g$ in $M$, let ...

**16**

votes

**0**answers

633 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 ...

**16**

votes

**0**answers

752 views

### Deciding whether a given power series is modular or not

The degree 3 modular equation for the Jacobi modular invariant
$$
\lambda(q)=\biggl(\frac{\sum_{n\in\mathbb Z}q^{(n+1/2)^2}}{\sum_{n\in\mathbb Z}q^{n^2}}\biggr)^4
$$
is given by
$$
...

**16**

votes

**0**answers

611 views

### Can one compare integral structures on de Rham and crystalline cohomology?

Suppose $\mathfrak{X}$ is a smooth projective scheme of finite type over $\mathbb{Z}_p$, with generic fibre $X$. Then there are comparison theorems relating de Rham and crystalline cohomology,
...

**16**

votes

**0**answers

733 views

### Computation of low weight Siegel modular forms

We have these huge tables of elliptic curves, which were generated by computing modular forms of weight $2$ and level $\Gamma_0(N)$ as N increased.
For abelian surfaces over $\mathbb{Q}$ we have very ...

**16**

votes

**0**answers

580 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 ...

**15**

votes

**0**answers

458 views

### The lonely molecule

Suppose $n$ air molecules (infinitesimal points) are bouncing around in
a unit $d$-dimensional cube, with perfectly elastic wall collisions.
Let $k=n^{\frac{1}{d}}$.
For example, in 3D, $d=3$, with ...

**15**

votes

**0**answers

371 views

### Spencer's “six standard deviations” theorem - better constants?

This question is about Joel Spencer's famous "six standard deviations" theorem. The theorem says that when
$$
L_i(x_1,\dots,x_n) = a_{i1} x_1 + \dots + a_{in} x_n, \quad 1 \leq i \leq n,
$$
are $n$ ...

**15**

votes

**0**answers

983 views

### Polynomial bijection from ZxZ to Z?

It is known that the polynomial $f(n,m)=\frac{1}{2}(n+m)(n+m+1)+m$ defines bijection
$\mathbb{N}\times\mathbb{N}\to\mathbb{N}$ (Put pairs of $\mathbb{N}$ into the semi-infinite matrix and count them ...

**15**

votes

**0**answers

417 views

### Division fields of abelian varieties over function fields

Let $k$ be a finitely generated field (for example a finite field or a number field) and $K/k$ a finitely generated regular extension with $trdeg(K/k)=1$. Let $A/K$ be a principally polarized abelian ...

**15**

votes

**0**answers

1k views

### sums of digits of powers of integers

It is known (Senge and Straus, 1971, see also C.L.Stewart, 1980) that for every natural $a$, not a power of 10, and every natural $s$, there are only finitely many $k$ such that the sum of decimal ...

**15**

votes

**0**answers

406 views

### Cohomological characterization of CM curves

In his 1976 classical Annals paper on $p$-adic interpolation, N. Katz uses the fact that if $E_{/K}$ is an elliptic curve with complex multiplications in the quadratic field $F$, up to a suitable ...

**14**

votes

**0**answers

269 views

### Need explicit formula for certain “$q$-numbers” involving gcd's

The question is motivated by yet another possible approach to a combinatorial problem formulated previously in "Special" meanders. I'm not giving details of the connection as I believe the ...

**14**

votes

**0**answers

265 views

### Is the absolute Galois group of the rationals Hopfian?

Is every continuous epimorphism from the absolute Galois group of $\mathbb{Q}$ to itself injective?

**14**

votes

**0**answers

418 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 ...

**14**

votes

**0**answers

505 views

### Positive binary quadratic form plus univariate monic cubic (giving Hilbert class field)

We have the Lucas numbers, $$ L_1 = 1, \; L_2 = 3, \; L_3 =4, \; L_4 = 7, L_5 = 11, \; L_{n+2} = L_{n+1}+ L_n \; . $$
Question: is it the case that
$$ f(x,y,z) = 4 x^2 + 3 x y + 9 y^2 + z^3 + 3 z ...