Showing 1–50 of 54 results for author: Khare, C

A freeness criterion for complexes with derived actions

Authors: Sylvain Brochard, Srikanth B. Iyengar, Chandrashekhar B. Khare

Abstract: Inspired by the patching method of Calegari and Geraghty, and a conjecture of de Smit that has been proved by the first author, we present a conjectural freeness criterion without patching for complexes over commutative noetherian local rings with derived actions, and verify it in several cases. Inspired by the patching method of Calegari and Geraghty, and a conjecture of de Smit that has been proved by the first author, we present a conjectural freeness criterion without patching for complexes over commutative noetherian local rings with derived actions, and verify it in several cases. △ Less

Submitted 18 February, 2025; originally announced February 2025.

Comments: 17 pages

MSC Class: 13C10 (primary); 13D02; 11F80 (secondary)

Congruence modules in higher codimension and zeta lines in Galois cohomology

Authors: Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning, Eric Urban

Abstract: This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence modules, and a more refined version of a result tracking the change of congruence modules under deformation is proved. Number theoretic applications include the const… ▽ More This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence modules, and a more refined version of a result tracking the change of congruence modules under deformation is proved. Number theoretic applications include the construction of canonical lines in certain Galois cohomology groups arising from adjoint motives of Hilbert modular forms. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Comments: 22 pages

MSC Class: 11F80 (primary); 11F33; 13D02 (secondary)

Freeness of Hecke modules at non-minimal levels

Authors: Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning

Abstract: We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_Σ),\mathcal{O})_{\mathfrak{m}_Σ}$ of arithmetic manifolds are free over certain deformation rings $R_Σ$, when there are enough geometric characteristic 0 representations. Hitherto we had proved that the homology group has a nonzero free $R_Σ$-direct summand. The new ingredient is a commutative alg… ▽ More We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_Σ),\mathcal{O})_{\mathfrak{m}_Σ}$ of arithmetic manifolds are free over certain deformation rings $R_Σ$, when there are enough geometric characteristic 0 representations. Hitherto we had proved that the homology group has a nonzero free $R_Σ$-direct summand. The new ingredient is a commutative algebra argument involving congruence modules defined in higher codimension in [6]. △ Less

Submitted 27 August, 2022; originally announced August 2022.

Comments: 12 pages

Report number: MPIM-Bonn-2022 MSC Class: 11F80 (primary); 13C10; 13D02 (secondary)

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Authors: Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning

Abstract: We define a congruence module $Ψ_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $λ\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $λ$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of pos… ▽ More We define a congruence module $Ψ_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $λ\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $λ$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of positive rank. It is in terms of the lengths of $Ψ_A(M)$ and the torsion part of $\mathfrak{p}/\mathfrak{p}^2$. It generalizes results of Wiles, Lenstra, and Diamond, that deal with the case when the codimension of $\mathfrak{p}$ is zero. Number theoretic applications include integral (non-minimal) $R=\mathbb T$ theorems in situations of positive defect conditional on certain standard conjectures. Here $R$ is a deformation ring parametrizing certain Galois representations and $\mathbb T$ is a Hecke algebra. An example is a modularity lifting for 2-dimensional $\ell$-adic Galois representations over an imaginary quadratic field. The proofs combine our commutative algebra results with a generalization due to Calegari and Geraghty of the patching method of Wiles and Taylor--Wiles and level raising arguments that go back to Ribet. The results provide new evidence in favor of the intriguing, and as yet fledgling, torsion analog of the classical Langlands correspondence. We also prove unconditional integral $R=\mathbb T$ results for Hecke algebras $\mathbb T$ acting on weight one cohomology of Shimura curves over $\mathbb Q$. This leads to a torsion Jacquet--Langlands correspondence comparing integral Hecke algebras acting on weight one cohomology of Shimura curves and modular curves. In this case the cohomology has abundant torsion and so our correspondence cannot be deduced by means of the classical Jacquet--Langlands correspondence. △ Less

Submitted 29 September, 2024; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: 84 pages; various parts of the manuscript have been substantially changed. This article will appear in the Ivent. Math

Report number: MPIM-Bonn-2022 MSC Class: 11F80 (primary); 13C10; 13D02 (secondary)

Splitting fields of $X^n-X-1$ (particularly for $n=5$), prime decomposition and modular forms

Authors: Chandrashekhar B. Khare, Alfio Fabio La Rosa, Gabor Wiese

Abstract: We study the splitting fields of the family of polynomials $f_n(X)= X^n-X-1$. This family of polynomials has been much studied in the literature and has some remarkable properties. Serre related the function on primes $N_p(f_n)$, for a fixed $n \leq 4$ and $p$ a varying prime, which counts the number of roots of $f_n(X)$ in $\mathbb F_p$ to coefficients of modular forms. We study the case $n=5$, a… ▽ More We study the splitting fields of the family of polynomials $f_n(X)= X^n-X-1$. This family of polynomials has been much studied in the literature and has some remarkable properties. Serre related the function on primes $N_p(f_n)$, for a fixed $n \leq 4$ and $p$ a varying prime, which counts the number of roots of $f_n(X)$ in $\mathbb F_p$ to coefficients of modular forms. We study the case $n=5$, and relate $N_p(f_5)$ to mod $5$ modular forms over $\mathbb Q$, and to characteristic 0, parallel weight 1 Hilbert modular forms over $\mathbb Q(\sqrt{19 \cdot 151})$. △ Less

Submitted 31 October, 2022; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: 14 pages, v2: much smaller polynomial thanks to Jürgen Klüners; v3: extended exposition of liftings of projective representations

MSC Class: 11F80 (primary); 11F11; 11F33; 11F41

Cyclic base change of cuspidal automorphic representations over function fields

Authors: Gebhard Böckle, Tony Feng, Michael Harris, Chandrashekhar Khare, Jack A. Thorne

Abstract: Let $G$ be a split semi-simple group over a global function field $K$. Given a cuspidal automorphic representation $Π$ of $G$ satisfying a technical hypothesis, we prove that for almost all primes $\ell$, there is a cyclic base change lifting of $Π$ along any $\mathbb{Z}/\ell\mathbb{Z}$-extension of $K$. Our proof does not rely on any trace formulas; instead it is based on modularity lifting theor… ▽ More Let $G$ be a split semi-simple group over a global function field $K$. Given a cuspidal automorphic representation $Π$ of $G$ satisfying a technical hypothesis, we prove that for almost all primes $\ell$, there is a cyclic base change lifting of $Π$ along any $\mathbb{Z}/\ell\mathbb{Z}$-extension of $K$. Our proof does not rely on any trace formulas; instead it is based on modularity lifting theorems, together with a Smith theory argument to obtain base change for residual representations. As an application, we also prove that for any split semisimple group $G$ over a local function field $F$, and almost all primes $\ell$, any irreducible admissible representation of $G(F)$ admits a base change along any $\mathbb{Z}/\ell\mathbb{Z}$-extension of $F$. Finally, we characterize local base change more explicitly for a class of representations called toral supercuspidal representations. △ Less

