Researcher profile

Mark Grant

Mark Grant contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

preprint2026arXiv

Secondary cohomology operations and sectional category

We show how secondary cohomology operations in the total space of the fibred join can be used to give lower bounds for the sectional category of a fibration. This suggests a refinement of the module weight of Iwase--Kono, which we call the secondary module weight. Examples are given for which the secondary module weight at the prime $2$ detects sectional category while the module weight does not.

preprint2020arXiv

Equivariant dimensions of groups with operators

Let $π$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(π)$, the equivariant geometric dimension ${\sf gd}_G(π)$, and the equivariant Lusternik-Schnirelmann category ${\sf cat}_G(π)$ in terms of the Bredon dimensions and classifying space of the family of subgroups of the semi-direct product $π\rtimes G$ consisting of sub-conjugates of $G$. When $G$ is finite, we extend theorems of Eilenberg-Ganea and Stallings-Swan to the equivariant setting, thereby showing that all three invariants coincide (except for the possibility of a $G$-group $π$ with ${\sf cat}_G(π)={\sf cd}_G(π)=2$ and ${\sf gd}_G(π)=3$). A main ingredient is the purely algebraic result that the cohomological dimension of any finite group with respect to any family of proper subgroups is greater than one. This implies a Stallings-Swan type result for families of subgroups which do not contain all finite subgroups.

preprint2020arXiv

Symmetrized topological complexity

We present upper and lower bounds for symmetrized topological complexity $TC^Σ(X)$ in the sense of Basabe-González-Rudyak-Tamaki. The upper bound comes from equivariant obstruction theory, and the lower bounds from the cohomology of the symmetric square $SP^2(X)$. We also show that symmetrized topological complexity coincides with its monoidal version, where the path from a point to itself is required to be constant. Using these results, we calculate the symmetrized topological complexity of all odd spheres.

preprint2019arXiv

The Topological Period-Index Conjecture for spin$^c$ 6-manifolds

The Topological Period-Index Conjecture is an hypothesis which relates the period and index of elements of the cohomological Brauer group of a space. It was identified by Antieau and Williams as a topological analogue of the Period-Index Conjecture for function fields. In this paper we show that the Topological Period-Index Conjecture holds and is in general sharp for spin$^c$ 6-manifolds. We also show that it fails in general for 6-manifolds.

preprint2011arXiv

Self-intersections of Immersions and Steenrod Operations

We present a formula describing the action of a generalised Steenrod operation of $\Z_2$-type on the cohomology class represented by a proper self-transverse immersion $f\co M\imm X$, in terms of the equivariant double points of $f$ and the characteristic classes of its normal bundle. This generalises a classical result of R.\ Thom: If $α\in H^k(X;\Z_2)$ is the ordinary cohomology class represented by $f\co M\imm X$, then $\mathrm{Sq}^i(α)=f_* w_i(ν_f)$.