Rigidity of Higson coronas

2025-02-14T10:50:45Z

We show that under mild set theoretic hypotheses we have rigidity for algebras of continuous functions over Higson coronas, topological spaces arising in coarse geometry. In particular, we show that under $\mathsf{OCA}$ and $\mathsf {MA}_{\aleph_1}$, if two uniformly locally finite metric spaces $X$ and $Y$ have homeomorphic Higson coronas $\nu X$ and $\nu Y$, then $X$ and $Y$ are coarsely equivalent, a statement which provably does not follow from $\mathsf{ZFC}$ alone.

A Representation Theoretic Approach to Toeplitz Quantization on Flag Manifolds

2025-02-12T23:51:29Z

In this paper, we study Toeplitz operators on generalized flag manifolds of compact Lie groups using a representation-theoretic point of view. We prove several basic properties of these Toeplitz operators, including an abstract formula for their matrix coefficients in terms of the decomposition of certain tensor product representations. We also show how to identify large commuting families of Toeplitz operators based on invariance of their symbols under certain subgroups. Finally, we realize the Berezin transform as a convolution with certain functions that form an approximate identity on the generalized flag manifold, which allows us to prove a Szeg\"o Limit Theorem using certain results due to Hirschman, Liang, and Wilson.

Local topological order and boundary algebras

2025-02-12T20:34:53Z

We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev's Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on $\mathbb{Z}^{k}$, we define a local net of boundary algebras on $\mathbb{Z}^{k-1}$, which provides a mathematically precise algebraic description of the holographic dual of the bulk topological order. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian. As a corollary, we obtain a new proof of a recent result of Ogata [Ann. H. Poincar\'e 25, 2024] that the bulk cone von Neumann algebra in the Toric Code is of type $\rm{II}$, and we show that Levin-Wen models can have cone algebras of type $\rm{III}$. Finally, we argue that the braided tensor category of DHR bimodules for the net of boundary algebras characterizes the bulk topological order in (2+1)D, and can also be used to characterize the topological order of boundary states.

Injective envelopes for locally C*-algebras

2025-02-12T17:53:53Z

We introduce the notion of admissible injective envelope for a locally C*-algebra and show that each object in the category whose objects are unital Fr\'{e}chet locally C*-algebras and whose morphisms are unital admissible local completely positive maps has a unique admissible injective envelope. The concept of admissible injectivity is stronger than that of injectivity. As a consequence, we show that a unital Fr\'{e}chet locally W*-algebras is injective if and only if the C*-algebras from its Arens-Michael decomposition are injective.

Free products and rescalings involving non-separable abelian von Neumann algebras

2025-02-12T17:32:33Z

For a self-symmetric tracial von Neumann algebra $A$, we study rescalings of $A^{*n} * L\mathbb{F}_r$ for $n \in \mathbb{N}$ and $r \in (1, \infty]$ and use them to obtain an interpolation $\mathcal{F}_{s,r}(A)$ for all real numbers $s>0$ and $1-s < r \leq \infty$. We get formulas for their free products, and free products with finite-dimensional or hyperfinite von Neumann algebras. In particular, for any such $A$, we can compute compressions $(A^{*n})^t$ for $0

Isomorphisms of Birkhoff-James orthogonality on finite-dimensional $C^*$-algebra

2025-02-11T19:34:44Z

We classify bijective maps which strongly preserve Birkhoff-James orthogonality on a finite-dimensional complex $C^*$-algebra. It is shown that those maps are close to being real-linear isometries whose structure is also determined.

A new approach to strong convergence

2025-02-11T18:44:56Z

A family of random matrices $\boldsymbol{X}^N=(X_1^N,\ldots,X_d^N)$ is said to converge strongly to a family of bounded operators $\boldsymbol{x}=(x_1,\ldots,x_d)$ when $\|P(\boldsymbol{X}^N,\boldsymbol{X}^{N*})\|\to\|P(\boldsymbol{x}, \boldsymbol{x}^*)\|$ for every noncommutative polynomial $P$. This phenomenon plays a key role in several recent breakthroughs on random graphs, geometry, and operator algebras. However, proofs of strong convergence are notoriously delicate and have relied largely on problem-specific methods. In this paper, we develop a new approach to strong convergence that uses only soft arguments. Our method exploits the fact that for many natural models, the expected trace of $P(\boldsymbol{X}^N,\boldsymbol{X}^{N*})$ is a rational function of $\frac{1}{N}$ whose lowest order asymptotics are easily understood. We develop a general technique to deduce strong convergence directly from these inputs using the inequality of A. and V. Markov for univariate polynomials and elementary Fourier analysis. To illustrate the method, we develop the following applications. 1. We give a short proof of the result of Friedman that random regular graphs have a near-optimal spectral gap, and obtain a sharp understanding of the large deviations probabilities of the second eigenvalue. 2. We prove a strong quantitative form of the strong convergence property of random permutation matrices due to Bordenave and Collins. 3. We extend the above to any stable representation of the symmetric group, providing many new examples of the strong convergence phenomenon.

