April 2026
Brauer Group
An introduction to Brauer groups, first for a field (i.e., Spec k for a geometer) and then for a scheme.
April 2026
An introduction to Brauer groups, first for a field (i.e., Spec k for a geometer) and then for a scheme.
June 2025
Basics on the representation of complex semisimple Lie algebras, with some examples worked out.
April 2025
An explanation of Beilinson's famous 'Problems in Linear Algebra', in particular showing how his paper gives a full strong exceptional collection and a derived equivalence to quiver representations.
March 2025
An introduction to the machinery of tilting sheaves for writing down derived equivalences. In particular, we compute the functors explicitly in some examples.
October 2024
An introduction to Bridgeland stability, which, granted, doesn't get much farther than discussing t-structures.
August 2024
An introduction to syzygies and minimal free resolutions in the context of algebraic geometry, with an emphasis on Castelnuovo-Mumford regularity.
April 2024
A note on how families of complex manifolds give rise to a 'variation of hodge structures'. Along the way, we compute the monodromy representation on cohomology for the Legendre family.
December 2023
De Rham’s theorem provides an important connection between topology and smooth manifolds: de Rham cohomology is real singular cohomology, with the isomorphism given by integration.
August 2022
Covering spaces are a cool thing in topology. Finding covering spaces is like unwrapping a topological space, with intimate connections to the fundamental group.
July 2022
Hilbert's Nullstellensatz bridges algebra and geometry. This article develops commutative algebra before arriving at a proof.
December 2021
The Sylow Theorems are fundamental to finite groups. We build toward their proof through group actions, existence, and conjugation.
December 2021
We get our feet wet in category theory through universal properties, examples, and the uniqueness of products and coproducts.
October 2021
The Fundamental Theorem of Finitely Generated Modules over a PID quickly gives the classification of finitely generated abelian groups and Jordan normal form.
August 2020
What exactly does induction require? We generalize the natural numbers with well-founded relations, and correspondingly generalize induction.