Submitted 30 May, 2023; v1 submitted 9 May, 2022; originally announced May 2022.

Comments: Minor revisions

Journal ref: Compositio Math. 160 (2024) 1959-2004

Trianguline lifts of global mod $p$ Galois representations

Authors: Najmuddin Fakhruddin, Chandrashekhar Khare, Stefan Patrikis

Abstract: We show that under a suitable oddness condition, irreducible mod $p$ representations of the absolute Galois group of an arbitrary number field have characteristic zero lifts which are unramified outside a finite set of primes and trianguline at all primes of $F$ dividing $p$. We also prove variants of this result for representations valued in connected reductive groups. We show that under a suitable oddness condition, irreducible mod $p$ representations of the absolute Galois group of an arbitrary number field have characteristic zero lifts which are unramified outside a finite set of primes and trianguline at all primes of $F$ dividing $p$. We also prove variants of this result for representations valued in connected reductive groups. △ Less

Submitted 10 May, 2022; v1 submitted 1 February, 2022; originally announced February 2022.

Comments: The main theorem is now phrased in a more natural degree of generality, for any number field. Comments welcome

Journal ref: Pacific J. Math. 320 (2022) 223-240

Wiles defect of Hecke algebras via local-global arguments

Authors: Gebhard Boeckle, Chandrashekhar B. Khare, Jeffrey Manning

Abstract: We continue our study of the Wiles defect of deformation rings $R$ and Hecke rings $T$ (at a newform $f$) acting on the cohomology of Shimura curves. The Wiles defect at an augmentation $λ_f:T \to O$ measures the failure of $R,T$ to be complete intersections locally at $λ_f$. In situations we study here the Taylor-Wiles-Kisin patching method gives an isomorphism $R=T$ without the rings being compl… ▽ More We continue our study of the Wiles defect of deformation rings $R$ and Hecke rings $T$ (at a newform $f$) acting on the cohomology of Shimura curves. The Wiles defect at an augmentation $λ_f:T \to O$ measures the failure of $R,T$ to be complete intersections locally at $λ_f$. In situations we study here the Taylor-Wiles-Kisin patching method gives an isomorphism $R=T$ without the rings being complete intersections. Using novel arguments in commutative algebra and patching, we generalize significantly and give different proofs of our earlier results that compute the Wiles defect at $λ_f: R=T \to O$, and explain in an a priori manner why the answer is a sum of local defects. As a curious application of our work we give a new and more robust approach to the result of Ribet--Takahashi that computes change of degrees of optimal parametrizations of elliptic curves by Shimura curves as we vary the Shimura curve. △ Less

Submitted 23 August, 2021; v1 submitted 22 August, 2021; originally announced August 2021.

Comments: with an appendix by Najmuddin Fakhruddin and Chandrashekhar Khare

MSC Class: 11F80

Wiles defect for modules and criteria for freeness

Authors: Sylvain Brochard, Srikanth B. Iyengar, Chandrashekhar B. Khare

Abstract: F. Diamond proved a numerical criterion for modules over local rings to be free modules over complete intersection rings. We formulate a refinement of these results using the notion of Wiles defect. A key step in the proof is a formula that expresses the Wiles defect of a module in terms of the Wiles defect of the underlying ring. F. Diamond proved a numerical criterion for modules over local rings to be free modules over complete intersection rings. We formulate a refinement of these results using the notion of Wiles defect. A key step in the proof is a formula that expresses the Wiles defect of a module in terms of the Wiles defect of the underlying ring. △ Less

Submitted 18 February, 2022; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 15 pages; minor revision. To appear in the Int. Math. Res. Notices

MSC Class: 11F80 (primary); 13C99; 13F99 (secondary)

Modularity of $\operatorname{PGL}_2(\mathbb{F}_p)$-representations over totally real fields

Authors: Patrick B. Allen, Chandrashekhar B. Khare, Jack A. Thorne

Abstract: We study an analogue of Serre's modularity conjecture for projective representations $\overlineρ: \operatorname{Gal}(\overline{K} / K) \rightarrow \operatorname{PGL}_2(k)$, where $K$ is a totally real number field. We prove new cases of this conjecture when $k = \mathbb{F}_5$ by using the automorphy lifting theorems over CM fields established in previous work of the authors. We study an analogue of Serre's modularity conjecture for projective representations $\overlineρ: \operatorname{Gal}(\overline{K} / K) \rightarrow \operatorname{PGL}_2(k)$, where $K$ is a totally real number field. We prove new cases of this conjecture when $k = \mathbb{F}_5$ by using the automorphy lifting theorems over CM fields established in previous work of the authors. △ Less

Submitted 9 September, 2021; v1 submitted 29 April, 2021; originally announced April 2021.

Comments: 11 pages. Refereed version

MSC Class: 11F41; 11F80

Journal ref: Proc. Natl. Acad. Sci. USA 118 (2021), no. 33, e2108064118

A freeness criterion without patching for modules over local rings

Authors: Sylvain Brochard, Srikanth B. Iyengar, Chandrashekhar Khare

Abstract: It is proved that if $\varphi\colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at most $\mathrm{edim}\, A - \mathrm{edim}\, B$, is free over $B$, and $\varphi$ is a special type of complete intersection. This result is motivated by a "patching method" developed by Taylor and Wiles, and a conjec… ▽ More It is proved that if $\varphi\colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at most $\mathrm{edim}\, A - \mathrm{edim}\, B$, is free over $B$, and $\varphi$ is a special type of complete intersection. This result is motivated by a "patching method" developed by Taylor and Wiles, and a conjecture of de Smit, proved by the first author, dealing with the special case when $N$ is flat over $A$. △ Less

Submitted 17 November, 2021; v1 submitted 15 October, 2020; originally announced October 2020.

Comments: 11 page; minor changes in version 2. To appear in J. Inst. Math. Jussieu

MSC Class: 13C10 (primary); 13D02; 11F80 (secondary)

Abelian varieties with isogenous reductions

Authors: Chandrashekhar B. Khare, Michael Larsen

Abstract: If A and B are abelian varieties over a number field K such that there are non-trivial geometric homomorphisms of abelian varieties between reductions of A and B at most primes of K, then there exists a non-trivial (geometric) homomorphism from A to B defined over an algebraic closure of K. If A and B are abelian varieties over a number field K such that there are non-trivial geometric homomorphisms of abelian varieties between reductions of A and B at most primes of K, then there exists a non-trivial (geometric) homomorphism from A to B defined over an algebraic closure of K. △ Less

