{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/368883"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/368883","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"The Taylor-Wiles method for reductive groups","abstract":"We construct a local deformation problem for residual Galois representations ρ valued in an arbitrary reductive group Ĝ which we use to develop a variant of the Taylor–Wiles method. Our generalization allows Taylor–Wiles places for which the image of Frobenius is semisimple, a weakening of the regular semisimple constraint imposed previously in the literature. We introduce the notion of Ĝ-adequate subgroup, our corresponding ‘big image’ condition. When Ĝ → GLn is a faithful irreducible representation, we show that a subgroup is Ĝ-adequate if it is GLn-irreducible and the residue characteristic is sufficiently large. We apply our ideas to the case Ĝ = GSp4 and prove a modularity lifting theorem for abelian surfaces over a totally real field F which holds under weaker hypotheses than in the work of Boxer–Calegari–Gee–Pilloni. We deduce some modularity results for elliptic curves over quadratic extensions of F. We further apply our ideas to V. Lafforgue’s construction of the global Langlands correspondence in characteristic p for a semisimple group Ĝ, proving an automorphy lifting theorem under the assumption of Ĝ-adequate residual image, a weakening of the Ĝ-abundant condition appearing previously in the literature. We deduce potential automorphy of everywhere unramified Galois representations with Ĝ-adequate residual image. We also give results concerning existence of global cyclic base change and the possible finite images of automorphic Galois representations. The main technical difficulty is in proving an instance of local-global compatibility at certain level structures deeper than parahoric level, which we require for our implementation of the Taylor–Wiles method.","abstract_html":"We construct a local deformation problem for residual Galois representations ρ valued in an arbitrary reductive group Ĝ which we use to develop a variant of the Taylor–Wiles method. Our generalization allows Taylor–Wiles places for which the image of Frobenius is semisimple, a weakening of the regular semisimple constraint imposed previously in the literature. We introduce the notion of Ĝ-adequate subgroup, our corresponding ‘big image’ condition. When Ĝ → GLn is a faithful irreducible representation, we show that a subgroup is Ĝ-adequate if it is GLn-irreducible and the residue characteristic is sufficiently large. We apply our ideas to the case Ĝ = GSp4 and prove a modularity lifting theorem for abelian surfaces over a totally real field F which holds under weaker hypotheses than in the work of Boxer–Calegari–Gee–Pilloni. We deduce some modularity results for elliptic curves over quadratic extensions of F. We further apply our ideas to V. Lafforgue’s construction of the global Langlands correspondence in characteristic p for a semisimple group Ĝ, proving an automorphy lifting theorem under the assumption of Ĝ-adequate residual image, a weakening of the Ĝ-abundant condition appearing previously in the literature. We deduce potential automorphy of everywhere unramified Galois representations with Ĝ-adequate residual image. We also give results concerning existence of global cyclic base change and the possible finite images of automorphic Galois representations. The main technical difficulty is in proving an instance of local-global compatibility at certain level structures deeper than parahoric level, which we require for our implementation of the Taylor–Wiles method.","abstract_has_math":false,"creators":["Whitmore, Dmitri"],"institution":"University of Cambridge","degree_name":"Doctor of Philosophy (PhD)","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Thorne, Jack"],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023-12-14","date_published":"2023-12-14","updated_at":"2026-07-22T22:24:28Z","subjects":["Abelian surface","Adequate subgroup","Automorphy","Automorphy lifting","Base change","Elliptic curve","Galois representation","Langlands","Local-global compatibility","Modularity","Modularity lifting","Potential automorphy","Reductive group","Taylor","Wiles"],"languages":["eng"],"rights":[],"rights_urls":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/93fdcef2-0a34-4112-9d6e-be906ccfe4ab/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.108921","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Thorne, Jack"]},{"key":"dc:creator","label":"Author","values":["Whitmore, Dmitri"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2023-12-14"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Cambridge"]},{"key":"dc:relation.isreferencedby.uri","label":"Dc Relation Isreferencedby URI","values":["https://www.repository.cam.ac.uk/handle/1810/368883"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Doctor of Philosophy (PhD)"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Abelian surface","Adequate subgroup","Automorphy","Automorphy lifting","Base change","Elliptic curve","Galois representation","Langlands","Local-global compatibility","Modularity","Modularity lifting","Potential automorphy","Reductive group","Taylor","Wiles"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/93fdcef2-0a34-4112-9d6e-be906ccfe4ab/download","https://www.rioxx.net/licenses/all-rights-reserved/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["https://doi.org/10.17863/CAM.108921"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/26a49ec6-ab7f-4a2a-9050-64d284c83825/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["We construct a local deformation problem for residual Galois representations ρ valued in an arbitrary reductive group Ĝ which we use to develop a variant of the Taylor–Wiles method. Our generalization allows Taylor–Wiles places for which the image of Frobenius is semisimple, a weakening of the regular semisimple constraint imposed previously in the literature. We introduce the notion of Ĝ-adequate subgroup, our corresponding ‘big image’ condition. When Ĝ → GLn is a faithful irreducible representation, we show that a subgroup is Ĝ-adequate if it is GLn-irreducible and the residue characteristic is sufficiently large. We apply our ideas to the case Ĝ = GSp4 and prove a modularity lifting theorem for abelian surfaces over a totally real field F which holds under weaker hypotheses than in the work of Boxer–Calegari–Gee–Pilloni. We deduce some modularity results for elliptic curves over quadratic extensions of F. We further apply our ideas to V. Lafforgue’s construction of the global Langlands correspondence in characteristic p for a semisimple group Ĝ, proving an automorphy lifting theorem under the assumption of Ĝ-adequate residual image, a weakening of the Ĝ-abundant condition appearing previously in the literature. We deduce potential automorphy of everywhere unramified Galois representations with Ĝ-adequate residual image. We also give results concerning existence of global cyclic base change and the possible finite images of automorphic Galois representations. The main technical difficulty is in proving an instance of local-global compatibility at certain level structures deeper than parahoric level, which we require for our implementation of the Taylor–Wiles method."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["6633e226415034e33c995956eab8ebae","87eda9de84448d1f82354d60eee3eb5f"]},{"key":"dc:title","label":"Title","values":["The Taylor-Wiles method for reductive groups"]}]}],"canonical_facts":{"dc:contributor.advisor":["Thorne, Jack"],"dc:creator":["Whitmore, Dmitri"],"dc:date.issued":["2023-12-14"],"dc:description.abstract":["We construct a local deformation problem for residual Galois representations ρ valued in an arbitrary reductive group Ĝ which we use to develop a variant of the Taylor–Wiles method. Our generalization allows Taylor–Wiles places for which the image of Frobenius is semisimple, a weakening of the regular semisimple constraint imposed previously in the literature. We introduce the notion of Ĝ-adequate subgroup, our corresponding ‘big image’ condition. When Ĝ → GLn is a faithful irreducible representation, we show that a subgroup is Ĝ-adequate if it is GLn-irreducible and the residue characteristic is sufficiently large. We apply our ideas to the case Ĝ = GSp4 and prove a modularity lifting theorem for abelian surfaces over a totally real field F which holds under weaker hypotheses than in the work of Boxer–Calegari–Gee–Pilloni. We deduce some modularity results for elliptic curves over quadratic extensions of F. We further apply our ideas to V. Lafforgue’s construction of the global Langlands correspondence in characteristic p for a semisimple group Ĝ, proving an automorphy lifting theorem under the assumption of Ĝ-adequate residual image, a weakening of the Ĝ-abundant condition appearing previously in the literature. We deduce potential automorphy of everywhere unramified Galois representations with Ĝ-adequate residual image. We also give results concerning existence of global cyclic base change and the possible finite images of automorphic Galois representations. The main technical difficulty is in proving an instance of local-global compatibility at certain level structures deeper than parahoric level, which we require for our implementation of the Taylor–Wiles method."],"dc:format.checksum.md5":["6633e226415034e33c995956eab8ebae","87eda9de84448d1f82354d60eee3eb5f"],"dc:identifier.doi":["https://doi.org/10.17863/CAM.108921"],"dc:identifier.uri":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/26a49ec6-ab7f-4a2a-9050-64d284c83825/download"],"dc:language":["eng"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["https://www.repository.cam.ac.uk/handle/1810/368883"],"dc:rights":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/93fdcef2-0a34-4112-9d6e-be906ccfe4ab/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"dc:subject":["Abelian surface","Adequate subgroup","Automorphy","Automorphy lifting","Base change","Elliptic curve","Galois representation","Langlands","Local-global compatibility","Modularity","Modularity lifting","Potential automorphy","Reductive group","Taylor","Wiles"],"dc:title":["The Taylor-Wiles method for reductive groups"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:24:28Z"}