superalgebra and (synthetic ) supergeometry
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
(shape modality $\dashv$ flat modality $\dashv$ sharp modality)
$(ʃ \dashv \flat \dashv \sharp )$
dR-shape modality$\dashv$ dR-flat modality
$ʃ_{dR} \dashv \flat_{dR}$
(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)
$(\Re \dashv \Im \dashv \&)$
fermionic modality$\dashv$ bosonic modality $\dashv$ rheonomy modality
$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$
Models
Models for Smooth Infinitesimal Analysis
smooth algebra ($C^\infty$-ring)
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
The notion of super smooth topos is to that of smooth topos as supergeometry is to differential geometry.
The objects of a super smooth topos are generalizations of smooth supermanifolds that admit besides the usual odd infinitesimals of supergeometry also the even infinitesimal objects of synthetic differential geometry.
The study of super smooth toposes is the content of synthetic differential supergeometry. (See there for references and details for the moment.)
A super smooth topos $(\mathcal{T}, R)$ is a smooth topos together with the refinement of the $k$-algebra structure on $R$ to that of a $k$-superalgebra structure.
So a super smooth topos is a topos $\mathcal{T}$ equipped with a superalgebra object $(R, +, \cdot)$ with even part $R_e$ and odd part $R_o$ etc.
An algebra spectrum object is now an internal object of superalgebra homomorphisms and the condition is that for every super Weil algebra $W = R \oplus m$ we have that $Spec(W) = R SAlg_{\mathcal{T}}(W,R)$ is an infinitesimal object and that $W \to R^{Spec W}$ is an isomorphism.
This means that essentially all the standard general theory of smooth toposes goes through literally for super smooth toposes, too. The main difference is that a super smooth topos contains more types of infinitesimal objects.
There is for instance still the standard even infinitesimal interval
but there is now also the odd infinitesimal interval
Notice that in the graded commutative algebra $A$ every odd element $\theta$ automatically squares to 0.
Urs Schreiber: I’d think that the cominatorial/simplicial definition of differential forms in synthetic differential geometry applied verbatim in a super smooth topos automatically yields the right/expected notion of differential forms in supergeometry.
Models for super smooth toposes are constructed in
and
Last revised on October 15, 2009 at 10:04:53. See the history of this page for a list of all contributions to it.