Here's what I have in mind: for $k=\Bbb C$ algebraic equations with $k$-coefficients lead to a $k$-variety in $\Bbb A\_k^n$, and that variety inherits the structure of $k$-manifold.


However, the above is not necessarily true when $k=\Bbb H$ is the skew-field of quaternions: the variety doesn't have to have $dim\_{\Bbb R}$ divisible by $dim\_{\Bbb R}\Bbb H$, let alone a quaternionic structure.


Therefore the question: what properties of (ring, skew-field, ...) $k$ cause a $\Bbb A\_k$-variety have a natural manifold structure associate with $k$, whatever it is? 


EDIT: based on the comment below I'd like to emphasize that I'm interested in the properties of $k$ that make the phrase "$k$-variety is a $k$-manifold" **almost** work, modulo singularities and such, or work for "nice enough", i.e. regular varieties. 


Here's an example of a hunch: it's possible that the breakdown of "$k$-variety is a $k$-manifold" in the case of quaternions is due to the fact that $\Bbb H$ has "too many" automorphisms. Something along these lines: $k$ needs to have *this* and *that* property for its structure to be inherited from $\Bbb A\_k$ to $T\_p(V)$ for **most** points $p$ on a generic variety $V$.



What turns $k$-variety into $k$-manifold?
About quaternionic analysis: 


The naive approach to manifolds needs the implicit function theorem.
If you try to mimic complex analysis and define a mapping between quaternionic right vector spaces as quaternionically differentiable if the real derivative is right quaternonically linear, then you end up with quaternionic polynomials
of order $\le 1$ (where the coefficients act by left multiplication). 
This was proved by Fueter around 1900, if I remember correctly.
So the resulting theory is extremely rigid. 


This is the reason for the development of hypercomplex analysis 
(which generalizes harmonic functions to the quaternionic setting).
Also, from another point of view, for the definition of quaternionic structures on real manifolds. 


