Showing 1–50 of 50 results for author: Thiel, H

Pure C*-algebras

Authors: Ramon Antoine, Francesc Perera, Hannes Thiel, Eduard Vilalta

Abstract: We show that every C*-algebra that is (m,n)-pure in the sense of Winter is already pure, that is, its Cuntz semigroup is almost unperforated and almost divisible. More generally, we show that even weaker comparison and divisibility properties automatically lead to pureness. As an application to the non-simple Toms-Winter conjecture, we show that every C*-algebra with the Global Glimm Property an… ▽ More We show that every C*-algebra that is (m,n)-pure in the sense of Winter is already pure, that is, its Cuntz semigroup is almost unperforated and almost divisible. More generally, we show that even weaker comparison and divisibility properties automatically lead to pureness. As an application to the non-simple Toms-Winter conjecture, we show that every C*-algebra with the Global Glimm Property and finite nuclear dimension is pure. △ Less

Submitted 16 June, 2024; originally announced June 2024.

Comments: Dedicated to Mikael Rørdam on the occasion of his 65th birthday

MSC Class: 46L05 (Primary) 19K14; 46L80; 46L85 (Secondary)

Products of commutators in matrix rings

Authors: Matej Brešar, Eusebio Gardella, Hannes Thiel

Abstract: Let $R$ be a ring and let $n\ge 2$. We discuss the question of whether every element in the matrix ring $M_n(R)$ is a product of (additive) commutators $[x,y]=xy-yx$, for $x,y\in M_n(R)$. An example showing that this does not always hold, even when $R$ is commutative, is provided. If, however, $R$ has Bass stable rank one, then under various additional conditions every element in $M_n(R)$ is a pro… ▽ More Let $R$ be a ring and let $n\ge 2$. We discuss the question of whether every element in the matrix ring $M_n(R)$ is a product of (additive) commutators $[x,y]=xy-yx$, for $x,y\in M_n(R)$. An example showing that this does not always hold, even when $R$ is commutative, is provided. If, however, $R$ has Bass stable rank one, then under various additional conditions every element in $M_n(R)$ is a product of three commutators. Further, if $R$ is a division ring with infinite center, then every element in $M_n(R)$ is a product of two commutators. If $R$ is a field and $a\in M_n(R)$, then every element in $M_n(R)$ is a sum of elements of the form $[a,x][a,y]$ with $x,y\in M_n(R)$ if and only if the degree of the minimal polynomial of $a$ is greater than $2$. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Comments: 15 pages

MSC Class: Primary 16S50. Secondary 15A30; 16K40; 16W25; 46L05; 46L10

Real rank of some multiplier algebras

Authors: Hannes Thiel

Abstract: We show that there exists a separable, nuclear C*-algebra with real rank zero and trivial K-theory such that its multiplier and corona algebra have real rank one. This disproves two conjectures of Brown and Pedersen. We also compute the real rank of the stable multiplier algebra and the stable corona algebra of countably decomposable type $\mathrm{I}_\infty$ and type $\mathrm{II}_\infty$ factors.… ▽ More We show that there exists a separable, nuclear C*-algebra with real rank zero and trivial K-theory such that its multiplier and corona algebra have real rank one. This disproves two conjectures of Brown and Pedersen. We also compute the real rank of the stable multiplier algebra and the stable corona algebra of countably decomposable type $\mathrm{I}_\infty$ and type $\mathrm{II}_\infty$ factors. Together with results of Zhang this completes the computation of the real rank for stable multiplier and corona algebras of countably decomposable factors. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 22 pages

MSC Class: Primary 46L05; 46L85; Secondary 46L80; 46M20

Semiprime ideals in C*-algebras

Authors: Eusebio Gardella, Kan Kitamura, Hannes Thiel

Abstract: We show that a not necessarily closed ideal in a C*-algebra is semiprime if and only if it is idempotent, if and only if it is closed under square roots of positive elements. Among other things, it follows that prime and semiprime ideals in C*-algebras are automatically self-adjoint. To prove the above, we isolate and study a particular class of ideals, which we call Dixmier ideals. As it turns… ▽ More We show that a not necessarily closed ideal in a C*-algebra is semiprime if and only if it is idempotent, if and only if it is closed under square roots of positive elements. Among other things, it follows that prime and semiprime ideals in C*-algebras are automatically self-adjoint. To prove the above, we isolate and study a particular class of ideals, which we call Dixmier ideals. As it turns out, there is a rich theory of powers and roots for Dixmier ideals. We show that every ideal in a C*-algebra is squeezed by Dixmier ideals from inside and outside tightly in a suitable sense, from which we are able to deduce information about the ideal in the middle. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Comments: 23 pages

MSC Class: Primary 46L05; Secondary 16N60; 16W10

Real rank of extensions of C*-algebras

Authors: Hannes Thiel

Abstract: Given a closed ideal $I$ in a C*-algebra $A$, we develop techniques to bound the real rank of $A$ in terms of the real ranks of $I$ and $A/I$. Building on work of Brown, Lin and Zhang, we obtain complete solutions if $I$ belongs to any of the following classes: (1) C*-algebras with real rank zero, stable rank one and vanishing $K_1$-group; (2) simple, purely infinite C*-algebras; (3) simple,… ▽ More Given a closed ideal $I$ in a C*-algebra $A$, we develop techniques to bound the real rank of $A$ in terms of the real ranks of $I$ and $A/I$. Building on work of Brown, Lin and Zhang, we obtain complete solutions if $I$ belongs to any of the following classes: (1) C*-algebras with real rank zero, stable rank one and vanishing $K_1$-group; (2) simple, purely infinite C*-algebras; (3) simple, $\mathcal{Z}$-stable C*-algebras with real rank zero; (4) separable, stable C*-algebras with an approximate unit of projections and the Corona Factorization Property. △ Less

Submitted 23 March, 2024; v1 submitted 5 November, 2023; originally announced November 2023.

Comments: 19 pages; details added in proof of Lemma 3.5; to appear in Studia Mathematica

MSC Class: Primary 46L05; 46L85; Secondary 46L45; 46M20

Ranks of soft operators in nowhere scattered C*-algebras

Authors: M. Ali Asadi-Vasfi, Hannes Thiel, Eduard Vilalta

Abstract: We show that for C*-algebras with the Global Glimm Property, the rank of every operator can be realized as the rank of a soft operator, that is, an element whose hereditary sub-C*-algebra has no nonzero, unital quotients. This implies that the radius of comparison of such a C*-algebra is determined by the soft part of its Cuntz semigroup. Under a mild additional assumption, we show that every Cu… ▽ More We show that for C*-algebras with the Global Glimm Property, the rank of every operator can be realized as the rank of a soft operator, that is, an element whose hereditary sub-C*-algebra has no nonzero, unital quotients. This implies that the radius of comparison of such a C*-algebra is determined by the soft part of its Cuntz semigroup. Under a mild additional assumption, we show that every Cuntz class dominates a (unique) largest soft Cuntz class. This defines a retract from the Cuntz semigroup onto its soft part, and it follows that the covering dimensions of these semigroups differ by at most $1$. △ Less

Submitted 1 October, 2023; originally announced October 2023.

Comments: 33 pages

MSC Class: Primary 46L05; Secondary 06B35; 06F05; 19K14; 46L35; 46L80; 46L85

Fabrication of low-loss III-V Bragg-reflection waveguides for parametric down-conversion

Authors: Hannah Thiel, Marita Wagner, Bianca Nardi, Alexander Schlager, Robert J. Chapman, Stefan Frick, Holger Suchomel, Martin Kamp, Sven Höfling, Christian Schneider, Gregor Weihs

Abstract: Entangled photon pairs are an important resource for quantum cryptography schemes that go beyond point-to-point communication. Semiconductor Bragg-reflection waveguides are a promising photon-pair source due to mature fabrication, integrability, large transparency window in the telecom wavelength range, integration capabilities for electro-optical devices as well as a high second-order nonlinear c… ▽ More Entangled photon pairs are an important resource for quantum cryptography schemes that go beyond point-to-point communication. Semiconductor Bragg-reflection waveguides are a promising photon-pair source due to mature fabrication, integrability, large transparency window in the telecom wavelength range, integration capabilities for electro-optical devices as well as a high second-order nonlinear coefficient. To increase performance we improved the fabrication of Bragg-reflection waveguides by employing fixed-beam-moving-stage optical lithography, low pressure and low chlorine concentration etching, and resist reflow. The reduction in sidewall roughness yields a low optical loss coefficient for telecom wavelength light of alpha_reflow = 0.08(6)mm^(-1). Owing to the decreased losses, we achieved a photon pair production rate of 8800(300)(mW*s*mm)^(-1) which is 15-fold higher than in previous samples. △ Less

Submitted 2 September, 2023; originally announced September 2023.

