Kairi Black About Me Research Teaching Expository Writing CV

About Me

Hi, my name is Kairi Black (formerly Kyrie Johnson).

I am a fifth-year PhD student at Duke University, advised by Samit Dasgupta. I completed my undergraduate at the University of Utah.

From Fall 2022 through Spring 2024, I co-organised (with Rena Chu) a graduate student learning seminar at Duke. The seminar continues under different organization; for details, see the seminar webpage.

When I'm not doing math, I enjoy rock climbing, reading, and sewing.

Pronouns: she/her, they/them
Email:
Office: Gross Hall 304B

me

Research

I'm broadly interested in algebraic and analytic number theory with a view toward

I am also interested in postsecondary math pedagogy with a focus on

Teaching

Together with Sophia Santillan, I wrote an Inclusive Teaching Best Practices Guide as a quick-reference for the busy instructor, math or STEM.

I see relationship-building as an essential element of effective teaching, and I strive to get to know my students as people with lives outside of the classroom. Relationship-building matters to me because it can support a sense of safety in the classroom, which I view as essential for students to engage in the vulnerable process of learning. Indeed, I believe that in learning we must admit – to ourselves and to others – that we don’t yet know and might need help in knowing. I see great vulnerability in these admissions, so I work to cultivate a class in which students feel safe to learn and grow. I say more about my teaching philosophy in my Statement of Teaching Philosophy.

I see my “positions” in the world as underpinning how I relate to students and how they relate to me: I am a White, American, transgender, queer, able-bodied first-generation graduate student. Courses whose instruction I have participated in are tabulated below.

Organization My Role Course Term Comments
Duke University Course Instructor Math 112L: Calculus II Fall 2024 Course syllabus
Duke University Course Instructor Math 112L: Calculus II Fall 2023 Course syllabus
Duke University Course Instructor Math 106L: Calculus and Functions II Fall 2022 Course website
Duke University Lab Instructor Math 106L: Calculus and Functions II Spring 2022 Course website
Duke University Lab Instructor Math 111L: Calculus I Fall 2021
Duke University Grader Math 404: Mathematical Cryptography Spring 2021
Duke University Grader Math 305S: Number Theory Seminar Fall 2020
University of Utah Teaching Assistant Math 1220: Calculus II Spring 2020 Course website
University of Utah Help Lab Tutor Math 3210/3220: Foundations of Analysis Fall 2018 — Spring 2020

I aspire that my teaching is consistent with Federico Ardila's axioms in Todos Cuentan: Cultivating Diversity in Combinatorics, which together constitute a "pressing call to action" for math educators:

  1. Mathematical talent is distributed equally among different groups, irrespective of geographic, demographic, and economic boundaries.

  2. Everyone can have joyful, meaningful, and empowering mathematical experiences.

  3. Mathematics is a powerful, malleable tool that can be shaped and used differently by various communities to serve their needs.

  4. Every student deserves to be treated with dignity and respect.

Expository Writing

Below are expository notes I wrote to organize my understanding at the time. I collect them here so others may find them useful.

  1. The Circle Method for Algebraic Number Fields
    pdf abstract

    In this short expository note, we motivate and describe an application of circle method over an algebraic number field K. In particular, we describe the Hasse principle – a fundamental local-global principle in number theory – and highlight through example how recent work of Schindler and Skorobogatov (SS14) employs the circle method to study the Hasse principle. Finally, we briefly introduce some ideas from algebraic geometry, and discuss the way in which SS14 characterizes an obstruction to the Hasse principle for a large family of varieties. We make an effort to phrase everything as accessibly as possibly; a reader with either background in the circle method or background in algebraic number fields – and possibly neither – will hopefully get something out of this note.
  2. Motivation for the Étale Fundamental Group
    pdf abstract

    We motivate the need for a different notion of the fundamental group in the realm of algebraic geometry, one which is compatible with the Zariski topology. The precise construction of the algebro-geometric fundamental group -- the "étale fundamental group" -- is beyond the scope of this short note, so once motivated we precisely describe the way in which Galois theory manifests as a special case of the more general étale theory. Finally, we introduce sheaves, an object essential to defining the étale fundamental group and found throughout algebraic geometry and beyond.
  3. \(\ell\)-adic Galois Representations
    pdf abstract

    In this paper, we introduce objects which are central to modern number theory: \(\ell\)-adic Galois representations. These special representations correspond with both highly-symmetric meromorphic functions on the upper half of the complex plane — so-called "automorphic forms" — and with the rational zero-sets of polynomials — so-called "algebraic varieties" over \(\mathbb{Q}\). In section 1, we motivate our study by describing how this correspondence proved Fermat's Last Theorem, one of the great triumphs of twentieth century mathematics. In section 2, we lay down a foundation of essential number theory. In section 3, we precisely define \(\ell\)-adic Galois representations and study some examples. And finally in section 4, we return to the big picture and discuss the vast frontier of current research in this area.
  4. Modular Forms, Elliptic Curves, and their Connection to Fermat's Last Theorem
    (Undergraduate Thesis)
    pdf abstract

    Fermat's Last Theorem (FLT) states that for an integer \(n > 2\), the equation \(x^n + y^n = z^n\) has no integer solutions with \(xyz \neq 0\). This incredible statement eluded proof for over three-hundred years: in that time, mathematicians developed numerous tools which finally proved FLT in 1995. In this paper, we introduce some of the essential objects which enter the proof — especially modular forms, elliptic curves, and Galois representations — with an emphasis on precisely stating the Shimura-Taniyama Conjecture and explaining how its proof finally settled FLT. We offer proofs whenever they clarify a definition or elucidate an idea, but generally prefer examples and exposition which make concrete a truly beautiful body of mathematical theory.

As an undergraduate, I wrote two other short articles about graph theory which I share here as resources for others: Constructing Graceful Graphs by Extending Paths from Graceful Graphs and Graph Theory and Matrices.

Lastly, for a completely general audience (no math background needed!), I've also written three articles on the mysterious "perfect numbers": A strange definition of perfect, Perfectly even, and Perfectly odd.