Gysin maps and wrong way functoriality via geometric deformation groupoids

Paulo Carrillo Rouse, Quentin Karegar Baneh Kohal

Pith reviewed 2026-05-09 16:48 UTC · model grok-4.3

classification 🧮 math.KT math.DG

keywords Gysin mapswrong way functorialitydeformation groupoidsLie groupoidsorbifold K-theorypushforward mapsnormal bundledeformation to the normal cone

0 comments

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.

The authors use the normal bundle and deformation to the normal cone functors to produce deformation Lie groupoids. From these they define pushforward maps geometrically in suitable (co)homology theories for Lie groupoids. They prove that these maps are functorial, which unifies and generalizes many earlier results on Gysin maps. This framework is then applied to obtain wrong way functoriality in the equivariant twisted orbifold K-theory setting. Sympathetic readers care because the method provides a geometric and natural construction that works beyond K-theory alone and handles groupoid actions on orbifolds.

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

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Geometric deformation groupoids unify Gysin and wrong-way maps for Lie groupoids and add a concrete orbifold K-theory case.

read the letter

This paper's main advance is a construction of Gysin and wrong-way pushforward maps that works for any suitable (co)homology theory on Lie groupoids. They use the normal bundle and the deformation to the normal cone to produce deformation Lie groupoids, then define the maps geometrically from there. The theorems establish functoriality, which pulls together many earlier results, and they give a detailed new case for equivariant twisted orbifold K-theory with respect to a groupoid action.

Referee Report

0 major / 1 minor

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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The construction relies on standard properties of Lie groupoids and their normal bundles; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

standard math Lie groupoids admit normal bundles and deformation-to-the-normal-cone constructions that remain Lie groupoids.
Invoked to produce the deformation groupoids used for the pushforward maps.
domain assumption Suitable (co)homology theories exist for Lie groupoids and admit pushforwards along the deformation maps.
Required for the maps to be defined in any such theory.

pith-pipeline@v0.9.0 · 5392 in / 1359 out tokens · 32824 ms · 2026-05-09T16:48:34.674452+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 1 canonical work pages · 1 internal anchor

[1]

Vector bundles over Lie groupoids and algebroids.Adv

Henrique Bursztyn, Alejandro Cabrera, and Matias del Hoyo. Vector bundles over Lie groupoids and algebroids.Adv. Math., 290:163–207, 2016

2016
[2]

Carey and Bai-Ling Wang

Alan L. Carey and Bai-Ling Wang. Thom isomorphism and push-forward map in twisted K-theory.J. K-Theory, 1(2):357–393, 2008

2008
[3]

Carrillo Rouse

P. Carrillo Rouse. A Schwartz type algebra for the tangent groupoid. InK-theory and noncommutative geometry, EMS Ser. Congr. Rep., pages 181–199. Eur. Math. Soc., Z¨ urich, 2008

2008
[4]

Carrillo Rouse, B

P. Carrillo Rouse, B. L. Wang, and H. Wang. TopologicalK-theory for discrete groups and index theory.Bull. Sci. Math., 185:Paper No. 103262, 70, 2023

2023
[5]

Twisted longitudinal index theorem for foliations and wrong way functoriality.Adv

Paulo Carrillo Rouse and Bai-Ling Wang. Twisted longitudinal index theorem for foliations and wrong way functoriality.Adv. Math., 226(6):4933–4986, 2011

2011
[6]

Geometric Baum-Connes assembly map for twisted differentiable stacks.Ann

Paulo Carrillo Rouse and Bai-Ling Wang. Geometric Baum-Connes assembly map for twisted differentiable stacks.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 49(2):277–323, 2016

2016
[7]

On the normal functor in the category of smooth vector bundles

Q. Karegar Baneh Kohal. On the normal functor in the category of smooth vector bundles. Submitted https://arxiv.org/abs/2604.07529, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[8]

Th´ eorie de Kasparov ´ equivariante et groupo¨ ıdes

Pierre-Yves Le Gall. Th´ eorie de Kasparov ´ equivariante et groupo¨ ıdes. I.K-Theory, 16(4):361– 390, 1999

1999
[9]

Mackenzie.Lie groupoids and Lie algebroids in differential geometry, volume 124 ofLondon Mathematical Society Lecture Note Series

K. Mackenzie.Lie groupoids and Lie algebroids in differential geometry, volume 124 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1987

1987
[10]

Moerdijk and J

I. Moerdijk and J. Mrˇ cun.Introduction to foliations and Lie groupoids, volume 91 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2003

2003
[11]

Rø rdam, F

M. Rø rdam, F. Larsen, and N. Laustsen.An introduction toK-theory forC ∗-algebras, volume 49 ofLondon Mathematical Society Student Texts. Cambridge University Press, Cam- bridge, 2000

2000
[12]

Williams.A tool kit for groupoidC ∗-algebras, volume 241 ofMathematical Surveys and Monographs

Dana P. Williams.A tool kit for groupoidC ∗-algebras, volume 241 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2019. 28

2019