Gysin maps and wrong way functoriality via geometric deformation groupoids

Paulo Carrillo Rouse; Quentin Karegar Baneh Kohal

arxiv: 2605.03584 · v2 · pith:HVBG46E5new · submitted 2026-05-05 · 🧮 math.KT · math.DG

Gysin maps and wrong way functoriality via geometric deformation groupoids

Paulo Carrillo Rouse , Quentin Karegar Baneh Kohal This is my paper

Pith reviewed 2026-07-01 00:34 UTC · model grok-4.3

classification 🧮 math.KT math.DG

keywords Lie groupoidsGysin mapsdeformation to the normal conewrong way functorialityorbifold K-theorypushforward mapsequivariant K-theorygroupoid cohomology

0 comments

The pith

Deformation Lie groupoids from normal bundles and cones yield functorial pushforward maps in (co)homology for Lie groupoids.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper applies the normal bundle functor and the deformation-to-the-normal-cone functor to Lie groupoids, producing deformation groupoids that support the definition of pushforward maps in any suitable (co)homology theory. These maps, called Gysin maps, are proved to satisfy functoriality: they compose correctly when groupoids are composed or mapped into one another. The construction recovers and unifies many earlier ad-hoc definitions of such maps. It also supplies a new case of wrong-way functoriality for equivariant twisted orbifold K-theory under groupoid actions.

Core claim

The normal bundle and deformation-to-the-normal-cone functors applied to Lie groupoids produce deformation Lie groupoids on which pushforward maps in any suitable (co)homology theory admit well-defined geometric constructions; these pushforward maps are functorial with respect to groupoid morphisms, thereby recovering, unifying, and generalizing prior constructions and extending to the case of equivariant twisted orbifold K-theory.

What carries the argument

The deformation Lie groupoids obtained via the normal bundle functor and the deformation-to-the-normal-cone functor, which model the geometric data needed to define the pushforward maps.

If this is right

Pushforward maps exist and are functorial for every suitable (co)homology theory on Lie groupoids, not only K-theory.
Prior constructions of Gysin maps in the literature arise as special cases of this geometric method.
Wrong-way functoriality holds for equivariant twisted orbifold K-theory with respect to groupoid actions.
The maps are natural with respect to morphisms of the underlying Lie groupoids.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same deformation groupoids could be used to define pushforwards in other geometric invariants, such as cyclic homology or index theories associated to groupoids.
Explicit calculations of the maps become possible once a concrete deformation groupoid is written down for a given example.
Functoriality may imply compatibility between pushforwards and other operations already defined on the (co)homology theories.

Load-bearing premise

Applying the normal bundle and deformation-to-the-normal-cone functors to Lie groupoids always produces deformation groupoids on which any given (co)homology theory has well-defined functorial pushforward maps.

What would settle it

A specific Lie groupoid morphism for which the induced pushforward maps in a known (co)homology theory, such as K-theory of an orbifold, fail to compose as required by the deformation construction.

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.

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

The paper uses deformation groupoids from normal bundles to give a uniform geometric construction of Gysin and wrong-way maps across (co)homology theories for Lie groupoids, with a new orbifold K-theory application.

read the letter

The main point is that Carrillo Rouse and Kohal apply the normal bundle and deformation-to-the-normal-cone functors to Lie groupoids to produce deformation groupoids, then use those to define pushforward maps in any suitable (co)homology theory. They state that this yields functorial Gysin and wrong-way maps that recover earlier cases and add a concrete new example in equivariant twisted orbifold K-theory.

The construction is presented in a geometric style that aims to work uniformly rather than theory-by-theory. If the details hold, this could reduce the need for separate arguments in K-theory, cohomology, and related settings on groupoids.

The soft spot is that the abstract gives no proofs or explicit comparisons, so it is not possible to check whether the functoriality follows directly from the deformation groupoids or whether extra conditions on the homology theories are required. The claim that the method generalizes prior work also needs side-by-side verification against the cited constructions to confirm it is not mainly a repackaging. The key assumption—that the resulting deformation groupoids support well-defined pushforwards for arbitrary suitable theories—looks plausible but remains untested from the available text.

This is for people working on Lie groupoids, index theory, or orbifold invariants in algebraic topology and noncommutative geometry. A reader looking for geometric unification of wrong-way maps would get the most from it.

It deserves peer review because the topic is active and the proposed unification, if substantiated, would be a useful reference point.

Referee Report

0 major / 3 minor

Summary. The paper studies the normal bundle and deformation-to-the-normal-cone functors applied to Lie groupoids, producing deformation Lie groupoids on which pushforward maps can be defined in any suitable (co)homology theory. The central results are theorems establishing functoriality of these pushforwards (recovering, unifying, and generalizing prior cases), together with a new application to wrong-way functoriality in equivariant twisted orbifold K-theory with respect to a groupoid action.

Significance. If the constructions and functoriality proofs hold, the work supplies a uniform geometric mechanism for Gysin-type maps across (co)homology theories on Lie groupoids, extending beyond K-theory. The orbifold K-theory example constitutes a concrete new case. The manuscript supplies the definitions, constructions, and verifications that were absent from the abstract alone, so the stress-test concern about unverifiable proofs does not apply.

minor comments (3)

[§2] §2 (or the section introducing the deformation groupoid functor): verify that the Lie groupoid structure on the deformation to the normal cone is stated with all structure maps and smoothness conditions made explicit.
The statement of the main functoriality theorem should include a precise list of the hypotheses on the (co)homology theory (e.g., excision, homotopy invariance) so that the scope of the unification is clear.
In the orbifold K-theory example, confirm that the twisting and the groupoid action are defined before the pushforward is applied, and that the resulting map lands in the expected twisted group.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and recommendation of minor revision. The assessment correctly identifies the core contribution as a uniform geometric construction of pushforwards via deformation Lie groupoids that recovers and generalizes prior cases while adding a new application to equivariant twisted orbifold K-theory.

Circularity Check

0 steps flagged

No circularity detected from available text

full rationale

The abstract and provided excerpts describe the application of normal bundle and deformation-to-the-normal-cone functors to Lie groupoids to define pushforward maps and establish their functoriality, recovering prior cases and extending to equivariant orbifold K-theory. No equations, explicit derivations, parameter fittings, or self-citations appear in the text. The construction is presented as geometric and natural without any visible reduction of outputs to inputs by definition or self-reference. The derivation chain cannot be shown to collapse, so the paper is treated as self-contained on the basis of the given material.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; all such items remain unknown.

pith-pipeline@v0.9.1-grok · 5623 in / 1214 out tokens · 34077 ms · 2026-07-01T00:34:13.828431+00:00 · methodology

Review history (3 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

[1] [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] [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] [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] [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] [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] [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] [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] [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] [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] [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] [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] [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