Geometric cycles and the fate of a crossed-product unit

Written by GPT-6.1 Sol (OpenAI), September 2026, at Ultra. Not yet reviewed. Public domain (CC0).

A circle has a fundamental class, and the constant function one has a K-class. An action can make the first class vanish in its homotopy quotient; this can force the second class to become torsion in a crossed product. The connection between these two statements is a geometric cycle. This lesson constructs that cycle, computes its character and follows it through the analytic map.

We use complex, two-periodic K-theory and K-homology. Manifolds are smooth, Hausdorff and second countable. A discrete group need not be countable. Crossed products are reduced. The analytic input is the Clifford-symbol wrong-way calculus: its identity, composition, immersion, submersion and bordism formulas are proved in [Connes–Skandalis 1984, §§1–3; §4, Theorem 4.11 and Corollary 4.12]. We use those particular formulas, ordinary Kasparov products, topological Bott periodicity, cohomological Thom isomorphisms and the Pontryagin–Thom description of framed bordism. These are prerequisites, rather than consequences of the torsion theorem.

The preceding lesson fixes coordinate Thom classes with positive cyclic Chern integral and proves reduced norm compatibility at subgroup inclusions. This lesson uses the ordinary geometric Chern character for topological classes. Their even degree- components differ by , as proved in its (8.6a). Every unadorned , and Todd class here uses the geometric convention. Section 8 explicitly converts the preceding numerical map, and the even coordinate Bott generators are converted with their gradings. Below we explain the extra compact-cycle, orientation and proper-action arguments needed to apply the analytic input.

1. A tangent bundle over a homotopy quotient

Write the action on the left. If is a contractible free -space, put

The diagonal action in the second formula uses the derivative on . Thus has rank . The map has fiber . An equivariant complex bundle on similarly defines a bundle on . A homotopy between models of identifies these constructions up to bundle homotopy.

Choose a metric on . Its disk and sphere bundles are and . They are topological bundles; no invariant metric on is required for this choice. Different metrics give isomorphic pairs by radial rescaling.

Definition 1.1. The geometric group is

Here K-homology is ordinary homology with the Bott spectrum. On a CW-pair it is the direct limit over finite subpairs. On another topological pair we mean the corresponding theory on a CW replacement. In particular, every class has compact cycle support. We do not replace (1.2) by locally finite homology of the entire homotopy quotient.

This convention matters twice. A class uses only finitely many homological degrees, even if has infinite dimension. Also, vanishing of its rational character detects torsion in the integral group.

Lemma 1.2. Suppose and its action are oriented. Let be the positive cohomological Thom class of . The maps

give a rational isomorphism

Consequently implies that some positive integer kills .

Proof. Normalize the homological Chern character by sending the positive Bott generator of a relative even-dimensional cell to its ordinary orientation generator. On a point its rationalization is the identity in even degree and both odd groups vanish. Suspension gives the same assertion on every relative cell. For a finite CW-pair, attach one cell at a time. The long exact sequence of the attachment, on each parity, compares K-homology with the direct sum of the rational homology sequences in that parity. Naturality of the character gives a commuting comparison; the relative-cell isomorphism and the induction hypothesis give the middle isomorphism by the five lemma. This proves the assertion on finite pairs.

Every class and every relation in the CW theory lies in a finite subpair. Tensoring with , singular homology and the direct sum in (1.3) commute with this directed limit. The finite-pair isomorphisms therefore give the character isomorphism for the full pair. The cohomological Thom theorem, or its dual cellular proof on trivializing patches, identifies with the homological Thom isomorphism; it decreases degree by . This proves (1.4).

For an abelian group , localization gives , where is the set of nonzero integers. The element is zero precisely when for some . Apply this to . No finite generation of the full group is needed.

The grading is intentionally unshifted in (1.2). A cycle with base dimension and coefficient of degree will lie in degree . Its ordinary homological character will have parity . Keeping the rank- Thom shift visible prevents an odd-dimensional unit from being assigned to the wrong K-group.

2. Why manifolds represent the classes

A Spinᶜ structure includes its determinant line. For an oriented real bundle with such a structure and determinant line , use

For a complex bundle with its complex Spinᶜ structure this is the usual Todd class. Direct sums of compatible structures multiply Todd classes.

Proposition 2.1. If is a compact Spinᶜ manifold of dimension , possibly with boundary, cap product with its relative K-fundamental class gives

Every class of the ordinary topological K-homology of a pair is , where is such a compact manifold, , and . The character satisfies

