arXiv subjects

Jon Woolf

Publications and source records attributed to Jon Woolf.

13 recordsLinked to original sources

arXiv2026

Faithful perversities

We show that the faithful highest weight hearts in an algebraic triangulated category are the serially faithful glued hearts, equivalently the hearts containing a dual pair of full exceptional collections in the sense of Bodzenta--Bondal (arXiv:2601.22004). We then characterise faithful highest weight categories of perverse sheaves on topologically stratified spaces algebraically, in terms of the exactness of certain functors, and topologically, in terms of the vanishing of certain cohomology groups of pairwise links. We prove that the global dimension of a faithful category of perverse sheaves on a topologically stratified space $X$ with finitely many strata is bounded by the dimension of $X$. Finally, we show that in this setting the hypercohomology of a perverse sheaf can be computed from a projective resolution of the constant sheaf, and conversely that the multiplicities of the terms in a minimal projective resolution of the constant sheaf can be computed as intersection cohomology groups.

math.RT↗

arXiv2024

Highest weight categories and stability conditions

Highest weight categories are an abstraction of the representation theory of semisimple Lie algebras introduced by Cline, Parshall and Scott in the late 1980s. There are by now many characterisations of when an abelian category is highest weight, but most are hard to verify in practice. We present two new criteria - one numerical in terms of the Grothendieck group, and one in terms of Bridegland stability conditions - which are easier to verify. The stability criterion naturally generalises to a characterisation of properly stratified categories. The numerical criterion implies a criterion of Green and Schroll for when modules over a monomial algebra are highest weight.

math.RT↗

arXiv2024

On stratifications and poset-stratified spaces

A stratified space is a topological space equipped with a \emph{stratification}, which is a decomposition or partition of the topological space satisfying certain extra conditions. More recently, the notion of poset-stratified space, i.e., topological space endowed with a continuous map to a poset with its Alexandrov topology, has been popularized. Both notions of stratified spaces are ubiquitous in mathematics, ranging from investigations of singular structures in algebraic geometry to extensions of the homotopy hypothesis in higher category theory. In this article we study the precise mathematical relation between these different approaches to stratified spaces.

math.GN↗

arXiv2024

Simple tilts of length hearts and simple-minded mutation

We characterise when a simple Happel-Reiten-Smalo tilt of a length heart is again a length heart in terms of approximation theory and the existence of a stability condition with a phase gap. We apply simple-minded reduction to provide a sufficient condition for infinite iterability of simple-minded mutation/simple tilting. We use simple-minded mutation pairs to provide a common framework to show that mutation of simple-minded collections (resp. $w$-simple-minded systems, for $w \geq 1$) gives simple-minded collections (resp. $w$-simple-minded systems) under mild conditions, in the process providing a unified proof of results of Alex Dugas and Peter Jorgensen. Finally, we show that under mild conditions, mutation of simple-minded collections is compatible with mutation of $w$-simple-minded systems via a singularity category construction due to Haibo Jin.

math.RT↗

arXiv2023

The heart fan of an abelian category

We apply convex geometry (cones, fans) to homological input (abelian categories, hearts of bounded t-structures) to construct a new invariant of an abelian category, its heart fan. This can be viewed as a `universal phase diagram' for Bridgeland stability conditions with the given heart. When the abelian category is the module category of a finite-dimensional algebra, the heart fan is complete and contains the g-fan as the subfan of full-dimensional cones. The heart fan is also closely related to the wall-and-chamber structure for King semistability.

math.RT↗

arXiv2022

Partial compactification of stability manifolds via massless semistable objects

We introduce two extensions of the space of Bridgeland stability conditions of a triangulated category. First we consider lax stability conditions where semistable objects are allowed to have mass zero but still have a phase. The subcategory of massless objects is thick and there is an induced Bridgeland stability on the quotient category. We study deformations of lax stability conditions. Second we consider the space arising by identifying lax stability conditions which are deformation-equivalent with fixed charge. This second space is stratified by stability spaces of Verdier quotients of the triangulated category by thick subcategories of massless objects. We illustrate our results through examples in which the Grothendieck group has rank $2$. For these, our extended stability spaces can be explicitly described and related to the wall-and-chamber structure of the stability space.

math.RT↗

arXiv2021

Mass-growth of triangulated auto-equivalences

We relate the mass growth (with respect to a stability condition) of an exact auto-equivalence of a triangulated category to the dynamical behaviour of its action on the space of stability conditions. One consequence is that this action is free and proper whenever the mass growth is non-vanishing.

math.CT↗

arXiv2020

Perverse sheaves and finite-dimensional algebras

Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is equivalent to the category of finite-dimensional modules over a finite-dimensional algebra if and only if $X$ has finitely many strata and the same holds for the category of local systems on each of these. The main component in the proof is a construction of projective covers for simple perverse sheaves.

math.RT↗

arXiv2018

Witt groups of abelian categories and perverse sheaves

In this paper we study the Witt groups of symmetric and anti-symmetric forms on perverse sheaves on a finite-dimensional topologically stratified space with even dimensional strata. We show that the Witt group has a canonical decomposition as a direct sum of the Witt groups of shifted local systems on strata. We compare this with another `splitting decomposition' for Witt classes of perverse sheaves obtained inductively from our main new tool, a `splitting relation' which is a generalisation of isotropic reduction. The Witt groups we study are identified with the (non-trivial) Balmer-Witt groups of the constructible derived category of sheaves on the stratified space, and also with the corresponding cobordism groups defined by Youssin. Our methods are primarily algebraic and apply more widely. The general context in which we work is that of a triangulated category with duality, equipped with a self-dual t-structure with noetherian heart, glued from self-dual t-structures on a thick subcategory and its quotient.

