# Unanswered Questions

**345**

votes

**2**answers

26k views

### Polynomial bijection from $\mathbb Q\times\mathbb Q$ to $\mathbb Q$?

Is there any polynomial $f(x,y)\in{\mathbb Q}[x,y]{}\ $ such that $f:\mathbb{Q}\times\mathbb{Q} \rightarrow\mathbb{Q}$ is a bijection?

**127**

votes

**0**answers

11k views

### Ultrafilters and automorphisms of the complex field

It is well-known that it is consistent with $ZF$ that the only automorphisms of the complex field $\mathbb{C}$ are the identity map and complex conjugation. For example, we have that ...

**75**

votes

**0**answers

6k views

### Dropping three bodies

Consider the usual three-body problem with Newtonian
$1/r^2$ force between masses. Let the three masses start off at rest,
and not collinear. Then they will become collinear a finite time ...

**57**

votes

**0**answers

3k views

### Volumes of Sets of Constant Width in High Dimensions

Background
The n dimensional Euclidean ball of radius 1/2 has width 1 in every direction. Namely, when you consider a pair of parallel tangent hyperplanes in any direction the distance between them ...

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

**52**

votes

**0**answers

2k views

### 2, 3, and 4 (a possible fixed point result ?)

The question below is related to the classical Browder-Goehde-Kirk fixed point theorem.
Let $K$ be the closed unit ball of $\ell^{2}$, and let $T:K\rightarrow K$
be a mapping such that $\Vert ...

**51**

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

**45**

votes

**0**answers

2k views

### A naive question about the double dual of a vector space

Let $K$ be a field. Are there non-scalar endomorphisms of the endofunctor
$$
V\mapsto V^{**}/V
$$
of the category of $K$-vector spaces?
I asked a related question on Mathematics Stackexchange, but ...

**44**

votes

**0**answers

3k views

### What is an étale theta function?

Let me start out by urging you to take seriously that whatever I write about the papers surrounding IUTT really are questions. If you would like to use it as a guide to the mathematics in any way, ...

**44**

votes

**0**answers

3k views

### A short proof for $\dim(R[T])=\dim(R)+1$

For a commutative ring $R$ we clearly have $\dim(R[T]) \geq \dim(R)+1$. If $R$ is noetherian, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...

**40**

votes

**1**answer

992 views

### Transitivity on $\mathbb{N}_0$ — a 42 problem

Let $r(m)$ denote the residue class $r+m\mathbb{Z}$, where $0 \leq r < m$.
Given disjoint residue classes $r_1(m_1)$ and $r_2(m_2)$, let the class
transposition $\tau_{r_1(m_1),r_2(m_2)}$ be the ...

**40**

votes

**1**answer

792 views

### Rearrangements of a power series at the boundary of convergence

Take some power series $f(z) = \sum a_n z^n$ with a finite non-zero radius of convergence. I can rearrange the terms of the series, say, to get a different infinite series
$$f_{\sigma}(z) = ...

**40**

votes

**0**answers

1k views

### Intersecting Family of Triangulations

Let $\cal T_n$ be the family of all triangulations on an $n$-gon using $(n-3)$ non-intersecting diagonals. The number of triangulations in $\cal T_n$ is $C_{n-2}$ the $(n-2)$th Catalan number. Let ...

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

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