Proof. First consider duality. In a coordinate ball the Spinᶜ Dirac class is the local Bott dual, so multiplication followed by cap product is the Bott isomorphism. For a closed manifold these local maps are the geometric diagonal and tangent correspondences of [Connes–Skandalis 1984, Corollaries 3.7–3.8]: composing them evaluates the tangent Bott pair and gives the two identity correspondences. This proves the global inverse as well as naturality.

For the boundary case, take the interior and a collar. A collar pushes into its interior, so , with ordinary bundle K-theory on the right. Restrict the fundamental correspondence to ; its homology group is . Equivalently it is the analytic group of . Cap product and the inverse diagonal correspondence commute with restriction to open sets. On every interior ball they are inverse by the local Bott calculation. A finite good cover of the compact manifold, intersected with its interior, has ball or half-ball patches and the same property on all nonempty finite intersections. The open-set Mayer–Vietoris sequences and induction on this cover show that they are inverse on . One can obtain the cover from a sufficiently fine triangulation and its open stars. This also proves that the collar construction agrees with the relative fundamental class and proves (2.2).

Here the boundary and excision properties of K-homology are the ordinary Bott-spectrum properties. In the analytic picture they are the Dirac restriction and boundary formulas of [Baum–Higson–Schick 2007, Theorem 3.5 and Theorem 4.7]. Thus the argument does not identify ordinary bundle K-theory of the interior with compactly supported bundle K-theory.

For representability, it suffices first to consider a finite CW-pair. The geometric-cycle theorem [Baum–Higson–Schick 2007, Theorems 6.1–6.2, proof §§7–9] says that classes are represented by compact Spinᶜ manifolds with boundary mapping to the pair, with vector-bundle coefficients. Its mechanism is useful here. Stabilized framed bordism with a coefficient map to gives a homology theory; the positive two-sphere Bott map supplies the stabilization. On a point its even coefficient is the Fredholm index and its odd coefficient is zero, so cellular induction identifies that theory with K-homology. Any Spinᶜ cycle becomes framed after modification by an even-rank stable normal bundle: the complementary Spinᶜ structure is obtained by taking the Clifford-linear homomorphism bundle between its spinor modules. The sphere modification has a vertical Bott bundle of index one and preserves the class. These facts give both surjectivity and the equivalence of the cycle relations with K-homology. A virtual coefficient is a difference of bundles; reverse the Spinᶜ orientation for a minus sign and use disjoint union to obtain one representative.

For a CW-pair a class comes from a finite subpair, so the finite result applies. For a general pair in the convention of Definition 1.1, apply it to the CW replacement and compose the resulting map with the replacement map. Then set . This proves the stated representability.

Finally embed , with a collar if necessary, into a large Euclidean half-space; equivalently double it and restrict the construction away from the second half. Its stable normal bundle has the complementary Spinᶜ structure, so . The spinor-weight calculation for the positive Thom class gives

Indeed the positively oriented Thom symbol uses the dual spinor weights, with its grading chosen so that the leading Euler term is positive. Its zero-section character is ; dividing this character by the cohomological Euler factor gives . For a complex line with first Chern class , this is the positive Koszul convention: its zero-section character is , and its coefficient is . The universal Euler comparison and injective flag pullback used in the preceding lesson prove the identity without dividing by a possibly zero Euler class on . The Spinᶜ version is [Hirzebruch 1959, §5.5].

Applying the homological collapse description of duality to (2.4) replaces the normal inverse factor by . This gives (2.3). Excision in the collar proves the relative formula with the same sign. Odd coefficients follow by positive suspension and desuspension.

One detail about (2.4) is often useful: the cohomological character of a positive K-theory Thom class uses the reciprocal tangent Todd factor. The homological fundamental class uses the tangent Todd factor. They are inverse constructions.

Proposition 2.2. Every element of has a representative , where is a compact manifold without boundary, , , and

Its degree is modulo two. If is K-oriented, with the composite orientation, then

Proof. Apply Proposition 2.1 to a relative class of . We obtain , a coefficient , and a map . Let . The vector part of is a section of . Smooth the bundle on and approximate this section by a smooth section transverse to zero, leaving it nonzero near the boundary. This changes by a homotopy of pairs. The zero manifold is compact and has no boundary; its normal bundle is , where .

On a tubular neighborhood of , restricts as . The Spinᶜ structure of therefore supplies (2.5). Restrict to , calling the restriction . A disk tube retracts onto , so its restricted coefficient is .

To see that this replacement preserves the relative homology class, remove a smaller open tube of the zero set. On the complement the vector section is nonzero; radially normalize it into the sphere bundle. That part of the map then lies in and contributes zero to the relative class. Excision leaves the disk tube and its sphere boundary. The tubular normal form, followed by fiber rescaling, identifies its map with the natural bundle map . Thus the representative is the pushforward of . This proves the assertion and its degree.

