arXiv subjects

Dominik Kirstein

Publications and source records attributed to Dominik Kirstein.

6 recordsLinked to original sources

arXiv2025

Semifree Isovariant Poincaré Spaces and the Gap Condition

We introduce the notion of a semifree isovariant $G$-Poincaré space, a homotopical notion interpolating between semifree closed smooth $G$-manifolds and the equivariant Poincaré spaces of [HKK24b]. It carries the additional structure of an equivariant Poincaré embedding of the fixed points of a semifree $G$-Poincaré space. Under suitable gap conditions on the codimension, we show that the space of isovariant structures on a semifree $G$-Poincaré space for a periodic finite group $G$ is highly connected, giving a useful construction tool for manifold structures on equivariant Poincaré spaces.

math.AT↗

arXiv2025

Poincaré Duality Pairs of $\infty$-Categories

We introduce a notion of Poincaré duality for pairs of $\infty$-categories, extending Poincaré-Lefschetz duality for pairs of spaces. This categorical extension yields an efficient book-keeping device that affords, among other things, a uniform treatment of Wall's Poincaré ads of spaces, iterated Poincaré cobordisms, and in general, diagrams of spaces parametrised by the face poset of a combinatorial manifold. In each of these cases, the theory reduces them to studying a single pair of $\infty$-categories and the properties of a single functor, the relative cohomology functor. Using this formalism, we prove a very general fibration theorem which, in particular, specialises to a generalisation of Klein-Qin-Su's fibration theorem for Poincaré triads to all ads. This theory also lays the foundation for future work by the authors on Poincaré cobordism categories, isovariant Poincaré spaces and string topology.

math.AT↗

arXiv2024

A twisted Bass-Heller-Swan decomposition for localising invariants

We generalise the classical Bass-Heller-Swan decomposition for the K-theory of (twisted) Laurent algebras to a splitting for general localising invariants of certain categories of twisted automorphisms. As an application, we obtain splitting formulas for Waldhausen's A-theory of mapping tori and for the K-theory of certain tensor algebras. We identify the Nil-terms appearing in this splitting in two ways. Firstly, as the reduced K-theory of twisted endomorphisms. Secondly, as the reduced K-theory of twisted nilpotent endomorphisms. Finally, we generalise classical vanishing results for Nil-terms of regular rings to our setting.

math.KT↗

arXiv2024

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

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.

math.AT↗

arXiv2024

Parametrised Poincaré duality and equivariant fixed points methods

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.

math.AT↗

arXiv2023

Some problems and conjectures about $L^2$-invariants

In this article we give a survey on open problems and conjectures concerning L^2-invariants. We cover the whole portfolio and not only certain aspects as they are considered in the previous more specialized (and within their scope more detailed) survey articles [87,89]. Moreover, we include some new results and problems, which have occurred after these two survey articles were written. The reader may select a specific topic by looking at the table of contents below.

math.AT↗