Skip to main content
2 of 2
simplified multiplicative group
Ben Wieland
  • 8.7k
  • 32
  • 56

This question has a negative answer is many respects. Firstly, there are simple constructions in the commutative case. Namely, the additive group $K[\![x]\!]$ is an infinite dimensional $\mathbb F_p$-vector space and thus not finitely generated. Less simply, the multiplicative group $K[\![x]\!]^\times$ has infinitely many homomorphisms to $\mathbb F_p$. That is, the quotient by the group of $p$-th powers is infinite dimensional. The group of $p$-th powers is easy to calculate because the $p$-th power is Frobenius, a ring homomorphism: it is the power series of the form $\sum a_n t^{np}$, $a_0\ne0$. Thus the elements $1+t^n$, for $n$ not divisible by $p$, forms a linearly independent sequence in the $\mathbb F_p$-vector space of the mod $p$ quotient. Class field theory relates the slightly bigger group of the mod $p$ quotient of $K((x))^\times$ with the abelianized Galois group of $K((x))$ and with the quotient of the additive group by Artin-Schreier map $f\mapsto f^p-f$.

Thus for any $n$ the whole group $\rm{GL}_n(K[\![x]\!])$ is not finitely generated because it surjects via the determinant to the multiplicative group, which is not. So one might restrict to $\rm{SL}_n$. But this contains subgroups that are not semisimple, such as $\mathbb G_a$, $\mathbb G_m$, $\rm{GL}_{n-1}$, and the Borel subgroup. None of these are finitely generated, but all for the same commutative reason. But this is really cheating: clearly the "correct" question should get away from the silly constructions that one can make with ease in the commutative setting, so one ought to replace GL$_n$ with semisimple groups $G$ over $O = K[\![x]\!]$.

Likewise, if $G$ is not simply connected then more commutative silliness gets in the way. For example, the determinant induces ${\rm{PGL}}_n(O) \twoheadrightarrow O^{\times}/(O^{\times})^n$, so for $n$ divisible by $p$ we have the same problem once again (as $O^{\times}/(O^{\times})^p$ is a quotient, and it has infinitely many continuous homomorphisms to $\mathbf{Z}/p\mathbf{Z}$ as we have seen above).

So finally it seems that the version of the question not easily falsified by commutative tricks is for $G$ to be a semisimple $O$-group that is simply connected and to consider the open subgroups of $G(O)$ (which are of course automatically closed). It is a general fact (via deformation theory of semisimple groups) that any such $G$ is the scalar extension along $K \rightarrow O$ of its reduction, though you might wish to just consider only such $G$ without knowing it is the most general case. By coming from $K$ we see that $G$ arises from a "constant" $K$-group over the global ring $K[x]$. One can then use strong approximation for simply connected groups over global fields (such as $K(x)$) and results of Behr on finite generation of $S$-arithmetic groups when the sum of local ranks at $v \in S$ is at least 3) to deduce that $G(O)$ contains a dense finitely generated subgroup, namely an $S$-arithmetic group for suitable $S$, so $G(O)$ is topologically finitely generated. Moreover, any open subgroup of $G(O)$ is defined by a "congruence condition", so one can still find $S$-arithmetic groups dense in such open subgroups, and hence they're again topologically finitely generated.

user27920
  • 1.3k
  • 11
  • 11