Showing 1–36 of 36 results for author: Hirshberg, I

Simple AH algebras with the same Elliott invariant and radius of comparison

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: We construct an uncountable family of pairwise nonisomorphic AH algebras with the same Elliott invariant and same radius of comparison. They can be distinguished by a local radius of comparison function, naturally defined on the positive cone of the K_0 group. We construct an uncountable family of pairwise nonisomorphic AH algebras with the same Elliott invariant and same radius of comparison. They can be distinguished by a local radius of comparison function, naturally defined on the positive cone of the K_0 group. △ Less

Submitted 2 July, 2024; v1 submitted 18 December, 2023; originally announced December 2023.

Comments: 34 pages; added some details and corrected misprints

MSC Class: Primary 46L35; Secondary 46L80

Powers averaging for actions on $C(X)$-algebras

Authors: Tattwamasi Amrutam, Ilan Hirshberg, Apurva Seth

Abstract: Given a unital $C(X)$-algebra $A$ discrete group $Γ$ and an action $α: Γ\to \text{aut}(A)$ which leaves $C(X)$ invariant and such that $C(X)\rtimes_{α,r} Γ$ is simple, and a $2$-cocycle $ω$, we obtain a bijective correspondence between maximal $Γ$-invariant ideals of $A$ and maximal ideals in $A\rtimes_{α,ω,r} Γ$. In particular, $A\rtimes_{α,ω,r} Γ$ is simple if and only if $A$ has no $Γ$-invarian… ▽ More Given a unital $C(X)$-algebra $A$ discrete group $Γ$ and an action $α: Γ\to \text{aut}(A)$ which leaves $C(X)$ invariant and such that $C(X)\rtimes_{α,r} Γ$ is simple, and a $2$-cocycle $ω$, we obtain a bijective correspondence between maximal $Γ$-invariant ideals of $A$ and maximal ideals in $A\rtimes_{α,ω,r} Γ$. In particular, $A\rtimes_{α,ω,r} Γ$ is simple if and only if $A$ has no $Γ$-invariant ideals. △ Less

Submitted 9 April, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: Minor Revisions

MSC Class: 46L55; 37A55

A dichotomy for central sequence algebras

Authors: Ilijas Farah, Ilan Hirshberg

Abstract: We prove that the central sequence algebra of a separable C*-algebra is either subhomogeneous or non-exact, confirming a conjecture of Enders and Shulman. We also prove analogous dichotomy for other massive C*-algebras. We prove that the central sequence algebra of a separable C*-algebra is either subhomogeneous or non-exact, confirming a conjecture of Enders and Shulman. We also prove analogous dichotomy for other massive C*-algebras. △ Less

Submitted 30 November, 2023; originally announced November 2023.

Comments: 6 pages

MSC Class: 46L05; 46M07

Intermediate crossed product $C^*$-algebras

Authors: Tattwamasi Amrutam, Ilan Hirshberg, Apurva Seth

Abstract: Let $B$ be a separable $C^*$-algebra, let $Γ$ be a discrete countable group, let $α: Γ\to \text{Aut}(B)$ be an action, and let $A$ be an invariant subalgebra. We find certain freeness conditions which guarantee that any intermediate $C^*$-algebra $A \rtimes_{α,r} Γ\subseteq C \subseteq B \rtimes_{α,r} Γ$ is a crossed product of an intermediate invariant subalgebra $A \subseteq C_0 \subseteq B$ by… ▽ More Let $B$ be a separable $C^*$-algebra, let $Γ$ be a discrete countable group, let $α: Γ\to \text{Aut}(B)$ be an action, and let $A$ be an invariant subalgebra. We find certain freeness conditions which guarantee that any intermediate $C^*$-algebra $A \rtimes_{α,r} Γ\subseteq C \subseteq B \rtimes_{α,r} Γ$ is a crossed product of an intermediate invariant subalgebra $A \subseteq C_0 \subseteq B$ by $Γ$. Those are used to generalize related results by Suzuki. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Comments: Preliminary version. Comments are welcome. 29 Pages

MSC Class: 46L05; 46L10; 46L55

Long thin covers and nuclear dimension

Authors: Ilan Hirshberg, Jianchao Wu

Abstract: We establish finite nuclear dimension for crossed product C*-algebras arising from various classes of possibly non-free topological actions, including arbitrary actions of finitely generated virtually nilpotent groups on finite dimensional spaces, certain amenable actions of hyperbolic groups, and certain allosteric actions of wreath products. We obtain these results by introducing a new notion of… ▽ More We establish finite nuclear dimension for crossed product C*-algebras arising from various classes of possibly non-free topological actions, including arbitrary actions of finitely generated virtually nilpotent groups on finite dimensional spaces, certain amenable actions of hyperbolic groups, and certain allosteric actions of wreath products. We obtain these results by introducing a new notion of dimension for topological dynamical systems, called the long thin covering dimension, which involves a suitable version of Rokhlin-type towers with controlled overlaps for possibly non-free actions. △ Less

Submitted 7 March, 2024; v1 submitted 23 August, 2023; originally announced August 2023.