For (2.6), form , and the induced map . Its vertical bundles cancel in the relative tangent orientation. Thom base change for a bundle map gives

For completeness, this base-change identity can be checked by embedding as its graph followed by a projection. Pull the normal bundle of the graph through the disk projection. Its positive Clifford Thom symbol is the pullback of the original symbol, so tensoring the coefficient and extending from the tube commute with pullback. Projection then evaluates the same positive Bott pair in each disk fiber. This gives (2.7) for the graph and projection, hence for by the composition formula.

Wrong-way maps and homological pushforward are Poincaré dual, as in [Connes–Skandalis 1984, Corollary 3.8]. Applying this to (2.7), and then pushing the two disk cycles into , proves (2.6). Orientations here compose by cancelling the canonical complex double of the intermediate tangent bundle; choosing unrelated Spinᶜ structures would not give this identity.

3. The character of a geometric cycle

For the character formulas, assume that is oriented and that its action preserves this orientation. Thus has the positive orientation used in Lemma 1.2.

Let the orientation of be the one for which the orientation of is the base orientation followed by the positive fiber orientation. We write .

Proposition 3.1. A cycle as in (2.5) has character

For any cohomology class on , its numerical pairing is

Proof. Let , and . A splitting of the tangent sequence identifies , up to homotopy of structures, with . The set of splittings is affine, so the result does not depend on a chosen splitting. Formula (2.3) gives the relative character

The natural map pulls back to the positive Thom class . Naturality of cap product and pushforward therefore reduces (1.3) to cap product with this pulled-back class. The disk-fiber normalization is

Use the cap-product projection formula in (3.3) to obtain (3.1). Applying the homology/cohomology evaluation projection formula gives (3.2). All integrations are over the compact support of the cycle.

Example 3.2. Suppose is compact. Embed a fiber by , choosing a point of , and take coefficient . Identify the first tangent copy with the cotangent bundle by a metric and give its identity wrong-way structure. Its spinor module is , with even exterior grading and Clifford action . This is the structure for which the identity wrong-way map is the unit. Its determinant line is trivial and its Todd factor is .

Under our base-then-fiber Thom convention, the induced orientation on the cycle base is , where . To check the sign, tangent vectors are real and cotangent vectors imaginary in the identity symbol. The permutation from the ordered cotangent-then-tangent real frame to has sign . The even exterior symbol has the character sign , seen on a complex line from , and multiplicativity gives the displayed product . Therefore

The last equality uses . It is the entire Todd polynomial on the homotopy quotient, not merely its degree-zero term, that can be moved through the pushforward. The dimension sign depends on the order convention; it will not affect a vanishing assertion.

4. Sending a cycle to the crossed product

A map determines a principal bundle and an equivariant map . Conversely such data determine up to homotopy: a classifying map , paired with , descends to ; two classifying maps are equivariantly homotopic. The cycle orientation becomes an invariant Spinᶜ structure on .

The map can be chosen smooth in this homotopy class. It is a section of the smooth associated -bundle over . Smooth a continuous section in finitely many bundle charts, keeping each approximation inside a fiber chart around the section. A vertical metric and short fiber geodesics give the homotopy between successive approximations. The same procedure works relative to a boundary and over a compact homotopy. Lifting the section and its homotopy gives the required equivariant maps and transports the tangent orientation.

We first use a countable group . Then is second countable. Properness of its action allows invariant choices on the domain: a partition of unity on the compact quotient, lifted to evenly covered charts, constructs invariant metrics, connections and graph tubes. No invariant metric on is needed.

Localized reduced descent

Lemma 4.1. Let be a countably generated Hilbert -module with compatible group action , left action of , and an invariant bounded operator satisfying the Kasparov compact-defect conditions. There is an ordinary descended cycle

Proof. On the algebraic module of finite sums , use

Completion uses the reduced norm. Positivity of the inner product follows by its regular representation: the resulting scalar quadratic forms are norms squared of the finite regular-fiber vectors. The left representation is bounded for the reduced norm. Indeed at each , identify the component indexed by with using . The resulting left representation is the regular covariant representation induced by the representation of on . Its norm is at most the reduced norm, and taking the supremum in proves boundedness. This is the same regular-fiber argument as the reduced descent in the preceding lesson.

The operator is adjointable with adjoint . For compact endomorphisms the identity-coefficient extension satisfies

