Quotients Of Admissible Formal Schemes and Adic Spaces by Finite Groups

TL;DR

This paper provides a comprehensive study of how finite groups act on admissible formal schemes and adic spaces, focusing on the construction and properties of their quotients in a locally topologically finite type setting.

Contribution

It offers a self-contained framework for understanding quotients of admissible formal schemes and adic spaces by finite groups, expanding the theoretical foundation in this area.

Findings

Established conditions for the existence of quotients

Provided explicit constructions of quotients in the formal scheme setting

Analyzed properties of quotients in the adic space context

Abstract

In this paper we give a self-contained treatment of finite group quotients of admissible (formal) schemes and adic spaces that are locally topologically finite type over a locally strongly noetherian adic space.