Showing 1–19 of 19 results for author: Burgstaller, B

Corner embeddings into algebras of compact operators in $K$-theory

Authors: Bernhard Burgstaller

Abstract: We show that in $K$-theory-like categories many corner embeddings into a discrete algebra of compact operators are invertible, and consequently functors on splitexact algebraic $KK$-theory are faithful if and only if they are faithful on the subcategory generated by the homomorphisms. We show that in $K$-theory-like categories many corner embeddings into a discrete algebra of compact operators are invertible, and consequently functors on splitexact algebraic $KK$-theory are faithful if and only if they are faithful on the subcategory generated by the homomorphisms. △ Less

Submitted 20 January, 2025; originally announced January 2025.

MSC Class: 16D10; 16D40; 19A13; 55P10; 19K35

On the $K$-theory in splitexact algebraic $KK$-theory

Authors: Bernhard Burgstaller

Abstract: It is proven that in the universal splitexact equivariant algebraic $KK$-theory for algebras, the $K$-theory groups coincide with classical $K$-theory in the sense of Phillips. This partially answers a question raised by Kasparov. It is proven that in the universal splitexact equivariant algebraic $KK$-theory for algebras, the $K$-theory groups coincide with classical $K$-theory in the sense of Phillips. This partially answers a question raised by Kasparov. △ Less

Submitted 5 October, 2024; originally announced October 2024.

MSC Class: 19K35; 19A49; 19L47

Information content in formal languages

Authors: Bernhard Burgstaller

Abstract: Motivated by creating physical theories, formal languages $S$ with variables are considered and a kind of distance between elements of the languages is defined by the formula $d(x,y)= \ell(x \nabla y) - \ell(x) \wedge \ell(y)$, where $\ell$ is a length function and $x \nabla y$ means the united theory of $x$ and $y$. Actually we mainly consider abstract abelian idempotent monoids $(S,\nabla)$ prov… ▽ More Motivated by creating physical theories, formal languages $S$ with variables are considered and a kind of distance between elements of the languages is defined by the formula $d(x,y)= \ell(x \nabla y) - \ell(x) \wedge \ell(y)$, where $\ell$ is a length function and $x \nabla y$ means the united theory of $x$ and $y$. Actually we mainly consider abstract abelian idempotent monoids $(S,\nabla)$ provided with length functions $\ell$. The set of length functions can be projected to another set of length functions such that the distance $d$ is actually a pseudometric and satisfies $d(x\nabla a,y\nabla b) \le d(x,y) + d(a,b)$. We also propose a "signed measure" on the set of Boolean expressions of elements in $S$, and a Banach-Mazur-like distance between abelian, idempotent monoids with length functions, or formal languages. △ Less

Submitted 16 November, 2023; v1 submitted 11 September, 2022; originally announced September 2022.

Comments: Content is completely unchanged, but explanatory text is inserted between lemmas, theorems and proofs for better understandability of the paper

MSC Class: 94A17; 06E75; 06F05; 68Q45; 94-04 ACM Class: F.4.3; H.1.1; F.1.3; E.4

A kind of $KK$-theory for rings

Authors: Bernhard Burgstaller

Abstract: A group equivariant $KK$-theory for rings will be defined and studied in analogy to Kasparov's $KK$-theory for $C^*$-algebras. It is a kind of linearization of the category of rings by allowing addition of homomorphisms, imposing also homotopy invariance, invertibility of matrix corner embeddings, and allowing morphisms which are the opposite split of split exact sequences. We demonstrate the pote… ▽ More A group equivariant $KK$-theory for rings will be defined and studied in analogy to Kasparov's $KK$-theory for $C^*$-algebras. It is a kind of linearization of the category of rings by allowing addition of homomorphisms, imposing also homotopy invariance, invertibility of matrix corner embeddings, and allowing morphisms which are the opposite split of split exact sequences. We demonstrate the potential of this theory by proving for example equivalence induced by Morita equivalence and a Green-Julg isomorphism in this framework. △ Less

Submitted 4 July, 2021; originally announced July 2021.

MSC Class: 19K35; 16B50

Aspects of equivariant $KK$-theory in its generators and relations picture

Authors: Bernhard Burgstaller

Abstract: We give a new proof of the universal property of $KK^G$-theory with respect to stability, homotopy invariance and split-exactness for $G$ a locally compact group, or a locally compact (not necessarily Hausdorff) groupoid, or a countable inverse semigroup which is relatively short and conceptual. Morphisms in the generators and relations picture of $KK^G$-theory are brought to a particular simple f… ▽ More We give a new proof of the universal property of $KK^G$-theory with respect to stability, homotopy invariance and split-exactness for $G$ a locally compact group, or a locally compact (not necessarily Hausdorff) groupoid, or a countable inverse semigroup which is relatively short and conceptual. Morphisms in the generators and relations picture of $KK^G$-theory are brought to a particular simple form. △ Less