Quantitative Preservations of Ulam Stability-type Estimates

2025-02-11T05:37:17Z

We show some preservation results of amenably extending strongly Ulam stable groups under mild decay assumptions, including quantitative preservation of asymptotic bounds under the assumption that the modulus of stability is H\"older continuous of exponent $s>\frac 1 2$ at 0, utilizing some simplistic integral estimates. Additionally, we show some partial results around inductive preservation of modulus bounds in infinite dimensions using these integral estimates, as well as strong quantitative preservation in the finite dimensional case. This implies the existence of $\mathfrak{U}$ uniformly stable existential closures among groups with sufficiently large Lipschitz estimates of any countable group. Finally, we show quantitative control preserving difficulty of approximation of maps over stable groups on diagonally embedding into higher dimensions.

Almost-idempotent quantum channels and approximate $C^*$-algebras

2025-02-11T01:26:18Z

Let $\Phi$ be a unital completely positive (UCP) map on the space of operators on some Hilbert space. We assume that $\Phi$ is $\eta$-idempotent, namely, $\|\Phi^2-\Phi\|_{\mathrm{cb}} \le\eta$, and construct an associated $\varepsilon$-$C^*$ algebra (of almost-invariant observables) for $\varepsilon=O(\eta)$. This type of structure has the axioms of a unital $C^*$ algebra but the associativity and other axioms involving the multiplication and the unit hold up to $\varepsilon$. We prove that any finite-dimensional $\varepsilon$-$C^*$ algebra $A$ is $O(\varepsilon)$-isomorphic to some genuine $C^*$ algebra $B$. These bounds are universal, i.e. do not depend on the dimensionality or other parameters. When $A$ comes from a finite-dimensional $\eta$-idempotent UCP map $\Phi$, the $O(\eta)$-isomorphism and its inverse can be realized by UCP maps. This gives an approximate factorization of the quantum channel $\Phi^*$ into a decoding channel, producing a state on $B$, and an encoding channel.

There Is An Equivalence Relation Whose von Neumann Algebra Is Not Connes Embeddable

2025-02-10T17:20:29Z

MIP$^*$=RE [Ji+22] was used to prove the existence of a non Connes embeddable tracial von Neumann algebra. Recently, similar ideas were used in [Bow+24, BCV24] to give a negative solution to the Aldous-Lyons conjecture: there is a non co-sofic IRS on any non-abelian free group. We define a notion of hyperlinearity for an IRS and show that there is a non co-hyperlinear IRS on any non-abelian free group, which reproves the main results of [Bow+24, BCV24]. As a corollary, we prove that there is a relation whose von Neumann algebra is not Connes embeddable.

Non Kahzdan's groups and a new approximation property for tracial von Neumann algebras

2025-02-10T08:57:10Z

We define a new approximation property for tracial von Neumann algebras, called \textit{weakly mixing approximation property}, and we prove that it is equivalent to the negation of Kazhdan's Property (T) for discrete groups.

Isometric Gelfand transforms of complete Nevanlinna-Pick spaces

2025-02-10T08:18:22Z

We show that any complete Nevanlinna-Pick space whose multiplier algebra has isometric Gelfand transform (or commutative C*-envelope) is essentially the Hardy space on the open unit disk.

Trace cohomology revisited

2025-02-09T13:09:18Z

We use a cohomology theory coming from the canonical trace on a C*-algebra of the projective variety to prove an analog of the Riemann Hypothesis for the Kuga-Sato varieties over finite fields.

Unbounded field operators in categorical extensions of conformal nets

2025-02-08T04:34:57Z

We prove the equivalence of VOA tensor categories and conformal net tensor categories for the following examples: all WZW models; all lattice VOAs; all unitary parafermion VOAs; type $ADE$ discrete series $W$-algebras; their tensor products; their regular cosets. A new proof of the complete rationality of conformal nets is also given.

Injective envelopes of real C- and AW-algebras

2025-02-08T01:47:29Z

It is shown that every outer *-automorphism of a real C*-algebra can be uniquely extended to an injective envelope of real C*-algebra. It is proven that if a real C*-algebra is a simple, then its injective envelope is also simple, and it is a real AW*-factor. The example of a real C*-algebra that is not real AW*-algebra and the injective envelope is a real AW*-factor of type III, which is not a real W*-algebra is constructed. This leads to the interesting result that up to isomorphism, the class of injective real (resp. complex) AW*-factors of type III is at least one larger than the class injective real (resp. complex) W*-factors of type III.