I am a Hans Rademacher instructor in the Mathematics Department at the University of Pennsylvania. I completed my PhD at the University of Washington. My thesis advisor is Ralph Greenberg. My research interests in algebraic number theory are motivated by questions in Iwasawa theory and Hida theory. My CV (last updated June, 2019) 

On Selmer groups and factoring padic Lfunctions,
International Mathematics Research Notices (2018), Issue 24, December 2018, Pages 74837554
(Journal) (arXiv) (Video)
Samit Dasgupta has proved a formula factoring a certain restriction of a $3$variable RankinSelberg $p$adic $L$function as a product of a $2$variable $p$adic $L$function related to the adjoint representation of a Hida family and a KubotaLeopoldt $p$adic $L$function. We prove a result involving Selmer groups that along with Dasgupta's result is consistent with the main conjectures associated to the 4dimensional representation (to which the 3variable $p$adic $L$function is associated), the $3$dimensional representation (to which the $2$variable $p$adic $L$function is associated) and the $1$dimensional representation (to which the KubotaLeopoldt $p$adic $L$function is associated). Under certain additional hypotheses, we indicate how one can use work of Urban to deduce main conjectures for the $3$dimensional representation and the $4$dimensional representation. One key technical input to our methods is studying the behavior of Selmer groups under specialization.
Height one specializations of Selmer groups,
Annales de l'Institut Fourier, Volume 69 (2019) no. 1, p. 303334
(Journal) (arXiv) (Sage Worksheet)
We provide applications to studying the behavior of Selmer groups under specialization. We consider Selmer groups associated to $4$dimensional Galois representations coming from (i) the tensor product of two cuspidal Hida families $F$ and $G$, (ii) its cyclotomic deformation, (iii) the tensor product of a cusp form $f$ and the Hida family $G$, where $f$ is a classical specialization of $F$ with weight $k \geq 2$. We prove control theorems to relate (a) the Selmer group associated to the tensor product of Hida families $F$ and $G$ to the Selmer group associated to its cyclotomic deformation and (b) the Selmer group associated to the tensor product of $f$ and $G$ to the Selmer group associated to the tensor product of $F$ and $G$. On the analytic side of the main conjectures, Hida has constructed $1$variable, $2$variable and $3$variable RankinSelberg $p$adic $L$functions. Our specialization results enable us to verify that Hida's results relating (a) the $2$variable $p$adic $L$function to the $3$variable $p$adic $L$function and (b) the $1$variable $p$adic $L$function to the $2$variable $p$adic $L$function and our control theorems for Selmer groups are completely consistent with the main conjectures.
On free resolutions of Iwasawa modules,
with Alexandra Nichifor
Doc. Math. 24, 609662 (2019)
(arXiv) (Journal)
Let $\Lambda$ (isomorphic to $\mathbb{Z}_p[[T]]$) denote the usual Iwasawa algebra and $G$ denote the Galois group of a finite Galois extension $L/K$ of totally real fields. When the nonprimitive Iwasawa module over the cyclotomic $\mathbb{Z}_p$extension has a free resolution of length one over the group ring $\Lambda[G]$, we prove that the validity of the noncommutative Iwasawa main conjecture allows us to find a representative for the nonprimitive $p$adic $L$function (which is an element of a $K_1$group) in a maximal $\Lambda$order. This integrality result involves a careful study of the Dieudonn\'e determinant. Using a cohomolgoical criterion of Greenberg, we also deduce the precise conditions under which the nonprimitive Iwasawa module has a free resolution of length one. As one application of the last result, we consider an elliptic curve over $\mathbb{Q}$ with a cyclic isogeny of degree $p^2$. We relate the characteristic ideal in the ring $\Lambda$ of the Pontryagin dual of its nonprimitive Selmer group to two characteristic ideals, viewed as elements of group rings over $\Lambda$, associated to two nonprimitive classical Iwasawa~modules.
Codimension two cycles in Iwasawa theory and elliptic curves with supersingular reduction,
with Antonio Lei,
accepted for publication in Forum of Mathematics, Sigma (2019)
(arXiv) (Sage Code 1) (Sage Code 2)
A result of Bleher, Chinburg, Greenberg, Kakde, Pappas, Sharifi and Taylor has initiated the topic of higher codimension Iwasawa theory. As a generalization of the classical Iwasawa main conjecture, they prove a relationship between analytic objects (a pair of Katz's $2$variable $p$adic $L$functions) and algebraic objects (two ``everywhere unramified'' Iwasawa modules) involving codimension two cycles in a $2$variable Iwasawa algebra. We prove a result by considering the restriction to an imaginary quadratic field $K$ (where an odd prime $p$ splits) of an elliptic curve $E$, defined over $\mathbb{Q}$, with good supersingular reduction at $p$. On the analytic side, we consider eight pairs of $2$variable $p$adic $L$functions in this setup (four of the $2$variable $p$adic $L$functions have been constructed by Loeffler and a fifth $2$variable $p$adic $L$function is due to Hida). On the algebraic side, we consider modifications of fine Selmer groups over the $\mathbb{Z}_p^2$extension of $K$. We also provide numerical evidence, using algorithms of Pollack, towards a pseudonullity conjecture of CoatesSujatha.
Codimension two cycles in Iwasawa theory and tensor product of Hida families
with Antonio Lei , submitted
(arXiv)
The purpose of this paper is to build on results in higher codimension Iwasawa theory. The setting of our results involves Galois representations arising as cyclotomic twist deformations associated to (i) the tensor product of two cuspidal Hida families $F$ and $G$, and (ii) the tensor product of three cuspidal Hida families $F$, $G$ and $H$. On the analytic side, we consider (i) a pair of $3$variable RankinSelberg $p$adic $L$functions constructed by Hida and (ii) a balanced $4$variable $p$adic $L$function (whose construction is forthcoming in a work of Hsieh and Yamana) and an unbalanced $4$variable $p$adic $L$function (whose existence is currently conjectural). In each of these setups, when the two $p$adic $L$functions generate a height two ideal in the corresponding deformation ring, we use codimension two cycles of that ring to relate them to a pair of pseudonull modules.
Email : pbharath [AT] math [dot] upenn [.] edu
Office : 4N53 David Rittenhouse Labs