arXivDaily arXiv每日学术速递 周一至周五更新
重置
math.OA算子代数10
2606.12188 2026-06-11 math.OA math.KT 新提交

Schubert Calculus and uniform property $Γ$

Schubert 演算与一致性质 $\Gamma$

Andrew S. Toms

AI总结 基于 Thom-Porteous 退化轨迹理论构造了一个无一致性质 Γ 的简单可分单核 C*-代数,通过二次 Schubert 演算阻碍迹比较。

详情
Comments
38 pages
AI中文摘要

我们构造了一个简单、可分、单的核 C$^*$-代数,它不具有一致性质 $\Gamma$。该构造基于由 Thom-Porteous 退化轨迹理论产生的一个新的拓扑障碍。过去 30 年中,病态核 C$^*$-代数的构造使用了 Villadsen 引入的 Chern 类计算来阻碍大平凡子丛的存在。相比之下,我们使用行列式 Schur 类迫使某些等秩向量丛之间的每个丛映射在底空间某处消失。二次 Schubert 演算表明,该障碍可以在归纳系统中持续存在,并最终阻碍均匀迹完备化中迹对投影的比较。相关的 Thom-Porteous 类位于与强制秩损失平方成比例的度数中,这反过来导致我们例子中构成齐次 C$^*$-代数的相同阶的维数增长。这确定了核 C$^*$-代数结构理论中的一个新几何阈值,将一致性质 $\Gamma$ 的存在与否与二次维数增长联系起来。

英文摘要

We construct a simple, separable, unital, nuclear C$^*$-algebra without uniform property $\Gamma$. The construction is based on a new topological obstruction arising from the Thom-Porteous theory of degeneracy loci. Constructions of pathological nuclear C$^*$-algebras over the past 30 years have used Chern class calculations introduced by Villadsen to obstruct the existence of large trivial subbundles. Here, by contrast, we use determinantal Schur classes to force every bundle map between certain equal-rank vector bundles to vanish somewhere on the base space. A quadratic Schubert calculus computation shows that this obstruction can persist across an inductive system and ultimately obstructs the comparison of projections by traces in the uniform tracial completion. The relevant Thom-Porteous classes live in degree proportional to the square of the forced rank loss, which in turn forces dimension growth of the same order in the constituent homogeneous C$^*$-algebras of our example. This identifies a new geometric threshold in the structure theory of nuclear C$^*$-algebras, linking the presence or absence of uniform property $\Gamma$ to quadratic dimension growth.

2606.12134 2026-06-11 math.OA 新提交

A non-locally trivial $\mathrm{W}^*$-bundle with fixed factorial fibres

具有固定因子纤维的非局部平凡 $\mathrm{W}^*$-丛

Kiefer Mommaerts

AI总结 通过引入 $\mathrm{W}^*$-丛一致谱隙概念,构造了纤维均为固定 $\mathrm{II}_1$ 因子的非局部平凡 $\mathrm{W}^*$-丛的第一个例子,并证明缺乏一致谱隙是局部平凡性的障碍。

详情
Comments
17 pages, comments welcome!
AI中文摘要

本文构造了第一个非局部平凡的 $\mathrm{W}^*$-丛的例子,其纤维均同构于某个固定的 $\mathrm{II}_1$ 因子。这是通过引入 $\mathrm{W}^*$-丛的一致谱隙概念实现的。对于具有固定因子纤维的丛,缺乏这种一致谱隙性质提供了局部平凡性的障碍。这导致了看似初等的 $\mathrm{W}^*$-丛的例子,其纤维均同构于某个固定因子,但即使覆盖空间的覆盖维数为零,也不是局部平凡的。

英文摘要

In this paper we construct the first example of a non-locally trivial $\mathrm{W}^*$-bundle whose fibres are all isomorphic to some fixed $\mathrm{II}_1$ factor. This is achieved by introducing a notion of uniformly having spectral gap for $\mathrm{W}^*$-bundles. For bundles with fixed factorial fibres, the negation of having this uniform spectral gap property provides an obstruction for being locally trivial. This results in seemingly elementary examples of $\mathrm{W}^*$-bundles whose fibres are all isomorphic to some fixed factor but that are not locally trivial, even over spaces with covering dimension equal to zero.

2606.12080 2026-06-11 math.FA math.OA 新提交

The Bishop--Phelps--Bollobás Property for Extremally Disconnected Ranges: Separable and Low-Density Domains

极不连通值域的Bishop-Phelps-Bollobás性质:可分与低密度定义域

Tattwamasi Amrutam, Priyadarshi Dey, Chunlin Liu, Monika

