Related papers: Flexibility of surface groups in classical groups

We prove that generic Hitchin representations are strongly dense: every pair of non commuting elements in their image generate a Zariski-dense subgroup of SL_n(R). The proof uses a theorem of Rapinchuk, Benyash-Krivetz and Chernousov, to…

Let S be a fixed symmetric finite subset of SL_d(O_K) that generates a Zariski dense subgroup of SL_d(O_K) when we consider it as an algebraic group over Q by restriction of scalars. We prove that the Cayley graphs of SL_d(O_K/I) with…

The notion of rigidity of Lie algebra is linked to the following problem: when does a Lie brackets $\mu$ on a vector space g satisfy that every Lie bracket $\mu_1$ sufficiently close to $\mu$ is of the form $\mu_1 = P.\mu $ for some P in…

In this paper, we give a new class of rigid Coxeter groups. Let $(W,S)$ be a Coxeter system. Suppose that (0) for each $s,t\in S$ such that $m(s,t)$ is even, $m(s,t)\in\{2\}\cup 4\N$, (1) for each $s\neq t\in S$ such that $m(s,t)$ is odd,…

We will compute the stable upper genus for the family of finite non-abelian simple groups $PSL_2(\mathbb{F}_p)$ for $p \equiv 3~(mod~4)$. This classification is well-grounded in the other branches of Mathematics like topology, smooth, and…

Let $\mathcal{M}_{n,2n+2}$ be the coarse moduli space of CY manifolds arising from a crepant resolution of double covers of $\mathbb{P}^n$ branched along $2n+2$ hyperplanes in general position. We show that the monodromy group of a good…

Let $X$ be a compact Riemann surface of genus $g\geq 2$, and let $G$ be a subgroup of $Aut(X)$. We show that if the Sylow $2$-subgroups of $G$ are cyclic, then $|G|\leq 30(g-1)$. If all Sylow subgroups of $G$ are cyclic, then, with two…

Let $\Gamma$ be a nonelementary discrete subgroup of SU(n,1) or Sp(n,1). We show that if the trace field of $\Gamma$ is contained in $\mathbb R$, $\Gamma$ preserves a totally geodesic submanifold of constant negative sectional curvature.…

We give a method to describe all congruence images of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$. The method is applied to obtain efficient algorithms for solving this problem in odd prime degree $n$; if…

Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is…

Let $C_1,\ldots,C_e$ be noncentral conjugacy classes of the algebraic group $G=SL_n(k)$ defined over a sufficiently large field $k$, and let $\Omega:=C_1\times \ldots \times C_e$. This paper determines necessary and sufficient conditions…

Based on a result of Singh--Venkataramana, Bajpai--Dona--Singh--Singh gave a criterion for a discrete Zariski-dense subgroup of Sp(2n,Z) to be a lattice. We adapt this criterion so that it can be used in some situations that were previously…

The classical multiplicative (Hirzebruch) genera of manifolds have the wonderful property which is called rigidity. Rigidity of a genus h means that if a compact connected Lie group G acts on a manifold X, then the equivariant genus h^G(X)…

I introduce compact quantum group extensions associated with the $q$-deformations of the classical compact groups $USp(2n)$, $O(n,\mathbb{R})$ and $SO(2n,\mathbb{R})$. Motivated by the relationship between $SU_q(n)$ and $U_q(n)$, I study…

We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this…

The unipotent subgroup of a finite group of Lie type over a prime field Z/pZ comes equipped with a natural set of generators; the properties of the Cayley graph associated to this set of generators have been much studied. In the present…

A fundamental theorem of Laman characterises when a bar-joint framework realised generically in the Euclidean plane admits a non-trivial continuous deformation of its vertices. This has recently been extended in two ways. Firstly to…

The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of…

Theorem. Let $\pi$ be a finite group of order $n$, $R$ be a Dedekind domain satisfying that (i) $\fn{char}R=0$, (ii) every prime divisor of $n$ is not invertible in $R$, and (iii) $p$ is unramified in $R$ for any prime divisor $p$ of $n$.…

Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many…