Showing 1–50 of 60 results for author: Lupini, M

Homological algebra of pro-Lie Polish abelian groups

Authors: Matteo Casarosa, Alessandro Codenotti, Martino Lupini

Abstract: In this paper, we initiate the study of pro-Lie Polish abelian groups from the perspective of homological algebra. We extend to this context the type-decomposition of locally compact Polish abelian groups of Hoffmann and Spitzweck, and prove that the category $\mathbf{proLiePAb}$ of pro-Lie Polish abelian groups is a thick subcategory of the category of Polish abelian groups. We completely charact… ▽ More In this paper, we initiate the study of pro-Lie Polish abelian groups from the perspective of homological algebra. We extend to this context the type-decomposition of locally compact Polish abelian groups of Hoffmann and Spitzweck, and prove that the category $\mathbf{proLiePAb}$ of pro-Lie Polish abelian groups is a thick subcategory of the category of Polish abelian groups. We completely characterize injective and projective objects in $\mathbf{proLiePAb}$. We conclude that $\mathbf{proLiePAb}$ has enough projectives but not enough injectives and homological dimension $1$. We also completely characterize injective and projective objects in the category of non-Archimedean Polish abelian groups, concluding that it has enough injectives and projectives and homological dimension $1$. Injective objects are also characterized for the categories of topological torsion Polish abelian groups and for Polish abelian topological $p$-groups, showing that these categories have enough injectives and homological dimension $1$. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 34 pages

MSC Class: 54H05; 20K45; 18F60; 26E30; 18G10; 46M15

The definable content of homological invariants II: Čech cohomology and homotopy classification

Authors: Jeffrey Bergfalk, Martino Lupini, Aristotelis Panagiotopoulos

