Showing 1–33 of 33 results for author: Vignati, A

Saturation of reduced products

Authors: Ben De Bondt, Ilijas Farah, Alessandro Vignati

Abstract: We study reduced products $M=\prod_n M_n/\mathrm{Fin}$ of countable structures in a countable language associated with the Fréchet ideal. We prove that such $M$ is $2^{\aleph_0}$-saturated if its theory is stable and not $\aleph_2$-saturated otherwise (regardless of whether the Continuum Hypothesis holds). This implies that $M$ is isomorphic to an ultrapower (associated with an ultrafilter on… ▽ More We study reduced products $M=\prod_n M_n/\mathrm{Fin}$ of countable structures in a countable language associated with the Fréchet ideal. We prove that such $M$ is $2^{\aleph_0}$-saturated if its theory is stable and not $\aleph_2$-saturated otherwise (regardless of whether the Continuum Hypothesis holds). This implies that $M$ is isomorphic to an ultrapower (associated with an ultrafilter on $\mathbb N$) if its theory is stable, even if the CH fails. We also improve a result of Farah and Shelah and prove that there is a forcing extension in which such reduced product $M$ is isomorphic to an ultrapower if and only if the theory of $M$ is stable. All of these conclusions apply for reduced products associated with $F_σ$ ideals or more general layered ideals. We also prove that a reduced product associated with the asymptotic density zero ideal $\mathcal Z_0$, or any other analytic P-ideal that is not $F_σ$, is not even $\aleph_1$-saturated if its theory is unstable. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Comments: 32 pages

MSC Class: 03C20; 03C50; 03C45

Coarse equivalence versus bijective coarse equivalence of expander graphs

Authors: Florent Baudier, Bruno de Mendonça Braga, Ilijas Farah, Alessandro Vignati, Rufus Willett

Abstract: We provide a characterization of when a coarse equivalence between coarse disjoint unions of expander graphs is close to a bijective coarse equivalence. We use this to show that if the uniform Roe algebras of coarse disjoint unions of expanders graphs are isomorphic, then the metric spaces must be bijectively coarsely equivalent. We provide a characterization of when a coarse equivalence between coarse disjoint unions of expander graphs is close to a bijective coarse equivalence. We use this to show that if the uniform Roe algebras of coarse disjoint unions of expanders graphs are isomorphic, then the metric spaces must be bijectively coarsely equivalent. △ Less

Submitted 21 July, 2023; originally announced July 2023.

Trivial Automorphisms of Reduced Products

Authors: Ben de Bondt, Ilijas Farah, Alessandro Vignati

Abstract: We introduce a general method for showing under weak forcing axioms that reduced products of countable models of a theory $T$ have as few automorphisms as possible. We show that such forcing axioms imply that reduced products of countably infinite or finite fields, linear orders, trees, or random graphs have only trivial automorphisms. We introduce a general method for showing under weak forcing axioms that reduced products of countable models of a theory $T$ have as few automorphisms as possible. We show that such forcing axioms imply that reduced products of countably infinite or finite fields, linear orders, trees, or random graphs have only trivial automorphisms. △ Less

Submitted 6 May, 2024; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: 43 pages. Substantial revisions. A proof that OCA_T implies all automorphisms of P(N)/Fin are trivial (no need for MA)

MSC Class: 03E50; 03E35; 03E75

Constructing Compacta from Posets

Authors: Adam Bartoš, Tristan Bice, Alessandro Vignati

Abstract: We develop a simple method of constructing topological spaces from countable posets with finite levels, one which applies to all second countable T_1 compacta. This results in a duality amenable to building such spaces from finite building blocks, essentially an abstract analog of classical constructions defining compacta from progressively finer open covers. We develop a simple method of constructing topological spaces from countable posets with finite levels, one which applies to all second countable T_1 compacta. This results in a duality amenable to building such spaces from finite building blocks, essentially an abstract analog of classical constructions defining compacta from progressively finer open covers. △ Less

Submitted 3 July, 2023; originally announced July 2023.

MSC Class: 06A07; 54D70; 54D80; 54E45; 54H10

Embeddings of von Neumann algebras into uniform Roe algebras and quasi-local algebras

Authors: Florent P. Baudier, Bruno de Mendonça Braga, Ilijas Farah, Alessandro Vignati, Rufus Willett

Abstract: We study which von Neumann algebras can be embedded into uniform Roe algebras and quasi-local algebras associated to a uniformly locally finite metric space $X$. Under weak assumptions, these $\mathrm{C}^*$-algebras contain embedded copies of $\prod_{k}\mathrm{M}_{n_k}(\mathbb C)$ for any \emph{bounded} countable (possibly finite) collection $(n_k)_k$ of natural numbers; we aim to show that they c… ▽ More We study which von Neumann algebras can be embedded into uniform Roe algebras and quasi-local algebras associated to a uniformly locally finite metric space $X$. Under weak assumptions, these $\mathrm{C}^*$-algebras contain embedded copies of $\prod_{k}\mathrm{M}_{n_k}(\mathbb C)$ for any \emph{bounded} countable (possibly finite) collection $(n_k)_k$ of natural numbers; we aim to show that they cannot contain any other von Neumann algebras. One of our main results shows that $L_\infty[0,1]$ does not embed into any of those algebras, even by a not-necessarily-normal $*$-homomorphism. In particular, it follows from the structure theory of von Neumann algebras that any von Neumann algebra which embeds into such algebra must be of the form $\prod_{k}\mathrm{M}_{n_k}(\mathbb C)$ for some countable (possibly finite) collection $(n_k)_k$ of natural numbers. Under additional assumptions, we also show that the sequence $(n_k)_k$ has to be bounded: in other words, the only embedded von Neumann algebras are the ``obvious'' ones. △ Less

Submitted 17 February, 2023; v1 submitted 29 December, 2022; originally announced December 2022.

Operator norm localization property for equi-approximable families of projections

Authors: Bruno M. Braga, Ilijas Farah, Alessandro Vignati

Abstract: The rigidity problem for uniform Roe algebras was recently positively solved. Before its solution was found, there were positive solutions under the assumption of certain technical geometric conditions. In this paper, we introduce weaker versions of the operator norm localization property (ONL) which turn out to characterize those technical geometric conditions. We use this to obtain new rigidity… ▽ More The rigidity problem for uniform Roe algebras was recently positively solved. Before its solution was found, there were positive solutions under the assumption of certain technical geometric conditions. In this paper, we introduce weaker versions of the operator norm localization property (ONL) which turn out to characterize those technical geometric conditions. We use this to obtain new rigidity results for nonmetrizable coarse spaces. As an application, we provide a novel partial answer to a question of White and Willett about Cartan subalgebras of uniform Roe algebras. We also study embeddings between uniform Roe algebras. △ Less

Submitted 4 November, 2022; originally announced November 2022.

Comments: 21 pages

MSC Class: 51F30; 46L05

Fraïssé theory in operator algebras

Authors: Alessandro Vignati

Abstract: We overview the development of Fraïssé theory in the setting of continuous model theory, and some of the its recent applications to $\mathrm{C}^*$-algebra theory and functional analysis. We overview the development of Fraïssé theory in the setting of continuous model theory, and some of the its recent applications to $\mathrm{C}^*$-algebra theory and functional analysis. △ Less

Submitted 2 November, 2022; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: 26 pages, reviewed version. To appear in the volume "Model theory of operator algebras" as part of the 'Logic and its Applications' Series

MSC Class: 03C66; 46L05

Data acquisition system for a 146-channel counter of protons in particle therapy

Authors: S. Giordanengo, M. Abujami, C. Galeone, S. Garbolino, O. A. Martì Villarreal, F. Mas Milian, G. Mazza, M. Mignone, A. Vignati, R. Wheadon, R. Cirio, V. Monaco, R. Sacchi

Abstract: A prototype of proton counter was developed by the University and the National Institute for Nuclear Physics of Torino to be used as online fluence beam monitor in particle therapy. The single particle identification approach aims at increasing the sensitivity and readout speed with respect to the state-of-the-art gas ionization chambers. The sensitive area is 2,7 x 2,7 cm^2 to cover the clinical… ▽ More A prototype of proton counter was developed by the University and the National Institute for Nuclear Physics of Torino to be used as online fluence beam monitor in particle therapy. The single particle identification approach aims at increasing the sensitivity and readout speed with respect to the state-of-the-art gas ionization chambers. The sensitive area is 2,7 x 2,7 cm^2 to cover the clinical beam cross section characterized by a full width at half maximum of about 1 cm at the isocenter. The sensor is a thin Low Gain Avalanche Diode segmented in 146 strips with 180 micrometer pitch and with 50 micrometer active thickness, designed and produced by the Fondazione Bruno Kessler (Trento, Italy). The frontend readout to identify the single proton signal provided by each strip is based on a 24channel custom ASICs, named ABACUS, optimized to discriminate the signal pulses in a wide charge range (3-150 fC) with a maximum dead-time of 10 ns. With these specifications, at the maximum fluence rate of 10^8 p/(cm^2s) in the clinical energy range (60-230 MeV) and considering the silicon strips described above, a maximum pileup counting inefficiency less than 1 percent is achieved. A frontend board housing 6 ABACUS chips to readout the 146 strips was developed, the digital outputs being sent to 3 FPGAs (Kintex7) for the counting. A LabVIEW program implements the interface with the FPGAs, displays online the counting rate from each strip and stores the data for offline analysis. △ Less

Submitted 6 May, 2022; originally announced May 2022.

Games on AF-algebras

Authors: Ben De Bondt, Andrea Vaccaro, Boban Velickovic, Alessandro Vignati

Abstract: We analyze $\mathrm{C}^\ast$-algebras, particularly AF-algebras, and their $K_0$-groups in the context of the infinitary logic $\mathcal{L}_{ω_1 ω}$. Given two separable unital AF-algebras $A$ and $B$, and considering their $K_0$-groups as ordered unital groups, we prove that $K_0(A) \equiv_{ω\cdot α} K_0(B)$ implies $A \equiv_αB$, where $M \equiv_βN$ means that $M$ and $N$ agree on all sentences… ▽ More We analyze $\mathrm{C}^\ast$-algebras, particularly AF-algebras, and their $K_0$-groups in the context of the infinitary logic $\mathcal{L}_{ω_1 ω}$. Given two separable unital AF-algebras $A$ and $B$, and considering their $K_0$-groups as ordered unital groups, we prove that $K_0(A) \equiv_{ω\cdot α} K_0(B)$ implies $A \equiv_αB$, where $M \equiv_βN$ means that $M$ and $N$ agree on all sentences of quantifier rank at most $β$. This implication is proved using techniques from Elliott's classification of separable AF-algebras, together with an adaptation of the Ehrenfeucht-Fraïssé game to the metric setting. We use moreover this result to build a family $\{ A_α\}_{α< ω_1}$ of pairwise non-isomorphic separable simple unital AF-algebras which satisfy $A_α\equiv_αA_β$ for every $α< β$. In particular, we obtain a set of separable simple unital AF-algebras of arbitrarily high Scott rank. Next, we give a partial converse to the aforementioned implication, showing that $A \otimes \mathcal{K} \equiv_{ω+ 2 \cdot α+2} B \otimes \mathcal{K}$ implies $K_0(A) \equiv_αK_0(B)$, for every unital $\mathrm{C}^\ast$-algebras $A$ and $B$. △ Less

Submitted 8 April, 2022; originally announced April 2022.

Comments: 29 pages

MSC Class: 03C98; 46L05; 03C75

Obstructions to countable saturation in corona algebras

Authors: Ilijas Farah, Alessandro Vignati

Abstract: We study the extent of countable saturation for coronas of abelian C*-algebras. In particular, we show that the corona algebra of $C_0(\bbR^n)$ is countably saturated if and only if $n=1$. We study the extent of countable saturation for coronas of abelian C*-algebras. In particular, we show that the corona algebra of $C_0(\bbR^n)$ is countably saturated if and only if $n=1$. △ Less

Submitted 8 June, 2022; v1 submitted 17 March, 2022; originally announced March 2022.

Comments: 15 pages, second version includes minor fixes

Corona Rigidity

Authors: Ilijas Farah, Saeed Ghasemi, Andrea Vaccaro, Alessandro Vignati

Abstract: We give a unified overview of the study of the effects of additional set theoretic axioms on quotient structures. Our focus is on rigidity, measured in terms of existence (or rather non-existence) of suitably \emph{non-trivial} automorphisms of the quotients in question. A textbook example for the study of this topic is the Boolean algebra $\mathcal P(\mathbb N)/Fin$, whose behavior is the templat… ▽ More We give a unified overview of the study of the effects of additional set theoretic axioms on quotient structures. Our focus is on rigidity, measured in terms of existence (or rather non-existence) of suitably \emph{non-trivial} automorphisms of the quotients in question. A textbook example for the study of this topic is the Boolean algebra $\mathcal P(\mathbb N)/Fin$, whose behavior is the template around which this survey revolves: Forcing axioms imply that all of its automorphisms are \emph{trivial}, in the sense that they are induced by almost permutations of $\mathbb N$, while under the Continuum Hypothesis this rigidity fails and $\mathcal P(\mathbb N)/Fin$ admits uncountably many non-trivial automorphisms. We consider far-reaching generalizations of this phenomenon and present a wide variety of situations where analogous patterns persist, focusing mainly (but not exclusively) on the categories of Boolean algebras, \v Cech--Stone remainders, and $\mathrm{C}^*$-algebras. We survey the state of the art and the future prospects of this field, discussing the major open problems and outlining the main ideas of the proofs whenever possible. △ Less

Submitted 9 January, 2024; v1 submitted 27 January, 2022; originally announced January 2022.

Comments: 85 pages, updated version

MSC Class: 03E35; 03E50; 03E65; 03E57; 03E75; 03C50; 03C20; 03C98; 06E05; 46L05; 46L40; 54C05; 54D40; 03C66

Stably projectionless Fraïssé limits

Authors: Bhishan Jacelon, Alessandro Vignati

Abstract: We realise the algebra $\mathcal W$, the algebra $\mathcal Z_0$ and the algebras $\mathcal Z_0\otimes A$, where $A$ is a unital UHF algebra as Fraïssé limits of suitable classes of structures. In doing so, we show that such algebras are generic objects without the use of any classification result. We realise the algebra $\mathcal W$, the algebra $\mathcal Z_0$ and the algebras $\mathcal Z_0\otimes A$, where $A$ is a unital UHF algebra as Fraïssé limits of suitable classes of structures. In doing so, we show that such algebras are generic objects without the use of any classification result. △ Less

Submitted 4 April, 2022; v1 submitted 26 August, 2021; originally announced August 2021.

Comments: 34 pages, accepted version, to appear in Studia Mathematica

MSC Class: 03C30; 46L05

Non-vanishing higher derived limits

Authors: Boban Velickovic, Alessandro Vignati

Abstract: In the study of strong homology Mardešić and Prasolov isolated a certain inverse system of abelian groups $\mathbf A$ indexed by elements of $ω^ω$. They showed that if strong homology is additive on a class of spaces containing closed subsets of Euclidean spaces then the higher derived limits $\lim^n \mathbf A$ must vanish, for $n>0$. They also proved that under the Continuum Hypothesis… ▽ More In the study of strong homology Mardešić and Prasolov isolated a certain inverse system of abelian groups $\mathbf A$ indexed by elements of $ω^ω$. They showed that if strong homology is additive on a class of spaces containing closed subsets of Euclidean spaces then the higher derived limits $\lim^n \mathbf A$ must vanish, for $n>0$. They also proved that under the Continuum Hypothesis $\lim^1 \mathbf A \neq 0$. The question whether $\lim^n \mathbf A$ vanishes, for $n>0$, has attracted considerable interest from set theorists. Dow, Simon and Vaughan showed that under PFA $\lim^1 \mathbf A =0$. Bergfalk show that it is consistent that $\lim^2\mathbf A$ does not vanish. Later Bergfalk and Lambie-Hanson showed that, modulo a weakly compact cardinal, it is relatively consistent with ZFC that $\lim^n \mathbf A =0$, for all $n$. The large cardinal assumption was recently removed by Bergfalk, Hrušak and Lambie-Henson. We complete the picture by showing that, for any $n>0$, it is relatively consistent with ZFC that $\lim^n \mathbf A \neq 0$. △ Less

Submitted 8 July, 2021; originally announced July 2021.

MSC Class: 03E35; 03E75; 18E25; 55Nxx

Uniform Roe algebras of uniformly locally finite metric spaces are rigid

Authors: Florent P. Baudier, Bruno de Mendonça Braga, Ilijas Farah, Ana Khukhro, Alessandro Vignati, Rufus Willett

Abstract: We show that if $X$ and $Y$ are uniformly locally finite metric spaces whose uniform Roe algebras, $\cstu(X)$ and $\cstu(Y)$, are isomorphic as \cstar-algebras, then $X$ and $Y$ are coarsely equivalent metric spaces. Moreover, we show that coarse equivalence between $X$ and $Y$ is equivalent to Morita equivalence between $\cstu(X)$ and $\cstu(Y)$. As an application, we obtain that if $Γ$ and $Λ$ a… ▽ More We show that if $X$ and $Y$ are uniformly locally finite metric spaces whose uniform Roe algebras, $\cstu(X)$ and $\cstu(Y)$, are isomorphic as \cstar-algebras, then $X$ and $Y$ are coarsely equivalent metric spaces. Moreover, we show that coarse equivalence between $X$ and $Y$ is equivalent to Morita equivalence between $\cstu(X)$ and $\cstu(Y)$. As an application, we obtain that if $Γ$ and $Λ$ are finitely generated groups, then the crossed products $\ell_\infty(Γ)\rtimes_rΓ$ and $ \ell_\infty(Λ)\rtimes_rΛ$ are isomorphic if and only if $Γ$ and $Λ$ are bi-Lipschitz equivalent. △ Less

Submitted 8 June, 2022; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 26 pages, second version with revisions

A Gelfand-type duality for coarse metric spaces with property A

Authors: Bruno de Mendonça Braga, Alessandro Vignati

Abstract: We prove the following two results for a given uniformly locally finite metric space with Yu's property A: 1) The group of outer automorphisms of its uniform Roe algebra is isomorphic to its group of bijective coarse equivalences modulo closeness. 2) The group of outer automorphisms of its Roe algebra is isomorphic to its group of coarse equivalences modulo closeness. The main difficulty lie… ▽ More We prove the following two results for a given uniformly locally finite metric space with Yu's property A: 1) The group of outer automorphisms of its uniform Roe algebra is isomorphic to its group of bijective coarse equivalences modulo closeness. 2) The group of outer automorphisms of its Roe algebra is isomorphic to its group of coarse equivalences modulo closeness. The main difficulty lies in the latter. To prove that, we obtain several uniform approximability results for maps between Roe algebras and use them to obtain a theorem about the `uniqueness' of Cartan masas of Roe algebras. We finish the paper with several applications of the results above to concrete metric spaces. △ Less

Submitted 28 July, 2020; v1 submitted 20 July, 2020; originally announced July 2020.

Comments: 34 pages

A new detector for the beam energy measurement in proton therapy: a feasibility study

Authors: A. Vignati, S. Giordanengo, F. Mas Milian, Z. Ahmadi Ganjeh, M. Donetti, F. Fausti, M. Ferrero, O. Hammad Ali, O. A. Martì Villarreal, G. Mazza, Z. Shakarami, V. Sola, A. Staiano, R. Cirio, R. Sacchi, V. Monaco, .

Abstract: Fast procedures for the beam quality assessment and for the monitoring of beam energy modulations during the irradiation are among the most urgent improvements in particle therapy. Indeed, the online measurement of the particle beam energy could allow assessing the range of penetration during treatments, encouraging the development of new dose delivery techniques for moving targets. Towards this e… ▽ More Fast procedures for the beam quality assessment and for the monitoring of beam energy modulations during the irradiation are among the most urgent improvements in particle therapy. Indeed, the online measurement of the particle beam energy could allow assessing the range of penetration during treatments, encouraging the development of new dose delivery techniques for moving targets. Towards this end, the proof of concept of a new device, able to measure in a few seconds the energy of clinical proton beams (from 60 to 230 MeV) from the Time of Flight (ToF) of protons, is presented. The prototype consists of two Ultra Fast Silicon Detector (UFSD) pads, featuring an active thickness of 80 um and a sensitive area of 3 x 3 mm2, aligned along the beam direction in a telescope configuration, connected to a broadband amplifier and readout by a digitizer. Measurements were performed at the Centro Nazionale di Adroterapia Oncologica (CNAO, Pavia, Italy), at five different clinical beam energies and four distances between the sensors (from 7 to 97 cm) for each energy. In order to derive the beam energy from the measured average ToF, several systematic effects were considered, Monte Carlo simulations were developed to validate the method and a global fit approach was adopted to calibrate the system. The results were benchmarked against the energy values obtained from the water equivalent depths provided by CNAO. Deviations of few hundreds of keV have been achieved for all considered proton beam energies for both 67 and 97 cm distances between the sensors and few seconds of irradiation were necessary to collect the required statistics. These preliminary results indicate that a telescope of UFSDs could achieve in a few seconds the accuracy required for the clinical application and therefore encourage further investigations towards the improvement and the optimization of the present prototype. △ Less

Submitted 19 March, 2020; originally announced March 2020.

General uniform Roe algebra rigidity

Authors: Bruno de Mendonça Braga, Ilijas Farah, Alessandro Vignati

Abstract: We generalize all known results on rigidity of uniform Roe algebras to the setting of arbitrary uniformly locally finite coarse spaces. For instance, we show that isomorphism between uniform Roe algebras of uniformly locally finite coarse spaces whose uniform Roe algebras contain only compact ghost projections implies that the base spaces are coarsely equivalent. Moreover, if one of the spaces has… ▽ More We generalize all known results on rigidity of uniform Roe algebras to the setting of arbitrary uniformly locally finite coarse spaces. For instance, we show that isomorphism between uniform Roe algebras of uniformly locally finite coarse spaces whose uniform Roe algebras contain only compact ghost projections implies that the base spaces are coarsely equivalent. Moreover, if one of the spaces has property A, then the base spaces are bijectively coarsely equivalent. We also provide a characterization for the existence of an embedding onto hereditary subalgebra in terms of the underlying spaces. As an application, we partially answer a question of White and Willett about Cartan subalgebras of uniform Roe algebras. △ Less

Submitted 28 July, 2020; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: 32 pages

MSC Class: 46L85; 46L05; 46L89

On the uniform Roe algebra as a Banach algebra and embeddings of $\ell_p$ uniform Roe algebras

Authors: Bruno de Mendonça Braga, Alessandro Vignati

Abstract: We work on $\ell_p$ uniform Roe algebras associated to metric spaces, and on their mutual embedding. We generalize results of I. Farah and the authors to mutual embeddings of uniform Roe algebras of operators on $\ell_p$ spaces. Simultaneously, we obtain rigidity results for the classic uniform Roe $\mathrm{C}^*$-algebras which depend only on their Banach algebra structure. We work on $\ell_p$ uniform Roe algebras associated to metric spaces, and on their mutual embedding. We generalize results of I. Farah and the authors to mutual embeddings of uniform Roe algebras of operators on $\ell_p$ spaces. Simultaneously, we obtain rigidity results for the classic uniform Roe $\mathrm{C}^*$-algebras which depend only on their Banach algebra structure. △ Less

Submitted 28 June, 2019; v1 submitted 27 June, 2019; originally announced June 2019.

Embeddings of uniform Roe algebras

Authors: Bruno de Mendonça Braga, Ilijas Farah, Alessandro Vignati

Abstract: In this paper, we study embeddings of uniform Roe algebras. Generally speaking, given metric spaces $X$ and $Y$, we are interested in which large scale geometric properties are stable under embedding of the uniform Roe algebra of $X$ into the uniform Roe algebra of $Y$. In this paper, we study embeddings of uniform Roe algebras. Generally speaking, given metric spaces $X$ and $Y$, we are interested in which large scale geometric properties are stable under embedding of the uniform Roe algebra of $X$ into the uniform Roe algebra of $Y$. △ Less

Submitted 27 June, 2019; v1 submitted 15 April, 2019; originally announced April 2019.

Rigidity Conjectures

Authors: Alessandro Vignati

Abstract: We prove several rigidity results for corona $C^*$-algebras and Čech-Stone remainders under the assumption of Forcing Axioms. In particular, we prove that a strong version of Todorčević's $\OCA$ and Martin's Axiom at level $\aleph_1$ imply: (i) that if $X$ and $Y$ are locally compact second countable topological spaces, then all homeomorphisms between $βX\setminus X$ and $βY\setminus Y$ are induce… ▽ More We prove several rigidity results for corona $C^*$-algebras and Čech-Stone remainders under the assumption of Forcing Axioms. In particular, we prove that a strong version of Todorčević's $\OCA$ and Martin's Axiom at level $\aleph_1$ imply: (i) that if $X$ and $Y$ are locally compact second countable topological spaces, then all homeomorphisms between $βX\setminus X$ and $βY\setminus Y$ are induced by homeomorphisms between cocompact subspaces of $X$ and $Y$; (ii) that all automorphisms of the corona algebra of a separable $C^*$-algebra are trivial in a topological sense; (iii) that if $A$ is a unital separable infinite-dimensional $C^*$-algebra, the corona algebra of $A\otimes \mathcal K(H)$ does not embed into the Calkin algebra. All these results do not hold under the Continuum Hypothesis. △ Less

Submitted 26 May, 2021; v1 submitted 4 December, 2018; originally announced December 2018.

Comments: 47 pages, to appear in Annales Scientifiques de l'École Normale Supérieure (ASENS)

MSC Class: 46L40; 46L05; 03E50; 54D80

Uniform Roe coronas

Authors: Bruno de Mendonça Braga, Ilijas Farah, Alessandro Vignati

Abstract: A uniform Roe corona is the quotient of the uniform Roe algebra of a metric space by the ideal of compact operators. Among other results, we show that it is consistent with ZFC that isomorphism between uniform Roe coronas implies coarse equivalence between the underlying spaces, for the class of uniformly locally finite metric spaces which coarsely embed into a Hilbert space. Moreover, for uniform… ▽ More A uniform Roe corona is the quotient of the uniform Roe algebra of a metric space by the ideal of compact operators. Among other results, we show that it is consistent with ZFC that isomorphism between uniform Roe coronas implies coarse equivalence between the underlying spaces, for the class of uniformly locally finite metric spaces which coarsely embed into a Hilbert space. Moreover, for uniformly locally finite metric spaces with property A, it is consistent with ZFC that isomorphism between the uniform Roe coronas is equivalent to bijective coarse equivalence between some of their cofinite subsets. We also find locally finite metric spaces such that the isomorphism of their uniform Roe coronas is independent of ZFC. All set-theoretic considerations in this paper are relegated to two 'black box' principles. △ Less

Submitted 16 June, 2021; v1 submitted 17 October, 2018; originally announced October 2018.

Optimal transport and unitary orbits in C*-algebras

Authors: Bhishan Jacelon, Karen R. Strung, Alessandro Vignati

Abstract: Two areas of mathematics which have received substantial attention in recent years are the theory of optimal transport and the Elliott classification programme for C*-algebras. We combine these two seemingly unrelated disciplines to make progress on a classical problem of Weyl. In particular, we show how results from the Elliott classification programme can be used to translate continuous transpor… ▽ More Two areas of mathematics which have received substantial attention in recent years are the theory of optimal transport and the Elliott classification programme for C*-algebras. We combine these two seemingly unrelated disciplines to make progress on a classical problem of Weyl. In particular, we show how results from the Elliott classification programme can be used to translate continuous transport of spectral measures into optimal unitary conjugation in C*-algebras. As a consequence, whenever two normal elements of a sufficiently well-behaved C*-algebra share a spectrum amenable to such continuous transport, and have trivial K_1-class, the distance between their unitary orbits can be computed tracially. △ Less

Submitted 26 April, 2021; v1 submitted 9 August, 2018; originally announced August 2018.

Comments: 28 pages, made minor fixes

MSC Class: 46L05; 46L35; 49Q20

Journal ref: Journal of Functional Analysis, 2021, https://www.sciencedirect.com/science/article/abs/pii/S0022123621001506

Forcing axioms and coronas of $C^*$-algebras

Authors: Paul McKenney, Alessandro Vignati

Abstract: We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable $C^*$-algebras with the metric approximation property and an increasing approximate identity of projections. We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable $C^*$-algebras with the metric approximation property and an increasing approximate identity of projections. △ Less

Submitted 16 June, 2021; v1 submitted 25 June, 2018; originally announced June 2018.

Comments: 71 pages, appeared online in Journal of Mathematical Logic (Online version)

MSC Class: 46L40; 46L05; 03E50

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

C*-Algebra Distance Filters

Authors: Tristan Bice, Alessandro Vignati

Abstract: We use non-symmetric distances to give a self-contained account of C*-algebra filters and their corresponding compact projections, simultaneously simplifying and extending their general theory. We use non-symmetric distances to give a self-contained account of C*-algebra filters and their corresponding compact projections, simultaneously simplifying and extending their general theory. △ Less

Submitted 21 June, 2017; originally announced June 2017.

MSC Class: 06A75; 46L05; 46L85; 54E99

Journal ref: Adv. Oper. Theory 3(3) 655-681, 2018

Logic and $\mathrm{C}^*$-algebras: set theoretical dichotomies in the theory of continuous quotients

Authors: Alessandro Vignati

Abstract: Given a nonunital $\mathrm{C}^*$-algebra $A$ one constructs its corona algebra $\mathcal M(A)/A$. This is the noncommutative analog of the Čech-Stone remainder of a topological space. We analyze the two faces of these algebras: the first one is given assuming CH, and the other one arises when Forcing Axioms are assumed. In their first face, corona $\mathrm{C}^*$-algebras have a large group of auto… ▽ More Given a nonunital $\mathrm{C}^*$-algebra $A$ one constructs its corona algebra $\mathcal M(A)/A$. This is the noncommutative analog of the Čech-Stone remainder of a topological space. We analyze the two faces of these algebras: the first one is given assuming CH, and the other one arises when Forcing Axioms are assumed. In their first face, corona $\mathrm{C}^*$-algebras have a large group of automorphisms that includes nondefinable ones. The second face is the Forcing Axiom one; here the automorphism group of a corona $\mathrm{C}^*$-algebra is as rigid as possible, including only definable elements △ Less

Submitted 20 June, 2017; originally announced June 2017.

Comments: This is the author's Ph.D. thesis, defended in April 2017 at York University, Toronto

MSC Class: 03E75; 03E50; 03E35; 46L05; 46L40

Nontrivial homeomorphisms of Čech-Stone remainders

Authors: Alessandro Vignati

Abstract: We study the group of automorphisms of certain corona C*-algebras. As a corollary of a more general C*-algebraic result, we show that, under the Continuum Hypothesis, $βX\setminus X$ has nontrivial homeomorphisms, whenever $X$ is a noncompact locally compact metrizable manifold. We study the group of automorphisms of certain corona C*-algebras. As a corollary of a more general C*-algebraic result, we show that, under the Continuum Hypothesis, $βX\setminus X$ has nontrivial homeomorphisms, whenever $X$ is a noncompact locally compact metrizable manifold. △ Less

Submitted 8 September, 2016; originally announced September 2016.

Comments: 12 pages

MSC Class: 46L40; 03E50; 46L05

Model theory of $\mathrm{C}^*$-algebras

Authors: I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati, W. Winter

Abstract: We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic. We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic. △ Less

Submitted 13 April, 2018; v1 submitted 25 February, 2016; originally announced February 2016.

Comments: To appear in Memoirs of the Amer. Math. Soc

Report number: SOAR-GMJT-02 MSC Class: 03C98; 46L35

Ulam stability for some classes of C*-algebras

Authors: Paul McKenney, Alessandro Vignati

Abstract: We prove some stability results for certain classes of C*-algebras. We prove that whenever $A$ is a finite-dimensional C*-algebra, $B$ is a C*-algebra and $φ\colon A\to B$ is approximately a $^*$-homomorphism then there is an actual $^*$-homomorphism close to $φ$ by a factor depending only on how far is $φ$ from being a $^*$-homomorphism and not on $A$ or $B$. We prove some stability results for certain classes of C*-algebras. We prove that whenever $A$ is a finite-dimensional C*-algebra, $B$ is a C*-algebra and $φ\colon A\to B$ is approximately a $^*$-homomorphism then there is an actual $^*$-homomorphism close to $φ$ by a factor depending only on how far is $φ$ from being a $^*$-homomorphism and not on $A$ or $B$. △ Less

Submitted 1 July, 2016; v1 submitted 20 January, 2016; originally announced January 2016.

Comments: Minor additions, 15 pages

MSC Class: 46L05; 46L10

The pseudoarc is a co-existentially closed continuum

Authors: Christopher J. Eagle, Isaac Goldbring, Alessandro Vignati

Abstract: Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C(X)$, for $X$ a nondegenerate continuum, can never have quantifier elimination, answering a question of the the first and third named authors and Farah and Kirchberg. Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C(X)$, for $X$ a nondegenerate continuum, can never have quantifier elimination, answering a question of the the first and third named authors and Farah and Kirchberg. △ Less

Submitted 15 March, 2016; v1 submitted 11 March, 2015; originally announced March 2015.

Comments: 12 pages, in v2 has a modified version of the prof of Theorem 2.1

MSC Class: 54C35; 54E45; 03C65; 03C25; 46L05

Journal ref: Topology and its Applications 207 (2016), 1-9

Quantifier elimination in C*-algebras

Authors: Christopher J. Eagle, Ilijas Farah, Eberhard Kirchberg, Alessandro Vignati

Abstract: The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(\mathcal {O_{n+1}})$ is not $\forall\exists$-axiomatizable for any $n\geq 2$. The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(\mathcal {O_{n+1}})$ is not $\forall\exists$-axiomatizable for any $n\geq 2$. △ Less

Submitted 4 October, 2016; v1 submitted 2 February, 2015; originally announced February 2015.

Comments: More improvements and bug fixes. To appear in IMRN

MSC Class: 03C10; 03C65; 03C90; 46L89; 46L05; 46M07

Saturation and elementary equivalence of C*-algebras

Authors: Christopher J. Eagle, Alessandro Vignati

Abstract: We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $σ$-unital $C^*$-algebras; we extend their results by showing that some coronas of non-$σ$-unital $C^*$-algebras are countably degree-$1$ saturated. We then relate saturation of the abelian $C^*$-algebra $C(X)$, where $X$ is… ▽ More We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $σ$-unital $C^*$-algebras; we extend their results by showing that some coronas of non-$σ$-unital $C^*$-algebras are countably degree-$1$ saturated. We then relate saturation of the abelian $C^*$-algebra $C(X)$, where $X$ is $0$-dimensional, to topological properties of $X$, particularly the saturation of $CL(X)$. △ Less

Submitted 12 March, 2015; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 36 pages. Version 4 is rewritten for clarity in several places

Journal ref: Journal of Functional Analysis 269 (2015) pp. 2631-2664

An algebra whose subalgebras are characterized by density

Authors: Alessandro Vignati

Abstract: We refine a construction of Choi, Farah and Ozawa to build a nonseparable amenable operator algebra $\mathcal A\subseteq\ell_\infty(M_2)$ whose nonseparable subalgebras, including $\mathcal A$, are not isomorphic to a $C^*$-algebra. This is done using a Luzin gap and a uniformly bounded group representation. Next, we study additional properties of $\mathcal A$ and of its separable subalgebras, r… ▽ More We refine a construction of Choi, Farah and Ozawa to build a nonseparable amenable operator algebra $\mathcal A\subseteq\ell_\infty(M_2)$ whose nonseparable subalgebras, including $\mathcal A$, are not isomorphic to a $C^*$-algebra. This is done using a Luzin gap and a uniformly bounded group representation. Next, we study additional properties of $\mathcal A$ and of its separable subalgebras, related to the Kadison Kastler metric. △ Less

Submitted 11 March, 2015; v1 submitted 5 February, 2014; originally announced February 2014.

Comments: Version updated; accepted for publication in Journal of Symbolic logic

MSC Class: 46L05; 47L40

Journal ref: Journal of Symbolic Logic 80, 2015, no. 3, pp. 1066 - 1074