Submitted 6 October, 2020; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: Final version, with French abstract; to appear in Comptes Rendus - Série Mathématique

Liftable groups, negligible cohomology and Heisenberg representations

Authors: Chandrashekhar B. Khare, Michael Larsen

Abstract: We consider lifting of mod p representations to mod p^2 representations in the setting of representations of (i) finite groups; (ii) absolute Galois groups of abstract fields; and (iii) absolute Galois groups of local and global fields. We consider lifting of mod p representations to mod p^2 representations in the setting of representations of (i) finite groups; (ii) absolute Galois groups of abstract fields; and (iii) absolute Galois groups of local and global fields. △ Less

Submitted 13 December, 2020; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: submitted for proceedings of the International Colloquium on Arithmetic Geometry held at TIFR, Mumbai in January 2020. In this version the results on liftable finite groups are improved due to a remark of Ali Cheraghi

MSC Class: 11F

Lifting and automorphy of reducible mod p Galois representations over global fields

Authors: Najmuddin Fakhruddin, Chandrashekhar Khare, Stefan Patrikis

Abstract: We extend the lifting methods of our previous paper to lift reducible odd representations $\barρ:\mathrm{Gal}(\overline{F}/F) \to G(k)$ of Galois groups of global fields $F$ valued in Chevalley groups $G(k)$. Lifting results, when combined with automorphy lifting results pioneered by Wiles in the number field case and the results on the global Langlands correspondence proved by Drinfeld and L. Laf… ▽ More We extend the lifting methods of our previous paper to lift reducible odd representations $\barρ:\mathrm{Gal}(\overline{F}/F) \to G(k)$ of Galois groups of global fields $F$ valued in Chevalley groups $G(k)$. Lifting results, when combined with automorphy lifting results pioneered by Wiles in the number field case and the results on the global Langlands correspondence proved by Drinfeld and L. Lafforgue in the function field case, give the only known method to access modularity of mod $p$ Galois representations in both reducible and irreducible cases. In the reducible case this allows one to show that the actual representation, rather than just its semisimplification, arises from reduction of the geometric representation attached to a cuspidal automorphic representation on the dual group of $G$. As a particularly concrete application, we get a version of Serre's modularity conjecture for reducible, odd representations $\barρ: \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \mathrm{GL}_2(k)$. This extends earlier results of Hamblen and Ramakrishna in this classical case and proves modularity of infinitely many extensions of fixed characters that are not covered by loc. cit. △ Less

Submitted 15 October, 2021; v1 submitted 28 August, 2020; originally announced August 2020.

Comments: Some clarifications and corrections following referee report. Final version, to appear in Invent. Math

MSC Class: 11F80; 11R39

Derived Hecke action at $p$ and the ordinary $p$-adic cohomology of arithmetic manifolds

Authors: Chandrashekhar Khare, Niccolò Ronchetti

Abstract: We study the derived Hecke action at $p$ on the ordinary $p$-adic cohomology of arithmetic subgroups of semisimple groups $\mathrm G(\mathbb Q)$, i.e., we study the derived version of Hida's theory for ordinary Hecke algebras. This is the analog at $\ell=p$ of derived Hecke actions studied by Venkatesh in the tame case. We show that properties of the derived Hecke action at $p$ are related to deep… ▽ More We study the derived Hecke action at $p$ on the ordinary $p$-adic cohomology of arithmetic subgroups of semisimple groups $\mathrm G(\mathbb Q)$, i.e., we study the derived version of Hida's theory for ordinary Hecke algebras. This is the analog at $\ell=p$ of derived Hecke actions studied by Venkatesh in the tame case. We show that properties of the derived Hecke action at $p$ are related to deep conjectures in Galois cohomology which are higher analogs of the classical Leopoldt conjecture. △ Less

Submitted 27 April, 2020; v1 submitted 13 April, 2020; originally announced April 2020.

Modularity of $\operatorname{GL}_2(\mathbb{F}_p)$-representations over CM fields

Authors: Patrick B. Allen, Chandrashekhar Khare, Jack A. Thorne

Abstract: We prove that many representations $\overlineρ : \operatorname{Gal}(\overline{K} / K) \to \operatorname{GL}_2(\mathbb{F}_3)$, where $K$ is a CM field, arise from modular elliptic curves. We prove similar results when the prime $p = 3$ is replaced by $p = 2$ or $p = 5$. As a consequence, we prove that a positive proportion of elliptic curves over any CM field not containing a 5th root of unity are… ▽ More We prove that many representations $\overlineρ : \operatorname{Gal}(\overline{K} / K) \to \operatorname{GL}_2(\mathbb{F}_3)$, where $K$ is a CM field, arise from modular elliptic curves. We prove similar results when the prime $p = 3$ is replaced by $p = 2$ or $p = 5$. As a consequence, we prove that a positive proportion of elliptic curves over any CM field not containing a 5th root of unity are modular. △ Less

Submitted 2 September, 2022; v1 submitted 28 October, 2019; originally announced October 2019.

Comments: Minor changes and corrections in response to comments of the referee. This is the accepted manuscript

Wiles defect for Hecke algebras that are not complete intersections

Authors: Gebhard Boeckle, Chandrashekhar Khare, Jeffrey Manning

Abstract: In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level were isomorphic and complete intersections, provided the same was true at minimal level. In this paper we study H… ▽ More In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level were isomorphic and complete intersections, provided the same was true at minimal level. In this paper we study Hecke algebras acting on cohomology of Shimura curves arising from maximal orders in indefinite quaternion algebras over the rationals localized at a semistable irreducible mod $p$ Galois representation $\overline ρ$. If $\overline ρ$ is scalar at some primes dividing the discriminant of the quaternion algebra, then Hecke algebra is still isomorphic to the deformation ring, but is not a complete intersection, or even Gorenstein, so the Wiles numerical criterion cannot apply. We consider a weight 2 newform $f$ which contributes to the cohomology of the Shimura curve and gives rise to an augmentation $λ_f$ of the Hecke algebra. We quantify the failure of the Wiles numerical criterion at $λ_f$ by computing the associated {\it Wiles defect} purely in terms of the local behavior at primes dividing the discriminant of the global Galois representation $ρ_f$ which $f$ gives rise to by the Eichler--Shimura construction. One of the main tools used in the proof is Taylor--Wiles--Kisin patching. △ Less

Submitted 4 April, 2021; v1 submitted 18 October, 2019; originally announced October 2019.

Comments: revision after comments of referees, to appear in Compositio Mathematica

MSC Class: 11F80

Quantitative level lowering for Galois representations

Authors: Najmuddin Fakhruddin, Chandrashekhar Khare, Ravi Ramakrishna

