Contact

jenfns@uidaho.edu
Jennifer Johnson-Leung
Department of Mathematics
PO Box 441103
University of Idaho
Moscow ID 83844-1103
USA

Office Hours:

303 Brink Hall
Mon. 10:30am, Wed. 1:30pm, and by appointment.

Research

My primary research area is number theory, including arithmetic geometry and automorphic representation theory. (Show/Hide Research Summary).
In addition, I spend some time thinking about Math Education(Show/Hide MathEd Summary). This fall, I will be giving a presentation at the UI Advising Symposium on September 11, 2015 on the topic of "Perserverance in Problem Solving."
If you are interested in doing research with me or need a letter of recommendation, please come to my office hours or send me an email to set up an appointment.

Mathematics Publications

• Johnson-Leung, J., & Roberts, B. (2014). Fourier Coefficients for Twists of Siegel Paramodular Forms. 59 pages, expanded version (preprint). 14 pages, submitted version. (Show/Hide Abstract)
  In this paper, we calculate the Fourier coefficients of the paramodular twist of a Siegel modular form of paramodular level $N$ by a nontrivial quadratic Dirichlet character mod $p$ for $p$ a prime not dividing $N$. As an application, these formulas can be used to verify the nonvanishing of the twist for particular examples. We also deduce that the twists of Maass forms are identically zero.
• Johnson-Leung, J., & Roberts, B. (2014). Twisting of Siegel Paramodular Forms. 29 pages, submitted. (Show/Hide Abstract)
  Let $S_k(\Gamma^{\mathrm{para}}(N))$ be the space of Siegel paramodular forms of level $N$ and weight $k$. Let $p\nmid N$ and let $\chi$ be a nontrivial quadratic Dirichlet character mod $p$. Based on our previous work, we define a linear twisting map $\mathcal{T}_\chi:S_k(\Gamma^{\mathrm{para}}(N))\rightarrow S_k(\Gamma^{\mathrm{para}}(Np^4))$. We calculate an explicit expression for this twist and give the commutation relations of this map with the Hecke operators and Atkin-Lehner involution for primes $\ell\neq p$.
• Johnson-Leung, J., & Roberts, B. (2014). Appendix to Twisting of Siegel Paramodular Forms. 60 pages, preprint. (Show/Hide Abstract)
  In this appendix we present an expanded version of Section 4 of our paper arXiv:1404.4596, including the proofs of all of the technical lemmas.
• Johnson-Leung, J., & Roberts, B. (2014). Twisting of paramodular vectors. International Journal of Number Theory, 10 1043–1065 (doi: 10.1142/S1793042114500146). (Show/Hide Abstract)
  Let $F$ be a non-archimedean local field of characteristic zero, let $(\pi,V)$ be an irreducible, admissible representation of $\GSp(4,F)$ with trivial central character, and let $\chi$ be a quadratic character of $F^\times$ with conductor $c(\chi)>1$. We define a twisting operator $T_\chi$ from paramodular vectors for $\pi$ of level $n$ to paramodular vectors for $\chi \otimes \pi$ of level $\max(n+2c(\chi),4c(\chi))$, and prove that this operator has properties analogous to the well-known $\GL(2)$ twisting operator.
• Johnson-Leung, J. (2013). The local equivariant Tamagawa number conjecture for almost abelian extensions. In Women in Numbers 2: Research Directions in Number Theory, Contemporary Mathematics, 606 1–27. (Show/Hide Abstract)
  We prove the local equivariant Tamagawa number conjecture for the motive of an abelian extension of an imaginary quadratic field with the action of the Galois group ring for all split primes $p\neq 2, 3$ at all integer values $s<0$.
• Johnson-Leung, J., & Roberts, B. (2012). Siegel modular forms of degree two attached to Hilbert modular forms. Journal of Number Theory, 132 ,543–564. (Show/Hide Abstract)
  Let $E/\mathbb{Q}$ be a real quadratic field and $\pi_0$ a cuspidal, irreducible, automorphic representation of $\GL(2,\mathbb{A}_E)$ with trivial central character and infinity type $(2,2n+2)$ for some non-negative integer $n$. We show that there exists a Siegel paramodular newform $F: \mathfrak H_2 \to \mathbb C$ with weight, level, Hecke eigenvalues, epsilon factor and $L$-function determined explicitly by $\pi_0$. We tabulate these invariants in terms of those of $\pi_0$ for every prime $p$ of $\mathbb{Q}$.
