Integer valued polynomials and Lubin-Tate formal groups (Q1011683): Difference between revisions

Let \(R\) be an integral domain with field of fractions \(K\). We define \(\text{Int}(R)\) to be the \(R\)-subalgebra of \(K[X]\) consisting of polynomials \(f(X)\) such that \(f(r)\in R\) for all \(r\in R\). Now let \(R\) be the ring of integers in a finite extension of the \(p\)-adic field \({\mathbb Q}_p\) and let \(F(X,Y)\) be a Lubin-Tate formal group law for \(R\). Then there are polynomials \(c_n(X)\in K[X]\) such that for every \(r\in R\) the endomorphism \([r]_F(X)\) of \(F(X,Y)\) is given by \([r]_F(X)=c_1(r)X+c_2(r)X^2+\dots\). The authors show that Int\((R)\) is generated as an \(R\)-algebra by \(c_1(X),c_2(X),\dots\). Furthermore, if \(q\) is the cardinality of the residue field of \(R\) then \(\{c_1(X),c_q(X),c_{q^2}(X),\dots\}\) is a minimal generating set for \(\text{Int}(R)\). As the authors point out, previous work in this area has focused on giving generators for Int\((R)\) as an \(R\)-module, rather than as an \(R\)-algebra. The method given here for finding generators of \(\text{Int}(R)\) for local \(R\) can also be used to find generators of Int\((A)\) for certain global rings \(A\) with class number 1.