Showing papers in "arXiv: K-Theory and Homology in 2013"

Gauge Theory for Spectral Triples and the Unbounded Kasparov Product

Abstract: We explore factorizations of noncommutative Riemannian spin geometries over commutative base manifolds in unbounded KK-theory. After setting up the general formalism of unbounded KK-theory and improving upon the construction of internal products, we arrive at a natural bundle-theoretic formulation of gauge theories arising from spectral triples. We find that the unitary group of a given noncommutative spectral triple arises as the group of endomorphisms of a certain Hilbert bundle; the inner fluctuations split in terms of connections on, and endomorphisms of, this Hilbert bundle. Moreover, we introduce an extended gauge group of unitary endomorphisms and a corresponding notion of gauge fields. We work out several examples in full detail, to wit Yang--Mills theory, the noncommutative torus and the $\theta$-deformed Hopf fibration over the two-sphere.

Expanders, exact crossed products, and the Baum-Connes conjecture

Abstract: We reformulate the Baum-Connes conjecture with coefficients by introducing a new crossed product functor for C*-algebras. All confirming examples for the original Baum-Connes conjecture remain confirming examples for the reformulated conjecture, and at present there are no known counterexamples to the reformulated conjecture. Moreover, some of the known expander-based counterexamples to the original Baum-Connes conjecture become confirming examples for our reformulated conjecture.

Geometric models for higher Grothendieck-Witt groups in A1-homotopy theory

Abstract: We show that the higher Grothendieck-Witt groups, a.k.a. algebraic hermitian K-groups, are represented by an infinite orthogonal Grassmannian in the A1-homotopy category of smooth schemes over a regular base for which 2 is a unit in the ring of regular functions. We also give geometric models for various P1- and S1-loop spaces of hermitian K-theory.

On the Q construction for exact quasicategories

Abstract: We prove that the K-theory of an exact quasicategory can be computed via a higher categorical variant of the Q construction. This construction yields a quasicategory whose weak homotopy type is a delooping of the K-theory space. We show that the direct sum endows this homotopy type with the structure of a infinite loop space, which agrees with the canonical one. Finally, we prove a proto-devissage result, which gives a necessary and sufficient condition for a "nilimmersion" of stable quasicategories to be a K-theory equivalence. In particular, we prove that a well-known conjecture of Ausoni and Rognes is equivalent to the weak contractibility of a particular quasicategory.

Slices of hermitian K-theory and Milnor's conjecture on quadratic forms

Abstract: We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we prove Milnor's conjecture relating Galois cohomology to quadratic forms via the filtration of the Witt ring by its fundamental ideal. In a related computation we express hermitian K-groups in terms of motivic cohomology.

Derived Representation Schemes and Noncommutative Geometry

Abstract: Some 15 years ago M. Kontsevich and A. Rosenberg [KR] proposed a heuristic principle according to which the family of schemes ${Rep_n(A)}$ parametrizing the finite-dimensional represen- tations of a noncommutative algebra A should be thought of as a substitute or "approximation" for Spec(A). The idea is that every property or noncommutative geometric structure on A should induce a corresponding geometric property or structure on $Rep_n(A)$ for all n. In recent years, many interesting structures in noncommutative geometry have originated from this idea. In practice, however, if an associative algebra A possesses a property of geometric nature (e.g., A is a NC complete intersection, Cohen-Macaulay, Calabi-Yau, etc.), it often happens that, for some n, the scheme $Rep_n(A)$ fails to have the corresponding property in the usual algebro-geometric sense. The reason for this seems to be that the representation functor $Rep_n$ is not "exact" and should be replaced by its derived functor $DRep_n$ (in the sense of non-abelian homological algebra). The higher homology of $DRep_n(A)$, which we call representation homology, obstructs $Rep_n(A)$ from having the desired property and thus measures the failure of the Kontsevich-Rosenberg "approximation." In this paper, which is mostly a survey, we prove several results confirming this intuition. We also give a number of examples and explicit computations illustrating the theory developed in [BKR] and [BR].

The Farrell-Jones conjecture for S-arithmetic groups

