p-adic formal schemes

Last modified date: <%+ tp.file.last_modified_date() %>



p-adic formal schemes

A \(p{\hbox{-}}\)adic formal scheme is a formal scheme whose affine opens are given by formal spectra of \(p{\hbox{-}}\)adically complete rings equipped with the \(p{\hbox{-}}\)adic topology.

#todo/untagged #todo/add-references #todo/create-links