Showing 1–6 of 6 results for author: Hilman, K

Parametrised functor calculus: excision, spheres, and semiadditivity

Authors: Kaif Hilman, Sil Linskens

Abstract: We lay down the foundations of a theory of parametrised functor calculus, generalising parts of the functor calculus of Goodwillie. We introduce the notion of excisable posets and develop a theory of excisive approximations in this context. As an application, we introduce two different excisable posets when parametrising over an atomic orbital category. By comparing the notions of excisiveness for… ▽ More We lay down the foundations of a theory of parametrised functor calculus, generalising parts of the functor calculus of Goodwillie. We introduce the notion of excisable posets and develop a theory of excisive approximations in this context. As an application, we introduce two different excisable posets when parametrising over an atomic orbital category. By comparing the notions of excisiveness for these two posets, we relate the invertibility of certain spheres with Nardin's notion of parametrised semiadditivity, generalising Wirthmüller's classical result in equivariant homotopy theory for finite groups. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Report number: CPH-GEOTOP-DNRF151, MPIM-Bonn-2024

Equivariant Poincaré duality for cyclic groups of prime order and the Nielsen realisation problem

Authors: Kaif Hilman, Dominik Kirstein, Christian Kremer

Abstract: In this companion article to [HKK24], we apply the theory of equivariant Poincaré duality developed there in the special case of cyclic groups $C_p$ of prime order to remove, in a special case, a technical condition given by Davis--Lück [DL24] in their work on the Nielsen realisation problem for aspherical manifolds. Along the way, we will also give a complete characterisation of $C_p$--Poincaré s… ▽ More In this companion article to [HKK24], we apply the theory of equivariant Poincaré duality developed there in the special case of cyclic groups $C_p$ of prime order to remove, in a special case, a technical condition given by Davis--Lück [DL24] in their work on the Nielsen realisation problem for aspherical manifolds. Along the way, we will also give a complete characterisation of $C_p$--Poincaré spaces as well as introduce a genuine equivariant refinement of the classical notion of virtual Poincaré duality groups which might be of independent interest. △ Less

Submitted 3 September, 2024; originally announced September 2024.

Comments: 30 pages. Comments welcome!

Report number: MPIM-Bonn-2024

Parametrised Poincaré duality and equivariant fixed points methods

Authors: Kaif Hilman, Dominik Kirstein, Christian Kremer

Abstract: In this article, we introduce and develop the notion of parametrised Poincaré duality in the formalism of parametrised higher category theory by Martini-Wolf, in part generalising Cnossen's theory of twisted ambidexterity to the nonpresentable setting. We prove several basechange results, allowing us to move between different coefficient categories and ambient topoi. We then specialise the general… ▽ More In this article, we introduce and develop the notion of parametrised Poincaré duality in the formalism of parametrised higher category theory by Martini-Wolf, in part generalising Cnossen's theory of twisted ambidexterity to the nonpresentable setting. We prove several basechange results, allowing us to move between different coefficient categories and ambient topoi. We then specialise the general framework to yield a good theory of equivariant Poincaré duality spaces for compact Lie groups and apply our basechange results to obtain a suite of isotropy separation methods. Finally, we employ this theory to perform various categorical Smith-theoretic manoeuvres to prove, among other things, a generalisation of a theorem of Atiyah-Bott and Conner-Floyd on group actions with single fixed points. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Comments: 97 pages. Comments welcome!

Report number: MPIM-Bonn-2024

An equivariant generalisation of McDuff-Segal's group-completion theorem

Authors: Kaif Hilman

