Non-abelian class field theory for arithmetic surfaces

Let be a regular arithmetic surface. Assume that for all irreducible curves there are given open normal subgroups of ₁(C), which fulfill a compatibility condition at all closed points x . We then show that these data uniquely determine a normal subgroup of ₁(). This is used to construct abelian class field theory for arithmetic surfaces using only K₀ and K₁ groups of local and global fields.Mathematics Subject Classification (2000): 14G40, 11R37, 14H25