SciPost Submission Page
Monopole Operators and BulkBoundary Relation in Holomorphic Topological Theories
by Keyou Zeng
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Keyou Zeng 
Submission information  

Preprint Link:  https://arxiv.org/abs/2111.00955v2 (pdf) 
Date submitted:  20220922 00:30 
Submitted by:  Zeng, Keyou 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
We study the holomorphic twist of 3d N = 2 supersymmetric field theories, discuss the perturbative bulk local operators in general, and explicitly construct non perturbative bulk local operators for abelian gauge theories. Our construction is verified by matching the character of the algebra with the superconformal index. We test a conjectural relation between the selfExt of boundary algebras and bulk algebras in various cases, including LandauGinzburg models with an arbitrary superpotential and some abelian gauge theories. In the latter cases, monopole operators appear in the selfExt of a perturbative boundary algebra. We briefly discuss the higher structures in both boundary and bulk algebras.
Current status:
Reports on this Submission
Anonymous Report 2 on 20221024 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2111.00955v2, delivered 20221024, doi: 10.21468/SciPost.Report.5964
Strengths
see report
Weaknesses
see report
Report
This work is centered on the study of 3d N=2 theories and in particular the holomorphictopologic twist they admit. The focus is given to the structure of the algebra of local operators: in the twisted theory the operators form a chiral algebra which in the paper is explicitly constructed in specific examples of 3d N=2 theories, both in the perturbative and nonperturbative level, focusing on the latter to monopole operators. This analysis is rigorous and is performed in the BatlinVilkovisky (BV) formalism, via stateoperator correspondence combined with geometric quantisation. Applying the construction initially for the cases of basic building blocks, such as 3d N=2 chiral and vector multiplets (abelian theories are treated), the analysis is performed for specific 3d N=2 theories and mirror dual pairs.
The work extends to theories with boundary conditions preserving 2d $\mathcal{N}=(0,2)$ supersymmetry, where the boundary algebras for specific boundary conditions are discussed. A nice feature is the addition of an analysis on the role of Koszul duality relating boundary conditions.
The core of this analysis is the correspondence between boundary and bulk operator algebras, which is studied through a rigorous selfExt computation, along with a case where this construction fails to give such a bulkboundary algebra correspondence. The article closes with a discussion on the higher algebraic structure of the bulk local operator algebra, accessible from the above selfExt computation.
The article is overall well written, consistently structured and presents a very important set of results, extending recent analyses on this field.
The main idea, the motivation and the general structure of the paper, along with a consistent presentation of the background material, are given with clarity in a very well written introduction. The introduction is followed by a list of open research directions related to the presented analysis (a part of which also motivated this work), as well as by section reviewing the holomorphic twist of the 3d N=2 theories. The main part of the paper is organised in sections including the computations and the supplemented by an extensive appendix, which includes the basic notions of the classical BV formalism in terms of which the analysis of the 3d N=2 theories is performed, the definition and the properties of the Berezinian of a module of a supercommutative algebra and additional explicit computations, supplementing the final section of the paper.
Nevertheless, the paper lacks a discussion session summarizing the results and also a control for minor grammatical errors throughout the paper (e.g various errors of the type "Acknowledgement vs. Acknowledgements"; minor but still important) is needed.
I would highly recommend this paper for publication in SciPost Physics after:
an addition of a final "Discussion/Conclusions" section, including a clear summary of the main results of the author's work and underlying their importance, as it would be highly useful for the readers and also would add to the clarity and the (already very good) consistency of the paper.
Requested changes
1. addition of a final "Discussion/Conclusions" section, including a clear summary of the main results of the author's work and underlying their importance, as it would be highly useful for the readers and also would add to the clarity and the (already very good) consistency of the paper.
Anonymous Report 1 on 20221016 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2111.00955v2, delivered 20221016, doi: 10.21468/SciPost.Report.5906
Strengths
1. This paper rigorously generalizes 3d N=4 analysis of bulkboundary algebra correspondence to 3d N=2. It is nice to see quite explicit selfExt computation here, which was not easily found in other literature.
2. At the same time, it attempts to study failure case of the above relation in the case of 3d N=2.
Weaknesses
1. This paper is obviously written by a mathematician, who has a great interest in physics. Of course, this itself is not a weakness, but it seems that there is a huge need for more friendly explanation if the author cares physicist readers.
2. I see numerous grammatical errors, such as singular vs plural.
Report
I have no doubt that the paper presents a very nice and correct result, but since this journal is SciPost *Physics*, the author may need to make an effort when presenting the material. I recommend to publish the paper if parts that need further (physicistfriendly) explanation can be supplemented.
Requested changes
The following list collects some(not all) parts that may need some further explanation for general physicist readers.
1. Equality signs in (2.15), (2.17).
2. A sentence after (2.18).
3. In many places, I find an expression "derived". It would be nice to have some more friendly explanation.
4. It was hard for me to read the paragraph that contains equation (3.11).
5. Some words that are used by the author frequently may need further explanation, such as "... infinite jet of the ”non derived”..." in front of (4.4).
6. It was very hard for me to read section 6.4.
Author: Keyou Zeng on 20221110 [id 3001]
(in reply to Report 1 on 20221016)I would like to thank the referee for his/her useful suggesttions.
I added a few more explanations around (2.15), (2.17), (2.18) .
I added a paragraph in the middle of p.11 (after (3.4)) to explain the word "derived" and address its importance.
I added a few more explanations after (3.11).
I explianed the word "infinite jet" in the paragraphy after (3.3). I deleted the word "non derived" becasue it is not a standard terminology. "infinite jet of the critical locus of W" is defined by (4.4) and (4.5). So I didn't add any further explaination.
I added a few more physical explanations in section 6.4. However, the purpose of this section is to define the bulk algebraic structures (e.g. OPE) abstractly from the boundary algebra. The construction is purely mathematical, not direclty related to QFT style computations or any physical intuitions. So I couldn't make it more physicistfriendly. However, the final answer should coincide with direct computation in QFT. The reader can see the reference [38,39] cited in that section for the QFT conterpart of the mathemtical construction.