Related papers: Counting arithmetic lattices and surfaces

In this paper we construct explicit examples of both closed and non-compact finite volume hyperbolic manifolds which provide counterexamples to the conjecture that the co-rank of a 3-manifold group (also known as the cut number) is bounded…

By now, we have a product theorem in every finite simple group $G$ of Lie type, with the strength of the bound depending only in the rank of $G$. Such theorems have numerous consequences: bounds on the diameters of Cayley graphs, spectral…

Using the theory of holes of the Leech lattice and Borcherds method for the computation of the automorphism group of a K3 surface, we give an effective bound for the set of isomorphism classes of projective models of fixed degree for…

We prove that cocompact arithmetic lattices in a simple Lie group are uniformly discrete if and only if the Salem numbers are uniformly bounded away from $1$. We also prove an analogous result for semisimple Lie groups. Finally, we shed…

Estimating the number of vertices of a two dimensional projection, called a shadow, of a polytope is a fundamental tool for understanding the performance of the shadow simplex method for linear programming among other applications. We prove…

We study partitions on three dimensional manifolds which minimize the total geodesic perimeter. We propose a relaxed framework based on a $\Gamma$-convergence result and we show some numerical results. We compare our results to those…

We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings.

Let $\mathcal{S}$ denote the class of functions analytic and univalent (i.e. one-to-one) in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:\, |z|<1\}$ normalized by $f(0)=0=f'(0)-1$. The logarithmic coefficients $\gamma_n$ of $f\in\mathcal{S}$…

We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$,…

We use computer algebra to determine the Lie invariants of degree <= 12 in the free Lie algebra on two generators corresponding to the natural representation of the simple 3-dimensional Lie algebra sl(2,C). We then consider the free Lie…

We determine the minimal possible volume of a projective log canonical surface of general type with prescribed positive geometric genus. As applications, we provide effecitive Noether type inequalities for log canonical threefolds and…

We show that L\"uck's conjecture on torsion growth in homology implies that two 3-manifolds have equal volume if the fundamental groups have the same set of finite quotients.

We obtain strong upper bounds for the Betti numbers of compact complex-hyperbolic manifolds. We use the unitary holonomy to improve the results given by the most direct application of the techniques of [DS17]. We also provide effective…

A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the atoms of $U$. This operation creates one or two nonisomorphic…

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…

This note describes a unified approach to several superrigidity results, old and new, concerning representations of lattices into simple algebraic groups over local fields. For an arbitrary group $\Gamma$ and a $\Gamma$-boundary $B$ we…

The systole of a hyperbolic surface is bounded by a logarithmic function of its genus. This bound is sharp, in that there exist sequences of surfaces with genera tending to infinity that attain logarithmically large systoles. These are…

We study the distribution of orbits of a lattice $\Gamma\leq\text{SL}(3,\mathbb R)$ in the moduli space $X_{2,3}$ of covolume one rank-two discrete subgroups in $\mathbb R^3$. Each orbit is dense, and our main result is the limiting…

Let $(K,\mathcal O, k)$ be a $p$-modular system with $k$ algebraically closed and $\mathcal O$ unramified, and let $\Lambda$ be an $\mathcal O$-order in a separable $K$-algebra. We call a $\Lambda$-lattice $L$ rigid if ${\rm…

Answering a question posed by Enriques, we construct a minimal smooth algebraic surface $S$ of general type over the complex numbers with $K^2 = 45$ and $p_g = 4$, and with birational canonical map. Our surface is a regular (q=0) ball…