Thus it carries compact endomorphisms to compact endomorphisms. Invariance gives . The self-adjointness and square defects multiplied by have the same form. They are compact by (4.3); finite sums are dense, so the conclusion holds for every crossed-product coefficient. Countably many module generators of , placed at the identity, generate the completed module using right group coefficients. The same construction over the interval proves homotopy compatibility.

The wrong-way input on a proper cover

For the smooth map , choose an invariant graph tube . Let be its tubular vector. Use the invariant source and pulled-back target metrics and the given spinor bundle . The field over has fiber , using source half-densities. Its left action is multiplication by functions on .

Choose smooth functions , where , satisfying , near , and beyond . For , the Clifford symbol is

The two summands lie in orthogonal parts of the relative tangent bundle. Their Clifford anticommutator is zero, so the symbol is self-adjoint and squares to one. Outside the radius-two tube it is independent of . Quantizing it gives the wrong-way cycle .

Here is why the ordinary symbol calculus applies equivariantly. Use finitely many domain charts on and all their lifted translates. Their overlap is uniformly bounded; the domain metric and symbol estimates on translated charts are identical. The radius-two disk in the pulled-back bundle over each original compact chart is compact. Thus the finite list of order-zero estimates gives one bound for the whole field. For a compactly supported domain coefficient, only finitely many lifted domain charts are involved. Its localized lower-order remainders have compact support in the graph tube, hence are compact by the local Rellich estimate. The field is countably generated because its tube and finite-rank spinor bundle are second countable. The invariant phase functions, cutoffs and half-density quantization give exact invariance of the operator.

The local product calculation is [Connes–Skandalis 1984, Theorem 1.10; Theorem 2.6; Propositions 2.8–2.9]. It also applies to these invariant choices. On the tensor module, contraction against a compactly supported section gives the second-operator connection modulo a localized lower-order remainder; the Clifford anticommutator gives the nonnegative principal symbol for the positivity condition. These are precisely the two product conditions of [Connes–Skandalis 1984, Appendix A, Theorem A.5]. After (4.2), identity-coefficient compact remainders stay compact by (4.3). A contraction against a section with a group coefficient is the same contraction composed with its group unitary. Thus the connection and positivity conditions hold on their dense span and identify the ordinary reduced product. This proves the proper-cover version of the wrong-way composition formula without requiring a general intersection product for uncountable equivariant algebras.

For a submersion the field is instead , with the vertical Dirac symbol. Its product with the target identity symbol is (4.4), so the two cycles agree by the same connection and positivity calculation. This explains the family-of-Dirac-operators interpretation.

Theorem 4.2. There is an additive map

For a compact cycle and a countable group, it is

Here is the proper principal-bundle Morita module. When is a submersion, is the vertical Dirac family described above. Formula (4.5) also applies to every discrete group.

Proof. The compactly supported functions on give the Morita module between and . On an evenly covered patch this is the column module over the compact matrices on the sheet space; the matrix rank-one inner products span the local algebra. A finite partition on glues these columns, proves positivity by the regular sheet representation, and proves fullness on both sides. It therefore identifies the K-theories. Apply Lemma 4.1 to and form the ordinary products in (4.6). Both crossed products are separable for a countable group; the modules are countably generated. Their size hypotheses, as well as those for associativity, hold. The total parity is , as required.

We check that the formula depends only on the geometric class. Direct sum of coefficients and disjoint union are direct sum of modules. A homotopy of maps or structures gives the same construction over the interval and hence the same class. Bordism gives zero on its oriented boundary: double the bordism and move one copy of the boundary into the interior by a collar. The boundary correspondence is then the connecting class of the restriction extension. Its composite with the restriction from the double is split, hence zero. This is the correspondence computation of [Connes–Skandalis 1984, Proposition 3.5]; every collar and double here is on the quotient and lifts to the proper cover. The extension on that proper cover is Morita equivalent to the quotient extension, so this step does not assert exactness of arbitrary reduced crossed products.

For vector-bundle modification, the modification's vertical sphere cycle is the positive Bott dual. Its fiber operator has even one-dimensional trivial kernel and invertible orthogonal complement. In a compact Spinᶜ frame the kernel is the scalar bundle; on the complement the polar involution rotates the cycle to a degenerate one. The construction is compatible with the sphere's structure group and therefore with its associated bundle. This is the explicit calculation of [Baum–Higson–Schick 2007, Proposition 3.6, Proposition 3.11 and Theorem 6.1]. The preceding proper-cover product calculation consequently gives . It follows that (4.6) is unchanged by the modification.

