Stability manifolds à la Bridgeland have been central to much modern algebraic geometry, yet explicit descriptions remain elusive in all but a handful of cases. Okada So’s computation of the stability manifold of \(\mathbb{P}^1\) was among the first major steps to remedy the situation. Whilst the paper remains a great resource for an understanding of both the topology and geometry of \(\text{Stab}(\mathbb{P}^1)\), I attempt to sketch (literally and figuratively) the manifold and some group actions on it.

A first class on category theory typically introduces this rather silly category whose objects are natural numbers, and morphisms \(p\to q\) are \(q\times p\) matrices – this is perhaps to drive home the point that anything and everything under the sun can be a category – and then proceeds to show that it is equivalent to the category of vector spaces (an “honest” category by anyone’s definition). Continuing this rather silly exercise, we will examine a category whose objects are all finite matrices, and then proceed to take off its guise.

An object \(G\) in a triangulated category \(\mathscr{T}\) is a classical generator if it is not contained in a proper triangulated subcategory of \(\mathscr{T}\). It is a generator if \(\{G\}\) is a spanning class, i.e. \(\text{Hom}^\bullet(G,x) = 0\) if and only if \(x=0\). Every classical generator spans; I discuss two geometric counterexamples to the converse — based on Dmitrii Pirozhkov’s exposition which attributes them to de Jong.

Grothendieck proved any algebraic vector bundle on \(\mathbb{P}^1\) splits into a direct sum of line bundles, and consequently any coherent sheaf on the variety is a direct sum of line bundles and torsion sheaves. This behaviour, and its ramifications on the derived category, exhibit how \(\mathbb{P}^1\) is very close to a principal ideal domain. The results above can be proven with as much or as little machinery as one desires– indeed one can take the point of view that this classification of coherent sheaves is a mere consequence of existence of Jordan normal forms of matrices. In this article however we look at a more cohomological proof, showing how Serre duality shines in these situations.

Among the first ideas one encounters in the study of homotopy groups is to consider covering spaces– things that locally look like products with some discrete topological space \(\Delta\) but can have vastly different global properties than a simple product space. In fact the number of non-trivial covering spaces is a measure of the topological complexity of the space, in a sense made precise by the Galois correspondence of fundamental groups. It is then natural to ask what happens if one replaces \(\Delta\) with more a complicated topological space \(F\): what results is a richer analogue of a covering space called a fiber bundle, or a vector bundle if \(F\) is a vector space.

Alonzo Church’s Lambda Calculus is what makes type-free functional programming work. A powerful model of computation, at its heart is a very simple abstract rewrite system– a directed graph. This short article touches upon why Lambda-calculus might be a natural thing to think about, and presents an elegant proof of the Church-Rosser theorem.

The summer of 2020 found me working on set theoretic questions with Dr Thomas Forster– one of the first tasks he set me was to read about Conway’s Sylver Coinage. This simple question opens up a discussion of the theory of Gale-Stewart games, where two players take turns to build infinite sequences of natural numbers. The winner is decided based on whether or not the resulting sequence has some property– and knowing things as simple as the cardinality of all winning configurations can reveal a lot about whether the game has a winning strategy, i.e. is rigged in favour of one of the players.