Source author record

Jonathan Woolf

Jonathan Woolf appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.AT math.SG

Catalog footprint

What is connected

2works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2014arXiv

Surjectivity of the hyperkähler Kirwan map

We study a class of group actions on hyperkähler manifolds which we call actions of linear type. If $M$ is a hyperkähler manifold possessing such a $G$-action, the hyperkähler Kirwan map is surjective if and only if the natural restriction $H^\ast(M / G) \to H^\ast(M / G)$ is surjective. We prove that this restriction is an isomorphism below middle degree and an injection in middle degree. As a consequence, the hyperkähler Kirwan map is surjective except possibly in middle degree, and its kernel may be determined from the kernel of the ordinary Kirwan map. These results apply in particular to hypertoric varieties, hyperpolygon spaces, and Nakajima quiver varieties.

preprint2013arXiv

The fundamental category of a stratified space

The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified Treumann, based on unpublished ideas of MacPherson, constructed an `exit category' (in the terminology of this paper, the `fundamental category') which classifies constructible sheaves, equivalently stratified etale covers. This paper generalises this construction to homotopically stratified sets, in addition showing that the fundamental category dually classifies constructible cosheaves, equivalently stratified branched covers. The more general setting has several advantages. It allows us to remove a technical `tameness' condition which appears in Treumann's work; to show that the fundamental groupoid can be recovered by inverting all morphisms and, perhaps most importantly, to reduce computations to the two stratum case. This provides an approach to computing the fundamental category in terms of homotopy groups of strata and homotopy links. We apply these techniques to compute the fundamental category of symmetric products of R^2, stratified by collisions. Two appendices explain the close relations respectively between filtered and pre-ordered spaces and between cosheaves and branched covers (technically locally-connected uniquely-complete spreads).