Both schemes and manifolds are local ringed spaces which are locally isomorphic to spaces in some full subcategory of local ringed spaces (local models). Now, there is the inherent notion of the Zariski tangent space in a point (dual of maximal ideal modulo its square) which is the "right" definition for schemes and for C^\infty http://latex.mathoverflow.net/png?C%5E%5Cinfty-manifolds (over \mathbb{R} http://latex.mathoverflow.net/png?%5Cmathbb%7BR%7D and \mathbb{C} http://latex.mathoverflow.net/png?%5Cmathbb%7BC%7D). But for C^r http://latex.mathoverflow.net/png?C%5Er-manifolds over \mathbb{R} http://latex.mathoverflow.net/png?%5Cmathbb%7BR%7D with r<\infty http://latex.mathoverflow.net/png?r%3C%5Cinfty this is not the correct definition. Here one has to take equivalence classes of C^r http://latex.mathoverflow.net/png?C%5Er-curves through the point. Isn't there some general definition of tangent spaces which is always the right one?

I am also not completely sure what "right" means. So far, I think that one wants the dimension of the tangent space to be equal to the dimension of the point. This is for example the problem with the Zariski tangent spaces for C^r http://latex.mathoverflow.net/png?C%5Er-manifolds. Can this failure be explained geometrically?

Both schemes and manifolds are local ringed spaces which are locally isomorphic to spaces in some full subcategory of local ringed spaces (local models). Now, there is the inherent notion of the Zariski tangent space in a point (dual of maximal ideal modulo its square) which is the "right" definition for schemes and for $C^\infty$-manifolds (over $\mathbb{R}$ and $\mathbb{C}$). But for $C^r$-manifolds over $\mathbb{R}$ with $r<\infty$ this is not the correct definition. Here one has to take equivalence classes of $C^r$-curves through the point. Isn't there some general definition of tangent spaces which is always the right one?

I am also not completely sure what "right" means. So far, I think that one wants the dimension of the tangent space to be equal to the dimension of the point. This is for example the problem with the Zariski tangent spaces for $C^r$-manifolds. Can this failure be explained geometrically?

Both schemes and manifolds are local ringed spaces which are locally isomorphic to spaces in some full subcategory of local ringed spaces (local models). Now, there is the inherent notion of the Zariski tangent space in a point (maximal ideal modulo its square) which is the "right" definition for schemes and for C^\infty http://latex.mathoverflow.net/png?C%5E%5Cinfty-manifolds (over \mathbb{R} http://latex.mathoverflow.net/png?%5Cmathbb%7BR%7D and \mathbb{C} http://latex.mathoverflow.net/png?%5Cmathbb%7BC%7D). But for C^r http://latex.mathoverflow.net/png?C%5Er-manifolds over \mathbb{R} http://latex.mathoverflow.net/png?%5Cmathbb%7BR%7D with r<\infty http://latex.mathoverflow.net/png?r%3C%5Cinfty this is not the correct definition. Here one has to take equivalence classes of C^r http://latex.mathoverflow.net/png?C%5Er-curves through the point. Isn't there some general definition of tangent spaces which is always the right one?

I am also not completely sure what "right" means. So far, I think that one wants the dimension of the tangent space to be equal to the dimension of the point. This is for example the problem with the Zariski tangent spaces for C^r http://latex.mathoverflow.net/png?C%5Er-manifolds. Can this failure be explained geometrically?

Both schemes and manifolds are local ringed spaces which are locally isomorphic to spaces in some full subcategory of local ringed spaces (local models). Now, there is the inherent notion of the Zariski tangent space in a point (dual of maximal ideal modulo its square) which is the "right" definition for schemes and for C^\infty http://latex.mathoverflow.net/png?C%5E%5Cinfty-manifolds (over \mathbb{R} http://latex.mathoverflow.net/png?%5Cmathbb%7BR%7D and \mathbb{C} http://latex.mathoverflow.net/png?%5Cmathbb%7BC%7D). But for C^r http://latex.mathoverflow.net/png?C%5Er-manifolds over \mathbb{R} http://latex.mathoverflow.net/png?%5Cmathbb%7BR%7D with r<\infty http://latex.mathoverflow.net/png?r%3C%5Cinfty this is not the correct definition. Here one has to take equivalence classes of C^r http://latex.mathoverflow.net/png?C%5Er-curves through the point. Isn't there some general definition of tangent spaces which is always the right one?

I am also not completely sure what "right" means. So far, I think that one wants the dimension of the tangent space to be equal to the dimension of the point. This is for example the problem with the Zariski tangent spaces for C^r http://latex.mathoverflow.net/png?C%5Er-manifolds. Can this failure be explained geometrically?