Abstract: This paper contains the results of my PhD-thesis. I will show the K- and L-theoretic Farrell-Jones conjecture (FJC) for the general linear groups over the rationals and over the rational functions over a finite field. This especially implies the conjecture for all S-arithmetic groups.

Non-commutative localizations of additive categories and weight structures; applications to birational motives

Abstract: In this paper we demonstrate that 'non-commutative localizations' of arbitrary additive categories (generalizing those defined by Cohn for rings) are closely (and naturally) related with weight structures. Localizing an arbitrary triangulated $C$ by a set $S$ of morphisms in the heart of a weight structure $w$ for it one obtains a triangulated category endowed with a weight structure $w'$. The heart of $w'$ is a certain idempotent completion of the non-commutative localization of the heart of $w$ by $S$. The latter is the natural categorical version of Cohn's localizations of rings i.e. the functor connecting hearts is universal among all the additive functors that make the elements of $S$ invertible. In particular, taking $C=K^b(A)$ for an additive $A$ we obtain a very efficient tool for computing the additive localization of $A$ by $S$; using it, we generalize the calculations of Gerasimov and Malcolmson. We apply our results to certain categories of birational motives over a base scheme $U$ (generalizing those defined by Kahn and Sujatha). When $U$ is the spectrum of a perfect field, the weight structure obtained is compatible with the Chow and Gersten weight structures defined by the first author in previous papers. For a general $U$ the result is completely new. We also consider the relation of weight structures with their adjacent t-structures (in localizations). In the 'motivic' setting mentioned this yields the natural generalization of the 'duality' between birational motives and birational sheaves with transfers established by Kahn and Sujatha.

Trace theories and localization

Abstract: We show how one can twist the definition of Hochschild homology of an algebra or a DG algebra by inserting a possibly non-additive trace functor. We then prove that many of the usual properties of Hochschild homology survive such a generalization. In some cases this even includes Keller's Localization Theorem.

Realizing the analytic surgery group of Higson and Roe geometrically, Part I: The geometric model

Abstract: We construct a geometric analog of the analytic surgery group of Higson and Roe for the assembly mapping for free actions of a group with values in a Banach algebra completion of the group algebra. We prove that the geometrically defined group, in analogy with the analytic surgery group, fits into a six term exact sequence with the assembly mapping and also discuss mappings with domain the geometric group. In particular, given two finite dimensional unitary representations of the same rank, we define a map in the spirit of $\eta$-type invariants from the geometric group (with respect to assembly for the full group $C^*$-algebra) to the real numbers.

Local index theory for certain fourier integral operators on lie groupoids

Abstract: We develop a local index theory, in the sense of non-commutative geometry, for operators associated to non-proper and non-isometric actions of Lie groupoids on smooth submersions.

Differential cohomology theories as sheaves of spectra

Abstract: We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of all classical examples of differential cohomology theories. These structures are naturally derived from a canonical decomposition of a sheaf into a homotopy invariant part and a piece which has a trivial evaluation on a point. In the classical examples the latter is the contribution of differential forms. This decomposition suggest a natural scheme to analyse new sheaves by determining these pieces and the gluing data. We perform this analysis for a variety of classical and not so classical examples.

Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic K-theory

Abstract: We develop differential algebraic K-theory for rings of integers in number fields and we construct a cycle map from geometrized bundles of modules over such a ring to the differential algebraic K-theory. We also treat some of the foundational aspects of differential cohomology, including differential function spectra and the differential Becker-Gottlieb transfer. We then state a transfer index conjecture about the equality of the Becker-Gottlieb transfer and the analytic transfer defined by Lott. In support of this conjecture, we derive some non-trivial consequences which are provable by independent means.

Elliptic Theory for Operators Associated with Diffeomorphisms of Smooth Manifolds

Abstract: In this paper we give a survey of elliptic theory for operators associated with diffeomorphisms of smooth manifolds. Such operators appear naturally in analysis, geometry and mathematical physics. We survey classical results as well as results obtained recently. The paper consists of an introduction and three sections. In the introduction we give a general overview of the area of research. For the reader’s convenience here we tried to keep special terminology to a minimum. In the remaining sections we give detailed formulations of the most important results mentioned in the introduction.

The Analytical Assembly Map and Index Theory

