Source author record

Chun Yin Hui

Chun Yin Hui appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

9works
5topics
3close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2015arXiv

Adelic openness without the Mumford-Tate conjecture

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.

preprint2015arXiv

Invariant dimensions and maximality of geometric monodromy action

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.

preprint2014arXiv

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

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.

preprint2014arXiv

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

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.

preprint2014arXiv

Monodromy of Galois representations and equal-rank subalgebra equivalence

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.

preprint2014arXiv

The Waring problem for Lie groups and Chevalley groups

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.

preprint2011arXiv

Specialization of monodromy group and l-independence

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].