Comments: Revised to obtain better bounds, correct minor errors and improve the exposition; most significant changes are in Section 10 and the introduction; 122 pages

MSC Class: 46L55 (Primary) 37A55; 46L35 (Secondary)

Exotic circle actions on classifiable C*-algebras

Authors: Ilan Hirshberg

Abstract: We construct an example of a simple nuclear separable unital stably finite Z-stable C*-algebra along with an action of the circle such that the crossed product is simple but not Z-stable. We construct an example of a simple nuclear separable unital stably finite Z-stable C*-algebra along with an action of the circle such that the crossed product is simple but not Z-stable. △ Less

Submitted 21 December, 2023; v1 submitted 13 August, 2023; originally announced August 2023.

Comments: 10 pages. Minor revisions. To appear, J. Funct. Anal

Values of Rokhlin dimension for actions of compact groups

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: We show that any finite group admits actions on simple AF algebras with unique trace which have arbitrarily large finite values of Rokhlin dimension with commuting towers. We show similar results for actions of compact Lie groups, with AH algebras with no dimension growth in place of AF algebras. We also relate Rokhlin dimension to the G-index for actions of compact Lie groups on commutative C*-al… ▽ More We show that any finite group admits actions on simple AF algebras with unique trace which have arbitrarily large finite values of Rokhlin dimension with commuting towers. We show similar results for actions of compact Lie groups, with AH algebras with no dimension growth in place of AF algebras. We also relate Rokhlin dimension to the G-index for actions of compact Lie groups on commutative C*-algebras. △ Less

Submitted 27 July, 2023; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 22 pages. Added a reference

MSC Class: 46L40

Strongly outer actions of amenable groups on $\mathcal{Z}$-stable nuclear $C^*$-algebras

Authors: Eusebio Gardella, Ilan Hirshberg, Andrea Vaccaro

Abstract: Let $A$ be a separable, unital, simple, $\mathcal{Z}$-stable, nuclear $C^*$-algebra, and let $α\colon G\to \mathrm{Aut}(A)$ be an action of a discrete, countable, amenable group. Suppose that the orbits of the action of $G$ on $T(A)$ are finite and that their cardinality is bounded. We show that $α$ is strongly outer if and only if $α\otimes\mathrm{id}_{\mathcal{Z}}$ has the weak tracial Rokhlin p… ▽ More Let $A$ be a separable, unital, simple, $\mathcal{Z}$-stable, nuclear $C^*$-algebra, and let $α\colon G\to \mathrm{Aut}(A)$ be an action of a discrete, countable, amenable group. Suppose that the orbits of the action of $G$ on $T(A)$ are finite and that their cardinality is bounded. We show that $α$ is strongly outer if and only if $α\otimes\mathrm{id}_{\mathcal{Z}}$ has the weak tracial Rokhlin property. If $G$ is moreover residually finite, these conditions are also equivalent to $α\otimes\mathrm{id}_{\mathcal{Z}}$ having finite Rokhlin dimension (in fact, at most 2). If $\partial_eT(A)$ is furthermore compact, has finite covering dimension, and the orbit space $\partial_eT(A)/G$ is Hausdorff, we generalize results by Matui and Sato to show that $α$ is cocycle conjugate to $α\otimes\mathrm{id}_{\mathcal{Z}}$, even if $α$ is not strongly outer. In particular, in this case the equivalences above hold for $α$ in place of $α\otimes\mathrm{id}_{\mathcal{Z}}$. In the course of the proof, we develop equivariant versions of complemented partitions of unity and uniform property $Γ$ as technical tools of independent interest. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Comments: 51 pages; this preprint supersedes and expands arXiv:1811.00447

MSC Class: 46L05 (primary); 37A55

Radius of comparison and mean cohomological independence dimension

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: We introduce a notion of mean cohomological independence dimension for actions of discrete amenable groups on compact metrizable spaces, as a variant of mean dimension, and use it to obtain lower bounds for the radius of comparison of the associated crossed product C*-algebras. Our general theory gives the following for the minimal subshifts constructed by Dou in 2017. Let G be a countable amenabl… ▽ More We introduce a notion of mean cohomological independence dimension for actions of discrete amenable groups on compact metrizable spaces, as a variant of mean dimension, and use it to obtain lower bounds for the radius of comparison of the associated crossed product C*-algebras. Our general theory gives the following for the minimal subshifts constructed by Dou in 2017. Let G be a countable amenable group, let Z be a polyhedron, and let T be Dou's subshift of Z^G (which also depends on a density parameter). Then the radius of comparison of the crossed product is greater than r (1/2) mdim (T) - 2, in which r depends on the density parameter and is close to 1 when the density parameter is close to 1. If Z is even dimensional and has nonvanishing rational cohomology in degree dim (Z), then the radius of comparison of the crossed product is greater than (1/2) mdim (T) - 1, regardless of what the density parameter is. △ Less

Submitted 27 September, 2020; originally announced September 2020.

Comments: AMSLaTeX; 27 pages

MSC Class: 46L05; 46L55; 54H20 (primary); 37B05; 46L80 (secondary)

