Related papers: Thin monodromy in $\mathrm{Sp}(4)$ and $\mathrm{Sp…

These notes were prepared for the MSRI hot topics workshop on superstrong approximation (2012). We give a brief overview of the developments in the theory, especially the fundamental expansion theorem. Applications to diophantine problems…

Finding the number of maximal subgroups of infinite index of a finitely generated group is a natural problem that has been solved for several classes of `geometric' groups (linear groups, hyperbolic groups, mapping class groups, etc). Here…

We show that if we are given a smooth non-isotrivial family of elliptic curves over~$\mathbb C$ with a smooth base~$B$ for which the general fiber of the mapping $J\colon B\to\mathbb A^1$ (assigning $j$-invariant of the fiber to a point) is…

We give necessary and sufficient conditions for a linear reflection group in the sense of Vinberg to be Zariski-dense in the ambient projective general linear group. As an application, we show that every irreducible right-angled Coxeter…

We give conditions under which the monodromy group of an $A$-hypergeometric system is invariant under modifications of the collection of characters $A$. The key ingredient is a Zariski--Lefschetz type theorem for principal $A$-determinants.

We investigate branching of solutions to holonomic bivariate hypergeometric systems of Horn's type. Special attention is paid to the invariant subspace of Puiseux polynomial solutions. We mainly study Horn systems defined by simplicial…

Let $\mathbb F=\mathbb R$, $\mathbb C$ or $\mathbb H$. Let ${\bf H}_{\mathbb F}^n$ denote the $n$-dimensional $\mathbb F$-hyperbolic space. Let ${\rm U}(n,1; \mathbb F)$ be the linear group that acts by the isometries. A subgroup $G$ of…

We find all irreducible hypergeometric sheaves whose geometric monodromy group is finite, almost quasisimple and has the projective special linear group $PSL_n(q)$ with $n\geq 3$ as a composition factor. We use the classification of…

We classify the polycyclic totally ordered simple dimension groups, i.e. dimension groups given by a dense embedding of n-dimensional lattice into the real line. Our method is based on the geometry of simple geodesics on the hyperbolic…

We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n,…

We know from previous work with Italiano and Migliorini that there exists some hyperbolic 5-manifold that fibers over the circle. Here we build one example where the monodromy is a "pseudo-Anosov homeomorphism" of the 4-dimensional fiber,…

We first develop some basic facts about hypergeometric sheaves on the multiplicative group ${\mathbb G}_m$ in characteristic $p >0$. Certain of their Kummer pullbacks extend to irreducible local systems on the affine line in characteristic…

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$…

We develop a geometric approach to stable homotopy groups of spheres in the spirit of the work of Pontrjagin and Rokhlin. A new proof of the Hopf Invariant One Theorem by J.F.Adams is obtained in all dimensions except 15 and 31. To prove…

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…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

We explore the enumerative problem of finding lines on cubic surfaces defined by symmetric polynomials. We prove that the moduli space of symmetric cubic surfaces is an arithmetic quotient of the complex hyperbolic line, and determine…

We investigate for which linear-algebraic groups (over the complex numbers or any local field) there exists subgroups which are dense in the Zariski topology, but discrete in the Hausdorff topology. For instance, such subgroups exist for…

It is a fundamental problem in geometry to decide which moduli spaces of polarized algebraic varieties are embedded by their period maps as Zariski open subsets of locally Hermitian symmetric domains. In the present work we prove that the…

We solve the Hurwitz monodromy problem for degree-4 covers. That is, the Hurwitz space H_{4,g} of all simply branched covers of P^1 of degree 4 and genus g is an unramified cover of the space P_{2g+6} of (2g+6)-tuples of distinct points in…