I recently learnt about Nagao's theorem which states $SL_2(k[t])\cong SL_2(k)\ast_{B(k)}B(k[t])$ for a field $k$. I read in "A.W. Mason, Serre's generalization of Nagao's theorem" that a theorem of Serre generalizes this theorem to the situation that you can take $GL_2$ of the coordinate ring of a smooth projective curve minus a point and it will be equal to the fundamental group of a graph group.

I wonder whether there are higher dimensional versions of this theorem or not, in the sense that you can both consider $GL_n$ instead of $GL_2$ and higher dimensional varieties instead of curves. I would really appreciate it if you could point me to some references about these kinds of theorems.

  • 1
    $\begingroup$ Note that $\text{SL}_3(\mathbb{Z})$ and $\text{SL}_3(\mathbb{F}_p[t])$ have Serre's property FA: every action on a tree has a fixed point. $\endgroup$
    – Uri Bader
    Aug 20, 2018 at 9:19
  • 1
    $\begingroup$ For GL_n, or more generally a Chevalley group, there is a generalisation of Nagao's theorem by C.Soule, "Chevalley groups over polynomial rings". $\endgroup$
    – naf
    Aug 20, 2018 at 9:36
  • $\begingroup$ @ulrich Thanks that was helpful but still Soule works over polynomial rings with one variable. I'm not sure but one might able to generalized his work for curves but I imagine things doesn't work well for higher dimensional varieties. In my opinion local fields seems to be an essential part of the Bruhat-Tits building which you have access to them only when you work with curves over finite fields. I suspect one might need Parshin's Bruhat-Tits buildings for higher dimensional local fields for general varieties, which looks like they are not well studied. $\endgroup$
    – user127776
    Aug 20, 2018 at 16:32
  • 1
    $\begingroup$ For higher dimensional varieties, one ought to be able to take valuations associated to ideal points and get actions on Bruhat-Tits buildings, and hence presentations as a complex of groups (generalizing the notion of a graph of groups). However, I don't know a reference immediately. $\endgroup$
    – Ian Agol
    Aug 20, 2018 at 17:57


You must log in to answer this question.