Rokhlin-type properties, approximate innerness and Z-stability

Authors: Ilan Hirshberg

Abstract: We establish four results concerning connections between actions on separable C*-algebras with Rokhlin-type properties and absorption of the Jiang-Su algebra Z. For actions of residually finite groups or of the reals which have finite Rokhlin dimension with commuting towers, we show that if the action of any nontrivial group element is approximately inner then the C*-algebra acted upon is Z-stable… ▽ More We establish four results concerning connections between actions on separable C*-algebras with Rokhlin-type properties and absorption of the Jiang-Su algebra Z. For actions of residually finite groups or of the reals which have finite Rokhlin dimension with commuting towers, we show that if the action of any nontrivial group element is approximately inner then the C*-algebra acted upon is Z-stable. Without the assumption on approximate innerness, we show that the crossed product has good divisibility properties under mild assumptions. We also establish an analogous result for the generalized tracial Rokhlin property and tracial versions of approximate innerness and Z-absorption for actions of finite groups and of the integers. For actions of a single automorphism which have the Rokhlin property, we show that a condition which is strictly weaker than requiring that some power of the automorphism is approximately inner is sufficient to obtain that the crossed product absorbs Z even when the original algebra is not. △ Less

Submitted 5 July, 2020; v1 submitted 21 March, 2020; originally announced March 2020.

Comments: 26 pages. Added a section on the generalized tracial Rokhlin property, enlarged introduction. The title of the paper changed to reflect the added content

A rigid hyperfinite type $\mathrm{II}_1$ factor

Authors: Ilijas Farah, Ilan Hirshberg

Abstract: We show that it is relatively consistent with ZFC that there exists a hyperfinite type $\mathrm{II}_1$-factor of density character $\aleph_1$ which is not isomorphic to its opposite, does not have any outer automorphisms, and has trivial fundamental group. We show that it is relatively consistent with ZFC that there exists a hyperfinite type $\mathrm{II}_1$-factor of density character $\aleph_1$ which is not isomorphic to its opposite, does not have any outer automorphisms, and has trivial fundamental group. △ Less

Submitted 27 February, 2020; v1 submitted 29 December, 2019; originally announced December 2019.

Comments: 12 pages. Additional minor changes

A simple nuclear C*-algebra with an internal asymmetry

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: We construct an example of a simple approximately homogeneous C*-algebra such that its Elliott invariant admits an automorphism which is not induced by an automorphism of the algebra. We construct an example of a simple approximately homogeneous C*-algebra such that its Elliott invariant admits an automorphism which is not induced by an automorphism of the algebra. △ Less

Submitted 7 February, 2021; v1 submitted 24 September, 2019; originally announced September 2019.

Comments: AMSLaTeX; 34 pages. In version 2, various misprints have been fixed, and a conceptually minor but messy correction has been made to the proof of the main theorem

MSC Class: 46L35; 46L40 (primary); 19K14; 46L80 (secondary)

Journal ref: Analysis & PDE 16 (2023) 711-745

Strongly outer actions of amenable groups on $\mathcal{Z}$-stable $C^*$-algebras

Authors: Eusebio Gardella, Ilan Hirshberg

Abstract: Let $A$ be a separable, unital, simple, $\mathcal{Z}$-stable, nuclear $C^*$-algebra, and let $α\colon G\to \mathrm{Aut}(A)$ be an action of a countable amenable group $G$. If the trace space $T(A)$ is a Bauer simplex and the action of $G$ on $\partial_eT(A)$ has finite orbits and Hausdorff orbit space, we show that $α$ is strongly outer if and only if $α\otimes\mathrm{id}_{\mathcal{Z}}$ has the we… ▽ More Let $A$ be a separable, unital, simple, $\mathcal{Z}$-stable, nuclear $C^*$-algebra, and let $α\colon G\to \mathrm{Aut}(A)$ be an action of a countable amenable group $G$. If the trace space $T(A)$ is a Bauer simplex and the action of $G$ on $\partial_eT(A)$ has finite orbits and Hausdorff orbit space, we show that $α$ is strongly outer if and only if $α\otimes\mathrm{id}_{\mathcal{Z}}$ has the weak tracial Rokhlin property. If $G$ is moreover residually finite, then these conditions are also equivalent to $α\otimes\mathrm{id}_{\mathcal{Z}}$ having finite Rokhlin dimension (in fact, at most 2). When the covering dimension of $\partial_eT(A)$ is finite, we prove that $α$ is cocycle conjugate to $α\otimes\mathrm{id}_{\mathcal{Z}}$. In particular, the equivalences above hold for $α$ in place of $α\otimes\mathrm{id}_{\mathcal{Z}}$. △ Less

Submitted 5 March, 2020; v1 submitted 1 November, 2018; originally announced November 2018.

Comments: Version 3: 47 pages. Deep revision of the previous version. In addition to fixing several gaps, we improved the results on Rokhlin dimension: we are now able to handle arbitrary residually finite amenable groups

The nuclear dimension of $C^*$-algebras associated to topological flows and orientable line foliations

Authors: Ilan Hirshberg, Jianchao Wu

