Serre's generalization of Nagao's theorem: An elementary approach

Author:
A. W. Mason

Journal:
Trans. Amer. Math. Soc. **353** (2001), 749-767

MSC (2000):
Primary 20H25; Secondary 20E08, 14H05

Published electronically:
October 23, 2000

MathSciNet review:
1804516

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .

Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated *Bruhat-Tits building*. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.

The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is *infinite*. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.

**[1]**Alexander Lubotzky,*Lattices in rank one Lie groups over local fields*, Geom. Funct. Anal.**1**(1991), no. 4, 406–431. MR**1132296**, 10.1007/BF01895641**[2]**A. W. Mason,*Free quotients of congruence subgroups of 𝑆𝐿₂ over a coordinate ring*, Math. Z.**198**(1988), no. 1, 39–51. MR**938027**, 10.1007/BF01183037**[3]**A. W. Mason,*Groups generated by elements with rational fixed points*, Proc. Edinburgh Math. Soc. (2)**40**(1997), no. 1, 19–30. MR**1437808**, 10.1017/S0013091500023403**[4]**A. W. Mason,*Unipotent matrices, modulo elementary matrices, in 𝑆𝐿₂ over a coordinate ring*, J. Algebra**203**(1998), no. 1, 134–155. MR**1620721**, 10.1006/jabr.1997.7322**[5]**A. W. Mason,*Free quotients of congruence subgroups of the Serre groups and unipotent matrices*, Comm. Algebra**27**(1999), no. 1, 335–356. MR**1668268**, 10.1080/00927879908826435**[6]**A. W. Mason and R. W. K. Odoni,*Ideal class groups of Dedekind domains contained in function fields*, Proc. Roy. Irish Acad. Sect. A**97**(1997), no. 2, 155–162. MR**1645287****[7]**Wolfgang Radtke,*Diskontinuierliche arithmetische Gruppen im Funktionenkörperfall*, J. Reine Angew. Math.**363**(1985), 191–200 (German). MR**814020**, 10.1515/crll.1985.363.191**[8]**Jean-Pierre Serre,*Trees*, Springer-Verlag, Berlin-New York, 1980. Translated from the French by John Stillwell. MR**607504****[9]**Henning Stichtenoth,*Algebraic function fields and codes*, Universitext, Springer-Verlag, Berlin, 1993. MR**1251961**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
20H25,
20E08,
14H05

Retrieve articles in all journals with MSC (2000): 20H25, 20E08, 14H05

Additional Information

**A. W. Mason**

Affiliation:
Department of Mathematics, University of Glasgow, Glasgow G12 8QW, Scotland, United Kingdom

Email:
awm@maths.gla.ac.uk

DOI:
https://doi.org/10.1090/S0002-9947-00-02707-0

Keywords:
General linear group,
tree,
algebraic function field

Received by editor(s):
March 25, 1999

Published electronically:
October 23, 2000

Article copyright:
© Copyright 2000
American Mathematical Society