BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Luis Dieulefait

Luis Dieulefait contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.AGmath.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

14 published item(s)

preprint2022arXiv

Some extensions of the modular method and Fermat equations of signature $(13,13,n)$

We provide several extensions of the modular method which were motivated by the problem of completing previous work to prove that, for any integer $n \geq 2$, the equation \[ x^{13} + y^{13} = 3 z^n \] has no non-trivial solutions. In particular, we present four elimination techniques which are based on: (1) establishing reducibility of certain residual Galois representations over a totally real field; (2) generalizing image of inertia arguments to the setting of abelian surfaces; (3) establishing congruences of Hilbert modular forms without the use of often impractical Sturm bounds; and (4) a unit sieve argument which combines information from classical descent and the modular method. The extensions are of broader applicability and provide further evidence that it is possible to obtain a complete resolution of a family of generalized Fermat equations by remaining within the framework of the modular method. As a further illustration of this, we complete a theorem of Anni-Siksek to show that, for $\ell, m\ge 5$, the only solutions to the equation $x^{2\ell} + y^{2m} = z^{13}$ are the trivial ones.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Potentially diagonalizable modular lifts of large weight

We prove that for a Hecke cuspform $f\in S_k(Γ_0(N),χ)$ and a prime $l>\max\{k,6\}$ such that $l\nmid N$, there exists an infinite family $\{k_r\}_{r\geq 1}\subseteq\mathbb{Z}$ such that for each $k_r$, there is a cusp form $f_{k_r}\in S_{k_r}(Γ_0(N),χ)$ such that the Deligne representation $ρ_{f_{k_r,l}}$ is a crystaline and potentially diagonalizable lift of $\overlineρ_{f,l}$. When $f$ is $l$-ordinary, we base our proof on the theory of Hida families, while in the non-ordinary case, we adapt a local-to-global argument due to Khare and Wintenberger in the setting of their proof of Serre's modularity conjecture, together with a result on existence of lifts with prescribed local conditions over CM fields, a flatness result due to Böckle and a local dimension result by Kisin. We discuss the motivation and tentative future applications of our result in ongoing research on the automorphy of $\mathrm{GL}_{2n}$-representations in the higher level case.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Classification of subgroups of symplectic groups over finite fields containing a transvection

In this note we give a self-contained proof of the following classification (up to conjugation) of subgroups of the general symplectic group of dimension n over a finite field of characteristic l, for l at least 5, which can be derived from work of Kantor: G is either reducible, symplectically imprimitive or it contains Sp(n, l). This result is for instance useful for proving "big image" results for symplectic Galois representations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Compatible systems of symplectic Galois representations and the inverse Galois problem I. Images of projective representations

This article is the first part of a series of three articles about compatible systems of symplectic Galois representations and applications to the inverse Galois problem. In this first part, we determine the smallest field over which the projectivisation of a given symplectic group representation satisfying some natural conditions can be defined. The answer only depends on inner twists. We apply this to the residual representations of a compatible system of symplectic Galois representations satisfying some mild hypothesis and obtain precise information on their projective images for almost all members of the system, under the assumption of huge residual images, by which we mean that a symplectic group of full dimension over the prime field is contained up to conjugation. Finally, we obtain an application to the inverse Galois problem.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Compatible systems of symplectic Galois representations and the inverse Galois problem III. Automorphic construction of compatible systems with suitable local properties

This article is the third and last part of a series of three articles about compatible systems of symplectic Galois representations and applications to the inverse Galois problem. This part proves the following new result for the inverse Galois problem for symplectic groups. For any even positive integer n and any positive integer d, PSp_n(F_{l^d}) or PGSp_n(F_{l^d}) occurs as a Galois group over the rational numbers for a positive density set of primes l. The result is obtained by showing the existence of a regular, algebraic, self-dual, cuspidal automorphic representation of GL_n(A_Q) with local types chosen so as to obtain a compatible system of Galois representations to which the results from Part II of this series apply.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Fermat-type equations of signature (13,13,p) via Hilbert cuspforms