AI总结 本文证明了在极不连通紧Hausdorff空间上取值于连续标量值函数空间的算子具有Bishop-Phelps-Bollobás性质,当定义域的密度特征严格小于底空间的Baire数时,并给出了显式的二次模量。

详情
Comments
We welcome any comments, suggestions, or discussion regarding our manuscript
AI中文摘要

我们在实数和复数标量域上,证明了从任意Banach空间到极不连通紧Hausdorff空间上的连续标量值函数空间的算子具有Bishop-Phelps-Bollobás定理。主要结果适用于定义域的密度特征严格小于底空间的Baire数的情况。证明还给出了显式的二次Bishop-Phelps-Bollobás模量。特别地,每个可分Banach空间与这样的函数空间配对都具有算子的Bishop-Phelps-Bollobás性质。

英文摘要

We prove a Bishop--Phelps--Bollobás theorem for operators into spaces of continuous scalar-valued functions on extremally disconnected compact Hausdorff spaces over both the real and complex scalar fields. The main result applies whenever the density character of the domain is strictly smaller than the Baire number of the underlying compact space. The proof also yields an explicit quadratic Bishop--Phelps--Bollobás modulus. In particular, every separable Banach space paired with such a function space has the Bishop--Phelps--Bollobás property for operators.

2606.11899 2026-06-11 math.GT math.OA 新提交

Full Mealy automata, complete square complexes, and anti-tori

完全Mealy自动机、完全平方复形与反环面

David Pask

AI总结 本文通过完全Mealy自动机构造双射、图与平方复形,证明反环面存在当且仅当自动机双可逆且图非周期,并揭示其与配置空间及几何形式的关联。

详情
AI中文摘要

对于一个完全 $m\ imes n$ Mealy自动机 $A$,我们关联一个双射 $\ heta_A$、一个单顶点秩二图 $F_{\ heta_A}$ 以及一个由 $mn$ 个Wang砖块铺砌的单顶点 $VH$ 方复形 $Y_A$。我们证明 $Y_A$ 包含一个反环面当且仅当 $A$ 是双可逆的且 $F_{\ heta_A}$ 是非周期的。这两个假设是独立的且扮演不相交的角色:双可逆性恰好使 $Y_A$ 成为完全方复形,从而其万有覆盖分裂为两个树的乘积,并且可以讨论反环面;在此设定下,反环面恰好是 $F_{\ heta_A}$ 的双侧路径空间中的无周期配置,其存在性即非周期条件。在配置层面工作消除了从主要等价性中对树乘积几何的依赖;Wise 的几何(环张成)形式被证明是严格更强的,灯谜图是非周期的但没有环张成反环面。

英文摘要

To a full $m\times n$ Mealy automaton $A$ we associate a bijection $\theta_A$, a one-vertex rank-two graph $F_{\theta_A}$, and a one-vertex $VH$-square complex $Y_A$ tiled by $mn$ Wang tiles. We prove that $Y_A$ contains an anti-torus if and only if $A$ is bi-reversible and $F_{\theta_A}$ is aperiodic. The two hypotheses are independent and play disjoint roles: bi-reversibility is exactly what makes $Y_A$ a complete square complex, so that its universal cover splits as a product of two trees and anti-tori can be discussed at all; and, within that setting, an anti-torus is precisely a period-free configuration in the two-sided path space of $F_{\theta_A}$, whose existence is the aperiodicity condition. Working at the level of configurations removes any appeal to the geometry of products of trees from the main equivalence; the geometric (loop-spanned) form of Wise is shown to be strictly stronger, the lamplighter being aperiodic with no loop-spanned anti-torus.

2606.11571 2026-06-11 math.OA math.FA math.GR 新提交

Relative biexactness and mixing in von Neumann algebras

von Neumann代数中的相对双精确性与混合性

Srivatsav Kunnawalkam Elayavalli, Zhiyuan Yang

AI总结 提出一种新技术,将相对双精确性提升为一般von Neumann代数的双精确性,应用于融合自由积和图积,推广了Caspers-Borst和Blufstein-Goldman-Oyakawa的结果。

详情
Comments
23 pages
AI中文摘要

我们开发了一种新技术,用于在一般von Neumann代数中升级相对双精确性:假设可分离von Neumann代数(带期望)的混合双精确子代数族$\{N_i\}_{i\in I}\subset M$满足$M$相对于$\{N_i\}_{i\in I}$是双精确的,则$M$是双精确的。这一结果产生了双精确von Neumann代数的若干新例子,特别是包括融合自由积。通过将Hoshino的相对双精确性结果推广到von Neumann代数框架,并应用上述结果以及某些双模计算,我们实际上得到了一个关于有限维von Neumann代数图积的双精确性的新分类结果。这显著推广了Caspers-Borst和Blufstein-Goldman-Oyakawa的先前工作。

