nLab
analytic spectrum

Contents

Definition

For A a ring, its analytic spectrum or Berkovich spectrum Spec anA is the set of all non-zero multiplicative seminorms on A, regarded as a topological space when equipped with the weakest topology such that all functions

Spec anA +Spec_an A \to \mathbb{R}_+

of the form

xx(a)x \mapsto {\vert x(a)\vert}

for aA are continuous.

If A is equipped with the structure of a Banach ring, one takes the bounded multiplicative seminorms.

So a point in the analytic spectrum of A corresponds to a non-zero function

:A{\Vert -\Vert} : A \to \mathbb{R}

to the real numbers, such that for all x,yA

  1. x0;

  2. xy=xy;

  3. x+yx+y

and boundedness means that there exists C>0 such that for all xA

x ACx.{\vert x \vert}_A \leq C {\Vert x\Vert} \,.

Examples

Affine line

For k a field and k[T] the polynomial ring over k in one generator,

𝔸 k:=Spec ank[T]\mathbb{A}_k := Spec_{an} k[T]

is the analytic affine line over k.

If k=, then 𝔸 k= is the ordinary complex plane.

References

Original

The notion originates in

  • Vladimir Berkovich, Spectral theory and analytic geometry over non-Archimedean fields, Mathematical Surveys and Monographs, vol. 33, American Mathematical Society, Providence, RI, (1990) 169 pp.

Expositions

An exposition of examples of Berkovich spectra is in

Lecture notes

Course notes are around definition 4 of

and section 1 of

  • Vladimir Berkovich, Non-archimedean analytic spaces, lectures at the Advanced School on p-adic Analysis and Applications, ICTP, Trieste, 31 August - 11 September 2009 (pdf)

Revised on May 24, 2012 19:39:38 by Zoran Škoda (193.51.104.33)