A. Neumaier said:
Well, I'd like to have a mathematically precise specification.
A detailed introduction is here:
geometry of physics -- smooth sets . The quick way to state the definition is to say that a smooth set is a sheaf on the site whose objects are Cartesian spaces, whose morphisms are smooth functions between them, and whoe Grothendieck pre-topology is that coming from good open covers. But the introduction at
geometry of physics -- smooth sets spells this out in elementary terms, not assuming any sheaf-theoretic background (or any other background except the concept of smooth functions between Cartesian spaces).
A. Neumaier said:
Can I replace Cartesian space by ##R^n##?
Here "Cartesian space" means precisely : ##\mathbb{R}^n##s.
A. Neumaier said:
Can one use fields like the p-adic numbers in place of the reals? (Some people are interested in p-adic physics!)
The analous definition work for any choice of test spaces with a concept of covering defined. If you take something like affinoid domains as in
rigid analytic geometry you get somethng that deserves to be called "p-adic analytic sets" or the like. More relevant for physics is for instance the Choice of Stein spaces, in order to get "complex analytic sets". If you take affine schemes, you get ordinary algebraic spaces (among which ordinary schemes).
A. Neumaier said:
Do the smooth functions have to be defined on all of ##R^n## or only on open subsets? What is the precise compatibility condition?
One may equivalently take the site of open subsets of Cartesian spaces. Some authors do that. It does't change the resulting concept, though. The compatibility condition is gluing: The choice of what counts as a smooth function into your smooth set must be so that if you cover one Cartesian space by a set of other Cartesian spaces, then the smooth functions out of the former must be uniquely fixed by their restriction to those patches of the cover.
A. Neumaier said:
I'd also like to be able to decide on the basis of the information provided questions such as whether any algebraic variety is a smooth set in an appropriate sense, or what restrictions apply.
There is once you decide on what should count as a smooth function from a Cartesian space to the algebraic variety. In general there will not be a useful such choice, but if your algebraic variety happens to be complex-analytic, then of course there is, and you recover the underlying smooth manifold.
A. Neumaier said:
But one can fist define what a group is, and then define what a homomorphism between groups is, and one does not the second concept to understand the first and to play with examples.
Same for smooth sets. To recall, a smooth set is defined to be a choice, for each ##n \in \mathbb{R}^n## of a set, regarded as the set of smooth functions from ##\mathbb{R}^n## to the smooth set (called "plots"), such that this choice is compatible with smooth functions ##\mathbb{R}^{n_1} \to \mathbb{R}^{n_2}## and respects gluing, as above.
That's the definition. Next, a homomorphism between smooth sets is a map that takes these plots to each other, again respectiing the evident compositions.