Abstract: We use Galois cohomology methods to produce optimal mod $p^d$ level lowering congruences to a $p$-adic Galois representation that we construct as a well chosen lift of a given residual mod $p$ representation. Using our explicit Galois cohomology methods, we construct for a reductive group $G$ and a given residual representation $\barρ: Γ_F \to G(k)$, ramified at a finite set of primes $S$, in favo… ▽ More We use Galois cohomology methods to produce optimal mod $p^d$ level lowering congruences to a $p$-adic Galois representation that we construct as a well chosen lift of a given residual mod $p$ representation. Using our explicit Galois cohomology methods, we construct for a reductive group $G$ and a given residual representation $\barρ: Γ_F \to G(k)$, ramified at a finite set of primes $S$, in favorable conditions that we identify, a finite set of lifts $ρ$, $\{ρ^q\}$ of $\barρ$ to $G(W(k))$ with the following properties: $ρ: Γ_F \to G(W(k))$ is ramified precisely at $S \cup Q$, with $Q$ a finite set of primes disjoint from $S$. For $q \in Q$, $ρ^q:G_F \to G(W(k))$ is unramified outside $S \cup Q \backslash \{q\}$ and $ρ$ and $ρ^q$ are congruent mod $p^d$ if $ρ$ mod $p^d$ is unramified at $q$. Furthermore, the Galois representations $\{ρ^q\}$ are "independent". △ Less

Submitted 14 July, 2020; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: Minor changes and corrections based on a referee's report. To appear in the Journal of the London Mathematical Society

MSC Class: 11Rxx

A local Langlands parameterization for generic supercuspidal representations of $p$-adic $G_2$

Authors: Michael Harris, Chandrashekhar B. Khare, Jack A. Thorne

Abstract: We construct a Langlands parameterization of supercuspidal representations of $G_2$ over a $p$-adic field. More precisely, for any finite extension $K / \QQ_p$ we will construct a bijection \[ \CL_g : \CA^0_g(G_2,K) \rightarrow \CG^0(G_2,K) \] from the set of generic supercuspidal representations of $G_2(K)$ to the set of irreducible continuous homomorphisms $ρ: W_K \to G_2(\CC)$ with $W_K$ the We… ▽ More We construct a Langlands parameterization of supercuspidal representations of $G_2$ over a $p$-adic field. More precisely, for any finite extension $K / \QQ_p$ we will construct a bijection \[ \CL_g : \CA^0_g(G_2,K) \rightarrow \CG^0(G_2,K) \] from the set of generic supercuspidal representations of $G_2(K)$ to the set of irreducible continuous homomorphisms $ρ: W_K \to G_2(\CC)$ with $W_K$ the Weil group of $K$. The construction of the map is simply a matter of assembling arguments that are already in the literature, together with a previously unpublished theorem of G. Savin on exceptional theta correspondences, included as an appendix. The proof that the map is a bijection is arithmetic in nature, and specifically uses automorphy lifting theorems. These can be applied thanks to a recent result of Hundley and Liu on automorphic descent from $GL(7)$ to $G_2$. △ Less

Submitted 12 April, 2021; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: With appendix by Gordan Savin; To appear in Annales Scientifiques de l'Ecole Normale Supérieure

MSC Class: 11R39; 22E50; 11F80; 20G41

Lifting $G$-irreducible but $\mathrm{GL}_n$-reducible Galois representations

Authors: Najmuddin Fakhruddin, Chandrashekhar Khare, Stefan Patrikis

Abstract: In recent work, the authors proved a general result on lifting $G$-irreducible odd Galois representations $\mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_{\ell})$, with $F$ a totally real number field and $G$ a reductive group, to geometric $\ell$-adic representations. In this note we take $G$ to be a classical group and construct many examples of $G$-irreducible representations to which… ▽ More In recent work, the authors proved a general result on lifting $G$-irreducible odd Galois representations $\mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_{\ell})$, with $F$ a totally real number field and $G$ a reductive group, to geometric $\ell$-adic representations. In this note we take $G$ to be a classical group and construct many examples of $G$-irreducible representations to which these new lifting methods apply, but to which the lifting methods provided by potential automorphy theorems do not. △ Less

Submitted 23 July, 2020; v1 submitted 21 August, 2019; originally announced August 2019.

MSC Class: 11F80

Relative deformation theory, relative Selmer groups, and lifting irreducible Galois representations

Authors: Najmuddin Fakhruddin, Chandrashekhar Khare, Stefan Patrikis

Abstract: We study irreducible odd mod $p$ Galois representations $\barρ \colon \mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_p)$, for $F$ a totally real number field and $G$ a general reductive group. For $p \gg_{G, F} 0$, we show that any $\barρ$ that lifts locally, and at places above $p$ to de Rham and Hodge-Tate regular representations, has a geometric $p$-adic lift. We also prove non-geomet… ▽ More We study irreducible odd mod $p$ Galois representations $\barρ \colon \mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_p)$, for $F$ a totally real number field and $G$ a general reductive group. For $p \gg_{G, F} 0$, we show that any $\barρ$ that lifts locally, and at places above $p$ to de Rham and Hodge-Tate regular representations, has a geometric $p$-adic lift. We also prove non-geometric lifting results without any oddness assumption. △ Less

Submitted 15 October, 2021; v1 submitted 4 April, 2019; originally announced April 2019.

Comments: Minor clarifications to previous version. Final version, to appear in DMJ. arXiv admin note: text overlap with arXiv:1810.05803

MSC Class: 11F80

Lifting irreducible Galois representations

Authors: Najmuddin Fakhruddin, Chandrashekhar Khare, Stefan Patrikis

Abstract: We study irreducible mod p representations, valued in general reductive groups, of the Galois group of a number field. When the number field is totally real, we show that odd representations satisfying local ramification hypotheses and a certain multiplicity-free condition on the adjoint representation admit geometric lifts. For general number fields, we show without any oddness or multiplicity co… ▽ More We study irreducible mod p representations, valued in general reductive groups, of the Galois group of a number field. When the number field is totally real, we show that odd representations satisfying local ramification hypotheses and a certain multiplicity-free condition on the adjoint representation admit geometric lifts. For general number fields, we show without any oddness or multiplicity condition that the representation admits a p-adic lift if it does everywhere locally. △ Less

Submitted 13 October, 2018; originally announced October 2018.

Comments: comments welcome

MSC Class: 11F80

Wieferich Primes and a mod $p$ Leopoldt Conjecture

Authors: Gebhard Boeckle, David-A. Guiraud, Sudesh Kalyanswamy, Chandrashekhar Khare