Submitted 6 December, 2019; originally announced December 2019.

Some remarks in $C^*$- and $K$-theory

Authors: Bernhard Burgstaller

Abstract: This note consists of three unrelated remarks. First, we demonstrate how roughly speaking $*$-homomorphisms between matrix stable $C^*$-algebras are exactly the uniformly continuous $*$-preserving group homomorphisms between their genral linear groups. Second, using the Cuntz picture in $KK$-theory we bring morphisms in $KK$-theory represented by generators and relations to a particular simple for… ▽ More This note consists of three unrelated remarks. First, we demonstrate how roughly speaking $*$-homomorphisms between matrix stable $C^*$-algebras are exactly the uniformly continuous $*$-preserving group homomorphisms between their genral linear groups. Second, using the Cuntz picture in $KK$-theory we bring morphisms in $KK$-theory represented by generators and relations to a particular simple form. Third, we show that for an inverse semigroup its associated groupoid is Hausdorff if and only if the inverse semigroup is $E$-continuous. △ Less

Submitted 9 May, 2019; originally announced May 2019.

MSC Class: 46L05; 19K35; 20M18

Semigroup homomorphisms on matrix algebras

Authors: Bernhard Burgstaller

Abstract: We explore the connection between ring homomorphisms and semigroup homomorphisms on matrix algebras over rings or $C^*$-algebras. We explore the connection between ring homomorphisms and semigroup homomorphisms on matrix algebras over rings or $C^*$-algebras. △ Less

Submitted 23 January, 2017; originally announced January 2017.

MSC Class: 20M25; 46L05

A note on a certain Baum--Connes map for inverse semigroups

Authors: Bernhard Burgstaller

Abstract: Let $G$ denote a countable inverse semigroup. We construct a kind of a Baum--Connes map $K(\tilde A \rtimes G) \rightarrow K(A \rtimes G)$ by a categorial approach via localization of triangulated categories, developed by R. Meyer and R. Nest for groups $G$. We allow the coefficient algebras $A$ to be in a special class of algebras called fibered $G$-algebras. This note continues and fixes our pre… ▽ More Let $G$ denote a countable inverse semigroup. We construct a kind of a Baum--Connes map $K(\tilde A \rtimes G) \rightarrow K(A \rtimes G)$ by a categorial approach via localization of triangulated categories, developed by R. Meyer and R. Nest for groups $G$. We allow the coefficient algebras $A$ to be in a special class of algebras called fibered $G$-algebras. This note continues and fixes our preprint "Attempts to define a Baum--Connes map via localization of categories for inverse semigroups". △ Less

Submitted 7 September, 2016; originally announced September 2016.

MSC Class: 19K35; 20M18; 46L80; 46L55

The generators and relations picture of $KK$-theory

Authors: Bernhard Burgstaller

Abstract: This is half an overview article since what we describe here is essentially known. We describe $KK$-theory by generators and relations in a formal sum of formal products of $*$-homomorphisms and some synthetical morphisms. What comes out is a category. The Kasparov product is then just the composition of morphisms. This description may be interesting to anyone who wants a quick and elementary defi… ▽ More This is half an overview article since what we describe here is essentially known. We describe $KK$-theory by generators and relations in a formal sum of formal products of $*$-homomorphisms and some synthetical morphisms. What comes out is a category. The Kasparov product is then just the composition of morphisms. This description may be interesting to anyone who wants a quick and elementary definition of $KK$-theory. The description could also be used for other categories of algebras than $C^*$-algebras endowed with group actions, for example, $C^*$-algebras equipped with an action by a semigroup, a category et cetera. △ Less

Submitted 1 September, 2016; v1 submitted 9 February, 2016; originally announced February 2016.

Comments: Minor typos corrections. Proof of Section 5 simplified. Section 5 newly written

MSC Class: 19K35; 46L80

Inverse semigroup equivariant $KK$-theory and $C^*$-extensions

Authors: Bernhard Burgstaller

Abstract: In this note we extend the classical result by G. G. Kasparov that the Kasparov groups $KK_1(A,B)$ can be identified with the extension groups $\mbox{Ext}(A,B)$ to the inverse semigroup equivariant setting. More precisely, we show that $KK_G^1(A,B) \cong \mbox{Ext}_G(A \otimes {\cal K}_G,B \otimes {\cal K}_G)$ for every countable, $E$-continuous inverse semigroup $G$. For locally compact second co… ▽ More In this note we extend the classical result by G. G. Kasparov that the Kasparov groups $KK_1(A,B)$ can be identified with the extension groups $\mbox{Ext}(A,B)$ to the inverse semigroup equivariant setting. More precisely, we show that $KK_G^1(A,B) \cong \mbox{Ext}_G(A \otimes {\cal K}_G,B \otimes {\cal K}_G)$ for every countable, $E$-continuous inverse semigroup $G$. For locally compact second countable groups $G$ this was proved by K. Thomsen, and technically this note presents an adaption of his proof. △ Less

