Showing 1–50 of 54 results for author: Tan, M

Topological Gauge Theories with Sixteen Supercharges: Higher $A_\infty$-categorification of Floer Homologies

Authors: Arif Er, Meng-Chwan Tan

Abstract: This work is a sequel to [arXiv:2410.18575], and a third and final installment of the program initiated in [arXiv:2311.18302]. We show how, via a 3d gauged Landau-Ginzburg model interpretation of certain topologically-twisted 5d $\mathcal{N} = 2$ and 8d $\mathcal{N} = 1$ gauge theories, one can derive novel Fueter type $A_{\infty}$-2-categories that 2-categorify the 3d-Haydys-Witten, Haydys-Witten… ▽ More This work is a sequel to [arXiv:2410.18575], and a third and final installment of the program initiated in [arXiv:2311.18302]. We show how, via a 3d gauged Landau-Ginzburg model interpretation of certain topologically-twisted 5d $\mathcal{N} = 2$ and 8d $\mathcal{N} = 1$ gauge theories, one can derive novel Fueter type $A_{\infty}$-2-categories that 2-categorify the 3d-Haydys-Witten, Haydys-Witten, and holomorphic Donaldson-Thomas Floer homology of two, four, and five-manifolds, respectively. Via a 2d gauged Landau-Ginzburg model interpretation of the aforementioned twisted gauge theories, these Fueter type $A_{\infty}$-2-categories can be shown to be equivalent to corresponding Fukaya-Seidel type $A_{\infty}$-categories. In the 8d case, one can also derive higher $A_{\infty}$-categories, such as a novel Cauchy-Riemann-Fueter type $A_{\infty}$-3-category that 3-categorifies the Haydys-Witten Floer homology of four-manifolds via a 4d gauged Landau-Ginzburg model interpretation of the theory. Together with previous results from [arXiv:2410.18575] and [arXiv:2311.18302], our work furnishes purely physical proofs and generalizations of the mathematical conjectures by Bousseau [3], Doan-Rezchikov [4], and Cao [5]. △ Less

Submitted 3 July, 2025; v1 submitted 28 December, 2024; originally announced December 2024.

Comments: 90 pp. Sign typos propagated from references, corrected. This work is a sequel to arXiv:2410.18575, and a third and final installment of the program initiated in arXiv:2311.18302

Topological 8d $\mathcal{N}=1$ Gauge Theory: Novel Floer Homologies, and $A_\infty$-categories of Six, Five, and Four-Manifolds

Authors: Arif Er, Meng-Chwan Tan

Abstract: This work is a continuation of the program initiated in [arXiv:2311.18302]. We show how one can define novel gauge-theoretic (holomorphic) Floer homologies of seven, six, and five-manifolds, from the physics of a topologically-twisted 8d $\mathcal{N}=1$ gauge theory on a Spin$(7)$-manifold via its supersymmetric quantum mechanics interpretation. They are associated with $G_2$ instanton, Donaldson-… ▽ More This work is a continuation of the program initiated in [arXiv:2311.18302]. We show how one can define novel gauge-theoretic (holomorphic) Floer homologies of seven, six, and five-manifolds, from the physics of a topologically-twisted 8d $\mathcal{N}=1$ gauge theory on a Spin$(7)$-manifold via its supersymmetric quantum mechanics interpretation. They are associated with $G_2$ instanton, Donaldson-Thomas, and Haydys-Witten configurations on the seven, six, and five-manifolds, respectively. We also show how one can define hyperkähler Floer homologies specified by hypercontact three-manifolds, and symplectic Floer homologies of instanton moduli spaces. In turn, this will allow us to derive Atiyah-Floer type dualities between the various gauge-theoretic Floer homologies and symplectic intersection Floer homologies of instanton moduli spaces. Via a 2d gauged Landau-Ginzburg model interpretation of the 8d theory, one can derive novel Fukaya-Seidel type $A_\infty$-categories that categorify Donaldson-Thomas, Haydys-Witten, and Vafa-Witten configurations on six, five, and four-manifolds, respectively -- thereby categorifying the aforementioned Floer homologies of six and five-manifolds, and the Floer homology of four-manifolds from [arXiv:2311.18302] -- where an Atiyah-Floer type correspondence for the Donaldson-Thomas case can be established. Last but not least, topological invariance of the theory suggests a relation amongst these Floer homologies and Fukaya-Seidel type $A_\infty$-categories for certain Spin$(7)$-manifolds. Our work therefore furnishes purely physical proofs and generalizations of the conjectures by Donaldson-Thomas [2], Donaldson-Segal [3], Cherkis [4], Hohloch-Noetzel-Salamon [5], Salamon [6], Haydys [7], and Bousseau [8], and more. △ Less

Submitted 8 May, 2025; v1 submitted 24 October, 2024; originally announced October 2024.

Comments: 83 pp. Further clarifications and reference updated. This work is a sequel to arXiv:2311.18302, and is part 2 of a three-part program concluded in arXiv:2412.20067. To appear in ATMP

Local operator quench induced by two-dimensional inhomogeneous and homogeneous CFT Hamiltonians

Authors: Weibo Mao, Masahiro Nozaki, Kotaro Tamaoka, Mao Tian Tan

Abstract: We explore non-equilibrium processes in two-dimensional conformal field theories (2d CFTs) due to the growth of operators induced by inhomogeneous and homogeneous Hamiltonians by investigating the time dependence of the partition function, energy density, and entanglement entropy. The non-equilibrium processes considered in this paper are constructed out of the Lorentzian and Euclidean time evolut… ▽ More We explore non-equilibrium processes in two-dimensional conformal field theories (2d CFTs) due to the growth of operators induced by inhomogeneous and homogeneous Hamiltonians by investigating the time dependence of the partition function, energy density, and entanglement entropy. The non-equilibrium processes considered in this paper are constructed out of the Lorentzian and Euclidean time evolution governed by different Hamiltonians. We explore the effect of the time ordering on entanglement dynamics so that we find that in a free boson CFT and RCFTs, this time ordering does not affect the entanglement entropy, while in the holographic CFTs, it does. Our main finding is that in the holographic CFTs, the non-unitary time evolution induced by the inhomogeneous Hamiltonian can retain the initial state information longer than in the unitary time evolution. △ Less

Submitted 2 April, 2024; v1 submitted 23 March, 2024; originally announced March 2024.

Comments: 37 pages+appendices, 6 figures. v2: references added

Report number: RIKEN-iTHEMS-Report-24

Journal ref: JHEP 07 (2024) 200

Topological 5d $\mathcal {N} = 2$ Gauge Theory: Novel Floer Homologies, their Dualities, and an $A_\infty$-category of Three-Manifolds

Authors: Arif Er, Zhi-Cong Ong, Meng-Chwan Tan

Abstract: We show how one can define novel gauge-theoretic Floer homologies of four, three and two-manifolds from the physics of a certain topologically-twisted 5d ${\cal N}=2$ gauge theory via its supersymmetric quantum mechanics interpretation. They are associated with Vafa-Witten, Hitchin, and $G_{\mathbb{C}}$-BF configurations on the four, three, and two-manifolds, respectively. We also show how one can… ▽ More We show how one can define novel gauge-theoretic Floer homologies of four, three and two-manifolds from the physics of a certain topologically-twisted 5d ${\cal N}=2$ gauge theory via its supersymmetric quantum mechanics interpretation. They are associated with Vafa-Witten, Hitchin, and $G_{\mathbb{C}}$-BF configurations on the four, three, and two-manifolds, respectively. We also show how one can define novel symplectic Floer homologies of Hitchin spaces, which in turn will allow us to derive novel Atiyah-Floer correspondences that relate our gauge-theoretic Floer homologies to symplectic intersection Floer homologies of Higgs bundles. Furthermore, topological invariance and 5d "S-duality" suggest a web of relations and a Langlands duality amongst these novel Floer homologies and their loop/toroidal group generalizations. Last but not least, via a 2d gauged Landau-Ginzburg model interpretation of the 5d theory, we derive, from the soliton string theory that it defines and the 5d partition function, a Fukaya-Seidel type $A_\infty$-category of Hitchin configurations on three-manifolds -- thereby categorifying the aforementioned Floer homology of three-manifolds -- and its novel Atiyah-Floer type correspondence. Our work therefore furnishes purely physical proofs and generalizations of the mathematical conjectures by Haydys [1], Abouzaid-Manolescu [2], and Bousseau [3], and more. △ Less

Submitted 3 July, 2025; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: 62 pp. Sign typos propagated from references, corrected. To appear in ATMP

Inhomogeneous quenches as state preparation in two-dimensional conformal field theories

Authors: Masahiro Nozaki, Kotaro Tamaoka, Mao Tian Tan

Abstract: The non-equilibrium process where the system does not evolve to the featureless state is one of the new central objects in the non-equilibrium phenomena. In this paper, starting from the short-range entangled state in the two-dimensional conformal field theories ($2$d CFTs), the boundary state with a regularization, we evolve the system with the inhomogeneous Hamiltonians called Möbius/SSD ones. R… ▽ More The non-equilibrium process where the system does not evolve to the featureless state is one of the new central objects in the non-equilibrium phenomena. In this paper, starting from the short-range entangled state in the two-dimensional conformal field theories ($2$d CFTs), the boundary state with a regularization, we evolve the system with the inhomogeneous Hamiltonians called Möbius/SSD ones. Regardless of the details of CFTs considered in this paper, during the Möbius evolution, the entanglement entropy exhibits the periodic motion called quantum revival. During SSD time evolution, except for some subsystems, in the large time regime, entanglement entropy and mutual information are approximated by those for the vacuum state. We argue the time regime for the subsystem to cool down to vacuum one is $t_1 \gg \mathcal{O}(L\sqrt{l_A})$, where $t_1$, $L$, and $l_A$ are time, system, and subsystem sizes. This finding suggests the inhomogeneous quench induced by the SSD Hamiltonian may be used as the preparation for the approximately-vacuum state. We propose the gravity dual of the systems considered in this paper, furthermore, and generalize it. In addition to them, we discuss the relation between the inhomogenous quenches and continuous multi-scale entanglement renormalization ansatz (cMERA). △ Less

Submitted 30 October, 2023; originally announced October 2023.

Comments: 32+4 pages, 11 figures

Report number: RIKEN-iTHEMS-Report-23

Journal ref: Phys.Rev.D 109 (2024) 12, 126014