Abstract: This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the Čech cohomology functors $\check{\mathrm{H}}^n$ on the category of locally compact separable metric spaces each factor into (i) what we term their definable version, a functor… ▽ More This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the Čech cohomology functors $\check{\mathrm{H}}^n$ on the category of locally compact separable metric spaces each factor into (i) what we term their definable version, a functor $\check{\mathrm{H}}^n_{\mathrm{def}}$ taking values in the category $\mathsf{GPC}$ of groups with a Polish cover (a category first introduced in this work's predecessor), followed by (ii) a forgetful functor from $\mathsf{GPC}$ to the category of groups. These definable cohomology functors powerfully refine their classical counterparts: we show that they are complete invariants, for example, of the homotopy types of map** telescopes of $d$-spheres or $d$-tori for any $d\geq 1$, and, in contrast, that there exist uncountable families of pairwise homotopy inequivalent map** telescopes of either sort on which the classical cohomology functors are constant. We then apply the functors $\check{\mathrm{H}}^n_{\mathrm{def}}$ to show that a seminal problem in the development of algebraic topology, namely Borsuk and Eilenberg's 1936 problem of classifying, up to homotopy, the maps from a solenoid complement $S^3\backslashΣ$ to the $2$-sphere, is essentially hyperfinite but not smooth. In the course of this work, we record Borel definable versions of a number of classical results bearing on both the combinatorial and homotopical formulations of Čech cohomology; in aggregate, this work may be regarded as laying foundations for the descriptive set theoretic study of the homotopy relation on the space of maps from a locally compact Polish space to a polyhedron, a relation which embodies a substantial variety of classification problems arising throughout mathematics. △ Less

Submitted 25 April, 2024; v1 submitted 20 October, 2022; originally announced October 2022.

Comments: 63 pages; revised and accepted to Forum of Mathematics, Pi

MSC Class: 54N05; 55P15; 03E15 (Primary); 18G99; 55N99; 54D45; 55P99 (Secondary)

The classification problem for extensions of torsion-free abelian groups, I

Authors: Martino Lupini

Abstract: Let $C,A$ be countable abelian groups. In this paper we determine the complexity of classifying extensions $C$ by $A$, in the cases when $C$ is torsion-free and $A$ is a $p$-group, a torsion group with bounded primary components, or a free $R$-module for some subring $R\subseteq \mathbb{Q}$. Precisely, for such $C$ and $A$ we describe in terms of $C$ and $A$ the potential complexity class in the s… ▽ More Let $C,A$ be countable abelian groups. In this paper we determine the complexity of classifying extensions $C$ by $A$, in the cases when $C$ is torsion-free and $A$ is a $p$-group, a torsion group with bounded primary components, or a free $R$-module for some subring $R\subseteq \mathbb{Q}$. Precisely, for such $C$ and $A$ we describe in terms of $C$ and $A$ the potential complexity class in the sense of Borel complexity theory of the equivalence relation $\mathcal{R}_{\mathbf{Ext}\left( C,A\right) }$ of isomorphism of extensions of $C$ by $A$. This complements a previous result by the same author, settling the case when $C$ is torsion and $A$ is arbitrary. We establish the main result within the framework of Borel-definable homological algebra, recently introduced in collaboration with Bergfalk and Panagiotopoulos. As a consequence of our main results, we will obtain that if $C$ is torsion-free and $A$ is either a free $R$-module or a torsion group with bounded components, then an extension of $C$ by $A$ splits if and only if it splits on all finite-rank subgroups of $C$. This is a purely algebraic statements obtained with methods from Borel-definable homological algebra. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 36 pages

MSC Class: 20K35; 54H05 (Primary) 20K40; 20K45 (Secondary)

(Looking For) The Heart of Abelian Polish Groups

Authors: Martino Lupini

Abstract: We prove that the category $\mathcal{M}$ of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category $\mathcal{A}$ of abelian Polish groups in the sense of Beilinson--Bernstein--Deligne and Schneiders. Thus, $\mathcal{M}$ is an abelian category containing $\mathcal{A}$ as a full subcat… ▽ More We prove that the category $\mathcal{M}$ of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category $\mathcal{A}$ of abelian Polish groups in the sense of Beilinson--Bernstein--Deligne and Schneiders. Thus, $\mathcal{M}$ is an abelian category containing $\mathcal{A}$ as a full subcategory such that the inclusion functor $\mathcal{A}\rightarrow \mathcal{M}$ is exact and finitely continuous. Furthermore, $\mathcal{M}$ is uniquely characterized up to equivalence by the following universal property: for every abelian category $\mathcal{B}$, a functor $\mathcal{A}\rightarrow \mathcal{B}$ is exact and finitely continuous if and only if it extends to an exact and finitely continuous functor $\mathcal{M}\rightarrow \mathcal{B}$. In particular, this provides a description of the left heart of $\mathcal{A}$ as a concrete category. We provide similar descriptions of the left heart of a number of categories of algebraic structures endowed with a topology, including: non-Archimedean abelian Polish groups; locally compact abelian Polish groups; totally disconnected locally compact abelian Polish groups; Polish $R$-modules, for a given Polish group or Polish ring $R$; and separable Banach spaces and separable Fréchet spaces over a separable complete non-Archimedean valued field. △ Less

Submitted 30 July, 2023; v1 submitted 27 February, 2022; originally announced February 2022.

Comments: 29 pages. Simplified the proofs and generalized the results

MSC Class: 54H05; 20K45; 18F60 (Primary); 26E30; 18G10; 46M15 (Secondary)

Complexity classes of Polishable subgroups

Authors: Martino Lupini

Abstract: In this paper we further develop the theory of canonical approximations of Polishable subgroups of Polish groups, building on previous work of Solecki and Farah--Solecki. In particular, we obtain a characterization of such canonical approximations in terms of their Borel complexity class. As an application we provide a complete list of all the possible Borel complexity classes of Polishable subgro… ▽ More In this paper we further develop the theory of canonical approximations of Polishable subgroups of Polish groups, building on previous work of Solecki and Farah--Solecki. In particular, we obtain a characterization of such canonical approximations in terms of their Borel complexity class. As an application we provide a complete list of all the possible Borel complexity classes of Polishable subgroups of Polish groups or, equivalently, of the ranges of continuous group homomorphisms between Polish groups. We also provide a complete list of all the possible Borel complexity classes of the ranges of: continuous group homomorphisms between non-Archimedean Polish groups; continuous linear maps between separable Fréchet spaces; continuous linear maps between separable Banach spaces. △ Less

Submitted 3 February, 2022; originally announced February 2022.

Comments: 26 pages

MSC Class: 54H05; 22A05 (Primary); 46B99; 46A04 (Secondary)

Computable topological abelian groups

Authors: Martino Lupini, Alexander Melnikov, Andre Nies

Abstract: We study the algorithmic content of Pontryagin - van Kampen duality. We prove that the dualization is computable in the important cases of compact and locally compact totally disconnected Polish abelian groups. The applications of our main results include solutions to questions of Kihara and Ng about presentations of connected Polish spaces, and an unexpected arithmetical characterisation of direc… ▽ More We study the algorithmic content of Pontryagin - van Kampen duality. We prove that the dualization is computable in the important cases of compact and locally compact totally disconnected Polish abelian groups. The applications of our main results include solutions to questions of Kihara and Ng about presentations of connected Polish spaces, and an unexpected arithmetical characterisation of direct products of solenoid groups among all Polish groups. △ Less

Submitted 16 August, 2021; v1 submitted 26 May, 2021; originally announced May 2021.

The classification problem for extensions of torsion abelian groups

Authors: Martino Lupini

Abstract: Given countable abelian groups $C,A$, with $C$ torsion, we compute the potential Borel complexity class of the classification problem $mathcal{R}_{\mathbf{Ext}(C,A)}$ for extensions of $C$ by $A$. In particular, we show that such a problem can have arbitrarily high potential complexity. Furthermore, if $Γ$ is one of the possible potential Borel complexity classes of the isomorphism relation for a… ▽ More Given countable abelian groups $C,A$, with $C$ torsion, we compute the potential Borel complexity class of the classification problem $mathcal{R}_{\mathbf{Ext}(C,A)}$ for extensions of $C$ by $A$. In particular, we show that such a problem can have arbitrarily high potential complexity. Furthermore, if $Γ$ is one of the possible potential Borel complexity classes of the isomorphism relation for a Borel class of countable first-order structures, then there exist countable torsion groups $C,A$ such that $\mathcal{R}_{\mathbf{Ext}(C,A)}$ has potential Borel complexity class $Γ$. △ Less

Submitted 1 March, 2022; v1 submitted 5 February, 2021; originally announced February 2021.

Comments: 26 pages. The content of Section 2 of Version 1 has been removed. Parts of it have been included in the preprint arXiv:2202.01965v1, and parts of it have been included in arXiv:2202.13439

MSC Class: 20K10; 20K35; 54H05 (Primary) 20K40; 20K45 (Secondary)

Definable Eilenberg--Mac Lane Universal Coefficient Theorems

Authors: Martino Lupini

Abstract: We prove definable versions of the Universal Coefficient Theorems of Eilenberg--Mac Lane expressing the (Steenrod) homology groups of a compact metrizable space in terms of its integral cohomology groups, and the (Čech) cohomology groups of a polyhedron in terms of its integral homology groups. Precisely, we show that, given a compact metrizable space $X$, a (not necessarily compact) polyhedron… ▽ More We prove definable versions of the Universal Coefficient Theorems of Eilenberg--Mac Lane expressing the (Steenrod) homology groups of a compact metrizable space in terms of its integral cohomology groups, and the (Čech) cohomology groups of a polyhedron in terms of its integral homology groups. Precisely, we show that, given a compact metrizable space $X$, a (not necessarily compact) polyhedron $Y$, and an abelian Polish group $G$ with the division closure property, there are natural definable exact sequences \begin{equation*} 0\rightarrow \mathrm{Ext}\left( H^{n+1}(X),G\right) \rightarrow H_{n}(X;G)\rightarrow \mathrm{Hom}\left( H^{n}(X),G\right) \rightarrow 0 \end{equation*} and \begin{equation*} 0\rightarrow \mathrm{Ext}\left( H_{n-1}(Y),G\right) \rightarrow H^{n}(Y;G)\rightarrow \mathrm{Hom}\left( H_{n}(Y),G\right) \rightarrow 0 \end{equation*} which definably split, where $H_{n}(X;G)$ is the $n$-dimensional definable homology group of $X$ with coefficients in $G$ and $H^{n}(Y;G)$ is the $n$ -dimensional definable cohomology group of $Y$ with coefficients in $G$. Both of these results are obtained as corollaries of a general algebraic Universal Coefficient Theorem relating the cohomology of a cochain complex of countable free abelian groups to the definable homology of its $G$-dual chain complex of Polish groups. △ Less

Submitted 9 October, 2020; v1 submitted 22 September, 2020; originally announced September 2020.

MSC Class: 54H05; 55N07 (Primary) 55N10; 18G10; 18G35 (Secondary)

Definable $\mathrm{K}$-homology of separable C*-algebras

Authors: Martino Lupini

Abstract: In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal Coefficient Theorem, we prove that the corresponding definable $\mathrm{K}$-homology is a finer invariant than the purely algebraic one, even when restricted to the c… ▽ More In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal Coefficient Theorem, we prove that the corresponding definable $\mathrm{K}$-homology is a finer invariant than the purely algebraic one, even when restricted to the class of UHF C*-algebras, or to the class of unital commutative C*-algebras whose spectrum is a $1$-dimensional connected subspace of $\mathbb{R}^{3}$. △ Less

Submitted 21 October, 2020; v1 submitted 30 August, 2020; originally announced August 2020.

MSC Class: 19K33; 54H05 (Primary) 46M20; 46L80 (Secondary)

The definable content of homological invariants I: $\mathrm{Ext}$ & $\mathrm{lim}^1$

Authors: Jeffrey Bergfalk, Martino Lupini, Aristotelis Panagiotopoulos

Abstract: This is the first installment in a series of papers in which we illustrate how classical invariants of homological algebra and algebraic topology can be enriched with additional descriptive set-theoretic information. To effect this enrichment, we show that many of these invariants can be naturally regarded as functors to the category, introduced herein, of groups with a Polish cover. The resulting… ▽ More This is the first installment in a series of papers in which we illustrate how classical invariants of homological algebra and algebraic topology can be enriched with additional descriptive set-theoretic information. To effect this enrichment, we show that many of these invariants can be naturally regarded as functors to the category, introduced herein, of groups with a Polish cover. The resulting definable invariants provide far stronger means of classification. In the present work we focus on the first derived functors of $\mathrm{Hom}(-,-)$ and $\mathrm{lim}(-)$. The resulting definable $\mathrm{Ext}(B,F)$ for pairs of countable abelian groups $B,F$ and definable $\mathrm{lim}^{1}(\boldsymbol{A})$ for towers $\boldsymbol{A}$ of Polish abelian groups substantially refine their classical counterparts. We show, for example, that the definable $\textrm{Ext}(-,\mathbb{Z})$ is a fully faithful contravariant functor from the category of finite rank torsion-free abelian groups $Λ$ with no free summands; this contrasts with the fact that there are uncountably many non-isomorphic such groups $Λ$ with isomorphic classical invariants $\textrm{Ext}(Λ,\mathbb{Z}) $. To facilitate our analysis, we introduce a general Ulam stability framework for groups with a Polish cover and we prove several rigidity results for non-Archimedean abelian groups with a Polish cover. A special case of our main result answers a question of Kanovei and Reeken regarding quotients of the $p$-adic groups. Finally, using cocycle superrigidity methods for profinite actions of property (T) groups, we obtain a hierarchy of complexity degrees for the problem $\mathcal{R}(\mathrm{Aut}(Λ)\curvearrowright\mathrm{Ext}(Λ,\mathbb{Z}))$ of classifying all group extensions of $Λ$ by $\mathbb{Z}$ up to base-free isomorphism, when $Λ=\mathbb{Z}[1/p]^{d}$ for prime numbers $p$ and $ d\geq 1$. △ Less

Submitted 3 November, 2022; v1 submitted 20 August, 2020; originally announced August 2020.

Comments: Minor revisions; 38 pages

MSC Class: Primary 54H05; 18G10; 18G60; Secondary 55N05; 55N07; 37A20

The Ramsey property for Operator spaces and noncommutative Choquet simplices

Authors: Dana Bartošová, Jordi Lopez-Abad, Martino Lupini, Brice Mbombo

Abstract: The noncommutative Gurarij space $\mathbb{\mathbb{\mathbb{NG}}}$, initially defined by Oikhberg, is a canonical object in the theory of operator spaces. As the Fraïssé limit of the class of finite-dimensional nuclear operator spaces, it can be seen as the noncommutative analogue of the classical Gurarij Banach space. In this paper, we prove that the automorphism group of $\mathbb{\mathbb{NG}}$ is… ▽ More The noncommutative Gurarij space $\mathbb{\mathbb{\mathbb{NG}}}$, initially defined by Oikhberg, is a canonical object in the theory of operator spaces. As the Fraïssé limit of the class of finite-dimensional nuclear operator spaces, it can be seen as the noncommutative analogue of the classical Gurarij Banach space. In this paper, we prove that the automorphism group of $\mathbb{\mathbb{NG}}$ is extremely amenable, i.e.\ any of its actions on compact spaces has a fixed point. The proof relies on the Dual Ramsey Theorem, and a version of the Kechris--Pestov--Todorcevic correspondence in the setting of operator spaces. Recent work of Davidson and Kennedy, building on previous work of Arveson, Effros, Farenick, Webster, and Winkler, among others, shows that nuclear operator systems can be seen as the noncommutative analogue of Choquet simplices. The analogue of the Poulsen simplex in this context is the matrix state space $\mathbb{NP}$ of the Fraïssé limit $A(\mathbb{NP})$ of the class of finite-dimensional nuclear operator systems. We show that the canonical action of the automorphism group of $\mathbb{NP}$ on the compact set $\mathbb{NP}_1$ of unital linear functionals on $A(\mathbb{NP})$ is minimal and it factors onto any minimal action, whence providing a description of the universal minimal flow of \textrm{Aut}$\left( \mathbb{NP}% \right) $. △ Less

Submitted 24 August, 2021; v1 submitted 8 June, 2020; originally announced June 2020.

Comments: 32 pages. This preprint is partially based on a part of our preprint arXiv:1708.01317, version1

MSC Class: Primary 05D10; 46L07; Secondary 37B05; 46L05

Journal ref: J. Funct. Anal. 281 (2021), no. 9, Paper No. 109192, 39 pp

Dilation theory in finite dimensions and matrix convexity

Authors: Michael Hartz, Martino Lupini

Abstract: We establish a finite-dimensional version of the Arveson-Stinespring dilation theorem for unital completely positive maps on operator systems. This result can be seen as a general principle to deduce finite-dimensional dilation theorems from their classical infinite-dimensional counterparts. In addition to providing unified proofs of known finite-dimensional dilation theorems, we establish finite-… ▽ More We establish a finite-dimensional version of the Arveson-Stinespring dilation theorem for unital completely positive maps on operator systems. This result can be seen as a general principle to deduce finite-dimensional dilation theorems from their classical infinite-dimensional counterparts. In addition to providing unified proofs of known finite-dimensional dilation theorems, we establish finite-dimensional versions of Agler's theorem on rational dilation on an annulus, of Berger's dilation theorem for operators of numerical radius at most $1$, and of the Putinar-Sandberg numerical range dilation theorem. As a key tool, we prove versions of Carathéodory's and of Minkowski's theorem for matrix convex sets. △ Less

Submitted 15 September, 2020; v1 submitted 8 October, 2019; originally announced October 2019.

Comments: 27 pages; added more dilation theorems

MSC Class: Primary: 47A20; Secondary 47L07; 47L07

Journal ref: Israel J. Math. 245 (2021), no. 1, 39-73

The Ramsey properties for Grassmannians over $\mathbb R$, $\mathbb C$

Authors: Dana Bartošová, Jordi Lopez-Abad, Martino Lupini, Brice Mbombo

Abstract: In this note we study and obtain factorization theorems for colorings of matrices and Grassmannians over $\mathbb{R}$ and ${\mathbb{C}}$, which can be considered metric versions of the Dual Ramsey Theorem for Boolean matrices and of the Graham-Leeb-Rothschild Theorem for Grassmannians over a finite field. In this note we study and obtain factorization theorems for colorings of matrices and Grassmannians over $\mathbb{R}$ and ${\mathbb{C}}$, which can be considered metric versions of the Dual Ramsey Theorem for Boolean matrices and of the Graham-Leeb-Rothschild Theorem for Grassmannians over a finite field. △ Less

Submitted 1 October, 2019; originally announced October 2019.

MSC Class: Primary 05D10; 37B05; Secondary 05A05; 46B20

Definable (co)homology, pro-torus rigidity, and (co)homological classification

Authors: Jeffrey Bergfalk, Martino Lupini, Aristotelis Panagiotopoulos

Abstract: We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a strictly finer invariant than Steenrod homology for compact metrizable spaces up to homotopy. In particular, we show that pro-tori are completely classified up to homeomorphism by their definable homology. This is in con… ▽ More We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a strictly finer invariant than Steenrod homology for compact metrizable spaces up to homotopy. In particular, we show that pro-tori are completely classified up to homeomorphism by their definable homology. This is in contrast with the fact that, for example, there exist uncountably many pairwise non-homeomorphic solenoids with the same Steenrod homology groups. We similarly develop a definable cohomology theory which strengthens Čech cohomology and we show that it completely classifies complements of pro-tori up to homeomorphism. We also apply definable cohomology theory to the study of the space $\left[ X,S^{2}\right] $ of homotopy classes of continuous functions from a solenoid complement $X$ to the $2$-sphere, which was initiated by Borsuk and Eilenberg in 1936. It was proved by Eilenberg and Steenrod in 1940 that the space $\left[ X,S^{2}\right] $ is uncountable. We will strengthen this result, by showing that each orbit of the canonical action $\mathrm{Homeo}% \left( X\right) \curvearrowright \left[ X,S^{2}\right] $ is countable, and hence that such an action has uncountably many orbits. This can be seen as a rigidity result, and will be deduced from a rigidity result for definable automorphisms of the Čech cohomology of $X$. We will also show that these results still hold if one replaces solenoids with pro-tori. We conclude by applying the machinery developed herein to bound the Borel complexity of several well-studied classification problems in mathematics, such as that of automorphisms of continuous-trace $C^{*}$-algebras up to unitary equivalence, or that of Hermitian line bundles, up to isomorphism, over a locally compact second countable space. △ Less

Submitted 22 April, 2024; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: These notes provide an early draft of what has now been corrected and expanded to the series of papers "The Definable Content of Homological Invariants I, II, and III" (see arXiv:2008.08782 and arXiv:2210.11098, for the first two papers in the series).The reader is strongly advised to refer to the series for a more detailed and rigorous treatment

MSC Class: 54H05; 55N05; 55N07 (Primary) 18G35; 46L35; 46L40 (Secondary)

On Rado conditions for nonlinear Diophantine equations

Authors: Jordan Mitchell Barrett, Martino Lupini, Joel Moreira

Abstract: Building on previous work of Di Nasso and Luperi Baglini, we provide general necessary conditions for a Diophantine equation to be partition regular. These conditions are inspired by Rado's characterization of partition regular linear homogeneous equations. We conjecture that these conditions are also sufficient for partition regularity, at least for equations whose corresponding monovariate polyn… ▽ More Building on previous work of Di Nasso and Luperi Baglini, we provide general necessary conditions for a Diophantine equation to be partition regular. These conditions are inspired by Rado's characterization of partition regular linear homogeneous equations. We conjecture that these conditions are also sufficient for partition regularity, at least for equations whose corresponding monovariate polynomial is linear. This would provide a natural generalization of Rado's theorem. We verify that such a conjecture hold for the equations $x^{2}-xy+ax+by+cz=0$ and $x^{2}-y^{2}+ax+by+cz=0$ for $a,b,c\in \mathbb{Z}$ such that $abc=0$ or $% a+b+c=0$. To deal with these equations, we establish new results concerning the partition regularity of polynomial configurations in $\mathbb{Z}$ such as $\left\{ x,x+y,xy+x+y\right\} $, building on the recent result on the partition regularity of $\left\{ x,x+y,xy\right\} $. △ Less

Submitted 16 January, 2021; v1 submitted 13 July, 2019; originally announced July 2019.

Comments: 22 pages

MSC Class: 05D10; 11D99 (Primary) 11U10 (Secondary)

Journal ref: European Journal of Combinatorics, Volume 94, May 2021, #103277

Perfect strategies for non-signalling games

Authors: M. Lupini, L. Mancinska, V. I. Paulsen, D. E. Roberson, G. Scarpa, S. Severini, I. G. Todorov, A. Winter

Abstract: We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games and establishing general theorems about them, which extend a number of known facts in a variety of special cases. Among these families are {\it reflexive games,} which are characterised as the hardest non-signalling game… ▽ More We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games and establishing general theorems about them, which extend a number of known facts in a variety of special cases. Among these families are {\it reflexive games,} which are characterised as the hardest non-signalling games that can be won using a given set of strategies. We introduce {\it imitation games,} in which the players display linked behaviour, and which contains as subclasses the classes of variable assignment games, binary constraint system games, synchronous games, many games based on graphs, and {\it unique} games. We associate a C*-algebra $C^*(\mathcal{G})$ to any imitation game $\mathcal{G}$, and show that the existence of perfect quantum commuting (resp.\ quantum, local) strategies of $\mathcal{G}$ can be characterised in terms of properties of this C*-algebra, extending known results about synchronous games. We single out a subclass of imitation games, which we call {\it mirror games,} and provide a characterisation of their quantum commuting strategies that has an algebraic flavour, showing in addition that their approximately quantum perfect strategies arise from amenable traces on the encoding C*-algebra. We describe the main classes of non-signalling correlations in terms of states on operator system tensor products. △ Less

Submitted 17 April, 2018; originally announced April 2018.

Journal ref: Math. Phys. Anal. Geom., vol. 23, 7 (2020)

Actions of nonamenable groups on $\mathcal{Z}$-stable $C^*$-algebras

Authors: Eusebio Gardella, Martino Lupini

Abstract: We study strongly outer actions of discrete groups on C*-algebras in relation to (non)amenability. In contrast to related results for amenable groups, where uniqueness of strongly outer actions on the Jiang-Su algebra is expected, we show that uniqueness fails for all nonamenable groups, and that the failure is drastic. Our main result implies that if $G$ contains a copy of the free group, then th… ▽ More We study strongly outer actions of discrete groups on C*-algebras in relation to (non)amenability. In contrast to related results for amenable groups, where uniqueness of strongly outer actions on the Jiang-Su algebra is expected, we show that uniqueness fails for all nonamenable groups, and that the failure is drastic. Our main result implies that if $G$ contains a copy of the free group, then there exist uncountable many, non-cocycle conjugate strongly outer actions of $G$ on any Jiang-Su stable tracial C*-algebra. Similar conclusions apply for outer actions on McDuff tracial von Neumann algebras. We moreover show that $G$ is amenable if and only if the Bernoulli shift on a finite strongly self-absorbing C*-algebra absorbs the trivial action on the Jiang-Su algebra. Our methods consist in a careful study of weak containments of the Koopman representations of different Bernoulli-type actions. △ Less

Submitted 16 March, 2018; originally announced March 2018.

Comments: 20 pages

Nonlocal Games and Quantum Permutation Groups

Authors: Martino Lupini, Laura Mančinska, David E. Roberson

Abstract: We present a strong connection between quantum information and quantum permutation groups. Specifically, we define a notion of quantum isomorphisms of graphs based on quantum automorphisms from the theory of quantum groups, and then show that this is equivalent to the previously defined notion of quantum isomorphism corresponding to perfect quantum strategies to the isomorphism game. Moreover, we… ▽ More We present a strong connection between quantum information and quantum permutation groups. Specifically, we define a notion of quantum isomorphisms of graphs based on quantum automorphisms from the theory of quantum groups, and then show that this is equivalent to the previously defined notion of quantum isomorphism corresponding to perfect quantum strategies to the isomorphism game. Moreover, we show that two connected graphs $X$ and $Y$ are quantum isomorphic if and only if there exists $x \in V(X)$ and $y \in V(Y)$ that are in the same orbit of the quantum automorphism group of the disjoint union of $X$ and $Y$. This connection links quantum groups to the more concrete notion of nonlocal games and physically observable quantum behaviours. We exploit this link by using ideas and results from quantum information in order to prove new results about quantum automorphism groups, and about quantum permutation groups more generally. In particular, we show that asymptotically almost surely all graphs have trivial quantum automorphism group. Furthermore, we use examples of quantum isomorphic graphs from previous work to construct an infinite family of graphs which are quantum vertex transitive but fail to be vertex transitive, answering a question from the quantum group literature. Our main tool for proving these results is the introduction of orbits and orbitals (orbits on ordered pairs) of quantum permutation groups. We show that the orbitals of a quantum permutation group form a coherent configuration/algebra, a notion from the field of algebraic graph theory. We then prove that the elements of this quantum orbital algebra are exactly the matrices that commute with the magic unitary defining the quantum group. We furthermore show that quantum isomorphic graphs admit an isomorphism of their quantum orbital algebras which maps the adjacency matrix of one graph to that of the other. △ Less

Submitted 30 March, 2018; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: 39 pages

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Authors: Mauro Di Nasso, Isaac Goldbring, Martino Lupini

Abstract: The goal of this present manuscript is to introduce the reader to the nonstandard method and to provide an overview of its most prominent applications in Ramsey theory and combinatorial number theory. The goal of this present manuscript is to introduce the reader to the nonstandard method and to provide an overview of its most prominent applications in Ramsey theory and combinatorial number theory. △ Less

Submitted 18 August, 2018; v1 submitted 12 September, 2017; originally announced September 2017.

Comments: 126 pages. Comments welcome

An intrinsic order-theoretic characterization of the weak expectation property

Authors: Martino Lupini

Abstract: We prove the following characterization of the weak expectation property for operator systems in terms of Wittstock's matricial Riesz separation property: an operator system $S$ satisfies the weak expectation property if and only if $M_{q}(S)$ satisfies the matricial Riesz separation property for every $q\in \mathbb{N}$. This can be seen as the noncommutative analog of the characterization of simp… ▽ More We prove the following characterization of the weak expectation property for operator systems in terms of Wittstock's matricial Riesz separation property: an operator system $S$ satisfies the weak expectation property if and only if $M_{q}(S)$ satisfies the matricial Riesz separation property for every $q\in \mathbb{N}$. This can be seen as the noncommutative analog of the characterization of simplex spaces among function systems in terms of the classical Riesz separation property. △ Less

Submitted 11 August, 2017; originally announced August 2017.

MSC Class: 47L25; 46L89 (Primary) 46A55; 52A07 (Secondary)

An invitation to model theory and C*-algebras

Authors: Martino Lupini

Abstract: We present an introductory survey to first order logic for metric structures and its applications to C*-algebras. We present an introductory survey to first order logic for metric structures and its applications to C*-algebras. △ Less

Submitted 5 August, 2017; originally announced August 2017.

MSC Class: 03C07; 46L05 (Primary) 03C20; 46L35 (Secondary)

A von Neumann algebra characterization of property (T) for groupoids

Authors: Martino Lupini

Abstract: For an arbitrary discrete probability-measure-preserving groupoid $G$, we provide a characterization of property (T) for $G$ in terms of the groupoid von Neumann algebra $L(G)$. More generally, we obtain a characterization of relative property (T) for a subgroupoid $H\subset G$ in terms of the inclusion $L\left( H\right) \subset L\left( G\right) $. For an arbitrary discrete probability-measure-preserving groupoid $G$, we provide a characterization of property (T) for $G$ in terms of the groupoid von Neumann algebra $L(G)$. More generally, we obtain a characterization of relative property (T) for a subgroupoid $H\subset G$ in terms of the inclusion $L\left( H\right) \subset L\left( G\right) $. △ Less

Submitted 5 August, 2017; originally announced August 2017.

MSC Class: 20L05; 46L10 (Primary) 37A15 (Secondary)

Journal ref: J. Aust. Math. Soc. 108 (2020) 363-386

The complexity of conjugacy, orbit equivalence, and von Neumann equivalence of actions of nonamenable groups

Authors: Eusebio Gardella, Martino Lupini

Abstract: Building on work of Popa, Ioana, and Epstein--Törnquist, we show that, for every nonamenable countable discrete group $Γ$, the relations of conjugacy, orbit equivalence, and von Neumann equivalence of free ergodic (or weak mixing) measure preserving actions of $Γ$ on the standard atomless probability space are not Borel, thus answering questions of Kechris. This is an optimal and definitive result… ▽ More Building on work of Popa, Ioana, and Epstein--Törnquist, we show that, for every nonamenable countable discrete group $Γ$, the relations of conjugacy, orbit equivalence, and von Neumann equivalence of free ergodic (or weak mixing) measure preserving actions of $Γ$ on the standard atomless probability space are not Borel, thus answering questions of Kechris. This is an optimal and definitive result, which establishes a neat dichotomy with the amenable case, since any two free ergodic actions of an amenable group on the standard atomless probability space are orbit equivalent by classical results of Dye and Ornstein--Weiss. The statement about conjugacy solves the nonamenable case of Halmos' conjugacy problem in Ergodic Theory, originally posed by Halmos in 1956 for ergodic transformations. In order to obtain these results, we study ergodic (or weak mixing) class-bijective extensions of a given ergodic countable probability measure preserving equivalence relation $R$. When $R$ is nonamenable, we show that the relations of isomorphism and von Neumann equivalence of extensions of $R$ are not Borel. When $R$ is amenable, all the extensions of $R$ are again amenable, and hence isomorphic by classical results of Dye and Connes--Feldman--Weiss. This approach allows us to extend the results about group actions mentioned above to the case of nonamenable locally compact unimodular groups, via the study of their cross-section equivalence relations. △ Less

Submitted 17 December, 2017; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: 39 pages. Changes in v2: reorganized the material, corrected typos, and added results dealing with locally compact unimodular groups. This version will be submitted

MSC Class: 37A20; 03E15 (Primary); 20L05; 37A55 (Secondary)

The Ramsey property for Banach spaces and Choquet simplices

Authors: Dana Bartošová, Jordi Lopez-Abad, Martino Lupini, Brice Mbombo

Abstract: We show that the Gurarij space $\mathbb{G}$ has extremely amenable automorphism group. This answers a question of Melleray and Tsankov. We also compute the universal minimal flow of the automorphism group of the Poulsen simplex $\mathbb{P}$ and we prove that it consists of the canonical action on $\mathbb{P}$ itself. This answers a question of Conley and Törnquist. We show that the pointwise stabi… ▽ More We show that the Gurarij space $\mathbb{G}$ has extremely amenable automorphism group. This answers a question of Melleray and Tsankov. We also compute the universal minimal flow of the automorphism group of the Poulsen simplex $\mathbb{P}$ and we prove that it consists of the canonical action on $\mathbb{P}$ itself. This answers a question of Conley and Törnquist. We show that the pointwise stabilizer of any closed proper face of $\mathbb{P}$ is extremely amenable. Similarly, the pointwise stabilizer of any closed proper biface of the unit ball of the dual of the Gurarij space (the Lusky simplex) is extremely amenable. These results are obtained via several Kechris-Pestov-Todorcevic correspondences, by establishing the approximate Ramsey property for several classes of finite-dimensional Banach spaces and function systems and their versions with distinguished contractions. This is the first direct application of the Kechris-Pestov-Todorcevic correspondence in the setting of metric structures. The fundamental combinatorial principle that underpins the proofs is the Dual Ramsey Theorem of Graham and Rothschild. △ Less

Submitted 22 April, 2020; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: This preprint is partially based on a part of our preprint with arXiv identifier 708.01317. To appear in J. Eur. Math. Soc. (JEMS)

MSC Class: 05D10; 46B04 (Primary); 47L25; 46A55 (Secondary)

Rokhlin dimension for compact quantum group actions

Authors: Eusebio Gardella, Mehrdad Kalantar, Martino Lupini

Abstract: We show that, for a given compact or discrete quantum group $G$, the class of actions of $G$ on C*-algebras is first-order axiomatizable in the logic for metric structures. As an application, we extend the notion of Rokhlin property for $G$-C*-algebra, introduced by Barlak, Szabó, and Voigt in the case when $G$ is second countable and coexact, to an arbitrary compact quantum group $G$. All the the… ▽ More We show that, for a given compact or discrete quantum group $G$, the class of actions of $G$ on C*-algebras is first-order axiomatizable in the logic for metric structures. As an application, we extend the notion of Rokhlin property for $G$-C*-algebra, introduced by Barlak, Szabó, and Voigt in the case when $G$ is second countable and coexact, to an arbitrary compact quantum group $G$. All the the preservations and rigidity results for Rokhlin actions of second countable coexact compact quantum groups obtained by Barlak, Szabó, and Voigt are shown to hold in this general context. As a further application, we extend the notion of equivariant order zero dimension for equivariant *-homomorphisms, introduced in the classical setting by the first and third authors, to actions of compact quantum groups. This allows us to define the Rokhlin dimension of an action of a compact quantum group on a C*-algebra, recovering the Rokhlin property as Rokhlin dimension zero. We conclude by establishing a preservation result for finite nuclear dimension and finite decomposition rank when passing to fixed point algebras and crossed products by compact quantum group actions with finite Rokhlin dimension. △ Less

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

Comments: 32 pages. V2: minor changes, updated funding information

MSC Class: 20G42; 46L55; 54H05 (Primary); 03E15; 37A55 (Secondary)

Games orbits play and obstructions to Borel reducibility

Authors: Martino Lupini, Aristotelis Panagiotopoulos

Abstract: We introduce a new, game-theoretic approach to anti-classification results for orbit equivalence relations. Within this framework, we give a short conceptual proof of Hjorth's turbulence theorem. We also introduce a new dynamical criterion providing an obstruction to classification by orbits of CLI groups. We apply this criterion to the relation of equality of countable sets of reals, and the rela… ▽ More We introduce a new, game-theoretic approach to anti-classification results for orbit equivalence relations. Within this framework, we give a short conceptual proof of Hjorth's turbulence theorem. We also introduce a new dynamical criterion providing an obstruction to classification by orbits of CLI groups. We apply this criterion to the relation of equality of countable sets of reals, and the relations of unitary conjugacy of unitary and selfadjoint operators on the separable infinite-dimensional Hilbert space. △ Less

Submitted 14 April, 2018; v1 submitted 25 December, 2016; originally announced December 2016.

Comments: 13 pages. Final version, to appear in Groups, Geometry, and Dynamics

MSC Class: 03E15; 54H20 (Primary) 20L05; 54H05 (Secondary)

Actions of rigid groups on UHF-algebras

Authors: Eusebio Gardella, Martino Lupini

Abstract: Let $Λ$ be a countably infinite property (T) group, and let $D$ be UHF-algebra of infinite type. We prove that there exists a continuum of pairwise non (weakly) cocycle conjugate, strongly outer actions of $Λ$ on $D$. The proof consists in assigning, to any second countable abelian pro-$p$ group $G$, a strongly outer action of $Λ$ on $D$ whose (weak) cocycle conjugacy class completely remembers th… ▽ More Let $Λ$ be a countably infinite property (T) group, and let $D$ be UHF-algebra of infinite type. We prove that there exists a continuum of pairwise non (weakly) cocycle conjugate, strongly outer actions of $Λ$ on $D$. The proof consists in assigning, to any second countable abelian pro-$p$ group $G$, a strongly outer action of $Λ$ on $D$ whose (weak) cocycle conjugacy class completely remembers the group $G$. The group $G$ is reconstructed from the action through its (weak) 1-cohomology set endowed with a canonical pairing function. Our construction also shows the following stronger statement: the relations of conjugacy, cocycle conjugacy, and weak cocycle conjugacy of strongly outer actions of $Λ$ on $D$ are complete analytic sets, and in particular not Borel. The same conclusions hold more generally when $Λ$ is only assumed to contain an infinite subgroup with relative property (T), and for actions on (not necessarily simple) separable, nuclear, UHF-absorbing, self-absorbing C*-algebras with at least one trace. Finally, we use the techniques of this paper to construct outer actions on $R$ with prescribed cohomology. Precisely, for every infinite property (T) group $Λ$, and for every countable abelian group $Γ$, we construct an outer action of $Λ$ on $R$ whose 1-cohomology is isomorphic to $Γ$. △ Less

Submitted 18 December, 2017; v1 submitted 24 December, 2016; originally announced December 2016.

Comments: 24 pages, changed title

MSC Class: 46L55; 54H05 (Primary); 03E15; 37A55 (Secondary)

Actions of trees on semigroups, and an infinitary Gowers--Hales--Jewett Ramsey theorem

Authors: Martino Lupini

Abstract: We introduce the notion of (Ramsey) action of a tree on a (filtered) semigroup. We then prove in this setting a general result providing a common generalization of the infinitary Gowers Ramsey theorem for multiple tetris operations, the infinitary Hales--Jewett theorems (for both located and nonlocated words), and the Farah--Hindman--McLeod Ramsey theorem for layered actions on partial semigroups.… ▽ More We introduce the notion of (Ramsey) action of a tree on a (filtered) semigroup. We then prove in this setting a general result providing a common generalization of the infinitary Gowers Ramsey theorem for multiple tetris operations, the infinitary Hales--Jewett theorems (for both located and nonlocated words), and the Farah--Hindman--McLeod Ramsey theorem for layered actions on partial semigroups. We also establish a polynomial version of our main result, recovering the polynomial Milliken--Taylor theorem of Bergelson--Hindman--Williams as a particular case. We present applications of our Ramsey-theoretic results to the structure of delta sets in amenable groups. △ Less

Submitted 19 November, 2016; originally announced November 2016.

Comments: 20 pages

MSC Class: 05D10; 54D80 (Primary) 20M99; 05C05; 06A06 (Secondary)

Boundary representations of operator spaces, and compact rectangular matrix convex sets

Authors: Adam H. Fuller, Michael Hartz, Martino Lupini

Abstract: We initiate the study of matrix convexity for operator spaces. We define the notion of compact rectangular matrix convex set, and prove the natural analogs of the Krein-Milman and the bipolar theorems in this context. We deduce a canonical correspondence between compact rectangular matrix convex sets and operator spaces. We also introduce the notion of boundary representation for an operator space… ▽ More We initiate the study of matrix convexity for operator spaces. We define the notion of compact rectangular matrix convex set, and prove the natural analogs of the Krein-Milman and the bipolar theorems in this context. We deduce a canonical correspondence between compact rectangular matrix convex sets and operator spaces. We also introduce the notion of boundary representation for an operator space, and prove the natural analog of Arveson's conjecture: every operator space is completely normed by its boundary representations. This yields a canonical construction of the triple envelope of an operator space. △ Less

Submitted 10 December, 2017; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: 21 pages

MSC Class: 46L07; 47L25 (Primary) 46E22; 47L07 (Secondary)

Journal ref: J. Operator Theory 79 (2018), no. 1, 139-172

Applications of model theory to C*-dynamics

Authors: Eusebio Gardella, Martino Lupini

Abstract: We initiate the study of compact group actions on C*-algebras from the perspective of model theory, and present several applications to C*-dynamics. Firstly, we prove that the continuous part of the central sequence algebra of a strongly self-absorbing action is indistinguishable from the continuous part of the sequence algebra, and in fact equivariantly isomorphic under the Continuum Hypothesis.… ▽ More We initiate the study of compact group actions on C*-algebras from the perspective of model theory, and present several applications to C*-dynamics. Firstly, we prove that the continuous part of the central sequence algebra of a strongly self-absorbing action is indistinguishable from the continuous part of the sequence algebra, and in fact equivariantly isomorphic under the Continuum Hypothesis. As another application, we present a unified approach to several dimensional inequalities in C*-algebras, which is done through the notion of order zero dimension for an (equivariant) *-homomorphism. Finiteness of the order zero dimension implies that the dimension of the target algebra can be bounded by the dimension of the domain. The dimension can be, among others, decomposition rank, nuclear dimension, or Rokhlin dimension. As a consequence, we obtain new inequalities for these quantities. As a third application we obtain the following result: if a C*-algebra $A$ absorbs a strongly self-absorbing C*-algebra $D$, and $α$ is an action of a compact group $G$ on $A$ with finite Rokhlin dimension with commuting towers, then $α$ absorbs any strongly self-absorbing action of $G$ on $% D$. This has a number of interesting consequences, already in the case of the trivial action on $D$. For example, we deduce that $D$-stability passes from $A$ to the crossed product. Additionally, in many cases of interest, our result restricts the possible values of the Rokhlin dimension to $0, 1$ and $\infty$, showing a striking parallel to the behavior of the nuclear dimension for simple C*-algebras. We also show that an action of a finite group with finite Rokhlin dimension with commuting towers automatically has the Rokhlin property if the algebra is UHF-absorbing. △ Less

Submitted 30 March, 2018; v1 submitted 19 August, 2016; originally announced August 2016.

Comments: 33 pages. Changes in v2: New results added to Section 5. Changes in v3: New title; now only compact groups are considered; the notions from logic were moved to the appendix; minor changes throughout. Accepted for publication in J. Funct. Anal

MSC Class: 03C98; 46L55 (Primary); 28D05; 46L40; 46M07 (Secondary)

Gowers' Ramsey theorem for generalized tetris operations

Authors: Martino Lupini

Abstract: We prove a generalization of Gowers' theorem for $\mathrm{FIN}_{k}$ where, instead of the single tetris operation $T:\mathrm{FIN}_{k}\rightarrow \mathrm{FIN}_{k-1}$, one considers all maps from $\mathrm{FIN}_{k}$ to $\mathrm{FIN}_{j}$ for $0\leq j\leq k$ arising from nondecreasing surjections $f:\left\{ 0,1,\ldots ,k+1\right\} \rightarrow \left\{ 0,1,\ldots ,j+1\right\} $. This answers a question… ▽ More We prove a generalization of Gowers' theorem for $\mathrm{FIN}_{k}$ where, instead of the single tetris operation $T:\mathrm{FIN}_{k}\rightarrow \mathrm{FIN}_{k-1}$, one considers all maps from $\mathrm{FIN}_{k}$ to $\mathrm{FIN}_{j}$ for $0\leq j\leq k$ arising from nondecreasing surjections $f:\left\{ 0,1,\ldots ,k+1\right\} \rightarrow \left\{ 0,1,\ldots ,j+1\right\} $. This answers a question of Bartošová and Kwiatkowska. We also prove a common generalization of such a result and the Galvin--Glazer--Hindman theorem on finite products, in the setting of layered partial semigroups introduced by Farah, Hindman, and McLeod. △ Less

Submitted 30 March, 2016; originally announced March 2016.

Comments: 8 pages

MSC Class: 05D10 (Primary); 54D80 (Secondary)

Journal ref: J. Combin. Theory Ser. A 149 (2017), 101--114

Weak equivalence of stationary actions and the entropy realization problem

Authors: Peter Burton, Martino Lupini, Omer Tamuz

Abstract: We introduce the notion of weak containment for stationary actions of a countable group and define a natural topology on the space of weak equivalence classes. We prove that Furstenberg entropy is an invariant of weak equivalence, and moreover that it descends to a continuous function on the space of weak equivalence classes. We introduce the notion of weak containment for stationary actions of a countable group and define a natural topology on the space of weak equivalence classes. We prove that Furstenberg entropy is an invariant of weak equivalence, and moreover that it descends to a continuous function on the space of weak equivalence classes. △ Less

Submitted 2 November, 2016; v1 submitted 16 March, 2016; originally announced March 2016.

Comments: The proof of Theorem 4.6 in the previous version contained a gap, and we withdraw that claim. All the other results are still valid, including in particular the invariance of Furstenberg entropy under weak equivalence

MSC Class: 37A40; 37A35 (Primary); 03C98 (Secondary)

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

Fraïssé limits in functional analysis

Authors: Martino Lupini

Abstract: We provide a unified approach to Fraïssé limits in functional analysis, including the Gurarij space, the Poulsen simplex, and their noncommutative analogs. We obtain in this general framework many known and new results about the Gurarij space and the Poulsen simplex, and at the same time establish their noncommutative analogs. Particularly, we construct noncommutative analogs of universal operator… ▽ More We provide a unified approach to Fraïssé limits in functional analysis, including the Gurarij space, the Poulsen simplex, and their noncommutative analogs. We obtain in this general framework many known and new results about the Gurarij space and the Poulsen simplex, and at the same time establish their noncommutative analogs. Particularly, we construct noncommutative analogs of universal operators in the sense of Rota. △ Less

Submitted 27 June, 2016; v1 submitted 17 October, 2015; originally announced October 2015.

Comments: 43 pages

MSC Class: 46L07; 46A55 (Primary) 46L89; 03C30; 03C98 (Secondary)

The classification problem for operator algebraic varieties and their multiplier algebras

Authors: Michael Hartz, Martino Lupini

Abstract: We study from the perspective of Borel complexity theory the classification problem for multiplier algebras associated with operator algebraic varieties. These algebras are precisely the multiplier algebras of irreducible complete Nevanlinna-Pick spaces. We prove that these algebras are not classifiable up to algebraic isomorphism using countable structures as invariants. In order to prove such a… ▽ More We study from the perspective of Borel complexity theory the classification problem for multiplier algebras associated with operator algebraic varieties. These algebras are precisely the multiplier algebras of irreducible complete Nevanlinna-Pick spaces. We prove that these algebras are not classifiable up to algebraic isomorphism using countable structures as invariants. In order to prove such a result, we develop the theory of turbulence for Polish groupoids, which generalizes Hjorth's turbulence theory for Polish group actions. We also prove that the classification problem for multiplier algebras associated with varieties in a finite dimensional ball up to isometric isomorphism has maximum complexity among the essentially countable classification problems. In particular, this shows that Blaschke sequences are not smoothly classifiable up to conformal equivalence via automorphisms of the disc. △ Less

Submitted 4 October, 2017; v1 submitted 27 August, 2015; originally announced August 2015.

Comments: 19 pages

MSC Class: 47L30; 03E15 (Primary); 46E22; 47A13 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 370 (2018), no. 3, 2161-2180

Approximate polynomial structure in additively large sets

Authors: Mauro Di Nasso, Isaac Goldbring, Renling **, Steven Leth, Martino Lupini, Karl Mahlburg

Abstract: We show that any subset of the natural numbers with positive logarithmic Banach density contains a set that is within a factor of two of a geometric progression, improving the bound on a previous result of the authors. Density conditions on subsets of the natural numbers that imply the existence of approximate powers of arithmetic progressions are developed and explored. We show that any subset of the natural numbers with positive logarithmic Banach density contains a set that is within a factor of two of a geometric progression, improving the bound on a previous result of the authors. Density conditions on subsets of the natural numbers that imply the existence of approximate powers of arithmetic progressions are developed and explored. △ Less

Submitted 10 August, 2015; originally announced August 2015.

Comments: 10 pages

Journal ref: Integers 16 (2016), Paper No. A49, 11 pp

High density piecewise syndeticity of product sets in amenable groups

Authors: Mauro Di Nasso, Isaac Goldbring, Renling **, Steven Leth, Martino Lupini, Karl Mahlburg

Abstract: M. Beiglböck, V. Bergelson, and A. Fish proved that if $G$ is a countable amenable group and $A$ and $B$ are subsets of $G$ with positive Banach density, then the product set $AB$ is piecewise syndetic. This means that there is a finite subset $E$ of $G$ such that $EAB$ is thick, that is, $EAB$ contains translates of any finite subset of $G$. When $G=\mathbb{Z}$, this was first proven by R. **. W… ▽ More M. Beiglböck, V. Bergelson, and A. Fish proved that if $G$ is a countable amenable group and $A$ and $B$ are subsets of $G$ with positive Banach density, then the product set $AB$ is piecewise syndetic. This means that there is a finite subset $E$ of $G$ such that $EAB$ is thick, that is, $EAB$ contains translates of any finite subset of $G$. When $G=\mathbb{Z}$, this was first proven by R. **. We prove a quantitative version of the aforementioned result by providing a lower bound on the density (with respect to a Følner sequence) of the set of witnesses to the thickness of $% EAB$. When $G=\mathbb{Z}^d$, this result was first proven by the current set of authors using completely different techniques. △ Less

Submitted 7 August, 2015; v1 submitted 18 May, 2015; originally announced May 2015.

Comments: 7 pages; the proof of the main result has been simplified and sharpened by removing a technical assumption; also, a lower density version has been added

A monad measure space for logarithmic density

Authors: Mauro Di Nasso, Isaac Goldbring, Renling **, Steven Leth, Martino Lupini, Karl Mahlburg

Abstract: We provide a framework for proofs of structural theorems about sets with positive Banach logarithmic density. For example, we prove that if $A\subseteq \mathbb{N}$ has positive Banach logarithmic density, then $A$ contains an approximate geometric progression of any length. We also prove that if $A,B\subseteq \mathbb{N}$ have positive Banach logarithmic density, then there are arbitrarily long int… ▽ More We provide a framework for proofs of structural theorems about sets with positive Banach logarithmic density. For example, we prove that if $A\subseteq \mathbb{N}$ has positive Banach logarithmic density, then $A$ contains an approximate geometric progression of any length. We also prove that if $A,B\subseteq \mathbb{N}$ have positive Banach logarithmic density, then there are arbitrarily long intervals whose gaps on $A\cdot B$ are multiplicatively bounded, a multiplicative version **'s sumset theorem. The main technical tool is the use of a quotient of a Loeb measure space with respect to a multiplicative cut. △ Less

Submitted 12 March, 2015; originally announced March 2015.

Comments: 26 pages

Journal ref: Monatsh. Math. 181 (2016), no. 3, 577-599

Operator space and operator system analogs of Kirchberg's nuclear embedding theorem

Authors: Martino Lupini

Abstract: The Gurarij operator space $\mathbb{NG}$ introduced by Oikhberg is the unique separable $1$-exact operator space that is approximately injective in the category of $1$-exact operator spaces and completely isometric linear maps. We prove that a separable operator space $X$ is nuclear if and only if there exist a linear complete isometry $\varphi :X\rightarrow \mathbb{NG}$ and a completely contracti… ▽ More The Gurarij operator space $\mathbb{NG}$ introduced by Oikhberg is the unique separable $1$-exact operator space that is approximately injective in the category of $1$-exact operator spaces and completely isometric linear maps. We prove that a separable operator space $X$ is nuclear if and only if there exist a linear complete isometry $\varphi :X\rightarrow \mathbb{NG}$ and a completely contractive projection from $\mathbb{NG}$ onto the range of $\varphi $. This can be seen as the operator space analog of Kirchberg's nuclear embedding theorem. We also establish the natural operator system analog of Kirchberg's nuclear embedding theorem involving the Gurarij operator system $\mathbb{GS}$. △ Less

Submitted 19 March, 2015; v1 submitted 20 February, 2015; originally announced February 2015.

Comments: 12 pages

MSC Class: 46L07 (Primary); 03C30; 46L89 (Secondary)

Journal ref: J. Math. Anal. Appl. 431 (2015), no. 1, 47-56

Nonclassifiability of UHF $L^p$-operator algebras

Authors: Eusebio Gardella, Martino Lupini

Abstract: We prove that simple, separable, monotracial UHF $L^{p}$-operator algebras are not classifiable up to (complete) isomorphism using countable structures, such as K-theoretic data, as invariants. The same assertion holds even if one only considers UHF $L^{p}$-operator algebras of tensor product type obtained from a diagonal system of similarities. For $p=2$, it follows that separable nonselfadjoint… ▽ More We prove that simple, separable, monotracial UHF $L^{p}$-operator algebras are not classifiable up to (complete) isomorphism using countable structures, such as K-theoretic data, as invariants. The same assertion holds even if one only considers UHF $L^{p}$-operator algebras of tensor product type obtained from a diagonal system of similarities. For $p=2$, it follows that separable nonselfadjoint UHF operator algebras are not classifiable by countable structures up to (complete) isomorphism. Our results, which answer a question of N. Christopher Phillips, rely on Borel complexity theory, and particularly Hjorth's theory of turbulence. △ Less

Submitted 19 February, 2015; originally announced February 2015.

Comments: 10 pages

MSC Class: 47L10; 03E15 (Primary); 47L30 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 144 (2016), no. 5, 2081-2091

Model-theoretic aspects of the Gurarij operator system

Authors: Isaac Goldbring, Martino Lupini

Abstract: We establish some of the basic model theoretic facts about the Gurarij operator system $\mathbb{GS}$ recently constructed by the second-named author. In particular, we show: (1) $\mathbb{GS}$ is the unique separable 1-exact existentially closed operator system; (2) $\mathbb{GS}$ is the unique separable nuclear model of its theory; (3) every embedding of $\mathbb{GS}$ into its ultrapower is element… ▽ More We establish some of the basic model theoretic facts about the Gurarij operator system $\mathbb{GS}$ recently constructed by the second-named author. In particular, we show: (1) $\mathbb{GS}$ is the unique separable 1-exact existentially closed operator system; (2) $\mathbb{GS}$ is the unique separable nuclear model of its theory; (3) every embedding of $\mathbb{GS}$ into its ultrapower is elementary; (4) $\mathbb{GS}$ is the prime model of its theory; and (5) $\mathbb{GS}$ does not have quantifier-elimination, whence the theory of operator systems does not have a model companion. We also show that, for any $q\in \mathbb{N}$, the theories of $M_q$-spaces and $M_q$-systems do have a model companion, namely the Fraïssé limit of the class of finite-dimensional $M_q$-spaces and $M_q$-systems respectively; moreover we show that the model companion is separably categorical. We conclude the paper by showing that no C$^*$ algebra can be existentially closed as an operator system. △ Less

Submitted 28 April, 2015; v1 submitted 18 January, 2015; originally announced January 2015.

Comments: 20 pages; major changes in statements of the main results

The classification problem for automorphisms of C*-algebras

Authors: Martino Lupini

Abstract: We present an overview of the recent developments in the study of the classification problem for automorphisms of C*-algebras from the perspective of Borel complexity theory. We present an overview of the recent developments in the study of the classification problem for automorphisms of C*-algebras from the perspective of Borel complexity theory. △ Less

Submitted 13 January, 2015; originally announced January 2015.

Comments: 21 pages

MSC Class: 03E15; 46L40 (Primary); 46L35; 46L57 (Secondary)

Set theory and von Neumann algebras

Authors: Asger Törnquist, Martino Lupini

Abstract: These are the notes from Asger Törnquist's Appalachian Set Theory lectures at Carnegie Mellon University. They form a chapter in the LMS lecture notes series 406. These are the notes from Asger Törnquist's Appalachian Set Theory lectures at Carnegie Mellon University. They form a chapter in the LMS lecture notes series 406. △ Less

Submitted 31 December, 2014; originally announced January 2015.

Comments: 24 pages, organized on 4 lectures. Martino Lupini served as the student note taker for the talks

A universal nuclear operator system

Authors: Martino Lupini

Abstract: By means of Fraïssé theory for metric structures developed by Ben Yaacov, we show that there exists a separable $1$-exact operator system $\mathbb{GS}$---which we call the Gurarij operator system---of almost universal disposition. This means that whenever $E\subset F$ are finite-dimensional $1$-exact operator systems, $φ:E\rightarrow \mathbb{GS}$ is a unital complete isometry, and… ▽ More By means of Fraïssé theory for metric structures developed by Ben Yaacov, we show that there exists a separable $1$-exact operator system $\mathbb{GS}$---which we call the Gurarij operator system---of almost universal disposition. This means that whenever $E\subset F$ are finite-dimensional $1$-exact operator systems, $φ:E\rightarrow \mathbb{GS}$ is a unital complete isometry, and $\varepsilon >0$, there is a linear extension $\widehat{φ}:F\rightarrow \mathbb{GS}$ of $φ$ such that $||\widehat{φ}||_{cb}{}||\widehat{φ}^{-1}||_{cb}\leq 1+\varepsilon $. Such an operator system is unique up to complete order isomorphism. Furthermore it is nuclear, homogeneous, and any separable $1$-exact operator system admits a complete order embedding into $\mathbb{GS}$. The space $\mathbb{GS}$ can be regarded as the operator system analog of the Gurarij operator space $\mathbb{NG}$ introduced by Oikhberg, which is in turn a canonical operator space structure on the Gurarij Banach space. We also show that the canonical $\ast $-homomorphism from the universal C*-algebra of $\mathbb{GS}$ to the C*-envelope of $\mathbb{GS}$ is a $\ast $-isomorphism. This implies that $\mathbb{GS}$ does not admit any complete order embedding into a unital exact C*-algebra. In particular $\mathbb{GS}$ is not completely order isomorphic to a unital C*-algebra. With similar methods we show that the Gurarij operator space $\mathbb{NG}$ does not admit any completely isometric embedding into an exact C*-algebra, and in particular $\mathbb{NG}$ is not completely isometric to a C*-algebra. This answers a question of Timur Oikhberg. △ Less

Submitted 15 February, 2017; v1 submitted 30 November, 2014; originally announced December 2014.

Comments: This paper has been subsumed by arXiv:1510.05188, and it will not be submitted for publication

MSC Class: 46L07 (Primary); 03C30 (Secondary)

Fraïssé limits of C*-algebras

Authors: Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk, Martino Lupini

Abstract: We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II$_{1}$ factor as Fraïssé limits of suitable classes of structures. Moreover by means of Fraïssé theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras. We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II$_{1}$ factor as Fraïssé limits of suitable classes of structures. Moreover by means of Fraïssé theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras. △ Less

Submitted 14 November, 2016; v1 submitted 14 November, 2014; originally announced November 2014.

Comments: 19 pages. Final submitted version

Journal ref: J. Symb. Log. 81 (2016), no. 2, 755-773

The classification problem for finitely generated operator systems and spaces

Authors: Martín Argerami, Samuel Coskey, Mehrdad Kalantar, Matthew Kennedy, Martino Lupini, Marcin Sabok

Abstract: The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely cl… ▽ More The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely classifiable (or smooth); in fact a finitely generated operator system is classified by its complete theory when regarded as a structure in continuous logic. In the particular case of operator systems generated by a single unitary, a complete invariant is given by the spectrum of the unitary up to a rigid motion of the circle, provided that the spectrum contains at least 5 points. As a consequence of these results we show that the relation on compact subsets of $\mathbb{C}^{n}$, given by homeomorphism via a degree 1 polynomial, is smooth. △ Less

Submitted 15 April, 2015; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: v2: 32 pages. Minor corrections in Section 4

MSC Class: 47L25; 03E15 (Primary); 46L52; 03C98 (Secondary)

Uniqueness, universality, and homogeneity of the noncommutative Gurarij space

Authors: Martino Lupini

Abstract: We realize the noncommutative Gurarij space $\mathbb{NG}$ defined by Oikhberg as the Fraïssé limit of the class of finite-dimensional $1$-exact operator spaces. As a consequence we deduce that the concommutative Gurarij space is unique up to completely isometric isomorphism, homogeneous, and universal among separable $1$-exact operator spaces. We also prove that $\mathbb{NG}$ is the unique separab… ▽ More We realize the noncommutative Gurarij space $\mathbb{NG}$ defined by Oikhberg as the Fraïssé limit of the class of finite-dimensional $1$-exact operator spaces. As a consequence we deduce that the concommutative Gurarij space is unique up to completely isometric isomorphism, homogeneous, and universal among separable $1$-exact operator spaces. We also prove that $\mathbb{NG}$ is the unique separable nuclear operator space with the property that the canonical triple morphism from the universal TRO to the triple envelope is an isomorphism. We deduce from this fact that $\mathbb{NG}$ does not embed completely isometrically into an exact C*-algebra, and it is not completely isometrically isomorphic to a C*-algebra or to a TRO. We also provide a canonical construction of $\mathbb{NG}$, which shows that the group of surjective complete isometries of $\mathbb{NG}$ is universal among Polish groups. Analog results are proved in the commutative setting and, more generally, for $M_{n}$-spaces. In particular, we provide a new characterization and canonical construction of the Gurarij Banach space. △ Less

Submitted 27 September, 2019; v1 submitted 13 October, 2014; originally announced October 2014.

Comments: This is the published version. Major changes and updates have been made with respect to the previous versions. In particular, Proposition 4.11 in the version of 17 Nov 2014 is false and has been removed

MSC Class: 46L07 (Primary); 03C30 (Secondary)

Representations of étale groupoids on $L^p$-spaces

Authors: Eusebio Gardella, Martino Lupini

Abstract: For $p\in (1,\infty)$, we study representations of étale groupoids on $L^{p}$-spaces. Our main result is a generalization of Renault's disintegration theorem for representations of étale groupoids on Hilbert spaces. We establish a correspondence between $L^{p}$-representations of an étale groupoid $G$, contractive $L^{p}$-representations of $C_{c}(G)$, and tight regular $L^{p}$-representations of… ▽ More For $p\in (1,\infty)$, we study representations of étale groupoids on $L^{p}$-spaces. Our main result is a generalization of Renault's disintegration theorem for representations of étale groupoids on Hilbert spaces. We establish a correspondence between $L^{p}$-representations of an étale groupoid $G$, contractive $L^{p}$-representations of $C_{c}(G)$, and tight regular $L^{p}$-representations of any countable inverse semigroup of open slices of $G$ that is a basis for the topology of $G$. We define analogs $F^{p}(G)$ and $F_{\mathrm{red}}^{p}(G)$ of the full and reduced groupoid C*-algebras using representations on $L^{p}$-spaces. As a consequence of our main result, we deduce that every contractive representation of $F^{p}(G)$ or $F_{\mathrm{red}}^{p}(G)$ is automatically completely contractive. Examples of our construction include the following natural families of Banach algebras: discrete group $L^{p}$-operator algebras, the analogs of Cuntz algebras on $L^{p}$-spaces, and the analogs of AF-algebras on $L^{p}$-spaces. Our results yield new information about these objects: their matricially normed structure is uniquely determined. More generally, groupoid $L^{p}$-operator algebras provide analogs of several families of classical C*-algebras, such as Cuntz-Krieger C*-algebras, tiling C*-algebras, and graph C*-algebras. △ Less

Submitted 18 October, 2017; v1 submitted 16 August, 2014; originally announced August 2014.

Comments: 33 pages. v2: minor changes. v3: more minor changes. To appear in Advances in Math

MSC Class: 47L10; 22A22 (Primary) 46H05 (Secondary)

Journal ref: Adv. Math. 318 (2017), 233--278

Polish groupoids and functorial complexity

Authors: Martino Lupini

Abstract: We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of principal groupoids such a notion coincide with the usual Borel complexity of equivalence relations. Our main result is that on one hand for Polish groupoids wit… ▽ More We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of principal groupoids such a notion coincide with the usual Borel complexity of equivalence relations. Our main result is that on one hand for Polish groupoids with essentially treeable orbit equivalence relation, functorial Borel complexity coincides with the Borel complexity of the associated orbit equivalence relation. On the other hand for every countable equivalence relation $E$ that is not treeable there are Polish groupoids with different functorial Borel complexity both having $E$ as orbit equivalence relation. In order to obtain such a conclusion we generalize some fundamental results about the descriptive set theory of Polish group actions to actions of Polish groupoids, answering a question of Arlan Ramsay. These include the Becker-Kechris results on Polishability of Borel $% G $-spaces, existence of universal Borel $G$-spaces, and characterization of Borel $G$-spaces with Borel orbit equivalence relations. △ Less

Submitted 6 November, 2014; v1 submitted 24 July, 2014; originally announced July 2014.

Comments: 52 pages

MSC Class: 03E15; 22A22 (Primary); 54H05 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 369 (2017), no. 9, 6683--6723

A López-Escobar theorem for metric structures, and the topological Vaught conjecture

Authors: Samuel Coskey, Martino Lupini

Abstract: We show that a version of López-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric $\mathcal{L}$-structures supported on $\mathbb{U}$. Then for any $\mathrm{Iso}(\mathbb{U})$-invariant Borel function… ▽ More We show that a version of López-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric $\mathcal{L}$-structures supported on $\mathbb{U}$. Then for any $\mathrm{Iso}(\mathbb{U})$-invariant Borel function $f\colon \mathrm{Mod}(\mathcal{L}, \mathbb{U})\rightarrow \lbrack 0,1]$, there exists a sentence $φ$ of $\mathcal{L}_{ω_{1}ω}$ such that for all $M\in \mathrm{Mod}(\mathcal{L},\mathbb{U})$ we have $f(M)=φ^{M}$. At the same time we introduce a variant $\mathcal{L}_{ω_1ω}^\ast$ of $\mathcal{L}_{ω_1ω}$ in which the usual quantifiers are replaced with category quantifiers, and establish the analogous theorem for $\mathcal{L}_{ω_1ω}^\ast$. This answers a question of Ivanov and Majcher-Iwanow. We prove several consequences, for example every orbit equivalence relation of a Polish group action is Borel isomorphic to the isomorphism relation on the set of models of a given $\mathcal{L}_{ω_{1}ω}$-sentence that are supported on the Urysohn sphere. This in turn provides a model-theoretic reformulation of the topological Vaught conjecture. △ Less

Submitted 6 September, 2015; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: 17 pages

MSC Class: Primary 03C95; 03E15; Secondary 54E50

Journal ref: Fundamenta mathematicae 234(1):55-72, 2016