arXiv subjects

John Scherk

Publications and source records attributed to John Scherk.

3 recordsLinked to original sources

arXiv2017

A topological realization of the congruence subgroup Kernel A

A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,$§$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly similar. We puzzled over this, in particular over the role of elementary matrices in both computations. We formulated a very general result on the fundamental group of a Satake compactification of a locally symmetric space. This lead to our joint paper [1] with Lizhen Ji and Les Saper on these fundamental groups. Although the results in it were intriguingly similar to the corresponding calculations of the congruence subgroup kernel of the underlying algebraic group in [5], we were not able to demonstrate a direct connection (cf. [1], $§$7). The purpose of this note is to explain such a connection. A covering space is constructed from inverse limits of reductive Borel-Serre compactifications. The congruence subgroup kernel then appears as the group of deck transformations of this covering. The key to this is the computation of the fundamental group in [1].

math.AG↗

arXiv2015

The fundamental group of reductive Borel-Serre and Satake compactifications

Let $G$ be an almost simple, simply connected algebraic group defined over a number field $k$, and let $S$ be a finite set of places of $k$ including all infinite places. Let $X$ be the product over $v\in S$ of the symmetric spaces associated to $G(k_v)$, when $v$ is an infinite place, and the Bruhat-Tits buildings associated to $G(k_v)$, when $v$ is a finite place. The main result of this paper is an explicit computation of the fundamental group of the reductive Borel-Serre compactification of $Γ\backslash X$, where $Γ$ is an $S$-arithmetic subgroup of $G$. In the case that $Γ$ is neat, we show that this fundamental group is isomorphic to $Γ/EΓ$, where $EΓ$ is the subgroup generated by the elements of $Γ$ belonging to unipotent radicals of $k$-parabolic subgroups. Analogous computations of the fundamental group of the Satake compactifications are made. It is noteworthy that calculations of the congruence subgroup kernel $C(S,G)$ yield similar results.

math.GT↗

arXiv2014

The Borel-Serre Compactification for the Classifying Space of Hodge Structures

A 1-parameter variation of Hodge structures corresponds to a holomorphic, horizontal, locally liftable map into a classifying space of Hodge structures. In this paper it is shown that such a map has a limit in the reductive Borel-Serre compactification of the classifying space. The boundary component in which the limit lies is a union over possible polarizations of classifying spaces of Hodge structures on the primitive parts. It is discussed which boundary components can contain such limit points.

math.AG↗