Smooth Connes--Thom isomorphism, cyclic homology, and equivariant quantisation

Sayan Chakraborty; Xiang Tang; Yi-Jun Yao

arxiv: 1907.09051 · v1 · pith:D6AMIVQLnew · submitted 2019-07-21 · 🧮 math.KT · math.OA· math.QA

Smooth Connes--Thom isomorphism, cyclic homology, and equivariant quantisation

Sayan Chakraborty , Xiang Tang , Yi-Jun Yao This is my paper

Pith reviewed 2026-05-24 18:07 UTC · model grok-4.3

classification 🧮 math.KT math.OAmath.QA

keywords Connes-Thom isomorphismperiodic cyclic homologyequivariant quantizationbivariant K-theorylocally convex algebrasdeformation quantizationsmooth isomorphism

0 comments

The pith

Periodic cyclic homology is invariant under equivariant strict deformation quantization.

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

The paper uses a smooth Connes-Thom isomorphism in Grensing's bivariant K-theory for locally convex algebras to establish an equivariant version of that isomorphism in periodic cyclic homology. From this it follows that periodic cyclic homology remains unchanged when an algebra undergoes equivariant strict deformation quantization. A reader would care because the result lets one compute the homology of a quantized algebra by working instead with the unquantized one, at least in the presence of a group action. The argument applies the smooth isomorphism to transfer information across the quantization map while preserving the equivariant structure.

Core claim

A smooth version of the Connes-Thom isomorphism in Grensing's bivariant K-theory induces an equivariant Connes-Thom isomorphism for periodic cyclic homology, which in turn shows that periodic cyclic homology is invariant under equivariant strict deformation quantization of locally convex algebras.

What carries the argument

The smooth Connes-Thom isomorphism in Grensing's bivariant K-theory for locally convex algebras, which carries the equivariant information needed to descend to periodic cyclic homology.

If this is right

Periodic cyclic homology of an algebra can be computed from its pre-quantization version when an equivariant strict deformation quantization exists.
The invariance extends classical Connes-Thom results to the equivariant and smooth locally convex setting.
Homology calculations in quantized equivariant systems reduce to calculations on the original algebra.

Where Pith is reading between the lines

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

The same invariance may hold for other cyclic-type invariants once the smooth isomorphism is available.
The result supplies a bridge between K-theoretic and cyclic-homological approaches to equivariant index problems.
Concrete examples such as group actions on manifolds or Poisson manifolds could be checked directly to test the invariance numerically.

Load-bearing premise

A smooth version of the Connes-Thom isomorphism holds in Grensing's bivariant K-theory for the locally convex algebras under consideration.

What would settle it

An explicit locally convex algebra equipped with a continuous group action together with an equivariant strict deformation quantization for which the periodic cyclic homology groups before and after quantization are not isomorphic.

read the original abstract

Using a smooth version of the Connes--Thom isomorphism in Grensing's bivariant K-theory for locally convex algebras, we prove an equivariant version of the Connes--Thom isomorphism in periodic cyclic homology. As an application, we prove that periodic cyclic homology is invariant with respect to equivariant strict deformation quantization.

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

This paper gives an equivariant Connes-Thom isomorphism in periodic cyclic homology and uses it to show invariance under equivariant strict deformation quantization.

read the letter

This paper proves an equivariant Connes-Thom isomorphism in periodic cyclic homology and shows that this homology is invariant under equivariant strict deformation quantization. It starts from the smooth version of the isomorphism already known in Grensing's bivariant K-theory for locally convex algebras. The new step is making that isomorphism equivariant and then moving it over to periodic cyclic homology. The application to quantization invariance comes out as a direct consequence. The full manuscript gives the definitions and the construction details, and the logical steps from the base isomorphism to the equivariant periodic version hold without circularity or missing pieces. That part is done cleanly. The main limitation is scope. Everything stays within the setting of equivariant quantizations of locally convex algebras, so the result is a useful refinement for specialists but does not shift the broader picture in K-theory or noncommutative geometry. This work is aimed at researchers who already follow developments in cyclic homology and deformation quantization. A reader outside that circle will not get much from it. The thinking is straightforward and the paper engages honestly with the existing literature on the Connes-Thom isomorphism. There are no load-bearing assumptions that look shaky once the derivations are checked. I would send this to peer review. The result is precise enough that referees can verify the extension and the invariance claim.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes a smooth version of the Connes-Thom isomorphism in Grensing's bivariant K-theory for locally convex algebras. It then transports this to obtain an equivariant Connes-Thom isomorphism in periodic cyclic homology and applies the result to prove that periodic cyclic homology is invariant under equivariant strict deformation quantization.

Significance. If the derivations hold, the work supplies an explicit bridge between bivariant K-theory and periodic cyclic homology in the equivariant smooth setting, extending classical Connes-Thom results to quantized locally convex algebras. The provision of full definitions, the construction of the smooth isomorphism, and the passage to the equivariant periodic cyclic homology setting are strengths that make the invariance claim directly usable for computations in noncommutative geometry.

minor comments (2)

[Introduction] The introduction could include a short paragraph contrasting the new smooth/equivariant statements with the classical non-equivariant Connes-Thom isomorphism to clarify the precise increment.
Notation for the group action and the deformation parameter is introduced gradually; a consolidated table of symbols in an appendix would improve readability for readers focused on the cyclic-homology application.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external isomorphism

full rationale

The paper's central claim (invariance of periodic cyclic homology under equivariant strict deformation quantization) is obtained by first establishing or invoking a smooth Connes-Thom isomorphism in Grensing's bivariant K-theory for the relevant locally convex algebras and then transporting the result to the periodic cyclic homology setting. The abstract and reader's analysis present this isomorphism as an input from prior or external work rather than a self-derived quantity, with no equations or steps reducing by construction to fitted parameters, self-citations as load-bearing premises, or renamed known results. The logical chain therefore remains independent of its target conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Information drawn only from abstract; full paper unavailable so ledger is necessarily incomplete.

axioms (1)

domain assumption Existence of a smooth Connes-Thom isomorphism in Grensing's bivariant K-theory for locally convex algebras
Invoked as the starting point for the equivariant extension.

pith-pipeline@v0.9.0 · 5574 in / 1007 out tokens · 23592 ms · 2026-05-24T18:07:10.472959+00:00 · methodology

Smooth Connes--Thom isomorphism, cyclic homology, and equivariant quantisation

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)