arXiv research

For a finite group G acting on a smooth projective variety X, we construct two new G-equivariant rings: first the stringy K-theory of X, and second the stringy cohomology of X. For a smooth Deligne-Mumford stack Y we also construct a new ring called the full orbifold K-theory of Y. For a global quotient Y=[X/G], the ri…

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct a push-forward map in differential equivariant K-theory. Finally, we construct …

For an orbifold X and $α\in H^3(X, Z)$, we introduce the twisted cohomology $H^*_c(X, α)$ and prove that the Connes-Chern character establishes an isomorphism between the twisted K-groups $K_α^* (X) \otimes C$ and twisted cohomology $H^*_c(X, α)$. This theorem, on the one hand, generalizes a classical result of Baum-Co…

By using the relation between foliations and exotic R^4, orbifold $K$-theory deformed by a gerbe can be interpreted as coming from the change in the smoothness of R^4. We give various interpretations of integral 3-rd cohomology classes on S^3 and discuss the difference between large and small exotic R^4. Then we show t…

Study normal bundle and deformation to get new pushforward maps.

In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_α\otimes K^j_β\to K^{i+j}_{α+β}$ are derived. Our approach provides a uniform framework …

In this paper we define and study the "ghost loop orbifold" of an orbifold $X$ consisting of those loops that remain constant in the coarse moduli space of $X$. We construct a configuration space model for the ghost loop orbifold using an idea of G. Segal. From this we exhibit the relation between the Hochschild and cy…

In this paper we compute explicit formulas for the holonomy map for a gerbe with connection over an orbifold. We show that the holonomy descends to a transgression map in Deligne cohomology. We prove that this recovers both the inner local systems in Ruan's theory of twisted orbifold cohomology and the local system of …

We construct a new effective orbifold $\widehat{\Y}$ with an $S^1$-gerbe $c$ to study an $S^1$-gerbe $\mathfrak{t}$ on a $G$-gerbe $\Y$ over an orbifold $\B$. We view the former as the relative dual, relative to $\B$, of the latter. We show that the two pairs $(\Y, \mathfrak{t})$ and $(\widehat{\Y}, c)$ have isomorphic…

In this paper, for a compact Lie group action,we prove the anomaly formula and the functoriality of the equivariant Bismut-Cheeger eta forms with perturbation operators when the equivariant family index vanishes. In order to prove them, we extend the Melrose-Piazza spectral section and its main properties to the equiva…

Unified theory of orbifolds and cohomology.

This paper is the continuation of Part I, expanding previous results of math.DG/9803051. This paper uses techniques in noncommutative geometry as developed by Alain Connes in order to study the twisted higher index theory of elliptic operators on orbifold covering spaces of compact good orbifolds, which are invariant u…

Cyclification of orbifolds explained in cohesive higher topos theory.

We consider groups G which have a cocompact, 3-manifold model for the classifying space \underline{E}G. We provide an algorithm for computing the rationalized equivariant K-homology of \underline{E}G. Under the additional hypothesis that the quotient 3-orbifold \underline{E}G/G is geometrizable, the rationalized K-homo…

New K-theory framework reveals exotic brane charges and conformal blocks.

Unified classification of equivariant principal bundles using higher homotopy theory.

We introduce two $K$-theories, one for vector bundles whose fibers are modules of vertex operator algebras, another for vector bundles whose fibers are modules of associative algebras. We verify the cohomological properties of these $K$-theories, and construct a natural homomorphism from the VOA K-theory to the associa…

In this paper, we develop differential twisted K-theory and define a twisted Chern character on twisted K-theory which depends on a choice of connection and curving on the twisting gerbe. We also establish the general Riemann-Roch theorem in twisted K-theory and find some applications in the study of twisted K-theory o…

Following Hopkins and Singer, we give a definition for the differential equivariant K-theory of a smooth manifold acted upon by a finite group. The ring structure for differential equivariant K-theory is developed explicitly. We also construct a pushforward map which parallels the topological pushforward in equivariant…

Differential K-theory gets a $λ$-ring structure.

This paper contains the constructions of a real manifold version of relative K-theory, and of an extension of Karoubi's multiplicative K-theory suggested by U. Bunke (which I call ``free multiplicative K-theory'' in the sequel). Chern-Simons-Nadel type classes on relative K-theory are constructed, while it is proved th…

Paper constructs Chern character for higher twists and shows isomorphism between K-theory and cohomology.

