NSF Postdoctoral Fellow
Arithmetic Geometry Group
Freie Universität Berlin
FB Mathematik und Informatik
I am an NSF postdoctoral fellow under the supervision of Hélène Esnault at FU Berlin. Before that, I was a graduate student in the Mathematics Department at Columbia University, where my advisor was Johan de Jong. Here is a CV.
These days I mostly think about l-adic local systems and overconvergent F-isocrystals on smooth varieties over finite fields. I am also especially interested in p-divisible groups on complete varieties over finite fields and central leaves on Shimura varieties.
These interests essentially arose from my PhD Thesis. Motivated by results of Mochizuki, I tried to "characterize" Shimura curves over a finite field using purely group theoretic data: the notion of an étale correspondence without a core. These exhibit many formal similarities with Hecke correspondences of Shimura curves: for instance, given a correspondence without a core, one can construct an infinite graph with a large group of "algebraic" automorphisms. In the case of a Hecke correspondence of Shimura curves, this specializes to the action of PSL_2(Q_p) on it's building. Relatedly, given a correspondence without a core, one may construct an infinite tower of covers; these specialize to adding progressively higher (full) level structure in the familiar case of Hecke correspondences of Shimura/modular curves.
A more elaborate group-theoretic hypothesis: one may make assumptions about the Galois groups of this infinite tower of curves. By assuming that certain Galois groups are related to linear groups over local fields, one is led to the following question. Let X←Z→X be an étale correspondence without a core and suppose there is an SL_2(Q_l) local system on X such that the two pullbacks to Z are isomorphic as local systems. Then is the whole package "related to" a Hecke correspondence of Shimura curves? The example of modular curves with Igusa level structures show that the phrase "related to" is absolutely essential: the correspondence may not simply deform to characteristic 0.
Recent work of Tomoyuki Abe completes the so-called companions conjecture of Deligne in the case of curves by proving a p-adic Langlands correspondence for curves over a finite field. Using Abe's results combined with foundational work of de Jong, we translated the condition on local systems to a condition on associated p-divisible groups. Under sufficiently auspicious circumstances, the correspondence together with the p-divisible groups deforms to characteristic 0 and Mochizuki's theorem then implies that everything in sight is at least "related to" a Hecke correspondence of Shimura curves.
The work of Lafforgue (resp. Abe) shows that in general the local systems (resp. overconvergent F-isocrystals) that occur in this story are "motivic"; this was indeed the original motivation for the companions conjecture. More recently, Deligne, Drinfeld, and Abe-Esnault have proven almost all of the companions conjecture for higher dimensional varieties: loosely speaking, we don't know how to go from "l to p" (for the experts: we also don't know how to go from "p to p".) These questions would all be resolved if one could prove that absolutely irreducible local systems (resp. overconvergent F-isocrystals) were of geometric origin. Since finishing my PhD, I have been mostly thinking about this "geometricity" problem and its corollaries.
Preprints/Papers with summary
4. Rank 2 Local Systems and Abelian Varieties - with Ambrus Pal. in preparation
3. Rank 2 Local Systems, Barsotti-Tate groups, and Shimura Curves. arXiv 1711.04797.
2. Correspondences without a Core arXiv 1704.00335, submitted.
1. Maximal Class Numbers of CM Number Fields - with R. Daileda and A. Malyshev, J. Number Theory 130 (2010), no. 4, 936-943.
Notes not intended for publication
Gonality Growth of Galois Covers
FriendsI've learned a lot of math from my friends