Abstract: We show that for any locally compact Hausdorff space $Y$ with finite covering dimension and for any continuous flow $\mathbb{R} \curvearrowright Y$, the resulting crossed product $C^*$-algebra $C_0(Y) \rtimes \mathbb{R}$ has finite nuclear dimension. This generalizes previous results for free flows, where this was proved using Rokhlin dimension techniques. As an application, we obtain bounds for t… ▽ More We show that for any locally compact Hausdorff space $Y$ with finite covering dimension and for any continuous flow $\mathbb{R} \curvearrowright Y$, the resulting crossed product $C^*$-algebra $C_0(Y) \rtimes \mathbb{R}$ has finite nuclear dimension. This generalizes previous results for free flows, where this was proved using Rokhlin dimension techniques. As an application, we obtain bounds for the nuclear dimension of $C^*$-algebras associated to one-dimensional orientable foliations. This result is analogous to the one we obtained earlier for non-free actions of $\mathbb{Z}$. Some novel techniques in our proof include the use of a conditional expectation constructed from the inclusion of a clopen subgroupoid, as well as the introduction of what we call fiberwise groupoid coverings that help us build a link between foliation $C^*$-algebras and crossed products. △ Less

Submitted 10 May, 2021; v1 submitted 5 July, 2018; originally announced July 2018.

Comments: 46 pages; minor revisions; to appear in Advances in Mathematics

MSC Class: 54H20 (Primary); 22A22; 46L35 (secondary)

Rokhlin dimension: duality, tracial properties, and crossed products

Authors: Eusebio Gardella, Ilan Hirshberg, Luis Santiago

Abstract: We study compact group actions with finite Rokhlin dimension, particularly in relation to crossed products. For example, we characterize the duals of such actions, generalizing previous partial results for the Rokhlin property. As an application, we determine the ideal structure of their crossed products. Under the assumption of so-called commuting towers, we show that taking crossed products by s… ▽ More We study compact group actions with finite Rokhlin dimension, particularly in relation to crossed products. For example, we characterize the duals of such actions, generalizing previous partial results for the Rokhlin property. As an application, we determine the ideal structure of their crossed products. Under the assumption of so-called commuting towers, we show that taking crossed products by such actions preserves a number of relevant classes of C*-algebras, including: $D$-absorbing C*-algebras, where $D$ is a strongly self-absorbing C*-algebra, stable C*-algebras, C*-algebras with finite nuclear dimension (or decomposition rank), C*-algebras with finite stable rank (or real rank), and C*-algebras whose K-theory is either trivial, rational, or $n$-divisible for $n\in\mathbb{N}$. The combination of nuclearity and the UCT is also shown to be preserved by these actions. Some of these results are new even in the well-studied case of the Rokhlin property. Additionally, and under some technical assumptions, we show that finite Rokhlin dimension with commuting towers implies the (weak) tracial Rokhlin property. At the core of our arguments is a certain local approximation of the crossed product by a continuous $C(X)$-algebra with fibers that are stably isomorphic to the underlying algebra. The space $X$ is computed in some cases of interest, and we use its description to construct a $\mathbb{Z}_2$-action on a unital AF-algebra and on a unital Kirchberg algebra satisfying the UCT, whose Rokhlin dimensions with and without commuting towers are finite but do not agree. △ Less

Submitted 30 September, 2020; v1 submitted 1 September, 2017; originally announced September 2017.

Comments: 52 pages. Version 2: several minor changes; extended introduction. To appear in Ergodic Theory and Dynamical Systems

MSC Class: 46L55 (Primary) 46L35; 46L80 (Secondary)

The Calkin algebra is $\aleph_1$-universal

Authors: Ilijas Farah, Ilan Hirshberg, Alessandro Vignati

Abstract: We discuss the existence of (injectively) universal C*-algebras and prove that all C*-algebras of density character $\aleph_1$ embed into the Calkin algebra, $Q(H)$. Together with other results, this shows that each of the following assertions is relatively consistent with ZFC: (i) $Q(H)$ is a $2^{\aleph_0}$-universal C*-algebra. (ii) There exists a $2^{\aleph_0}$-universal C*-algebra, but $Q(H)$… ▽ More We discuss the existence of (injectively) universal C*-algebras and prove that all C*-algebras of density character $\aleph_1$ embed into the Calkin algebra, $Q(H)$. Together with other results, this shows that each of the following assertions is relatively consistent with ZFC: (i) $Q(H)$ is a $2^{\aleph_0}$-universal C*-algebra. (ii) There exists a $2^{\aleph_0}$-universal C*-algebra, but $Q(H)$ is not $2^{\aleph_0}$-universal. (iii) A $2^{\aleph_0}$-universal C*-algebra does not exist. We also prove that it is relatively consistent with ZFC that (iv) there is no $\aleph_1$-universal nuclear C*-algebra, and that (v) there is no $\aleph_1$-universal simple nuclear C*-algebra. △ Less

Submitted 16 October, 2018; v1 submitted 6 July, 2017; originally announced July 2017.

