synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
A smooth topos or smooth lined topos is the kind of topos studied in synthetic differential geometry, a category of generalized smooth spaces for which a notion of infinitesimal space exists.
It is defined to be a category of objects that behave like spaces, one of which — the line object — is equipped with the structure of a commutative algebra, such that for infinitesimal objects all morphisms are linear — i.e. such that the Kock-Lawvere axiom holds.
There is a standard definition and various straightforward variations.
For a lined topos there is the notion of an -algebra object in . For and any two -algebra objects, let denote the subobject of consisting of morphisms which are algebra homomorphisms. Let denote the algebra spectrum of in .
An -Weil algebra is an -algebra of the form , where is an -finite-dimensional nilpotent ideal.
A lined topos is a smooth topos if, for each -Weil algebras , the functor has a right adjoint and the canonical morphism
is an isomorphism in .
That is to say, each -Weil algebra in a lined topos is infinitesimal and satisfies the Kock-Lawvere axiom. The right adjoint of is known as the “amazing right adjoint”.
A smooth topos is called a well adapted model if there is a full and faithful functor
from the category Diff of smooth manifolds into it, that takes the real line to the line object .
In these well adapted models ordinary differential geometry is therefore faithfully embedded.
For a list of examples of well adapted models see
Notice that by far not all models are of this form, as the following examples show. On the contrary, the axioms of synthetic differential geometry may be regarded as providing a unified framework in particular for differential geometry of manifolds and algebraic geometry of algebraic spaces, schemes and other objects.
It is straightforward to slightly enhance the axioms of smooth toposes such as to incorporate the step from differential geometry to supergeometry, one just requires that algebra structure on the line object is further refined to that of a superalgebra. The result is called a super smooth topos. See there for a list of models of these.
A simple model of a smooth topos that may be regarded as a context inside which much of algebraic geometry takes place is the following:
Let be a field and let be the opposite category of the category of finitely presented - algebras. Then the presheaf category equipped with the line object (the algebra of polynomials over in one variable )
is a smooth topos. This is described in section 9.3 of
Notice that despite the name of that book, this model is not a well adapted model in that ordinary smooth manifolds do not embed full and faithfully into this topos.
Instead, interpreting the internal notion of manifold described in that book – called formal manifolds in the model produces something like formal schemes over .
Indeed, much of algebraic geometry over may be thought of as being concerned with this model for a smooth topos. A main difference is that in algebraic geometry attention is usually focused on particularly well behaved objects inside : those that satisfy a sheaf condition with respect to a Grothendieck topology on and among those moreover those that are locally isomorphic to a representable: these are the schemes or algebraic spaces over .
Probably the category of sheaves localization of with respect to one of the standard topologies (Zariski or etale) is still a smooth topos, so that this condition can be enforced by passing to a more restrictive model.
But since schemes alone will never form a topos, and smooth topos axiomatization of algebraic geometry will always contain more general – also more “pathological” – objects than schemes. It’s an example of an old dictum by Grothendieck that it is more useful to have a nicely behaved category that contains pathological objects than a badly-behaved category of only nice objects: the topos-general nonsense allows useful general constructions in which may in each individual case be checked for whether they land in the sub-category of schemes or algebraic spaces or not.
A similar comment of course applies to the “well-adapted models” mentioned above: into these ordinary manifolds only embed, they contain “smooth space”s much more general than manifolds (such as diffeological spaces) but also possibly “pathological” ones, from some perspective or other.
See also
Most of the examples above provided toposes into which a category of nicely behaved spaces, such as manifolds or schemes embeds full and faithfully.
But the inclusion functor will in general not preserve all limits and colimits that exist in .
For instance for the well-adopted models the full and faithful inclusion of Diff typically respects only pullbacks of manifolds along transversal map. This is because this is the case for the inclusion of Diff into the category of smooth loci and the Grothendieck topology for these models is typically subcanonical. See the discussion at smooth locus for more on this.
This means that universal constructions in a smooth topos may yield different results than in a smaller category of more nicely behaved spaces. However, it is noteworthy that in the above example of manifolds, one may argue that the ordinary pullback of manifolds along non- transversal maps is the wrong pullback in any case: it doesn’t behave well with the cohomology of manifolds. One motivation for derived geometry, in the case of manifolds specifically the motivation for considering derived smooth manifolds, is to pass from objects in a topos instead more generally to objects in an (∞,1)-topos of stack ∞-stacks.
Last revised on October 6, 2023 at 18:49:32. See the history of this page for a list of all contributions to it.