• H. Grundman, J. Johnson-Leung, K. Lauter, A. Salerno, B. Viray, and E. Wittenborn. (2011). Embeddings of Quartic CM fields and Intersection theory on the Hilbert Modular Surface, in WIN--Women in Numbers: Research Directions in Number Theory, Fields Institute Communications Series, Volume 60, 35–60. (Show/Hide Abstract)
  Bruinier and Yang conjectured a formula for an intersection number on the arithmetic Hilbert modular surface, $CM(K).T_m$, where $CM(K)$ is the zero-cycle of points corresponding to abelian surfaces with CM by a primitive quartic CM field $K$, and $T_m$ is the Hirzebruch-Zagier divisors parameterizing products of elliptic curves with an m-isogeny between them. In this paper, we examine fields not covered by Yang's proof of the conjecture. We give numerical evidence to support the conjecture and point to some interesting anomalies. We compare the conjecture to both the denominators of Igusa class polynomials and the number of solutions to the embedding problem stated by Goren and Lauter.
• Johnson-Leung, J., & Kings, G. (2011). On the equivariant main conjecture for imaginary quadratic fields, J. reine angew. Math. 653 75–114. (Show/Hide Abstract)
  In this paper we first prove the main conjecture for imaginary quadratic fields for all prime numbers $p$, improving earlier results by Rubin. From this we deduce the equivariant main conjecture in the case that a certain $\mu$-invariant vanishes. For prime numbers $p\nmid 6$ which split in $K$, this is a theorem by a result of Gillard.
• Johnson-Leung, J. (2005) Artin $L$-functions for abelian extensions of imaginary quadratic fields. PhD Thesis, California Institute of Technology. 1–69. (Show/Hide Abstract)
  Let $F$ be an abelian extension of an imaginary quadratic field $K$ with Galois group $G$. We form the Galois-equivariant $L$-function of the motive $M=h^0(\Spec(F))(j)$ where the Tate twists $j$ are negative integers. The leading term in Taylor expansion at $s=0$ decomposes over the group algebra $\Q[G]$ into a product of Artin $L$-functions indexed by the characters of $G$. We construct a motivic element $\xi$ via the Eisenstein symbol and relate the $L$-value to periods of $\xi$ via regulator maps. Working toward the equivariant Tamagawa number conjecture, we prove that the $L$-value gives a basis in étale cohomology which coincides with the basis given by the $p$-adic $L$-function according to the main conjecture of Iwasawa theory.

Math Education Publications

• Yopp, D., Ely, R., and Johnson-Leung, J. (2015) Generic Example Proving Criteria for All. To appear in For the Learning of Mathematics.
• Adams, A. and Johnson-Leung, J. (2014) Justification as Exploration in Understanding Divisibility Rules. preprint.
• Johnson-Leung, J. and Ely, R. (2015) Learning Trajectories in Linear Algebra. in preparation.

Teaching–Spring 2015

• Algebraic Geometry (558) syllabus
• Linear Algebra (330) syllabus
• Course in Arithmetic Reading Group (504)

I use bblearn for my course web pages.

Outreach

• Making Mathematical Reasoning Explicit Summer Institutes for Teachers.
• Idaho Math Circle
• Moscow High School Math Club

Bio

I have been an Assistant Professor in the Department of Mathematics at the University of Idaho since 2007. Prior to joining the faculty at Idaho, I was an instructor at Brandeis University for 2 years. I received my PhD in 2005 from Caltech under the direction of Matthias Flach. I am also an alumna of The College of William and Mary (1998). I enjoy working and playing in Moscow, Idaho with my husband and four children.

Grant Activity

• Making Mathematical Reasoning Explicit (2011–2016)
  NSF Award #1050397
• NSA Young Investigator's grant (2010–2012)
• University of Idaho Seed Grant (2008–2009)

Conferences Organized

• Pacific Northwest Number Theory Conference (2012).
• AMS Special Session on Arithmetic Geometry (2012).
• AMS Special Session on Arithmetic Geometry (2010).

Selected Presentations

• Speaker at ICERM workshop Modular Forms and Curves of Low Genus: Computational Aspects (2015)
• Plenary Speaker at the TORAS conference (2015).
• Lecturer at the ENS-Lyon Summer School: Special Values of $L$-functions (2014).
• Project Leader at Sage Days 42 (Women in Sage 3) (2012).

Graduate Students

• Malcolm Rupert
• Daniel Reiss