SearcharxivSearch

arXiv subjects

Boyi Dai

Publications and source records attributed to Boyi Dai.

3 recordsLinked to original sources

On irreducibility of certain low dimensional automorphic Galois representations

We study irreducibility of Galois representations $\rho_{\pi,\lambda}$ associated to a $n=7$ or 8-dimensional regular algebraic essentially self-dual cuspidal automorphic representation $\pi$ of $\text{GL}_n(\mathbb{A}_\mathbb{Q})$. We show $\rho_{\pi,\lambda}$ is irreducible for all but finitely many $\lambda$ under the following extra conditions. (i) If $n=7$, and there exists no $\lambda$ such that the Lie type of $\rho_{\pi,\lambda}$ is the standard representation of exceptional group $\textbf{G}_2$. (ii) If $n=8$, and when there exist infinitely many $\lambda$ such that the Lie type of $\rho_{\pi,\lambda}$ is the spin representation of $\text{SO}_7$, we assume there exist no three distinct Hodge-Tate weights form a 3-term arithmetic progression.

math.NT

On irreducibility of six-dimensional compatible systems of $\mathbb{Q}$

We study the irreducibility of 6-dimensional strictly compatible systems of Q with distinct Hodge-Tate weights. We prove that if one of the representations $\rho$ in such a system is irreducible and satisfies a self-dual condition $\rho^{\vee}\otimes\chi\cong\rho$ for some character $\chi$, then all but finitely many of them are irreducible.

math.NT

Comparison of component groups of $\ell$-adic and mod $\ell$ monodromy groups

Let $\{\rho_{\ell}:\mathrm{Gal}_K\to\mathrm{GL}_n(\mathbb{Q}_{\ell})\}_{\ell}$ be a semisimple compatible system of $\ell$-adic representations of a number field $K$ that is arising from geometry. Let $\textbf{G}_{\ell}\subset\mathrm{GL}_{n,\mathbb{Q}_{\ell}}$ and $\widehat{\underline{G_{\ell}}}\subset\mathrm{GL}_{n,\mathbb{F}_\ell}$ be respectively the algebraic monodromy group and full algebraic envelope of $\rho_{\ell}$. We prove that there is a natural isomorphism between the component groups $\pi_0(\textbf{G}_{\ell}) \simeq \pi_0(\widehat{\underline{G_\ell}})$ for all sufficiently large $\ell$.

math.NT