Abstract: In this short note, we prove a G-equivariant generalisation of McDuff-Segal's group-completion theorem for finite groups G. A new complication regarding genuine equivariant localisations arises and we resolve this by isolating a simple condition on the homotopy groups of E-infinity-rings in G-spectra. We check that this condition is satisfied when our inputs are a suitable variant of E-infinity-mo… ▽ More In this short note, we prove a G-equivariant generalisation of McDuff-Segal's group-completion theorem for finite groups G. A new complication regarding genuine equivariant localisations arises and we resolve this by isolating a simple condition on the homotopy groups of E-infinity-rings in G-spectra. We check that this condition is satisfied when our inputs are a suitable variant of E-infinity-monoids in G-spaces via the existence of multiplicative norm structures, thus giving a localisation formula for their associated G-spherical group rings. △ Less

Submitted 3 January, 2024; v1 submitted 24 January, 2023; originally announced January 2023.

Comments: 21 pages; v2 final accepted version, minor corrections, significant expositional improvements, included a new technical appendix

Report number: MPIM-Bonn-2023; HIM-Spectral-2022

Journal ref: International Mathematics Research Notices, 2023

Parametrised Presentability over Orbital Categories

Authors: Kaif Hilman

Abstract: In this paper, we develop the notion of presentability in the parametrised homotopy theory framework of Barwick-Dotto-Glasman-Nardin-Shah over orbital categories. We formulate and prove a characterisation of parametrised presentable categories in terms of its associated straightening. From this we deduce a parametrised adjoint functor theorem from the unparametrised version, prove various localisa… ▽ More In this paper, we develop the notion of presentability in the parametrised homotopy theory framework of Barwick-Dotto-Glasman-Nardin-Shah over orbital categories. We formulate and prove a characterisation of parametrised presentable categories in terms of its associated straightening. From this we deduce a parametrised adjoint functor theorem from the unparametrised version, prove various localisation results, and we record the interactions of the notion of presentability here with multiplicative matters. Such a theory is of interest for example in equivariant homotopy theory, and we will apply it in a companion work to construct the category of parametrised noncommutative motives for equivariant algebraic K-theory. △ Less

Submitted 3 January, 2024; v1 submitted 5 February, 2022; originally announced February 2022.

Comments: 50 pages; v2 minor corrections, some materials reorganised

Report number: CPH-GEOTOP-DNRF151 MSC Class: 18N60; 55P91 (Primary)

Parametrised noncommutative motives and equivariant cubical descent in algebraic K-theory

Authors: Kaif Hilman

Abstract: For an atomic orbital base category in the sense of Barwick-Dotto-Glasman-Nardin-Shah, we introduce the category of parametrised perfect-stable categories and use it to construct the parametrised version of noncommutative motives in which algebraic K-theory is corepresented. Furthermore, we initiate a rudimentary theory of parametrised cubes which could be of independent interest, generalising som… ▽ More For an atomic orbital base category in the sense of Barwick-Dotto-Glasman-Nardin-Shah, we introduce the category of parametrised perfect-stable categories and use it to construct the parametrised version of noncommutative motives in which algebraic K-theory is corepresented. Furthermore, we initiate a rudimentary theory of parametrised cubes which could be of independent interest, generalising some of the elements in Dotto's theory of equivariant Goodwillie calculus beyond the equivariant case. Using this cubical theory, we show that in the equivariant case for finite 2-groups G, the parametrised noncommutative motives canonically refine to G-symmetric monoidal categories. Consequently, this endows the equivariant algebraic K-theory spectra for these groups with the structure of E-infinity-ring spectra equipped with multiplicative norms in the sense of Hill-Hopkins-Ravenel. Along the way, we will also provide a machine to manufacture G-symmetric monoidal categories from symmetric monoidal categories equipped with G-actions and elucidate how the aforementioned parametrised perfect-stable categories relate to Mackey functors valued in perfect-stable categories. △ Less

Submitted 3 January, 2024; v1 submitted 5 February, 2022; originally announced February 2022.

Comments: 71 pages; v2 major corrections accounting for the serious mistake in Thm 5.1.8 of v1, significant addition of new materials

Report number: CPH-GEOTOP-DNRF151, MPIM-Bonn-2024 MSC Class: 18F25; 55P91 (Primary)