When are roots of power series algebraic? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T10:14:14Z http://mathoverflow.net/feeds/question/78796 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic When are roots of power series algebraic? Jeff H 2011-10-21T21:30:25Z 2011-11-03T15:30:42Z <blockquote> <p>Let $K$ be a field and consider a power series $f(T) \in K[[T]]$. Under what conditions (on $K$ and/or on $f$) can we conclude that if $\alpha$ is a root of $f(T)$ then $\alpha$ is in fact algebraic over $K$?</p> </blockquote> <p>This question is inspired by the following: In <a href="http://math.bu.edu/people/rpollack/Papers/On_the_padic_Lfunction_of_a_modular_form_at_a_ss_prime.pdf" rel="nofollow">this paper</a> of R. Pollack, in the proof of his Lemma 3.2, the author states that if $K$ is a finite extension of $\mathbb{Q}_p$ and $f(T)$ converges on the open unit disc of $\mathbb{C}_p$ and has finitely many roots, then each of these roots is algebraic over $K$.</p> <p>I haven't yet come up with a proof of this statement (and any proofs offered would be appreciated), and perhaps having a proof in hand would help me to answer my question on my own, but I'm now curious about other situations in which this can occur.</p> http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic/78871#78871 Answer by KConrad for When are roots of power series algebraic? KConrad 2011-10-23T05:41:59Z 2011-10-23T14:28:56Z <p>At first I thought the question concerned the closed unit disc. Since it involves the open unit disc in ${\mathbf C}_p$ we need a little detail to see why the Weierstrass preparation theorem for series on the closed unit disc can be used. We'll pass to a suitable finite extension of K to pull this off. </p> <p>Since there are assumed to be only finitely many zeros of $f(x)$ in the open unit disc of ${\mathbf C}_p$, let $\alpha$ be one of those zeros with largest absolute value. A priori $\alpha$ might be transcendental over $K$, but note that $|\alpha|_p$ is a rational power of $p$ and there are definitely $t$ in $\overline{K}$ with $|t|_p = |\alpha|_p$ (just take $t$ to be a suitable rational power of $p$ in ${\mathbf C}_p$). Let $L = K(t)$, which is a finite extension of $K$. Since $|t|_p &lt; 1$, the power series $g(x) = f(tx)$ has coefficients in $L$ and converges on the closed unit disc in $L$ (equivalently, in ${\mathbf C}_p$). By the Weierstrass Preparation Theorem for (nonzero!) power series in $L[[x]]$ which converge on the closed unit disc, we can write $g(x) = W(x)U(x)$ where $W(x)$ is a polynomial in $L[x]$ and $U(x)$ is a power series in $L[[x]]$ with nonzero constant term which converges on the closed unit disc along with its inverse formal power series. Therefore on any complete extension field of $K$, $U(x)$ converges on its closed unit disc and is nonvanishing. For any root $r$ of $f(x)$ in ${\mathbf C}_p$, we have $|r|_p \leq |t|_p$, so $0 = f(r) = g(r/t) = W(r/t)U(r/t)$. The number $U(r/t)$ is nonzero, so $W(r/t) = 0$, which implies $r/t$ is algebraic over $L$, and thus over $K$. Since $t$ is algebraic over $K$, $r$ is algebraic over $K$.</p> <p>Instead of assuming $f(x)$ has finitely many zeros in the open unit disc of ${\mathbf C}_p$ we only need the (superficially) weaker assumption that the roots of $f(x)$ in the open unit disc of ${\mathbf C}_p$ are uniformly bounded in absolute value away from 1. That is, assume that for some $\varepsilon > 0$ the two conditions $|r|_p &lt; 1$ and $f(r) = 0$ in ${\mathbf C}_p$ imply $|r|_p \leq 1 - \varepsilon$. Then we can conclude the roots of $f(x)$ in the open unit disc of ${\mathbf C}_p$ are both algebraic over $K$ and finite in number. Picking $t$ in $\overline{K}$ so that $1 - \varepsilon \leq |t|_p &lt; 1$, which is definitely possible, we can run through the previous argument and see that if $|r|_p &lt; 1$ and $f(r) = 0$ in ${\mathbf C}_p$ then $W(r/t) = 0$, so not only does $r$ lie in a finite extension of $K$ but there are finitely many choices for $r$.</p> http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic/78927#78927 Answer by Lubin for When are roots of power series algebraic? Lubin 2011-10-23T21:09:47Z 2011-10-23T21:09:47Z <p>I feel considerable trepidation in muddying the waters that Keith has so nicely clarified, but it seems to me, in view of the discreteness of the valuation on $K$, that first, the hypothesis that there are only finitely many roots is unnecessary, and second, it's unnecessary to go by way of the closed unit disk.</p> <p>As an example of a series with infinitely many roots, hold in mind the logarithmic series, $\sum_n (-1)^{n+1}x^n/n$, convergent on the open unit disk. Its roots are the numbers $\zeta-1$, $\zeta$ running through the $p$-power roots of unity. For a series to be convergent on the open disk of ${\bf C}_p$, it's necessary and sufficient that the limit slope of the Newton polygon be nonnegative. You can define this as $\lim_n v(a_n)/n$ if you like. In case the series has positive limit slope, then there's a segment with positive slope, and you can use Weierstrass Prep directly to show that there are only finitely many roots of the series in the open disk, and these are roots of an integral monic $K$-polynomial. If, as in the case of the log, your series has limit slope zero, then you need a suitably jazzed-up version of W-Prep saying every vertex $V$ of the polygon gives you a monic polynomial factor, still with $K$-integers for coefficients. Or, since in this case we're only worried about the roots being algebraic, you can just replace $f(x)$ by $f(p^\lambda x)$, where $\lambda$ is a positive rational between the negatives of the slopes on either side of $V$. And then apply the first case, 'cause now the limit slope is $\lambda$. In any case, and by whatever method, the roots of $f$ are all algebraic.</p> http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic/79345#79345 Answer by Robert Pollack for When are roots of power series algebraic? Robert Pollack 2011-10-28T02:22:03Z 2011-11-03T15:30:42Z <p>Here's another proof of the fact that any root of a (non-zero) $p$-adic power series (convergent on the open unit disc) is algebraic. The proof is a little silly in that it uses Tate's theorem on Galois invariants of ${\mathbb C}_p$ (which is quite deep) instead of the Weierstrass preparation theorem (which is fairly elementary). But here it is in any case.</p> <p>The key fact I need is the following which I'll prove after explaining how it completes the proof.</p> <blockquote> <p><strong>Claim</strong>: Any transcendental element of ${\mathbb C}_p$ has uncountably many conjugates (under $\text{Gal}(\overline{\mathbb Q}_p/{\mathbb Q}_p))$.</p> </blockquote> <p>Accepting this claim for the moment, let $\alpha$ be a transcendental zero of $f(x)$, our convergent power series. Then all conjugates of $\alpha$ are also zeroes of $f(x)$ in the open unit disc. Thus, by the above claim, $f(x)$ has uncountably many zeroes in the open unit disc of ${\mathbb C}_p$. However, any uncountable set in a separable metric space (e.g. ${\mathbb C}_p$) has an accumulation point. But then the zeroes of $f(x)$ have an accumulation point, necessarily in the open unit disc since that is closed in ${\mathbb C}_p$, which forces $f(x)$ to be identically zero.</p> <p>Returning now to the claim, let $G=\text{Gal}(\overline{\mathbb Q}_p/{\mathbb Q}_p)$ and let $H$ denote the subgroup of $G$ which stabilizes $\alpha$. Since the conjugates of $\alpha$ are in one-to-one correspondence with $G/H$, we will show that $H$ has uncountable index.</p> <p>First note that $G$ acts continuously on ${\mathbb C}_p$ where we give ${\mathbb C}_p$ the $p$-adic topology (not the discrete topology). Thus $H$ is a closed subgroup and hence of the form $\text{Gal}(\overline{\mathbb Q}_p/M)$ for some algebraic extension$M/{\mathbb Q}_p$.</p> <p>Assume $G/H$ is finite, and thus that $M$ is a finite extension of ${\mathbb Q}_p$. But then by Tate's theorem, $\alpha$ must be in $M$ as it is fixed by $\text{Gal}(\overline{\mathbb Q}_p/M)$. This is impossible as $\alpha$ is transcendental.</p> <p>Thus, $G/H$ is infinite, and we must now show that it is uncountable. We use the following (standard) fact:</p> <blockquote> <p><strong>Fact</strong>: Any infinite compact Hausdorff space with no isolated points is uncountable.</p> </blockquote> <p>Since $G$ is compact, $G/H$ is compact. The coset space $G/H$ is Hausdorff since $H$ is closed. To see that $G/H$ has no isolated points, note that if it has one isolated point, then all of its points are isolated as $G$ acts transitively (by left multiplication) on $G/H$ by homeomorphisms. But then $G/H$ is discrete which is impossible as it is infinite and compact.</p> <p>Thus, $G/H$ is uncountable, and $\alpha$ has uncountably many conjugates.</p>