These are the full geometric K-homology relations. To pass from the relative disk-pair cycles to (2.5), use the zero-section localization in Proposition 2.2. A bordism can likewise be made transverse to zero relative to its boundary; its zero manifold is the corresponding bordism of tangent-twisted cycles. A normal modification before localization is a normal modification of the zero manifold. Thus (4.6) descends to (1.2). The same product calculation gives invariance under (2.6). This proves well-definedness for countable groups.

Now let be arbitrary. The monodromy of a principal -bundle over a connected compact manifold is a homomorphism . Its image is finitely generated, since a compact manifold has a finite CW model. For finitely many components take the subgroup generated by these images and the finitely many changes of chosen sheet. We obtain a countable subgroup and a reduction to a principal -bundle. Restrict to that reduction, construct (4.6) for , and extend the resulting K-class along .

The extension is independent of the reduction. After enlarging , its induced proper-cover symbol is the disjoint union of the identical symbols on cosets. The quotient Morita columns eliminate the sheet indices; the resulting module is exactly the old final module tensored with the larger crossed product. On a local column the identification sends to . Formula (4.2) shows equality of inner products and intertwining of operators; local columns generate densely, so it is a unitary. Choosing another initial sheet conjugates the subgroup and is implemented by the group unitary in the larger crossed product. Hence it does not change the K-class.

A homotopy, bordism or vector-bundle modification has compact base and finitely generated monodromy as well. A common countable subgroup therefore verifies each relation. This proves well-definedness and additivity for every , and completes (4.5).

The existence of this map uses index theory. It does not assert that the map is injective, surjective or an isomorphism.

The same formula has a compact-support interpretation when a cycle base is noncompact and . Represent by a bundle difference with a specified identification outside a compact set, or by its suspended version. Choose a compact smooth neighborhood of that set whose boundary lies where the identification holds. The coefficient is a relative K-class on this neighborhood. Double the neighborhood and extend the coefficient by zero over the second half; the map and the tangent-twisted Spinᶜ structure double using the reversed second-half orientation. Relative collar excision identifies the resulting compact cycle with the original supported cycle. The local wrong-way modules agree on the first half, and their coefficient difference is zero on the collar and the second half. Thus their products give the same supported class in (4.6). Enlarging the neighborhood gives the same result by the identical excision argument. This reduces compactly supported coefficients to the compact construction already proved; it does not require finitely generated monodromy on the entire noncompact base.

5. The cycle that maps to the unit

Lemma 5.1. For , take the trivial principal bundle with . Its geometric class maps to the canonical inclusion:

For compact and , this gives .

Proof. The proper-cover algebra is . The identity-sheet projection is a full multiplier projection. Its corner is , and this corner inclusion represents the inverse Morita map.

The map is a local diffeomorphism. The wrong-way field has

The operator is zero. A compactly supported function on acts by a finite diagonal matrix on each fiber and vanishes at infinity, so its left action is compact. This is the zero-dimensional Dirac family, with its canonical orientation.

After reduced descent, compress its left action to . The compressed module is the right module . On its dense finite-sum subspace the identification is . Formula (4.2) gives the same inner product on both sides, and the left action becomes ordinary multiplication. The zero operator gives precisely the inclusion cycle . This proves the equality of the Morita-corner composite with ; multiplying by proves (5.1).

For noncompact , compactly supported K-classes can be represented on a relatively compact manifold neighborhood and as relative coefficients; collar excision gives the same module identity. Odd coefficients are treated by suspension. For arbitrary , construct the identity using the trivial subgroup and extend by its canonical inclusion, as in Theorem 4.2.

Theorem 5.2. Let be compact and oriented, with an orientation-preserving discrete action. If its fiber fundamental class has zero image in rational homology,

then the unit of is torsion in .

Proof. Let , with the identity structure of Example 3.2. Its degree is , hence zero. Example 3.2 and the projection formula give

Lemma 1.2 gives a positive integer with . Apply the additive map and Lemma 5.1: . This proves the assertion for every discrete group, without an assumption that is an isomorphism.

For a disconnected compact , in (5.3) is the sum of the oriented component classes. The proof uses exactly that sum and still applies.

6. A surface boundary makes the unit torsion

Lemma 6.1. Let be torsion free, discrete and cocompact. The homotopy quotient of its projective-boundary action is the oriented unit tangent circle bundle of the closed hyperbolic surface .

Proof. A discrete subgroup acts properly on . A stabilizer is a discrete subgroup of the compact rotation stabilizer, hence finite; torsion freeness makes it trivial. The quotient is therefore a closed oriented smooth surface, and the contractible plane is a model of .

Identify with the ideal boundary of . Given and on this boundary, take the unit tangent at of the geodesic ray ending at . This gives a smooth equivariant diffeomorphism