Showing 1–18 of 18 results for author: Hui, C Y

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

Authors: Boyi Dai, Chun Yin Hui

Abstract: Let $\{ρ_{\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 en… ▽ More Let $\{ρ_{\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 $ρ_{\ell}$. We prove that there is a natural isomorphism between the component groups $π_0(\textbf{G}_{\ell}) \simeq π_0(\widehat{\underline{G_\ell}})$ for all sufficiently large $\ell$. △ Less

Submitted 30 July, 2024; originally announced July 2024.

Comments: 9 pages

Monodromy of four dimensional irreducible compatible systems of Q

Authors: Chun Yin Hui

Abstract: Let $F$ be a totally real field and $n\leq 4$ a natural number. We study the monodromy groups of any $n$-dimensional strictly compatible system $\{ρ_λ\}_λ$ of $λ$-adic representations of $F$ with distinct Hodge-Tate numbers such that $ρ_{λ_0}$ is irreducible for some $λ_0$. When $F=\mathbb{Q}$, $n=4$, and $ρ_{λ_0}$ is fully symplectic, the following assertions are obtained. (i) The representation… ▽ More Let $F$ be a totally real field and $n\leq 4$ a natural number. We study the monodromy groups of any $n$-dimensional strictly compatible system $\{ρ_λ\}_λ$ of $λ$-adic representations of $F$ with distinct Hodge-Tate numbers such that $ρ_{λ_0}$ is irreducible for some $λ_0$. When $F=\mathbb{Q}$, $n=4$, and $ρ_{λ_0}$ is fully symplectic, the following assertions are obtained. (i) The representation $ρ_λ$ is fully symplectic for almost all $λ$. (ii) If in addition the similitude character $μ_{λ_0}$ of $ρ_{λ_0}$ is odd, then the system $\{ρ_λ\}_λ$ is potentially automorphic and the residual image $\barρ_λ(\text{Gal}_\mathbb{Q})$ has a subgroup conjugate to $\text{Sp}_4(\mathbb{F}_\ell)$ for almost all $λ$. △ Less

Submitted 21 December, 2022; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: The maximal Frobenius tori hypothesis is removed. Accepted in BLMS

MSC Class: 11F80; 11F70; 11F22; 20G05

Monodromy of subrepresentations and irreducibility of low degree automorphic Galois representations

Authors: Chun Yin Hui

Abstract: Let $X$ be a smooth, separated, geometrically connected scheme defined over a number field $K$ and $\{ρ_λ\}_λ$ a system of n-dimensional semisimple $λ$-adic representations of the étale fundamental group of $X$ such that for each closed point $x$ of $X$, the specialization $\{ρ_{λ,x}\}_λ$ is a compatible system of Galois representations under mild local conditions. For almost all $λ$, we prove tha… ▽ More Let $X$ be a smooth, separated, geometrically connected scheme defined over a number field $K$ and $\{ρ_λ\}_λ$ a system of n-dimensional semisimple $λ$-adic representations of the étale fundamental group of $X$ such that for each closed point $x$ of $X$, the specialization $\{ρ_{λ,x}\}_λ$ is a compatible system of Galois representations under mild local conditions. For almost all $λ$, we prove that any type A irreducible subrepresentation of $ρ_λ\otimes \bar{\mathbb{Q}}_\ell$ is residually irreducible. When $K$ is totally real or CM, $n\leq 6$, and $\{ρ_λ\}_λ$ is the compatible system of Galois representations of $K$ attached to a regular algebraic, polarized, cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_K)$, for almost all $λ$ we prove that $ρ_λ\otimes\bar{\mathbb{Q}}_\ell$ is (i) irreducible and (ii) residually irreducible if in addition $K=\mathbb{Q}$. △ Less

Submitted 3 August, 2023; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: Revised version. To appear in JLMS

Torsion elements of the Nottingham group of order p^2

Authors: Chun Yin Hui, Krishna Kishore

Abstract: We establish an explicit upper bound B(p,l,m), depending on p,l,m, on the number of conjugacy classes of order p^2 torsion elements u of type <l,m> of the Nottingham group defined over the prime field of characteristic p >0. In the cases where l < p, the number of conjugacy classes of type <l,m> coincides with B(p,l,m). Moreover, we give a criterion on when u and u^n are conjugate. We establish an explicit upper bound B(p,l,m), depending on p,l,m, on the number of conjugacy classes of order p^2 torsion elements u of type <l,m> of the Nottingham group defined over the prime field of characteristic p >0. In the cases where l < p, the number of conjugacy classes of type <l,m> coincides with B(p,l,m). Moreover, we give a criterion on when u and u^n are conjugate. △ Less

Submitted 26 October, 2018; originally announced October 2018.

Comments: 10 pages

On the rationality of algebraic monodromy groups of compatible systems

Authors: Chun Yin Hui

Abstract: Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $λ$-adic representations of the étale fundamental group of $X$ with connected algebraic monodromy groups $G_λ$, we construct a common $E$-form $G$ of all the groups $G_λ$ and in the absolutely irreducible case,… ▽ More Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $λ$-adic representations of the étale fundamental group of $X$ with connected algebraic monodromy groups $G_λ$, we construct a common $E$-form $G$ of all the groups $G_λ$ and in the absolutely irreducible case, a common $E$-form $G\hookrightarrow\text{GL}_{n,E}$ of all the tautological representations $G_λ\hookrightarrow\text{GL}_{n,E_λ}$ (Theorem 1.1). Analogous rationality results in characteristic $p$ assuming the existence of crystalline companions in $\text{F-Isoc}^{\dagger}(X)\otimes E_{v}$ for all $v|p$ (Theorem 1.5) and in characteristic zero assuming ordinariness (Theorem 1.6) are also obtained. Applications include a construction of $G$-compatible system from some $\text{GL}_n$-compatible system and some results predicted by the Mumford-Tate conjecture. △ Less

Submitted 2 November, 2022; v1 submitted 22 May, 2018; originally announced May 2018.

Comments: Accepted in JEMS

Maximality of Galois actions for abelian and hyperkahler varieties

Authors: Chun Yin Hui, Michael Larsen

Abstract: Let $\{ρ_\ell\}_\ell$ be the system of $\ell$-adic representations arising from the $i$th $\ell$-adic cohomology of a complete smooth variety $X$ defined over a number field $K$. Let $Γ_\ell$ and $\mathbf{G}_\ell$ be respectively the image and the algebraic monodromy group of $ρ_\ell$. We prove that the reductive quotient of $\mathbf{G}_\ell^\circ$ is unramified over every degree 12 totally ramifi… ▽ More Let $\{ρ_\ell\}_\ell$ be the system of $\ell$-adic representations arising from the $i$th $\ell$-adic cohomology of a complete smooth variety $X$ defined over a number field $K$. Let $Γ_\ell$ and $\mathbf{G}_\ell$ be respectively the image and the algebraic monodromy group of $ρ_\ell$. We prove that the reductive quotient of $\mathbf{G}_\ell^\circ$ is unramified over every degree 12 totally ramified extension of $\mathbb{Q}_\ell$ for all sufficiently large $\ell$. We give a necessary and sufficient condition $(\ast)$ on $\{ρ_\ell\}_\ell$ such that for all sufficiently large $\ell$, the subgroup $Γ_\ell$ is in some sense maximal compact in $\mathbf{G}_\ell(\mathbb{Q}_\ell)$. This is used to deduce Galois maximality results for $\ell$-adic representations arising from abelian varieties (for all $i$) and hyperkähler varieties ($i=2$) defined over finitely generated fields over $\mathbb{Q}$. △ Less

Submitted 14 September, 2019; v1 submitted 23 July, 2017; originally announced July 2017.

Comments: Accepted in Duke Math J

Journal ref: Duke Math. J. 169, no. 6 (2020), 1163-1207

Geometric monodromy -- semisimplicity and maximality

Authors: Anna Cadoret, Chun Yin Hui, Akio Tamagawa

Abstract: Let $X$ be a connected scheme, smooth and separated over an algebraically closed field $k$ of characteristic $p\geq 0$, let $f:Y\rightarrow X$ be a smooth proper morphism and $x$ a geometric point on $X$. We prove that the tensor invariants of bounded length $\leq d$ of $π_1(X,x)$ acting on the étale cohomology groups $H^*(Y_x,F_\ell)$ are the reduction modulo-$\ell$ of those of $π_1(X,x)$ acting… ▽ More Let $X$ be a connected scheme, smooth and separated over an algebraically closed field $k$ of characteristic $p\geq 0$, let $f:Y\rightarrow X$ be a smooth proper morphism and $x$ a geometric point on $X$. We prove that the tensor invariants of bounded length $\leq d$ of $π_1(X,x)$ acting on the étale cohomology groups $H^*(Y_x,F_\ell)$ are the reduction modulo-$\ell$ of those of $π_1(X,x)$ acting on $H^*(Y_x,Z_\ell)$ for $\ell$ greater than a constant depending only on $f:Y\rightarrow X$, $d$. We apply this result to show that the geometric variant with $F_\ell$-coefficients of the Grothendieck-Serre semisimplicity conjecture -- namely that $π_1(X,x)$ acts semisimply on $H^*(Y_x,F_\ell)$ for $\ell\gg 0$ -- is equivalent to the condition that the image of $π_1(X,x)$ acting on $H^*(Y_x,Q_\ell)$ is `almost maximal' (in a precise sense; what we call `almost hyperspecial') with respect to the group of $Q_\ell$-points of its Zariski closure. Ultimately, we prove the geometric variant with $F_\ell$-coefficients of the Grothendieck-Serre semisimplicity conjecture. △ Less

Submitted 22 February, 2017; originally announced February 2017.

Comments: To appear in Annals of Math

The abelian part of a compatible system and l-independence of the Tate conjecture

Authors: Chun Yin Hui

Abstract: Let K be a number field and {V_l} be a rational strictly compatible system of semisimple Galois representations of K arising from geometry. Let G_l and V_l^ab be respectively the algebraic monodromy group and the maximal abelian subrepresentation of V_l for all l. We prove that the system {V_l^ab} is also a rational strictly compatible system under some group theoretic conditions, e.g., when G_l'… ▽ More Let K be a number field and {V_l} be a rational strictly compatible system of semisimple Galois representations of K arising from geometry. Let G_l and V_l^ab be respectively the algebraic monodromy group and the maximal abelian subrepresentation of V_l for all l. We prove that the system {V_l^ab} is also a rational strictly compatible system under some group theoretic conditions, e.g., when G_l' is connected and satisfies Hypothesis A for some prime l'. As an application, we prove that the Tate conjecture for abelian variety X/K is independent of l if the algebraic monodromy groups of the Galois representations of X satisfy the required conditions. △ Less

Submitted 20 September, 2018; v1 submitted 3 March, 2016; originally announced March 2016.

Comments: 22 pages. Accepted to Manuscripta Math

Invariant dimensions and maximality of geometric monodromy action

Authors: Chun Yin Hui

Abstract: Let X be a smooth separated geometrically connected variety over F_q and f:Y-> X a smooth projective morphism. We compare the invariant dimensions of the l-adic representation V_l and the F_l-representation \bar V_l of the geometric étale fundamental group of X arising from the sheaves R^wf_*Q_l and R^wf_*Z/lZ respectively. These invariant dimension data is used to deduce a maximality result of th… ▽ More Let X be a smooth separated geometrically connected variety over F_q and f:Y-> X a smooth projective morphism. We compare the invariant dimensions of the l-adic representation V_l and the F_l-representation \bar V_l of the geometric étale fundamental group of X arising from the sheaves R^wf_*Q_l and R^wf_*Z/lZ respectively. These invariant dimension data is used to deduce a maximality result of the geometric monodromy action on V_l whenever \bar V_l is semisimple and l is sufficiently large. We also provide examples for \bar V_l to be semisimple for l>>0. △ Less

Submitted 29 August, 2015; originally announced August 2015.

MSC Class: 11F80 11G25 14D05 14F20

On the rationality of certain type A Galois representations

Authors: Chun Yin Hui

Abstract: Let $X$ be a complete smooth variety defined over number field $K$ and $i$ an integer. The absolute Galois group of $K$ acts on the $i$th $l$-adic etale cohomology of $X$ for all $l$, producing a system of $l$-adic representations $\{Φ_l\}$. The conjectures of Grothendieck, Tate, and Mumford-Tate predict that the identity component of the algebraic monodromy group of $Φ_\ell$ admits a common reduc… ▽ More Let $X$ be a complete smooth variety defined over number field $K$ and $i$ an integer. The absolute Galois group of $K$ acts on the $i$th $l$-adic etale cohomology of $X$ for all $l$, producing a system of $l$-adic representations $\{Φ_l\}$. The conjectures of Grothendieck, Tate, and Mumford-Tate predict that the identity component of the algebraic monodromy group of $Φ_\ell$ admits a common reductive $Q$-form for all $l$ if $X$ is projective. Denote by $Γ_l$ and $G_l$ respectively the monodromy group and the algebraic monodromy group of $Φ_l^{ss}$, the semisimplification of $Φ_\ell$. Assuming that $G_{l_0}$ satisfies a group theoretic condition for some prime $l_0$ (Hypothesis A), we construct a connected quasi-split $Q$-reductive group $G_Q$ which is a common $Q$-form of $G_l^\circ$ for all sufficiently large $l$. Let $G_Q^{sc}$ be the universal cover of the derived group of $G_Q$. As an application, we prove that the monodromy group $Γ_\ell$ is big in the sense that $Γ_\ell^{sc}\cong G_Q^{sc}(Z_l)$ for all sufficiently large $l$. △ Less

Submitted 22 February, 2017; v1 submitted 23 November, 2014; originally announced November 2014.

Comments: To appear in TAMS

MSC Class: 11F80; 14F20; 20G30

The Waring problem for Lie groups and Chevalley groups

Authors: Chun Yin Hui, Michael Larsen, Aner Shalev

Abstract: The classical Waring problem deals with expressing every natural number as a sum of g(k) k-th powers. Similar problems were recently studied in group theory, where we aim to present group elements as short products of values of a given non-trivial word w. In this paper we study this problem for Lie groups and Chevalley groups over infinite fields. We show that for a fixed non-trivial word w and fo… ▽ More The classical Waring problem deals with expressing every natural number as a sum of g(k) k-th powers. Similar problems were recently studied in group theory, where we aim to present group elements as short products of values of a given non-trivial word w. In this paper we study this problem for Lie groups and Chevalley groups over infinite fields. We show that for a fixed non-trivial word w and for a classical connected real compact Lie group G of sufficiently large rank we have w(G)^2=G, namely every element of G is a product of 2 values of w. We prove a similar result for non-compact Lie groups of arbitrary rank, arising from Chevalley groups over R or over a p-adic field. We also study this problem for Chevalley groups over arbitrary infinite fields, and show in particular that every element in such a group is a product of two squares. △ Less

Submitted 18 April, 2014; originally announced April 2014.

An extension result of CR Functions by a general Schwarz reflection principle

Authors: Chun Yin Hui

Abstract: It is known that a real analytic CR function f on a real analytic, generic submanifold M in C^N can be holomorphically extended. A stronger result on a finite type, real analytic, generic submanifold M is found in which we assume f a continuous CR function with real analytic imaginary part Im(f). The idea is contained in a general Schwarz Reflection Principle in one complex variable. It is known that a real analytic CR function f on a real analytic, generic submanifold M in C^N can be holomorphically extended. A stronger result on a finite type, real analytic, generic submanifold M is found in which we assume f a continuous CR function with real analytic imaginary part Im(f). The idea is contained in a general Schwarz Reflection Principle in one complex variable. △ Less

Submitted 18 April, 2014; originally announced April 2014.

Journal ref: Complex Variables and Elliptic Equations, Vol.54 (2009), 927-934

Adelic openness without the Mumford-Tate conjecture

Authors: Chun Yin Hui, Michael Larsen

Abstract: Let $X$ be a non-singular projective variety over a number field $K$, $i$ a non-negative integer, and $V_{\A}$, the etale cohomology of $\bar X$ with coefficients in the ring of finite adeles $\A_f$ over $\Q$. Assuming the Mumford-Tate conjecture, we formulate a conjecture (Conjecture 1.2) describing the largeness of the image of the absolute Galois group $G_K$ in $H(\A_f)$ under the adelic Galois… ▽ More Let $X$ be a non-singular projective variety over a number field $K$, $i$ a non-negative integer, and $V_{\A}$, the etale cohomology of $\bar X$ with coefficients in the ring of finite adeles $\A_f$ over $\Q$. Assuming the Mumford-Tate conjecture, we formulate a conjecture (Conjecture 1.2) describing the largeness of the image of the absolute Galois group $G_K$ in $H(\A_f)$ under the adelic Galois representation $ρ_{\A}: G_K -> \Aut(V_{\A})=\GL_n(\A_f)$, where $H$ is the Hodge group. The motivating example is a celebrated theorem of Serre, which asserts that if $X$ is an elliptic curve without complex multiplication over $\bar K$ and $i=1$, then $ρ_{\A}(G_K)$ is an open subgroup of $\GL_2(\hat \Z)\subset \GL_2(\A_f)$. We state and in some cases prove a weaker conjecture which does not require Mumford-Tate but which, together with Mumford-Tate, implies Conjecture 1.2. We also relate our conjectures to Serre's conjectures on maximal motives. △ Less

Submitted 29 August, 2015; v1 submitted 13 December, 2013; originally announced December 2013.

Comments: Section 5 is new

l-independence for Compatible Systems of (mod l) Representations

Authors: Chun Yin Hui

Abstract: Let K be a number field. For any system of semisimple mod l Galois representations {φ_l:Gal_K->GL_N(F_l)} arising from étale cohomology, there exists a finite normal extension L of K such that if we denote φ_l(Gal_K) and φ_l(Gal_L) by respectively Γ_l and γ_l for all l, and let S_l be the F_l-semisimple subgroup of GL_N associated to γ_l (or Γ_l) by Nori [No87] for all sufficiently large l, then t… ▽ More Let K be a number field. For any system of semisimple mod l Galois representations {φ_l:Gal_K->GL_N(F_l)} arising from étale cohomology, there exists a finite normal extension L of K such that if we denote φ_l(Gal_K) and φ_l(Gal_L) by respectively Γ_l and γ_l for all l, and let S_l be the F_l-semisimple subgroup of GL_N associated to γ_l (or Γ_l) by Nori [No87] for all sufficiently large l, then the following statements hold for all sufficiently large l: A(i) The formal character of S_l->GL_N is independent of l and is equal to the formal character of the tautological representation of the derived group of the identity component of the monodromy group of the corresponding semi-simplified l-adic Galois representation. A(ii) The non-cyclic composition factors of γ_l and S_l(F_l) are identical. Therefore, the composition factors of γ_l are finite simple groups of Lie type of characteristic l and cyclic groups. B(i) The total l-rank rk_lΓ_l of Γ_l is equal to the rank of S_l and is therefore independent of l. B(ii) The A_n-type l-rank rk_l^{A_n}Γ_l of Γ_l for n belonging to N\{1,2,3,4,5,7,8} and the parity of (rk_l^{A_4}Γ_l)/4 are independent of l. △ Less

Submitted 27 November, 2014; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: 35 pages. To appear in Compos. Math. This version is different from the published version

MSC Class: 11F80; 14F20; 20D05

Journal ref: Compositio Mathematica 151 (2015) 1215-1241

Type A Images of Galois Representations and Maximality

Authors: Chun Yin Hui, Michael Larsen

Abstract: Given a compatible system of n-dimension l-adic Galois representations arising from étale cohomology of any complete, non-singular variety, we prove that for sufficiently large prime l, type A Galois image (in the Cartan-Killing classification) is in some sense maximal in its Zariski closure in GL(n). Given a compatible system of n-dimension l-adic Galois representations arising from étale cohomology of any complete, non-singular variety, we prove that for sufficiently large prime l, type A Galois image (in the Cartan-Killing classification) is in some sense maximal in its Zariski closure in GL(n). △ Less

Submitted 11 August, 2014; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: Revised version 17 pages

Monodromy of Galois representations and equal-rank subalgebra equivalence

Authors: Chun Yin Hui

Abstract: We study l-independence of monodromy groups G_l of any compatible system of l-adic representations (in the sense of Serre) of number field K assuming semisimplicity. We prove that the formal character of the derived group of the identity component of G_l is independent of l and the (complexified) Lie algebra g_l of G_l satisfies an equal-rank subalgebra equivalence for all l. This equivalence is e… ▽ More We study l-independence of monodromy groups G_l of any compatible system of l-adic representations (in the sense of Serre) of number field K assuming semisimplicity. We prove that the formal character of the derived group of the identity component of G_l is independent of l and the (complexified) Lie algebra g_l of G_l satisfies an equal-rank subalgebra equivalence for all l. This equivalence is equivalent to the l-independence of the number of A_n factors for all n belonging to {6,9,10,11,...} and the parity of A_4 factors in g_l. △ Less

Submitted 3 January, 2014; v1 submitted 24 April, 2012; originally announced April 2012.

Comments: Typos corrected. To appear in Math. Res. Letter

Specialization of monodromy group and l-independence

Authors: Chun Yin Hui

Abstract: Let $E$ be an abelian scheme over a geometrically connected variety $X$ defined over $k$, a finitely generated field over $\mathbb{Q}$. Let $η$ be the generic point of $X$ and $x\in X$ a closed point. If $\mathfrak{g}_l$ and $(\mathfrak{g}_l)_x$ are the Lie algebras of the $l$-adic Galois representations for abelian varieties $E_η$ and $E_x$, then $(\mathfrak{g}_l)_x$ is embedded in… ▽ More Let $E$ be an abelian scheme over a geometrically connected variety $X$ defined over $k$, a finitely generated field over $\mathbb{Q}$. Let $η$ be the generic point of $X$ and $x\in X$ a closed point. If $\mathfrak{g}_l$ and $(\mathfrak{g}_l)_x$ are the Lie algebras of the $l$-adic Galois representations for abelian varieties $E_η$ and $E_x$, then $(\mathfrak{g}_l)_x$ is embedded in $\mathfrak{g}_l$ by specialization. We prove that the set $\{x\in X$ closed point $| (\mathfrak{g}_l)_x\subsetneq \mathfrak{g}_l\}$ is independent of $l$ and confirm Conjecture 5.5 in [2]. △ Less

Submitted 13 November, 2011; v1 submitted 21 October, 2011; originally announced October 2011.

Comments: 4 pages

Diophantine Equations of Matching Games I

Authors: Chun Yin Hui, Wai Yan Pong

Abstract: We solve a family of quadratic Diophantine equations associated to a simple kind of games. We show that the ternary case, in many ways, is the most interesting and the least arbitrary member of the family. We solve a family of quadratic Diophantine equations associated to a simple kind of games. We show that the ternary case, in many ways, is the most interesting and the least arbitrary member of the family. △ Less

Submitted 19 April, 2011; originally announced April 2011.

Comments: submitted to the journal INTEGERS

MSC Class: 11D09