Bridging two quantum quench problems -- local joining quantum quench and Möbius quench -- and their holographic dual descriptions

Authors: Jonah Kudler-Flam, Masahiro Nozaki, Tokiro Numasawa, Shinsei Ryu, Mao Tian Tan

Abstract: We establish an equivalence between two different quantum quench problems, the joining local quantum quench and the Möbius quench, in the context of $(1+1)$-dimensional conformal field theory (CFT). Here, in the former, two initially decoupled systems (CFTs) on finite intervals are joined at $t=0$. In the latter, we consider the system that is initially prepared in the ground state of the regular… ▽ More We establish an equivalence between two different quantum quench problems, the joining local quantum quench and the Möbius quench, in the context of $(1+1)$-dimensional conformal field theory (CFT). Here, in the former, two initially decoupled systems (CFTs) on finite intervals are joined at $t=0$. In the latter, we consider the system that is initially prepared in the ground state of the regular homogeneous Hamiltonian on a finite interval and, after $t=0$, let it time-evolve by the so-called Möbius Hamiltonian that is spatially inhomogeneous. The equivalence allows us to relate the time-dependent physical observables in one of these problems to those in the other. As an application of the equivalence, we construct a holographic dual of the Möbius quench from that of the local quantum quench. The holographic geometry involves an end-of-the-world brane whose profile exhibits non-trivial dynamics. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: 13 pages, 9 figures

Topological-Holomorphic ${\mathcal N} =4$ Gauge Theory: From Langlands Duality of Holomorphic Invariants to Mirror Symmetry of Quasi-topological Strings

Authors: Zhi-Cong Ong, Meng-Chwan Tan

Abstract: We perform a topological-holomorphic twist of $\mathcal{N}=4$ supersymmetric gauge theory on a four-manifold of the form $M_4=Σ_1 \times Σ_2$ with Riemann surfaces $Σ_{1,2}$, and unravel the mathematical implications of its physics. In particular, we consider different linear combinations of the resulting scalar supercharges under $S$-duality, where this will allow us to derive novel topological a… ▽ More We perform a topological-holomorphic twist of $\mathcal{N}=4$ supersymmetric gauge theory on a four-manifold of the form $M_4=Σ_1 \times Σ_2$ with Riemann surfaces $Σ_{1,2}$, and unravel the mathematical implications of its physics. In particular, we consider different linear combinations of the resulting scalar supercharges under $S$-duality, where this will allow us to derive novel topological and holomorphic invariants of $M_4$ and their Langlands duals. As the twisted theory can be topological along $Σ_1$ whence we can dimensionally reduce it to 2d, via the effective sigma-model on $Σ_2$, we can also relate these 4d invariants and their Langlands duals to the mirror symmetry of Higgs bundles and that of quasi-topological strings described by the sheaf of chiral differential operators. As an offshoot, we would be able to obtain a fundamental understanding from 4d gauge theory, why chiral differential operators are purely perturbative objects. △ Less

Submitted 30 May, 2024; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: 30 pp. Further clarifications

Vafa-Witten Theory: Invariants, Floer Homologies, Higgs Bundles, a Geometric Langlands Correspondence, and Categorification (String Math 2022 Proceedings)

Authors: Meng-Chwan Tan

Abstract: This is a concise version of the original article in [arXiv:2203.17115] that will be published in the String Math 2022 Proceedings by the American Mathematical Society. This is a concise version of the original article in [arXiv:2203.17115] that will be published in the String Math 2022 Proceedings by the American Mathematical Society. △ Less

Submitted 21 February, 2024; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: 16 pp. References updated to match publication version. arXiv admin note: substantial text overlap with arXiv:2203.17115

Journal ref: Proc. Symp. Pure Math. 107, 201-218, 2024

Scrambling and Recovery of Quantum Information in Inhomogeneous Quenches in Two-dimensional Conformal Field Theories

Authors: Kanato Goto, Masahiro Nozaki, Shinsei Ryu, Kotaro Tamaoka, Mao Tian Tan

Abstract: We study various quantum quench processes induced by the Möbius/sine-square deformation of the Hamiltonian in two-dimensional conformal field theories starting from the thermofield double state in the two copies of the Hilbert space. These quantum quenches, some of which are directly related to the operator entanglement of the time-evolution operators, allow us to study scrambling and recovery of… ▽ More We study various quantum quench processes induced by the Möbius/sine-square deformation of the Hamiltonian in two-dimensional conformal field theories starting from the thermofield double state in the two copies of the Hilbert space. These quantum quenches, some of which are directly related to the operator entanglement of the time-evolution operators, allow us to study scrambling and recovery of quantum information. In particular, under the SSD time-evolution, we show from the time-dependence of mutual information that the Bell pairs, initially shared by the subsystems of the two Hilbert spaces, may revive even after the mutual information for small subsystems is completely destroyed by quantum information scrambling dynamics. This mutual information is robust against the strong scrambling dynamics. As a consequence, the steady state has a non-local correlation shared not by any of two parties but by three parties. In the holographic dual description, a wormhole connecting the two Hilbert spaces may non-linearly grow with time during the quantum quenches. We also propose effective pictures that describe the dynamics of mutual information during the time-evolution by inhomogeneous Hamiltonians. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Comments: 36+26 pages, 23 figures

Report number: RIKEN-iTHEMS-Report-23

Journal ref: Phys. Rev. Research 6, 023001 (2024)

Entanglement Dynamics of the Non-Unitary Holographic Channel

Authors: Kanato Goto, Masahiro Nozaki, Kotaro Tamaoka, Mao Tian Tan

Abstract: We study the dynamical properties of a strongly scrambling quantum circuit involving a projective measurement on a finite-sized region by studying the operator entanglement entropy and mutual information (OEE and BOMI) of the dual operator state that corresponds to this quantum circuit. The time-dependence of the OEE exhibits a new dynamical behavior of operator entanglement, namely an additional… ▽ More We study the dynamical properties of a strongly scrambling quantum circuit involving a projective measurement on a finite-sized region by studying the operator entanglement entropy and mutual information (OEE and BOMI) of the dual operator state that corresponds to this quantum circuit. The time-dependence of the OEE exhibits a new dynamical behavior of operator entanglement, namely an additional fractional coefficient that accompanies the linear time growth of the OEE. For a holographic system, this is equivalent to an additional fractional coefficient that modifies the linear growth rate of the wormhole volume. The time-dependence of the BOMI shows that the projective measurement may destroy the non-local correlations in this dual state. We also propose a gravity dual as well as a line-tension picture, which is an effective model, that describe this strongly scrambling quantum circuit. △ Less

Submitted 7 November, 2022; originally announced November 2022.

Comments: 30 pages + appendices, 12 figures

Report number: RIKEN-iTHEMS-Report-22

Topological Defects in Floquet Circuits

Authors: Mao Tian Tan, Yifan Wang, Aditi Mitra

Abstract: We introduce a Floquet circuit describing the driven Ising chain with topological defects. The corresponding gates include a defect that flips spins as well as the duality defect that explicitly implements the Kramers-Wannier duality transformation. The Floquet unitary evolution operator commutes with such defects, but the duality defect is not unitary, as it projects out half the states. We give… ▽ More We introduce a Floquet circuit describing the driven Ising chain with topological defects. The corresponding gates include a defect that flips spins as well as the duality defect that explicitly implements the Kramers-Wannier duality transformation. The Floquet unitary evolution operator commutes with such defects, but the duality defect is not unitary, as it projects out half the states. We give two applications of these defects. One is to analyze the return amplitudes in the presence of "space-like" defects stretching around the system. We verify explicitly that the return amplitudes are in agreement with the fusion rules of the defects. The second application is to study unitary evolution in the presence of "time-like" defects that implement anti-periodic and duality-twisted boundary conditions. We show that a single unpaired localized Majorana zero mode appears in the latter case. We explicitly construct this operator, which acts as a symmetry of this Floquet circuit. We also present analytic expressions for the entanglement entropy after a single time step for a system of a few sites, for all of the above defect configurations. △ Less

Submitted 19 March, 2024; v1 submitted 13 June, 2022; originally announced June 2022.

Comments: 54 pages, LaTeX; typos corrected

Journal ref: SciPost Phys. 16, 075 (2024)

Vafa-Witten Theory: Invariants, Floer Homologies, Higgs Bundles, a Geometric Langlands Correspondence, and Categorification

Authors: Zhi-Cong Ong, Meng-Chwan Tan

Abstract: We revisit Vafa-Witten theory in the more general setting whereby the underlying moduli space is not that of instantons, but of the full Vafa-Witten equations. We physically derive (i) a novel Vafa-Witten four-manifold invariant associated with this moduli space, (ii) their relation to Gromov-Witten invariants, (iii) a novel Vafa-Witten Floer homology assigned to three-manifold boundaries, (iv) a… ▽ More We revisit Vafa-Witten theory in the more general setting whereby the underlying moduli space is not that of instantons, but of the full Vafa-Witten equations. We physically derive (i) a novel Vafa-Witten four-manifold invariant associated with this moduli space, (ii) their relation to Gromov-Witten invariants, (iii) a novel Vafa-Witten Floer homology assigned to three-manifold boundaries, (iv) a novel Vafa-Witten Atiyah-Floer correspondence, (v) a proof and generalization of a conjecture by Abouzaid-Manolescu in [1] about the hypercohomology of a perverse sheaf of vanishing cycles, (vi) a Langlands duality of these invariants, Floer homologies and hypercohomology, and (vii) a quantum geometric Langlands correspondence with purely imaginary parameter that specializes to the classical correspondence in the zero-coupling limit, where Higgs bundles feature in (ii), (iv), (vi) and (vii). We also explain how these invariants and homologies will be categorified in the process, and discuss their higher categorification. We therefore relate differential and enumerative geometry, topology and geometric representation theory in mathematics, via a maximally-supersymmetric topological quantum field theory with electric-magnetic duality in physics. △ Less

Submitted 23 August, 2023; v1 submitted 31 March, 2022; originally announced March 2022.

Comments: 44 pp. Additional acknowledgments. Presented at "String Math 2022". To appear in ATMP

Journal ref: Adv.Theor.Math.Phys.27: 1759-1812, 2023

Non-Equilibrating a Black Hole with Inhomogeneous Quantum Quench

Authors: Kanato Goto, Masahiro Nozaki, Shinsei Ryu, Kotaro Tamaoka, Mao Tian Tan

