logo Luke Naylor

About Me

I am a PhD student in the School of Mathematics at the University of Edinburgh, supervised by Prof. Antony Maciocia. In the past I was a software engineer on the compiler team at (formally) Micro Focus (now the AMC division of OpenText Rocket Software ).

I study walls on Bridgeland stability conditions for complexes of coherent sheaves on Picard Rank 1 surfaces and threefolds. This is an area of Algebraic Geometry. At the moment, I'm interested in automating methods for finding walls, find out more about this on the Pseudowalls page.


Talk Event
Narrowing Down Possibilities for Tilt Walls (slides)

Abstract: Bridgeland stability conditions were introduced on arbitrary triangulated categories (such as D^b(X)) as an analogue to classical notions of stability for vector bundles. In certain settings, for a fixed Chern character, there are "chambers" of stability conditions, separated by "walls", which yield the same moduli of stable objects. One of these chambers corresponding to Gieseker stability of sheaves. Here I present a tool I have been developing to narrow down the possibilities for such walls on Picard rank 1 surfaces in a case when we know there are finitely many. As well as potential extensions to give a generating sequence when there are infinitely many walls on a principally polarized abelian surface.

Structure and Symmetry Day ,
Edinburgh University
From stability of vector bundles to stability in triangulated categories (slides)

Abstract: Classically, stability of vector bundles was studied. But more recently, this area has taken a homological algebra twist with Bridgeland stabilities becoming very popular. Here I will talk about this transition to triangulated categories, with an attempt to make the similarities with Mumford stability as clear as possible.

Glasgow University
Bridgeland Stabilities and Finding Walls (slides)

Abstract: As many are aware, quite a few of us in the school are concerned with the business of stability conditions on sheaves. If you’ve talked to these people before, you very quickly realise that this is actually short for “stability conditions on the derived category of coherent sheaves”. In this talk I introduce this topic, particularly, the explicit stability conditions constructed by Bridgeland for K3 surfaces. But also how they relate to the more classical Mumford and Gieseker stabilities (which do not involve the derived). Later on, some stabilities on threefolds too. Along the way we will have a look at the notion of walls and why we want to find them. This will also expose the benefit of a couple of different viewpoints to find restrictions on the set of possible walls, some numeric, but also the geometry of some characteristic curves on the space of stability conditions.

Hodge Club ,
Edinburgh University
From Fourier to Fourier-Mukai

Abstract: When you look at the definition for the Fourier-Mukai Transform, it's hard to see what this has to do with integral transforms, let alone the one in its name. Yet, this analogy was obvious to Shigeru Mukai, who first introduced it in the 80s as "a Fourier functor". During this talk I will present the Fourier Transform, and the Fourier-Mukai transform, concentrating on the similarities and how they are used for the same purpose. Then, finally, a peek at what role this plays in finding walls for Bridgeland stability conditions.

Glasgow University
Conway's approach to symmetries (slides)

Abstract: When I first saw the classification of wallpaper groups, as I'm sure it was the same with many others, it was a very algebraic approach. For example considering the translation subgroup, the point group, and ways they can fit together. This past semester I had the opportunity to tutor for Toby Bailey's course "Symmetry and Geometry", which is based on material from a book co-authored by one of his past lecturers John Conway titled "The Symmetries of things". The approach in this text is, instead of considering the groups themselves, to consider the space (which has the symmetries) quotiented by the group of symmetries giving so called orbifolds. This method generalises well to spherical and hyperbolic symmetry and gives clean picturesque ways of classifying certain types of tilings. This talk is a 50 minute picturesque summary and advert for the topics in this area.

Hodge Club ,
Edinburgh University
Poster Event
Tighter bounds on ranks of tilt semistabilizers – narrowing down on possibilities quicker (poster)

Abstract: When trying to narrow down the possibilities for the locations of tilt walls, the typical strategy is to find potential semistabilizers who’s Chern characters satisfy a set of inequalities which would be satisfied by genuine ones (including Bogomolov-Gieseker). In 2020, Benjamin Schmidt published a program to compute the possibilities, however the running time suffered from a conservative estimate for a bound on the ranks of tilt semistabilizers. The work I want to present is a set of refinements on this bound, one in the form of a pragmatic formula to calculate by hand which can be as small as a quarter of the original bound. As well as more complicated formulae with extra parameters which are better suited in the context of a newer computer program. This newer program gives instantaneous results in certain examples where the original takes over an hour, and can easily be tried from your browser at https://pseudowalls.gitlab.io/webapp/tilt.sycamore/.

Conference: Derived Categories, Moduli Spaces, and Counting Invariants ,
Imperial College London
2023-07-03 to 2023-07-07
Reading Group Talk Reading Group
Closed embeddings Algebraic Geometry (Rising Sea),
Constructive proof of syzygy theorem (application of Groebner bases) Commutative Algebra (Eisenbud),
Flat families Commutative Algebra (Eisenbud),
Example workthrough: primary decomposition Commutative Algebra (Eisenbud),


I am involved with teaching in the School of Mathematics at the University of Edinburgh, where I have received an Associate Fellowship of the Higher Education Academy.

Symmetry and Geometry

course level: undergraduate (yr 4)

Course about symmetry groups and tilings using Conway’s approach with orbifolds instead of going deep into group theory

  • Jan-Apr 2021-22
Computing and Numerics

course level: undergraduate (yr 2)

Introductory Python course applied to numerical methods (such as integral estimates) alongside teaching good coding practices.

  • Jan-Apr 2022-23
  • Jan-Apr 2021-22
  • Jan-Apr 2020-21
Python Programming

course level: masters

Introductory Python course touching on coding practices and applications around data analysis (numpy/scipy/pandas...). Concluding in open-ended group project analysing open datasets.

  • Sept-Dec 2022-23
  • Sept-Dec 2021-22
Honours Analysis Skills

course level: undergraduate (yr 3)

Presentation skills workshop with topics around real analysis

  • Sept-Dec 2021-22
Facets of Mathematics

course level: undergraduate (yr 2)

Course driven by 3 project-oriented topics making use of a variety of mathematical related soft skills including latex typesetting, poster making & presentation, and numeric & symbolic computing. Mathematical theory involved in course included statistics, finite difference methods, and projective geometry.

  • Sept-Dec 2022-23
Maths Base

course level: undergraduate (yr 2)

Drop in session for students to ask for help in any of their courses

  • Jan-Apr 2022-23
  • Jan-Apr 2020-21