Abstract: In this paper we study the index theoretic interpretation of the analytical assembly map that appears in the Baum-Connes conjecture. In its general form it may be constructed using Kasparov's equivariant KK-theory. In the special case of a torsionfree group the domain simplifies to the usual K-homology of the classifying space BG of G and it is frequently used that in this case the analytical assembly map is given by assigning to an operator an equivariant index. We give a precise formulation of this statement and prove it.

The coarse Baum-Connes conjecture for Busemann non-positively curved spaces

Abstract: We prove that the coarse assembly maps for proper metric spaces which are non-positively curved in the sense of Busemann are isomorphisms, where we do not assume that the spaces are with bounded coarse geometry. Also it is shown that we can calculate the coarse K-homology and the K-theory of the Roe algebra by using the visual boundaries.

An Equivariant Lefschetz Fixed-Point Formula for Correspondences

Abstract: We compute the trace of an endomorphism in equivariant bivariant K-theory for a compact group G in several ways: geometri- cally using geometric correspondences, algebraically using localisation, and as a Hattori-Stallings trace. This results in an equivariant ver- sion of the classical Lefschetz fixed-point theorem, which applies to arbitrary equivariant correspondences, not just maps. We dedicate this article to Tamaz Kandelaki, who was a coauthor in an earlier version of this article, and passed away in 2012. We will remember him for his warm character and his perseverance in doing mathematics in difficult circumstances.

Segal's spectral sequence in twisted equivariant K-theory for proper and discrete actions

Abstract: We use a spectral sequence developed by Graeme Segal in order to understand the twisted G-equivariant K-theory for proper and discrete actions. We show that the second page of this spectral sequence is isomorphic to a version of Bredon cohomology with local coefficients in twisted representations. We furthermore explain some phenomena concerning the third differential of the spectral sequence, and we recover known results when the twisting comes from finite order elements in discrete torsion.

Twisted equivariant K- Theory and K-Homology of Sl3(Z)

Abstract: Replaces Previous version. Includes comments on poincare duality for twisted equivariant in the context of proper and discrete actions and the Baum-Connes Conjecture. We use a spectral sequence proposed by C. Dwyer and previous work by Sanchez-Garcia and Soule to compute Twisted Equivariant K-theory groups of the classifying space for proper actions of Sl3(Z). After proving a Universal coefficient theorem in Bredon Cohomology with specific coefficients, we compute the twisted equivariant K-homology and state a relation to the Baum-Connes Conjecture with coefficients.

Tannaka duality for enhanced triangulated categories

Abstract: We develop Tannaka duality theory for dg categories. To any dg functor from a dg category A to finite-dimensional complexes, we associate a dg coalgebra C via a Hochschild homology construction. When the functor is faithful, this gives a quasi-equivalence between the derived dg categories of A-modules and of C-comodules. When A is Morita fibrant (i.e. an idempotent-complete enhanced triangulated category), it is thus quasi-equivalent to the derived dg category of compact C-comodules. We give several applications for pro-algebraic homotopy types associated to various cohomology theories, and for motivic Galois groups.

The homotopy theory of cyclotomic spectra

Abstract: We describe spectral model category structures on the categories of cyclotomic spectra and $p$-cyclotomic spectra (in orthogonal spectra) with triangulated homotopy categories. We show that the functors $TR$ and $TC$ are corepresentable in these categories. Specifically, the derived mapping spectrum out of the sphere spectrum in the category of cyclotomic spectra corepresents the finite completion of $TC$ and the derived mapping spectrum out of the sphere spectrum in the category of $p$-cyclotomic spectra corepresents the $p$-completion of $TC(-;p)$.

Contravariant) Koszul Duality for DG Algebras

Abstract: A DG algebras A over a field k with H(A) connected and H<0(A)=0 has a unique up to isomorphism DG module K with H(K)≅k. It is proved that if \(\operatorname {H}(A)\) is degreewise finite, then \(\mathrm{RHom}_{A}(?,K)\colon \mathsf{D^{df}_{+}}(A)^{\mathsf{op}}\equiv \mathsf{D_{df}^{+}}(\mathrm{RHom}_{A}(K,K))\) is an exact equivalence of derived categories of DG modules with degreewise finite-dimensional homology. It induces an equivalences of \(\mathsf{D^{df}_{b}}(A)^{\mathsf{op}}\) and the category of perfect DG RHom A (K,K) modules, and vice-versa. Corresponding statements are proved also when H(A) is simply connected and H<0(A)=0.

