Related papers: Certifying Arithmeticity for Two Degree-Six Symple…

We prove that the double covers of the alternating and symmetric groups are determined by their complex group algebras. To be more precise, let $n\geq 5$ be an integer, $G$ a finite group, and let $\AAA$ and $\SSS^\pm$ denote the double…

For $n \ge 2$, we prove that a finite volume complex hyperbolic $n$-manifold containing infinitely many maximal properly immersed totally geodesic submanifolds of dimension at least two is arithmetic, paralleling our previous work for real…

We compute invariants of quadratic forms associated to orthogonal hypergeometric groups of degree five. This allows us to determine some commensurabilities between these groups, as well as to say when some thin groups cannot be conjugate to…

In a recent paper by L. Fel two new identities for the degree of syzygies are given. We present an algebraic proof of them, using only basic homological algebra tools. We also extend these results.

In 2015, Lusztig [Bull. Inst. Math. Acad. Sin. (N.S.)10(2015), no.1, 1-72] showed that for a connected reductive group over an algebraic closure of a finite field the associated (geometric) Hecke category admits a truncation in a two-sided…

We show that strong approximate lattices in higher-rank semi-simple algebraic groups are arithmetic.

Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected quasi-projective base $S$, and let $\mathbb{V} = R^{2k} f_{*} \mathbb{Z}(k)$ be the integral variation of Hodge structure coming from degree $2k$…

We consider the symplectic groupoid of pairs $(B,\mathbb{A})$ with $\mathbb A$ unipotent upper-triangular matrices and $B\in GL_n$ being such that $\widetilde {\mathbb A}=B{\mathbb A} B^{\text{T}}$ are also unipotent upper-triangular…

In this article we establish the arithmetic purity of strong approximation for certain semi-simple simply connected $k$-simple linear algebraic groups and their homogeneous spaces over a number field $k$. For instance, for any such group…

In this note, we extend the scope of our previous work joint with Bonnafoux, Kattler, Ni\~no, Sedano-Mendoza, Valdez and Weitze-Schmith\"usen by showing the arithmeticity of the Kontsevich--Zorich monodromies of infinite families of…

Given a hyperbolic surface $\Sigma$ of genus $g$ with $r$ cusps, Mirzakhani proved that the number of closed geodesics of length at most $L$ and of a given type is asymptotic to $cL^{6g-6+2r}$ for some $c>0$. Since a closed geodesic…

In earlier work, Katz exhibited some very simple one parameter families of exponential sums which gave rigid local systems on the affine line in characteristic p whose geometric (and usually, arithmetic) monodromy groups were SL(2,q), and…

We obtain a bi-Lipschitz rigidity theorem for a Zariski dense discrete subgroup of a connected simple real algebraic group. As an application, we show that any Zariski dense discrete subgroup of a higher rank semisimple algebraic group $G$…

This note summarizes the talk by the author at the workshop "Geometry and Computer Science" held in Pescara in February 2017. We present how SageMath can help in research in Complex and Differential Geometry, with two simple applications,…

Let (M,\omega) be a four dimensional compact connected symplectic manifold. We prove that (M,\omega) admits only finitely many inequivalent Hamiltonian effective 2-torus actions. Consequently, if M is simply connected, the number of…

In this paper, we give the sharp estimates for the degree of symmetry and the semi-simple degree of symmetry of certain four dimensional fiber bundles by virtue of the rigidity theorem of harmonic maps due to Schoen and Yau. As a corollary…

We construct an algorithm that, given a pair of homomorphisms between polycyclic-by-finite groups, determines whether their Reidemeister number is finite, and if so returns a set of representatives of the twisted conjugacy classes.…

We study the large scale geometry of mapping class groups MCG(S), using hyperbolicity properties of curve complexes. We show that any self quasi-isometry of MCG(S) (outside a few sporadic cases) is a bounded distance away from a…

In this paper we describe a systematic method to compute elliptic genera of (2,2) supersymmetric gauge theories in two dimensions with gauge group G/Gamma (for G semisimple and simply-connected, Gamma a subgroup of the center of G) with…

In this note we study a family of graphs of groups over arbitrary base graphs where all vertex groups are isomorphic to a fixed countable sofic group $G$, and all edge groups $H<G$ are such that the embeddings of $H$ into $G$ are identical…