GAP-PARI-Sage days 93:李群的子群和格
2018年2月19日至3月4日
组织者
参与者
文森特·德勒克索瓦 (波尔多)2月23日-3月4日 西蒙·德雷维茨 (弗里堡)-2月19日-3月4日 查尔斯·福格隆(莫斯科)——2月21日至3月3日 泽维尔·吉塔特(巴塞罗那)——2月20日至23日 尼克·豪厄尔——2月21日-3月3日 Jean-Philippe Labbé --2月25日-3月3日 马克·马斯迪 (巴塞罗那)-2月20日-3月2日 Aurel页面 (波尔多)--2月19日-3月4日 艾琳·帕斯奎内利(达勒姆)--2月19日-3月3日 贝特朗·雷米 (理工学院)2月26日至3月3日 维特·图切克(萨格勒布)2月19日至3月4日
项目
确定SL(2,R)的有限型子群的性质(=基本域): 测试离散性和离散构建基本域的时间(Gilman-Maskit为2台发电机进行了测试) 使用Bruhat-Tits树在SL(2,Qp)中执行相同操作 如果是SL(2,Q),或者更一般地说是SL。。。 组离散的x SL(2,Qpk)
SL(n,R)有限生成子群的Zarisk闭包:Vincent (有限)生成集给出的SL(n,R)(或Sp(2g,R))子群的共体积有限性测试。 在SL(2,R)的情况下,有一个完整的算法,而在高维群(甚至秩1)中,我们面对的是非几何有限群:Vincent 添加您的工作计划。。。