没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
在G 2完整流形中的三环缔合三环M 3上的M5-分子产生3d N = 1 $$ \ mathcal {N} = 1 $$超对称规范理论,TN = 1M3 $$ {T} _ {\ mathcal {N} = 1} \ left [{M} _3 \ right] $$。 我们基于以下两个理论可观察到的结果,提出了N = 1 $$ \ mathcal {N} = 1 $$ 3d-3d对应关系:维滕指数和S 3分区函数。 3d N = 1 $$ \ mathcal {N} = 1 $$理论的Witten指数TN = 1M3 $$ {T} _ {\ mathcal {N} = 1} \ left [{M} _3 \ right] $ 表示$是根据拓扑场理论的分区函数(M 3上耦合到脊髓超多重性(BFH)的超级BF模型)计算得出的。BFH模型位于3d广义集合的解上 关于M 3的Seiberg-Witten方程。在阿贝尔情况下,以及通过6d(2,0)理论的扭转维数直接推导拓扑场论方面,都提供了支持这种对应关系的证据。 通过确定维数,我们还考虑了TN = 1M3 $$ {T} _ {\ mathc
资源推荐
资源详情
资源评论
JHEP07(2018)052
Published for SISSA by Springer
Received: April 24, 2018
Accepted: July 1, 2018
Published: July 9, 2018
An N = 1 3d-3d correspondence
Julius Eckhard,
a
Sakura Sch¨afer-Nameki
a
and Jin-Mann Wong
b
a
Mathematical Institute, University of Oxford,
Woodstock Road, Oxford, OX2 6GG, U.K.
b
Kavli Institute for the Physics and Mathematics of the Universe (WPI),
University of Tokyo, Kashiwa, Chiba 277-8583, Japan
Abstract: M5-branes on an associative three-cycle M
3
in a G
2
-holonomy manifold give
rise to a 3d N = 1 supersymmetric gauge theory, T
N =1
[M
3
]. We propose an N = 1
3d-3d correspondence, based on two observables of these theories: the Witten index and
the S
3
-partition function. The Witten index of a 3d N = 1 theory T
N =1
[M
3
] is shown to
be computed in terms of the partition function of a topological field theory, a super-BF-
model coupled to a spinorial hypermultiplet (BFH), on M
3
. The BFH-model localizes on
solutions to a generalized set of 3d Seiberg-Witten equations on M
3
. Evidence to support
this correspondence is provided in the abelian case, as well as in terms of a direct derivation
of the topological field theory by twisted dimensional reduction of the 6d (2, 0) theory. We
also consider a correspondence for the S
3
-partition function of the T
N =1
[M
3
] theories,
by determining the dimensional reduction of the M5-brane theory on S
3
. The resulting
topological theory is Chern-Simons-Dirac theory, for a gauge field and a twisted harmonic
spinor on M
3
, whose equations of motion are the generalized 3d Seiberg-Witten equations.
For generic G
2
-manifolds the theory reduces to real Chern-Simons theory, in which case we
conjecture that the S
3
-partition function of T
N =1
[M
3
] is given by the Witten-Reshetikhin-
Turaev invariant of M
3
.
Keywords: Duality in Gauge Field Theories, Field Theories in Higher Dimensions, Su-
persymmetric Gauge Theory, Topological Field Theories
ArXiv ePrint: 1804.02368
Open Access,
c
The Authors.
Article funded by SCOAP
3
.
https://doi.org/10.1007/JHEP07(2018)052
JHEP07(2018)052
Contents
1 Introduction 1
2 Overview and background 4
2.1 An N = 1 3d-3d correspondence 4
2.2 G
2
-holonomy, associatives and deformation theory 8
2.3 Generalized Seiberg-Witten equations 10
3 T
N =1
[M
3
, U(1)] 11
3.1 Topological twist for associative three-cycles 12
3.2 From 6d (2,0) to 3d N = 1 T
N =1
[M
3
, U(1)] 13
3.3 Witten index of T
N =1
[M
3
, U(1)] 14
4 Non-abelian generalization 16
4.1 Circle reduction to 2d N = (1, 1) sigma-model 16
4.2 Specializing M
3
: T
N =1
[L(p, q), U(N)] 18
5 BFH-model on M
3
19
5.1 Topological twist of 3d N = 8 SYM 19
5.2 The Abelian BFH-model 22
6 S
3
-partition function and Chern-Simons-Dirac theory 24
6.1 Supergravity background for 5d SYM 25
6.2 5d SYM on M
3
× S
2
27
6.3 Reduction to Chern-Simons-Dirac theory 28
6.4 Generalization to lens spaces 30
6.5 Chern-Simons-Dirac partition function and WRT-invariants 31
7 Discussions and outlook 31
A Conventions 33
A.1 Index conventions 33
A.2 Gamma matrix and spinor conventions 34
A.3 Spinor decomposition 35
B Dimensional reduction of the tensor multiplet 37
C 3d N = 1 supersymmetry 41
D M5-branes on S
3
42
D.1 The Killing spinor equations on S
2
× R
3
42
D.1.1 Gravitini-variation 42
D.1.2 Dilatino-variation 44
– i –
JHEP07(2018)052
D.2 5d N = 2 SYM on R
1,2
× S
2
44
D.3 Generalization to curved M
3
46
D.4 Reduction on S
2
48
D.4.1 Spherical harmonics and eigenspinors on S
2
48
D.4.2 Spectrum of massless fields 48
D.4.3 Real Chern-Simons theory: v = 0, 1 49
1 Introduction
Starting with the Alday-Gaiotto-Tachikawa (AGT) correspondence [1, 2], a series of
conjectures were put forward, relating d-dimensional N = 2 supersymmetric theories
T
N =2
[M
6−d
], labeled by (6 − d)-dimensional manifolds M
6−d
, and topological or confor-
mal theories in 6 − d dimensions on the manifold M
6−d
. Each of these correspondences is
established in terms of the agreement between observables, e.g. sphere partition functions
(or indices) of the supersymmetric theories and partition functions/correlation functions
of the topological/conformal theories on M
6−d
.
One way to motivate these conjectures is to consider M5-branes wrapped on M
6−d
with
a topological twist which preserves N = 2 supersymmetry in d dimensions. For d = 4 it was
shown that the sphere partition function of the class S theories T
N =2
[M
2
] [3] agree with
correlation functions of 2d Toda theory on the Riemann surface M
2
[1, 2]. The so-called
3d-3d correspondence [4, 5] similarly relates the S
3
-partition function of 3d N = 2 theories
T
N =2
[M
3
] to the partition function of complex Chern-Simons theory on M
3
. Finally, for
d = 2 there is a correspondence for 2d (0, 2) theories labeled by four-manifolds M
4
. The
half-topologically twisted sphere partition function is conjectured to be computed by a
topological sigma-model into the monopole moduli space [6], whereas the Witten index is
identified with the Vafa-Witten (VW) [7] partition function of 4d N = 4 Super-Yang Mills
theory on M
4
[8].
Much of the progress in establishing these conjectures relies on the computational ad-
vances that were made for sphere partition functions of N = 2 supersymmetric theories
thanks to localization techniques [9, 10] — for a recent review see [11]. For less supersym-
metry, many of these tools are not quite as well developed thus far. One may hope that
formulating similar correspondences for N = 1 theories could give further insight into their
structure. An initial step towards developing an N = 1 version of the AGT correspondence
has been made in [12], with the goal to relate the sphere partition function of the class S
k
theories [13, 14] to 2d conformal blocks.
The goal of this paper is to develop an N = 1 version of the 3d-3d correspondence,
motivating it from first principles by starting with the 6d (2, 0) theory. As is well-known the
T
N =2
[M
3
] are obtained by wrapping M5-branes on special Lagrangian (sLag) three-cycles
– 1 –
JHEP07(2018)052
in Calabi-Yau three-folds. To retain N = 1 in 3d, we will show that the natural setup for
T
N =1
[M
3
] is to realize M
3
as an associative three-cycle in a G
2
-holonomy manifold.
1
A priori we do not know what the topological theories are, which would complement the
3d N = 1 theories in such a 3d-3d correspondence. To determine these, it is useful to recall
the approach applied in the N = 2 setting: the topological theory, whose partition function
computes the sphere partition function of the T
N =2
[M
6−d
] theories can be determined
from the sphere reduction of the 6d (2, 0) in an N = 2 preserving conformal supergravity
background [6, 15, 16]. We will employ this approach in the following to determine the
topological theories, which compute the following two observables of T
N =1
[M
3
]: the T
3
-
partition function, i.e. Witten index, and the S
3
-partition function.
For 3d N = 1 the Witten index [17] is a well explored observable, much more so
than the S
3
-partition function. For this reason we will focus much of our attention on
this observable and provide non-trivial checks of the proposed correspondence. We will
derive the ‘dual’ topological theory by considering the 6d (2, 0) theory first on T
3
, which
gives 3d N = 8 SYM, which we then topologically twist along M
3
, while preserving two
topological supercharges. This twist corresponds to the embedding of M
3
as an associative
cycle in a G
2
-manifold. In summary, the theory, whose partition function computes the
Witten index of the T
N =1
[M
3
] will be shown to be a supersymmetric BF-theory coupled
to a spinorial hypermultiplet (BFH), which is a section of the normal bundle N
M
3
of M
3
inside the G
2
-manifold.
We should at this point elaborate briefly on the geometry of associative three-cycles
in G
2
-holonomy manifolds [18, 19], which will play an important role in the behavior of
the Witten index. The normal bundle of an associative three-cycle is N
M
3
= S ⊗ V ,
where S is the spin bundle and V an SU(2)-bundle, in particular sections of the normal
bundle are twisted harmonic spinors on M
3
, satisfying a twisted Dirac equation. On an
odd-dimensional manifold the Dirac operator has vanishing index, which implies that the
dimension of the kernel (infinitesimal deformations) equals that of its co-kernel (obstruc-
tions to these deformations), however the index does not reveal any information about the
non-triviality of each of these spaces. For non-generic choices of G
2
-structure, there can
be twisted harmonic spinors, which are accompanied with non-trivial obstructions of the
deformations, which they parametrize. This fact will reflect itself in the discontinuity/wall-
crossing of the Witten index of T
N =1
[M
3
].
The 3d-3d correspondence that we propose for N = 1 results in an identification of
the partition function of the BFH-model on M
3
with the Witten index of T
N =1
[M
3
]. To
compute the partition function of the BFH-model, we show that its action is minimized on
solutions to a non-abelian generalization of the 3d Seiberg-Witten (gSW) equations. These
differ from the standard SW equations in that the spinor transforms in the adjoint of a
gauge group G as well as under an additional SU(2)-bundle V (that appears in the normal
bundle of the associative cycle). The partition function of the BFH-model is computed by
1
G
2
-holonomy manifolds have two sets of supersymmetric, i.e. calibrated cycles: associative three-cycles
calibrated with the G
2
-three-form Φ and co-associative four-cycles, calibrated with ?Φ. M5-branes wrapping
co-associative four-cycles results in the VW twist along the four-manifold, i.e. 4d-2d duality studied in [6, 8].
– 2 –
JHEP07(2018)052
the Euler characteristic of the moduli space M
gSW
of solutions to the gSW equations.
2
In
particular for gauge group G = U(1) we derive the partition function explicitly and match
it with the index of T
N =1
[M
3
, U(1)].
We find that already in the abelian case the index is discontinuous under metric de-
formations, and jumps depending on the existence of twisted harmonic spinors. The fact
that the partition function of the BFH-model is only topological up to wall-crossing can, as
noted earlier, be traced back to the deformation theory of associative three-cycles within
G
2
-manifolds. At the location of the walls the normal deformations, appearing in the
gSW equations, are obstructed. This means that M
gSW
can become singular and its Euler
characteristic can jump.
A second less-explored observable for 3d N = 1 theories is the S
3
-partition function
(for a discussion of this observable for SCFTs see [20]). Whereas the N = 2 3d-3d cor-
respondence is studied for the S
3
-partition function, and many computational results are
available thanks to localization methods [21] (and see [11] for a recent review), the situ-
ation for N = 1 is much less explored. In particular localization will not be applicable
for computing the sphere partition functions with 3d N = 1 supersymmetry. Here we will
nevertheless determine what the ‘dual’ topological field theory is, whose partition function
on M
3
would provide a conjecture for the S
3
-partition function of T
N =1
[M
3
]. To do so, we
determine the conformal supergravity background similar to [6, 15, 16] and perform the
reduction of the 6d (2, 0) theory on a three-sphere, first to 5d SYM and then on an S
2
to
3d, whilst preserving N = 1 supersymmetry. The resulting topological theory is shown to
be real Chern-Simons gauge theory on M
3
coupled to a twisted harmonic spinor φ, i.e. a
Chern-Simons-Dirac theory whose equations of motion are the generalized Seiberg-Witten
equations (for a review see [22]). For generic associatives in G
2
-manifolds there will be
no twisted harmonic spinors, and the theory reduces to real Chern-Simons theory. In this
case the topological partition function is given in terms of the Witten-Reshetikhin-Turaev
invariant [23, 24], which we conclude must compute the S
3
-partition function of T
N =1
[M
3
].
The most interesting physical application arises when viewing the M5-branes as domain
walls in the 4d N = 1 theory obtained by M-theory on the G
2
-holonomy manifold. For Lens
spaces this case has been studied in [25] and we will connect these results, when discussing
concrete examples. This may in particular be of interest in recent constructions of new
G
2
-holonomy manifolds in [26–28] and singular limits thereof [29] that realize non-abelian
gauge groups.
Finally, we should remark that in the case that there is a non-trivial IR fixed point, the
M5-branes on associatives have a holographic dual description in terms of AdS
4
-solutions,
where M
3
is a hyperbolic three-manifold [30]. This means the metric has constant sectional
curvature −1, and by Schur’s lemma the metric is Einstein. Examples of such associatives
exist in the Bryant-Salamon G
2
-manifolds [31], which are the total space of the spin bundle
over M
3
, with M
3
of constant sectional curvature ±1. For metrics on M
3
with negative
scalar curvature the associatives can indeed have obstructions, which are determined by
zero modes of the Dirac operator. It would be interesting to explore this from a holographic
point of view.
2
The analog for N = 2 is the moduli space of complex flat connections.
– 3 –
剩余55页未读,继续阅读
资源评论
weixin_38640443
- 粉丝: 10
- 资源: 885
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 电影购票系统-Java Web项目
- SPD-Conv-main.zip
- 使用Python和Pygame库创建新年烟花动画效果
- chapter9.zip
- 安居客Python爬虫代码.zip
- 企业可持续发展性数据集,ESG数据集,公司可持续发展性数据(可用于多种企业可持续性研究场景)
- 车辆轨迹自适应预瞄跟踪控制和自适应p反馈联合控制,自适应预苗模型和基于模糊p控制均在simulink中搭建 个人觉得跟踪效果相比模糊pid效果好很多,轨迹跟踪过程,转角控制平滑自然,车速在36到72
- 数据分析-49-客户细分-K-Means聚类分析
- TIA PORTAL V18 UPD5更新包(2024.10最新)-链接地址.txt
- 使用Python和Pygame实现圣诞节动画效果
- 自动驾驶不同工况避障模型(perscan、simulink、carsim联仿),能够避开预设的(静态)障碍物
- 100个情侣头像,唯美手绘情侣头像
- 国际象棋检测10-YOLO(v5至v9)、COCO、CreateML、Paligemma数据集合集.rar
- 2024~2025(1)Oracle数据库技术A卷-22软单、软嵌.doc
- 睡眠健康与生活方式数据集,睡眠和生活习惯关联分析(睡眠影响因素)
- 浪漫节日代码 - 爱心代码、圣诞树代码
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功