Table of Contents
Fetching ...

Filtrations and asymptotic geometry of non-Archimedean norms on section rings

Rémi Reboulet

Abstract

This article is concerned with the metric study of a construction of Gérardin of the action of the boundary at infinity of the space of norms on a non-Archimedean vector space, and its generalisation to graded algebras. Namely, given (X,L) a polarised variety over an arbitrary non-Archimedean field, we show that there is a jointly d_1-contracting action of the space of filtrations of the section ring R(X,L) on the space of graded norms on R(X,L). This naturally yields non-Archimedean geodesic rays and infinite-dimensional flats in this setting, generalising previous work of the author and Witt Nyström. It is further shown that relative limit measures converge along geodesic rays, providing a result on the d_p-radial geometry of graded norms, analogous to a recent result of Finski in the Archimedean case.

Filtrations and asymptotic geometry of non-Archimedean norms on section rings

Abstract

This article is concerned with the metric study of a construction of Gérardin of the action of the boundary at infinity of the space of norms on a non-Archimedean vector space, and its generalisation to graded algebras. Namely, given (X,L) a polarised variety over an arbitrary non-Archimedean field, we show that there is a jointly d_1-contracting action of the space of filtrations of the section ring R(X,L) on the space of graded norms on R(X,L). This naturally yields non-Archimedean geodesic rays and infinite-dimensional flats in this setting, generalising previous work of the author and Witt Nyström. It is further shown that relative limit measures converge along geodesic rays, providing a result on the d_p-radial geometry of graded norms, analogous to a recent result of Finski in the Archimedean case.

Paper Structure

This paper contains 25 sections, 51 theorems, 162 equations.

Key Result

Lemma 1.1

Let $S\subset \mathcal{N}(V)$ be a subset, and assume that there exists a finite-valued function $f:V\to\mathbb{R}$ such that, for all $\left\|\cdot\right\|\in S$ and all $v\in V$, $\left\|v\right\|\leq f(v)$. Then is a norm in $\mathcal{N}(V)$.

Theorems & Definitions (100)

  • Lemma 1.1
  • Lemma 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Definition 1.5
  • Proposition 1.6: boueri
  • Lemma 1.7
  • proof
  • Lemma 1.8
  • Definition 1.9
  • ...and 90 more