Comments: 18 pages. Some undefined LaTeX macros were removed from the abstract. This version is otherwise identical to v3. (The latter was a radically new version, with new coauthors, revised and updated)

MSC Class: 46L05; 03E35; 03E75

A simple AF algebra not isomorphic to its opposite

Authors: Ilijas Farah, Ilan Hirshberg

Abstract: We show that it is consistent with ZFC that there is a simple nuclear non-separable C*-algebra which is not isomorphic to its opposite algebra. We can furthermore guarantee that this example is an inductive limit of unital copies of the Cuntz algebra O_2, or of the CAR algebra. We show that it is consistent with ZFC that there is a simple nuclear non-separable C*-algebra which is not isomorphic to its opposite algebra. We can furthermore guarantee that this example is an inductive limit of unital copies of the Cuntz algebra O_2, or of the CAR algebra. △ Less

Submitted 29 March, 2017; v1 submitted 4 December, 2016; originally announced December 2016.

Comments: 13 pages. To appear in PNAS

Rokhlin dimension for flows

Authors: Ilan Hirshberg, Gabor Szabo, Wilhelm Winter, Jianchao Wu

Abstract: We introduce a notion of Rokhlin dimension for one parameter automorphism groups of C*-algebras. This generalizes Kishimoto's Rokhlin property for flows, and is analogous to the notion of Rokhlin dimension for actions of the integers and other discrete groups introduced by the authors and Zacharias in previous papers. We show that finite nuclear dimension and absorption of a strongly self-absorbin… ▽ More We introduce a notion of Rokhlin dimension for one parameter automorphism groups of C*-algebras. This generalizes Kishimoto's Rokhlin property for flows, and is analogous to the notion of Rokhlin dimension for actions of the integers and other discrete groups introduced by the authors and Zacharias in previous papers. We show that finite nuclear dimension and absorption of a strongly self-absorbing C*-algebra are preserved under forming crossed products by flows with finite Rokhlin dimension, and that these crossed products are stable. Furthermore, we show that a flow on a commutative C*-algebra arising from a free topological flow has finite Rokhlin dimension, whenever the spectrum is a locally compact metrizable space with finite covering dimension. For flows that are both free and minimal, this has strong consequences for the associated crossed product C*-algebras: Those containing a non-zero projection are classified by the Elliott invariant (for compact manifolds this consists of topological K-theory together with the space of invariant probability measures and a natural pairing given by the Ruelle-Sullivan map). △ Less

Submitted 7 September, 2016; v1 submitted 8 July, 2016; originally announced July 2016.

Comments: 67 pages. Minor changes from previous version. To appear, Comm. Math. Phys

MSC Class: 46L55

Journal ref: Comm. Math. Phys. 353 (2017), no. 1, pp. 253-316

Simple nuclear C*-algebras not equivariantly isomorphic to their opposites

Authors: Marius Dadarlat, Ilan Hirshberg, N. Christopher Phillips

Abstract: We exhibit examples of simple separable nuclear C*-algebras, along with actions of the circle group and outer actions of the integers, which are not equivariantly isomorphic to their opposite algebras. In fact, the fixed point subalgebras are not isomorphic to their opposites. The C*-algebras we exhibit are well behaved from the perspective of structure and classification of nuclear C*-algebras: t… ▽ More We exhibit examples of simple separable nuclear C*-algebras, along with actions of the circle group and outer actions of the integers, which are not equivariantly isomorphic to their opposite algebras. In fact, the fixed point subalgebras are not isomorphic to their opposites. The C*-algebras we exhibit are well behaved from the perspective of structure and classification of nuclear C*-algebras: they are unital C*-algebras in the UCT class, with finite nuclear dimension. One is an AH-algebra with unique tracial state and absorbs the CAR algebra tensorially. The other is a Kirchberg algebra. △ Less

Submitted 15 February, 2016; originally announced February 2016.

Comments: AMSLaTeX; 20 pages

MSC Class: 46L35; 46L55

The nuclear dimension of C*-algebras associated to homeomorphisms

Authors: Ilan Hirshberg, Jianchao Wu

Abstract: We show that if X is a finite dimensional locally compact Hausdorff space, then the crossed product of C_0(X) by any automorphism has finite nuclear dimension. This generalizes previous results, in which the automorphism was required to be free. As an application, we show that group C*-algebras of certain non-nilpotent groups have finite nuclear dimension. We show that if X is a finite dimensional locally compact Hausdorff space, then the crossed product of C_0(X) by any automorphism has finite nuclear dimension. This generalizes previous results, in which the automorphism was required to be free. As an application, we show that group C*-algebras of certain non-nilpotent groups have finite nuclear dimension. △ Less

Submitted 19 August, 2016; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: With an appendix by Gabor Szabo. 28 pages. Minor typos corrected. To appear, Adv. Math. arXiv admin note: text overlap with arXiv:1308.5418 by other authors

Journal ref: Adv. Math. 304 (2017), pp. 56--89

The Calkin algebra is not countably homogeneous

Authors: Ilijas Farah, Ilan Hirshberg

