
Photo credit: Cristina Taho Izuno



Jeffrey D. Carlson
(he/his)
180 Queen's Gate
South Kensington
London
SW7 2AZ,
UK
Navigate:
Papers

Miscellany

CV

Teaching
Hi! I'm a topologist presently working as a postdoc at Imperial College London.
In previous lives I've worked in a joint appointment between the Fields Institute and Western University,
in the
symplectic geometry group at the University of Toronto,
and at
the geometry group
at the Universidade de São Paulo
in a position sponsored by
IMPA.
My dissertation, supervised by
Loring Tu at Tufts University,
was about Borel equivariant cohomology,
an algebrotopological tool for studying continuous group actions,
in my case specifically as applied to Lie group actions on homogeneous spaces. It is in the long process of being reshaped into a textbook.
My work since has continued to mostly be connected with the equivariant topology
of manifolds in a broad sense, often in collaboration with geometers.
Papers
Restore commentary
Remove commentary

Fixed points and semifree bordism.
We show the ABBV localization identities completely determine
the possible discrete fixedpoint sets of a semifree circle action on a stably complex manifold.
This approach turns out to recover the cobordism ring of such actions (it's Z[S^{2}])
through extremely naive (19thcentury–style) manipulations of combinatorial identities in about a page.
Following some correspondence we have included generous background on the problem.

Realization of abstract GKM isotropy data,
with Elisheva Adina Gamse and Yael Karshon.
The ABBV localization identities for a torus action put strong constraints on isotropy data and we show the converse,
that such data must arise from a torus action on stably complex manifold.
This comes with a concrete, visually appealing construction
in dimensions up to four, and the proof otherwise relies
on considerations connected with equivariant complex cobordism.

My dissertation (now a book).
This work was nominally about
Borel equivariant cohomology, but in the writing became predominantly an
account of the cohomology of homogeneous spaces.
My opinion (perhaps selfserving) is that it is the fastest introduction
to this theory.
The exposition has some things that don't appear elsewhere.
N.B.:
This is not the final version.
This book is shortly to be the subject of a major revision at
the behest of Springer and its polite but insistent referees.
 Ktheory and formality.
The main result of this paper establishes as corollaries the equivariant Ktheory rings in basically all the known equivariantly formal examples.
We also show that under the same conditions, surjectivity of the forgetful map in Ktheory
is equivalent to weak equivariant formality in the sense of Harada–Landweber.
The main tool is a map of spectral sequences from Hodgkin's Künneth spectral sequence to the
analogous spectral sequence in Borel cohomology.
 The Ktheory of a cohomogeneityone action.
An outgrowth of the joint paper below. The appendices include lemmas providing a general framework for such computations in an arbitrary equivariant cohomology theory vanishing in certain degrees and a curious additional structure
on the Mayer–Vietoris sequence no one seems to have discussed.
 The equivariant cohomology ring of a cohomogeneityone action, with Oliver Goertsches, Chen He, and Liviu Mare.
This one computes the object in the title, extending results of the first and third author.
Cohomogeneityone actions are an important and very wellstudied class
of examples in differential geometry whose topology is determined entirely by
an inclusion diamond of four Lie groups, so this was a natural question to ask.
Published in Geometriae Dedicata.

Grassmannians and the equivariant cohomology of isotropy actions.
Chen He
had recently computed this
through his development of GKMtheory and I noticed older methods gave a clean proof as well.
This also gave me the chance to publish a proof of a structure result from a late, unpubished version of my thesis which was in danger of becoming folkore.
Published in the Proceedings of the American Mathematical Society.

The Ktheory of the conjugation action.
This is a 1999 result of Brylinski and Zhang; my observation was simply that with some planning, much of the proof could be sidestepped, resulting in a proof of less than a page.
Published in Comptes Rendus.

Equivariant formality of isotropy actions, with ChiKwong Fok.
Also deals with equivariant formality in Ktheory,
and proves the underlying homogeneous space is formal and a
regularity criterion for equivariant formality of an isotropy action.
Published in the Journal of the London Mathematical Society.

Equivariant formality of isotropic torus actions.
A development of my thesis research. Reduces (nearly) equivariant formality of an isotropy action to the case of a torus in a semisimple group, and provides a complete classification for circles.
Appendices handle (partially) the case of a compact Hausdorff group and a disconnected group.
Published in the Journal of Homotopy and Related Structures.

Commensurability of twomultitwist pseudoAnosovs.
This provides the first nontrivial examples of subgroups of mapping class
groups of different surfaces simultaneously covering, elementwise,
a subgroup of the mapping class group of a covered surface, and a lot of examples of invariants distinguishing noncommensurable elements.

Conceptions of topological transitivity,
with
Ethan Akin (arXived).
Boris Hasselblatt
once assigned a dynamics class I was sitting in on
the problem of fixing a broken proof
of a "folklore" result on
topological transitivity
from his and Katok's
Introduction to the Modern Theory of Dynamical Systems,
so I did.
Boris suggested I verify
with "a hardcore topological dynamicist"
there were no published proofs of the desired result,
and proposed Akin.
Published in Topology and its Applications.
Miscellaneous notes

At one point in grad school, I decided that if I did all the exercises in
Atiyah & Macdonald,
I would become deeply knowledgeable about commutative algebra.
Though that assessment turns out to have been optimistic, I am now the proud owner of a
complete solution set (only slightly longer than the book itself!).
 In the literature on cohomology of fibrations,
there has long been in use a term coexact,
which J. C. Moore insisted upon,
by all available accounts, owing to categorical
considerations that show the situation in question is
dual to the familiar situation of an exact sequence.
This notion doesn't seem to get a whole lot of press,
so I wrote a brief
note
expounding on the notion and the difference
from exactness, as well as conditions under which the two agree.
It was originally a letter to Larry Smith, in case a
"you" still appears anywhere in the revised note.

In Exercise 4.10.1 of
their venerable
Differential Forms in Algebraic Topology,
Bott & Tu ask the reader to show that the image of a proper map is closed.
While a pedant might object that the claim is not actually true,
it does hold of most reasonably decent spaces. In
this note
I show that it suffices the codomain be Hausdorff and
either first countable or locally compact,
but without some sort of countability criterion, there still exist counterexamples even when the codomain is T_{5}.
CV and documentation
Teaching
I wrote a number of word problems for a vector calculus course at the University of Toronto at Mississauga,
which were received with some mixture of enthusiasm and confusion.
I will be teaching commutative algebra at Imperial College this semester (Fall 2021).
Imperial College

London
SW7 2AZ,
UK
