K-Theory and Homology

AG-2024.07-968

math.KT

The index of lattice Dirac operators and $K$-theory

Shoto Aoki, Hidenori Fukaya, Mikio Furuta, Shinichiroh Matsuo, Tetsuya Onogi, Satoshi Yamaguchi

We mathematically show an equality between the index of a Dirac operator on a flat continuum torus and the $η$ invariant of a lattice Dirac operator known as the Wilson Dirac operator with a negative mass when the lattice spacing is sufficiently small. Unlike the standard approach, our formulation using $K$-theory does not require modified chiral symmetry on the lattice. We prove that a one-parameter family of continuum massive Dirac operators and the corresponding Wilson Dirac operators belong to the same equivalence class of the $K^1$ group at a finite lattice spacing. Their indices, which are evaluated by the spectral flow or equivalently by the $η$ invariant at a finite mass, are proved to be equal.

AG-2015.04-172

math.KT

Analysis of Twisted Supercharge Families on Product Manifolds

Antti J. Harju

Twisted supercharge families on product manifolds $\mathbb{T} \times M$ have been applied in the analysis of the odd twisted K-theory. We shall suspend these families to the even twisted K-theory and solve their twisted families index problem. This is applied to give analytic representatives of the twisted K-theory classes on tori - including all the torsion classes.

AG-2015.03-1812

math.KT

Higher nonunital Quillen K'-theory, KK-dualities and applications to topological $\mathbb{T}$-dualities

Snigdhayan Mahanta

Quillen introduced a new $K'_0$-theory of nonunital rings and showed that, under some assumptions (weaker than the existence of unity), this new theory agrees with the usual algebraic $K^{alg}_0$-theory. For a field $k$ of characteristic $0$, we introduce higher nonunital $K$-theory of $k$-algebras, denoted $KQ$, which extends Quillen's original definition of the $K'_0$ functor. We show that the $KQ$-theory is Morita invariant and satisfies excision connectively, in a suitable sense, on the category of idempotent $k$-algebras. Using these two properties we show that the $KQ$-theory agrees with the topological $K$-theory of stable $C^*$-algebras. The machinery enables us to produce a DG categorical formalism of topological homological $\mathbb{T}$-duality using bivariant $K$-theory classes. A connection with strong deformations of $C^*$-algebras and some other potential applications to topological field theories are discussed towards the end.

AG-2014.05-1498

math.KT

Twisted K-theory constructions in the case of a decomposable Dixmier-Douady class II: Topological and equivariant models

Antti J. Harju

This is a study of twisted K-theory on a product space $T \times M$. The twisting comes from a decomposable cup product class which applies the 1-cohomology of $T$ and the 2-cohomology of $M$. In the case of a topological product, we give a concrete realization for the gerbe associated to a cup product characteristic class and use this to realize twisted $K^1$-theory elements in terms of supercharge sections in a Fredholm bundle. The nontriviality of this construction is proved. Equivariant twisted K-theory and gerbes are studied in the product case as well. This part applies Lie groupoid theory. Superconnection formalism is used to provide a construction for characteristic polynomials which are used to extract information from the twisted K-theory classes.

AG-2014.03-909

math.KT

Twisted K-theory constructions in the case of a decomposable Dixmier-Douady class

Antti J. Harju, Jouko Mickelsson

Twisted K-theory on a manifold X, with twisting in the 3rd integral cohomology, is dis- cussed in the case when X is a product of a circle T and a manifold M. The twist is assumed to be decomposable as a cup product of the basic integral one form on T and an integral class in H2(M,Z). This case was studied some time ago by V. Mathai, R. Melrose, and I.M. Singer. Our aim is to give an explicit construction for the twisted K-theory classes using a quantum field theory model, in the same spirit as the supersymmetric Wess-Zumino-Witten model is used for constructing (equivariant) twisted K-theory classes on compact Lie groups.

AG-2013.09-2117

math.KT

On the origin of higher braces and higher-order derivations

Martin Markl

In Part I we show that the classical Koszul braces, as well as their non-commutative counterparts constructed recently by Borjeson, are the twistings of the trivial L-infinity- (resp. A-infinity-) algebra by a specific automorphism. This gives an astonishingly simple proof of their properties. Using the twisting, we construct other surprising examples of braces. We finish Part 1 by discussing C-infinity-braces related to Lie algebras. In Part 2 we prove that in fact all natural braces are the twistings by unique automorphisms. We also show that there is precisely one hierarchy of braces that leads to a sensible notion of higher-order derivations. Thus, the notion of higher-order derivations is independent of human choices. The results of the second part follow from the acyclicity of a certain space of natural operations.