Abstract: We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that the connected component of the unitary group of the Calkin algebra is not countably homogeneous. We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that the connected component of the unitary group of the Calkin algebra is not countably homogeneous. △ Less

Submitted 6 February, 2016; v1 submitted 24 June, 2015; originally announced June 2015.

Comments: Minor corrections. To appear in Proc. AMS

Rokhlin dimension: obstructions and permanence properties

Authors: Ilan Hirshberg, N. Christopher Phillips

Abstract: This paper is a further study of finite Rokhlin dimension for actions of finite groups and the integers on C*-algebras, introduced by the first author, Winter, and Zacharias. We extend the definition of finite Rokhlin dimension to the nonunital case. This definition behaves well with respect to extensions, and is sufficient to establish permanence of finite nuclear dimension and Z-absorption. We e… ▽ More This paper is a further study of finite Rokhlin dimension for actions of finite groups and the integers on C*-algebras, introduced by the first author, Winter, and Zacharias. We extend the definition of finite Rokhlin dimension to the nonunital case. This definition behaves well with respect to extensions, and is sufficient to establish permanence of finite nuclear dimension and Z-absorption. We establish K-theoretic obstructions to the existence of actions of finite groups with finite Rokhlin dimension (in the commuting tower version). In particular, we show that there are no actions of any nontrivial finite group on the Jiang-Su algebra or on the Cuntz algebra O_\infty with finite Rokhlin dimension in this sense. △ Less

Submitted 20 February, 2015; v1 submitted 24 October, 2014; originally announced October 2014.

Comments: 33 pages, minor changes, to appear, Doc. Math

The Rokhlin property for endomorphisms and strongly self-absorbing C*-algebras

Authors: Jonathan Brown, Ilan Hirshberg

Abstract: In this paper we define a Rokhlin property for automorphisms of non-unital C*-algebras and for endomorphisms. We show that the crossed product of a C*-algebra by a Rokhlin automorphism preserves absorption of a strongly self-absorbing C*-algebra, and use this result to deduce that the same result holds for crossed products by endomorphisms in the sense of Stacey. This generalizes earlier results o… ▽ More In this paper we define a Rokhlin property for automorphisms of non-unital C*-algebras and for endomorphisms. We show that the crossed product of a C*-algebra by a Rokhlin automorphism preserves absorption of a strongly self-absorbing C*-algebra, and use this result to deduce that the same result holds for crossed products by endomorphisms in the sense of Stacey. This generalizes earlier results of the second named author and W. Winter. △ Less

Submitted 14 August, 2014; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: 7 pages, minor revisions. To appear, Illinois Journal of Mathematics

Rokhlin dimension and C*-dynamics

Authors: Ilan Hirshberg, Wilhelm Winter, Joachim Zacharias

Abstract: We develop the concept of Rokhlin dimension for integer and for finite group actions on C*-algebras. Our notion generalizes the so-called Rokhlin property, which can be thought of as Rokhlin dimension 0. We show that finite Rokhlin dimension is prevalent and appears in cases in which the Rokhlin property cannot be expected: the property of having finite Rokhlin dimension is generic for automorphis… ▽ More We develop the concept of Rokhlin dimension for integer and for finite group actions on C*-algebras. Our notion generalizes the so-called Rokhlin property, which can be thought of as Rokhlin dimension 0. We show that finite Rokhlin dimension is prevalent and appears in cases in which the Rokhlin property cannot be expected: the property of having finite Rokhlin dimension is generic for automorphisms of Z-stable C*-algebras, where Z denotes the Jiang-Su algebra. Moreover, crossed products by automorphisms with finite Rokhlin dimension preserve the property of having finite nuclear dimension, and under a mild additional hypothesis also preserve Z-stability. In topological dynamics our notion may be interpreted as a topological version of the classical Rokhlin lemma: automorphisms arising from minimal homeomorphisms of finite dimensional compact metrizable spaces always have finite Rokhlin dimension. The latter result has by now been generalized by Szabo to the case of free and aperiodic integer (in fact, Z^d) actions on compact metrizable and finite dimensional spaces. △ Less

Submitted 3 November, 2014; v1 submitted 7 September, 2012; originally announced September 2012.

Comments: The proof of Theorem 6.1 has been removed from this version; instead we appeal to Szabo's shorter and more general argument in 1308.5418 (based on a result of Gutman, 1208.5248). 32 pages; to appear in Communications in Mathematical Physics

Tracially Z-absorbing C*-algebras

Authors: Ilan Hirshberg, Joav Orovitz

Abstract: We study a tracial notion of Z-absorption for simple, unital C*-algebras. We show that if A is a C*-algebra for which this property holds then A has almost unperforated Cuntz semigroup, and if in addition A is nuclear and separable we show this property is equivalent to having A being Z-absorbing. We furthermore show that this property is preserved under forming certain crossed products by actions… ▽ More We study a tracial notion of Z-absorption for simple, unital C*-algebras. We show that if A is a C*-algebra for which this property holds then A has almost unperforated Cuntz semigroup, and if in addition A is nuclear and separable we show this property is equivalent to having A being Z-absorbing. We furthermore show that this property is preserved under forming certain crossed products by actions satisfying a tracial Rokhlin type property. △ Less

