Showing 1–23 of 23 results for author: Pennig, U

Spanier-Whitehead K-Duality and Duality of Extensions of $C^*$-algebras

Authors: Ulrich Pennig, Taro Sogabe

Abstract: KK-theory is a bivariant and homotopy-invariant functor on $C^*$-algebras that combines K-theory and K-homology. KK-groups form the morphisms in a triangulated category. Spanier-Whitehead K-Duality intertwines the homological with the cohomological side of KK-theory. Any extension of a unital $C^*$-algebra by the compacts has two natural exact triangles associated to it (the extension sequence its… ▽ More KK-theory is a bivariant and homotopy-invariant functor on $C^*$-algebras that combines K-theory and K-homology. KK-groups form the morphisms in a triangulated category. Spanier-Whitehead K-Duality intertwines the homological with the cohomological side of KK-theory. Any extension of a unital $C^*$-algebra by the compacts has two natural exact triangles associated to it (the extension sequence itself and a map** cone sequence). We find a duality (based on Spanier-Whitehead K-duality) that interchanges the roles of these two triangles together with their six-term exact sequences. This allows us to give a categorical picture for the duality of Cuntz-Krieger-Toeplitz extensions discovered by K. Matsumoto. △ Less

Submitted 29 March, 2024; originally announced March 2024.

Comments: 28 pages, 2 figures, comments are welcome!

MSC Class: 19K35; 55P25; 46M15

A survey on operator $K$-theory via homotopical algebra

Authors: Ulrich Bunke, Markus Land, Ulrich Pennig

Abstract: This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main purpose is to present, in the simplest case, homotopy theoretic arguments for classical results on operator $K$-theory, including Swan's theorems, Künneth and u… ▽ More This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main purpose is to present, in the simplest case, homotopy theoretic arguments for classical results on operator $K$-theory, including Swan's theorems, Künneth and universal coefficient formulas, the bootstrap class, variations of Karoubi's conjecture, and spectra of units for strongly self-absorbing $C^*$-algebras, as well as some new aspects on twisted $K$-theory and coherent multiplicative structures on $C^*$-algebras, viewed as objects in the previously mentioned $\infty$-category. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Comments: 46 pages

Spectral Sequence Computation of Higher Twisted $K$-Groups of $ SU(n)$

Authors: David E. Evans, Ulrich Pennig

Abstract: Motivated by the Freed-Hopkins-Teleman theorem we study equivariant higher twists of $K$-theory for the groups $G = SU(n)$ induced by exponential functors. We compute the rationalisation of these groups for all $n$ and all non-trivial functors $F$ using the Mayer-Vietoris spectral sequence. Similar to the classical case only the $K$-theory in degree $\dim(G)$ is non-trivial and the non-vanishing g… ▽ More Motivated by the Freed-Hopkins-Teleman theorem we study equivariant higher twists of $K$-theory for the groups $G = SU(n)$ induced by exponential functors. We compute the rationalisation of these groups for all $n$ and all non-trivial functors $F$ using the Mayer-Vietoris spectral sequence. Similar to the classical case only the $K$-theory in degree $\dim(G)$ is non-trivial and the non-vanishing group is a quotient of a localisation of the representation ring $R(G) \otimes \mathbb{Q}$ by a higher fusion ideal $J_{F,\mathbb{Q}}$. We give generators for this ideal and prove that these can be obtained as derivatives of a potential. △ Less

Submitted 1 July, 2023; originally announced July 2023.

Comments: 33 pages, one figure

MSC Class: 19L50; 19L47; 46L80

Computing cohomology groups that classify bundles of strongly self-absorbing $C^*$-algebras

Authors: Marius Dadarlat, James E. McClure, Ulrich Pennig

Abstract: Locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathcal{K}$ for a strongly self-absorbing $C^*$-algebra $D$ over a finite CW-complex $X$ form a group $E^1_D(X)$ that is the first group of a cohomology theory $E^*_D(X)$. In this paper we compute these groups by expressing them in terms of ordinary cohomology and connective $K$-theory. To compare the $C^*$-algebraic version of… ▽ More Locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathcal{K}$ for a strongly self-absorbing $C^*$-algebra $D$ over a finite CW-complex $X$ form a group $E^1_D(X)$ that is the first group of a cohomology theory $E^*_D(X)$. In this paper we compute these groups by expressing them in terms of ordinary cohomology and connective $K$-theory. To compare the $C^*$-algebraic version of $gl_1(KU)$ with its classical counterpart we also develop a uniqueness result for the unit spectrum of complex periodic topological $K$-theory. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Bundles of strongly self-absorbing $C^*$-algebras with a Clifford grading

Authors: Marius Dadarlat, Ulrich Pennig

Abstract: We extend our previous results on generalized Dixmier-Douady theory to graded $C^*$-algebras, as means for explicit computations of the invariants arising for bundles of ungraded $C^*$-algebras. For a strongly self-absorbing $C^*$-algebra $D$ and complex Clifford algebras $\mathbb{C}\ell_{n}$ we show that the classifying spaces of the groups of graded automorphisms… ▽ More We extend our previous results on generalized Dixmier-Douady theory to graded $C^*$-algebras, as means for explicit computations of the invariants arising for bundles of ungraded $C^*$-algebras. For a strongly self-absorbing $C^*$-algebra $D$ and complex Clifford algebras $\mathbb{C}\ell_{n}$ we show that the classifying spaces of the groups of graded automorphisms $\mathrm{Aut}_{\text{gr}}(\mathbb{C}\ell_{n}\otimes \mathcal{K }\otimes D)$ admit compatible infinite loop space structures giving rise to a cohomology theory $\hat{E}^*_D(X)$. For $D$ stably finite and $X$ a finite CW-complex, we show that the tensor product operation defines a group structure on the isomorphism classes of locally trivial bundles of graded $C^*$-algebras with fibers $ \mathbb{C}\ell_{k}\otimes D \otimes \mathcal{K}$ and that this group is isomorphic to $H^0(X,\mathbb{Z}/2)\oplus \hat{E}^1_{D}(X)$. Moreover, we establish isomorphisms $\hat{E}^1_{D}(X)\cong H^1(X;\mathbb{Z}/2) \times_{_{tw}} E^1_{D}(X)$ and $\hat{E}^1_{D}(X)\cong E^1_{D\otimes \mathcal{O}_\infty}(X)$, where $E^1_{D}(X)$ is the group that classifies the locally trivial bundles with fibers $D\otimes \mathcal{K}$. In particular $E^1_{\mathcal{O}_\infty}(X)\cong H^1(X;\mathbb{Z}/2) \times_{_{tw}} E^1_{\mathcal{Z}}(X)$ where $\mathcal{Z}$ is the Jiang-Su algebra and the multiplication on the last two factors is twisted similarly to the Brauer theory for bundles with fibers the graded compact operators on a finite and respectively infinite dimensional Hilbert space. △ Less

Submitted 28 October, 2022; originally announced October 2022.

Comments: 30 pages

Equivariant higher Dixmier-Douady Theory for circle actions on UHF-algebras

Authors: David E. Evans, Ulrich Pennig

Abstract: We develop an equivariant Dixmier-Douady theory for locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathbb{K}$ equipped with a fibrewise $\mathbb{T}$-action, where $\mathbb{T}$ denotes the circle group and $D = \operatorname{End}\left(V\right)^{\otimes \infty}$ for a $\mathbb{T}$-representation $V$. In particular, we show that the group of $\mathbb{T}$-equivariant $*$-automorphism… ▽ More We develop an equivariant Dixmier-Douady theory for locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathbb{K}$ equipped with a fibrewise $\mathbb{T}$-action, where $\mathbb{T}$ denotes the circle group and $D = \operatorname{End}\left(V\right)^{\otimes \infty}$ for a $\mathbb{T}$-representation $V$. In particular, we show that the group of $\mathbb{T}$-equivariant $*$-automorphisms $\operatorname{Aut}_{\mathbb{T}}(D \otimes \mathbb{K})$ is an infinite loop space giving rise to a cohomology theory $E^*_{D,\mathbb{T}}(X)$. Isomorphism classes of equivariant bundles then form a group with respect to the fibrewise tensor product that is isomorphic to $E^1_{D,\mathbb{T}}(X) \cong [X, B\operatorname{Aut}_{\mathbb{T}}(D \otimes \mathbb{K})]$. We compute this group for tori and compare the case $D = \mathbb{C}$ to the equivariant Brauer group for trivial actions on the base space. △ Less

Submitted 23 November, 2023; v1 submitted 31 January, 2022; originally announced January 2022.

Comments: 37 pages, published version (except for a typo in the description of the order structure on page 19 and the proof of Lemma 3.5, which was fixed after publication, and did not change the main result)

MSC Class: 46L35; 46M20; 55N20

Journal ref: Adv. Math., Vol. 410 (2022), 108745

Interleaving Mayer-Vietoris spectral sequences

Authors: Álvaro Torras, Ulrich Pennig

Abstract: We discuss the Mayer-Vietoris spectral sequence as an invariant in the context of persistent homology. In particular, we introduce the notion of $\varepsilon$-acyclic carriers and $\varepsilon$-acyclic equivalences between filtered regular CW-complexes and study stability conditions for the associated spectral sequences. We also look at the Mayer-Vietoris blowup complex and the geometric realizati… ▽ More We discuss the Mayer-Vietoris spectral sequence as an invariant in the context of persistent homology. In particular, we introduce the notion of $\varepsilon$-acyclic carriers and $\varepsilon$-acyclic equivalences between filtered regular CW-complexes and study stability conditions for the associated spectral sequences. We also look at the Mayer-Vietoris blowup complex and the geometric realization, finding stability properties under compatible noise; as a result we prove a version of an approximate nerve theorem. Adapting work by Serre we find conditions under which $\varepsilon$-interleavings exist between the spectral sequences associated to two different covers. △ Less

Submitted 10 May, 2021; v1 submitted 7 May, 2021; originally announced May 2021.

Comments: 33 pages, 9 figures. Fixed typo in acknowledgements section

MSC Class: 55T; 18; 55N31

Equivariant higher twisted K-theory of SU(n) for exponential functor twists

Authors: David E. Evans, Ulrich Pennig

Abstract: We prove that each exponential functor on the category of finite-dimensional complex inner product spaces and isomorphisms gives rise to an equivariant higher (ie. non-classical) twist of $K$-theory over $G=SU(n)$. This twist is represented by a Fell bundle $\mathcal{E} \to \mathcal{G}$, which reduces to the basic gerbe for the top exterior power functor. The groupoid $\mathcal{G}$ comes equipped… ▽ More We prove that each exponential functor on the category of finite-dimensional complex inner product spaces and isomorphisms gives rise to an equivariant higher (ie. non-classical) twist of $K$-theory over $G=SU(n)$. This twist is represented by a Fell bundle $\mathcal{E} \to \mathcal{G}$, which reduces to the basic gerbe for the top exterior power functor. The groupoid $\mathcal{G}$ comes equipped with a $G$-action and an augmentation map $\mathcal{G} \to G$, that is an equivariant equivalence. The $C^*$-algebra $C^*(\mathcal{E})$ associated to $\mathcal{E}$ is stably isomorphic to the section algebra of a locally trivial bundle with stabilised strongly self-absorbing fibres. Using a version of the Mayer-Vietoris spectral sequence we compute the equivariant higher twisted $K$-groups $K^G_*(C^*(\mathcal{E}))$ for arbitrary exponential functor twists over $SU(2)$, and also over $SU(3)$ after rationalisation. △ Less

Submitted 27 June, 2022; v1 submitted 19 June, 2019; originally announced June 2019.

Comments: 54 pages, 6 figures

MSC Class: 19L50; 19L47; 46L80

Journal ref: Journal of Topology, 15 (2022), pp. 896-949

Exponential Functors, R-Matrices and Twists

Authors: Ulrich Pennig

Abstract: In this paper we show that each polynomial exponential functor on complex finite-dimensional inner product spaces is defined up to equivalence of monoidal functors by an involutive solution to the Yang-Baxter equation (an involutive $R$-matrix), which determines an extremal character on $S_{\infty}$. These characters are classified by Thoma parameters, and Thoma parameters resulting from polynomia… ▽ More In this paper we show that each polynomial exponential functor on complex finite-dimensional inner product spaces is defined up to equivalence of monoidal functors by an involutive solution to the Yang-Baxter equation (an involutive $R$-matrix), which determines an extremal character on $S_{\infty}$. These characters are classified by Thoma parameters, and Thoma parameters resulting from polynomial exponential functors are of a special kind. Moreover, we show that each $R$-matrix with Thoma parameters of this kind yield a corresponding polynomial exponential functor. In the second part of the paper we use these functors to construct a higher twist over $SU(n)$ for a localisation of $K$-theory that generalises the one given by the basic gerbe. We compute the indecomposable part of the rational characteristic classes of these twists in terms of the Thoma parameters of their $R$-matrices. △ Less

Submitted 25 September, 2019; v1 submitted 16 April, 2018; originally announced April 2018.

Comments: 40 pages (fixed a mistake in Sec. 3.2, which does not affect the main result of the paper, Lemma 3.3 has been isolated and moved to an appendix, this agrees (up to minor layout changes) with the version accepted for publication)

MSC Class: 19L50; 55N15

Journal ref: Algebr. Geom. Topol. 20 (2020) 1279-1324

Yang-Baxter representations of the infinite symmetric group

Authors: Gandalf Lechner, Ulrich Pennig, Simon Wood

Abstract: Every unitary involutive solution of the quantum Yang-Baxter equation ("R-matrix") defines an extremal character and a representation of the infinite symmetric group $S_\infty$. We give a complete classification of all such Yang-Baxter characters and determine which extremal characters of $S_\infty$ are of Yang-Baxter form. Calling two involutive R-matrices equivalent if they have the same chara… ▽ More Every unitary involutive solution of the quantum Yang-Baxter equation ("R-matrix") defines an extremal character and a representation of the infinite symmetric group $S_\infty$. We give a complete classification of all such Yang-Baxter characters and determine which extremal characters of $S_\infty$ are of Yang-Baxter form. Calling two involutive R-matrices equivalent if they have the same character and the same dimension, we show that equivalence classes are classified by pairs of Young diagrams, and construct an explicit normal form R-matrix for each class. Using operator-algebraic techniques (subfactors), we prove that two R-matrices are equivalent if and only if they have similar partial traces. Furthermore, we describe the algebraic structure of the equivalence classes of all involutive R-matrices, and discuss several classes of examples. These include unitary Yang-Baxter representations of the Temperley-Lieb algebra at loop parameter $δ=2$, which can be completely classified in terms of their rank and dimension. △ Less

Submitted 5 August, 2019; v1 submitted 1 July, 2017; originally announced July 2017.

Comments: 36 pages, 1 figure. Slightly revised in order to comply with accepted journal version

MSC Class: 16T25; 20C32; 46L37

Journal ref: Adv. Math., Vol. 355, 2019, 106769

Connective C*-algebras

Authors: Marius Dadarlat, Ulrich Pennig

Abstract: Connectivity is a homotopy invariant property of separable C*-algebras which has three notable consequences: absence of nontrivial projections, quasidiagonality and a more geometric realization of KK-theory for nuclear C*-algebras using asymptotic morphisms. The purpose of this paper is to further explore the class of connective C*-algebras. We give new characterizations of connectivity for exact… ▽ More Connectivity is a homotopy invariant property of separable C*-algebras which has three notable consequences: absence of nontrivial projections, quasidiagonality and a more geometric realization of KK-theory for nuclear C*-algebras using asymptotic morphisms. The purpose of this paper is to further explore the class of connective C*-algebras. We give new characterizations of connectivity for exact and for nuclear separable C*-algebras and show that an extension of connective separable nuclear C*-algebras is connective. We establish connectivity or lack of connectivity for C*-algebras associated to certain classes of groups: virtually abelian groups, linear connected nilpotent Lie groups and linear connected semisimple Lie groups. △ Less

Submitted 13 May, 2019; v1 submitted 29 September, 2016; originally announced September 2016.

Comments: 26 pages. A glitch in Definition 2.9 is corrected

Journal ref: Journal of Functional Analysis Volume 272, Issue 12, 15 June 2017, Pages 4919-4943

Deformations of Wreath Products

Authors: Marius Dadarlat, Ulrich Pennig, Andrew Schneider

Abstract: Connectivity is a homotopy invariant property of a separable C*-algebra A which has three important consequences: absence of nontrivial projections, quasidiagonality and realization of the Kasparov group KK(A,B) as homotopy classes of asymptotic morphisms from A to the stabilization of B if A is nuclear. Here we give a new characterization of connectivity for separable exact C*-algebras and use th… ▽ More Connectivity is a homotopy invariant property of a separable C*-algebra A which has three important consequences: absence of nontrivial projections, quasidiagonality and realization of the Kasparov group KK(A,B) as homotopy classes of asymptotic morphisms from A to the stabilization of B if A is nuclear. Here we give a new characterization of connectivity for separable exact C*-algebras and use this characterization to show that the class of discrete countable amenable groups whose augmentation ideals are connective is closed under generalized wreath products. In a related circle of ideas, we give a result on quasidiagonality of reduced crossed-product C*-algebras associated to noncommutative Bernoulli actions. △ Less

Submitted 2 September, 2016; originally announced September 2016.

MSC Class: 46L80; 19K99

Journal ref: Bull. London Math. Soc., Vol. 49, Issue 1, 2017

Locally Trivial W*-Bundles

Authors: Samuel Evington, Ulrich Pennig

Abstract: We prove that a tracially continuous W$^*$-bundle $\mathcal{M}$ over a compact Hausdorff space $X$ with all fibres isomorphic to the hyperfinite II$_1$-factor $\mathcal{R}$ that is locally trivial already has to be globally trivial. The proof uses the contractibility of the automorphism group $\mathrm{Aut}({\mathcal{R}})$ shown by Popa and Takesaki. There is no restriction on the covering dimensio… ▽ More We prove that a tracially continuous W$^*$-bundle $\mathcal{M}$ over a compact Hausdorff space $X$ with all fibres isomorphic to the hyperfinite II$_1$-factor $\mathcal{R}$ that is locally trivial already has to be globally trivial. The proof uses the contractibility of the automorphism group $\mathrm{Aut}({\mathcal{R}})$ shown by Popa and Takesaki. There is no restriction on the covering dimension of $X$. △ Less

Submitted 9 October, 2016; v1 submitted 22 January, 2016; originally announced January 2016.

Comments: 20 pages, this version will be published in the International Journal of Mathematics

Report number: SOAR-GMJT-01 MSC Class: 46L35

Journal ref: Int. J. Math. (2016), Vol. 27, Issue 11

Deformations of nilpotent groups and homotopy symmetric $C^*$-algebras

Authors: Marius Dadarlat, Ulrich Pennig

Abstract: The homotopy symmetric $C^*$-algebras are those separable $C^*$-algebras for which one can unsuspend in E-theory. We find a new simple condition that characterizes homotopy symmetric nuclear $C^*$-algebras and use it to show that the property of being homotopy symmetric passes to nuclear $C^*$-subalgebras and it has a number of other significant permanence properties. As an application, we show… ▽ More The homotopy symmetric $C^*$-algebras are those separable $C^*$-algebras for which one can unsuspend in E-theory. We find a new simple condition that characterizes homotopy symmetric nuclear $C^*$-algebras and use it to show that the property of being homotopy symmetric passes to nuclear $C^*$-subalgebras and it has a number of other significant permanence properties. As an application, we show that if $I(G)$ is the kernel of the trivial representation $ι:C^*(G)\to \mathbb{C}$ for a countable discrete torsion free nilpotent group $G$, then $I(G)$ is homotopy symmetric and hence the Kasparov group $KK(I(G),B)$ can be realized as the homotopy classes of asymptotic morphisms $[[I(G),B \otimes \mathcal{K}]]$ for any separable $C^*$-algebra $B$. △ Less

Submitted 25 September, 2015; originally announced September 2015.

Comments: 13p

MSC Class: 46L80; 19K99

Journal ref: Math. Ann. 2016

Crossed module actions on continuous trace $C^*$-algebras

Authors: Ralf Meyer, Ulrich Pennig

Abstract: We lift an action of a torus $\mathbb{T}^n$ on the spectrum of a continuous trace algebra to an action of a certain crossed module of Lie groups that is an extension of $\mathbb{R}^n$. We compute equivariant Brauer and Picard groups for this crossed module and describe the obstruction to the existence of an action of $\mathbb{R}^n$ in our framework. We lift an action of a torus $\mathbb{T}^n$ on the spectrum of a continuous trace algebra to an action of a certain crossed module of Lie groups that is an extension of $\mathbb{R}^n$. We compute equivariant Brauer and Picard groups for this crossed module and describe the obstruction to the existence of an action of $\mathbb{R}^n$ in our framework. △ Less

Submitted 3 March, 2016; v1 submitted 3 June, 2015; originally announced June 2015.

Comments: 27 pages, added background material about T-Duality, added references, extended section about non-associative C*-algebras

MSC Class: 58B34; 46L60

Journal ref: Comm. Math. Phys. 346, p. 115-142 (2016)

A noncommutative model for higher twisted K-Theory

Authors: Ulrich Pennig

Abstract: We develop a operator algebraic model for twisted $K$-theory, which includes the most general twistings as a generalized cohomology theory (i.e. all those classified by the unit spectrum $bgl_1(KU)$). Our model is based on strongly self-absorbing $C^*$-algebras. We compare it with the known homotopy theoretic descriptions in the literature, which either use parametrized stable homotopy theory or… ▽ More We develop a operator algebraic model for twisted $K$-theory, which includes the most general twistings as a generalized cohomology theory (i.e. all those classified by the unit spectrum $bgl_1(KU)$). Our model is based on strongly self-absorbing $C^*$-algebras. We compare it with the known homotopy theoretic descriptions in the literature, which either use parametrized stable homotopy theory or $\infty$-categories. We derive a similar comparison of analytic twisted $K$-homology with its topological counterpart based on generalized Thom spectra. Our model also works for twisted versions of localizations of the $K$-theory spectrum, like $KU[1/n]$ or $KU_{\mathbb{Q}}$. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 28 pages

MSC Class: 46L80

Journal ref: J Topology (2016) 9 (1): 27-50

A Dixmier-Douady Theory for strongly self-absorbing C*-algebras II: the Brauer group

Authors: Marius Dadarlat, Ulrich Pennig

Abstract: We have previously shown that the isomorphism classes of orientable locally trivial fields of $C^*$-algebras over a compact metrizable space $X$ with fiber $D\otimes \mathbb{K}$, where $D$ is a strongly self-absorbing $C^*$-algebra, form an abelian group under the operation of tensor product. Moreover this group is isomorphic to the first group $\bar{E}^1_D(X)$ of the (reduced) generalized cohomol… ▽ More We have previously shown that the isomorphism classes of orientable locally trivial fields of $C^*$-algebras over a compact metrizable space $X$ with fiber $D\otimes \mathbb{K}$, where $D$ is a strongly self-absorbing $C^*$-algebra, form an abelian group under the operation of tensor product. Moreover this group is isomorphic to the first group $\bar{E}^1_D(X)$ of the (reduced) generalized cohomology theory associated to the unit spectrum of topological K-theory with coefficients in $D$. Here we show that all the torsion elements of the group $\bar{E}^1_D(X)$ arise from locally trivial fields with fiber $D \otimes M_n(\mathbb{C})$, $n\geq 1$, for all known examples of strongly self-absorbing $C^*$-algebras $D$. Moreover the Brauer group generated by locally trivial fields with fiber $D\otimes M_n(\mathbb{C})$, $n\geq 1$ is isomorphic to ${\rm Tor}(\bar{E}^1_D(X))$. △ Less

Submitted 3 September, 2015; v1 submitted 5 March, 2014; originally announced March 2014.

Comments: 14 pages, this version agrees with the one that will be published in the Journal of Noncommutative Geometry

Journal ref: J. Noncommut. Geom. 9 (2015), no. 4, 1137-1154

Unit spectra of K-theory from strongly self-absorbing C*-algebras

Authors: Marius Dadarlat, Ulrich Pennig

Abstract: We give an operator algebraic model for the first group of the unit spectrum $gl_1(KU)$ of complex topological K-theory, i.e. $[X, BGL_1(KU)]$, by bundles of stabilized infinite Cuntz C*-algebras $O_{\infty} \otimes \K$. We develop similar models for the localizations of $KU$ at a prime $p$ and away from $p$. Our work is based on the $\mathcal{I}$-monoid model for the units of $K$-theory by Sagave… ▽ More We give an operator algebraic model for the first group of the unit spectrum $gl_1(KU)$ of complex topological K-theory, i.e. $[X, BGL_1(KU)]$, by bundles of stabilized infinite Cuntz C*-algebras $O_{\infty} \otimes \K$. We develop similar models for the localizations of $KU$ at a prime $p$ and away from $p$. Our work is based on the $\mathcal{I}$-monoid model for the units of $K$-theory by Sagave and Schlichtkrull and it was motivated by the goal of finding connections between the infinite loop space structure of the classifying space of the automorphism group of stabilized strongly self-absorbing C*-algebras that arose in our generalization of the Dixmier-Douady theory and classical spectra from algebraic topology. △ Less

Submitted 11 June, 2013; originally announced June 2013.

Comments: 25 pages

MSC Class: 55N15 55P42 46L80

Journal ref: Algebr. Geom. Topol. 15 (2015) 137-168

A Dixmier-Douady theory for strongly self-absorbing C*-algebras

Authors: Marius Dadarlat, Ulrich Pennig

Abstract: We show that the Dixmier-Douady theory of continuous field $C^*$-algebras with compact operators $\mathbb{K}$ as fibers extends significantly to a more general theory of fields with fibers $A\otimes \mathbb{K}$ where $A$ is a strongly self-absorbing C*-algebra. The classification of the corresponding locally trivial fields involves a generalized cohomology theory which is computable via the Atiyah… ▽ More We show that the Dixmier-Douady theory of continuous field $C^*$-algebras with compact operators $\mathbb{K}$ as fibers extends significantly to a more general theory of fields with fibers $A\otimes \mathbb{K}$ where $A$ is a strongly self-absorbing C*-algebra. The classification of the corresponding locally trivial fields involves a generalized cohomology theory which is computable via the Atiyah-Hirzebruch spectral sequence. An important feature of the general theory is the appearance of characteristic classes in higher dimensions. We also give a necessary and sufficient $K$-theoretical condition for local triviality of these continuous fields over spaces of finite covering dimension. △ Less

Submitted 3 September, 2015; v1 submitted 18 February, 2013; originally announced February 2013.

Comments: 26p, this version agrees with the one published in J. Reine Angew. Math. except for a minor correction and an extension of Corollary 4.8, both of which were done after publication

Journal ref: J. Reine Angew. Math. 718 (2016), pp. 153-181

Twisted K-theory and obstructions against positive scalar curvature metrics

Authors: Ulrich Pennig

Abstract: We decompose the twisted index obstruction $θ(M)$ against positive scalar curvature metrics for oriented manifolds with spin universal cover into a pairing of a twisted $K$-homology with a twisted $K$-theory class and prove that $θ(M)$ does not vanish if $M$ is an orientable enlargeable manifold with spin universal cover. We decompose the twisted index obstruction $θ(M)$ against positive scalar curvature metrics for oriented manifolds with spin universal cover into a pairing of a twisted $K$-homology with a twisted $K$-theory class and prove that $θ(M)$ does not vanish if $M$ is an orientable enlargeable manifold with spin universal cover. △ Less

Submitted 17 June, 2013; v1 submitted 18 August, 2011; originally announced August 2011.

Comments: 21 pages (drastically streamlined with focus on the proof of the non-vanishing result)

MSC Class: 19L50

Journal ref: J. K-Theory 14 (2014), 47 - 71

Twisted K-theory with coefficients in C*-algebras

Authors: Ulrich Pennig

Abstract: We introduce a twisted version of $K$-theory with coefficients in a $C^*$-algebra $A$, where the twist is given by a new kind of gerbe, which we call Morita bundle gerbe. We use the description of twisted $K$-theory in the torsion case by bundle gerbe modules as a guideline for our noncommutative generalization. As it turns out, there is an analogue of the Dixmier-Douady class living in a nonabeli… ▽ More We introduce a twisted version of $K$-theory with coefficients in a $C^*$-algebra $A$, where the twist is given by a new kind of gerbe, which we call Morita bundle gerbe. We use the description of twisted $K$-theory in the torsion case by bundle gerbe modules as a guideline for our noncommutative generalization. As it turns out, there is an analogue of the Dixmier-Douady class living in a nonabelian cohomology set and we give a description of the latter via stable equivalence classes of our gerbes. We also define the analogue of torsion elements inside this set and extend the description of twisted $K$-theory in terms of modules over these gerbes. In case $A$ is the infinite Cuntz algebra, this may lead to an interpretation of higher twists for $K$-theory. △ Less

Submitted 21 March, 2011; originally announced March 2011.

Quasi-multipliers of Hilbert and Banach C*-bimodules

Authors: Alexander Pavlov, Ulrich Pennig, Thomas Schick

Abstract: Quasi-multipliers for a Hilbert C*-bimodule V were introduced by Brown, Mingo and Shen 1994 as a certain subset of the Banach bidual module V**. We give another (equivalent) definition of quasi-multipliers for Hilbert C*-bimodules using the centralizer approach and then show that quasi-multipliers are, in fact, universal (maximal) objects of a certain category. We also introduce quasi-multiplier… ▽ More Quasi-multipliers for a Hilbert C*-bimodule V were introduced by Brown, Mingo and Shen 1994 as a certain subset of the Banach bidual module V**. We give another (equivalent) definition of quasi-multipliers for Hilbert C*-bimodules using the centralizer approach and then show that quasi-multipliers are, in fact, universal (maximal) objects of a certain category. We also introduce quasi-multipliers for bimodules in Kasparov's sense and even for Banach bimodules over C*-algebras, provided these C*-algebras act non-degenerately. A topological picture of quasi-multipliers via the quasi-strict topology is given. Finally, we describe quasi-multipliers in two main situations: for the standard Hilbert bimodule l_2(A) and for bimodules of sections of Hilbert C*-bimodule bundles over locally compact spaces. △ Less

Submitted 14 May, 2010; v1 submitted 20 February, 2010; originally announced February 2010.

Comments: 19 pages v2: to appear in Math. Scand., small glitches in one example and with formulation of definition corrected

Journal ref: Math. Scand. 109(1), 71-92 (2011)

The classification of non-local chiral CFT with c<1

Authors: Y. Kawahigashi, R. Longo, U. Pennig, K. -H. Rehren

Abstract: All non-local but relatively local irreducible extensions of Virasoro chiral CFTs with c<1 are classified. The classification, which is a prerequisite for the classification of local c<1 boundary CFTs on a two-dimensional half-space, turns out to be 1 to 1 with certain pairs of A-D-E graphs with distinguished vertices. All non-local but relatively local irreducible extensions of Virasoro chiral CFTs with c<1 are classified. The classification, which is a prerequisite for the classification of local c<1 boundary CFTs on a two-dimensional half-space, turns out to be 1 to 1 with certain pairs of A-D-E graphs with distinguished vertices. △ Less

Submitted 31 July, 2006; v1 submitted 8 May, 2005; originally announced May 2005.

Comments: 13 pages. v3: additional material (concerning the Hilbert spaces) added

MSC Class: 81R15; 81T05; 81T40

Journal ref: Commun.Math.Phys.271:375-385,2007