Related papers: Finiteness Theorem for Sp(4,Z)

Let G be a Chevalley group scheme and B<=G a Borel subgroup scheme, both defined over Z. Let K be a global function field, S be a finite non-empty set of places over K, and O_S be the corresponding S-arithmetic ring. Then, the S-arithmetic…

Let F be a square integrable Maass form on the Siegel upper half space of rank 2 for the Siegel modular group Sp(4, Z) with Laplace eigenvalue lambda. If, in addition, F is a joint eigenfunction of the Hecke algebra, we show a power-saving…

Let f(t,X) be an irreducible polynomial over the field of rational functions k(t), where k is a number field. Let O be the ring of integers of k. Hilbert's irreducibility theorem gives infinitely many integral specializations of t to values…

This paper is a continuation of the author's previous wotk. We supplement four results on a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$. First, we improve the result on Hecke fields. Namely, we prove that the degree of…

We discuss whether finiteness properties of a profinite group $G$ can be deduced from the coefficients of the probabilistic zeta function $P_G(s)$. In particular we prove that if $P_G(s)$ is rational and all but finitely many non abelian…

We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.

We classify all rational maps $H \in K(x)^n$ for which ${\rm trdeg}_K K(tH_1,tH_2,\ldots,tH_n) \le 2$, where $K$ is any field and $t$ is another indeterminate. Furthermore, we classify all such maps for which additionally $JH \cdot H = {\rm…

We study and partially classify cubic rational expressions $g(x)/h(x)$ over a finite field $\mathbb{F}_q$, up to pre- and post-composition with independent M\"obius transformations. In particular, we obtain a full classification when $q$ is…

In this paper, we first single out a proper subgroup \Gamma of Sp(4,Z) generated by three elements, which arises from the parallelogram decompositions of translation surfaces in H(2). We then prove that the space H(2)/C* can be identified…

Given a finite abelian $p$-group $F$, we prove an efficient recursive formula for $\sigma_a(F)=\sum_{\substack{H\leq F}}|H|^a$ where $H$ ranges over the subgroups of $F$. We infer from this formula that the $p$-component of the…

This paper is a follow-up to our joint paper with I. Agol, P. Storm and K. Whyte "Finiteness of arithmetic hyperbolic reflection groups". The main purpose is to investigate the effective side of the method developed there and its possible…

As a generalization of the Dedekind zeta function, Weng defined the high rank zeta functions and proved that they have standard properties of zeta functions, namely, meromorphic continuation, functional equation, and having only two simple…

Given a $2k$-dimensional symplectic space $(Z,F)$ in $N$ variables, $1 < 2k \leq N$, over a global field $K$, we prove the existence of a symplectic basis for $(Z,F)$ of bounded height. This can be viewed as a version of Siegel's lemma for…

The main goal of this note is to provide evidence that the first rational homology of the Johnson subgroup $K_{g,1}$ of the mapping class group of a genus g surface with one marked point is finite-dimensional. Building on work of…

Let $K$ be a number field and $\phi\in K(z)$ a rational function. Let $S$ be the set of all archimedean places of $K$ and all non-archimedean places associated to the prime ideals of bad reduction for $\phi$. We prove an upper bound for…

The genus spectrum of a finite group $G$ is the set of all $g\geq 2$ such that $G$ acts faithfully and orientation-preserving on a closed compact orientable surface of genus $g$. This article is an overview of some results relating the…

Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…

Let $G$ be a real reductive algebraic group, and let $H\subset G$ be an algebraic subgroup. It is known that the action of $G$ on the space of functions on $G/H$ is "tame" if this space is spherical. In particular, the multiplicities of the…

A famous result of P. Heged\"us describes the structure of finite rational $\{2,5\}$-groups. In this paper, we show how Heged\"us' proof can be used to obtain a similar result for the more general situation of a finite rational $2$-group…

Let $f \colon X \to B$ be a nonisotrivial complex elliptic surface and let $\mathcal{D} \subset X$ be an integral divisor dominating $B$. We study finiteness related properties of generalized $(S, \mathcal{D})$-integral sections $\sigma…