In this paper we introduce an equivariant extension of the Chern-Simons form, associated to a path of connections on a bundle over a manifold M, to the free loop space LM, and show it determines an equivalence relation on the set of connections on a bundle. We use this to define a ring, loop differential K-theory of M,…

Jones polynomials derived from K-theory of a cluster algebra.

We define the Simons-Sullivan differential analytic index by translating the Freed-Lott differential analytic index via explicit ring isomorphisms between Freed-Lott differential K-theory and Simons-Sullivan differential K-theory. We prove the differential Grothendieck-Riemann-Roch theorem in Simons-Sullivan differenti…

In this note we prove some results in flat and differential $K$-theory. The first one is a proof of the compatibility of the differential topological index and the flat topological index by a direct computation. The second one is the explicit isomorphisms between Bunke-Schick differential $K$-theory and Freed-Lott diff…

Generalized differential cohomology theories, in particular differential K-theory (often called "smooth K-theory"), are becoming an important tool in differential geometry and in mathematical physics. In this survey, we describe the developments of the recent decades in this area. In particular, we discuss axiomatic ch…

Develops differential K-theory for noncommutative algebras.

Constructs 2-vector bundles and 2K-theory for Lie groupoids and 2-equivariant settings.

This is the final part of the work started in math.DG/0611281 and math.DG/0703916. Here the question of double fibration ois adressed both for relative k-theory and free multiplicative K-theory. In the case of relative and ``nonfree'' multiplicative K-theory, the direct image is proved to be functorial for double subme…

Study connects manifold complexity to scalar curvature bounds.

In this paper, we first establish a K-theory version of the equivariant family index theorem for a circle action, then use it to prove several rigidity and vanishing theorems on the equivariant K-theory level.

New K-theory approach classifies anyonic topological phases in 2D semimetals.

We survey three different ways in which K-theory in all its forms enters quantum field theory. In Part 1 we give a general argument which relates topological field theory in codimension two with twisted K-theory, and we illustrate with some finite models. Part 2 is a review of pfaffians of Dirac operators, anomalies, a…

Develops a new index theory for odd Z/kZ K-theory.

We introduce a smooth variant of the Hopkins-Singer model of differential K-theory. We prove that our model is naturally isomorphic to the Hopkins-Singer model and also to the Tradler-Wilson-Zeinalian model of differential K-theory.

Researchers compute differential K-theory for moduli stacks.

Let X --> B be a proper submersion with a Riemannian structure. Given a differential K-theory class on X, we define its analytic and topological indices as differential K-theory classes on B. We prove that the two indices are the same.

Odd $K$-theory has the interesting property that it admits an infinite number of inequivalent differential refinements. In this paper we provide a bundle theoretic model for odd differential $K$-theory using the caloron correspondence and prove that this refinement is unique up to a unique natural isomorphism. We chara…

Paper connects algebraic K-theory to foam geometry.

Proves upper bound on filling radius for manifolds with positive scalar curvature.

The Isomorphism Conjecture is a conceptional approach towards a calculation of the algebraic K-theory of a group ring RG, where G is an infinite group. In this paper we prove the conjecture in dimensions n<2 for fundamental groups of closed Riemannian manifolds with strictly negative sectional curvature and an arbitrar…

Study algebraic K-theory for specific groups of non-orientable surfaces.

Study K-theory of Etesi $C^*$-algebras to understand smooth manifolds.

These notes are based on a lecture course given by the first author in the Sedano Winter School on K-theory held in Sedano, Spain, on January 22-27th of 2007. They aim at introducing K-theory of C^*-algebras, equivariant K-homology and KK-theory in the context of the Baum-Connes conjecture.

A version of smooth K-theory is constructed, which is adapted to the total Chern class instead of the Chern character (contrarily to previous theories). Some total Chern class morphism from this K-theory to Cheeger-Simons differential characters is constructed. This answers a question raised by U. Bunke.

Let $G$ be a word hyperbolic group. We prove that the algebraic $K$-theory groups of $\dbZ [G]$, $K_n(\dbZ[G])$, have finite rank for all $n\in \dbZ$. For a few classes of groups, we give explicit formulas for the ranks of the algebraic $K$-theory groups of their group rings.

For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory $QK^G(X)$ to the quantum K-theory of the git quotient $QK(X//G)$ assuming the quotient $X//G$ is a smooth Deligne-Mumford stack wit…