Skip to main content
1 of 3
Emily
  • 11.8k
  • 4
  • 30
  • 88

Valuations and (semi)norms on ring spectra

Valuations and seminorms on rings play a big role in number theory and analytic geometry, with seminorms being heavily used in Berkovich geometry and valuations featuring heavily in adic geometry.

Let's quickly recall their definitions:

A valuation on a ring $A$ is a pair $(\Gamma,\nu)$ consisting of

  • The Valuation Target. A totally ordered abelian group $\Gamma$;
  • The Valuation. A map of of sets $$\nu\colon A\to\Gamma\mathbin{\textstyle\coprod}\{0\},$$ where $\Gamma\mathbin{\textstyle\coprod}\{0\}$ is the totally ordered abelian group consisting of the disjoint union of $\Gamma$ with $\{0\}$, with multiplication extending that of $\Gamma$ by declaring $0\cdot0=0$ and $0\cdot a=0$ for all $a\in\Gamma$, and where we have $0<a$ for all $a\in\Gamma$.

satisfying the following conditions:

  1. We have $\nu(0)=0$.
  2. We have $\nu(1)=1$.
  3. For each $a,b\in A$, we have $\nu(ab)=\nu(a)\nu(b)$.
  4. For each $a,b\in A$, we have $\nu(a+b)\leq\max(\nu(a),\nu(b))$.

A seminorm on a ring $A$ is a map $|-|\colon A\to\mathbb{R}_{\geq0}$ satisfying the following conditions:

  1. We have $|0|=0$.
  2. We have $|1|=1$.
  3. For each $a,b\in A$, we have $|a+b|\leq|a|+|b|$.
  4. For each $a,b\in A$, we have $|ab|\leq|a||b|$.

Moreover, $|-|$ is a norm if $|a|=0$ implies $a=0$.

Question. Are there notions of valuations, seminorms, and norms on ring spectra extending the above notions?

Emily
  • 11.8k
  • 4
  • 30
  • 88