英文摘要

We develop a new technique to upgrade relative biexactness in general von Neumann algebras: suppose that $\{N_i\}_{i\in I}\subset M$ are mixing and biexact subalgebras of a separable von Neumann algebra with expectation, and if $M$ is biexact relative to $\{N_i\}_{i\in I}$, then $M$ is biexact. This result yields several new examples of biexact von Neumann algebras, notably including amalgamated free products. By generalizing the relative biexactness results of Hoshino to the von Neumann algebra setting and applying our result above along with certain bimodule computations, we in fact obtain, as an application, a new classification result for biexactness for graph products of finite dimensional von Neumann algebras. This yields significant extensions of prior works of Caspers-Borst, and Blufstein-Goldman-Oyakawa.

2606.11334 2026-06-11 math.QA math-ph math.CT math.OA 新提交

The many faces of higher Hilbert spaces

更高希尔伯特空间的多面性

Giovanni Ferrer, Lukas Müller, David Penneys, Luuk Stehouwer

AI总结 本文通过G- dagger范畴统一了有限维算子代数作为C*, W*, H*代数时的模范畴与对应2-范畴差异,引入G- Hermitian 2-向量空间并定义正性条件,为高维希尔伯特空间提供归纳定义框架。

详情
Comments
22 pages
AI中文摘要

有限维算子代数可以被视为$\mathrm{C}^*$、$\mathrm{W}^*$或$\mathrm{H}^*$代数,这导致了其模范畴和对应2-范畴的不同概念。在本文中,我们展示了如何利用arXiv:2403.01651中针对不同子群$G\leq O(2)$的$G$-dagger范畴概念来系统地理解这些差异。为此,我们首先通过$2\mathsf{Vect}$上某个$O(2)$作用的不动点引入$G$-Hermitian $2$-向量空间。然后,我们提出了此类配对何时是“正”的判据,推广了从Hermitian向量空间到希尔伯特空间的过渡。最后,我们概述了在任意维度上定义更高希尔伯特空间的归纳方法,建议将这些思想扩展到2-范畴设置之外。

英文摘要