Abstract: We study quantum quench processes in (1+1)-dimensional conformal field theory (CFT) in which the initial thermal equilibrium (Gibbs) state is time-evolved by spatially inhomogeneous Hamiltonians, the so-called Möbius and sine-square-deformed (SSD) Hamiltonians. We found that, when the quench is induced by the SSD Hamiltonian, almost all the degrees of freedom are asymptotically gathered at a singl… ▽ More We study quantum quench processes in (1+1)-dimensional conformal field theory (CFT) in which the initial thermal equilibrium (Gibbs) state is time-evolved by spatially inhomogeneous Hamiltonians, the so-called Möbius and sine-square-deformed (SSD) Hamiltonians. We found that, when the quench is induced by the SSD Hamiltonian, almost all the degrees of freedom are asymptotically gathered at a single point, resulting in a point-like excitation. This excitation, which we dub black hole-like excitation, carries as much information as the total thermal entropy. In contrast, other parts of the system approach the low-entropy (low-temperature) state at late times. For the quench by the Möbius Hamiltonian, we instead found an eternal periodic oscillation of physical quantities such as von Neumann entropy for subsystems. When the CFT admits a holographic dual description, the SSD quench induces a time-dependent, inhomogeneous deformation of the bulk black hole horizon, which, at late enough times, ``touches'' the boundary. Our quench setups can be used as a way to create low-temperature states, and, also, simulate the formation and evaporation processes of black holes. △ Less

Submitted 31 March, 2025; v1 submitted 28 December, 2021; originally announced December 2021.

Comments: 10+21 pages, 19 figures. We have largely revised the manuscript. In particular, we changed the quasiparticle picture to a better one

Report number: RIKEN-iTHEMS-Report-21

Information Scrambling Versus Quantum Revival Through the Lens of Operator Entanglement

Authors: Kanato Goto, Ali Mollabashi, Masahiro Nozaki, Kotaro Tamaoka, Mao Tian Tan

Abstract: In this paper, we look for signatures of quantum revivals in two-dimensional conformal field theories (2d CFTs) on a spatially compact manifold by using operator entanglement. It is believed that thermalization does not occur on spatially compact manifolds as the quantum state returns to its initial state which is a phenomenon known as quantum revival. We find that in CFTs such as the free fermion… ▽ More In this paper, we look for signatures of quantum revivals in two-dimensional conformal field theories (2d CFTs) on a spatially compact manifold by using operator entanglement. It is believed that thermalization does not occur on spatially compact manifolds as the quantum state returns to its initial state which is a phenomenon known as quantum revival. We find that in CFTs such as the free fermion CFT, the operator mutual information exhibits quantum revival in accordance with the relativistic propagation of quasiparticles while in holographic CFTs, the operator mutual information does not exhibit this revival and the quasiparticle picture breaks down. Furthermore, by computing the tripartite operator mutual information, we find that the information scrambling ability of holographic CFTs can be weakened by the finite size effect. We propose a modification of an effective model known as the line tension picture to explain the entanglement dynamics due to the strong scrambling effect and find a close relationship between this model and the wormhole (Einstein-Rosen Bridge) in the holographic bulk dual. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Report number: RIKEN-iTHEMS-Report-21

Journal ref: J. High Energ. Phys. 2022, 100 (2022)

The $u$-plane integral, mock modularity and enumerative geometry

Authors: Johannes Aspman, Elias Furrer, Georgios Korpas, Zhi-Cong Ong, Meng-Chwan Tan

Abstract: We revisit the low-energy effective $U(1)$ action of topologically twisted $\mathcal N=2$ SYM theory with gauge group of rank one on a generic oriented smooth 4-manifold $X$ with nontrivial fundamental group. After including a specific new set of $\mathcal Q$-exact operators to the known action, we express the integrand of the path integral of the low-energy $U(1)$ theory as an anti-holomorphic de… ▽ More We revisit the low-energy effective $U(1)$ action of topologically twisted $\mathcal N=2$ SYM theory with gauge group of rank one on a generic oriented smooth 4-manifold $X$ with nontrivial fundamental group. After including a specific new set of $\mathcal Q$-exact operators to the known action, we express the integrand of the path integral of the low-energy $U(1)$ theory as an anti-holomorphic derivative. This allows us to use the theory of mock modular forms and indefinite theta functions for the explicit evaluation of correlation functions of the theory, including but not restricted to those that physically reproduce Donaldson invariants, thus facilitating the computations compared to previously used methods. As an explicit check of our results, we compute the path integral for the product ruled surfaces $X=Σ_g \times \mathbb{CP}^1$ for the reduction on either factor and compare the results with existing literature. In the case of reduction on the Riemann surface $Σ_g$, via an equivalent topological A-model on $\mathbb{CP}^1$, we will be able to express the generating function of genus zero Gromov-Witten invariants of the moduli space of flat rank one connections over $Σ_g$ in terms of an indefinite theta function, whence we would be able to make concrete numerical predictions of these enumerative invariants in terms of modular data, thereby allowing us to derive results in enumerative geometry from number theory. △ Less

Submitted 24 February, 2022; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: 31 pages + appendices. Minor changes to title, abstract, introduction and section 5 after reviewer comments. To appear in Lett.Math.Phys

Journal ref: Lett Math Phys 112, 30 (2022)

Three-dimensional Yang-Mills Chern-Simons theory from D3-brane background with D-instantons

Authors: Si-wen Li, Sen-kai Luo, Mu-zhi Tan

Abstract: By constructing the configuration of D3-branes with D(-1)-branes as D-instantons, we study the three-dimensional Yang-Mills Chern-Simons theory in holography. Due to the presence of the D-instantons, the D7-branes with discrepant embedding functions are able to be introduced in order to include the fundamental fermions (as flavors) and the Chern-Simons term (at very low energy) in the dual theory.… ▽ More By constructing the configuration of D3-branes with D(-1)-branes as D-instantons, we study the three-dimensional Yang-Mills Chern-Simons theory in holography. Due to the presence of the D-instantons, the D7-branes with discrepant embedding functions are able to be introduced in order to include the fundamental fermions (as flavors) and the Chern-Simons term (at very low energy) in the dual theory. The vacuum structure at zero temperature is studied in the soliton background and it illustrates the topological phase transition in the presence of instantons. Moreover, since the confinement/deconfinement phase transition could be holographically identified as the Hawking-Page transition in the bulk, we accordingly calculate the critical temperature of the deconfinement phase transition by collecting the bulk onshell action as the thermodynamical free energy. On the other hand, we evaluate the difference of the entanglement entropy in slab configuration by using the RT formula since the confinement may also be characterized by the entanglement entropy. Altogether we find the behavior of the critical temperature is in qualitative agreement with the behavior of the critical length determined by the entanglement entropy which implies the entanglement entropy could indeed be a character of the confinement in our setup and the D3-D(-1) system would be a remarkable approach to study the three-dimensional gauge theory. △ Less

Submitted 4 April, 2022; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: 25 pages, 10 figures, fix a typo in the last section in this version

Journal ref: Phys. Rev. D 104, 066008 (2021)

Matrix Quantization of Classical Nambu Brackets and Super $p$-Branes

Authors: Meer Ashwinkumar, Lennart Schmidt, Meng-Chwan Tan

Abstract: We present an explicit matrix algebra quantization of the algebra of volume-preserving diffeomorphisms of the $n$-torus. That is, we approximate the corresponding classical Nambu brackets using $\mathfrak{sl}(N^{\lceil\frac{n}{2}\rceil},\mathbb{C})$-matrices equipped with the finite bracket given by the completely anti-symmetrized matrix product, such that the classical brackets are retrieved in t… ▽ More We present an explicit matrix algebra quantization of the algebra of volume-preserving diffeomorphisms of the $n$-torus. That is, we approximate the corresponding classical Nambu brackets using $\mathfrak{sl}(N^{\lceil\frac{n}{2}\rceil},\mathbb{C})$-matrices equipped with the finite bracket given by the completely anti-symmetrized matrix product, such that the classical brackets are retrieved in the $N\rightarrow \infty$ limit. We then apply this approximation to the super $4$-brane in $9$ dimensions and give a regularized action in analogy with the matrix quantization of the supermembrane. This action exhibits a reduced gauge symmetry that we discuss from the viewpoint of $L_\infty$-algebras in a slight generalization to the construction of Lie $2$-algebras from Bagger--Lambert $3$-algebras. △ Less

Submitted 6 January, 2022; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: 36 pages. Updated title and refined presentation. Published in JHEP

Journal ref: JHEP 07 (2021) 172

4d Chern-Simons Theory as a 3d Toda Theory, and a 3d-2d Correspondence

Authors: Meer Ashwinkumar, Kee-Seng Png, Meng-Chwan Tan

Abstract: We show that the four-dimensional Chern-Simons theory studied by Costello, Witten and Yamazaki, is, with Nahm pole-type boundary conditions, dual to a boundary theory that is a three-dimensional analogue of Toda theory with a novel 3d W-algebra symmetry. By embedding four-dimensional Chern-Simons theory in a partial twist of the five-dimensional maximally supersymmetric Yang-Mills theory on a mani… ▽ More We show that the four-dimensional Chern-Simons theory studied by Costello, Witten and Yamazaki, is, with Nahm pole-type boundary conditions, dual to a boundary theory that is a three-dimensional analogue of Toda theory with a novel 3d W-algebra symmetry. By embedding four-dimensional Chern-Simons theory in a partial twist of the five-dimensional maximally supersymmetric Yang-Mills theory on a manifold with corners, we argue that this three-dimensional Toda theory is dual to a two-dimensional topological sigma model with A-branes on the moduli space of solutions to the Bogomolny equations. This furnishes a novel 3d-2d correspondence, which, among other mathematical implications, also reveals that modules of the 3d W-algebra are modules for the quantized algebra of certain holomorphic functions on the Bogomolny moduli space. △ Less

Submitted 26 August, 2021; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: 28 pages. Presented at "String Math 2020". Further clarifications. To appear in JHEP

Journal ref: JHEP 09 (2021) 057

Entanglement of Local Operators and the Butterfly Effect

Authors: Jonah Kudler-Flam, Masahiro Nozaki, Shinsei Ryu, Mao Tian Tan