AG-2013.06-092

math.KT

D-branes and $K$-homology

Bei Jia

In this thesis the close relationship between the topological $K$-homology group of the spacetime manifold $X$ of string theory and D-branes in string theory is examined. An element of the $K$-homology group is given by an equivalence class of $K$-cycles $[M,E,ϕ]$, where $M$ is a closed spin$^c$ manifold, $E$ is a complex vector bundle over $M$, and $ϕ: M\rightarrow X$ is a continuous map. It is proposed that a $K$-cycle $[M,E,ϕ]$ represents a D-brane configuration wrapping the subspace $ϕ(M)$. As a consequence, the $K$-homology element defined by $[M,E,ϕ]$ represents a class of D-brane configurations that have the same physical charge. Furthermore, the $K$-cycle representation of D-branes resembles the modern way of characterizing fundamental strings, in which the strings are represented as two-dimensional surfaces with maps into the spacetime manifold. This classification of D-branes also suggests the possibility of physically interpreting D-branes wrapping singular subspaces of spacetime, enlarging the known types of singularities that string theory can cope with.

AG-2013.03-814

math.KT

Modular Invariants and Twisted Equivariant K-theory II: Dynkin diagram symmetries

David E. Evans, Terry Gannon

The most basic structure of chiral conformal field theory (CFT) is the Verlinde ring. Freed-Hopkins-Teleman have expressed the Verlinde ring for the CFT's associated to loop groups, as twisted equivariant K-theory. We build on their work to express K-theoretically the structures of full CFT. In particular, the modular invariant partition functions (which essentially parametrise the possible full CFTs) have a rich interpretation within von Neumann algebras (subfactors), which has led to the developments of structures of full CFT such as the full system (fusion ring of defect lines), nimrep (cylindrical partition function), alpha-induction etc. Modular categorical interpretations for these have followed. For the generic families of modular invariants (i.e. those associated to Dynkin diagram symmetries), we provide a K-theoretic framework for these other CFT structures, and show how they relate to D-brane charges and charge-groups. We also study conformal embeddings and the E7 modular invariant of SU(2), as well as some families of finite group doubles. This new K-theoretic framework allows us to simplify and extend the less transparent, more ad hoc descriptions of these structures obtained previously within CFT.

AG-2013.01-143

math.KT

Leibniz Homology of the Affine Indefinite Orthogonal Lie Algebra

Guy Biyogmam

In this paper, we compute the Leibniz (co)homology of the affine indefinite orthogonal Lie algebra. This calculation generalizes a result \cite[corollary 4.5]{JL} obtained by Jerry Lodder. We construct several indefinite orthogonal invariants in terms of balanced tensors and provide the Leibniz homology in terms of these invariants.

AG-2012.06-1335

math.KT

Net bundles over posets and K-theory

J. E. Roberts, G. Ruzzi, E. Vasselli

We continue studying net bundles over partially ordered sets (posets), defined as the analogues of ordinary fibre bundles. To this end, we analyze the connection between homotopy, net homology and net cohomology of a poset, giving versions of classical Hurewicz theorems. Focusing our attention on Hilbert net bundles, we define the K-theory of a poset and introduce functions over the homotopy groupoid satisfying the same formal properties as Chern classes. As when the given poset is a base for the topology of a space, our results apply to the category of locally constant bundles.

AG-2012.03-128

math.KT

Higher spectral flow and an entire bivariant JLO cocycle

Moulay-Tahar Benameur, Alan L. Carey

Given a smooth fibration of closed manifolds and a family of generalised Dirac operators along the fibers, we define an associated bivariant JLO cocycle. We then prove that, for any $\ell \geq 0$, our bivariant JLO cocycle is entire when we endow smoooth functions on the total manifold with the $C^{\ell+1}$ topology and functions on the base manifold with the $C^\ell$ topology. As a by-product of our theorem, we deduce that the bivariant JLO cocycle is entire for the Fréchet smooth topologies. We then prove that our JLO bivariant cocycle computes the Chern character of the Dai-Zhang higher spectral flow.

AG-2011.11-1844

math.KT

Differential K-theory. A survey

Ulrich Bunke, Thomas Schick

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 characterizations of differential K-theory (and that these uniquely characterize differential K-theory). We describe several explicit constructions, based on vector bundles, on families of differential operators, or using homotopy theory and classifying spaces. We explain the most important properties, in particular about the multiplicative structure and push-forward maps and will state versions of the Riemann-Roch theorem and of Atiyah-Singer family index theorem for differential K-theory.