Submitted 12 August, 2015; originally announced August 2015.

MSC Class: 19K35; 20M18; 19K33

Attempts to define a Baum--Connes map via localization of categories for inverse semigroups

Authors: Bernhard Burgstaller

Abstract: Meyer and Nest showed that the Baum--Connes map is equivalent to a map on $K$-theory of two different crossed products. This approach is strongly categorial in method since its bases is to regard Kasparov's theory $KK^G$ as a triangulated category. We have tried to translate this approach to the realm of inverse semigroup equivariant $C^*$-algebras but can prove the existence of a Baum--Connes map… ▽ More Meyer and Nest showed that the Baum--Connes map is equivalent to a map on $K$-theory of two different crossed products. This approach is strongly categorial in method since its bases is to regard Kasparov's theory $KK^G$ as a triangulated category. We have tried to translate this approach to the realm of inverse semigroup equivariant $C^*$-algebras but can prove the existence of a Baum--Connes map only under some unverified additional assumptions which we however strongly motivate. Some of our results may be of independent interest, for example Bott periodicity, the definition of induction functors, the definition of a completely novel compatible $L^2(G)$-space, a Cuntz picture of $KK^G$, and the verification that $KK^G$ is a triangulated category. △ Less

Submitted 12 July, 2017; v1 submitted 28 June, 2015; originally announced June 2015.

Comments: The last section was split up in three sections and the theory there was somewhat strengthened by providing a Baum-Connes map under unverified but motivated assumptions

MSC Class: 19K35; 20M18; 18E30; 46L55

An elementary Green imprimitivity theorem for inverse semigroups

Authors: Bernhard Burgstaller

Abstract: A Morita equivalence similar to that found by Green for crossed products by groups will be established for crossed products by inverse semigroups. More precisely, let $G$ be an inverse semigroup, $H$ a finite sub-inverse semigroup of $G$ and $A$ a $G$-algebra or a $H$-algebra. Then the crossed product $A \rtimes H$ is Morita equivalent to a certain crossed product $B \rtimes G$. A Morita equivalence similar to that found by Green for crossed products by groups will be established for crossed products by inverse semigroups. More precisely, let $G$ be an inverse semigroup, $H$ a finite sub-inverse semigroup of $G$ and $A$ a $G$-algebra or a $H$-algebra. Then the crossed product $A \rtimes H$ is Morita equivalent to a certain crossed product $B \rtimes G$. △ Less

Submitted 12 July, 2017; v1 submitted 7 May, 2014; originally announced May 2014.

Comments: Unchanged but the structure was improved and standardized

MSC Class: 46L55; 20M18; 46L08

The universal property of inverse semigroup equivariant $KK$-theory

Authors: Bernhard Burgstaller

Abstract: Higson proved that every homotopy invariant, stable and split exact functor from the category of $C^*$-algebras to an additive category factors through Kasparov's $KK$-theory. By adapting a group equivariant generalization of this result by Thomsen, we generalize Higson's result to the inverse semigroup equivariant setting. Higson proved that every homotopy invariant, stable and split exact functor from the category of $C^*$-algebras to an additive category factors through Kasparov's $KK$-theory. By adapting a group equivariant generalization of this result by Thomsen, we generalize Higson's result to the inverse semigroup equivariant setting. △ Less

Submitted 12 May, 2017; v1 submitted 7 May, 2014; originally announced May 2014.

Comments: Content is unchanged. Paper is however now self-contained

MSC Class: 19K35; 20M18

A Green--Julg isomorphism for inverse semigroups

Authors: Bernhard Burgstaller

Abstract: For every finite unital inverse semigroup $S$ and $S$-$C^*$-algebra $A$ we establish an isomorphism between $KK^S(\mathbb{C},A)$ and $K(A \rtimes S)$. This extends the classical Green--Julg isomorphism from finite groups to finite inverse semigroups. For every finite unital inverse semigroup $S$ and $S$-$C^*$-algebra $A$ we establish an isomorphism between $KK^S(\mathbb{C},A)$ and $K(A \rtimes S)$. This extends the classical Green--Julg isomorphism from finite groups to finite inverse semigroups. △ Less

Submitted 7 May, 2014; originally announced May 2014.

Comments: polished version of a preprint from April 17, 2010

