Intersection theory on non-archimedean analytic spaces

TL;DR

This paper develops intersection theory for non-archimedean analytic spaces, establishing key principles like the projection formula and GAGA, and introduces a category of finite correspondences for these spaces.

Contribution

It introduces a comprehensive intersection theory for non-archimedean analytic spaces and defines finite correspondences, advancing the mathematical framework in this area.

Findings

Established the projection formula in non-archimedean settings

Proved the GAGA principle for analytic spaces

Defined the category of finite correspondences

Abstract

We develop the intersection theory of non-archimedean analytic spaces and prove the projection formula and the GAGA principle. As an application, we naturally define the category of finite correspondences of analytic spaces.