Abstract: We consider questions in Galois cohomology which arise by considering mod $p$ Galois representations arising from automorphic forms. We consider a Galois cohomological analog for the standard heuristics about the distribution of Wieferich primes, i.e. prime $p$ such that $2^{p-1}$ is 1 mod $p^2$. Our analog relates to asking if in a compatible system of Galois representations, for almost all prime… ▽ More We consider questions in Galois cohomology which arise by considering mod $p$ Galois representations arising from automorphic forms. We consider a Galois cohomological analog for the standard heuristics about the distribution of Wieferich primes, i.e. prime $p$ such that $2^{p-1}$ is 1 mod $p^2$. Our analog relates to asking if in a compatible system of Galois representations, for almost all primes $p$, the residual mod $p$ representation arising from it has unobstructed deformation theory. This analog leads in particular to formulating a mod $p$ analog for almost all primes $p$ of the classical Leopoldt conjecture, which has been considered previously by G. Gras. Leopoldt conjectured that for a number field $F$, and a prime $p$, the $p$-adic regulator $R_{F,p}$ is non-zero. The mod $p$ analog is that for a fixed number field $F$, for almost all primes $p$, the $p$-adic regulator $R_{F,p}$ is a unit at $p$. △ Less

Submitted 10 June, 2018; v1 submitted 30 April, 2018; originally announced May 2018.

Comments: 31 pages, 5 tables

MSC Class: 11Y40; 11R34; 11R32

$\hat{G}$-local systems on smooth projective curves are potentially automorphic

Authors: Gebhard Böckle, Michael Harris, Chandrashekhar Khare, Jack A. Thorne

