Supergeometry and Arithmetic Geometry
arXiv:hep-th/0605119 · doi:10.1016/j.nuclphysb.2006.08.024
Abstract
We define a superspace over a ring as a functor on a subcategory of the category of supercommutative -algebras. As an application the notion of a -adic superspace is introduced and used to give a transparent construction of the Frobenius map on -adic cohomology of a smooth projective variety over the ring of -adic integers.
14 pages, expanded introduction, more details