math.AT↗

arXiv2014

Contractible stability spaces and faithful braid group actions

We prove that any `finite-type' component of a stability space of a triangulated category is contractible. The motivating example of such a component is the stability space of the Calabi--Yau-$N$ category $\mathcal{D}(\Gamma_N Q)$ associated to an ADE Dynkin quiver. In addition to showing that this is contractible we prove that the braid group $\operatorname{Br}(Q)$ acts freely upon it by spherical twists, in particular that the spherical twist group $\operatorname{Br}(\Gamma_N Q)$ is isomorphic to $\operatorname{Br}(Q)$. This generalises Brav-Thomas' result for the $N=2$ case. Other classes of triangulated categories with finite-type components in their stability spaces include locally-finite triangulated categories with finite rank Grothendieck group and discrete derived categories of finite global dimension.

math.AG↗

arXiv2011

Whitney categories and the Tangle Hypothesis

We propose a new notion of `n-category with duals', which we call a Whitney n-category. There are two motivations. The first is that Baez and Dolan's Tangle Hypothesis is (almost) tautological when interpreted as a statement about Whitney categories. The second is that we can functorially construct `fundamental Whitney n-categories' from each smooth stratified space X. These are obtained by considering the homotopy theory of smooth maps into X which are transversal to all strata. This makes concrete another idea of Baez and Dolan's which is that a suitable version of homotopy theory for stratified spaces should allow one to generalise the relationship between spaces and groupoids to one between stratified spaces and categories with duals.

math.CT↗

arXiv2011

Some metric properties of spaces of stability conditions

We show that, under mild conditions, the space of numerical Bridgeland stability conditions Stab(T) on a triangulated category T is complete. In particular the metric on a full component of Stab(T) for which the central charges factor through a finite rank quotient of the Grothendieck group K(T) is complete. As an example, we compute the metric on the space of numerical stability conditions on a smooth complex projective curve of genus greater than one, and show that in this case the quotient Stab(T)/C by the natural action of the complex numbers is isometric to the upper half plane equipped with half the hyperbolic metric. We also make two observations about the way in which the heart changes as we move through the space of stability conditions. Firstly, hearts of stability conditions in the same component of the space of stability conditions are related by finite sequences of tilts. Secondly, if each of a convergent sequence of stability conditions has the same heart then the heart of the limiting stability condition is obtained from this by a right tilt.

math.AG↗

arXiv2009

Stability conditions, torsion theories and tilting

The space of stability conditions on a triangulated category is naturally partitioned into subsets $U(A)$ of stability conditions with a given heart $A$. If $A$ has finite length and $n$ simple objects then $U(A)$ has a simple geometry, depending only on $n$. Furthermore, Bridgeland has shown that if $B$ is obtained from $A$ by a simple tilt, i.e.\ by tilting at a torsion theory generated by one simple object, then the intersection of the closures of $U(A)$ and $U(B)$ has codimension one. Suppose that $A$, and any heart obtained from it by a finite sequence of (left or right) tilts at simple objects, has finite length and finitely many indecomposable objects. Then we show that the closures of $U(A)$ and $U(B)$ intersect if and only if $A$ and $B$ are related by a tilt, and that the dimension of the intersection can be determined from the torsion theory. In this situation the union of subsets $U(B)$, where $B$ is obtained from $A$ by a finite sequence of simple tilts, forms a component of the space of stability conditions. We illustrate this by computing (a component of) the space of stability conditions on the constructible derived category of the complex projective line stratified by a point and its complement.

math.AG↗