Invariants topologiques des espaces non-commutatifs.

Abstract: Dans cette these, on donne une definition de la K-theorie topologique des espaces non-commutatifs de Kontsevich (c'est-a-dire des dg-categories) definis sur les nombres complexes. L'introduction de ce nouvel invariant initie la recherche des invariants de nature topologique des espaces non-commutatifs, comme "simplifications" des invariants algebriques (K-theorie algebrique, homologie cyclique, periodique comme etudies dans les travaux de Tsygan, Keller). La motivation principale vient de la theorie de Hodge non-commutative au sens de Katzarkov--Kontsevich--Pantev. En geometrie algebrique, la partie rationnelle de la structure de Hodge est donnee par la cohomologie de Betti rationnelle, qui est la cohomologie rationnelle de l'espace des points complexes du schema. La recherche d'un espace associe a une dg-categorie trouve une premiere reponse avec le champ (defini par Toen--Vaquie) classifiant les dg-modules parfaits sur cette dg-categorie. La definition de la K-theorie topologique a pour ingredient essentiel le foncteur de realisation topologique des prefaisceaux en spectres sur le site des schemas de type fini sur les complexes. La partie connective de la K-theorie semi-topologique peut etre definie comme la realisation topologique du champ en monoides commutatifs des dg-modules parfaits. Cependant pour atteindre la K-theorie negative, on realise le prefaisceau donne par la K-theorie algebrique non-connective. Un de nos resultats principaux enonce l'existence d'une equivalence naturelle entre ces deux definitions dans le cas connectif. On montre que la realisation topologique du prefaisceau de K-theorie algebrique connective pour la dg-categorie unite donne le spectre de K-theorie topologique usuel. Puis que c'est aussi vrai pour la K-theorie algebrique non-connective, en utilisant la propriete de restriction aux lisses de la realisation topologique. En outre, cette propriete de restriction aux schemas lisses necessite de montrer une generalisation de la descente propre cohomologique de Deligne, dans le cadre homotopique non-abelien.La K-theorie topologique est alors definie en localisant par rapport a l'element de Bott. Cette definition repose donc sur des resultats non-triviaux. On montre alors que le caractere de Chern de la K-theorie algebrique vers l'homologie periodique se factorise par la K-theorie topologique, donnant un candidat naturel pour la partie rationnelle d'une structure de Hodge non-commutative sur l'homologie periodique, ceci etant enonce sous la forme de la conjecture du reseau. Notre premier resultat de comparaison concerne le cas d'un schema lisse de type fini sur les complexes -- la conjecture du reseau est alors vraie pour de tels schemas. On montre ensuite que cette conjecture est vraie dans le cas des algebres associatives de dimension finie.

The two definitions of the index difference

Abstract: Given two metrics of positive scalar curvature metrics on a closed spin manifold, there is a secondary index invariant in real $K$-theory. There exist two definitions of this invariant, one of homotopical flavour, the other one defined by a index problem of Atiyah-Patodi-Singer type. We give a complete and detailed proof of the folklore result that both constructions yield the same answer. Moreover, we generalize this to the case of two families of positive scalar curvature metrics, parametrized by a compact space. In essence, we prove a generalization of the classical "spectral-flow-index theorem" to the case of families of real operators.

On the Multi-Koszul Property for Connected Algebras

Abstract: In this article we introduce the notion of multi-Koszul algebra for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for homogeneous algebras. This notion also extends and generalizes the one recently introduced by the author and A. Rey, which was for the particular case of algebras further assumed to be finitely gener- ated in degree 1 and with a finite dimensional space of relations. The idea of this new notion for this generality, which should be perhaps considered as a probably interesting common property for several of these algebras, was to find a grading independent description of some of the more appealing features shared by all generalized Koszul algebras. It includes several new interesting examples, e.g. the super Yang-Mills algebras introduced by M. Movshev and A. Schwarz, which are not generalized Koszul or even multi- Koszul for the previous definition given by the author and Rey in any natu- ral manner. On the other hand, we provide an equivalent description of the new definition in terms of the Tor (or Ext) groups, similar to the existing one for homogeneous algebras, and we show that several of the typical homo- logical computations performed for the generalized Koszul algebras are also possible in this more general setting. In particular, we give a very explicit description of the A1-algebra structure of the Yoneda algebra of a multi- Koszul algebra, which has a similar pattern as for the case of generalized Koszul algebras. We also show that a finitely generated multi-Koszul alge- bra with a finite dimensional space of relations is a K2 algebra in the sense of T. Cassidy and B. Shelton.

Large scale index of multi-partitioned manifolds

Abstract: Let M be a complete n-dimensional Riemannian spin manifold, partitioned by q two-sided hypersurfaces which have a compact transverse intersection N and which in addition satisfy a certain coarse transversality condition Let E be a Hermitean bundle with connection on M We define a coarse multi-partitioned index of the spin Dirac operator on M twisted by E Our main result is the computation of this multi-partitioned index as the Fredholm index of the Dirac operator on the compact manifold N, twisted by the restriction of E to N We establish the following main application: if the scalar curvature of M is bounded from below by a positive constant everywhere (or even if this happens only on one of the quadrants defined by the partitioning hypersurfaces) then the multi-partitioned index vanishes Consequently, ind(D_N) is an obstruction to uniformly positive scalar curvature on M The proof of the multi-partitioned index theorem proceeds in two steps: first we establish a strong new localization property of the multi-partitioned index which is the main novelty of this note This we establish even when we twist with an arbitrary Hilbert A-module bundle E (for an auxiliary C*-algebra A) This allows to reduce to the case where M is the product of a compact manifold with Euclidean space For this special case, standard methods for the explicit calculation of the index in this product situation can be adapted to obtain the result

On D\'evissage for Witt groups

Abstract: In this paper we extend and apply the work of Paul Balmer and others on derived and triangular Witt Groups. We obtain a generalized form of d\'{e}vissage for derived Witt Groups over Cohen-Macaulay rings.

K1 of Certain Iwasawa Algebras, After Kakde

Abstract: This paper contains a detailed exposition of the content of Sect. 5 in Kakde’s preprint “The main conjecture of Iwasawa theory for totally real fields”. We proceed in a slightly more axiomatic way to pin down the exact requirements on the p-adic Lie group under consideration. We also make use of our conceptual theory of the completed localization of an Iwasawa algebra as developed in Schneider and Venjakob (Am. J. Math. 132, 1–36, 2010). This simplifies some of the arguments. Otherwise, with the exception of the notation at certain places, we follow Kakde’s paper.

A Formality quasi-isomorphism for Hochschild cochains over rationals can be constructed recursively

Abstract: It is believed arXiv:0808.2762, arXiv:math/9904055 that, among the coefficients entering Kontsevich's formality quasi-isomorphism arXiv:q-alg/9709040, there are irrational (possibly even transcendental) numbers. In this paper, we prove that a formality quasi-isomorphism for Hochschild cochains of a polynomial algebra over rationals can be constructed recursively. The proof that the proposed recursive algorithm works, is based on the existence of formality quasi-isomorphism over reals. However, the algorithm requires no explicit knowledge of the coefficients entering Kontsevich's construction. Although this algorithm completely bypasses Tamarkin's approach arXiv:math/0003052, arXiv:math/9803025, the construction is inspired by Proposition 5.8 from the classical paper (Algebra i Analiz, 1990) by V. Drinfeld.

On the K-theory of planar cuspical curves and a new family of polytopes

Abstract: Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the groups of de Rham-Witt forms of the ring k. At present, the validity of the formula depends on a conjecture that concerns the combinatorial structure of a new family of polytopes that we call stunted regular cyclic polytopes. The polytopes in question appear as the intersections of regular cyclic polytopes with (certain) linear subspaces. We verify low-dimensional cases of the conjecture. This leads to unconditional new results on K_2 and K_3 which extend earlier results by Krusemeyer for K_0 and K_1.