A practical guide to loss measurements using the Fourier transform of the transmission spectrum

Authors: Hannah Thiel, Bianca Nardi, Alexander Schlager, Stefan Frick, Gregor Weihs

Abstract: Analyzing the internal loss characteristics and multimodedness of (integrated) optical devices can prove difficult. One technique to recover this information is to Fourier transform the transmission spectrum of optical components. This article gives instruction on how to perform the transmission measurement, prepare the data, and interpret the Fourier spectrum. Our guide offers insights into the i… ▽ More Analyzing the internal loss characteristics and multimodedness of (integrated) optical devices can prove difficult. One technique to recover this information is to Fourier transform the transmission spectrum of optical components. This article gives instruction on how to perform the transmission measurement, prepare the data, and interpret the Fourier spectrum. Our guide offers insights into the influence of sampling, windowing, zero padding as well as Fourier spectrum peak heights and shapes which are previously neglected in the literature but have considerable impact on the results of the method. For illustration, we apply the method to a Bragg-reflection waveguide. We find that the waveguide is multimodal with two modes having very similar group refractive indices but different optical losses. △ Less

Submitted 2 September, 2023; originally announced September 2023.

Time-bin entanglement at telecom wavelengths from a hybrid photonic integrated circuit

Authors: Hannah Thiel, Lennart Jehle, Robert J. Chapman, Stefan Frick, Hauke Conradi, Moritz Kleinert, Holger Suchomel, Martin Kamp, Sven Höfling, Christian Schneider, Norbert Keil, Gregor Weihs

Abstract: Mass-deployable implementations for quantum communication require compact, reliable, and low-cost hardware solutions for photon generation, control and analysis. We present a fiber-pigtailed hybrid photonic circuit comprising nonlinear waveguides for photon-pair generation and a polymer interposer reaching 68dB of pump suppression and photon separation with >25dB polarization extinction ratio. The… ▽ More Mass-deployable implementations for quantum communication require compact, reliable, and low-cost hardware solutions for photon generation, control and analysis. We present a fiber-pigtailed hybrid photonic circuit comprising nonlinear waveguides for photon-pair generation and a polymer interposer reaching 68dB of pump suppression and photon separation with >25dB polarization extinction ratio. The optical stability of the hybrid assembly enhances the quality of the entanglement, and the efficient background suppression and photon routing further reduce accidental coincidences. We thus achieve a 96(-8,+3)% concurrence and a 96(-5,+2)% fidelity to a Bell state. The generated telecom-wavelength, time-bin entangled photon pairs are ideally suited for distributing Bell pairs over fiber networks with low dispersion. △ Less

Submitted 2 September, 2023; originally announced September 2023.

Prime ideals in C*-algebras and applications to Lie theory

Authors: Eusebio Gardella, Hannes Thiel

Abstract: We show that every proper, dense ideal in a C*-algebra is contained in a prime ideal. It follows that a subset generates a C*-algebra as a not necessarily closed ideal if and only if it is not contained in any prime ideal. This allows us to transfer Lie theory results from prime rings to C*-algebras. For example, if a C*-algebra $A$ is generated by its commutator subspace $[A,A]$ as a ring, then… ▽ More We show that every proper, dense ideal in a C*-algebra is contained in a prime ideal. It follows that a subset generates a C*-algebra as a not necessarily closed ideal if and only if it is not contained in any prime ideal. This allows us to transfer Lie theory results from prime rings to C*-algebras. For example, if a C*-algebra $A$ is generated by its commutator subspace $[A,A]$ as a ring, then $[[A,A],[A,A]] = [A,A]$. Further, given Lie ideals $K$ and $L$ in $A$, then $[K,L]$ generates $A$ as a not necessarily closed ideal if and only if $[K,K]$ and $[L,L]$ do, and moreover this implies that $[K,L]=[A,A]$. We also discover new properties of the subspace generated by square-zero elements and relate it to the commutator subspace of a C*-algebra. △ Less

Submitted 10 August, 2023; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: 9 pages; minor changes

MSC Class: Primary 16N60; 46L05. Secondary 16W10; 47B47

Soft operators in C*-algebras

Authors: Hannes Thiel, Eduard Vilalta

Abstract: We say that a C*-algebra is soft if it has no nonzero unital quotients, and we connect this property to the Hjelmborg-Rørdam condition for stability and to property (S) of Ortega-Perera-Rørdam. We further say that an operator in a C*-algebra is soft if its associated hereditary subalgebra is, and we provide useful spectral characterizations of this concept. Of particular interest are C*-algebras… ▽ More We say that a C*-algebra is soft if it has no nonzero unital quotients, and we connect this property to the Hjelmborg-Rørdam condition for stability and to property (S) of Ortega-Perera-Rørdam. We further say that an operator in a C*-algebra is soft if its associated hereditary subalgebra is, and we provide useful spectral characterizations of this concept. Of particular interest are C*-algebras that have an abundance of soft elements in the sense that every hereditary subalgebra contains an almost full soft element. We show that this property is implied by the Global Glimm Property, and that every C*-algebra with an abundance of soft elements is nowhere scattered. This sheds new light on the long-standing Global Glimm Problem of whether every nowhere scattered C*-algebra has the Global Glimm Property. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: 32 pages

MSC Class: Primary 46L05; Secondary 19K14; 46L80; 46L85

Traces on ultrapowers of C*-algebras

Authors: Ramon Antoine, Francesc Perera, Leonel Robert, Hannes Thiel

Abstract: Using Cuntz semigroup techniques, we characterize when limit traces are dense in the space of all traces on a free ultrapower of a C*-algebra. More generally, we consider density of limit quasitraces on ultraproducts of C*-algebras. Quite unexpectedly, we obtain as an application that every simple C*-algebra that is (m,n)-pure in the sense of Winter is already pure. As another application, we pr… ▽ More Using Cuntz semigroup techniques, we characterize when limit traces are dense in the space of all traces on a free ultrapower of a C*-algebra. More generally, we consider density of limit quasitraces on ultraproducts of C*-algebras. Quite unexpectedly, we obtain as an application that every simple C*-algebra that is (m,n)-pure in the sense of Winter is already pure. As another application, we provide a partial verification of the first Blackadar-Handelman conjecture on dimension functions. Crucial ingredients in our proof are new Hahn-Banach type separation theorems for noncancellative cones, which in particular apply to the cone of extended-valued traces on a C*-algebra. △ Less

Submitted 12 March, 2023; v1 submitted 3 March, 2023; originally announced March 2023.

Comments: 47 pages; minor changes, included further references

MSC Class: Primary 19K14; 46L05; 46B08; 46M07. Secondary 06B35; 06F05; 46L30; 46L35; 46L51; 46L80

Rings and C*-algebras generated by commutators

Authors: Eusebio Gardella, Hannes Thiel

Abstract: We show that a unital ring is generated by its commutators as an ideal if and only if there exists a natural number $N$ such that every element is a sum of $N$ products of pairs of commutators. We show that one can take $N \leq 2$ for matrix rings, and that one may choose $N \leq 3$ for rings that contain a direct sum of matrix rings -- this in particular applies to C*-algebras that are properly i… ▽ More We show that a unital ring is generated by its commutators as an ideal if and only if there exists a natural number $N$ such that every element is a sum of $N$ products of pairs of commutators. We show that one can take $N \leq 2$ for matrix rings, and that one may choose $N \leq 3$ for rings that contain a direct sum of matrix rings -- this in particular applies to C*-algebras that are properly infinite or have real rank zero. For Jiang-Su-stable C*-algebras, we show that $N\leq 6$ can be arranged. For arbitrary rings, we show that every element in the commutator ideal admits a power that is a sum of products of commutators. We prove that a C*-algebra cannot be a radical extension over a proper ideal, and we use this to deduce that a C*-algebra is generated by its commutators as a not necessarily closed ideal if and only if every element is a finite sum of products of pairs of commutators. △ Less

Submitted 3 April, 2024; v1 submitted 14 January, 2023; originally announced January 2023.

Comments: 21 pages; thorough revision

MSC Class: Primary 16N60; 46L05; 47B47. Secondary 15A15; 15A23; 16S50; 19K14

Zero-product balanced algebras

Authors: Eusebio Gardella, Hannes Thiel

Abstract: We say that an algebra is zero-product balanced if $ab\otimes c$ and $a\otimes bc$ agree modulo tensors of elements with zero-product. This is closely related to but more general than the notion of a zero-product determined algebra of Brešar, Grašič and Ortega. Every surjective, zero-product preserving map from a zero-product balanced algebra is automatically a weighted epimorphism, and this impli… ▽ More We say that an algebra is zero-product balanced if $ab\otimes c$ and $a\otimes bc$ agree modulo tensors of elements with zero-product. This is closely related to but more general than the notion of a zero-product determined algebra of Brešar, Grašič and Ortega. Every surjective, zero-product preserving map from a zero-product balanced algebra is automatically a weighted epimorphism, and this implies that zero-product balanced algebras are determined by their linear and zero-product structure. Further, the commutator subspace of a zero-product balanced algebra can be described in terms of square-zero elements. We show that a semiprime, commutative algebra is zero-product balanced if and only if it is generated by idempotents. It follows that every commutative, zero-product balanced algebra is spanned by nilpotent and idempotent elements. We deduce a dichotomy for unital, zero-product balanced algebras: They either admit a character or are generated by nilpotents. △ Less