Abstract: Let $X$ be a smooth, projective, geometrically connected curve over a finite field $\mathbb{F}_q$, and let $G$ be a split semisimple algebraic group over $\mathbb{F}_q$. Its dual group $\hat{G}$ is a split reductive group over $\mathbb{Z}$. Conjecturally, any $l$-adic $\hat{G}$-local system on $X$ (equivalently, any conjugacy class of continuous homomorphisms… ▽ More Let $X$ be a smooth, projective, geometrically connected curve over a finite field $\mathbb{F}_q$, and let $G$ be a split semisimple algebraic group over $\mathbb{F}_q$. Its dual group $\hat{G}$ is a split reductive group over $\mathbb{Z}$. Conjecturally, any $l$-adic $\hat{G}$-local system on $X$ (equivalently, any conjugacy class of continuous homomorphisms $π_1(X) \to \hat{G}(\bar{\mathbb{Q}}_l)$) should be associated to an everywhere unramified automorphic representation of the group $G$. We show that for any homomorphism $π_1(X) \to \hat{G}(\bar{\mathbb{Q}}_l)$ of Zariski dense image, there exists a finite Galois cover $Y \to X$ over which the associated local system becomes automorphic. △ Less

Submitted 29 August, 2019; v1 submitted 12 September, 2016; originally announced September 2016.

Comments: Accepted manuscript. To appear in Acta Mathematica. With two appendices by Dennis Gaitsgory

Number of irreducible mod l rank 2 sheaves on curves over finite fields

Authors: Gebhard Böckle, Chandrashekhar Khare

Abstract: Let X be a smooth projective curve of genus g over a finite field F_q of characteristic p. Consider primes l different from p. We formulate some questions related to a well known counting formula of Drinfeld. Drinfeld counts rank 2, irreducible l-adic sheaves on the base change X_n of X to F_{q^n} as n varies. We would like to count rank 2, irreducible mod l sheaves on X_n as n varies. Drinfeld'… ▽ More Let X be a smooth projective curve of genus g over a finite field F_q of characteristic p. Consider primes l different from p. We formulate some questions related to a well known counting formula of Drinfeld. Drinfeld counts rank 2, irreducible l-adic sheaves on the base change X_n of X to F_{q^n} as n varies. We would like to count rank 2, irreducible mod l sheaves on X_n as n varies. Drinfeld's l-adic count gives an upper bound for the mod l count. We conjecture that Drinfeld's count is the correct asymptotic for the count of rank 2, irreducible mod l sheaves on X_n as n varies with (n,\ell)=1. △ Less

Submitted 11 June, 2016; originally announced June 2016.

Automorphy of some residually S_5 Galois representations

Authors: Chandrashekhar B. Khare, Jack A. Thorne

Abstract: We prove automorphy lifting theorems for 2-dimensional Galois representations of absolute Galois groups of totally real fields when the residual representation is of "exceptional" type. This exceptional case is when we are in characteristic 5, the residual representation has projective image PGL_2(F_5), and the fixed field of its kernel contains a primitive 5th root of unity. In this case the Tayl… ▽ More We prove automorphy lifting theorems for 2-dimensional Galois representations of absolute Galois groups of totally real fields when the residual representation is of "exceptional" type. This exceptional case is when we are in characteristic 5, the residual representation has projective image PGL_2(F_5), and the fixed field of its kernel contains a primitive 5th root of unity. In this case the Taylor-Wiles patching method does not suffice and we prove our theorem by combining patching with the technique of automorphy by p-adic approximation. △ Less

Submitted 12 March, 2015; originally announced March 2015.

MSC Class: 11F41; 11F80

Potential automorphy and the Leopoldt conjecture

Authors: Chandrashekhar Khare, Jack A. Thorne

Abstract: We study in this paper Hida's p-adic Hecke algebra for GL_n over a CM field F. Hida has made a conjecture about the dimension of these Hecke algebras, which he calls the non-abelian Leopoldt conjecture, and shown that his conjecture in the case of F being the rationals implies the classical Leopoldt conjecture for a number field K of degree n over the rationals, if one assumes further the existenc… ▽ More We study in this paper Hida's p-adic Hecke algebra for GL_n over a CM field F. Hida has made a conjecture about the dimension of these Hecke algebras, which he calls the non-abelian Leopoldt conjecture, and shown that his conjecture in the case of F being the rationals implies the classical Leopoldt conjecture for a number field K of degree n over the rationals, if one assumes further the existence of automorphic induction of characters for the extension K over the rationals. We study Hida's conjecture using the automorphy lifting techniques adapted to the GL_n setting by Calegari--Geraghty. We prove an automorphy lifting result in this setting, conditional on existence and local-global compatibility of Galois representations arising from torsion classes in the cohomology of the corresponding symmetric manifolds. Under the same conditions we show that one can deduce the classical (abelian) Leopoldt conjectures for a totally real number field K and a prime p using Hida's non-abelian Leopoldt conjecture for p-adic Hecke algebra for GL_n over CM fields without needing to assume automorphic induction of characters for the extension K over the rationals. For this methods of potential automorphy results are used. △ Less

Submitted 6 July, 2016; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: To appear in AJM

MSC Class: 11F80

Lifting torsion Galois representations

Authors: Chandrashekhar Khare, Ravi Ramakrishna

Abstract: Typos in the abstract have been corrected. Let $ρ_n$ be an ordinary weight two representation of absolute Galois group of the rationals to $GL_2(\mathcal O/π^n)$. Here $\mathcal O$ is a ramified DVR with uniformiser $π$. If $ρ_n$ satisfies mild hypotheses we lift it to a characteristic zero $\mathcal O$-valued geometric weight two representation. The earlier methods could handle only the unramif… ▽ More Typos in the abstract have been corrected. Let $ρ_n$ be an ordinary weight two representation of absolute Galois group of the rationals to $GL_2(\mathcal O/π^n)$. Here $\mathcal O$ is a ramified DVR with uniformiser $π$. If $ρ_n$ satisfies mild hypotheses we lift it to a characteristic zero $\mathcal O$-valued geometric weight two representation. The earlier methods could handle only the unramified case. We show that the deformation ring of a residual representation arising from a newform can be arranged to be a prescribed DVR provided we choose a suitable auxiliary level. We extend earlier proofs of modularity of $p$-adic lifts of modular residual representations, via $p$-adic approximations, to cover cases when the lift is defined over ramified DVR's $\mathcal O$. △ Less

Submitted 8 September, 2014; v1 submitted 5 September, 2014; originally announced September 2014.

Comments: 27 pages

MSC Class: 11F80

Ramification in Iwasawa modules

Authors: Chandrashekhar Khare, Jean-Pierre Wintenberger

Abstract: We study properties of ramification in Iwasawa modules. We study properties of ramification in Iwasawa modules. △ Less

Submitted 29 November, 2010; originally announced November 2010.

Functoriality and the Inverse Galois problem II: groups of type B_n and G_2

Authors: Chandrashekhar Khare, Michael Larsen, Gordan Savin

Abstract: For every finite field F and every positive integer r, there exists a finite extension F' of F such that either SO(2r+1,F') or its simple derived group can be realized as a Galois group over Q. If the characteristic of F is 3 or 5 (mod 8), then we can guarantee that the derived group of SO(2r+1,F') can be realized. Likewise, for every finite field F, there exists a finite extension F' of F such… ▽ More For every finite field F and every positive integer r, there exists a finite extension F' of F such that either SO(2r+1,F') or its simple derived group can be realized as a Galois group over Q. If the characteristic of F is 3 or 5 (mod 8), then we can guarantee that the derived group of SO(2r+1,F') can be realized. Likewise, for every finite field F, there exists a finite extension F' of F such that the finite simple group G_2(F') can be realized a Galois group over Q. The proof uses automorphic forms to construct Galois representations which cut out Galois extensions of the desired type. △ Less

Submitted 5 July, 2008; originally announced July 2008.

Comments: 25 pages

MSC Class: 11F70; 11F80; 12F12

Functoriality and the Inverse Galois Problem

Authors: Chandrashekhar Khare, Michael Larsen, Gordan Savin

Abstract: We prove that there are infinitely many finite simple groups of symplectic Lie type, of any specified characteristic and rank, which appear as Galois groups over the field of rational numbers. This generalizes a result of Wiese, which inspired this paper. We prove that there are infinitely many finite simple groups of symplectic Lie type, of any specified characteristic and rank, which appear as Galois groups over the field of rational numbers. This generalizes a result of Wiese, which inspired this paper. △ Less

Submitted 28 May, 2015; v1 submitted 27 October, 2006; originally announced October 2006.

Comments: This is a major revision in which several errors are corrected at the cost of a somewhat weakened main theorem. 32 pages

MSC Class: 11F70; 11F80; 12F12

Journal ref: Compos. Math. 144 (2008), 541--564

On Serre's modularity conjecture for 2-dimensional mod p representations of G_Q unramified outside p

Authors: Chandrashekhar Khare

Abstract: We prove the level 1 case of Serre's conjecture. We prove the level 1 case of Serre's conjecture. △ Less

Submitted 5 April, 2005; originally announced April 2005.

On Serre's reciprocity conjecture for 2-dimensional mod p representations of the Galois group of Q

Authors: Chandrashekhar Khare, Jean-Pierre Wintenberger

Abstract: We first prove the existence of minimally ramified p-adic lifts of 2-dimensional mod p representations, that are odd and irreducible, of the absolute Galois group of Q,in many cases. This is predicted by Serre's conjecture that such representations arise from newforms of optimal level and weight. Using these minimal lifts, and arguments using compatible systems, we prove some cases of Serre's… ▽ More We first prove the existence of minimally ramified p-adic lifts of 2-dimensional mod p representations, that are odd and irreducible, of the absolute Galois group of Q,in many cases. This is predicted by Serre's conjecture that such representations arise from newforms of optimal level and weight. Using these minimal lifts, and arguments using compatible systems, we prove some cases of Serre's conjectures in low levels and weights. For instance we prove that there are no irreducible (p,p) type group schemes over the rational integers. We prove that a Galois representation as above of Artin conductor 1 and Serre weight 12 arises from the Ramanujan Delta-function. In the last part of the paper we present arguments that reduce Serre's conjecture on modularity of Galois representations as above to proving modularity lifting theorems of the type pioneered by Wiles. While these modularity lifting results are not known as yet they might be relatively accessible because of the basic method of Wiles and Taylor-Wiles and recent developments in the p-adic Langlands programmeinitiated by Breuil. △ Less

Submitted 3 December, 2004; originally announced December 2004.

MSC Class: 11F80

Converging sequences of p-adic Galois representations and density theorems

Authors: Joel Bellaiche, Gaetan Chenevier, Chandrashekhar Khare, Michael Larsen

Abstract: We consider limits of p-adic Galois representations, study different notions of convergence for such representations, and prove Cebotarev-type density theorems for them. We consider limits of p-adic Galois representations, study different notions of convergence for such representations, and prove Cebotarev-type density theorems for them. △ Less

Submitted 7 June, 2004; originally announced June 2004.

Comments: 25 pages

Transcendental l-adic Galois representations

Authors: Chandrashekhar Khare, Michael Larsen, Ravi Ramakrishna

Abstract: We consider continuous representations of the Galois group G of a number field K taking values in the completion C of an algebraic closure A of the field of l-adic numbers. We give a construction of irreducible representations of G in GL(2,C) which cannot be conjugated into GL(2,A) but for which there exist density-one sets of primes with Frobenius traces in A. We also show that any such represe… ▽ More We consider continuous representations of the Galois group G of a number field K taking values in the completion C of an algebraic closure A of the field of l-adic numbers. We give a construction of irreducible representations of G in GL(2,C) which cannot be conjugated into GL(2,A) but for which there exist density-one sets of primes with Frobenius traces in A. We also show that any such representation must be ramified at infinitely many primes of K. △ Less

Submitted 13 April, 2004; originally announced April 2004.

Comments: 21 pages

MSC Class: 11F80

Mod $\ell$ representations of arithmetic fundamental groups II (A conjecture of A.J. de Jong)

Authors: Gebhard Boeckle, Chandrashekhar Khare

Abstract: As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $ρ$ of the arithmetic fundamental group $π_1(X)$ where $X$ is a geometrically irreducible, smooth curve over a finite field $k$ of characteristic $p$ ($\neq \ell$). We are able to show in many cases tha… ▽ More As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $ρ$ of the arithmetic fundamental group $π_1(X)$ where $X$ is a geometrically irreducible, smooth curve over a finite field $k$ of characteristic $p$ ($\neq \ell$). We are able to show in many cases that the resulting rings are finite flat over $\BZ_\ell$. The proof principally uses a lifting result of the authors in Part I of this two-part work, Taylor-Wiles systems and the result of Lafforgue. This implies a conjecture of A.J. ~de Jong for representations with coefficients in power series rings over finite fields of characteristic $\ell$, that have this mod $\ell$ representation as their reduction. △ Less

Submitted 17 April, 2004; v1 submitted 29 December, 2003; originally announced December 2003.

Comments: This revised version is cleaner, although not substantially different. We check that our arguments work for \ell=2

Mod $\ell$ representations of arithmetic fundamental groups: Part I (An analog of Serre's conjecture for function fields)

Authors: Gebhard Boeckle, Chandrashekhar Khare

Abstract: We formulate for function fields an analog of Serre's conjecture on the modularity of 2-dimensional irreducible mod l representations of the absolute Galois group of Q: our analog is not restricted to 2-dimensional represntations. While the original conjecture of Serre is wide open at the moment, in this paper we prove the function field analog of Serre's conjecture only assuming largeness of im… ▽ More We formulate for function fields an analog of Serre's conjecture on the modularity of 2-dimensional irreducible mod l representations of the absolute Galois group of Q: our analog is not restricted to 2-dimensional represntations. While the original conjecture of Serre is wide open at the moment, in this paper we prove the function field analog of Serre's conjecture only assuming largeness of image of the representation and some assumptions on the ramification of the representation (for example if the mod l representation is unramified and has full image, l is odd and the dimension and characteristic of the representation are coprime). △ Less

Submitted 17 April, 2004; v1 submitted 29 December, 2003; originally announced December 2003.

Comments: This revised version is cleaner although not substantially different. We check that our arguments work in many cases for \ell=2

MSC Class: 11F

Reciprocity law for compatible systems of abelian mod $p$ Galois representations

Authors: Chandrashekhar Khare

Abstract: The main result of the paper is a reciprocity law which proves that compatible systems of semisimple, abelian mod $p$ representations (of arbitrary dimension) of absolute Galois groups of number fields, arise from Hecke characters. In the last section of the paper analogs for Galois groups of function fields of these results are explored, and a question is raised whose answer will require develo… ▽ More The main result of the paper is a reciprocity law which proves that compatible systems of semisimple, abelian mod $p$ representations (of arbitrary dimension) of absolute Galois groups of number fields, arise from Hecke characters. In the last section of the paper analogs for Galois groups of function fields of these results are explored, and a question is raised whose answer will require developments in transcendence theory in characteristic $p$. △ Less

Submitted 17 September, 2003; originally announced September 2003.

Constructing semisimple p-adic Galois representations with prescribed properties

Authors: Chandrashekhar Khare, Michael Larsen, Ravi Ramakrishna

Abstract: In this paper we show that two dimensional (mod p) Galois representations satisfying mild hypotheses can be lifted to p-adic Galois representations ramified at infinitely many primes such that the characteristic polynomials of Frobenius at a density one set of unramified primes are defined over the rational integers. In particular we show that often one can "density one compatibly" lift mod p an… ▽ More In this paper we show that two dimensional (mod p) Galois representations satisfying mild hypotheses can be lifted to p-adic Galois representations ramified at infinitely many primes such that the characteristic polynomials of Frobenius at a density one set of unramified primes are defined over the rational integers. In particular we show that often one can "density one compatibly" lift mod p and mod q Galois representations. △ Less

Submitted 17 September, 2003; originally announced September 2003.

Comments: 32 pages

MSC Class: 11F80

Finiteness of Selmer groups and deformation rings

Authors: Chandrashekhar Khare, Ravi Ramakrishna

Abstract: We prove the finiteness of Selmer groups attached to lifts of certain 2-dimensional mod p representations of the absolute Galois group of Q. The mod p representation can be either even or odd. The lifts considered are the ones that were proven to exist by the seond named author. We prove the finiteness of Selmer groups attached to lifts of certain 2-dimensional mod p representations of the absolute Galois group of Q. The mod p representation can be either even or odd. The lifts considered are the ones that were proven to exist by the seond named author. △ Less

Submitted 31 October, 2002; originally announced November 2002.

MSC Class: 11F; 11R

On isomorphisms between deformation rings and Hecke rings

Authors: Chandrashekhar Khare

Abstract: We give a different approach to the well-known modularity lifting results of Wiles and Taylor. Instead of Taylor-Wiles systems we use a Galois cohomological discovery of R. Ramakrishna. This paper is 2 years older than math.NT/0210296 where another approach to modularity lifting results was presented. We give a different approach to the well-known modularity lifting results of Wiles and Taylor. Instead of Taylor-Wiles systems we use a Galois cohomological discovery of R. Ramakrishna. This paper is 2 years older than math.NT/0210296 where another approach to modularity lifting results was presented. △ Less

Submitted 31 October, 2002; originally announced November 2002.

MSC Class: 11F; 11R

Reduction of homomorphisms mod p and algebraicity

Authors: Chandrashekhar Khare, Dipendra Prasad

Abstract: {Let $K$ be a number field, and $A_1,A_2$ abelian varieties over $K$. Let $P$ (resp. $Q$) be a non-torsion point in $ A_1(K)$ (resp. $A_2(K)$) such that for almost all places $v$ of $K$, the order of $Q$ mod $v$ divides the order of $P$ mod $v$. Then we prove (under some conditions on $A_i, i=1,2$) that there is a homomorphism $j$ from $A_1$ to $A_2$ such that $j(P) = Q$. We formulate and extend… ▽ More {Let $K$ be a number field, and $A_1,A_2$ abelian varieties over $K$. Let $P$ (resp. $Q$) be a non-torsion point in $ A_1(K)$ (resp. $A_2(K)$) such that for almost all places $v$ of $K$, the order of $Q$ mod $v$ divides the order of $P$ mod $v$. Then we prove (under some conditions on $A_i, i=1,2$) that there is a homomorphism $j$ from $A_1$ to $A_2$ such that $j(P) = Q$. We formulate and extend such a result for any subgroups of $A_i(K), i=1,2$. These results in particular extend the work of Corrales and Schoof from elliptic curves to abelian varieties. △ Less

Submitted 31 October, 2002; originally announced November 2002.

MSC Class: 11F; 11R

Mod pq Galois representations and Serre's conjecture

Authors: Chandrashekhar Khare, Ian Kiming

Abstract: Motives and automorphic forms of arithmetic type give rise to Galois representations that occur in {\it compatible families}. These compatible families are of p-adic representations with p varying. By reducing such a family mod p one obtains compatible families of mod p representations. While the representations that occur in such a p-adic or mod p family are strongly correlated, in a sense each… ▽ More Motives and automorphic forms of arithmetic type give rise to Galois representations that occur in {\it compatible families}. These compatible families are of p-adic representations with p varying. By reducing such a family mod p one obtains compatible families of mod p representations. While the representations that occur in such a p-adic or mod p family are strongly correlated, in a sense each member of the family reveals a new face of the motive. In recent celebrated work of Wiles playing off a pair of Galois representations in different characteristics has been crucial. In this paper we investigate when a pair of mod p and mod q representations of the absolute Galois group of a number field K simultaneously arises from an {\it automorphic motive}: we do this in the 1-dimensional (Section 2) and 2-dimensional (Section 3: this time assuming $K={\mathbb Q}$) cases. In Section 3 we formulate a mod pq version of Serre's conjecture refining in part a question of Barry Mazur and Ken Ribet. △ Less

Submitted 25 October, 2002; originally announced October 2002.

Comments: This is an older preprint that was made available elsewhere on Sep. 19, 2001

MSC Class: 11R; 11F

Limits of residually irreducible p-adic Galois representations

Authors: Chandrashekhar Khare

Abstract: In this note we produce examples of converging sequences of Galois representations, and study some of their properties. Some of the results here are used in the preprint math.NT/0210296. In this note we produce examples of converging sequences of Galois representations, and study some of their properties. Some of the results here are used in the preprint math.NT/0210296. △ Less

Submitted 25 October, 2002; originally announced October 2002.

MSC Class: 11R

F-split Galois representations are potentially abelian

Authors: Chandrashekhar Khare

Abstract: In this note we relate the property of a semisimple l-adic Galois representation being "F-split" for a number field F to its having abelian image. By F-split we mean that the characteristic polynomials of Frobenii all split in F. In this note we relate the property of a semisimple l-adic Galois representation being "F-split" for a number field F to its having abelian image. By F-split we mean that the characteristic polynomials of Frobenii all split in F. △ Less

Submitted 25 October, 2002; originally announced October 2002.

MSC Class: 11R

Hasse invariant and group cohomology

Authors: Bas Edixhoven, Chandrashekhar Khare

Abstract: Let p be a prime number. The Hasse invariant is a modular form modulo p that is often used to produce congruences between modular forms of different weights. We show how to produce such congruences between forms of weights 2 and p+1, in terms of group cohomology. We also show how our method works in the contexts of quadratic imaginary fields (where there is no Hasse invariant available) and Hilb… ▽ More Let p be a prime number. The Hasse invariant is a modular form modulo p that is often used to produce congruences between modular forms of different weights. We show how to produce such congruences between forms of weights 2 and p+1, in terms of group cohomology. We also show how our method works in the contexts of quadratic imaginary fields (where there is no Hasse invariant available) and Hilbert modular forms over totally real fields of even degree. △ Less

Submitted 25 October, 2002; originally announced October 2002.

MSC Class: 11F; 11R

Belyi parametrisations of elliptic curves and congruence defects

Authors: Chandrashekhar Khare

Abstract: In this note we consider questions about parametrisations of elliptic curves defined over number fields by quotients of the upper half-plane by finite index subgroups of SL_2(Z). We ask if we can choose such a parametrisation of an elliptic curve to reflect the field over which it is defined: this can be viewed as a generalisation of the Shimura-Taniyama-Weil conjecture. In this note we consider questions about parametrisations of elliptic curves defined over number fields by quotients of the upper half-plane by finite index subgroups of SL_2(Z). We ask if we can choose such a parametrisation of an elliptic curve to reflect the field over which it is defined: this can be viewed as a generalisation of the Shimura-Taniyama-Weil conjecture. △ Less

Submitted 24 October, 2002; originally announced October 2002.

MSC Class: 11F; 11R

Compatible systems of mod p Galois representations II

Authors: Chandrashekhar Khare

Abstract: We prove a reciprocity law for one-dimensional compatible systems of mod p representations of absolute Galois groups of number fields. We prove that these arise from Hecke characters, and in particular recover by purely algebraic means the classical result (that is usually proven using deep results of Waldschmidt in transcendental number theory) that one-dimensional compatible p-adic systems ari… ▽ More We prove a reciprocity law for one-dimensional compatible systems of mod p representations of absolute Galois groups of number fields. We prove that these arise from Hecke characters, and in particular recover by purely algebraic means the classical result (that is usually proven using deep results of Waldschmidt in transcendental number theory) that one-dimensional compatible p-adic systems arise from Hecke characters. △ Less

Submitted 24 October, 2002; originally announced October 2002.

MSC Class: 11F; 11R

Modularity of p-adic Galois representations via p-adic approximations

Authors: Chandrashekhar Khare

Abstract: We give a direct approach to recover some of the results of Wiles and Tayor on modularity of certain 2-dimensional p-adic representations of the absolute Galois group of Q. We give a direct approach to recover some of the results of Wiles and Tayor on modularity of certain 2-dimensional p-adic representations of the absolute Galois group of Q. △ Less

Submitted 18 October, 2002; originally announced October 2002.

MSC Class: 11R

Reduction of abstract homomorphisms of lattices mod p and rigidity

Authors: Chandrashekhar Khare, Dipendra Prasad

Abstract: In this paper we pose and answer the following question in a few different contexts: Given a homomorphism f:L_1 --> L_2 of a ``lattices'' that ``reduces mod p'' for almost all primes p, is f ``algebraic''? For instance the lattices may be the Mordell-Weil lattices of rational points of abelian varieties over Q, or arithmetic groups etc. Implicit in an affirmative answer to the question for Morde… ▽ More In this paper we pose and answer the following question in a few different contexts: Given a homomorphism f:L_1 --> L_2 of a ``lattices'' that ``reduces mod p'' for almost all primes p, is f ``algebraic''? For instance the lattices may be the Mordell-Weil lattices of rational points of abelian varieties over Q, or arithmetic groups etc. Implicit in an affirmative answer to the question for Mordell-Weil lattices is a novel criterion for abelian varities to be isogenous. △ Less

Submitted 12 February, 2002; originally announced February 2002.

Report number: ANT-0334