Abstract: We study the robustness of quantum and classical information to perturbations implemented by local operator insertions. We do this by computing multipartite entanglement measures in the Hilbert space of local operators in the Heisenberg picture. The sensitivity to initial conditions that we explore is an illuminating manifestation of the butterfly effect in quantum many-body systems. We derive a "… ▽ More We study the robustness of quantum and classical information to perturbations implemented by local operator insertions. We do this by computing multipartite entanglement measures in the Hilbert space of local operators in the Heisenberg picture. The sensitivity to initial conditions that we explore is an illuminating manifestation of the butterfly effect in quantum many-body systems. We derive a "membrane theory" in Haar random unitary circuits to compute the mutual information, logarithmic negativity, and reflected entropy in the local operator state by mapping to a classical statistical mechanics problem and find that any local operator insertion delocalizes information as fast as is allowed by causality. Identical behavior is found for conformal field theories admitting holographic duals where the bulk geometry is described by the eternal black hole with a local object situated at the horizon. In contrast to these maximal scramblers, only an $O(1)$ amount of information is found to be delocalized by local operators in integrable systems such as free fermions and Clifford circuits. △ Less

Submitted 1 February, 2021; v1 submitted 28 May, 2020; originally announced May 2020.

Comments: v2: Presentation improved, Appendix A revised

Report number: RIKEN-iTHEMS-Report-20

Journal ref: Phys. Rev. Research 3, 033182 (2021)

Operator and entanglement growth in non-thermalizing systems: many-body localization and the random singlet phase

Authors: Ian MacCormack, Mao Tian Tan, Jonah Kudler-Flam, Shinsei Ryu

Abstract: We characterize the growth and spreading of operators and entanglement in two paradigmatic non-thermalizing phases - the many-body localized phase and the random singlet phase - using out-of-time-ordered correlators, the entanglement contour, and operator entanglement. We contrast these phases with strongly thermalizing holographic conformal field theories and fully localized Anderson insulators.… ▽ More We characterize the growth and spreading of operators and entanglement in two paradigmatic non-thermalizing phases - the many-body localized phase and the random singlet phase - using out-of-time-ordered correlators, the entanglement contour, and operator entanglement. We contrast these phases with strongly thermalizing holographic conformal field theories and fully localized Anderson insulators. We obtain a phenomenological description of the operator and state dynamics of these phases and demonstrate the utility of the entanglement contour and operator entanglement measures as useful probes of slowly scrambling and non-thermalizing dynamics. △ Less

Submitted 11 January, 2021; v1 submitted 22 January, 2020; originally announced January 2020.

Comments: 11 pages

Unifying Lattice Models, Links and Quantum Geometric Langlands via Branes in String Theory

Authors: Meer Ashwinkumar, Meng-Chwan Tan

Abstract: We explain how, starting with a stack of D4-branes ending on an NS5-brane in type IIA string theory, one can, via T-duality and the topological-holomorphic nature of the relevant worldvolume theories, relate (i) the lattice models realized by Costello's 4d Chern-Simons theory, (ii) links in 3d analytically-continued Chern-Simons theory, (iii) the quantum geometric Langlands correspondence realized… ▽ More We explain how, starting with a stack of D4-branes ending on an NS5-brane in type IIA string theory, one can, via T-duality and the topological-holomorphic nature of the relevant worldvolume theories, relate (i) the lattice models realized by Costello's 4d Chern-Simons theory, (ii) links in 3d analytically-continued Chern-Simons theory, (iii) the quantum geometric Langlands correspondence realized by Kapustin-Witten using 4d N = 4 gauge theory and its quantum group modification, and (iv) the Gaitsgory-Lurie conjecture relating quantum groups/affine Kac-Moody algebras to Whittaker D-modules/W-algebras. This furnishes, purely physically via branes in string theory, a novel bridge between the mathematics of integrable systems, geometric topology, geometric representation theory, and quantum algebras. △ Less

Submitted 1 October, 2020; v1 submitted 2 October, 2019; originally announced October 2019.

Comments: 31 pages. Minor improvements, typos corrected, and reference added

Journal ref: Adv.Theor.Math.Phys.24: 1681-1721, 2020

Boundary N=2 Theory, Floer Homologies, Affine Algebras, and the Verlinde Formula

Authors: Meer Ashwinkumar, Kee-Seng Png, Meng-Chwan Tan

Abstract: Generalizing our ideas in [arXiv:1006.3313], we explain how topologically-twisted N=2 gauge theory on a four-manifold with boundary, will allow us to furnish purely physical proofs of (i) the Atiyah-Floer conjecture, (ii) Munoz's theorem relating quantum and instanton Floer cohomology, (iii) their monopole counterparts, and (iv) their higher rank generalizations. In the case where the boundary is… ▽ More Generalizing our ideas in [arXiv:1006.3313], we explain how topologically-twisted N=2 gauge theory on a four-manifold with boundary, will allow us to furnish purely physical proofs of (i) the Atiyah-Floer conjecture, (ii) Munoz's theorem relating quantum and instanton Floer cohomology, (iii) their monopole counterparts, and (iv) their higher rank generalizations. In the case where the boundary is a Seifert manifold, one can also relate its instanton Floer homology to modules of an affine algebra via a 2d A-model with target the based loop group. As an offshoot, we will be able to demonstrate an action of the affine algebra on the quantum cohomology of the moduli space of flat connections on a Riemann surface, as well as derive the Verlinde formula. △ Less

Submitted 22 September, 2020; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: 44 pp. Typos corrected. To appear in ATMP

Journal ref: Adv.Theor.Math.Phys.25: 1-58, 2021

Quantum vs. classical information: operator negativity as a probe of scrambling

Authors: Jonah Kudler-Flam, Masahiro Nozaki, Shinsei Ryu, Mao Tian Tan

Abstract: We consider the logarithmic negativity and related quantities of time evolution operators. We study free fermion, compact boson, and holographic conformal field theories (CFTs) as well as numerical simulations of random unitary circuits and integrable and chaotic spin chains. The holographic behavior strongly deviates from known non-holographic CFT results and displays clear signatures of maximal… ▽ More We consider the logarithmic negativity and related quantities of time evolution operators. We study free fermion, compact boson, and holographic conformal field theories (CFTs) as well as numerical simulations of random unitary circuits and integrable and chaotic spin chains. The holographic behavior strongly deviates from known non-holographic CFT results and displays clear signatures of maximal scrambling. Intriguingly, the random unitary circuits display nearly identical behavior to the holographic channels. Generically, we find the "line-tension picture" to effectively capture the entanglement dynamics for ergodic systems and the "quasi-particle picture" for integrable systems. With this motivation, we propose an effective line-tension that captures the dynamics of the logarithmic negativity in ergodic systems in the spacetime scaling limit. We compare the negativity and mutual information leading us to find distinct dynamics of quantum and classical information. The "spurious entanglement" we observe may have implications on the "simulatability" of quantum systems on classical computers. Finally, we elucidate the connection between the operation of partially transposing a density matrix in conformal field theory and the entanglement wedge cross section in Anti-de Sitter space using geodesic Witten diagrams. △ Less

Submitted 19 December, 2019; v1 submitted 18 June, 2019; originally announced June 2019.

Comments: 44 pages; v2: minor improvements and references added to match JHEP version

Report number: RIKEN-iTHEMS-Report-19

Journal ref: JHEP01(2020)031

Signature of quantum chaos in operator entanglement in 2d CFTs

Authors: Laimei Nie, Masahiro Nozaki, Shinsei Ryu, Mao Tian Tan

Abstract: We study operator entanglement measures of the unitary evolution operators of (1+1)-dimensional conformal field theories (CFTs), aiming to uncover their scrambling and chaotic behaviors. In particular, we compute the bi-partite and tri-partite mutual information for various configurations of input and output subsystems, and as a function of time. We contrast three different CFTs: the free fermion… ▽ More We study operator entanglement measures of the unitary evolution operators of (1+1)-dimensional conformal field theories (CFTs), aiming to uncover their scrambling and chaotic behaviors. In particular, we compute the bi-partite and tri-partite mutual information for various configurations of input and output subsystems, and as a function of time. We contrast three different CFTs: the free fermion theory, compactified free boson theory at various radii, and CFTs with holographic dual. We find that the bi-partite mutual information exhibits distinct behaviors for these different CFTs, reflecting the different information scrambling capabilities of these unitary operators; while a quasi-particle picture can describe well the case the free fermion and free boson CFTs, it completely fails for the case of holographic CFTs. Similarly, the tri-partite mutual information also distinguishes the unitary evolution operators of different CFTs. In particular, its late-time behaviors, when the output subsystems are semi-infinite, are quite distinct for these theories. We speculate that for holographic theories the late-time saturation value of the tri-partite mutual information takes the largest possible negative value and saturates the lower bound among quantum field theories. △ Less

Submitted 30 November, 2018; originally announced December 2018.

Comments: 69 pages, 29 figures

Branes and Categorifying Integrable Lattice Models

Authors: Meer Ashwinkumar, Meng-Chwan Tan, Qin Zhao

Abstract: We elucidate how integrable lattice models described by Costello's 4d Chern-Simons theory can be realized via a stack of D4-branes ending on an NS5-brane in type IIA string theory, with D0-branes on the D4-brane worldvolume sourcing a meromorphic RR 1-form, and fundamental strings forming the lattice. This provides us with a nonperturbative integration cycle for the 4d Chern-Simons theory, and by… ▽ More We elucidate how integrable lattice models described by Costello's 4d Chern-Simons theory can be realized via a stack of D4-branes ending on an NS5-brane in type IIA string theory, with D0-branes on the D4-brane worldvolume sourcing a meromorphic RR 1-form, and fundamental strings forming the lattice. This provides us with a nonperturbative integration cycle for the 4d Chern-Simons theory, and by applying T- and S-duality, we show how the R-matrix, the Yang-Baxter equation and the Yangian can be categorified, that is, obtained via the Hilbert space of a 6d gauge theory. △ Less

Submitted 9 May, 2019; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: 19 pp. Minor improvements and typos corrected. To appear in ATMP

Journal ref: Adv.Theor.Math.Phys.24: 1-24, 2020

Four-Dimensional N=2 Supersymmetric Theory with Boundary as a Two-Dimensional Complex Toda Theory

Authors: Yuan Luo, Meng-Chwan Tan, Petr Vasko, Qin Zhao

