# Unanswered Questions

**139**

votes

**0**answers

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

**86**

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

**67**

votes

**0**answers

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

**63**

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

**60**

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

**55**

votes

**0**answers

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

**45**

votes

**0**answers

549 views

### Topological cobordisms between smooth manifolds

Wall has calculated enough about the cobordism ring of oriented smooth manifolds that we know that two oriented smooth manifolds are oriented cobordant if and only if they have the same ...

**44**

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

**43**

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

**42**

votes

**0**answers

2k views

### Normalizers in symmetric groups

Question: Let $G$ be a finite group. Is it true that there is a subgroup $U$ inside some symmetric group $S_n$, such that $N(U)/U$ is isomorphic to $G$? Here $N(U)$ is the normalizer of $U$ in $S_n$.
...

**41**

votes

**0**answers

646 views

### Vector bundle $L$ admits connection if and only if degree of every direct summand of $L$ divisible by $\text{char}\,k$, intuition

Consider the following theorem of Atiyah.
Let $X$ be a connected smooth projective curve over an algebraically closed field $k$. Then a vector bundle $L$ on $X$ admits a connection if and only if ...

**41**

votes

**0**answers

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

**41**

votes

**1**answer

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

**40**

votes

**0**answers

585 views

### Does $\Bbb{CP}^{2n} \# \Bbb{CP}^{2n}$ ever support an almost complex structure?

This question has been crossposted from Math.SE in the hopes that it reaches a larger audience here.
$\Bbb{CP}^{2n+1} \# \Bbb{CP}^{2n+1}$ supports a complex structure: $\Bbb{CP}^{2n+1}$ has an ...

**40**

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