Jennifer Balakrishnan

Last updated
Jennifer Balakrishnan
Jennifer Balakrishnan at Oberwolfach (2018).jpg
Jennifer Balakrishnan (2018)
NationalityAmerican
Alma mater
Awards
Scientific career
Fields Mathematics
Institutions Boston University
Thesis Coleman integration for hyperelliptic curves: algorithms and applications  (2011)
Doctoral advisor Kiran Kedlaya
Website math.bu.edu/people/jbala/

Jennifer Shyamala Sayaka Balakrishnan is an American mathematician [1] known for leading a team that solved the problem of the "cursed curve", a Diophantine equation that was known for being "famously difficult". [2] More generally, Balakrishnan specializes in algorithmic number theory and arithmetic geometry. She is a Clare Boothe Luce Professor at Boston University. [1]

Contents

Education and career

Balakrishnan was born in Mangilao, Guam [3] to Narayana and Shizuko Balakrishnan; her father is a professor of chemistry at the University of Guam. [4] [5] As a junior at Harvest Christian Academy, Balakrishnan won an honorable mention in the 2001 Karl Menger Memorial Award competition, for the best mathematical project in the Intel International Science and Engineering Fair. Her project concerned elliptic coordinate systems. [6] In the following year, she won the National High School Student Calculus Competition, given as part of the United States of America Mathematical Olympiad. [7]

Balakrishnan graduated from Harvard University in 2006, with both a magna cum laude bachelor's degree and a master's degree in mathematics. [1] She moved to the Massachusetts Institute of Technology for her doctoral studies, completing her Ph.D. in 2011. Her dissertation, Coleman integration for hyperelliptic curves: algorithms and applications, was supervised by Kiran Kedlaya. [1] [8]

She returned to Harvard for her postdoctoral studies from 2011 to 2013, and then moved to the University of Oxford from 2013 to 2016, where she was a Junior Research Fellow in Balliol College and a Titchmarsh Research Fellow in the Mathematical Institute. [1] She became Clare Booth Luce Assistant Professor at Boston University in 2016, [9] Clare Booth Luce Associate Professor in 2021, and Clare Booth Luce Professor in 2023. [1]

Balakrishnan is one of the principal investigators in the Simons Collaboration on Arithmetic Geometry, Number Theory, and Computation, a large multi-university collaboration involving Boston University, Harvard, MIT, Brown University, and Dartmouth College, with additional collaborators from other universities in the US, England, Australia, the Netherlands, and Canada. [10] . She also serves on the board of directors of the Number Theory Foundation and the editorial boards of Research in Number Theory and Mathematics of Computation. [11] [12] [13] She serves on the Scientific Advisory Board for the Institute for Computational and Experimental Research in Mathematics (ICERM). [14]

Contributions

In 2017, Balakrishnan led a team of mathematicians in settling the problem of the "cursed curve" . This curve is modeled by the equation

and, as a Diophantine equation, the problem is to determine all rational solutions, i.e., assignments of rational numbers to the variables , , and for which the equation is true. [2]

Although as an explicit equation this curve has a complicated form, it is natural and conceptually significant in the number theory of elliptic curves. The equation describes a modular curve whose solutions characterize the one remaining unsolved case of a theorem of Bilu, Parent & Rebolledo (2013) on the Galois representations of elliptic curves without complex multiplication. [15] Computations by Galbraith (2002) and Baran (2014) had previously identified seven solutions on the cursed curve (six corresponding to elliptic curves with complex multiplication, and one cusp), but their computational methods were unable to show that the list of solutions was complete. [16] [17] Following a suggestion of Oxford mathematician Minhyong Kim, Balakrishnan and her co-authors constructed a "Selmer variety" associated with the curve, such that the rational points of the curve all lie on the Selmer variety as well, and such that the number of points of intersection of the curve and the variety can be computed. Using this method, they proved that the seven known solutions to the cursed curve are the only ones possible. [2] This work was initially reported in a 2017 arXiv preprint [18] and was published in the journal Annals of Mathematics in 2019. [19]

Balakrishnan has researched, with Ken Ono and others, Lehmer's question on whether the Ramanujan tau function is ever zero for a positive integer n. [20]

As well as for her work in number theory, Balakrishnan is known for her work implementing number-theoretical algorithms as part of the SageMath computer algebra system. [9]

Recognition