Abstract: We perform a series of dimensional reductions of the 6d, $\mathcal{N}=(2,0)$ SCFT on $S^2\timesΣ\times I\times S^1$ down to 2d on $Σ$. The reductions are performed in three steps: (i) a reduction on $S^1$ (accompanied by a topological twist along $Σ$) leading to a supersymmetric Yang-Mills theory on $S^2\timesΣ\times I$, (ii) a further reduction on $S^2$ resulting in a complex Chern--Simons theory… ▽ More We perform a series of dimensional reductions of the 6d, $\mathcal{N}=(2,0)$ SCFT on $S^2\timesΣ\times I\times S^1$ down to 2d on $Σ$. The reductions are performed in three steps: (i) a reduction on $S^1$ (accompanied by a topological twist along $Σ$) leading to a supersymmetric Yang-Mills theory on $S^2\timesΣ\times I$, (ii) a further reduction on $S^2$ resulting in a complex Chern--Simons theory defined on $Σ\times I$, with the real part of the complex Chern-Simons level being zero, and the imaginary part being proportional to the ratio of the radii of $S^2$ and $S^1$, and (iii) a final reduction to the boundary modes of complex Chern--Simons theory with the Nahm pole boundary condition at both ends of the interval $I$, which gives rise to a complex Toda CFT on the Riemann surface $Σ$. As the reduction of the 6d theory on $Σ$ would give rise to an $\mathcal{N}=2$ supersymmetric theory on $S^2\times I\times S^1$, our results imply a 4d-2d duality between four-dimensional $\mathcal{N}=2$ supersymmetric theory with boundary and two-dimensional complex Toda theory. △ Less

Submitted 24 May, 2017; v1 submitted 12 January, 2017; originally announced January 2017.

Comments: 29 pages, minor changes, published version

Journal ref: JHEP05(2017)121

Open Gauged Sigma Models, Equivariant Branes, and Equivariant Homological Mirror Symmetry

Authors: Meer Ashwinkumar, Meng-Chwan Tan

Abstract: We describe supersymmetric A-branes and B-branes in open N=(2,2) dynamically gauged nonlinear sigma models (GNLSM), placing emphasis on toric manifold target spaces. For a subset of toric manifolds, these equivariant branes have a mirror description as branes in gauged Landau-Ginzburg models with neutral matter. We then study correlation functions in the topological A-twisted version of the GNLSM,… ▽ More We describe supersymmetric A-branes and B-branes in open N=(2,2) dynamically gauged nonlinear sigma models (GNLSM), placing emphasis on toric manifold target spaces. For a subset of toric manifolds, these equivariant branes have a mirror description as branes in gauged Landau-Ginzburg models with neutral matter. We then study correlation functions in the topological A-twisted version of the GNLSM, and identify their values with open Hamiltonian Gromov-Witten invariants. Supersymmetry breaking can occur in the A-twisted GNLSM due to nonperturbative open symplectic vortices, and we canonically BRST quantize the mirror theory to analyze this phenomenon. △ Less

Submitted 8 February, 2018; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: 94 pp. Presented at "Indian Strings Meeting 2016". To appear in Physical Review D

Journal ref: Phys. Rev. D 97, 066010 (2018)

The ABC of Higher-Spin AdS/CFT

Authors: Simone Giombi, Igor R. Klebanov, Zhong Ming Tan

Abstract: In recent literature one-loop tests of the higher-spin AdS$_{d+1}$/CFT$_d$ correspondences were carried out. Here we extend these results to a more general set of theories in $d>2$. First, we consider the Type B higher spin theories, which have been conjectured to be dual to CFTs consisting of the singlet sector of $N$ free fermion fields. In addition to the case of $N$ Dirac fermions, we carefull… ▽ More In recent literature one-loop tests of the higher-spin AdS$_{d+1}$/CFT$_d$ correspondences were carried out. Here we extend these results to a more general set of theories in $d>2$. First, we consider the Type B higher spin theories, which have been conjectured to be dual to CFTs consisting of the singlet sector of $N$ free fermion fields. In addition to the case of $N$ Dirac fermions, we carefully study the projections to Weyl, Majorana, symplectic, and Majorana-Weyl fermions in the dimensions where they exist. Second, we explore theories involving elements of both Type A and Type B theories, which we call Type AB. Their spectrum includes fields of every half-integer spin, and they are expected to be related to the $U(N)/O(N)$ singlet sector of the CFT of $N$ free complex/real scalar and fermionic fields. Finally, we explore the Type C theories, which have been conjectured to be dual to the CFTs of $p$-form gauge fields, where $p=\frac d 2 -1$. In most cases we find that the free energies at $O(N^0)$ either vanish or give contributions proportional to the free-energy of a single free field in the conjectured dual CFT. Interpreting these non-vanishing values as shifts of the bulk coupling constant $G_N\sim 1/(N-k)$, we find the values $k=-1, -1/2, 0, 1/2, 1, 2$. Exceptions to this rule are the Type B and AB theories in odd $d$; for them we find a mismatch between the bulk and boundary free energies that has a simple structure, but does not follow from a simple shift of the bulk coupling constant. △ Less

Submitted 26 August, 2016; originally announced August 2016.

Comments: 64 pages

Report number: PUPT-2505

Higher AGT Correspondences, W-algebras, and Higher Quantum Geometric Langlands Duality from M-Theory

Authors: Meng-Chwan Tan

Abstract: We further explore the implications of our framework in [arXiv:1301.1977, arXiv:1309.4775], and physically derive, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent, (i) a 5d AGT correspondence for any compact Lie group, (ii) a 5d and 6d AGT correspondence on ALE space of type ADE, and (iii) identities between the ordinary, q-deforme… ▽ More We further explore the implications of our framework in [arXiv:1301.1977, arXiv:1309.4775], and physically derive, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent, (i) a 5d AGT correspondence for any compact Lie group, (ii) a 5d and 6d AGT correspondence on ALE space of type ADE, and (iii) identities between the ordinary, q-deformed and elliptic affine W-algebras associated with the 4d, 5d and 6d AGT correspondence, respectively, which also define a quantum geometric Langlands duality and its higher analogs formulated by Feigin-Frenkel-Reshetikhin in [3,4]. As an offshoot, we are led to the sought-after connection between the gauge-theoretic realization of the geometric Langlands correspondence by Kapustin-Witten [5,6] and its algebraic CFT formulation by Beilinson-Drinfeld [7], where one can also understand Wilson and 't Hooft-Hecke line operators in 4d gauge theory as monodromy loop operators in 2d CFT, for example. In turn, this will allow us to argue that the higher 5d/6d analog of the geometric Langlands correspondence for simply-laced Lie (Kac-Moody) groups G (G_k), ought to relate the quantization of circle (elliptic)-valued G Hitchin systems to circle/elliptic-valued ^LG (^LG_k)-bundles over a complex curve on one hand, and the transfer matrices of a G (G_k)-type XXZ/XYZ spin chain on the other, where ^LG is the Langlands dual of G. Incidentally, the latter relation also serves as an M-theoretic realization of Nekrasov-Pestun-Shatashvili's recent result in [8], which relates the moduli space of 5d/6d supersymmetric G (G_k)-quiver SU(K_i) gauge theories to the representation theory of quantum/elliptic affine (toroidal) G-algebras. △ Less

Submitted 3 October, 2018; v1 submitted 28 July, 2016; originally announced July 2016.

Comments: 73 pages. Presented at "Strings 2016". Published version

Journal ref: Adv.Theor.Math.Phys.22: 429-507, 2018

Gauge and Supersymmetry Invariance of N=2 Boundary Chern-Simons Theory

Authors: Mir Faizal, Yuan Luo, Douglas J Smith, Meng-Chwan Tan, Qin Zhao

Abstract: In this paper, we study the restoration of gauge symmetry and up to half the supersymmetry (N=(2,0) or N=(1,1) in two dimensions) for N=2 non-Abelian Chern-Simons theories in the presence of a boundary. We describe the boundary action which is a supersymmetric WZW model coupled to the bulk Chern-Simons theory. Unlike the N=1 case, higher supersymmetry (N=(2,0)) will endow the group manifold of the… ▽ More In this paper, we study the restoration of gauge symmetry and up to half the supersymmetry (N=(2,0) or N=(1,1) in two dimensions) for N=2 non-Abelian Chern-Simons theories in the presence of a boundary. We describe the boundary action which is a supersymmetric WZW model coupled to the bulk Chern-Simons theory. Unlike the N=1 case, higher supersymmetry (N=(2,0)) will endow the group manifold of the WZW model with a complex structure. Therefore, the N=(2,0) WZW model in our paper is constructed via a coset space $G_c/G$, where $G$ is the same as the gauge group in the Chern-Simons action. △ Less

Submitted 7 December, 2016; v1 submitted 20 January, 2016; originally announced January 2016.

Comments: 26 pages, accepted version. Corrected the arguments in pages 18-19, based on the anonymous referee's comments and improved the derivations in page 14

Report number: DCPT-16/03

Journal ref: Nucl.Phys.B 914 (2017) 577-598

Little Strings, Quasi-topological Sigma Model on Loop Group, and Toroidal Lie Algebras

Authors: Meer Ashwinkumar, Jingnan Cao, Yuan Luo, Meng-Chwan Tan, Qin Zhao

Abstract: We study the ground states and left-excited states of the A_{k-1} N=(2,0) little string theory. Via a theorem by Atiyah [1], these sectors can be captured by a supersymmetric nonlinear sigma model on CP^1 with target space the based loop group of SU(k). The ground states, described by L^2-cohomology classes, form modules over an affine Lie algebra, while the left-excited states, described by chira… ▽ More We study the ground states and left-excited states of the A_{k-1} N=(2,0) little string theory. Via a theorem by Atiyah [1], these sectors can be captured by a supersymmetric nonlinear sigma model on CP^1 with target space the based loop group of SU(k). The ground states, described by L^2-cohomology classes, form modules over an affine Lie algebra, while the left-excited states, described by chiral differential operators, form modules over a toroidal Lie algebra. We also apply our results to analyze the 1/2 and 1/4 BPS sectors of the M5-brane worldvolume theory. △ Less

Submitted 25 January, 2018; v1 submitted 23 December, 2015; originally announced December 2015.

Comments: 32 pages. Minor imprecisions and typos corrected. To appear in Nuclear Physics B

Journal ref: Nucl. Phys. B 928 (2018) 469-498

The Epsilon-Expansion from Conformal Field Theory

Authors: Slava Rychkov, Zhong Ming Tan

