nLab Hahn series

Hahn series

Hahn series

Idea

A Hahn series is a generalization of a formal power series which allows non-integer exponents and transfinite sums, as long as the exponents are well-ordered.

Definition

Let GG be a linearly ordered abelian group, and kk a field.

Definition

The ring of Hahn series with value group? GG, denoted k[t G]k[t^G] (or sometimes k[[t G]]k[[t^G]] or k((t G))k((t^G))), is the ring of functions f:Gkf\colon G \to k such that {xG:f(x)0}\{x \in G : f(x) \neq 0\} is well-ordered as as a subset of GG (or, sometimes, as a subset of the opposite poset G opG^{op}). Addition is defined pointwise, and multiplication is defined by the convolution product:

(fg)(x)= y+z=xGf(y)g(z)(f \cdot g)(x) = \sum_{y+z = x \in G} f(y)g(z)

Notationally, we may write a Hahn series f:Gkf\colon G \to k as xGf(x)t x\sum_{x\in G} f(x) t^x.

Properties

Theorem

The ring k[t G]k[t^G] is a field. If kk is algebraically closed, then k[t G]k[t^G] is algebraically closed provided that GG is divisible.

As a corollary, if GG is divisible, k[t G]k[t^G] is real closed if kk is real closed. This is because the adjunction of a square root of 1-1 would make k[t G]k[t^G] algebraically closed, since this gives the same result as constructing the Hahn series over the algebraically closed field k[1]k[\sqrt{-1}].

The multiplicative valuation v(f)v(f) of an element fk[t G]f\in k[t^G] is the least xGx \in G for which f(x)0f(x) \neq 0. This yields a valuation ring, such a valuation ring determines and is determined by a valuation on a field. The field k[t G]k[t^G] is a complete ultrametric space (and indeed a spherically complete field?) with respect to this valuation, but unlike for formal power series the formal series xGf(x)t x\sum_{x\in G} f(x) t^x do not actually “converge” in this metric.

Examples

  • If G=G=\mathbb{R}, then we have Hahn series such as

    t 1+t 3/2+t 5/3+t 7/4+ t^1 + t^{3/2} + t^{5/3} + t^{7/4} + \cdots
  • Via Conway normal forms, the ring of Hahn series with k=k=\mathbb{R} and with value group the surreal numbers is isomorphic to the surreal numbers themselves. In other words, the surreals are a fixed point of the “Hahn series with real coefficients” functor on the category of abelian groups. However, the surreals are not the initial fixed point of this functor, since there are surreals that appear as exponents in their own Conway normal form — for instance, the ∞-numbers.

  • Well-based transseries can be constructed by iterating the Hahn series construction.

  • If G=G=\mathbb{Z}, then a Hahn series is precisely a formal Laurent series?, i.e. k[t ]=k((t))k[t^{\mathbb{Z}}] = k((t)).

  • If G=G=\mathbb{Q}, then k[t ]k[t^{\mathbb{Q}}] properly contains the Levi-Civita field, as the subclass of those Hahn series whose support is finite below any fixed rational.

  • More generally, any Hahn series field k[t G]k[t^G] contains the Novikov field of kk with value group GG.

Last revised on July 22, 2019 at 21:44:00. See the history of this page for a list of all contributions to it.