超越数论中一个基本结论是说，超越数和代数数的一个关键区别在于前者可以被有理数“很好地”逼近，而后者不能。特别地，作为Roth的菲尔兹奖工作，他证明了如下结论。给定一个次数至少为$3$的实代数数 $a$，则对任意$\delta>0$，存在常数$c=c(a,\delta)>0$ 使得对任意有理数$\eta$，我们总有$|\eta-a|>c H(\eta)^{-\delta}$。这里$H(\eta)$是有理数$\eta$的高度。进一步地，作为Roth定理的非平凡推广，我们有Schmidt的子空间定理。

 

     另一方面，在群论中，一个抽象群$\Gamma$被称为是有界生成的，如果存在$g_1,g_2,\cdots, g_r\in \Gamma$ 使得$\Gamma=\langle g_1 \rangle \cdots \langle g_r\rangle$，其中$\langle g\rangle$是由$g$生成的循环群。有界生成这个概念和Serre的同余子群问题以及Margulis-Zimmer猜想等主题密切相关。

 

     在Corvaja, Rapinchuk, Zannier和我的一项合作中，我们使用Roth和Schmidt的工作的一个更广泛的代数几何版本，即Laurent定理，来给出一个抽象群是否为有界生成的若干刻画。特别地，我们证明了一个定义在特征为$0$的域上的各向异性的线性群是有界生成的当且仅当它是有限生成的且“几乎”是阿贝尔群，即包含一个指数有限的阿贝尔子群。

 

     在报告中，我会向大家介绍证明的大致思路并给出若干开放问题。