Abstract: Conformal multiplets of $φ$ and $φ^3$ recombine at the Wilson-Fisher fixed point, as a consequence of the equations of motion. Using this fact and other constraints from conformal symmetry, we reproduce the lowest nontrivial order results for the anomalous dimensions of operators, without any input from perturbation theory. Conformal multiplets of $φ$ and $φ^3$ recombine at the Wilson-Fisher fixed point, as a consequence of the equations of motion. Using this fact and other constraints from conformal symmetry, we reproduce the lowest nontrivial order results for the anomalous dimensions of operators, without any input from perturbation theory. △ Less

Submitted 24 June, 2015; v1 submitted 5 May, 2015; originally announced May 2015.

Comments: 24 pages; v2 - references added, minor changes; v3 - refs and comments added, misprints corrected, version to appear in J.Phys.A

Report number: CERN PH-TH/2015-104

Ω-deformation of B-twisted gauge theories and the 3d-3d correspondence

Authors: Yuan Luo, Meng-Chwan Tan, Junya Yagi, Qin Zhao

Abstract: We study Ω-deformation of B-twisted gauge theories in two dimensions. As an application, we construct an Ω-deformed, topologically twisted five-dimensional maximally supersymmetric Yang-Mills theory on the product of a Riemann surface $Σ$ and a three-manifold $M$, and show that when $Σ$ is a disk, this theory is equivalent to analytically continued Chern-Simons theory on $M$. Based on these result… ▽ More We study Ω-deformation of B-twisted gauge theories in two dimensions. As an application, we construct an Ω-deformed, topologically twisted five-dimensional maximally supersymmetric Yang-Mills theory on the product of a Riemann surface $Σ$ and a three-manifold $M$, and show that when $Σ$ is a disk, this theory is equivalent to analytically continued Chern-Simons theory on $M$. Based on these results, we establish a correspondence between three-dimensional $\mathcal{N} = 2$ superconformal theories and analytically continued Chern-Simons theory. Furthermore, we argue that there is a mirror symmetry between Ω-deformed two-dimensional theories. △ Less

Submitted 7 February, 2015; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: 26 pages. v2: the discussion on the boundary condition for vector multiplet improved, and other minor changes made

Report number: SISSA 50/2014/FISI

Journal ref: JHEP 02 (2015) 047

Nonlocal Operators and Duality in Abelian Gauge Theory on a Four-Manifold

Authors: Meng-Chwan Tan

Abstract: We generalize our picture in [arXiv:0904.1744], and consider a pure abelian gauge theory on a four-manifold with nonlocal operators of every codimension arbitrarily and simultaneously inserted. We explicitly show that (i) the theory enjoys exact S-duality for certain choices of operator parameters; (ii) if there are only trivially-embedded surface operators and Wilson loop operators, or if there a… ▽ More We generalize our picture in [arXiv:0904.1744], and consider a pure abelian gauge theory on a four-manifold with nonlocal operators of every codimension arbitrarily and simultaneously inserted. We explicitly show that (i) the theory enjoys exact S-duality for certain choices of operator parameters; (ii) if there are only trivially-embedded surface operators and Wilson loop operators, or if there are only Wilson-'t Hooft loop operators, the theory enjoys a more general and exact SL(2,Z) or Γ_0(2) duality; (iii) the parameters of the loop and surface operators transform like electric-magnetic charges under the SL(2,Z) or Γ_0(2) duality of the theory. Through the formalism of duality walls, we derive the transformation of loop and surface operators embedded in a Chern-Simons operator. Via a Hamiltonian perspective, we furnish an alternative understanding of the SL(2,Z) duality. Last but not least, we also compute the partition function and correlation function of gauge-invariant local operators, and find that they transform as generalized modular forms under the respective duality groups. △ Less

Submitted 6 June, 2019; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 39 pp. Various clarifications and improvements

N=2 supersymmetric gauge theories and quantum integrable systems

Authors: Yuan Luo, Meng-Chwan Tan, Junya Yagi

Abstract: We study N=2 supersymmetric gauge theories on the product of a two-sphere and a cylinder. We show that the low-energy dynamics of a BPS sector of such a theory is described by a quantum integrable system, with the Planck constant set by the inverse of the radius of the sphere. If the sphere is replaced with a hemisphere, then our system reduces to an integrable system of the type studied by Nekras… ▽ More We study N=2 supersymmetric gauge theories on the product of a two-sphere and a cylinder. We show that the low-energy dynamics of a BPS sector of such a theory is described by a quantum integrable system, with the Planck constant set by the inverse of the radius of the sphere. If the sphere is replaced with a hemisphere, then our system reduces to an integrable system of the type studied by Nekrasov and Shatashvili. In this case we establish a correspondence between the effective prepotential of the gauge theory and the Yang-Yang function of the integrable system. △ Less

Submitted 1 April, 2014; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: 24 pages. v2: references added; v3: minor changes, published version

Journal ref: JHEP 03 (2014) 090

An M-Theoretic Derivation of a 5d and 6d AGT Correspondence, and Relativistic and Elliptized Integrable Systems

Authors: Meng-Chwan Tan

Abstract: We generalize our analysis in [arXiv:1301.1977], and show that a 5d and 6d AGT correspondence for SU(N) -- which essentially relates the relevant 5d and 6d Nekrasov instanton partition functions to the integrable representations of a q-deformed and elliptic affine W_N-algebra -- can be derived, purely physically, from the principle that the spacetime BPS spectra of string-dual M-theory compactific… ▽ More We generalize our analysis in [arXiv:1301.1977], and show that a 5d and 6d AGT correspondence for SU(N) -- which essentially relates the relevant 5d and 6d Nekrasov instanton partition functions to the integrable representations of a q-deformed and elliptic affine W_N-algebra -- can be derived, purely physically, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent. Via an appropriate defect, we also derive a "fully-ramified" version of the 5d and 6d AGT correspondence where integrable representations of a quantum and elliptic affine SU(N)-algebra at the critical level appear on the 2d side, and argue that the relevant "fully-ramified" 5d and 6d Nekrasov instanton partition functions are simultaneous eigenfunctions of commuting operators which define relativistic and elliptized integrable systems. As an offshoot, we also obtain various mathematically novel and interesting relations involving the double loop algebra of SU(N), elliptic Macdonald operators, equivariant elliptic genus of instanton moduli space, and more. △ Less

Submitted 27 July, 2016; v1 submitted 18 September, 2013; originally announced September 2013.

Comments: 53 pages (inclusive of essential review material from arXiv:1301.1977). Minor change in (3.22)

Journal ref: JHEP12(2013)031

A Topological Chern-Simons Sigma Model and New Invariants of Three-Manifolds

Authors: Yuan Luo, Meng-Chwan Tan

Abstract: We construct a topological Chern-Simons sigma model on a Riemannian three-manifold M with gauge group G whose hyperkahler target space X is equipped with a G-action. Via a perturbative computation of its partition function, we obtain new topological invariants of M that define new weight systems which are characterized by both Lie algebra structure and hyperkahler geometry. In canonically quantizi… ▽ More We construct a topological Chern-Simons sigma model on a Riemannian three-manifold M with gauge group G whose hyperkahler target space X is equipped with a G-action. Via a perturbative computation of its partition function, we obtain new topological invariants of M that define new weight systems which are characterized by both Lie algebra structure and hyperkahler geometry. In canonically quantizing the sigma model, we find that the partition function on certain M can be expressed in terms of Chern-Simons knot invariants of M and the intersection number of certain G-equivariant cycles in the moduli space of G-covariant maps from M to X. We also construct supersymmetric Wilson loop operators, and via a perturbative computation of their expectation value, we obtain new knot invariants of M that define new knot weight systems which are also characterized by both Lie algebra structure and hyperkahler geometry. △ Less

Submitted 22 January, 2014; v1 submitted 13 February, 2013; originally announced February 2013.

Comments: 45 pages. Further clarifications. To appear in JHEP

Journal ref: JHEP02(2014)067

M-Theoretic Derivations of 4d-2d Dualities: From a Geometric Langlands Duality for Surfaces, to the AGT Correspondence, to Integrable Systems

Authors: Meng-Chwan Tan

Abstract: In Part I, we extend our analysis in [arXiv:0807.1107], and show that a mathematically conjectured geometric Langlands duality for complex surfaces in [1], and its generalizations -- which relate some cohomology of the moduli space of certain ("ramified") G-instantons to the integrable representations of the Langlands dual of certain affine (sub) G-algebras, where G is any compact Lie group -- can… ▽ More In Part I, we extend our analysis in [arXiv:0807.1107], and show that a mathematically conjectured geometric Langlands duality for complex surfaces in [1], and its generalizations -- which relate some cohomology of the moduli space of certain ("ramified") G-instantons to the integrable representations of the Langlands dual of certain affine (sub) G-algebras, where G is any compact Lie group -- can be derived, purely physically, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent. In Part II, to the setup in Part I, we introduce Omega-deformation via fluxbranes and add half-BPS boundary defects via M9-branes, and show that the celebrated AGT correspondence in [2, 3], and its generalizations -- which essentially relate, among other things, some equivariant cohomology of the moduli space of certain ("ramified") G-instantons to the integrable representations of the Langlands dual of certain affine W-algebras -- can likewise be derived from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent. In Part III, we consider various limits of our setup in Part II, and connect our story to chiral fermions and integrable systems. Among other things, we derive the Nekrasov-Okounkov conjecture in [4] -- which relates the topological string limit of the dual Nekrasov partition function for pure G to the integrable representations of the Langlands dual of an affine G-algebra -- and also demonstrate that the Nekrasov-Shatashvili limit of the "fully-ramified" Nekrasov instanton partition function for pure G is a simultaneous eigenfunction of the quantum Toda Hamiltonians associated with the Langlands dual of an affine G-algebra. Via the case with matter, we also make contact with Hitchin systems and the "ramified" geometric Langlands correspondence for curves. △ Less

Submitted 27 July, 2016; v1 submitted 9 January, 2013; originally announced January 2013.

Comments: 214 pages. Minor imprecisions corrected. Added acknowledgment

Journal ref: JHEP07(2013)171

Quasi-Topological Gauged Sigma Models, The Geometric Langlands Program, And Knots

Authors: Meng-Chwan Tan

