Pure spinor formalism and RNS formalism are related by a chain of equivalences constructed by introducing and integrating-out BRST quartets. This is known as B-RNS-GSS formalism. One of the steps can be understood as adding auxiliary fields to lift a strong homotopy action of the SUSY Lie superalgebra in the large Hilbert space to a strict action. We develop a general prescription for this ``strictification'' procedure, which can be applied for any strong homotopy action of a Lie superalgebra. We explain how it is related to the B-RNS-GSS formalism.
- 论文ID: 2510.10400
- 标题: B-RNS-GSS formalism and L∞-actions
- 作者: Andrei Mikhailov (Instituto de Fisica Teorica, Universidade Estadual Paulista)
- 分类: hep-th (High Energy Physics - Theory)
- 发表时间: 2025年10月12日
- 论文链接: https://arxiv.org/abs/2510.10400
Pure spinor formalism and RNS formalism are related by a chain of equivalences constructed by introducing and integrating-out BRST quartets. This is known as B-RNS-GSS formalism. One of the steps can be understood as adding auxiliary fields to lift a strong homotopy action of the SUSY Lie superalgebra in the large Hilbert space to a strict action. We develop a general prescription for this "strictification" procedure, which can be applied for any strong homotopy action of a Lie superalgebra. We explain how it is related to the B-RNS-GSS formalism.
- 核心问题: 该研究旨在理解pure spinor formalism和RNS formalism之间的关系,特别是通过B-RNS-GSS formalism建立的等价性链条。
- 问题重要性:
- Pure spinor formalism中的超对称性是几何的,对应于目标时空上的矢量场,具有严格作用(strict action)
- RNS formalism的大Hilbert空间中存在超对称Lie超代数的强同伦作用(L∞-action)
- 理解这两种形式主义之间的关系对于超弦理论的发展至关重要
- 现有方法局限性:
- Berkovits等人的工作3建立了这种关系,但只给出了θ-展开的领阶公式
- 缺乏将L∞-作用"严格化"的一般性处理方法
- 研究动机:
- 发展将任意Lie超代数的强同伦作用转换为严格作用的一般性"严格化"程序
- 提供B-RNS-GSS形式主义中相似变换的精确公式
- 理论框架: 发展了将L∞-作用"严格化"的一般性处理方法,适用于任意Lie超代数的强同伦作用
- 数学工具: 构造了相似变换F,证明了任何L∞-作用都与某个更大的拟同构Q-流形上的严格作用等价
- 具体应用: 将一般理论应用于B-RNS-GSS模型,导出了Berkovits工作3中相似变换的精确公式
- 几何解释: 提供了L∞-作用的几何解释,通过奇切丛ΠTG和纤维丛结构
给定Q-流形(M,q0)上Lie超代数g的L∞-作用,构造一个更大的拟同构Q-流形(M^,q^0),使得g在其上有严格作用,且原始的L∞-作用可通过同伦转移获得。
L∞-作用由以下幂零向量场定义:
Q=21CaCbfabc∂Cc∂+q0+Caqa1+CaCbqab2+⋯
其中q0,qa1,qab2,…是M上的向量场。
扩展的Q-流形定义为:
M^=G×Πg×M
其上的幂零向量场为:
q^0=21CRaCRbfabc∂CRc∂+q0+CRa(qa1+ra)+CRaCRbqab2+⋯
其中ra是群G上的左不变向量场(无穷小右移)。
关键的相似变换F通过以下连续族构造:
C=−dtu+eadu−1e(1−t)adu−1CL+e−adu−1e−tadu−1CR
满足边界条件:
- C∣t=0,dt=0=CL
- C∣t=1,dt=0=CR
相似变换为:
F=Pexp∫01dtA(t)
其中A(t)由幂零条件Q2=0确定。
- 奇切丛方法: 使用奇切丛ΠTG来编码群作用,提供了几何直观
- 谱观鬼场技术: 引入"谱观"鬼场CL作为耦合常数来跟踪对称性
- BV形式主义: 在BV形式主义框架下处理"积出"程序,使构造更加严格
- 相对版本: 考虑子群H⊂G严格作用的情况,适用于实际的弦理论应用
在B-RNS-GSS模型中:
- M是RNS场空间
- g=susy(十维超对称代数)
- h由平移生成
使用坐标xm和θα参数化G=SUSY,BRST鬼场为:
Cα=dθαCm=dxm−(dθΓmθ)
对于B-RNS-GSS模型,相似变换的具体形式为:
Cα=−dtθα+(1−t)CLα+tΛαCm=−dtxm+(1−t)CLm+2(1−t)2(θαΓαβmCLβ)+tCRm+2t2(θαΓαβmΛβ)
其中:
A=−xmPm−θαe−ϕ/2Σα−θα(tΛβ+(1−t)CLβ)Γαβmξe−ϕψm
该构造提供了L∞-作用的几何理解:
- 任何L∞-作用都可以理解为更大空间上严格作用的"有效理论"
- 奇切丛ΠTG提供了自然的几何框架
- RNS形式主义: 在大Hilbert空间中,超对称性只能通过插入非积分顶点算子来生成
- Pure spinor形式主义: 超对称性是几何的,对应于目标空间上的矢量场
- 等价性: 本文的构造精确地描述了这两种形式主义之间的关系
- Cattaneo等人1: BV量子化的一般理论
- Alexandrov等人2: 超鬼场的物质化
- Berkovits3: 建立了pure spinor和RNS形式主义的关系,但只给出领阶公式
- Movshev和Schwarz4: 最大超对称规范理论的超对称变形
- Mehta和Zambon6: L∞-代数作用的一般理论
- 证明了任何Lie超代数的L∞-作用都可以通过引入辅助变量"严格化"
- 提供了B-RNS-GSS形式主义中相似变换的精确公式
- 建立了L∞-作用与严格作用之间的拟同构关系
- 构造需要在群单位元的形式邻域内工作
- 对于无限维情况(如弦理论),需要适当的完备化
- BV积分的严格处理需要更精细的分析
- 将方法推广到更一般的L∞-代数
- 研究与其他弦理论形式主义的关系
- 探索在量子场论中的应用
- 理论深度: 提供了L∞-作用严格化的一般性理论框架
- 数学严格性: 使用现代几何和代数工具,构造精确且严格
- 实用价值: 给出了B-RNS-GSS模型中的具体公式,补充了Berkovits工作的不足
- 几何直观: 通过奇切丛和纤维丛提供了清晰的几何图像
- 技术门槛: 需要深厚的微分几何、代数拓扑和弦理论背景
- 应用范围: 主要限于弦理论领域,其他应用尚待探索
- 计算复杂性: 相似变换的具体计算可能相当复杂
- 理论贡献: 为理解不同弦理论形式主义之间的关系提供了重要工具
- 方法论价值: 严格化程序可能在其他物理和数学问题中有应用
- 技术推进: 推进了L∞-代数在物理中应用的技术发展
- 弦理论中不同形式主义的等价性研究
- 超对称量子场论的BRST分析
- L∞-代数在物理中的应用
- 变形量子化和BV形式主义的研究
论文引用了17篇重要文献,涵盖了BV量子化、超弦理论、L∞-代数等相关领域的核心工作,为研究提供了坚实的理论基础。