MSC Class: 19K35; 20M18; 46L55; 46L80

Equivariant $KK$-theory of $r$-discrete groupoids and inverse semigroups

Authors: Bernhard Burgstaller

Abstract: For an $r$-discrete Hausdorff groupoid ${\cal G}$ and an inverse semigroup $S$ of slices of ${\cal G}$ there is an isomorphism between ${\cal G}$-equivariant $KK$-theory and compatible $S$-equivariant $KK$-theory. We use it to define descent homomorphisms for $S$, and indicate a Baum--Connes map for inverse semigroups. Also findings by Khoshkam and Skandalis for crossed products by inverse semigro… ▽ More For an $r$-discrete Hausdorff groupoid ${\cal G}$ and an inverse semigroup $S$ of slices of ${\cal G}$ there is an isomorphism between ${\cal G}$-equivariant $KK$-theory and compatible $S$-equivariant $KK$-theory. We use it to define descent homomorphisms for $S$, and indicate a Baum--Connes map for inverse semigroups. Also findings by Khoshkam and Skandalis for crossed products by inverse semigroups are reflected in $KK$-theory. △ Less

Submitted 21 November, 2012; originally announced November 2012.

On certain properties of Cuntz--Krieger type algebras

Authors: Bernhard Burgstaller

Abstract: The note presents a further study of the class of Cuntz--Krieger type algebras. A necessary and sufficient condition is identified that ensures that the algebra is purely infinite, the ideal structure is studied, % and applied to semigraph algebras, and nuclearity is proved by presenting the algebra as a crossed product of an AF-algebra by an abelian group. The results are applied to examples of C… ▽ More The note presents a further study of the class of Cuntz--Krieger type algebras. A necessary and sufficient condition is identified that ensures that the algebra is purely infinite, the ideal structure is studied, % and applied to semigraph algebras, and nuclearity is proved by presenting the algebra as a crossed product of an AF-algebra by an abelian group. The results are applied to examples of Cuntz--Krieger type algebras, such as higher rank semigraph $C^*$-algebras and higher rank Exel-Laca algebras. △ Less

Submitted 18 November, 2011; originally announced November 2011.

MSC Class: 46L05; 46L55

Journal ref: Ann. Funct. Anal. 8, no. 3 (2017), 386-397

On freely generated semigraph $C^*$-algebras

Authors: Bernhard Burgstaller

Abstract: For special universal $C^*$-algebras associated to $k$-semigraphs we present the universal representations of these algebras, prove a Cuntz--Krieger uniqueness theorem, and compute the $K$-theory. These $C^*$-algebras seem to be the most universal Cuntz--Krieger like algebras naturally associated to $k$-semigraphs. For instance, the Toeplitz Cuntz algebra is a proper quotient of such an algebra. For special universal $C^*$-algebras associated to $k$-semigraphs we present the universal representations of these algebras, prove a Cuntz--Krieger uniqueness theorem, and compute the $K$-theory. These $C^*$-algebras seem to be the most universal Cuntz--Krieger like algebras naturally associated to $k$-semigraphs. For instance, the Toeplitz Cuntz algebra is a proper quotient of such an algebra. △ Less

Submitted 20 June, 2013; v1 submitted 18 November, 2011; originally announced November 2011.

MSC Class: 46L05; 46L55; 46L80

A Cuntz--Krieger uniqueness theorem for semigraph $C^*$-algebras

Authors: Bernhard Burgstaller

Abstract: Higher rank semigraph algebras are introduced by mixing concepts of ultragraph algebras and higher rank graph algebras. This yields a kind of higher rank generalisation of ultragraph algebras. We prove Cuntz--Krieger uniqueness theorems for cancelling semigraph algebras and aperiodic full semigraph algebras. Higher rank semigraph algebras are introduced by mixing concepts of ultragraph algebras and higher rank graph algebras. This yields a kind of higher rank generalisation of ultragraph algebras. We prove Cuntz--Krieger uniqueness theorems for cancelling semigraph algebras and aperiodic full semigraph algebras. △ Less

Submitted 17 November, 2011; originally announced November 2011.

MSC Class: 46L05

A descent homomorphism for semimultiplicative sets

Authors: Bernhard Burgstaller

Abstract: We define and provide some basic analysis of various types of crossed products by semimultiplicative sets, and then prove a $KK$-theoretical descent homomorphisms for semimultiplicative sets in accord with the descent homomorphism for discrete groups. We define and provide some basic analysis of various types of crossed products by semimultiplicative sets, and then prove a $KK$-theoretical descent homomorphisms for semimultiplicative sets in accord with the descent homomorphism for discrete groups. △ Less

Submitted 17 November, 2011; originally announced November 2011.

MSC Class: 19K35; 20N02; 46L55