Abstract: We construct and study a closed, two-dimensional, quasi-topological (0,2) gauged sigma model with target space a smooth G-manifold, where G is any compact and connected Lie group. When the target space is a flag manifold of simple G, and the gauge group is a Cartan subgroup thereof, the perturbative model describes, purely physically, the recently formulated mathematical theory of "Twisted Chiral… ▽ More We construct and study a closed, two-dimensional, quasi-topological (0,2) gauged sigma model with target space a smooth G-manifold, where G is any compact and connected Lie group. When the target space is a flag manifold of simple G, and the gauge group is a Cartan subgroup thereof, the perturbative model describes, purely physically, the recently formulated mathematical theory of "Twisted Chiral Differential Operators". This paves the way, via a generalized T-duality, for a natural physical interpretation of the geometric Langlands correspondence for simply-connected, simple, complex Lie groups. In particular, the Hecke eigensheaves and Hecke operators can be described in terms of the correlation functions of certain operators that underlie the infinite-dimensional chiral algebra of the flag manifold model. Nevertheless, nonperturbative worldsheet twisted-instantons can, in some situations, trivialize the chiral algebra completely. This leads to a spontaneous breaking of supersymmetry whilst implying certain delicate conditions for the existence of Beilinson-Drinfeld D-modules. Via supersymmetric gauged quantum mechanics on loop space, these conditions can be understood to be intimately related to a conjecture by Hohn-Stolz [1] regarding the vanishing of the Witten genus on string manifolds with positive Ricci curvature. An interesting connection to Chern-Simons theory is also uncovered, whence we would be able to (i) relate general knot invariants of three-manifolds and Khovanov homology to "quantum" ramified D-modules and Lagrangian intersection Floer homology; (ii) furnish physical proofs of mathematical conjectures by Seidel-Smith [2] and Gaitsgory [3, 4] which relate knots to symplectic geometry and Langlands duality, respectively. △ Less

Submitted 29 August, 2013; v1 submitted 2 November, 2011; originally announced November 2011.

Comments: 164 pages. Minor cosmetic changes. To appear in ATMP

Journal ref: Adv.Theor.Math.Phys.19: 277-450, 2015

Supersymmetric Surface Operators, Four-Manifold Theory and Invariants in Various Dimensions

Authors: Meng-Chwan Tan

Abstract: We continue our program initiated in [arXiv:0912.4261] to consider supersymmetric surface operators in a topologically-twisted N=2 pure SU(2) gauge theory, and apply them to the study of four-manifolds and related invariants. Elegant physical proofs of various seminal theorems in four-manifold theory obtained by Ozsvath-Szabo [2,3] and Taubes [4], will be furnished. In particular, we will show tha… ▽ More We continue our program initiated in [arXiv:0912.4261] to consider supersymmetric surface operators in a topologically-twisted N=2 pure SU(2) gauge theory, and apply them to the study of four-manifolds and related invariants. Elegant physical proofs of various seminal theorems in four-manifold theory obtained by Ozsvath-Szabo [2,3] and Taubes [4], will be furnished. In particular, we will show that Taubes' groundbreaking and difficult result -- that the ordinary Seiberg-Witten invariants are in fact the Gromov invariants which count pseudo-holomorphic curves embedded in a symplectic four-manifold X -- nonetheless lends itself to a simple and concrete physical derivation in the presence of "ordinary" surface operators. As an offshoot, we will be led to several interesting and mathematically novel identities among the Gromov and "ramified" Seiberg-Witten invariants of X, which in certain cases, also involve the instanton and monopole Floer homologies of its three-submanifold. Via these identities, and a physical formulation of the "ramified" Donaldson invariants of four-manifolds with boundaries, we will uncover completely new and economical ways of deriving and understanding various important mathematical results concerning (i) knot homology groups from "ramified" instantons by Kronheimer-Mrowka [5]; and (ii) monopole Floer homology and Seiberg-Witten theory on symplectic four-manifolds by Kutluhan-Taubes [4,6]. Supersymmetry, as well as other physical concepts such as R-invariance, electric-magnetic duality, spontaneous gauge symmetry-breaking and localization onto supersymmetric configurations in topologically-twisted quantum field theories, play a pivotal role in our story. △ Less

Submitted 9 February, 2012; v1 submitted 16 June, 2010; originally announced June 2010.

Comments: 58 pages. Minor refinement and details of references updated. Published version

Journal ref: Adv.Theor.Math.Phys.15:071-130,2011

Integration Over The u-Plane In Donaldson Theory With Surface Operators

Authors: Meng-Chwan Tan

Abstract: We generalize the analysis by Moore and Witten in [arXiv:hep-th/9709193], and consider integration over the u-plane in Donaldson theory with surface operators on a smooth four-manifold X. Several novel aspects will be developed in the process; like a physical interpretation of the "ramified" Donaldson and Seiberg-Witten invariants, and the concept of curved surface operators which are necessarily… ▽ More We generalize the analysis by Moore and Witten in [arXiv:hep-th/9709193], and consider integration over the u-plane in Donaldson theory with surface operators on a smooth four-manifold X. Several novel aspects will be developed in the process; like a physical interpretation of the "ramified" Donaldson and Seiberg-Witten invariants, and the concept of curved surface operators which are necessarily topological at the outset. Elegant physical proofs -- rooted in R-anomaly cancellations and modular invariance over the u-plane -- of various seminal results in four-dimensional geometric topology obtained by Kronheimer and Mrowka [1,2] -- such as a universal formula relating the "ramified" and ordinary Donaldson invariants, and a generalization of the celebrated Thom conjecture -- will be furnished. Wall-crossing and blow-up formulas of these "ramified" invariants which have not been computed in the mathematical literature before, as well as a generalization and a Seiberg-Witten analog of the universal formula as implied by an electric-magnetic duality of trivially-embedded surface operators in X, will also be presented, among other things. △ Less

Submitted 5 May, 2011; v1 submitted 21 December, 2009; originally announced December 2009.

Comments: 114 pages. Published version; typos corrected. See also sequel arXiv:1006.3313

Journal ref: JHEP 1105:007,2011

Notes on the "Ramified" Seiberg-Witten Equations and Invariants

Authors: Meng-Chwan Tan

Abstract: In these notes, we carefully analyze the properties of the "ramified" Seiberg-Witten equations associated with supersymmetric configurations of the Seiberg-Witten abelian gauge theory with surface operators on an oriented closed four-manifold X. We find that in order to have sensible solutions to these equations, only surface operators with certain parameters and embeddings in X, are admissible. I… ▽ More In these notes, we carefully analyze the properties of the "ramified" Seiberg-Witten equations associated with supersymmetric configurations of the Seiberg-Witten abelian gauge theory with surface operators on an oriented closed four-manifold X. We find that in order to have sensible solutions to these equations, only surface operators with certain parameters and embeddings in X, are admissible. In addition, the corresponding "ramified" Seiberg-Witten invariants on X with positive scalar curvature and b^+_2 > 1, vanish, while if X has b^+_2 = 1, there can be wall-crossings whence the invariants will jump. In general, for each of the finite number of basic classes that corresponds to a moduli space of solutions with zero virtual dimension, the perturbed "ramified" Seiberg-Witten invariants on Kahler manifolds will depend - among other parameters associated with the surface operator - on the monopole number "l" and the holonomy parameter "alpha". Nonetheless, the (perturbed) "ramified" and ordinary invariants are found to coincide, albeit up to a sign, in some examples. △ Less

Submitted 26 January, 2012; v1 submitted 10 December, 2009; originally announced December 2009.

Comments: 21 pages. Published version

Journal ref: JHEP 1201:067,2012

Surface Operators in N=2 Abelian Gauge Theory

Authors: Meng-Chwan Tan

Abstract: We generalise the analysis in [arXiv:0904.1744] to superspace, and explicitly prove that for any embedding of surface operators in a general, twisted N=2 pure abelian theory on an arbitrary four-manifold, the parameters transform naturally under the SL(2,Z) duality of the theory. However, for nontrivially-embedded surface operators, exact S-duality holds if and only if the "quantum" parameter ef… ▽ More We generalise the analysis in [arXiv:0904.1744] to superspace, and explicitly prove that for any embedding of surface operators in a general, twisted N=2 pure abelian theory on an arbitrary four-manifold, the parameters transform naturally under the SL(2,Z) duality of the theory. However, for nontrivially-embedded surface operators, exact S-duality holds if and only if the "quantum" parameter effectively vanishes, while the overall SL(2,Z) duality holds up to a c-number at most, regardless. Nevertheless, this observation sets the stage for a physical proof of a remarkable mathematical result by Kronheimer and Mrowka--that expresses a "ramified" analog of the Donaldson invariants solely in terms of the ordinary Donaldson invariants--which, will appear, among other things, in forthcoming work. As a prelude to that, the effective interaction on the corresponding u-plane will be computed. In addition, the dependence on second Stiefel-Whitney classes and the appearance of a Spin^c structure in the associated low-energy Seiberg-Witten theory with surface operators, will also be demonstrated. In the process, we will stumble upon an interesting phase factor that is otherwise absent in the "unramified" case. △ Less

Submitted 29 September, 2009; v1 submitted 15 June, 2009; originally announced June 2009.

Comments: 46 pages. Minor refinement

Journal ref: JHEP 0909:047,2009

Surface Operators in Abelian Gauge Theory

Authors: Meng-Chwan Tan

Abstract: We consider arbitrary embeddings of surface operators in a pure, non-supersymmetric abelian gauge theory on spin (non-spin) four-manifolds. For any surface operator with a priori simultaneously non-vanishing parameters, we explicitly show that the parameters transform naturally under an SL(2, Z) (or a congruence subgroup thereof) duality of the theory. However, for non-trivially-embedded surface… ▽ More We consider arbitrary embeddings of surface operators in a pure, non-supersymmetric abelian gauge theory on spin (non-spin) four-manifolds. For any surface operator with a priori simultaneously non-vanishing parameters, we explicitly show that the parameters transform naturally under an SL(2, Z) (or a congruence subgroup thereof) duality of the theory. However, for non-trivially-embedded surface operators, exact S-duality holds only if the quantum parameter effectively vanishes, while the overall SL(2, Z) (or a congruence subgroup thereof) duality holds up to a c-number at most, regardless. Via the formalism of duality walls, we furnish an alternative derivation of the transformation of parameters - found also to be consistent with a switch from Wilson to 't Hooft loop operators under S-duality. With any background embedding of surface operators, the partition function and the correlation functions of non-singular, gauge-invariant local operators on any curved four-manifold, are found to transform like modular forms under the respective duality groups. △ Less

