**Raju Krishnamoorthy**

Postdoc

Bergische Universität Wuppertal

F13.05

Gaußstraße 20, Wuppertal

**Email:**

firstname[at]math[dot]columbia[dot]edu OR

firstname[at]uga[dot]edu OR

lastname[at]uni-wuppertal[dot]de

**About Me**

I am currently a postdoc at Bergische Universität Wuppertal under the supervision of Kay Rülling. Before that, I was a limited term assistant professor at UGA. Before that, I was an NSF postdoctoral fellow under the supervision of Hélène Esnault at FU Berlin. Earlier still I was a graduate student in the Mathematics Department at Columbia University, where my advisor was Johan de Jong. Here is a CV.

**Research Interests**

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

**11**. Periodic de Rham Bundles over Curves - with Mao Sheng*, arXiv 2011.03268*

**10**. Periodic Higgs Bundles over Curves - with Mao Sheng*, arXiv 2011.03272*

**9**. Finiteness of logarithmic crystalline representations II - with Jinbang Yang and Kang Zuo, arXiv 2009.00074

**8**. Finiteness of logarithmic crystalline representations - with Jinbang Yang and Kang Zuo, arXiv 2005.13472

**7**. A Lefschetz theorem for crystalline representations - with Jinbang Yang and Kang Zuo, arXiv 2003.08906, *submitted*.

**6**. Deformation theory of Periodic Higgs-de Rham flows - with Jinbang Yang and Kang Zuo, arXiv 2005.00579.

**5**. Rank 2 Local Systems and Abelian Varieties II - with Ambrus Pal, arXiv:2003:07831 *submitted.*

**4**. Rank 2 Local Systems and Abelian Varieties - with Ambrus Pal, arXiv:1809.02106v3*, *Selecta Mathematica 27:51 (2021), https://rdcu.be/cmOWB

**3**. Rank 2 Local Systems, Barsotti-Tate groups, and Shimura Curves - arXiv 1711.04797, *submitted*.

**2**. Correspondences without a Core - arXiv 1704.00335, Algebra and Number Theory 12:5 (2018) 1173-1214.

**1**. Maximal Class Numbers of CM Number Fields - with R. Daileda and A. Malyshev, J. Number Theory 130:4 (2010) 936-943.

**Notes not intended for publication**

PhD Thesis Here is a copy of my Phd thesis. It has mostly been subsumed into (2) and (3) above, with the exception of some computations in 2-adic group theory.

Gonality Growth of Galois Covers

**Teaching**

Calculus I, Fall 2019, Fall 2018, Spring 2016, Spring 2013

Undergraduate seminar on Complex Analysis and Riemann Surfaces, Fall 2014

**Events Organized**

Applications of the étale fundamental group to algebraic geometry, Bergische Universität Wuppertal, SoSe21.

Workshop on p-adic coefficients and geometry, Imperial College London, July 2019

**Friends**

I've learned a lot of math from my friends

Stéphane Benoist

Aaron Bernstein

Phil Engel

Michael McBreen