AG-2011.11-849

math.KT

On the homology of almost Calabi-Yau algebras associated to SU(3) modular invariants

David E. Evans, Mathew Pugh

We compute the Hochschild homology and cohomology, and cyclic homology, of almost Calabi-Yau algebras for SU(3) ADE graphs. These almost Calabi-Yau algebras are a higher rank analogue of the pre-projective algebras for Dynkin diagrams, which are SU(2)-related constructions. The Hochschild (co)homology and cyclic homology of A can be regarded as invariants for the braided subfactors associated to the SU(3) modular invariants.

AG-2011.10-1555

math.KT

Twistings of KR for Real groupoids

El-kaïoum M. Moutuou

B-fields over a groupoid with involution are defined as Real graded Dixmier-Douady bundles. We use these to introduce the Real graded Brauer group which constitutes the set of twistings for Atiyah's KR-functor in the category of locally compact groupoids with involutions. We interpret this group in terms of groupoid extensions and elements of some equivariant Cech cohomology theory. The construction of the twisted KR-functor is outlined.

AG-2011.07-183

math.KT

The minimal model for the Batalin-Vilkovisky operad

Gabriel C. Drummond-Cole, Bruno Vallette

The purpose of this paper is to explain and to generalize, in a homotopical way, the result of Barannikov-Kontsevich and Manin which states that the underlying homology groups of some Batalin-Vilkovisky algebras carry a Frobenius manifold structure. To this extent, we first make the minimal model for the operad encoding BV-algebras explicit. Then we prove a homotopy transfer theorem for the associated notion of homotopy BV-algebra. The final result provides an extension of the action of the homology of the Deligne-Mumford-Knudsen moduli space of genus 0 curves on the homology of some BV-algebras to an action via higher homotopical operations organized by the cohomology of the open moduli space of genus zero curves. Applications in Poisson geometry and Lie algebra cohomology and to the Mirror Symmetry conjecture are given.

AG-2011.06-2581

math.KT

Formality theorem for Hochschild cochains via transfer

Vasily Dolgushev

We construct a 2-colored operad G^+ which, on the one hand, extends the operad G governing homotopy Gerstenhaber algebras and, on the other hand, extends the 2-colored operad governing open-closed homotopy algebras (OCHA). We show that Tamarkin's G-structure on the Hochschild cochain complex C(A) of an A-infinity algebra A extends naturally to a G^+ structure on the pair (C(A), A). We show that a formality quasi-isomorphism for the Hochschild cochains of the polynomial algebra can be obtained via transfer of this G^+ structure to the cohomology of the pair (C(A), A). We show that G^+ is a sub DG operad of the first sheet E^1(SC) of the homology spectral sequence for the Fulton-MacPherson version SC of Voronov's Swiss Cheese operad. Finally, we prove that the DG operads G^+ and E^1(SC) are non-formal.

AG-2011.03-1196

math.KT

The Thom isomorphism in bivariant K-theory

Martin Grensing

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.

AG-2010.10-210

math.KT

Hochschild and cyclic homology of Yang-Mills algebras

Estanislao Herscovich, Andrea Solotar

The aim of this article is to compute the Hochschild and cyclic homology groups of Yang-Mills algebras, that have been defined by A. Connes and M. Dubois-Violette. We proceed here the study of these algebras that we have initiated in a previous article. The computation involves the use of a spectral sequence associated to the natural filtration on the enveloping algebra of the Lie Yang-Mills algebra. This filtration in provided by a Lie ideal which is free as Lie algebra.

AG-2010.02-1836

math.KT

T-duality and Differential K-Theory

Alexander Kahle, Alessandro Valentino

We give a precise formulation of T-duality for Ramond-Ramond fields. This gives a canonical isomorphism between the "geometrically invariant" subgroups of the twisted differential K-theory of certain principal torus bundles. Our result combines topological T-duality with the Buscher rules found in physics.

AG-2008.12-190

math.KT

Quasihomomorphisms and the residue Chern character

Denis Perrot

We develop a general procedure, based on the renormalized eta-cochain, which allows to find local representatives of the bivariant Chern character of finitely summable quasihomomorphisms. In particular, using zeta-function renormalization we obtain a bivariant generalization of the Connes-Moscovici residue formula, and explain the link with chiral and multiplicative anomalies in quantum field theory.