Finite-dimensional operator algebras can be viewed as $\mathrm{C}^*$, $\mathrm{W}^*$, or $\mathrm{H}^*$-algebras, leading to different notions for their categories of modules and correspondence 2-categories. In this article, we show how these differences can be understood systematically using the notion of $G$-dagger category from arXiv:2403.01651 for different subgroups $G\leq O(2)$. To do so, we first introduce $G$-Hermitian $2$-vector spaces using fixed points of a certain $O(2)$-action on $2\mathsf{Vect}$. We then propose criteria for when such pairings are `positive', generalizing the passage from Hermitian vector spaces to Hilbert spaces. Finally, we outline an inductive approach to defining higher Hilbert spaces in arbitrary dimension, suggesting an extension of these ideas beyond the 2-categorical setting.

2603.25148 2026-06-11 math.RA math.FA math.GR math.OA 版本更新

A note on Boolean inverse monoids and ample groupoids

关于布尔逆幺半群和 ample 群胚的注记

Chi-Keung Ng, Rui Tian

AI总结 本文研究布尔逆幺半群与 ample 群胚之间的联系,通过具体构造和性质分析,揭示了二者之间的对应关系。

详情
AI中文摘要

这是一份研究笔记,详细阐述了布尔逆幺半群与 ample 群胚之间的联系。

英文摘要

It is a study note detailing the connection between Boolean inverse monoids and ample groupoids.

2502.01611 2026-06-11 quant-ph math-ph math.FA math.OA 版本更新

Additivity and chain rules for quantum entropies via multi-index Schatten norms

量子熵的可加性与链式法则:基于多指标Schatten范数

Omar Fawzi, Jan Kochanowski, Cambyse Rouzé, Thomas Van Himbeeck

AI总结 通过推广多指标Schatten范数,建立了量子信道优化夹层Rényi熵的通用可加性,并推导了Rényi条件熵的链式法则,用于分析时间自适应量子密码协议。

详情
Comments
39 pages, 1 figure
AI中文摘要

量子态的主要熵度量在张量积下是可加的。在量子信息处理任务的分析中,一组态的最小熵(例如信道的最小输出熵)通常起着关键作用。量子信息和密码学中的一个基本问题是,最小输出熵在信道的张量积下是否仍然可加。在这里,我们为量子信道的优化夹层Rényi熵建立了一个通用的可加性陈述。为此,我们将[Devetak, Junge, King, Ruskai, CMP 2006]的结果推广到多指标Schatten范数。作为一个应用,我们加强了[Van Himbeeck and Brown, 2025]的可加性陈述,从而允许分析时间自适应量子密码协议。此外,我们建立了Rényi条件熵的链式法则,类似于[Metger, Fawzi, Sutter, Renner, CMP 2024]中用于广义熵累积定理的法则。

英文摘要

The primary entropic measures for quantum states are additive under the tensor product. In the analysis of quantum information processing tasks, the minimum entropy of a set of states, e.g., the minimum output entropy of a channel, often plays a crucial role. A fundamental question in quantum information and cryptography is whether the minimum output entropy remains additive under the tensor product of channels. Here, we establish a general additivity statement for the optimized sandwiched Rényi entropy of quantum channels. For that, we generalize the results of [Devetak, Junge, King, Ruskai, CMP 2006] to multi-index Schatten norms. As an application, we strengthen the additivity statement of [Van Himbeeck and Brown, 2025] thus allowing the analysis of time-adaptive quantum cryptographic protocols. In addition, we establish chain rules for Rényi conditional entropies that are similar to the ones used for the generalized entropy accumulation theorem of [Metger, Fawzi, Sutter, Renner, CMP 2024].

2602.05185 2026-06-11 math.LO math.CO math.OA math.SP 版本更新

Spectral Theory for Borel PMP Graphs

Borel PMP图的谱理论

Cecelia Higgins, Pieter Spaas, Alexander Tenenbaum

AI总结 研究有界度Borel pmp图的谱理论,通过邻接和拉普拉斯算子,给出近似可测二部性的谱刻画,改进可测色数界,并证明谱条件蕴含可测Tutte条件。

详情
Comments
44 pages. Section 8 updated
AI中文摘要

我们开始了对有界度Borel pmp图的谱理论的系统研究。具体来说,我们研究了相关邻接和拉普拉斯算子的谱性质。首先,我们证明了近似可测二部性的谱刻画。接着,我们改编了Wilf和Hoffman的经典定理,给出了近似可测色数的新颖上下界。使用类似技巧,我们证明了由$n$个有界对一函数生成的pmp图的近似可测色数至多为$2n+1$。然后,关于匹配,我们引入了Tutte条件的可测版本,并表明类似于Brouwer和Haemers经典定理中的谱假设蕴含了这个可测Tutte条件。最后,我们证明了谱在局部-全局收敛下的连续性。

英文摘要

We initiate a systematic study of spectral theory for bounded-degree Borel pmp graphs. Specifically, we study spectral properties of the associated adjacency and Laplacian operators. We start with proving a spectral characterization of approximate measurable bipartiteness. Next, we adapt classical theorems of Wilf and Hoffman to give novel upper and lower bounds on the approximate measurable chromatic number. Using similar techniques, we then show that the approximate measurable chromatic number of a pmp graph generated by $n$ bounded-to-one functions is at most $2n + 1$. Next, concerning matchings, we introduce a measurable version of Tutte's condition and show that a spectral assumption analogous to the one from a classical theorem of Brouwer and Haemers implies this measurable Tutte condition. Finally, we show that the spectrum is continuous under local-global convergence.

2510.07883 2026-06-11 math.OA 版本更新

Scalability and asymptotic adjunction

可扩展性与渐近伴随

Georgii S. Makeev

AI总结 引入相对Roe函子,证明对具有有界粗几何的可扩展局部紧度量空间对,连续函数函子与相对Roe函子渐近伴随,并应用于Connes-Higson E-理论、E1-理论与扩张理论的关系以及紧度量空间的K-同调。

详情
Comments
1. Imposed the condition of bounded coarse geometry. 2. Fixed the proof of Lemma 4.10. 3. Removed the incorrect proof of exactness of Roe functors
AI中文摘要

本文引入相对Roe函子,并证明对于每一对具有有界粗几何的可扩展局部紧度量空间,与该对相关联的连续函数函子和相对Roe函子是渐近伴随的。虽然这种渐近伴随弱于真正的伴随,但它保留了足够的范畴性质,使其直观且适用于应用。这些结果可用于提供Connes-Higson $E$-理论的无悬浮描述,建立$E_{1}$-理论与扩张理论之间的联系,并用相应的度量锥表达紧度量空间的$K$-同调。

英文摘要

In this paper, we introduce relative Roe functors and show that for every pair of scalable locally compact metric spaces with bounded coarse geometry, the functor of continuous functions and the relative Roe functor, both associated with this pair, are asymptotically adjoint. While this asymptotic adjunction is weaker than the genuine one, it retains sufficient categorical properties to be intuitive and useful in applications. These results can be used to provide an unsuspended description of the Connes-Higson $E$-theory, establish connections between $E_{1}$-theory and extension theory, and express $K$-homology of compact metric spaces in terms the corresponding metric cones.