arXiv math/05074142005-07math.KThep-thmath.DG

Thom isomorphism and Push-forward map in twisted K-theory

Alan L. Carey, Bai-Ling Wang

备注：: Add Remark 4.2 to clarify some confusions in the current literature about the role of automorphisms of twists and their action on twisted K-theroy

英文摘要：

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X\to Y$ (not necessarily K-oriented). The push-forward map generalizes the push-forward map in ordinary K-theory for any $K$-oriented differentiable proper map and the Atiyah-Singer index theorem of Dirac operators on Clifford modules. For $D$-branes satisfying Freed-Witten's anomaly cancellation condition in a manifold with a non-trivial $B$-field, we associate a canonical element in the twisted K-group to get the so-called D-brane charges.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

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

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.

2019-07-21math.KTmath.OAmath.QA

The Thom isomorphism in bivariant K-theory

We give a simple proof of the smooth Thom isomorphism for complex bundles for the bivariant K-theories on locally convex algebras considered by Cuntz. We also prove the Thom isomorphism in Kasparov's KK-theory in a form stated without proof in the conspectus. Along the way, we prove Bott periodicity directly on R^n, using for the Kasparov product the operator that also appears in recent work of Wulkenhaar on non-compact spectral triples with finite volume, and which may be seen as a unitalisation of the Dirac-element.

2011-03-31math-phmath.KTmath.MP

Bott-Thom isomorphism, Hopf bundles and Morse theory

Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable range, to mapping spaces associated to orthogonal Clifford representations. Given an oriented Euclidean bundle $V \to X$ of rank divisible by four over a finite complex $X$ we derive a stable decomposition result for vector bundles over the sphere bundle $\mathord{\mathbb S}( \mathbb{R} \oplus V)$ in terms of vector bundles and Clifford module bundles over $…

2021-04-13math.ATmath.DGmath.KT

Equivariant $\KK$-theory for generalised actions and Thom isomorphism in groupoid twisted $\K$-theory

We develop equivariant KK-theory for locally compact groupoid actions by Morita equivalences on real and complex graded C*-algebras. Functoriality with respect to generalised morphisms and Bott periodicity are discussed. We introduce Stiefel-Whitney classes for real or complex equivariant vector bundles over locally compact groupoids to establish the Thom isomorphism theorem in twisted groupoid K-theory.

2013-10-15math.ATmath.KTmath.OA

Thom isomorphisms in triangulated motivic categories

We show that a triangulated motivic category admits categorical Thom isomorphisms for vector bundles with an additional structure if and only if the generalized motivic cohomology theory represented by the tensor unit object admits Thom classes. We also show that the stable $\mathbb{A}^1$-derived category does not admit Thom isomorphisms for oriented vector bundles and, more generally, for symplectic bundles. In order to do so we compute the first homology sheaves of the motivic sphere spectrum and show that the class in the coefficient ring of $\mathbb{A}^1$-homology corresponding to the seco…

2020-09-04math.AGmath.ATmath.KT

A Thom Isomorphism for Infinite Rank Euclidean Bundles

An equivariant Thom isomorphism theorem in operator K-theory is formulated and proven for infinite rank Euclidean vector bundles over finite dimensional Riemannian manifolds. The main ingredient in the argument is the construction of a non-commutative C*-algebra associated to a bundle E -> M, equipped with a compatible connection, which plays the role of the algebra of functions on the infinite dimensional total space E. If the base M is a point, we obtain the Bott periodicity isomorphism theorem of Higson-Kasparov-Trout for infinite dimensional Euclidean spaces. The construction applied to an…

2003-06-02math.ATmath.FAmath.KT

更多相关论文收起更多论文

The Thom isomorphism in gauge-equivariant K-theory

In a previous paper we have introduced the gauge-equivariant K-theory group of a bundle endowed with a continuous action of a bundle of compact Lie groups. These groups are the natural range for the analytic index of a family of gauge-invariant elliptic operators (i.e. a family of elliptic operators invariant with respect to the action of a bundle of compact groups). In this paper, we continue our study of gauge-equivariant K-theory. In particular, we introduce and study products, which helps us establish the Thom isomorphism in gauge-equivariant K-theory. Then we construct push-forward maps a…

2005-06-20math.KTmath.OA

A computation with the Connes-Thom isomorphism

Let $A \in M_{n}(\mathbb{R})$ be an invertible matrix. Consider the semi-direct product $\mathbb{R}^{n} \rtimes \mathbb{Z}$ where $\mathbb{Z}$ acts on $\mathbb{R}^{n}$ by matrix multiplication. Consider a strongly continuous action $(α,τ)$ of $\mathbb{R}^{n} \rtimes \mathbb{Z}$ on a $C^{*}$-algebra $B$ where $α$ is a strongly continuous action of $\mathbb{R}^{n}$ and $τ$ is an automorphism. The map $τ$ induces a map $\widetildeτ$ on $B \rtimes_α \mathbb{R}^{n}$. We show that, at the $K$-theory level, $τ$ commutes with the Connes-Thom map if $\det(A)>0$ and anticommutes if $\det(A)<0$. As an ap…

2012-03-02math.KTmath.OA

Thom-Porteous formulas in algebraic cobordism

We prove a formula for the push-forward class of Bott-Samelson resolutions in the algebraic cobordism ring of the flag bundle. We then provide a geometric interpretation to the double beta-polynomials of Fomin and Kirillov by specializing our formula to the case of connected K-theory.

2012-06-12math.AGmath.KT

The $KH$-Isomorphism Conjecture and Algebraic $KK$-theory

In this article we prove that the $KH$-asembly map, as defined by Bartels and L{ü}ck, can be described in terms of the algebraic $KK$-theory of Cortinas and Thom. The $KK$-theory description of the $KH$-assembly map is similar to that of the Baum-Connes assembly map. In very elementary cases, methods used to prove the Baum-Connes conjecture also apply to the $KH$-isomorphism conjecture.

2009-01-14math.KT

K-theory of Equivariant Quantization

Using an equivariant version of Connes' Thom Isomorphism,w}e prove that equivariant $K$-theory is invariant under strict deformation quantization for a compact Lie group action.

2013-10-04math.KTmath.OAmath.QA

Loop Groups and Twisted K-Theory II

This is the second in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. We introduce the Dirac family of Fredholm operators associated to a positive energy representation of a loop group. It determines a map from isomorphism classes of representations to twisted K-theory, which we prove is an isomorphism if $G$ is connected with torsion-free fundamental group. We also introduce a Dirac family for finite dimensional representations of compact Lie groups; it is closely related to both the…

2012-12-07hep-thmath.ATmath.KT

代数特殊线性配边谱的单位映射

The unit map of the algebraic special linear cobordism spectrum

本文利用框架对应技术计算动机Thom谱的无限$\mathbb{P}^1$-环空间，并证明代数特殊线性配边谱的单位映射在$\mathbb{G}_m$-同伦层上诱导同构。

2019-12-03math.AGmath.ATmath.KT