## 1.2 Variants of normed groups

Normed groups are well-studied objects. In this text it will be helpful to work with the more general notion of *semi-normed group*. This drops the separation axiom \(\| x\| = 0 \iff x = 0\) but is otherwise the same as a normed group.

The main difference is that this includes “uglier” objects, but creates a “nicer” category: semi-normed groups need not be Hausdorff, but quotients by arbitrary (possibly non-closed) subgroups are naturally semi-normed groups.

Nevertheless, there is the occasional use for the more restrictive notion of normed group, when we come to polyhedral lattices below (see Section 1.6).

In this text, a morphism of (semi)-normed groups will always be bouned. If the morphism is supposed to be norm-nonincreasing, this will be mentioned explicitly.

Let \(r {\gt} 0\) be a real number. An *\(r\)-normed \(\mathbb Z[T^{\pm 1}]\)-module* is a semi-normed group \(V\) endowed with an automorphism \(T \colon V \to V\) such that for all \(v \in V\) we have \(\| T(v)\| = r\| v\| \).

The remainder of this subsection sets up some algebraic variants of semi-normed groups.

A *pseudo-normed group* is an abelian group \((M,+)\), together with an increasing filtration \(M_c \subseteq M\) of subsets \(M_c\) indexed by \(\mathbb R_{\ge 0}\), such that each \(M_c\) contains \(0\), is closed under negation, and \(M_{c_1} + M_{c_2} \subseteq M_{c_1 + c_2}\). An example would be \(M=\mathbb {R}\) or \(M=\mathbb {Q}_p\) with \(M_c :=\{ x\, :\, |x|\leq c\} \).

A pseudo-normed group \(M\) is *exhaustive* if \(\varinjlim _c M_c = M\).

All pseudo-normed groups that we consider will have a topology on the filtration sets \(M_c\). The most general variant is the following notion.

A pseudo-normed group \(M\) is *CH-filtered* if each of the sets \(M_c\) is endowed with a topological space structure making it a compact Hausdorff space, such that following maps are all continuous:

the inclusion \(M_{c_1} \to M_{c_2}\) (for \(c_1 \le c_2\));

the negation \(M_c \to M_c\);

the addition \(M_{c_1} \times M_{c_2} \to M_{c_1 + c_2}\).

The pseudo-normed group \(M\) is *profinitely filtered* if moreover the filtration sets \(M_c\) are totally disconnected, making them profinite sets.

The topologies on the filtration sets \(M_c\) will induce a topology on \(M\): the colimit topology. If \(M\) is some sort of normed group, then this topology is typically genuinely different from the norm topology.

A *morphism* of CH-filtered pseudo-normed groups \(M \to N\) is a group homomorphism \(f \colon M \to N\) that is

*bounded*: there is a constant \(C\) such that \(x \in M_c\) implies \(f(x) \in N_{Cc}\);*continuous*: for one (or equivalently all) constants \(C\) as above, the induced map \(M_c \to N_{Cc}\) is a morphism of profinite sets, i.e. continuous.

The reason the two definitions of continuity are equivalent is that a continuous injection from a compact space to a Hausdorff space must be a topological embedding.

A morphism \(f \colon M \to N\) is *strict* if \(x \in M_c\) implies \(f(x) \in N_c\) (in other words, if we can take \(C = 1\) in the boundedness condition above).

We will also consider the analogue of an \(r\)-normed \(\mathbb Z[T^{-1}]\)-module in the pseudo-normed setting.

Let \(r'\) be a positive real number. A CH-filtered pseudo-normed group \(M\) has an *\(r'\)-action of \(T^{-1}\)* if it comes endowed with a distinguished morphism of CH-filtered pseudo-normed groups \(T^{-1} \colon M \to M\) that is bounded by \(r'^{-1}\): if \(x \in M_c\) then \(T^{-1}x \in M_{c/r'}\).

A morphism of CH-filtered pseudo-normed groups with \(r'\)-action of \(T^{-1}\) is a morphism \(f \colon M \to N\) of CH-filtered pseudo-normed groups that commutes with the action of \(T^{-1}\).