Submitted 1 May, 2013; v1 submitted 12 August, 2012; originally announced August 2012.

Comments: 17 pages. Minor revisions, to appear J. Funct. Anal

Decomposable approximations of nuclear C*-algebras

Authors: Ilan Hirshberg, Eberhard Kirchberg, Stuart White

Abstract: We show that nuclear C*-algebras have a refined version of the completely positive approximation property, in which the maps that approximately factorize through finite dimensional algebras are convex combinations of order zero maps. We use this to show that a separable nuclear C*-algebra A which is closely contained in a C*-algebra B embeds into B. We show that nuclear C*-algebras have a refined version of the completely positive approximation property, in which the maps that approximately factorize through finite dimensional algebras are convex combinations of order zero maps. We use this to show that a separable nuclear C*-algebra A which is closely contained in a C*-algebra B embeds into B. △ Less

Submitted 29 March, 2012; v1 submitted 12 September, 2011; originally announced September 2011.

Comments: Typos and and a few minor points corrected. Adv. Math., to appear

MSC Class: 46L05

Journal ref: Adv. Math., 230 (2012), 1029-1039

Continuous families of E_0-semigroups

Authors: Ilan Hirshberg, Daniel Markiewicz

Abstract: We consider families of E_0-semigroups continuously parametrized by a compact Hausdorff space, which are cocycle-equivalent to a given E_0-semigroup β. When the gauge group of $β$ is a Lie group, we establish a correspondence between such families and principal bundles whose structure group is the gauge group of β. We consider families of E_0-semigroups continuously parametrized by a compact Hausdorff space, which are cocycle-equivalent to a given E_0-semigroup β. When the gauge group of $β$ is a Lie group, we establish a correspondence between such families and principal bundles whose structure group is the gauge group of β. △ Less

Submitted 29 June, 2011; originally announced June 2011.

MSC Class: 46L55

The Jiang-Su algebra does not always embed

Authors: Marius Dadarlat, Ilan Hirshberg, Andrew S. Toms, Wilhelm Winter

Abstract: We exhibit a unital simple nuclear non-type-I C*-algebra into which the Jiang-Su algebra does not embed unitally. This answers a question of M. Rørdam. We exhibit a unital simple nuclear non-type-I C*-algebra into which the Jiang-Su algebra does not embed unitally. This answers a question of M. Rørdam. △ Less

Submitted 12 December, 2007; originally announced December 2007.

Comments: 4 pages

MSC Class: Primary 46L35; Secondary 46L80

Permutations of Strongly Self-Absorbing C*-algebras

Authors: Ilan Hirshberg, Wilhelm Winter

Abstract: Let G be a finite group acting on {1,...,n}. For any C*-algebra A, this defines an action of αof G on A^{\otimes n}. We show that if A tensorially absorbs a UHF algebra of infinite type, the Jiang-Su algebra, or is approximately divisible, then A \times_α G has the corresponding property as well. Let G be a finite group acting on {1,...,n}. For any C*-algebra A, this defines an action of αof G on A^{\otimes n}. We show that if A tensorially absorbs a UHF algebra of infinite type, the Jiang-Su algebra, or is approximately divisible, then A \times_α G has the corresponding property as well. △ Less

Submitted 1 August, 2007; originally announced August 2007.

Comments: 8 pages

MSC Class: 46L05

C_0(X)-algebras, stability and strongly self-absorbing C*-algebras

Authors: Ilan Hirshberg, Mikael Rordam, Wilhelm Winter