Submitted 3 May, 2023; v1 submitted 14 October, 2022; originally announced October 2022.

Comments: 25 pages. This is the published version

MSC Class: Primary 15A86; 47B49; Secondary 16N40; 16S50; 16U99; 47B47

Journal ref: Linear Algebra Appl. 670 (2023), 121--153

The Global Glimm Property

Authors: Hannes Thiel, Eduard Vilalta

Abstract: It is known that a C*-algebra with the Global Glimm Property is nowhere scattered (it has no elementary ideal-quotients), and the Global Glimm Problem asks if the converse holds. We provide a new approach to this long-standing problem by showing that a C*-algebra has the Global Glimm Property if and only if it is nowhere scattered and its Cuntz semigroup is ideal-filtered (the Cuntz classes genera… ▽ More It is known that a C*-algebra with the Global Glimm Property is nowhere scattered (it has no elementary ideal-quotients), and the Global Glimm Problem asks if the converse holds. We provide a new approach to this long-standing problem by showing that a C*-algebra has the Global Glimm Property if and only if it is nowhere scattered and its Cuntz semigroup is ideal-filtered (the Cuntz classes generating a given ideal are downward directed) and has property (V) (a weak form of being sup-semilattice ordered). We show that ideal-filteredness and property (V) are automatic for C*-algebras that have stable rank one or real rank zero, thereby recovering the solutions to the Global Glimm Problem in these cases. We also use our approach to solve the Global Glimm Problem for new classes of C*-algebras. △ Less

Submitted 13 December, 2022; v1 submitted 27 April, 2022; originally announced April 2022.

Comments: 29 pages; minor revision; to appear in Trans. Amer. Math. Soc

MSC Class: Primary 46L05; Secondary 19K14; 46L80; 46L85

Weighted homomorphisms between C*-algebras

Authors: Eusebio Gardella, Hannes Thiel

Abstract: We show that a bounded, linear map between C*-algebras is a weighted $\ast$-homomorphism (the central compression of a $\ast$-homomorphism) if and only if it preserves zero-products, range-orthogonality, and domain-orthogonality. It follows that a self-adjoint, bounded, linear map is a weighted $\ast$-homomorphism if and only if it preserves zero-products. As an application we show that a linear… ▽ More We show that a bounded, linear map between C*-algebras is a weighted $\ast$-homomorphism (the central compression of a $\ast$-homomorphism) if and only if it preserves zero-products, range-orthogonality, and domain-orthogonality. It follows that a self-adjoint, bounded, linear map is a weighted $\ast$-homomorphism if and only if it preserves zero-products. As an application we show that a linear map between C*-algebras is completely positive, order zero in the sense of Winter-Zacharias if and only if it is positive and preserves zero-products. △ Less

Submitted 30 March, 2022; originally announced March 2022.

Comments: 18 pages

Nowhere scattered C*-algebras

Authors: Hannes Thiel, Eduard Vilalta

Abstract: We say that a C*-algebra is nowhere scattered if none of its quotients contains a minimal open projection. We characterize this property in various ways, by topological properties of the spectrum, by divisibility properties in the Cuntz semigroup, by the existence of Haar unitaries for states, and by the absence of nonzero ideal-quotients that are elementary, scattered or type I. Under the addit… ▽ More We say that a C*-algebra is nowhere scattered if none of its quotients contains a minimal open projection. We characterize this property in various ways, by topological properties of the spectrum, by divisibility properties in the Cuntz semigroup, by the existence of Haar unitaries for states, and by the absence of nonzero ideal-quotients that are elementary, scattered or type I. Under the additional assumption of real rank zero or stable rank one, we show that nowhere scatteredness implies even stronger divisibility properties of the Cuntz semigroup. △ Less

Submitted 20 October, 2022; v1 submitted 18 December, 2021; originally announced December 2021.

Comments: 26 pages; minor revision; changed terminology "minimal projection" to "minimal open projection" to avoid confusion; to appear in J. Noncommut. Geom

MSC Class: 46L05 (Primary); 19K14; 46L80; 46L85 (Secondary)

Covering dimension of Cuntz semigroups II

Authors: Hannes Thiel, Eduard Vilalta

Abstract: We show that the dimension of the Cuntz semigroup of a C*-algebra is determined by the dimensions of the Cuntz semigroups of its separable sub-C*-algebras. This allows us to remove separability assumptions from previous results on the dimension of Cuntz semigroups. To obtain these results, we introduce a notion of approximation for abstract Cuntz semigroups that is compatible with the approximat… ▽ More We show that the dimension of the Cuntz semigroup of a C*-algebra is determined by the dimensions of the Cuntz semigroups of its separable sub-C*-algebras. This allows us to remove separability assumptions from previous results on the dimension of Cuntz semigroups. To obtain these results, we introduce a notion of approximation for abstract Cuntz semigroups that is compatible with the approximation of a C*-algebra by sub-C*-algebras. We show that many properties for Cuntz semigroups are preserved by approximation and satisfy a Löwenheim-Skolem condition. △ Less

Submitted 24 March, 2021; originally announced March 2021.

Comments: 21 pages

MSC Class: Primary 46L05; 46L85; Secondary 54F45; 55M10

Difference-frequency generation in an AlGaAs Bragg-reflection waveguide using an on-chip electrically-pumped quantum dot laser

Authors: A. Schlager, M. Götsch, R. J. Chapman, S. Frick, H. Thiel, H. Suchomel, M. Kamp, S. Höfling, C. Schneider, G. Weihs

Abstract: Nonlinear frequency conversion is ubiquitous in laser engineering and quantum information technology. A long-standing goal in photonics is to integrate on-chip semiconductor laser sources with nonlinear optical components. Engineering waveguide lasers with spectra that phase-match to nonlinear processes on the same device is a formidable challenge. Here, we demonstrate difference-frequency generat… ▽ More Nonlinear frequency conversion is ubiquitous in laser engineering and quantum information technology. A long-standing goal in photonics is to integrate on-chip semiconductor laser sources with nonlinear optical components. Engineering waveguide lasers with spectra that phase-match to nonlinear processes on the same device is a formidable challenge. Here, we demonstrate difference-frequency generation in an AlGaAs Bragg reflection waveguide which incorporates the gain medium for the pump laser in its core. We include quantum dot layers in the AlGaAs waveguide that generate electrically driven laser light at ~790 nm, and engineer the structure to facilitate nonlinear processes at this wavelength. We perform difference-frequency generation between 1540 nm and 1630 nm using the on-chip laser, which is enabled by the broad modal phase-matching of the AlGaAs waveguide, and measure normalized conversion efficiencies up to $(0.64\pm0.21)$ %/W/cm$^2$. Our work demonstrates a pathway towards devices that utilize on-chip active elements and strong optical nonlinearities to enable highly integrated photonic systems-on-chip. △ Less

Submitted 7 February, 2022; v1 submitted 20 January, 2021; originally announced January 2021.

Covering dimension of Cuntz semigroups

Authors: Hannes Thiel, Eduard Vilalta

Abstract: We introduce a notion of covering dimension for Cuntz semigroups of C*-algebras. This dimension is always bounded by the nuclear dimension of the C*-algebra, and for subhomogeneous C*-algebras both dimensions agree. Cuntz semigroups of Z-stable C*-algebras have dimension at most one. Further, the Cuntz semigroup of a simple, Z-stable C*-algebra is zero-dimensional if and only if the C*-algebra h… ▽ More We introduce a notion of covering dimension for Cuntz semigroups of C*-algebras. This dimension is always bounded by the nuclear dimension of the C*-algebra, and for subhomogeneous C*-algebras both dimensions agree. Cuntz semigroups of Z-stable C*-algebras have dimension at most one. Further, the Cuntz semigroup of a simple, Z-stable C*-algebra is zero-dimensional if and only if the C*-algebra has real rank zero or is stably projectionless. △ Less

Submitted 12 August, 2021; v1 submitted 12 January, 2021; originally announced January 2021.

Comments: 32 pages; extended introduction, added details on inductive limits and elements with thin boundary, rearranged order of results in Section 4; to appear in Adv. Math

MSC Class: Primary 46L05; 46L85; Secondary 54F45; 55M10

Understanding photoluminescence in semiconductor Bragg-reflection waveguides: Towards an integrated, GHz-rate telecom photon pair source

Authors: Silke Auchter, Alexander Schlager, Hannah Thiel, Kaisa Laiho, Benedikt Pressl, Holger Suchomel, Martin Kamp, Sven Höfling, Christian Schneider, Gregor Weihs

Abstract: Compared to traditional nonlinear optical crystals, like BaB$_2$O$_4$, KTiOPO$_4$ or LiNbO$_3$, semiconductor integrated sources of photon pairs may operate at pump wavelengths much closer to the bandgap of the materials. This is also the case for Bragg-reflection waveguides (BRW) targeting parametric down-conversion (PDC) to the telecom C-band. The large nonlinear coefficient of the AlGaAs alloy… ▽ More Compared to traditional nonlinear optical crystals, like BaB$_2$O$_4$, KTiOPO$_4$ or LiNbO$_3$, semiconductor integrated sources of photon pairs may operate at pump wavelengths much closer to the bandgap of the materials. This is also the case for Bragg-reflection waveguides (BRW) targeting parametric down-conversion (PDC) to the telecom C-band. The large nonlinear coefficient of the AlGaAs alloy and the strong confinement of the light enable extremely bright integrated photon pair sources. However, under certain circumstances, a significant amount of detrimental broadband photoluminescence has been observed in BRWs. We show that this is mainly a result of linear absorption near the core and subsequent radiative recombination of electron-hole pairs at deep impurity levels in the semiconductor. For PDC with BRWs, we conclude that devices operating near the long wavelength end of the S-band or the short C-band require temporal filtering shorter than 1 ns. We predict that shifting the operating wavelengths to the L-band and making small adjustments in the material composition will reduce the amount of photoluminescence to negligible values. Such measures enable us to increase the average pump power and/or the repetition rate, which makes integrated photon pair sources with on-chip multi-gigahertz pair rates feasible. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: 10 pages, 7 figures

Diffuse traces and Haar unitaries

Authors: Hannes Thiel

Abstract: We show that a tracial state on a unital C*-algebra admits a Haar unitary if and only if it is diffuse, if and only if it does not dominate a tracial functional that factors through a finite-dimensional quotient. It follows that a unital C*-algebra has no finite-dimensional representations if and only if each of its tracial states admits a Haar unitary. More generally, we study when nontracial s… ▽ More We show that a tracial state on a unital C*-algebra admits a Haar unitary if and only if it is diffuse, if and only if it does not dominate a tracial functional that factors through a finite-dimensional quotient. It follows that a unital C*-algebra has no finite-dimensional representations if and only if each of its tracial states admits a Haar unitary. More generally, we study when nontracial states admit Haar unitaries. In particular, we show that every state on a unital, simple, infinite-dimensional C*-algebra admits a Haar unitary. We obtain applications to the structure of reduced free products. Notably, the tracial reduced free product of simple C*-algebras is always a simple C*-algebra of stable rank one. △ Less

Submitted 26 October, 2022; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 25 pages; minor revision; to appear in Amer. J. Math

MSC Class: Primary 46L05; 46L51; Secondary 46L09; 46L30

Generators in $\mathcal{Z}$-stable C*-algebras of real rank zero

Authors: Hannes Thiel

Abstract: We show that every separable C*-algebra of real rank zero that tensorially absorbs the Jiang-Su algebra contains a dense set of generators. It follows that in every classifiable, simple, nuclear C*-algebra, a generic element is a generator. We show that every separable C*-algebra of real rank zero that tensorially absorbs the Jiang-Su algebra contains a dense set of generators. It follows that in every classifiable, simple, nuclear C*-algebra, a generic element is a generator. △ Less

Submitted 11 December, 2020; v1 submitted 15 June, 2020; originally announced June 2020.

Comments: 18 pages; to appear in J. Noncommut. Geom

MSC Class: Primary 46L05; Secondary 46L85

The generator rank of subhomogeneous C*-algebras

Authors: Hannes Thiel

Abstract: We compute the generator rank of a subhomgeneous C*-algebra in terms of the covering dimension of the pieces of its primitive ideal space corresponding to irreducible representations of a fixed dimension. We deduce that every Z-stable ASH-algebra has generator rank one, which means that a generic element in such an algebra is a generator. This leads to a strong solution of the generator problem… ▽ More We compute the generator rank of a subhomgeneous C*-algebra in terms of the covering dimension of the pieces of its primitive ideal space corresponding to irreducible representations of a fixed dimension. We deduce that every Z-stable ASH-algebra has generator rank one, which means that a generic element in such an algebra is a generator. This leads to a strong solution of the generator problem for classifiable, simple, nuclear C*-algebras: a generic element in each such algebra is a generator. Examples of Villadsen show that this is not the case for all separable, simple, nuclear C*-algebras. △ Less

Submitted 11 June, 2022; v1 submitted 5 June, 2020; originally announced June 2020.

Comments: 26 pages; to appear in Canad. J. Math

MSC Class: Primary 46L05; 46L85; Secondary 54F45; 55M10

Edwards' condition for quasitraces on C*-algebras

Authors: Ramon Antoine, Francesc Perera, Leonel Robert, Hannes Thiel

Abstract: We prove that Cuntz semigroups of C*-algebras satisfy Edwards' condition with respect to every quasitrace. This condition is a key ingredient in the study of the realization problem of functions on the cone of quasitraces as ranks of positive elements. In the course of our investigation, we identify additional structure of the Cuntz semigroup of an arbitrary C*-algebra and of the cone of quasitrac… ▽ More We prove that Cuntz semigroups of C*-algebras satisfy Edwards' condition with respect to every quasitrace. This condition is a key ingredient in the study of the realization problem of functions on the cone of quasitraces as ranks of positive elements. In the course of our investigation, we identify additional structure of the Cuntz semigroup of an arbitrary C*-algebra and of the cone of quasitraces. △ Less

Submitted 9 November, 2019; v1 submitted 27 September, 2019; originally announced September 2019.

Comments: 18 pages; minor changes

Rigidity results for $L^p$-operator algebras and applications

Authors: Yemon Choi, Eusebio Gardella, Hannes Thiel

Abstract: For $p\in [1,\infty)$, we show that every unital $L^p$-operator algebra contains a unique maximal $C^*$-subalgebra, which is always abelian if $p\neq 2$. Using this, we canonically associate to every unital $L^p$-operator algebra $A$ an étale groupoid $\mathcal{G}_A$, which in many cases of interest is a complete invariant for $A$. By identifying this groupoid for large classes of examples, we obt… ▽ More For $p\in [1,\infty)$, we show that every unital $L^p$-operator algebra contains a unique maximal $C^*$-subalgebra, which is always abelian if $p\neq 2$. Using this, we canonically associate to every unital $L^p$-operator algebra $A$ an étale groupoid $\mathcal{G}_A$, which in many cases of interest is a complete invariant for $A$. By identifying this groupoid for large classes of examples, we obtain a number of rigidity results that display a stark contrast with the case $p=2$; the most striking one being that of crossed products by topologically free actions. Our rigidity results give answers to questions concerning the existence of isomorphisms between different algebras. Among others, we show that for the $L^p$-analog $\mathcal{O}_2^p$ of the Cuntz algebra, there is no isometric isomorphism between $\mathcal{O}_2^p$ and $\mathcal{O}_2^p\otimes^p\mathcal{O}_2^p$, when $p\neq 2$. In particular, we deduce that there is no $L^p$-version of Kirchberg's absorption theorem, and that there is no $K$-theoretic classification of purely infinite simple amenable $L^p$-operator algebras for $p\neq 2$. Our methods also allow us to recover a folklore fact in the case of C*-algebras ($p=2$), namely that no isomorphism $\mathcal{O}_2^p\cong \mathcal{O}_2^p\otimes\mathcal{O}_2^p$ preserves the canonical Cartan subalgebras. △ Less

Submitted 22 May, 2024; v1 submitted 8 September, 2019; originally announced September 2019.

Comments: v3: minor changes throughout. 35 pages. To appear in Advances in Math

Cuntz semigroups of ultraproduct C*-algebras

Authors: Ramon Antoine, Francesc Perera, Hannes Thiel

Abstract: We prove that the category of abstract Cuntz semigroups is bicomplete. As a consequence, the category admits products and ultraproducts. We further show that the scaled Cuntz semigroup of the (ultra)product of a family of C*-algebras agrees with the (ultra)product of the scaled Cuntz semigroups of the involved C*-algebras. As applications of our results, we compute the non-stable K-Theory of gen… ▽ More We prove that the category of abstract Cuntz semigroups is bicomplete. As a consequence, the category admits products and ultraproducts. We further show that the scaled Cuntz semigroup of the (ultra)product of a family of C*-algebras agrees with the (ultra)product of the scaled Cuntz semigroups of the involved C*-algebras. As applications of our results, we compute the non-stable K-Theory of general (ultra)products of C*-algebras and we characterize when ultraproducts are simple. We also give criteria that determine order properties of these objects, such as almost unperforation. △ Less

Submitted 20 March, 2020; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: 34 pages; to appear in Journal of the London Mathematical Society

MSC Class: 06B35; 06F05; 46L05; 46M07 (Primary); 03C20; 06B30; 18A30; 18A35; 18B35; 19K14; 46M15; 46M40 (Secondary)

Abstract Bivariant Cuntz Semigroups II

Authors: Ramon Antoine, Francesc Perera, Hannes Thiel

Abstract: We previously showed that abstract Cuntz semigroups form a closed symmetric monoidal category. This automatically provides additional structure in the category, such as a composition and an external tensor product, for which we give concrete constructions in order to be used in applications. We further analyse the structure of not necessarily commutative Cu-semi-rings and we obtain, under mild c… ▽ More We previously showed that abstract Cuntz semigroups form a closed symmetric monoidal category. This automatically provides additional structure in the category, such as a composition and an external tensor product, for which we give concrete constructions in order to be used in applications. We further analyse the structure of not necessarily commutative Cu-semi-rings and we obtain, under mild conditions, a new characterization of solid Cu-semirings $R$ by the condition that $R\cong [\![ R,R ]\!]$. △ Less

Submitted 21 November, 2018; originally announced November 2018.

Comments: This paper was part of arXiv:1702.01588v1 [math.OA] which has now splitted in two separate parts

MSC Class: 06B35; 06F05; 46L05 (Primary); 06F25; 13J25; 15A69; 16W80; 16Y60; 18D20; 46M15 (Secondary)

C*-algebras of stable rank one and their Cuntz semigroups

Authors: Ramon Antoine, Francesc Perera, Leonel Robert, Hannes Thiel

Abstract: The uncovering of new structure on the Cuntz semigroup of a C*-algebra of stable rank one leads to several applications: We answer affirmatively, for the class of stable rank one C*-algebras, a conjecture by Blackadar and Handelman on dimension functions, the Global Glimm Halving problem, and the problem of realizing functions on the cone of 2-quasitraces as ranks of Cuntz semigroup elements. We a… ▽ More The uncovering of new structure on the Cuntz semigroup of a C*-algebra of stable rank one leads to several applications: We answer affirmatively, for the class of stable rank one C*-algebras, a conjecture by Blackadar and Handelman on dimension functions, the Global Glimm Halving problem, and the problem of realizing functions on the cone of 2-quasitraces as ranks of Cuntz semigroup elements. We also gain new insights into the comparability properties of positive elements in C*-algebras of stable rank one. △ Less

Submitted 22 April, 2020; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: 41 pages; major revision

MSC Class: 46L05

Isomorphisms of Algebras of Convolution Operators

Authors: Eusebio Gardella, Hannes Thiel

Abstract: For $p,q\in [1,\infty)$, we study the isomorphism problem for the $p$- and $q$-convolution algebras associated to locally compact groups. While it is well known that not every group can be recovered from its group von Neumann algebra, we show that this is the case for the algebras $\mathrm{CV}_p(G)$ of $p$-convolvers and $\mathrm{PM}_p(G)$ of $p$-pseudomeasures, for $p\neq 2$. More generally, we s… ▽ More For $p,q\in [1,\infty)$, we study the isomorphism problem for the $p$- and $q$-convolution algebras associated to locally compact groups. While it is well known that not every group can be recovered from its group von Neumann algebra, we show that this is the case for the algebras $\mathrm{CV}_p(G)$ of $p$-convolvers and $\mathrm{PM}_p(G)$ of $p$-pseudomeasures, for $p\neq 2$. More generally, we show that if $\mathrm{CV}_p(G)$ is isometrically isomorphic to $\mathrm{CV}_q(H)$, with $p,q\neq 2$, then $G$ must be isomorphic to $H$ and $p$ and $q$ are either equal or conjugate. This implies that there is no $L^p$-version of Connes' uniqueness of the hyperfinite II$_1$-factor. Similar results apply to the algebra $\mathrm{PF}_p(G)$ of $p$-pseudofunctions, generalizing a classical result of Wendel. We also show that other $L^p$-rigidity results for groups can be easily recovered and extended using our main theorem. Our results answer questions originally formulated in the work of Herz in the 70's. Moreover, our methods reveal new information about the Banach algebras in question. As a non-trivial application, we verify the reflexivity conjecture for all Banach algebras lying between $\mathrm{PF}_p(G)$ and $\mathrm{CV}_p(G)$: if any such algebra is reflexive and amenable, then $G$ is finite. △ Less

Submitted 2 October, 2018; v1 submitted 5 September, 2018; originally announced September 2018.

Comments: 30 pages; minor fixes; improved results in section 6; updated bibliography

MSC Class: Primary 22D20; 43A15; Secondary 43A65; 47L10

Inductive limits of semiprojective C*-algebras

Authors: Hannes Thiel

Abstract: We prove closure properties for the class of C*-algebras that are inductive limits of semiprojective C*-algebras. Most importantly, we show that this class is closed under shape domination, and so in particular under shape and homotopy equivalence. It follows that the considered class is quite large. It contains for instance the stable suspension of any nuclear C*-algebra satisfying the UCT and wi… ▽ More We prove closure properties for the class of C*-algebras that are inductive limits of semiprojective C*-algebras. Most importantly, we show that this class is closed under shape domination, and so in particular under shape and homotopy equivalence. It follows that the considered class is quite large. It contains for instance the stable suspension of any nuclear C*-algebra satisfying the UCT and with torsion-free $K_0$-group. In particular, the stabilized C*-algebra of continuous functions on the pointed sphere is isomorphic to an inductive limit of semiprojectives. △ Less

Submitted 18 February, 2019; v1 submitted 13 April, 2018; originally announced April 2018.

Comments: 17 pages; added Lemma 3.2; added paragraph clarifying connection to the notion of connectivity of Dadarlat-Pennig

MSC Class: Primary 46L05; 46M10; Secondary 46L85; 46M20; 54C55; 54C56; 55M15; 55P55

Journal ref: Adv. Math. 347 (2019), 597-618

Semiprojectivity and semiinjectivity in different categories

Authors: Hannes Thiel

Abstract: Projectivity and injectivity are fundamental notions in category theory. We consider natural weakenings termed semiprojectivity and semiinjectivity, and study these concepts in different categories. For example, in the category of metric spaces, (semi)injective objects are precisely the absolute (neighborhood) retracts. We show that the trivial group is the only semiinjective group, while every… ▽ More Projectivity and injectivity are fundamental notions in category theory. We consider natural weakenings termed semiprojectivity and semiinjectivity, and study these concepts in different categories. For example, in the category of metric spaces, (semi)injective objects are precisely the absolute (neighborhood) retracts. We show that the trivial group is the only semiinjective group, while every free product of a finitely presented group and a free group is semiprojective. To a compact, metric space $X$ we associate the commutative C*-algebra $C(X)$. This association is contravariant, whence semiinjectivity of $X$ is related to semiprojectivity of $C(X)$. Together with Adam Sørensen, we showed that $C(X)$ is semiprojective in the category of all C*-algebras if and only if $X$ is an absolute neighborhood retract with dimension at most one. △ Less

Submitted 14 February, 2018; originally announced February 2018.

Comments: 12 pages

MSC Class: Primary 18A05; Secondary 06B35; 06F05; 18A20; 20E05; 46L05; 54C55; 55M15

Ranks of operators in simple C*-algebras with stable rank one

Authors: Hannes Thiel

Abstract: Let $A$ be a separable, unital, simple C*-algebra with stable rank one. We show that every strictly positive, lower semicontinuous, affine function on the simplex of normalized quasitraces of $A$ is realized as the rank of an operator in the stabilization of $A$. Assuming moreover that $A$ has locally finite nuclear dimension, we deduce that $A$ is $\mathcal{Z}$-stable if and only if it has stri… ▽ More Let $A$ be a separable, unital, simple C*-algebra with stable rank one. We show that every strictly positive, lower semicontinuous, affine function on the simplex of normalized quasitraces of $A$ is realized as the rank of an operator in the stabilization of $A$. Assuming moreover that $A$ has locally finite nuclear dimension, we deduce that $A$ is $\mathcal{Z}$-stable if and only if it has strict comparison of positive elements. In particular, the Toms-Winter conjecture holds for separable, unital, simple, approximately subhomogeneous C*-algebras with stable rank one. △ Less

Submitted 24 April, 2019; v1 submitted 13 November, 2017; originally announced November 2017.

Comments: 36 pages; corrected small mistakes, typos; updated references

Preduals for spaces of operators involving Hilbert spaces and trace-class operators

Authors: Hannes Thiel

Abstract: Continuing the study of preduals of spaces $\mathcal{L}(H,Y)$ of bounded, linear maps, we consider the situation that $H$ is a Hilbert space. We establish a natural correspondence between isometric preduals of $\mathcal{L}(H,Y)$ and isometric preduals of $Y$. The main ingredient is a Tomiyama-type result which shows that every contractive projection that complements $\mathcal{L}(H,Y)$ in its bid… ▽ More Continuing the study of preduals of spaces $\mathcal{L}(H,Y)$ of bounded, linear maps, we consider the situation that $H$ is a Hilbert space. We establish a natural correspondence between isometric preduals of $\mathcal{L}(H,Y)$ and isometric preduals of $Y$. The main ingredient is a Tomiyama-type result which shows that every contractive projection that complements $\mathcal{L}(H,Y)$ in its bidual is automatically a right $\mathcal{L}(H)$-module map. As an application, we show that isometric preduals of $\mathcal{L}(\mathcal{S}_1)$, the algebra of operators on the space of trace-class operators, correspond to isometric preduals of $\mathcal{S}_1$ itself (and there is an abundance of them). On the other hand, the compact operators are the unique predual of $\mathcal{S}_1$ making its multiplication separately weak* continuous. △ Less

Submitted 27 March, 2018; v1 submitted 3 March, 2017; originally announced March 2017.

Comments: 8 pages

MSC Class: 47L05; 47L10 (primary); 47L45; 46B10; 46B20 (secondary)

Journal ref: J. Math. Anal. Appl. 464 (2018), 1158-1166

Extending representations of Banach algebras to their biduals

Authors: Eusebio Gardella, Hannes Thiel

Abstract: We show that a representation of a Banach algebra $A$ on a Banach space $X$ can be extended to a canonical representation of $A^{**}$ on $X$ if and only if certain orbit maps $A\to X$ are weakly compact. When this is the case, we show that the essential space of the representation is complemented if $A$ has a bounded left approximate identity. This provides a tool to disregard the difference betwe… ▽ More We show that a representation of a Banach algebra $A$ on a Banach space $X$ can be extended to a canonical representation of $A^{**}$ on $X$ if and only if certain orbit maps $A\to X$ are weakly compact. When this is the case, we show that the essential space of the representation is complemented if $A$ has a bounded left approximate identity. This provides a tool to disregard the difference between degenerate and nondegenerate representations. Our results have interesting consequences both in C*-algebras and in abstract harmonic analysis. For example, a C*-algebra $A$ has an isometric representation on an $L^p$-space, for $p\in[1,\infty)\setminus\{2\}$, if and only if $A$ is commutative. Moreover, the $L^p$-operator algebra of a locally compact group is universal with respect to arbitrary representations on $L^p$-spaces. △ Less

Submitted 23 March, 2018; v1 submitted 2 March, 2017; originally announced March 2017.

Comments: 13 pages; minor changes; improved exposition

MSC Class: 47L10 (primary); 43A65; 46E30 (secondary)

Abstract bivariant Cuntz semigroups

Authors: Ramon Antoine, Francesc Perera, Hannes Thiel

Abstract: We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $[[S,T]]$ playing the role of morphisms from $S$ to $T$. Applied to C$^*$-algebras $A$ and $B$, the semigroup $[[\mathrm{Cu}(A),\mathrm{Cu}(B)]]$ should be considered as the target in analogues of the UCT for bivariant theories of Cuntz semigr… ▽ More We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $[[S,T]]$ playing the role of morphisms from $S$ to $T$. Applied to C$^*$-algebras $A$ and $B$, the semigroup $[[\mathrm{Cu}(A),\mathrm{Cu}(B)]]$ should be considered as the target in analogues of the UCT for bivariant theories of Cuntz semigroups. Abstract bivariant Cuntz semigroups are computable in a number of interesting cases. We also show that order-zero maps between C$^*$-algebras naturally define elements in the respective bivariant Cuntz semigroup. △ Less

Submitted 21 November, 2018; v1 submitted 6 February, 2017; originally announced February 2017.

Comments: 29 pages. This paper has been published in International Mathematics Research Notices in a revised form subsequent to editorial input. Material on these pages is copyright Oxford University Press. The previous version of this paper (arXiv:1702.01588v1) has been split in two parts, of which this is the first

MSC Class: 06B35; 06F05; 15A69; 46L05

Journal ref: International Mathematics Research Notices, rny143, 2018

Representations of $p$-convolution algebras on $L^q$-spaces

Authors: Eusebio Gardella, Hannes Thiel

Abstract: For a nontrivial locally compact group $G$, and $p\in [1,\infty)$, consider the Banach algebras of $p$-pseudofunctions, $p$-pseudomeasures, $p$-convolvers, and the full group $L^p$-operator algebra. We show that these Banach algebras are operator algebras if and only if $p=2$. More generally, we show that for $q\in [1,\infty)$, these Banach algebras can be represented on an $L^q$-space if and only… ▽ More For a nontrivial locally compact group $G$, and $p\in [1,\infty)$, consider the Banach algebras of $p$-pseudofunctions, $p$-pseudomeasures, $p$-convolvers, and the full group $L^p$-operator algebra. We show that these Banach algebras are operator algebras if and only if $p=2$. More generally, we show that for $q\in [1,\infty)$, these Banach algebras can be represented on an $L^q$-space if and only if one of the following holds: (a) $p=2$ and $G$ is abelian; or (b) $|\frac 1p - \frac 12|=|\frac 1q - \frac 12|$. This result can be interpreted as follows: for $p,q\in [1,\infty)$, the $L^p$- and $L^q$-representation theories of a group are incomparable, except in the trivial cases when they are equivalent. As an application, we show that, for distinct $p,q\in [1,\infty)$, if the $L^p$ and $L^q$ crossed products of a topological dynamical system are isomorphic, then $\frac 1p + \frac 1q=1$. In order to prove this, we study the following relevant aspects of $L^p$-crossed products: existence of approximate identities, duality with respect to $p$, and existence of canonical isometric maps from group algebras into their multiplier algebras. △ Less

Submitted 27 September, 2016; originally announced September 2016.

Comments: 31 pages

Journal ref: Trans. Amer. Math. Soc. 371 (2019), 2207-2236

Preduals and complementation of spaces of bounded linear operators

Authors: Eusebio Gardella, Hannes Thiel

Abstract: For Banach spaces X and Y, we establish a natural bijection between preduals of Y and preduals of L(X,Y) that respect the right L(X)-module structure. If X is reflexive, it follows that there is a unique predual making L(X) into a dual Banach algebra. This removes the condition that X have the approximation property in a result of Daws. We further establish a natural bijection between projection… ▽ More For Banach spaces X and Y, we establish a natural bijection between preduals of Y and preduals of L(X,Y) that respect the right L(X)-module structure. If X is reflexive, it follows that there is a unique predual making L(X) into a dual Banach algebra. This removes the condition that X have the approximation property in a result of Daws. We further establish a natural bijection between projections that complement Y in its bidual and L(X)-linear projections that complement L(X,Y) in its bidual. It follows that Y is complemented in its bidual if and only if L(X,Y) is (either as a module or as a Banach space). Our results are new even in the well-studied case of isometric preduals. △ Less

Submitted 6 March, 2020; v1 submitted 17 September, 2016; originally announced September 2016.

Comments: 20 pages; to appear in International Journal of Mathematics

Quotients of Banach algebras acting on $L^p$-spaces

Authors: Eusebio Gardella, Hannes Thiel

Abstract: We show that the class of Banach algebras that can be isometrically represented on an $L^p$-space, for $p\neq 2$, is not closed under quotients. This answers a question asked by Le Merdy 20 years ago. Our methods are heavily reliant on our earlier study of Banach algebras generated by invertible isometries of $L^p$-spaces. We show that the class of Banach algebras that can be isometrically represented on an $L^p$-space, for $p\neq 2$, is not closed under quotients. This answers a question asked by Le Merdy 20 years ago. Our methods are heavily reliant on our earlier study of Banach algebras generated by invertible isometries of $L^p$-spaces. △ Less

Submitted 29 March, 2016; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: 6 pages. Version 2: minor modifications. To appear in Advances in Math

MSC Class: 47L10; 43A15 (Primary); 46J10 (Secondary)

Journal ref: Adv. Math. 296 (2016), 85-92

Tensor products and regularity properties of Cuntz semigroups

Authors: Ramon Antoine, Francesc Perera, Hannes Thiel

Abstract: The Cuntz semigroup of a C*-algebra is an important invariant in the structure and classification theory of C*-algebras. It captures more information than K-theory but is often more delicate to handle. We systematically study the lattice and category theoretic aspects of Cuntz semigroups. Given a C*-algebra $A$, its (concrete) Cuntz semigroup $Cu(A)$ is an object in the category $Cu$ of (abstrac… ▽ More The Cuntz semigroup of a C*-algebra is an important invariant in the structure and classification theory of C*-algebras. It captures more information than K-theory but is often more delicate to handle. We systematically study the lattice and category theoretic aspects of Cuntz semigroups. Given a C*-algebra $A$, its (concrete) Cuntz semigroup $Cu(A)$ is an object in the category $Cu$ of (abstract) Cuntz semigroups, as introduced by Coward, Elliott and Ivanescu. To clarify the distinction between concrete and abstract Cuntz semigroups, we will call the latter $Cu$-semigroups. We establish the existence of tensor products in the category $Cu$ and study the basic properties of this construction. We show that $Cu$ is a symmetric, monoidal category and relate $Cu(A\otimes B)$ with $Cu(A)\otimes_{Cu}Cu(B)$ for certain classes of C*-algebras. As a main tool for our approach we introduce the category $W$ of pre-completed Cuntz semigroups. We show that $Cu$ is a full, reflective subcategory of $W$. One can then easily deduce properties of $Cu$ from respective properties of $W$, e.g. the existence of tensor products and inductive limits. The advantage is that constructions in $W$ are much easier since the objects are purely algebraic. We also develop a theory of $Cu$-semirings and their semimodules. The Cuntz semigroup of a strongly self-absorbing C*-algebra has a natural product giving it the structure of a $Cu$-semiring. We give explicit characterizations of $Cu$-semimodules over such $Cu$-semirings. For instance, we show that a $Cu$-semigroup $S$ tensorially absorbs the $Cu$-semiring of the Jiang-Su algebra if and only if $S$ is almost unperforated and almost divisible, thus establishing a semigroup version of the Toms-Winter conjecture. △ Less

Submitted 9 October, 2015; v1 submitted 2 October, 2014; originally announced October 2014.

Comments: 195 pages; revised version; several proofs streamlined; some results corrected, in particular added 5.2.3-5.2.6

Report number: CPH-SYM-DNRF92 MSC Class: Primary 06B35; 06F05; 15A69; 46L05; Secondary 06B30; 06F25; 13J25; 16W80; 16Y60; 18B35; 18D20; 19K14; 46L06; 46M15; 54F05

Journal ref: Mem. Amer. Math. Soc. 251 (2018), no. 1199; viii+19 pages

Functoriality of group algebras acting on $L^p$-spaces

Authors: Eusebio Gardella, Hannes Thiel

Abstract: We continue our study of group algebras acting on $L^p$-spaces, particularly of algebras of $p$-pseudofunctions of locally compact groups. We focus on the functoriality properties of these objects. We show that $p$-pseudofunctions are functorial with respect to homomorphisms that are either injective, or whose kernel is amenable and has finite index. We also show that the universal completion of t… ▽ More We continue our study of group algebras acting on $L^p$-spaces, particularly of algebras of $p$-pseudofunctions of locally compact groups. We focus on the functoriality properties of these objects. We show that $p$-pseudofunctions are functorial with respect to homomorphisms that are either injective, or whose kernel is amenable and has finite index. We also show that the universal completion of the group algebra with respect to representations on $L^p$-spaces, is functorial with respect to quotient maps. As an application, we show that the algebras of $p$- and $q$-pseudofunctions on $\mathbb{Z}$ are (abstractly) isometrically isomorphic as Banach algebras if and only if $p$ and $q$ are either equal or conjugate. △ Less

Submitted 23 August, 2014; originally announced August 2014.

Comments: 12 pages

MSC Class: Primary: 22D20; 43A15. Secondary: 43A65; 46E30

Group algebras acting on $L^p$-spaces

Authors: Eusebio Gardella, Hannes Thiel

Abstract: For $p\in [1,\infty)$ we study representations of a locally compact group $G$ on $L^p$-spaces and $QSL^p$-spaces. The universal completions $F^p(G)$ and $F^p_{\mathrm{QS}}(G)$ of $L^1(G)$ with respect to these classes of representations (which were first considered by Phillips and Runde, respectively), can be regarded as analogs of the full group \ca{} of $G$ (which is the case $p=2$). We study th… ▽ More For $p\in [1,\infty)$ we study representations of a locally compact group $G$ on $L^p$-spaces and $QSL^p$-spaces. The universal completions $F^p(G)$ and $F^p_{\mathrm{QS}}(G)$ of $L^1(G)$ with respect to these classes of representations (which were first considered by Phillips and Runde, respectively), can be regarded as analogs of the full group \ca{} of $G$ (which is the case $p=2$). We study these completions of $L^1(G)$ in relation to the algebra $F^p_λ(G)$ of $p$-pseudofunctions. We prove a characterization of group amenability in terms of certain canonical maps between these universal Banach algebras. In particular, $G$ is amenable if and only if $F^p_{\mathrm{QS}}(G)=F^p(G)=F^p_λ(G)$. One of our main results is that for $1\leq p< q\leq 2$, there is a canonical map $γ_{p,q}\colon F^p(G)\to F^q(G)$ which is contractive and has dense range. When $G$ is amenable, $γ_{p,q}$ is injective, and it is never surjective unless $G$ is finite. We use the maps $γ_{p,q}$ to show that when $G$ is discrete, all (or one) of the universal completions of $L^1(G)$ are amenable as a Banach algebras if and only if $G$ is amenable. Finally, we exhibit a family of examples showing that the characterizations of group amenability mentioned above cannot be extended to $L^p$-operator crossed products of topological spaces. △ Less

Submitted 18 April, 2015; v1 submitted 23 August, 2014; originally announced August 2014.

Comments: Version 1: 27 pages. Version 2: lots of minor corrections, and we got rid of the second-countability assumption on the groups. 31 pages

MSC Class: Primary: 22D20; 43A15; 43A07. Secondary: 43A65; 46E30; 47L10

Journal ref: J. Fourier Anal. Appl. 21 (2015), no. 6, 1310--1343

Banach algebras generated by an invertible isometry of an $L^p$-space

Authors: Eusebio Gardella, Hannes Thiel

Abstract: We provide a complete description of those Banach algebras that are generated by an invertible isometry of an $L^p$-space together with its inverse. Examples include the algebra $PF_p(\mathbb{Z})$ of $p$-pseudofunctions on $\mathbb{Z}$, the commutative $C^*$-algebra $C(S^1)$ and all of its quotients, as well as uncountably many `exotic' Banach algebras. We associate to each isometry of an $L^p$-… ▽ More We provide a complete description of those Banach algebras that are generated by an invertible isometry of an $L^p$-space together with its inverse. Examples include the algebra $PF_p(\mathbb{Z})$ of $p$-pseudofunctions on $\mathbb{Z}$, the commutative $C^*$-algebra $C(S^1)$ and all of its quotients, as well as uncountably many `exotic' Banach algebras. We associate to each isometry of an $L^p$-space, a spectral invariant called `spectral configuration', which contains considerably more information than its spectrum as an operator. It is shown that the spectral configuration describes the isometric isomorphism type of the Banach algebra that the isometry generates together with its inverse. It follows from our analysis that these algebras are semisimple. With the exception of $PF_p(\mathbb{Z})$, they are all closed under continuous functional calculus, and their Gelfand transform is an isomorphism. As an application of our results, we show that Banach algebras that act on $L^1$-spaces are not closed under quotients. This answers the case $p=1$ of a question asked by Le Merdy 20 years ago. △ Less

Submitted 18 December, 2014; v1 submitted 21 May, 2014; originally announced May 2014.

Comments: 36 pages. Changes in v2: the results of Section 2 have been improved and extended, so they were removed to be included elsewhere. We showed that every Hölder exponent not equal to 2 is what we called 'regular', so this notion does not appear anymore. Fixed a number of typos, improved presentation, and added references. Changes in v3: added a new section with an application. Updated references

MSC Class: Primary: 46J40; 46H35; Secondary: 47L10

Journal ref: J. Funct. Anal. 269 (2015), no. 6, 1796--1839

Semiprojectivity with and without a group action

Authors: N. Christopher Phillips, Adam P. W. Sørensen, Hannes Thiel

Abstract: The equivariant version of semiprojectivity was recently introduced by the first author. We study properties of this notion, in particular its relation to ordinary semiprojectivity of the crossed product and of the algebra itself. We show that equivariant semiprojectivity is preserved when the action is restricted to a cocompact subgroup. Thus, if a second countable compact group acts semiprojec… ▽ More The equivariant version of semiprojectivity was recently introduced by the first author. We study properties of this notion, in particular its relation to ordinary semiprojectivity of the crossed product and of the algebra itself. We show that equivariant semiprojectivity is preserved when the action is restricted to a cocompact subgroup. Thus, if a second countable compact group acts semiprojectively on a C*-algebra $A$, then $A$ must be semiprojective. This fails for noncompact groups: we construct a semiprojective action of the integers on a nonsemiprojective C*-algebra. We also study equivariant projectivity and obtain analogous results, however with fewer restrictions on the subgroup. For example, if a discrete group acts projectively on a C*-algebra $A$, then $A$ must be projective. This is in contrast to the semiprojective case. We show that the crossed product by a semiprojective action of a finite group on a unital C*-algebra is a semiprojective C*-algebra. We give examples to show that this does not generalize to all compact groups. △ Less

Submitted 13 March, 2014; originally announced March 2014.

Comments: 38 pages

Report number: CPH-SYM-00 MSC Class: 46L55 (Primary); 22D05; 22D15; 22D30; 46M10; 55P91; 54C55; 55M15 (Secondary)

Journal ref: J. Funct. Anal. 268 (2015), 929-973

The generator rank of C*-algebras

Authors: Hannes Thiel

Abstract: We show that every AF-algebra is generated by a single operator. This was previously unclear, since the invariant that assigns to a C*-algebra its minimal number of generators lacks natural permanence properties. In particular, it may increase when passing to ideals or inductive limits. To obtain a better behaved theory, we not only ask if a C*-algebra is generated by $n$ elements, but also if g… ▽ More We show that every AF-algebra is generated by a single operator. This was previously unclear, since the invariant that assigns to a C*-algebra its minimal number of generators lacks natural permanence properties. In particular, it may increase when passing to ideals or inductive limits. To obtain a better behaved theory, we not only ask if a C*-algebra is generated by $n$ elements, but also if generating $n$-tuples are dense. This defines the generator rank, which we show has many natural permanence properties: it does not increase when passing to ideals, quotients or inductive limits. △ Less

Submitted 18 November, 2020; v1 submitted 24 October, 2012; originally announced October 2012.

Comments: 24 pages; to appear in J. Funct. Anal

MSC Class: 46L05; 46L85 (Primary) 54F45; 55M10 (Secondary)

The topological dimension of type I C*-algebras

Authors: Hannes Thiel

Abstract: While there is only one natural dimension concept for separable, metric spaces, the theory of dimension in noncommutative topology ramifies into different important concepts. To accommodate this, we introduce the abstract notion of a noncommutative dimension theory by proposing a natural set of axioms. These axioms are inspired by properties of commutative dimension theory, and they are for instan… ▽ More While there is only one natural dimension concept for separable, metric spaces, the theory of dimension in noncommutative topology ramifies into different important concepts. To accommodate this, we introduce the abstract notion of a noncommutative dimension theory by proposing a natural set of axioms. These axioms are inspired by properties of commutative dimension theory, and they are for instance satisfied by the real and stable rank, the decomposition rank and the nuclear dimension. We add another theory to this list by showing that the topological dimension, as introduced by Brown and Pedersen, is a noncommutative dimension theory of type I C*-algebras. We also give estimates of the real and stable rank of a type I C*-algebra in terms of its topological dimension. △ Less

Submitted 5 February, 2013; v1 submitted 16 October, 2012; originally announced October 2012.

Comments: 20 pages; minor corrections

Report number: CPH-SYM-00 MSC Class: 46L05; 46L85 (Primary); 54F45; 55M10 (Secondary)

Journal ref: Operator algebra and dynamics. Nordforsk network closing conference, Gjógv, Faroe Islands, May 2012. Springer Proceedings in Mathematics & Statistics, 58 (2013), 305-328

The generator problem for Z-stable C*-algebras

Authors: Hannes Thiel, Wilhelm Winter

Abstract: The generator problem was posed by Kadison in 1967, and it remains open until today. We provide a solution for the class of C*-algebras absorbing the Jiang-Su algebra Z tensorially. More precisely, we show that every unital, separable, Z-stable C*-algebras A is singly generated, which means that there exists an element x in A that is not contained in any proper sub-C*-algebra of A. To give appli… ▽ More The generator problem was posed by Kadison in 1967, and it remains open until today. We provide a solution for the class of C*-algebras absorbing the Jiang-Su algebra Z tensorially. More precisely, we show that every unital, separable, Z-stable C*-algebras A is singly generated, which means that there exists an element x in A that is not contained in any proper sub-C*-algebra of A. To give applications of our result, we observe that Z can be embedded into the reduced group C*-algebra of a discrete group that contains a non-cyclic, free subgroup. It follows that certain tensor products with reduced group C*-algebras are singly generated. In particular, the tensor product of two reduced free group C*-algebras is singly generated. △ Less

Submitted 18 January, 2012; originally announced January 2012.

Comments: 15 pages

Report number: CPH-SYM-00 MSC Class: 46L05; 46L85 (Primary) 46L35 (Secondary)

Journal ref: Trans. Am. Math. Soc. 366 (2014), No. 5, 2327-2343

Inductive limits of projective C*-algebras

Authors: Hannes Thiel

Abstract: We show that a separable C*-algebra is an inductive limits of projective C*-algebras if and only if it has trivial shape, that is, if it is shape equivalent to the zero C*-algebra. In particular, every contractible C*-algebra is an inductive limit of projectives, and one may assume that the connecting morphisms are surjective. Interestingly, an example of Dadarlat shows that trivial shape does not… ▽ More We show that a separable C*-algebra is an inductive limits of projective C*-algebras if and only if it has trivial shape, that is, if it is shape equivalent to the zero C*-algebra. In particular, every contractible C*-algebra is an inductive limit of projectives, and one may assume that the connecting morphisms are surjective. Interestingly, an example of Dadarlat shows that trivial shape does not pass to full hereditary sub-C*-algebra. It then follows that the same fails for projectivity. To obtain these results, we develop criteria for inductive limit decompositions, and we discuss the relation with different concepts of approximation. As a main application of our findings we show that a C*-algebra is (weakly) projective if and only if it is (weakly) semiprojective and has trivial shape. It follows that a \ca{} is projective if and only if it is contractible and semiprojective. This confirms a conjecture of Loring. △ Less

Submitted 14 December, 2017; v1 submitted 10 May, 2011; originally announced May 2011.

Comments: 22 pages

Report number: CPH-SYM-00 MSC Class: 46L05; 46L85; 46M10 (Primary); 46M20; 54C56; 55P55 (Secondary)

A characterization of semiprojectivity for commutative C*-algebras

Authors: Adam P. W. Sørensen, Hannes Thiel

Abstract: Given a compact, metric space X, we show that the commutative C*-algebra C(X) is semiprojective if and only if X is an absolute neighborhood retract of dimension at most one. This confirms a conjecture of Blackadar. Generalizing to the non-unital setting, we derive a characterization of semiprojectivity for separable, commutative C*-algebras. As further application of our findings we verify two co… ▽ More Given a compact, metric space X, we show that the commutative C*-algebra C(X) is semiprojective if and only if X is an absolute neighborhood retract of dimension at most one. This confirms a conjecture of Blackadar. Generalizing to the non-unital setting, we derive a characterization of semiprojectivity for separable, commutative C*-algebras. As further application of our findings we verify two conjectures of Loring and Blackadar in the commutative case, and we give a partial answer to the question, when a commutative C*-algebra is weakly (semi-)projective. △ Less

Submitted 26 January, 2011; v1 submitted 10 January, 2011; originally announced January 2011.

Comments: 30 pages; typos corrected, small changes in section 6, theorem 6.15, corollary 6.9 extended

Report number: CPH-SYM-00 MSC Class: 46L05; 54C55; 55M15; 54F50 (Primary) 46L80; 46M10; 54F15; 54D35; 54C56; 55P55 (Secondary)

Journal ref: Proc. Lond. Math. Soc. (3) 105 (2012), no. 5, 1021-1046

The Cuntz Semigroup and Comparison of Open Projections

Authors: Eduard Ortega, Mikael Rordam, Hannes Thiel

Abstract: We show that a number of naturally occurring comparison relations on positive elements in a C*-algebra are equivalent to natural comparison properties of their corresponding open projections in the bidual of the C*-algebra. In particular we show that Cuntz comparison of positive elements corresponds to a comparison relation on open projections, that we call Cuntz comparison, and which is defined i… ▽ More We show that a number of naturally occurring comparison relations on positive elements in a C*-algebra are equivalent to natural comparison properties of their corresponding open projections in the bidual of the C*-algebra. In particular we show that Cuntz comparison of positive elements corresponds to a comparison relation on open projections, that we call Cuntz comparison, and which is defined in terms of-and is weaker than-a comparison notion defined by Peligrad and Zsidó. The latter corresponds to a well-known comparison relation on positive elements defined by Blackadar. We show that Murray-von Neumann comparison of open projections corresponds to tracial comparison of the corresponding positive elements of the C*-algebra. We use these findings to give a new picture of the Cuntz semigroup. △ Less

Submitted 20 August, 2010; originally announced August 2010.

Report number: CPH-SYM-00 MSC Class: 46L10; 46L35

Journal ref: J.Funct. Anal. 260 (2011), no. 12, 3474-3493