Balakrishnan received the Clare Boothe Luce Assistant Professorship in 2016. In 2018, Balakrishnan was selected as a Sloan Research Fellow. [21] In 2020, she was selected for a National Science Foundation CAREER Award. [22] She was named a Fellow of the American Mathematical Society, in the 2022 class of fellows, "for contributions to arithmetic geometry and computational number theory and service to the profession". [23] She earned the 2022 AWM–Microsoft Research Prize in Algebra and Number Theory in recognition of her "outstanding contributions to explicit methods in number theory, particularly her advances in computing rational points on algebraic curves over number fields". [24] She was selected as a Fellow of the Association for Women in Mathematics in the class of 2023 "for her support of women in mathematics through mentoring and advising; for organizing and supporting programs for women and girls, especially Women in Sage and Women in Numbers; for her work in outreach and education, including GirlsGetMath; and for working to improve diversity, equity, and inclusion in research communities. [25] In 2023 she was awarded the 2023-2024 AMS-Birman Fellowship. [26]

Selected publications

Related Research Articles

<span class="mw-page-title-main">Algebraic geometry</span> Branch of mathematics

Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometrical problems. Classically, it studies zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects.

<span class="mw-page-title-main">Diophantine equation</span> Polynomial equation whose integer solutions are sought

In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, for which only integer solutions are of interest. A linear Diophantine equation equates to a constant the sum of two or more monomials, each of degree one. An exponential Diophantine equation is one in which unknowns can appear in exponents.

In mathematics, an equation is a mathematical formula that expresses the equality of two expressions, by connecting them with the equals sign =. The word equation and its cognates in other languages may have subtly different meanings; for example, in French an équation is defined as containing one or more variables, while in English, any well-formed formula consisting of two expressions related with an equals sign is an equation.

<span class="mw-page-title-main">Elliptic curve</span> Algebraic curve

In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point O. An elliptic curve is defined over a field K and describes points in K2, the Cartesian product of K with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions (x, y) for:

<span class="mw-page-title-main">Number theory</span> Mathematics of integer properties

Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics." Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers, or defined as generalizations of the integers.

In mathematics, the Weil conjectures were highly influential proposals by André Weil. They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.

<span class="mw-page-title-main">Abelian variety</span> A projective algebraic variety that is also an algebraic group

In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for research on other topics in algebraic geometry and number theory.

<span class="mw-page-title-main">Algebraic curve</span> Curve defined as zeros of polynomials

In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation h(x, y, t) = 0 can be restricted to the affine algebraic plane curve of equation h(x, y, 1) = 0. These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered.

In mathematics, an algebraic equation or polynomial equation is an equation of the form , where P is a polynomial with coefficients in some field, often the field of the rational numbers. For example, is an algebraic equation with integer coefficients and

<span class="mw-page-title-main">Hyperelliptic curve</span>

In algebraic geometry, a hyperelliptic curve is an algebraic curve of genus g > 1, given by an equation of the form

In number theory and algebraic geometry, a rational point of an algebraic variety is a point whose coordinates belong to a given field. If the field is not mentioned, the field of rational numbers is generally understood. If the field is the field of real numbers, a rational point is more commonly called a real point.

<span class="mw-page-title-main">Robert F. Coleman</span> American mathematician

Robert Frederick Coleman was an American mathematician, and professor at the University of California, Berkeley.

In algebraic geometry and number theory, the torsion conjecture or uniform boundedness conjecture for torsion points for abelian varieties states that the order of the torsion group of an abelian variety over a number field can be bounded in terms of the dimension of the variety and the number field. A stronger version of the conjecture is that the torsion is bounded in terms of the dimension of the variety and the degree of the number field. The torsion conjecture has been completely resolved in the case of elliptic curves.

In mathematics, a superelliptic curve is an algebraic curve defined by an equation of the form

In mathematics, an Artin–Schreier curve is a plane curve defined over an algebraically closed field of characteristic by an equation

<span class="mw-page-title-main">Rachel Justine Pries</span> American mathematician

Rachel Justine Pries is an American mathematician whose research focuses on arithmetic geometry and number theory. She is a professor at Colorado State University and both a Fellow of the American Mathematical Society and a Fellow of the Association for Women in Mathematics.

The AWM–Microsoft Research Prize in Algebra and Number Theory and is a prize given every other year by the Association for Women in Mathematics to an outstanding young female researcher in algebra or number theory. It was funded in 2012 by Microsoft Research and first issued in 2014.

<span class="mw-page-title-main">Sums of three cubes</span> Problem in number theory

In the mathematics of sums of powers, it is an open problem to characterize the numbers that can be expressed as a sum of three cubes of integers, allowing both positive and negative cubes in the sum. A necessary condition for an integer to equal such a sum is that cannot equal 4 or 5 modulo 9, because the cubes modulo 9 are 0, 1, and −1, and no three of these numbers can sum to 4 or 5 modulo 9. It is unknown whether this necessary condition is sufficient.

<span class="mw-page-title-main">Andrew Sutherland (mathematician)</span>