In this paper we prove that equations of the form $x^{13} + y^{13} = Cz^{p}$ have no non-trivial primitive solutions (a,b,c) such that $13 \nmid c$ if $p > 4992539$ for an infinite family of values for $C$. Our method consists in relating a solution (a,b,c) to the previous equation to a solution (a,b,c_1) of another Diophantine equation with coefficients in $\Q(\sqrt{13})$. We then construct Frey-curves associated with (a,b,c_1) and we prove modularity of them in order to apply the modular approach via Hilbert cusp forms over $\Q(\sqrt{13})$. We also prove a modularity result for elliptic curves over totally real cyclic number fields of interest by itself.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Modularity of the Consani-Scholten quintic

We prove that the Consani-Scholten quintic, a Calabi-Yau threefold over QQ, is Hilbert modular. For this, we refine several techniques known from the context of modular forms. Most notably, we extend the Faltings-Serre-Livne method to induced four-dimensional Galois representations over QQ. We also need a Sturm bound for Hilbert modular forms; this is developed in an appendix by Jose Burgos Gil and the second author.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Modular forms with large coefficient fields via congruences

In this paper we apply results from the theory of congruences of modular forms (control of reducible primes, level-lowering), the modularity of elliptic curves and Q-curves, and a couple of Frey curves of Fermat-Goldbach type, to show the existence of newforms of weight 2 and trivial nebentypus with coefficient fields of arbitrarily large degree and square-free or almost square-free level. More precisely, we prove that for any given numbers t and B, there exists a newform f of weight 2 and trivial nebentypus whose level N is square-free (almost square-free), N has exactly t prime divisors (t odd prime divisors and a small power of 2 dividing it, respectively), and the degree of the field of coefficients of f is greater than B.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the classification of geometric families of 4-dimensional Galois representations

We give a classification theorem for certain four-dimensional families of geometric $λ$-adic Galois representations attached to a pure motive. More precisely, we consider families attached to the cohomology of a smooth projective variety defined over $\Q$ with coefficients in a quadratic imaginary field, non-selfdual and with four different Hodge-Tate weights. We prove that the image is as large as possible for almost every $λ$ provided that the family is irreducible and not induced from a family of smaller dimension. If we restrict to semistable families an even simpler classification is given. A version of the main result is given for the case where the family is attached to an automorphic form.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Remarks on Serre's modularity conjecture

In this article we give a proof of Serre's conjecture for the case of odd level and arbitrary weight. Our proof does not depend on any generalization of Kisin's modularity lifting results to characteristic 2 (moreover, we will not consider at all characteristic 2 representations at any step of our proof). The key tool in the proof is a very general modularity lifting result of Kisin, which is combined with the methods and results of previous articles on Serre's conjecture by Khare, Wintenberger, and the author, and modularity results of Schoof for semistable abelian varieties of small conductor. Assuming GRH, infinitely many cases of even level will also be proved.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The Fermat-type equations x^5 + y^5 = 2z^p or 3z^p solved through Q-curves

We solve the Diophantine equations $x^5 + y^5 = dz^p$ with $d=2, 3$ for a set of prime numbers of density 1/4, 1/2, respectively. The method consists in relating a possible solution to another Diophantine equation and solving the later by using Q-curves and a generalized modular technique as in work of Ellenberg and Dieulefait-Jimenez along with some new techniques for eliminating newforms.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the modularity of rigid Calabi-Yau threefolds: Epilogue

In a recent preprint of F. Gouvea and N. Yui (see arXiv:0902.1466) a detailed account is given of a patching argument due to Serre that proves that the modularity of all rigid Calabi-Yau threefolds defined over the rationals follows from Serre's modularity conjecture. In this note (a letter to N. Yui) we give an alternative proof of this implication. The main difference with Serre's argument is that instead of using as main input residual modularity in infinitely many characteristics we just require residual modularity in a suitable characteristic. This is combined with effective Cebotarev.

0 citations0 reviewsNo code linkedOpen access