We compute the image of any choice of complex conjugation on the Galois representations associated to regular algebraic cuspidal automorphic representations and to torsion classes in the cohomology of locally symmetric spaces for $GL_n$ over a totally real field $F$.
Let $F$ be a CM field with totally real subfield $F^+$ and let $π$ be a $C$-algebraic cuspidal automorphic automorphic representation of $\mathrm{U}(a,b)(\mathbf{A}_{F^+})$ whose archimedean components lie in the (non-degenerate limit of) discrete series. We attach to $π$ a Galois representation $R_π:\mathrm{Gal}(\overline F/ F^+)\to{}^C\mathrm{U}(a,b)(\overline{\mathbf Q}_\ell)$ such that, for any complex conjugation element $c$, $R_π(c)$ is as predicted by the Buzzard--Gee conjecture. As a corollary, we deduce that the Galois representations attached to certain irregular, $C$-algebraic (esse…
Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to inner automorphism. Here we construct a profinite algebraic group which is an inner form of the absolute Galois group. Our construction uses no form of the axiom of choice, and the group is defined up to canonical isomorphism. We also show that the Frobenius associated with a prime of a number field unramified in an extension, which is classically defined only u…
The goal of this article is to give an explicit classification of the possible $p$-adic Galois representations that are attached to elliptic curves $E$ with CM defined over $\mathbb{Q}(j(E))$. More precisely, let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j(E))$. Let $p\geq 2$ be a prime, let $G_{\mathbb{Q}(j(E))}$ be the absolute Galois group of $\mathbb{Q}(j(E))$, and let $ρ_{E,p^\infty}\colon G_{\mathbb{Q}(j(E))}\t…
In this article, we use deformation theory of Galois representations valued in the symplectic group of degree four to prove a freeness result for the cohomology of certain quaternionic unitary Shimura variety over the universal deformation ring for certain type of residual representation satisfying a property called rigidity. This result plays an important role in the proof of the arithmetic level raising theorem for the symplectic similitude group of degree four over the field of rational numbers by the author.
In this paper we discuss applications of our earlier work in studying certain Galois groups and splitting fields of rational functions in $\mathbb Q\left(X_0(N)\right)$ using Hilbert's irreducibility theorem and modular forms. We also consider computational aspect of the problem using MAGMA and SAGE.
Let $\mathcal{G}$ be a connected reductive almost simple group over the Witt ring $W(\mathbb{F})$ for $\mathbb{F}$ a finite field of characteristic $p$. Let $R$ and $R'$ be complete noetherian local $W(\mathbb{F})$ -algebras with residue field $\mathbb{F}$. Under a mild condition on $p$ in relation to structural constants of $\mathcal{G}$, we show the following results: (1) Every closed subgroup $H$ of $\mathcal{G}(R)$ with full residual image $\mathcal{G}(\mathbb{F})$ is a conjugate of a group $\mathcal{G}(A)$ for $A\subset R$ a closed subring that is local and has residue field $\mathbb{F}$ …
We study the image of the $\ell$-adic Galois representations associated to the four vector valued Siegel modular forms appearing in the work of Chenevier and Lannes. These representations are symplectic of dimension $4$. Following a method of Dieulefait, we determine the primes $\ell$ for which these representations are absolutely irreducible. In addition, we show that their image is "full" for all primes $\ell$ such that the associated residual representation is absolutely irreducible, except in two cases.
In this paper we study the images of certain families $\{ρ_{π,\ell} \}_\ell$ of $G_2$-valued Galois representations of $\mbox{Gal}(\overline{F}/F)$ associated to $L$-algebraic regular, self-dual, cuspidal automorphic representations $π$ of $\mbox{GL}_7(\mathbb{A}_F)$, where $F$ is a totally real field. In particular, we prove that, under certain automorphic conditions, the images of the residual representations $\overlineρ_{π,\ell}$ are as large as possible for infinitely many primes $\ell$. Moreover, we apply our result to some examples constructed by Chenevier, Renard and Taïbi.
For every prime $p\geq 5$ for which a certain condition on the class group $\text{Cl}(\mathbb{Q}(μ_p))$ is satisfied, we construct a $p$-adic analytic Galois extension of the infinite cyclotomic extension $\mathbb{Q}(μ_{p^{\infty}})$ with some special ramification properties. In greater detail, this extension is unramified at primes above $p$ and tamely ramified above finitely many rational primes and is isomorphic to a finite index subgroup of $\text{SL}_2(\mathbb{Z}_p)$ which contains the principal congruence subgroup. For the primes $107,139,271$ and $379$ such extensions were first constru…
Given two monic polynomials f and g with coefficients in a number field K, and some a in K, we examine the action of the absolute Galois group of K on the directed graph of iterated preimages of a under the correspondence g(y)=f(x), assuming that deg(f)>deg(g) and that gcd(deg(f), deg(g))=1. If a prime of K exists at which f and g have integral coefficients, and at which a is not integral, we show that this directed graph of preimages consists of finitely many Galois-orbits. We obtain this result by establishing a p-adic uniformization of such correspondences, tenuously related to Bottcher's u…
Let $m$ be an integer greater than three and $\ell$ be an odd prime. In this paper, we prove that at least one of the following groups: $\mbox{P}Ω^\pm_{2m}(\mathbb{F}_{\ell^s})$, $\mbox{PSO}^\pm_{2m}(\mathbb{F}_{\ell^s})$, $\mbox{PO}_{2m}^\pm(\mathbb{F}_{\ell^s})$ or $\mbox{PGO}^\pm_{2m}(\mathbb{F}_{\ell^s})$ is a Galois group of $\mathbb{Q}$ for infinitely many integers $s > 0$. This is achieved by making use of a slight modification of a group theory result of Khare, Larsen and Savin, and previous results of the author on the images of the Galois representations attached to cuspidal automorp…
In this article we study local constancy of the mod $p$ reduction of certain $2$-dimensional crystalline representations of $\mathrm{Gal}\left(\bar{\mathbb{Q}}_p/\mathbb{Q}_p\right)$ using the mod $p$ local Langlands correspondence. We prove local constancy in the weight space by giving an explicit lower bound on the local constancy radius centered around weights going up to $(p-1)^{2} +3$ and the slope fixed in $(0, \ p-1)$ satisfying certain constraints. We establish the lower bound by determining explicitly the mod $p$ reductions at nearby weights and applying a local constancy result of Be…
Let $p$ be an odd prime and $q$ a power of $p$. We examine the deformation theory of reducible and indecomposable Galois representations $\barρ:G_{\mathbb{Q}}\rightarrow \text{GSp}_{2n}(\mathbb{F}_q)$ that are unramified outside a finite set of primes $S$ and whose image lies in a Borel subgroup. We show that under some additional hypotheses, such representations have geometric lifts to the Witt vectors $\text{W}(\mathbb{F}_q)$. The main theorem extends that of Hamblen and Ramakrishna in which the $n=1$ case was treated.
In this paper we study the action of complex conjugation on Shimura varieties and the problem of descending these to the maximal totally real field of the reflex field. We prove the existence of such descent for many Shimura varieties whose associated adjoint group has certain factors of type A or D. This includes a large family of Shimura varieties of abelian type. Our considerations and constructions are carried out purely at the level of Shimura data and group theory.
In the 80's Aschbacher classified the maximal subgroups of almost all of the finite almost simple classical groups. Essentially, this classification divide these subgroups into two types. The first of these consist roughly of subgroups that preserve some kind of geometric structure, so they are commonly called subgroups of geometric type. In this paper we will prove the existence of infinitely many compatible systems $\{ ρ_\ell \}_\ell$ of $n$-dimensional Galois representations associated to regular algebraic, essentially self-dual, cuspidal automorphic representations of $\mbox{GL}_n(\mathbb{…
In this article we study the Galois group of field generated by division points of special class of formal group laws and prove an equivalent condition for the group to be abelian. Further, we explore relations between the endomorphism ring of a formal group and the Galois group of field generated by division points.
We realize Frobenius conjugacy classes in Galois groups of certain $q$-polynomials over $\mathbb{F}_q(t)$ using specific degree 1 ideals. We combine this with methods from elementary linear algebra and group theory to realize transvections in some linear Galois groups. This enables the Galois group to be identified as a known classical group in several reasonably general cases.
Let $ρ$ be a two-dimensional even Galois representation which is induced from a character $χ$ of odd order of the absolute Galois group of a real quadratic field. After imposing some additional conditions on $χ$, we attach $ρ$ to a Hecke eigenclass in the cohomology of ${\rm GL}(2,\mathbb Z)$ with coefficients in a certain infinite-dimensional vector space over a field of characteristic not equal to 2.
Let T be a free Z_p-module of finite rank equipped with a continuous Z_p-linear action of the absolute Galois group of a number field K satisfying certain conditions. In this article, by using a Selmer group corresponding to T, we give a lower bound of the additive p-adic valuation of the class number of K_n, which is the Galois extension field of K fixed by the stabilizer of T/p^n T. By applying this result, we prove an asymptotic inequality which describes an explicit lower bound of the class numbers along a tower K(A[p^\infty])/K for a given abelian variety A with certain conditions in term…
We prove that the arboreal Galois representations attached to certain unicritical polynomials have finite index in an infinite wreath product of cyclic groups, and we prove surjectivity for some small degree examples, including a new family of quadratic polynomials. To do this, we use a combination of local techniques including the Chabauty-Coleman method and the Mordell-Weil sieve.