Submitted 29 September, 2009; v1 submitted 13 April, 2009; originally announced April 2009.

Comments: 30 pages. Minor refinement

Journal ref: JHEP 0905:104,2009

Five-Branes in M-Theory and a Two-Dimensional Geometric Langlands Duality

Authors: Meng-Chwan Tan

Abstract: A recent attempt to extend the geometric Langlands duality to affine Kac-Moody groups, has led Braverman and Finkelberg [arXiv:0711.2083] to conjecture a mathematical relation between the intersection cohomology of the moduli space of G-bundles on certain singular complex surfaces, and the integrable representations of the Langlands dual of an associated affine G-algebra, where G is any simply-con… ▽ More A recent attempt to extend the geometric Langlands duality to affine Kac-Moody groups, has led Braverman and Finkelberg [arXiv:0711.2083] to conjecture a mathematical relation between the intersection cohomology of the moduli space of G-bundles on certain singular complex surfaces, and the integrable representations of the Langlands dual of an associated affine G-algebra, where G is any simply-connected semisimple group. For the A-type groups, where the conjecture has been mathematically verified to a large extent, we show that the relation has a natural physical interpretation in terms of six-dimensional compactifications of M-theory with coincident five-branes wrapping certain hyperkahler four-manifolds; in particular, it can be understood as an expected invariance in the resulting spacetime BPS spectrum under string dualities. By replacing the singular complex surface with a smooth multi-Taub-NUT manifold, we find agreement with a closely related result demonstrated earlier via purely field-theoretic considerations by Witten. By adding OM five-planes to the original analysis, we argue that an analogous relation involving the non-simply-connected D-type groups, ought to hold as well. This is the first example of a string-theoretic interpretation of such a two-dimensional extension to complex surfaces of the geometric Langlands duality for the A-D groups. △ Less

Submitted 3 January, 2013; v1 submitted 8 July, 2008; originally announced July 2008.

Comments: 43 pages. Technical refinement of section 4.3. Minor correction of sections 5.2 and 5.3: level 2k changed to k

Journal ref: Adv.Theor.Math.Phys.14:179-224,2010

Chiral Algebras of (0,2) Sigma Models: Beyond Perturbation Theory - II

Authors: Meng-Chwan Tan, Junya Yagi

Abstract: We extend our analysis in [arXiv:0801.4782] and show that the chiral algebras of (0,2) sigma models are totally trivialized by worldsheet instantons for all complete flag manifolds of compact semisimple Lie groups. Consequently, supersymmetry is spontaneously broken. Our results verify Stolz's idea that there are no harmonic spinors on the loop spaces of these flag manifolds. Moreover, they also… ▽ More We extend our analysis in [arXiv:0801.4782] and show that the chiral algebras of (0,2) sigma models are totally trivialized by worldsheet instantons for all complete flag manifolds of compact semisimple Lie groups. Consequently, supersymmetry is spontaneously broken. Our results verify Stolz's idea that there are no harmonic spinors on the loop spaces of these flag manifolds. Moreover, they also imply that the kernels of certain twisted Dirac operators on these spaces will be empty under a "quantum" deformation of their geometries. △ Less

Submitted 12 May, 2008; originally announced May 2008.

Comments: 13 pages

Journal ref: Lett.Math.Phys.84:257-273,2008

Gauging Spacetime Symmetries On The Worldsheet And The Geometric Langlands Program -- II

Authors: Meng-Chwan Tan

Abstract: We generalise the analysis carried out in [arXiv:0710.5796], and find that our previous results can be extended beyond the case of SL(N,C). In particular, we show that an equivalence--at the level of the holomorphic chiral algebra--between a bosonic string on a smooth coset manifold G/B and a B-gauged version of itself on G, will imply an isomorphism of classical W-algebras and a level relation… ▽ More We generalise the analysis carried out in [arXiv:0710.5796], and find that our previous results can be extended beyond the case of SL(N,C). In particular, we show that an equivalence--at the level of the holomorphic chiral algebra--between a bosonic string on a smooth coset manifold G/B and a B-gauged version of itself on G, will imply an isomorphism of classical W-algebras and a level relation which underlie a geometric Langlands correspondence for the simply-laced, complex ADE-groups. In addition, as opposed to line operators and branes of an open topological sigma-model, the Hecke operators and Hecke eigensheaves, can, instead, be physically interpreted in terms of the correlation functions of local operators in the holomorphic chiral algebra of a closed, quasi-topological sigma-model. Our present results thus serve as an alternative physical interpretation--to that of an electric-magnetic duality of four-dimensional gauge theory demonstrated earlier by Kapustin and Witten in [arXiv:hep-th/0604151]--of the geometric Langlands correspondence for complex ADE-groups. The cases with tame and mild "ramifications" are also discussed. △ Less

Submitted 16 September, 2008; v1 submitted 4 April, 2008; originally announced April 2008.

Comments: 47 pages. Typos corrected. Published version

Journal ref: JHEP 0809:074,2008

Chiral Algebras of (0,2) Sigma Models: Beyond Perturbation Theory

Authors: Meng-Chwan Tan, Junya Yagi

Abstract: We explore the nonperturbative aspects of the chiral algebras of N = (0,2) sigma models, which perturbatively are intimately related to the theory of chiral differential operators (CDOs). The grading by charge and scaling dimension is anomalous if the first Chern class of the target space is nonzero. This has some nontrivial consequences for the chiral algebra. As an example, we study the case w… ▽ More We explore the nonperturbative aspects of the chiral algebras of N = (0,2) sigma models, which perturbatively are intimately related to the theory of chiral differential operators (CDOs). The grading by charge and scaling dimension is anomalous if the first Chern class of the target space is nonzero. This has some nontrivial consequences for the chiral algebra. As an example, we study the case where the target space is CP^1, and show that worldsheet instantons trivialize the chiral algebra entirely. Consequently, supersymmetry is spontaneously broken in this model. We then turn to a closer look at the supersymmetry breaking from the viewpoint of Morse theory on loop space. We find that instantons interpolate between pairs of perturbative supersymmetric states with different fermionic numbers, hence lifting them out of the supersymmetric spectrum. Our results reveal that a "quantum" deformation of the geometry of the target space leads to a trivialization of the kernels of certain twisted Dirac operators on CP^1. △ Less

Submitted 18 April, 2008; v1 submitted 31 January, 2008; originally announced January 2008.

Comments: 38 pages. Minor changes to Section 2.3 and corrections to Section 4.2. Final results unchanged. Typos corrected

Report number: RUNHETC-2008-01

Journal ref: Lett.Math.Phys.84:257-273,2008

Gauging Spacetime Symmetries on the Worldsheet and the Geometric Langlands Program

Authors: Meng-Chwan Tan

Abstract: We study the two-dimensional twisted (0,2) sigma-model on various smooth complex flag manifolds G/B, and explore its relevance to the geometric Langlands program. We find that an equivalence - at the level of the holomorphic chiral algebra - between a bosonic string on G/B and a B-gauged version of itself on G, will imply an isomorphism of classical W-algebras and a level relation which underlie… ▽ More We study the two-dimensional twisted (0,2) sigma-model on various smooth complex flag manifolds G/B, and explore its relevance to the geometric Langlands program. We find that an equivalence - at the level of the holomorphic chiral algebra - between a bosonic string on G/B and a B-gauged version of itself on G, will imply an isomorphism of classical W-algebras and a level relation which underlie a geometric Langlands correspondence for G=SL(N,C). This furnishes an alternative physical interpretation of the geometric Langlands correspondence for G=SL(N,C), to that demonstrated earlier by Kapustin and Witten via an electric-magnetic duality of four-dimensional gauge theory. Likewise, the Hecke operators and Hecke eigensheaves will have an alternative physical interpretation in terms of the correlation functions of local operators in the holomorphic chiral algebra of a quasi-topological sigma-model without boundaries. A forthcoming paper will investigate the interpretation of a ``quantum'' geometric Langlands correspondence for G=SL(N,C) in a similar setting, albeit with fluxes of the sigma-model moduli which induce a ``quantum'' deformation of the relevant classical algebras turned on. △ Less

Submitted 12 March, 2008; v1 submitted 31 October, 2007; originally announced October 2007.

Comments: 80 pages + appendix. Minor changes, further clarifications and improvements. Published version

Journal ref: JHEP 0803:033,2008

Two-Dimensional Twisted Sigma Models, the Mirror Chiral de Rham Complex, and Twisted Generalised Mirror Symmetry

Authors: Meng-Chwan Tan

Abstract: In this paper, we study the perturbative aspects of a "B-twisted" two-dimensional $(0,2)$ heterotic sigma model on a holomorphic gauge bundle $\mathcal E$ over a complex, hermitian manifold $X$. We show that the model can be naturally described in terms of the mathematical theory of ``Chiral Differential Operators". In particular, the physical anomalies of the sigma model can be reinterpreted as… ▽ More In this paper, we study the perturbative aspects of a "B-twisted" two-dimensional $(0,2)$ heterotic sigma model on a holomorphic gauge bundle $\mathcal E$ over a complex, hermitian manifold $X$. We show that the model can be naturally described in terms of the mathematical theory of ``Chiral Differential Operators". In particular, the physical anomalies of the sigma model can be reinterpreted as an obstruction to a global definition of the associated sheaf of vertex superalgebras derived from the free conformal field theory describing the model locally on $X$. In addition, one can also obtain a novel understanding of the sigma model one-loop beta function solely in terms of holomorphic data. At the $(2,2)$ locus, one can describe the resulting half-twisted variant of the topological B-model in terms of a $\it{mirror}$ "Chiral de Rham complex" (or CDR) defined by Malikov et al. in \cite{GMS1}. Via mirror symmetry, one can also derive various conjectural expressions relating the sheaf cohomology of the mirror CDR to that of the original CDR on pairs of Calabi-Yau mirror manifolds. An analysis of the half-twisted model on a non-Kähler group manifold with torsion also allows one to draw conclusions about the corresponding sheaves of CDR (and its mirror) that are consistent with mathematically established results by Ben-Bassat in \cite{ben} on the mirror symmetry of generalised complex manifolds. These conclusions therefore suggest an interesting relevance of the sheaf of CDR in the recent study of generalised mirror symmetry. △ Less

Submitted 5 July, 2007; v1 submitted 6 May, 2007; originally announced May 2007.

Comments: 97 pages. Companion paper to hep-th/0604179. Published version

Journal ref: JHEP 0707:013,2007