skip to main content


Title: Existentially closed W*-probability spaces
Abstract We study several model-theoretic aspects of W $$^*$$ ∗ -probability spaces, that is, $$\sigma $$ σ -finite von Neumann algebras equipped with a faithful normal state. We first study the existentially closed W $$^*$$ ∗ -spaces and prove several structural results about such spaces, including that they are type III $$_1$$ 1 factors that tensorially absorb the Araki–Woods factor $$R_\infty $$ R ∞ . We also study the existentially closed objects in the restricted class of W $$^*$$ ∗ -probability spaces with Kirchberg’s QWEP property, proving that $$R_\infty $$ R ∞ itself is such an existentially closed space in this class. Our results about existentially closed probability spaces imply that the class of type III $$_1$$ 1 factors forms a $$\forall _2$$ ∀ 2 -axiomatizable class. We show that for $$\lambda \in (0,1)$$ λ ∈ ( 0 , 1 ) , the class of III $$_\lambda $$ λ factors is not $$\forall _2$$ ∀ 2 -axiomatizable but is $$\forall _3$$ ∀ 3 -axiomatizable; this latter result uses a version of Keisler’s Sandwich theorem adapted to continuous logic. Finally, we discuss some results around elementary equivalence of III $$_\lambda $$ λ factors. Using a result of Boutonnet, Chifan, and Ioana, we show that, for any $$\lambda \in (0,1)$$ λ ∈ ( 0 , 1 ) , there is a family of pairwise non-elementarily equivalent III $$_\lambda $$ λ factors of size continuum. While we cannot prove the same result for III $$_1$$ 1 factors, we show that there are at least three pairwise non-elementarily equivalent III $$_1$$ 1 factors by showing that the class of full factors is preserved under elementary equivalence.  more » « less
Award ID(s):
2054477
PAR ID:
10410824
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Mathematische Zeitschrift
Volume:
301
Issue:
4
ISSN:
0025-5874
Page Range / eLocation ID:
3787 to 3816
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Recent progress in the study of the contact process (see Shankar Bhamidi, Danny Nam, Oanh Nguyen, and Allan Sly [Ann. Probab. 49 (2021), pp. 244–286]) has verified that the extinction-survival threshold λ 1 \lambda _1 on a Galton-Watson tree is strictly positive if and only if the offspring distribution ξ \xi has an exponential tail. In this paper, we derive the first-order asymptotics of λ 1 \lambda _1 for the contact process on Galton-Watson trees and its corresponding analog for random graphs. In particular, if ξ \xi is appropriately concentrated around its mean, we demonstrate that λ 1 ( ξ ) ∼ 1 / E ξ \lambda _1(\xi ) \sim 1/\mathbb {E} \xi as E ξ → ∞ \mathbb {E}\xi \rightarrow \infty , which matches with the known asymptotics on d d -regular trees. The same results for the short-long survival threshold on the Erdős-Rényi and other random graphs are shown as well. 
    more » « less
  2. Abstract We obtain new quantitative estimates on Weyl Law remainders under dynamical assumptions on the geodesic flow. On a smooth compact Riemannian manifold ( M ,  g ) of dimension n , let $$\Pi _\lambda $$ Π λ denote the kernel of the spectral projector for the Laplacian, $$\mathbb {1}_{[0,\lambda ^2]}(-\Delta _g)$$ 1 [ 0 , λ 2 ] ( - Δ g ) . Assuming only that the set of near periodic geodesics over $${W}\subset M$$ W ⊂ M has small measure, we prove that as $$\lambda \rightarrow \infty $$ λ → ∞ $$\begin{aligned} \int _{{W}} \Pi _\lambda (x,x)dx=(2\pi )^{-n}{{\,\textrm{vol}\,}}_{_{{\mathbb {R}}^n}}\!(B){{\,\textrm{vol}\,}}_g({W})\,\lambda ^n+O\Big (\frac{\lambda ^{n-1}}{\log \lambda }\Big ), \end{aligned}$$ ∫ W Π λ ( x , x ) d x = ( 2 π ) - n vol R n ( B ) vol g ( W ) λ n + O ( λ n - 1 log λ ) , where B is the unit ball. One consequence of this result is that the improved remainder holds on all product manifolds, in particular giving improved estimates for the eigenvalue counting function in the product setup. Our results also include logarithmic gains on asymptotics for the off-diagonal spectral projector $$\Pi _\lambda (x,y)$$ Π λ ( x , y ) under the assumption that the set of geodesics that pass near both x and y has small measure, and quantitative improvements for Kuznecov sums under non-looping type assumptions. The key technique used in our study of the spectral projector is that of geodesic beams. 
    more » « less
  3. Abstract Assume $\mathsf {ZF} + \mathsf {AD}$ and all sets of reals are Suslin. Let $\Gamma $ be a pointclass closed under $\wedge $ , $\vee $ , $\forall ^{\mathbb {R}}$ , continuous substitution, and has the scale property. Let $\kappa = \delta (\Gamma )$ be the supremum of the length of prewellorderings on $\mathbb {R}$ which belong to $\Delta = \Gamma \cap \check \Gamma $ . Let $\mathsf {club}$ denote the collection of club subsets of $\kappa $ . Then the countable length everywhere club uniformization holds for $\kappa $ : For every relation $R \subseteq {}^{<{\omega _1}}\kappa \times \mathsf {club}$ with the property that for all $\ell \in {}^{<{\omega _1}}\kappa $ and clubs $C \subseteq D \subseteq \kappa $ , $R(\ell ,D)$ implies $R(\ell ,C)$ , there is a uniformization function $\Lambda : \mathrm {dom}(R) \rightarrow \mathsf {club}$ with the property that for all $\ell \in \mathrm {dom}(R)$ , $R(\ell ,\Lambda (\ell ))$ . In particular, under these assumptions, for all $n \in \omega $ , $\boldsymbol {\delta }^1_{2n + 1}$ satisfies the countable length everywhere club uniformization. 
    more » « less
  4. Abstract We provide a set of computational experiments based on ab initio calculations to elucidate whether a cuprate-like antiferromagnetic insulating state can be present in the phase diagram of the low-valence layered nickelate family (R $$_{n+1}$$ n + 1 Ni $$_n$$ n O $$_{2n+2}$$ 2 n + 2 , R= rare-earth, $$n=1-\infty$$ n = 1 - ∞ ) in proximity to half-filling. It is well established that at $$d^9$$ d 9 filling the infinite-layer ( $$n=\infty$$ n = ∞ ) nickelate is metallic, in contrast to cuprates wherein an antiferromagnetic insulator is expected. We show that for the Ruddlesden-Popper (RP) reduced phases of the series (finite n ) an antiferromagnetic insulating ground state can naturally be obtained instead at $$d^9$$ d 9 filling, due to the spacer RO $$_2$$ 2 fluorite slabs present in their structure that block the c -axis dispersion. In the $$n=\infty$$ n = ∞ nickelate, the same type of solution can be derived if the off-plane R-Ni coupling is suppressed. We show how this can be achieved if a structural element that cuts off the c -axis dispersion is introduced (i.e. vacuum in a monolayer of RNiO $$_2$$ 2 , or a blocking layer in multilayers formed by (RNiO $$_2$$ 2 ) $$_1$$ 1 /(RNaO $$_2$$ 2 ) $$_1$$ 1 ). 
    more » « less
  5. We show that for every odd prime $q$, there exists an infinite family~$\{M_i\}_{i=1}^{\infty}$ of topological 4-manifolds that are all stably homeomorphic to one another, all the manifolds $M_i$ have isometric rank one equivariant intersection pairings and boundary $L(2q, 1) \# (S^1 \times S^2)$, but they are pairwise not homotopy equivalent via any homotopy equivalence that restricts to a homotopy equivalence of the boundary. 
    more » « less