Gysin maps and wrong way functoriality via geometric deformation groupoids
Pith reviewed 2026-05-09 16:48 UTC · model grok-4.3
The pith
Pushforward maps in groupoid (co)homology theories arise naturally from deformation Lie groupoids constructed via normal bundles and the deformation to the normal cone.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In this article we study the normal bundle and the deformation to the normal cone functors to get deformation Lie groupoids that allow us to construct pushforward maps in any suitable (co)homology theory for Lie groupoids (not only K-theory) and in a natural and geometric way. The main theorems being the functoriality for these pushforward maps which recovers, unifies and generalizes many previous cases. The main new example we develop in this paper is the wrong way functoriality for equivariant (twisted) Orbifold K-theory with respect to a groupoid action.
What carries the argument
Deformation Lie groupoids obtained from the normal bundle and deformation-to-the-normal-cone functors, enabling geometric pushforward maps.
Load-bearing premise
The normal bundle and deformation-to-the-normal-cone functors produce deformation Lie groupoids that permit natural geometric pushforward maps in any suitable (co)homology theory for Lie groupoids.
What would settle it
A concrete Lie groupoid example and homology theory where the induced map from the deformation groupoid fails to be well-defined, continuous, or functorial under composition.
read the original abstract
In this article we study the normal bundle and the deformation to the normal cone functors to get deformation Lie groupoids that allow us to construct pushforward maps in any suitable (co)homology theory for Lie groupoids (not only K-theory) and in a natural and geometric way. The main theorems being the functoriality for these pushforward maps which recovers, unifies and generalizes many previous cases. The main new example we develop in this paper is the wrong way functoriality for equivariant (twisted) Orbifold K-theory with respect to a groupoid action.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs pushforward maps (Gysin and wrong-way) for Lie groupoids using the normal bundle and deformation to the normal cone functors to create deformation Lie groupoids. These maps are defined in any suitable (co)homology theory for Lie groupoids. The main theorems establish the functoriality of these pushforward maps, recovering, unifying, and generalizing previous results. A new application is developed for the wrong-way functoriality in equivariant (twisted) orbifold K-theory with respect to a groupoid action.
Significance. If the constructions and proofs hold, the work supplies a unified geometric method for defining Gysin maps in general (co)homology theories on Lie groupoids, recovering and extending prior cases in a natural way. The new orbifold K-theory example is a notable contribution to equivariant K-theory and groupoid geometry.
minor comments (1)
- [Abstract] Abstract: the phrasing 'The main theorems being the functoriality for these pushforward maps which recovers, unifies and generalizes many previous cases' is grammatically awkward and should be revised to 'The main theorems establish the functoriality of these pushforward maps, recovering, unifying, and generalizing many previous cases.'
Simulated Author's Rebuttal
We thank the referee for their positive summary of our work, recognition of its significance in unifying Gysin maps via deformation groupoids, and recommendation for minor revision. No specific major comments appear in the report, so we have no points requiring point-by-point rebuttal or explanation.
Circularity Check
No significant circularity detected
full rationale
The paper constructs pushforward maps (Gysin and wrong-way) by applying the standard normal bundle and deformation-to-the-normal-cone functors to Lie groupoids, yielding deformation Lie groupoids from which the maps are defined geometrically in any suitable (co)homology theory. Functoriality is then established for these maps, recovering prior cases and extending to equivariant twisted orbifold K-theory. These input functors and their properties are drawn from independent prior literature rather than being defined in terms of the target pushforwards or functoriality results; no equation, theorem, or step reduces the main claims to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The derivation chain is therefore self-contained against external geometric benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Lie groupoids admit normal bundles and deformation-to-the-normal-cone constructions that remain Lie groupoids.
- domain assumption Suitable (co)homology theories exist for Lie groupoids and admit pushforwards along the deformation maps.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.