I have a specific question in mind, but it requires some explanation and context before it can be formally stated. To summarize it in a sentence, this is it:


**Are every two rational manifolds of the same dimension diffeomorphic?** 


**Explanation:**


It is known that $\mathbb{Q}^n\cong \mathbb{Q}$ (homeomorphic) for every $n\in \mathbb{N}$. It is a corollary to Sierpiński's theorem which states that every countable metric space without isolated points is homeomorphic to $\mathbb{Q}$. (A proof can be found [here](http://at.yorku.ca/p/a/c/a/25.pdf) and a discussion [here](https://mathoverflow.net/questions/26001/are-the-rationals-homeomorphic-to-any-power-of-the-rationals)). 


This means that we cannot distinguish topologically between an $n$-rational manifold and an $m$-rational manifold. (Where we define an $n$-rational manifold in the obvious way: A topological space which is locally homeomorphic to $\mathbb{Q}^n$).


However, when we look at two different manifolds from the perspective of **differential topology** we **can** distinguish between them: 


Let $f:\mathbb{Q}^n \longrightarrow \mathbb{Q}^m$. We can define what it means for such $f$ to be differentiable: (The differential will be a linear transformation $\mathbb{Q}^n \longrightarrow \mathbb{Q}^m$).


The definition (of differentiability) over $\mathbb{R}$ uses the fact it is an **ordered** field, and the norm structure on $\mathbb{R}^n$.
 We do not have the standard euclidean norm on $\mathbb{Q}^n$ (we cannot take square roots in $\mathbb{Q}$, and normed spaces are usually defined to be vector spaces over $\mathbb{R}$ or $\mathbb{C}$) but we can use the "rational" $1$-norm instead. 


This is only one option which works "intrinsically", i.e does not require using numbers outside $\mathbb{Q}$. We can use other alternatives of course or allow ourselves to go outside of the rational world and measure distances using real numbers. 


Now let us say that two rational manifolds $M,N$ are **diffeomorphic** if there is a differentiable mapping $f:M \longrightarrow N$ whose inverse is also differentiable. (We can of course require stronger conditions like twice differentiabililty etc..).


Note that the chain rule holds (its proof uses only the ordered field structure, not any special propery of $\mathbb{R}$).


Its clear that if $f: \mathbb{Q}^n \longrightarrow \mathbb{Q}^m$ is a diffeomorphism, its differential will be a linear isomorphism (via the chain rule). But this is a contradiction if $n\neq m$.


This shows that the notion of rational-differential-manifold is not trivial (unlike the topological case), and so brings up the following natural questions: 


**Are every two rational manifolds of the same dimension diffeomorphic?** 


I guess there are many more questions one could ask. I think it is interesting to find out how much differential topology\geometry can we do over other ordered fields which are not $\mathbb{R}$ ?


(In some sense not much. For example the [inverse function theorem does not hold over $\mathbb{Q}$](https://math.stackexchange.com/a/1291777/104576)).



Differential Topology over $\mathbb{Q}$
Claim : any rational manifold is a disjoint union of rational ball.


let's prove it for a countable rational manifold:


assume the point of $X$ are numbered $x\_1,\dots,x\_n...$. 


Pick a neighbourhood of $x\_1$ that is diffeomorphic to an open ball in $\mathbb{Q}^n$ and then pick a ball arround $x\_i$ in that neighbourhood that is both open and closed (and small enough so that it is also closed in $X$) for example, pick a ball whose radius is not a square root of a rational number. Call it $F\_1$.


Because $F$ is open and closed, you can easily check that $X$ is diffeomorphic to $(X-F) \cup F$. Do the same in $X - F$ for the next $x\_i$ which is not in $F\_1$, you get a clopen ball $F\_2$ and keep going... 


At then end you obtain a partition of $X$ in clopen ball $F\_1, \dots F\_n \dots...$ and the canonical map between $X$ and the disjoint union of the $F\_i$ is a diffeomorphism. (because it is on all of the $F\_i$ which form an open cover of $X$).


To break this argument and allow to recover some behavior from real differential geometry what you need is a uniform structure (or a Riemanian/metric structure for example) on your differential manifold compatible with the manifold structure which will force the existence of a "real completion". Or (almost the same) a notion of admissible cover similar to what we have in analytic rigid geometry.


EDIT : One can improve the argument to show that any to countable manifold of the same positive dimension are diffeomorphic: it suffice to choose all the clopen ball we construct to have comensurable radius in $\mathbb{Q}^n$ (for example raidus $q \pi$) this way any two balls we obtain will be diffeomorphic. If one of the manifold is formed of only a finite number of balls one can always split one of the ball in a infinite number of smaller ball using the same process with ball of radius $R/4^k$ inside the initial ball: a finite family of such balls cannot cover the initial ball by a volume argument.