Abstract: We study permanence properties of the classes of stable and so-called D-stable C*-algebras, respectively. More precisely, we show that a C_0(X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for C*-algebras absorbi… ▽ More We study permanence properties of the classes of stable and so-called D-stable C*-algebras, respectively. More precisely, we show that a C_0(X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for C*-algebras absorbing the Jiang--Su algebra Z tensorially). Furthermore, we prove that if D is a K_1-injective strongly self-absorbing C*-algebra, then A absorbs D tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a C*-algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of Z-absorbing C*-algebras. △ Less

Submitted 10 October, 2006; originally announced October 2006.

Comments: 33 pages

MSC Class: 46L05

Rokhlin actions and self-absorbing C*-algebras

Authors: Ilan Hirshberg, Wilhelm Winter

Abstract: Let A be a unital separable C*-algebra, and D a K_1-injective strongly self-absorbing C*-algebra. We show that if A is D-absorbing, then the crossed product of A by a compact second countable group or by Z or by R is D-absorbing as well, assuming the action satisfying a Rokhlin property. In the case of a compact Rokhlin action we prove a similar statement about approximate divisibility. Let A be a unital separable C*-algebra, and D a K_1-injective strongly self-absorbing C*-algebra. We show that if A is D-absorbing, then the crossed product of A by a compact second countable group or by Z or by R is D-absorbing as well, assuming the action satisfying a Rokhlin property. In the case of a compact Rokhlin action we prove a similar statement about approximate divisibility. △ Less

Submitted 11 September, 2005; v1 submitted 17 May, 2005; originally announced May 2005.

Comments: 15 pages; new coauthor joined; substantially revised and enlarged. Earlier results on a single automorphism were generalized, the case of finite groups was generalized to compact groups, and and a new section on Rokhlin flows was added

MSC Class: 46L55; 46L05

Essential representations of C*-correspondences

Authors: Ilan Hirshberg

Abstract: Let E be a C*-correspondence over a C*-algebra \A with non-degenerate faithful left action. We show that E admits sufficiently many essential representations (i.e. representations ψsuch that ψ(E)H = H to recover the Cuntz-Pimsner algebra O_E. Let E be a C*-correspondence over a C*-algebra \A with non-degenerate faithful left action. We show that E admits sufficiently many essential representations (i.e. representations ψsuch that ψ(E)H = H to recover the Cuntz-Pimsner algebra O_E. △ Less

Submitted 9 November, 2004; originally announced November 2004.

Comments: 9 pages

MSC Class: 46L08; 46L30

On the universal property of Pimsner-Toeplitz C*-algebras and their continuous analogues

Authors: Ilan Hirshberg

Abstract: We consider C*-algebras generated by a single Hilbert bimodule (Pimsner-Toeplitz algebras) and by a product systems of Hilbert bimodules. We give a new proof of a theorem of Pimsner, which states that any representation of the generating bimodule gives rise to a representation of the Pimsner-Toeplitz algebra. Our proof does not make use of the conditional expectation onto the subalgebra invarian… ▽ More We consider C*-algebras generated by a single Hilbert bimodule (Pimsner-Toeplitz algebras) and by a product systems of Hilbert bimodules. We give a new proof of a theorem of Pimsner, which states that any representation of the generating bimodule gives rise to a representation of the Pimsner-Toeplitz algebra. Our proof does not make use of the conditional expectation onto the subalgebra invariant under the dual action of the circle group. We then prove the analogous statement for the case of product systems, generalizing a theorem of Arveson from the case of product systems of Hilbert spaces. △ Less

Submitted 25 October, 2003; originally announced October 2003.

Comments: 10 pages

C*-algebras of Hilbert module product systems

Authors: Ilan Hirshberg

Abstract: We consider a class of C*-algebras associated to one parameter continuous tensor product systems of Hilbert modules, which can be viewed as continuous counterparts of Pimsner's Toeplitz algebras. By exhibiting a homotopy of quasihomomorphisms, we prove that those algebras are $K$-contractible. One special case is closely related to the Rieffel-Wiener-Hopf extension of a crossed product by R cons… ▽ More We consider a class of C*-algebras associated to one parameter continuous tensor product systems of Hilbert modules, which can be viewed as continuous counterparts of Pimsner's Toeplitz algebras. By exhibiting a homotopy of quasihomomorphisms, we prove that those algebras are $K$-contractible. One special case is closely related to the Rieffel-Wiener-Hopf extension of a crossed product by R considered by Rieffel and by Pimsner and Voiculescu, and can be used to produce a new proof of Connes' analogue of the Thom isomorphism and in particular of Bott periodicity. Another special case is closely related to Arveson's spectral C*-algebras, and is used to settle Arveson's problem of computing their K-theory, extending earlier results of Zacharias to cover the general case. △ Less

Submitted 7 April, 2003; v1 submitted 23 May, 2002; originally announced May 2002.

Comments: 11 pages (added an example and an appendix, corrected typos and improved exposition)

MSC Class: 46L80; 46L55; 46L08

Endomorphisms of Stable Continuous-Trace C^*-algebras

Authors: Ilan Hirshberg

Abstract: We classify spectrum-preserving endomorphisms of stable continuous-trace C^*-algebras up to inner automorphism by a surjective multiplicative invariant taking values in finite dimensional vector bundles over the spectrum. Specializing to automorphisms, this gives a different approach to results of Phillips and Raeburn. We classify spectrum-preserving endomorphisms of stable continuous-trace C^*-algebras up to inner automorphism by a surjective multiplicative invariant taking values in finite dimensional vector bundles over the spectrum. Specializing to automorphisms, this gives a different approach to results of Phillips and Raeburn. △ Less

Submitted 9 January, 2002; v1 submitted 28 December, 2001; originally announced December 2001.

Comments: 11 Pages

MSC Class: 46L05 (Primary) 46M20 (Secondary)

On $C^*$-algebras Associated to Certain Endomorphisms of Discrete Groups

Authors: Ilan Hirshberg

Abstract: Let α:G --> G be an endomorphism of a discrete amenable group such that [G:α(G)]<infinity. We study the structure of the C^* algebra generated by the left convolution operators acting on the left regular representation space, along with the isometry of the space induced by the endomorphism. Let α:G --> G be an endomorphism of a discrete amenable group such that [G:α(G)]<infinity. We study the structure of the C^* algebra generated by the left convolution operators acting on the left regular representation space, along with the isometry of the space induced by the endomorphism. △ Less

Submitted 28 December, 2001; originally announced December 2001.

Comments: 11 pages

MSC Class: 46L55

Journal ref: New York J. Math. 8 (2002), 99--109