The paper is about objects called eigenvarieties, which are geometric spaces that organize collections of special mathematical functions called p-adic modular forms. These functions generalize classical modular forms, which are central tools in number theory with deep connections to elliptic curves, Galois representations, and the Langlands program. The specific setting here involves Hilbert modular forms, which are a generalization of ordinary modular forms to situations involving totally real number fields (number systems obtained by adjoining square roots of positive numbers to the rationals). The eigenvariety studied here was built by Andreatta, Iovita, and Pilloni, and the paper investigates a key geometric property of this space.
The property in question is called properness, a technical condition borrowed from algebraic geometry that roughly means the space has no unexpected "holes" or "missing boundary points." More concretely, properness of a map between geometric spaces means that sequences of points cannot escape to infinity in one space without their images also escaping to infinity in the other. For eigenvarieties, proving properness of the natural map to a parameter space called weight space is important because it ensures that families of modular forms behave well and cannot mysteriously disappear as parameters vary. This kind of result has implications for understanding how different modular forms relate to each other and for studying the behavior of Galois representations, which are fundamental objects encoding arithmetic symmetry.
The authors prove this properness result for the Hilbert cuspidal eigenvariety under a mild technical condition involving objects called Sen polynomials, which are invariants attached to Galois representations that measure how these representations interact with p-adic analysis. Their approach builds on a framework developed by Diao and Liu using p-adic Hodge theory, a powerful toolkit for studying number-theoretic objects through a p-adic lens. As a concrete consequence, the eigenvariety has no missing points except possibly at a specific exceptional set of parameter values called non-positive integral Sen weights, giving a nearly complete picture of the global geometry of this space.