Andrew Victor Sutherland is an American mathematician and Principal Research Scientist at the Massachusetts Institute of Technology. His research focuses on computational aspects of number theory and arithmetic geometry. He is known for his contributions to several projects involving large scale computations, including the Polymath project on bounded gaps between primes, the L-functions and Modular Forms Database, the sums of three cubes project, and the computation and classification of Sato-Tate distributions.

In arithmetic geometry, the uniform boundedness conjecture for rational points asserts that for a given number field and a positive integer , there exists a number depending only on and such that for any algebraic curve defined over having genus equal to has at most -rational points. This is a refinement of Faltings's theorem, which asserts that the set of -rational points is necessarily finite.

References

  1. 1 2 3 4 5 6 Curriculum vitae (PDF), Boston University, retrieved 2024-05-17
  2. 1 2 3 Hartnett, Kevin (December 7, 2017), "Mathematicians crack the cursed curve", Quanta Magazine
  3. ↑ "Jennifer Balakrishnan and Vivek Venkatachalam", The New York Times, 2011-05-28, ISSN   0362-4331 , retrieved 2020-02-08
  4. ↑ Rajghatta, Chidanand (March 14, 2002), "8 Indian-American stars shine at Intel contest", The Times of India
  5. ↑ "Jennifer Balakrishnan and Vivek Venkatachalam", Weddings/Celebrations, The New York Times , May 28, 2011
  6. ↑ "AMS Menger Awards Made", News, Events and Announcements, American Mathematical Society, June 28, 2001
  7. ↑ "National High School Student Calculus Competition", Mathematics People, Notices of the American Mathematical Society , 49 (7): 820, August 2002
  8. ↑ Jennifer Balakrishnan at the Mathematics Genealogy Project
  9. 1 2 Rimer, Sara (November 4, 2016), "Young Mathematician Wins Clare Boothe Luce Assistant Professorship", Research, Boston University
  10. ↑ "Principal Investigators", Simons Collaboration on Arithmetic Geometry, Number Theory, and Computation, Brown University, retrieved 2018-09-17
  11. ↑ Board of directors, Number Theory Foundation , retrieved 2020-01-18
  12. ↑ Editors, Springer Science+Business Media , retrieved 2020-01-18
  13. ↑ Editorial Board, American Mathematical Society , retrieved 2021-12-05
  14. ↑ "ICERM - Trustee and Advisory Boards - Trustee & Advisory Boards", icerm.brown.edu, retrieved 2021-07-11
  15. ↑ Bilu, Yuri; Parent, Pierre; Rebolledo, Marusia (2013), "Rational points on ", Annales de l'Institut Fourier, 63 (3): 957–984, doi: 10.5802/aif.2781 , MR   3137477, S2CID   118962584
  16. ↑ Galbraith, Steven D. (2002), "Rational points on and quadratic -curves", Journal de Théorie des Nombres de Bordeaux, 14 (1): 205–219, doi: 10.5802/jtnb.354 , MR   1925998
  17. ↑ Baran, Burcu (2014), "An exceptional isomorphism between modular curves of level 13", Journal of Number Theory, 145: 273–300, doi: 10.1016/j.jnt.2014.05.017 , MR   3253304
  18. ↑ Balakrishnan, Jennifer S.; Dogra, Netan; Müller, J. Steffen; Tuitman, Jan; Vonk, Jan (2017), Explicit Chabauty–Kim for the split Cartan modular curve of level 13, arXiv: 1711.05846 , Bibcode:2017arXiv171105846B
  19. ↑ Balakrishnan, Jennifer S.; Dogra, Netan; Müller, J. Steffen; Tuitman, Jan; Vonk, Jan (2019), "Explicit Chabauty–Kim for the split Cartan modular curve of level 13", Annals of Mathematics, 109 (3): 885–944, arXiv: 1711.05846 , doi:10.4007/annals.2019.189.3.6, S2CID   53539516
  20. ↑ Balakrishnan, Jennifer S.; Ono, Ken; Tsai, Wei-Lun (2021). "Even values of Ramanujan's tau-function". arXiv: 2102.00111 [math.NT].
  21. ↑ Barlow, Rich (March 21, 2018), "Sloan Fellowships Go to BU astronomer, physicist, and mathematician", BU Today, Boston University
  22. ↑ "Mathematics People - 2020 NSF CAREER Awards" (PDF), Notices of the American Mathematical Society, 68: 438
  23. ↑ 2022 Class of Fellows of the AMS, American Mathematical Society, retrieved 2021-11-05
  24. ↑ "AWM Prizes Awarded" (PDF), Mathematics People, Notices of the American Mathematical Society, 68 (11): 2001–2003, December 2021
  25. ↑ "The AWM Fellows Program: 2023 Class of AWM Fellows". Association for Women in Mathematics. Retrieved 22 January 2023.
  26. ↑ "News from the AMS". American Mathematical Society. Retrieved 2023-03-15.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.