第六届物理分类、逻辑和基础研讨会
Urs Schreiber发布
本博客的读者将了解关于物理学的范畴、逻辑和基础,那个鲍勃·科克和安德烈亚斯·德林两年前就开始运行了。我们在这里对这一点进行报道已经成为传统咖啡馆如先前参赛者所见证
伦敦的范畴、逻辑和物理学
伦敦的范畴、逻辑和物理学II
牛津大学物理学的范畴、逻辑和基础
关于前三个事件。John还报道了
周界研究所的范畴、量子和概念
这在标题和组织者上听起来很像,但可能不是官方系列的一部分。出于某种原因,我们似乎跳过了第4部分和第5部分的发布。但现在是第六位:
物理学的范畴、逻辑和基础(CLP 6),
牛津大学计算实验室
2010年3月9日,星期二,12:00-18:20。
(网站)
扬声器和时间表
- 12.00-12.50马丁·海兰德(剑桥)
- 14:00-14:50乌尔斯·施赖伯(乌得勒支)
仪表中的字段-地形
熟悉的平滑理论-具有的主束connection的动机来自物理学:量子力学有意义的旋转点粒子的传播空间必须具有旋转结构。那么粒子的动力学是编码在对应的拓扑-主丛到光滑丛连接。
自从Killingback和Witten工作以来,大家都知道被推广到一维自旋的量子力学物体,空间的旋转结构必须提升到字符串结构,其中字符串组是通用的3连接旋转组的封面。与Spin-group相反,String-group无法细化为(有限维)李群。因此问题是如何对弦长-主体束将是,编码这些动力学一维对象。
事实证明,这有一个很好的答案,而不是普通的光滑微分几何,但在“高级”微分中几何图形:自然具有平滑的2组结构-一种可区分的群堆栈。这允许优化拓扑可微的代数化的弦-本原丛非贝叶斯gerbe:一个光滑的主2束。在谈话中我想说明光滑主丛理论与连接在这种更高的微分几何中找到自然的推广,特别是提供了一个关于光滑连接的好概念弦-棕束。
- 14:50-15.40巴维尔·布莱西亚克(克拉科夫)
Heisenberg-Weyl代数的图模型
海森堡-韦尔代数是量子理论最基本的物理实现形式,它是从组合的角度考虑的。我们根据图构造了一个具体的代数模型,该图具有直观的合成和分解概念,提供了丰富的双代数结构。它将显示这是如何包含海森堡-韦尔代数的,从而提供了对后者作为图上自然结构阴影的直接解释。这样,通过关注量子理论的代数结构,我们打算提请注意其形式主义的真正组合基础。我们还将讨论适用于这种图形演算的一些组合方法。
- 15:40-16:10为什么选择n个类别?与Tom Leinster、Urs Schreiber进行小组讨论以及任何其他-品类咖啡馆服务员出现:
- 16:40-17.30鲍里斯·齐尔伯(牛津)
论模型理论、非对易几何和物理学
在形式语言模型理论中研究数学结构及其描述之间的可能关系,形成了“逻辑完美”的层次结构。在这个层次结构的最顶端,我们发现了一类新的结构,称为Zarisk几何。Hrushovski和speaker(1993)的一个联合定理表明,一般的Zariski几何看起来非常像代数闭域上的代数变体,但一般来说,它不能还原为代数几何对象。后来,这位演讲者确定了一个典型的Zarisk几何可以用一个可能非交换的“坐标”代数来解释。此外,相反地,许多量子代数产生了Zarisk几何,一大类代数的对应关系“余序代数-Zariske几何”与交换仿射代数和仿射变种之间的对应类型相同。一般量子Zarisk几何可以通过统一根的量子Zarish几何来近似(在某种模型理论意义上)。后者属于有限类型,其中狄拉克微积分具有明确定义的含义。在几个简单的例子中,我们用它对费曼传播子进行了严格的数学计算。参考文献:关于模型理论、非交换几何和物理学(调查),作者的网页2009
- 17:30-18:20贝特弗里德·福泽(伯明翰)
高级图形演算-霍普夫、弗洛贝尼乌斯、舒尔和群论的一些动机
图形微积分已经成为量子信息理论中的一种工具,特别是用于模拟经典信息复制和重写规则的Frobenius代数结构。在我的演讲中,我将尝试提供一个更一般的画面,包括Hopf代数结构、Hopf上同调和合成运算。向量空间的基本等轴类将是可数无穷的。这一发展将受到群论的发现的推动,特别是群系理论,它将作为运行示例。如果时间允许,我还将讨论共形场。
发布于2010年1月25日下午6:15 UTC