Topological order in the color-flavor locked phase of - - PowerPoint PPT Presentation

topological order in the color flavor locked phase of 3 1
SMART_READER_LITE
LIVE PREVIEW

Topological order in the color-flavor locked phase of - - PowerPoint PPT Presentation

Topological order in the color-flavor locked phase of (3+1)-dimensional U ( N ) gauge-Higgs system Ryo Yokokura (KEK) 2019. 8. 19 Strings and Fields 2019 @ YITP Based on Y. Hidaka, Y Hirono, M. Nitta, Y. Tanizaki, RY, 1903.06389 v v v


slide-1
SLIDE 1

Topological order in the color-flavor locked phase of (3+1)-dimensional U(N) gauge-Higgs system

Ryo Yokokura (KEK)

  • 2019. 8. 19

Strings and Fields 2019 @ YITP Based on Y. Hidaka, Y Hirono, M. Nitta, Y. Tanizaki, RY, 1903.06389

slide-2
SLIDE 2

Overview of this talk

v v v

= exp 2πik 3k + 1 ∈ Z3k+1

<latexit sha1_base64="hnMbFVtNdRtDXPqv/E2K32Tz5A=">AN5nicnVfNbtNAEJ7yWwqhLVyQuFiUIhCobFIkChJSpQrEASRaWv6aqrKdTWLiOK7tpClueAOHJAQBy6AxAHxAlyBCy/AoY+AOILEhQOz4784pV6DrcTjb2e+nZ2ZnU02zRcj7GtoV279+zdt3/4wMjBQ4XDo2PjR+64rbaj8yW9Zbace5rqctOw+JneCa/ZztcbWomv6s15sT43Q53XKNlLXobNl9pqjXLqBq6iG0OnZOuaKUedcuVx2/VLYNxVAaPX+6cbYU8qGpZQ1zX/QWw2Q1bEJNsXoUrYLxVCYgPC61RrfNw9lqEALdGhDEzhY4KFsgou3stQBAY2YivgI+agZNA4hx6MoG0btThqIg28LuGb8shauG74HTJWsdZTPw4aKnAJPvK3rEf7At7z76x3zty+cQhfNnApxbYcnt19Mmx27+kVk18elBPrDJ9qAKM+Srgb7bhIhV6IF959GLH7cvL0z6p9gb9h39f82GdcgdX5qb+d5wsvkX0SFuB+hl/dVByEnoX4OqFN8tfCfPiI1CD0/w9ehe+dCk7kf0yXIdFuAk3yGeG9wze4tmTcGvI0KYc5mUW9zW8ZcwdjF2L6sPbkd0f0MpmrKnD1E/n69zeAtfxVPO7ISsQlIpz1n6oj56sZTHoJ+i8wHVufo20ENpW9E4NksJtVj4y8syYichdNqxY4WcboKazAFjwlfo0qrIjqBo7KoCR53gMn9T641jORaH5dA2jhe6ct0xJSMybIkOo7XxypQWb0EuyaPzx3EOymfTVqxR5LQqxGiEJtCuTIQq5OG06eRPU8j3B3RPJt9kcjPopFu2tvENmLclMbUgfT+80Ms265OyRtV8da0fEj71FaBt18QDJsrForZGk0VplHtp0PiSySmeg0AsHerBO/nYC59q3M+z9CuhvjhxPYlnNmkvQynMW9RxgrHoLFZxjcle+/tYicZkvXDn2SpoYyKjitWcnmtwJM9MblxLnULWRw06jaBJPZwJf4tIN5k/bcae5qvYwecgdShXhf0WNk+a8d2bcLyW1bCzrw9d7JTIaq+qP9k6zuxftKP5BV7emCO0zlszmyb54y0JvQ4BtFujzDZbEFeGwPWCZod+1pcH+I0roW5yLJZRzax4Fcy9GFm9j9BiMpcI7Wokr80HMRs26OMzjh4yGatv+X6DdRp5s6IwJ/kxMsmi+7g7hUs/2nbgtvlfZBjdZYpswYiJzvk8uUafE5STOejLsI/ZrGfzXFwf8w24U7pani9FRp/sLE7KXw/80wHIcTGOciXIRZPVvwRLO8gw+wEf4VKgXnhaeF14EqruGQpujkLoKr/4AtwXVSw=</latexit>

(for N = 3)

Color-flavor locked phase of a U(N) gauge theory with N-Higgs fields is topologically ordered if the Higgs fields have non-trivial U(1) charge k.

  • Non-Abelian vortex and Wilson loop have a ZNk+1 fractional linking

phase.

  • There are ZNk+1 1- and 2-form symmetries, and both of them are

spontaneously broken.

slide-3
SLIDE 3

1 Introduction 2 Topological order in Abelian Higgs model 3 Topological order in CFL phase of U(N) gauge-Higgs system

slide-4
SLIDE 4

Higgs phase of gauge theories

  • Massive gauge fields
  • Some Nambu–Goldstone (NG) bosons are eaten
  • Admitting extended objects e.g. vortex
  • Vortex in many contexts:
  • magnetic vortex in superconductor (SC),
  • (local) cosmic strings in cosmology

Higgs phases can be further classified by “topological order”

slide-5
SLIDE 5

Topological order [Wen ’89, ’91]

v v v

= exp 2πi k ∈ Zk

<latexit sha1_base64="V16IAtXlGEcYJ1ltcp0RJKnTJrw=">AN3XicnVe9b9NQEL/yWQqhfCxILBalCQUXgISHxISUgViAKktlAJFdnOS2riOK7thIAbNgYQYu3ABIDYmCFmYV/gIE/ATGCxMLAvfNXnDZ+Bj85Pt+7+929u3v3Ys02Ddj7NvEtu07du7aPblnau+wv7pAwcP3XE7XUfnS3rH7Dh3NdXlpmHxJc/wTH7Xdrja1ky+rLXmxPxyjzu0bFue49svtJWm5bRMHTVQ1btwIxyWanyvl1tOH65ahuKoQz81kCpGpZS1T/qDWQilWZHQpm4lSMxAeM13Du5agCrUoQM6dKENHCzwkDZBRdHBUrAwEbeCvjIc5AyaJ7DAKZQt4tSHCVU5Lbwt4lvlZBr4bvAdElbRysm3g5qKjDLvrJ37Cf7wt6z7+zPWCyfMIQvj/CpBbrcrk0/P3Lrt1SrjU8PVhOtTJ89aMAF8tVA323iFXogX7v8cbPW5cWZ/0T7A37gf6/Zt/YZ1yB1fulv13gi68QfRYW4V6GX/1UHISchfyHxG2Tvxbmw0d+EyU42R/Qu/ClT9mJ9CtwHW7DTbhBPjMcF3CI50CrSFCl3KYF1mMazhkyD2MXYfqwxuL7o9IZSM20NMHKJ/P1zkcwlfxlCM7IaqgVMpzlryoj0FM5dGo98i84HWafp1UEIZmhH8bBST6rG1BUoyI0fhtFqxo0WcrsIaFOEJ8deo0hrIncFZWdQEjuC5P4n1hpGcm0IS3C6OF8fynSElMzJsiQ6jeEKriyegl2TR6fe8jvpXw2acUeUKuSRyF0BTKlYG8VZJwhiSy7bTC3RHZWR+KRH4UjWT3ia6EeK6NKYOpPefH/Ky9VZph6T1VrFWdLzlPUoLdaMuHnCydCxa0RptFaZhzadDwmt0hko5AJNh3rwOB8H4VON+3mWfD2UFyeuJ/HMJukKlMO8R0nmIvOYhXmOy1refKNCfrheOt1VHREQVqzlta3QmjyU3riWXuoUsDhp1m4ASe7ge/xcQb7L+24g9zdexA8yA6lGvC3qsbJ91Y70u8fJr1sPOvDl3slMhqr6o/2TLO7F80o/kFXtyxMbJHDqnNtk5Ja0JPY5BtNsjnsxakNfWiHbCzY59M64PcRo3w1xk6TxEfrSPA7qZowu3sfuNRlLwOWqLKvFDz0XM+jnO4ASPh9y0/r9Ev40y/dQZEfibnGCRvewO4lLNDp+6HRwq7YMmrbFKmTGQc2aIrlKmxX2cLB6Puwj9m8avmtLoN8xm4k65WDpbLC+cm7lyMfy+mYSjcAzjXILzcAVP/XlYQivP4AN8hE+FWuFp4UXhZSC6bSLUOQypq7DxFya10nA=</latexit>

Classification of phases by topology of non-local order parameters

  • Order parameters: Wilson loop, vortex surface,...
  • New classification e.g. SC ̸= charge 1 Abelian Higgs

A characterization of the topologically ordered phase

  • 1. Non-zero VEV of non-local order parameters
  • 2. Fractional linking phases between non-local operators

Is topological ordered phase related to symmetry breaking?

slide-6
SLIDE 6

p-form global symmetries & their breaking

[Banks & Seiberg ’10; Kapustin & Seiberg ’14; Gaiotto et al. 14]

= e

2πi k

<latexit sha1_base64="grjEJdc/fPgSKUhc4SVL2jOb0K4=">ANznicnVdLb9NAEB5eBQqB8jgcYloi4qEyiYg8ZCQKiEQB5DaQh+oKZXtbFITx3FtJ7S4hiviD3DgAkgcCj+DC3+Az8BcSwSFw7Mjt8J8Rq8cjyenflmdmZ2NlYtQ3dcxr7t2btv/4GRg4cOjx45Wjp2fOzEyUWn07U1vqB1jI69rCoON3STL7i6a/Bly+ZKWzX4ktq6JeaXetx29I750N2y+GpbaZp6Q9cUF1lrY6dvlvljr9awvWrN0su67V8f21snE0zusqDRCUkxiG8ZjsnRuagBnXogAZdaAMHE1ykDVDAwbECFWBgIW8VPOTZSOk0z8GHUdTtohRHCQW5Lfxt4tKyDXxXWA6pK2hFQNvGzXLMm+sh2y76wT+w7+z0UyM4csWPtVAl1trx1+defBLqtXGpwvriVauzy404Br5qPvFnHEKrRAv/fs9e6DG/OT3n2nv1A/9+xb+wzrsDs/dQ+zPH5N4g+CfPwKMevzUwchJyJ/KfEbZO/JubDQ34TJTjZ9+ld+LJ2Yn0V+AuPIT7cI98Zjiu4RBPX4KtIkKXclgUWYw7OGTIPYxdh+rDHYru9UnlIzbQ0ycoX8zXWziEr+IpR7ZDVEplOc8eVEfkwV0aij3yLzgdZF+rVRopyaEfx8FIPqsfUXlGRGjsJptWJHizjdhg2YhufE36BKayB3HGdlURM4Th+S859YGxjJjRSW4HRxvp7KdISUzMmyJDqOm0IVXFm9BLumiM895PcyPhu0YpcoIdckTpnQypQrHXnrJGnJPLtMLdEdnZTkWiOIpKslvE90IcVsaUxuy+8Lefl67RDsnrWCsa3vIepYa6URcPOHk6Jq01olRaq8xDi86HhFboDBRygaZNPXiYj374VOJ+nidfD+XFietKPLNIegWqYd6ijhPMRWexgmtM9trf56o0J+uFw63VUcdARAWrOWurf6aIJSeuJYe6hSwOKnWbgBJ7uB7/FxBvsv7biD0t1rEDzIDqUa8Leqxsn3VjvS7ximvWw848mDvZqRBVX9R/8uXtWD7pR/KneqzMVA58KAnQvSmtDiGES7PeLJrAV5bfVpJ9z82Dfj+hCncTPMRZ7OU+RH+zigmwW6cBu7X38kBZ+jtqgSL/RcxGyzwBmc4PGQm9X/l+i3UWYzc0YE/iYnWGQv4M4VLPpU7eDQ6F90KQ1igzOnIupegaZVrcE2RxIu4i9G8av2oq/d8wg8Ridbpyebo6d2V85nr4fXMIzsI5jHMFrsIMnvqzsIBWnsFb2IGPpdlSr+SXgSie/eEOqcgc5Ve/gHlR8z9</latexit>

v v v

= e

2πi k

<latexit sha1_base64="grjEJdc/fPgSKUhc4SVL2jOb0K4=">ANznicnVdLb9NAEB5eBQqB8jgcYloi4qEyiYg8ZCQKiEQB5DaQh+oKZXtbFITx3FtJ7S4hiviD3DgAkgcCj+DC3+Az8BcSwSFw7Mjt8J8Rq8cjyenflmdmZ2NlYtQ3dcxr7t2btv/4GRg4cOjx45Wjp2fOzEyUWn07U1vqB1jI69rCoON3STL7i6a/Bly+ZKWzX4ktq6JeaXetx29I750N2y+GpbaZp6Q9cUF1lrY6dvlvljr9awvWrN0su67V8f21snE0zusqDRCUkxiG8ZjsnRuagBnXogAZdaAMHE1ykDVDAwbECFWBgIW8VPOTZSOk0z8GHUdTtohRHCQW5Lfxt4tKyDXxXWA6pK2hFQNvGzXLMm+sh2y76wT+w7+z0UyM4csWPtVAl1trx1+defBLqtXGpwvriVauzy404Br5qPvFnHEKrRAv/fs9e6DG/OT3n2nv1A/9+xb+wzrsDs/dQ+zPH5N4g+CfPwKMevzUwchJyJ/KfEbZO/JubDQ34TJTjZ9+ld+LJ2Yn0V+AuPIT7cI98Zjiu4RBPX4KtIkKXclgUWYw7OGTIPYxdh+rDHYru9UnlIzbQ0ycoX8zXWziEr+IpR7ZDVEplOc8eVEfkwV0aij3yLzgdZF+rVRopyaEfx8FIPqsfUXlGRGjsJptWJHizjdhg2YhufE36BKayB3HGdlURM4Th+S859YGxjJjRSW4HRxvp7KdISUzMmyJDqOm0IVXFm9BLumiM895PcyPhu0YpcoIdckTpnQypQrHXnrJGnJPLtMLdEdnZTkWiOIpKslvE90IcVsaUxuy+8Lefl67RDsnrWCsa3vIepYa6URcPOHk6Jq01olRaq8xDi86HhFboDBRygaZNPXiYj374VOJ+nidfD+XFietKPLNIegWqYd6ijhPMRWexgmtM9trf56o0J+uFw63VUcdARAWrOWurf6aIJSeuJYe6hSwOKnWbgBJ7uB7/FxBvsv7biD0t1rEDzIDqUa8Leqxsn3VjvS7ximvWw848mDvZqRBVX9R/8uXtWD7pR/KneqzMVA58KAnQvSmtDiGES7PeLJrAV5bfVpJ9z82Dfj+hCncTPMRZ7OU+RH+zigmwW6cBu7X38kBZ+jtqgSL/RcxGyzwBmc4PGQm9X/l+i3UWYzc0YE/iYnWGQv4M4VLPpU7eDQ6F90KQ1igzOnIupegaZVrcE2RxIu4i9G8av2oq/d8wg8Ridbpyebo6d2V85nr4fXMIzsI5jHMFrsIMnvqzsIBWnsFb2IGPpdlSr+SXgSie/eEOqcgc5Ve/gHlR8z9</latexit>

v v

Symmetry under transf. of p-dim. extended objects

  • Charged objects: Wilson loop, vortex surface, ...

→ topological order parameters can be charged objects

  • Example: phase rotation of a Wilson loop (1-form sym.)
  • Symmetry breaking: non-zero VEV of charged objects
slide-7
SLIDE 7

Topological order & p-form symmetry

[Banks & Seiberg ’10; Kapustin & Seiberg ’14; Gaiotto et al. 14]

Topologically ordered phase can be characterized by

  • 1. p-form symmetry and their breaking
  • 2. Fractional linking phases between non-local operators

In this talk, we consider the possibility of topologicaly ordered phase in 3 + 1 dim. non-Abelian gauge theories in order to understand phases of non-Abelian gauge theories.

slide-8
SLIDE 8

Topological order in Abelian Higgs model

Review based on Hansson, et al. 04,; Banks & Seiberg ’10; Seiberg & Kapustin ’14; Gaiotto, et al. ’14

slide-9
SLIDE 9

Message

v v v

= exp 2πi k ∈ Zk

<latexit sha1_base64="V16IAtXlGEcYJ1ltcp0RJKnTJrw=">AN3XicnVe9b9NQEL/yWQqhfCxILBalCQUXgISHxISUgViAKktlAJFdnOS2riOK7thIAbNgYQYu3ABIDYmCFmYV/gIE/ATGCxMLAvfNXnDZ+Bj85Pt+7+929u3v3Ys02Ddj7NvEtu07du7aPblnau+wv7pAwcP3XE7XUfnS3rH7Dh3NdXlpmHxJc/wTH7Xdrja1ky+rLXmxPxyjzu0bFue49svtJWm5bRMHTVQ1btwIxyWanyvl1tOH65ahuKoQz81kCpGpZS1T/qDWQilWZHQpm4lSMxAeM13Du5agCrUoQM6dKENHCzwkDZBRdHBUrAwEbeCvjIc5AyaJ7DAKZQt4tSHCVU5Lbwt4lvlZBr4bvAdElbRysm3g5qKjDLvrJ37Cf7wt6z7+zPWCyfMIQvj/CpBbrcrk0/P3Lrt1SrjU8PVhOtTJ89aMAF8tVA323iFXogX7v8cbPW5cWZ/0T7A37gf6/Zt/YZ1yB1fulv13gi68QfRYW4V6GX/1UHISchfyHxG2Tvxbmw0d+EyU42R/Qu/ClT9mJ9CtwHW7DTbhBPjMcF3CI50CrSFCl3KYF1mMazhkyD2MXYfqwxuL7o9IZSM20NMHKJ/P1zkcwlfxlCM7IaqgVMpzlryoj0FM5dGo98i84HWafp1UEIZmhH8bBST6rG1BUoyI0fhtFqxo0WcrsIaFOEJ8deo0hrIncFZWdQEjuC5P4n1hpGcm0IS3C6OF8fynSElMzJsiQ6jeEKriyegl2TR6fe8jvpXw2acUeUKuSRyF0BTKlYG8VZJwhiSy7bTC3RHZWR+KRH4UjWT3ia6EeK6NKYOpPefH/Ky9VZph6T1VrFWdLzlPUoLdaMuHnCydCxa0RptFaZhzadDwmt0hko5AJNh3rwOB8H4VON+3mWfD2UFyeuJ/HMJukKlMO8R0nmIvOYhXmOy1refKNCfrheOt1VHREQVqzlta3QmjyU3riWXuoUsDhp1m4ASe7ge/xcQb7L+24g9zdexA8yA6lGvC3qsbJ91Y70u8fJr1sPOvDl3slMhqr6o/2TLO7F80o/kFXtyxMbJHDqnNtk5Ja0JPY5BtNsjnsxakNfWiHbCzY59M64PcRo3w1xk6TxEfrSPA7qZowu3sfuNRlLwOWqLKvFDz0XM+jnO4ASPh9y0/r9Ev40y/dQZEfibnGCRvewO4lLNDp+6HRwq7YMmrbFKmTGQc2aIrlKmxX2cLB6Puwj9m8avmtLoN8xm4k65WDpbLC+cm7lyMfy+mYSjcAzjXILzcAVP/XlYQivP4AN8hE+FWuFp4UXhZSC6bSLUOQypq7DxFya10nA=</latexit>

Abelian Higgs models can be classified by topological order.

  • Order parameters are non-local: Wilson loop & Vortex surface.
  • Fractional linking phase of extended objects
  • Symmetry breaking: 1- & 2-form symmetries
  • E.g. (s-wave) superconductor ̸= charge 1 Higgs model

In the following, we consider the low energy limit with no local excitations

slide-10
SLIDE 10

BF-theory as a dual of Abelian Higgs model

[Horowitz ’89; Blau & Tompson ’89]

Low energy (≪ v) limit of Abelian Higgs model is given by St¨ uckelberg action

dual

← → BF-action

v2 2

∫ |dχ − kA|2

dual

← → ik 2π ∫ B ∧ dA or

ik 2π

∫ d4xϵmnpqBmn∂pAq

  • k: charge of Higgs field
  • A: U(1) 1-form gauge field
  • NG boson χ

dual

← → 2-form gauge field B

  • B can be coupled with a magnetic vortex

S B (S: worldsheet of vortex)

  • No local excitations in both theories

How about observables and correlation functions in BF-theory?

slide-11
SLIDE 11

Observables and correlation functions in BF-theory

[Horowitz & Srednicki ’89; Oda & Yahikozawa ’89]

Observables: non-local, gauge invariant

C

<latexit sha1_base64="It8RLhDIMOG1LVHYdFKUtq4GY18=">ANwHicnVfNbtNAEJ4WKUQ2sIFiUtEWtRKqGwCEoVTRQXiAFL/W9RWle1sEhPHTmwnTZuGB+DIhUO5gMQB8RhceAEOfQTEsUhcODA7/ovT1muIlXj87cy3szOzs7FaN3THZexoYPDc+QtDF4cvjVy+krk6OjZ+bc2xmrbGVzXLsOwNVXG4oZt81dVdg2/Uba7UVIOvq9V5Mb7e4rajW+aKu1fn2zWlbOolXVNchDY6W5piZOe7O2M5NsPokz0p5H0hB/5nwRofWoQtKIFGjShBhxMcFE2QAEHr03IA4M6YtvQcxGSadxDl0YQdsmanHUBCt4m8ZnzZ91MRnwemQtYazGPi10TILk+w7+8yO2Tf2hf1gf87k6hCH8GUP76pny+s7o29uLP+WtXw7kIlskr02YUSzJKvOvpeJ0SsQvPsW/vjpcfLU12brOP7Cf6/4Edsa+4ArP1S/u0yJcOkX0SluBlgl/tWByEnon4LqE18tfEfHQL6MGp/m79Cx8aVN2AvtNeAYr8AKek8Mr1m8xL0r4VaRoUk5TMsrqd4yZhbGDuL6sM9k73Tp5XMWEJPX6F+Ol/n8RK+iruc2fZhaRQnpP0RX10QymNRH9Fpn3rO7Qr40a2Z4RgSezGFSP1VNYohE5C6fVih0t4vQEGjADrwlvUKWVEM3hqCxqgsfpY3L+k6uBkWz0cAmkiePFnkwHTNGYLEui47g9rAKV1Yu3a9L43EK8FfPZoBW7JAm9MiFZYstSrnTEKqRh92gkz1P1d0cwz0FPJNKzqKQb9zayDRgPpDG1Ib7/Oj6WbFehHRK3q2CtaPiV9yjVtw26uIck2Zi01kBSa0yD+t0PkSyQmeg0PMsberBZ/nY9e9K2M+T9Iu+vjhxXYlndLehIKft6DjeGPBWazgGqO9dvpYgcZkvfDs2YpoYyCjgtUcn6t/JM1MTlhLDnULWRxU6jaeJPZwMfwvIJ5k/bcUepquY3ucntSiXuf1WNk+a4Z2TcLSWxb9znwyd7JTIai+oP8k69uhftSP5BU71TfHVAqb6RPzTEtrQgtjEOz2AJPN5uW12mcdocmxL4f1IU7jsp+LJtdxIN97MnlF24ht2vP5IC52gtqTjey5i1k5xBkd83Efj9v8S/RrqtGNnhOdvdIF8yV3EIdqtvfUtfBSaB+UaY1blBkdkbs98hZlWnwnaMaJsIvQv2l8q8n3v8OcFNYKM/l7M4XF+7m5h/7zTDchFsY5zw8gDk89Rdgld5d3sIhvM8zlQyVqbhqQ4O+DbXIfbJ7P8F+ubHpA=</latexit>

Wilson loop W(C) = ei

R

C A

<latexit sha1_base64="dogdnDs9bfwS/3vnSkPdECz1TzI=">AOHnicnVdPb9RWEB8oUFjYEsoFiYvVJCiRqvB2OfBHQgJFIA6tRAIhVDFE/vPWcdrO7Z3CRjzAfgCHLjQSj0gPgYSQkiop0rwERAXJCqVhyYN/63hA/t7Z2Pf69md+bNzNv3q7uO3YMfZ21+5v9uzd9+3+A62Dh9rfHZ468v2N0BsGBl8xPMcLbupayB3b5SuRHTn8ph9wbaA7fFXvL4rx1REPQtzr0d3fX5roFmu3bMNLUJofcpUdW7ZbmxwN+JB0orVsKes2k7ouYrjeX6itNR6GsGjzt8kLRUtdWaWZ2LVUNzlMVkXjmv8NuxrdputJ6DysVkpqVy18xZ16em2QKjS9kudDJhGrLrqndk3xKoYIHBgxhABxciFB2QIMQ7zXoAMfsVsQIxagZNM4hwRaDtELY4aGqJ9/LbwbS1DXwXnCFZGziLg58ALRWYZX+xp+wje8mesXfs845cMXEIX+7iU09tub9+OGxa39LrQb4jGCjtKr1OYIenCFfbfTdJ0SswkjtR/cefbx2bnk2PsF+Z+/R/9/YW/YcV+COPhl/LPHlx8g+C8vwS41fW5U4CD0X8TuEDshfF/MRI26hBqf5E3oXvmxRdnL7NbgC1+Fn+Il8ZnifwVs8Ewm3jgxDymFTZnFfxlvGPMLYeVQf0Y7s8YRWPWMPf0V9Zv5uoi38FU85cxBxiokjfJcpy/qIymkJhYm+i0yn1r9SN8BaihjIwKvZ3GoHvtfYSlH5CycVit2tIjTJdiEBXhA+CZVWg/RaRyVRU3whBNM4f/k2sRIbo5xCWSI4+ZYpnOmckyWJdFxojFWgcrqJd01TXweIT6q+OzQiOShJ5FiEJsCuXKRmyDNIxjfp5+tnuyOe5PxaJ5iw6Va9LW1zxvSmAZQ3X9xhtXbdAOqdptYK0Y+JH3KD2zbt4itTZuLTWXNJprTIPfTofSlmjM1DopZYB9eCdfEyp1b08zp9M9MXJ24k8cwn7TXoZnLO046lp/FGq6x3GtfH+vSmKwX7jybiTYOMmpYzdW5JkeazBQWtRSt5DFQaduk0piD5vFbwHxJu/vcLTZh075UylEfW6tMfK9tmwsBsS1tzSzDrz9tzJToW8+vL+U68fFPplP5JX7NzEHMNbOa3zTMvrQmjiEG+23NMNlua1/6EdYnWx94q6kOcxlaWizqbO4jn+ziVrQZdeIDdbzKSAudoLaokzjwXMdtqcAaXfDxDq/b/JfoD1NmqnBGpv+UJls9X30FCqtnxU9fDW6N9YNEaVcqMjcjJMVmlTIvPDM04U3QR+jWN/2o6k/9htgs3ugudUwvdpe70hbPZ/5v9cBx+wDh34DRcwFP/KqzgLK/gA/wD/7aftF+0X7f/TFV378psjkLlar/5Apnj68A=</latexit>

Surface of vortex V (S) = ei

R

S B

<latexit sha1_base64="9EKPZ6NAIgBg+4SAU0ZMgY9Uem4=">AOJHicnVdPb9RWEJ8A5c+2W0K5IHGxmqRKpCp9uxwakJAioiIOrUQSEqhiGtnet45Zr+3YXrPguB+AL8CBUyu1UtWP0UsPVSqOHDpHXGkgsSnTf+t94QP4OtXY9/b+b35s3Mm7ere7YVhIw9mzl2/MRHJ0+dPtP6+JP2p2dnz32Hbgj3+Bbhmu7/h1dC7htOXwrtEKb3/F8rg1m9/WB2ti/HbE/cBynVvhA4/fHWqmY/UtQwsR2p29p+rctJzY4E7I/aQVq0Ff2Rz5fc3gitXItcP+ThRWmoUeIjFHT5MWqras1vL8aqodnKZrKkXFX4D7GlWk64m4PKtWS+pXKnl3Pvzs6xZUaXcljoZMIcZNdN9zJdVChBy4YMIhcHAgRNkGDQK8d6ADzE7kKMmI+SReMcEmih7Qi1OGpoiA7w28S3nQx18F1wBmRt4Cw2fny0VGCBPW/sZfsT/Y7e87eHMkVE4fw5QE+9dSWe7tnH13YfC21GuIzhL3SqtbnEPqwQr5a6LtHiFiFkdpHDx+/3LysRB/wX5mL9D/n9gz9geuwIn+M35Z5xtPkH0BNuD7Gr/GlTgIPQfx+4QOyV8H8xEjbqIGp/kTehe+jCk7uf0O3IBb8B18Sz4zvFfwFs9Ewq0jw4hy2JRZ3NfxljFHGDuX6iM8kj2e0qpn7KOn91C/ma9reAtfxVPO7GesQtIoz3X6oj6SQmpi0UO/ReZTqy/p20cNZWJE4PUsNtXj4B0s5YichdNqxY4WcfoG9mEZfiR8nyqtj+gcjsqiJniCKabgA7n2MZL7E1wCGeF4byLTOVM5JsuS6DjhBKtAZfWS7pomPkeIRxWfbVpxSJLQMwlRiE2hXFmI7ZGP6FRP8g2x35PAcTkWjOopNu1dvSNmc8kMbUh+r+izOs3m6PdkjVbg9rxcCPvEfpmW3exVOkzsahteaSTmuVejR+VDKGp2BQi+19KkH+Vjkj21op/X6fcyfXHihLPNLegW6Wt7zjpGP5WazhGsu9u6xLo3JeuHRs/XQxkZGDau5Otf0SJOZgqKWAuoWsjo1G1SezhXvFbQLzJ+m+/8LRZx045UymiXpf2WNk+GxV2I8KaW/ayznw4d7JTIa+vP/U6/uFftmP5BW7ODXHYgObpUPzLElrwihikO/2HJPNluZ1MGVdovWxN4v6EKexmeWizuY+4vk+TmWzQRceYvebjqTAOVqLKokz0XMxg3O4JKPZ2jV/n2iP0SdceWMSP0tT7B8voOElDNTp6Lt4a7QOT1qhSZixEvpqQVcq0+MzTjPNF6Ff0/ivpjP9H+awsN1d7lxa7q5351YvZ/9vTsNF+Bzj3IGvYRVP/ZuwhbP8Da/g7Qy0f23/1f6n/TRVPTaT2ZyHytX+939XdO1N</latexit>

v v v

S

<latexit sha1_base64="U3NR2rynMpSi428nW4XIpg8G7A=">ANwHicnVfNbtNAEJ4WKUQ2sIFiUtEWtRKqGwCEoVTRQXiAFL/W9RWle1sEhPHTmwn/UnDA3DkwqFcQOKAeAwuvACHPgLiWCQuHJgd/8Vp4zXESjz+dub2ZnZ2VitG7rjMnY8MHju/IWhi8OXRi5fyVwdHRu/tuZYTVvjq5plWPaGqjc0E2+6uquwTfqNldqsHX1eq8GF9vcdvRLXPF3a/z7ZpSNvWSrikuQhvtLU0xsudnbEcm2H0yZ4W8r6QA/+zYI0PLcIWFMECDZpQAw4muCgboICD1ybkgUEdsW1oI2ajpNM4hw6MoG0TtThqKIhW8beMT5s+auKz4HTIWsNZDPzaJmFSfadfWYn7Bv7wn6wP3252sQhfNnHu+rZ8vrO6Jsby7+lVjW8u1CJrBJ9dqEs+Srjr7XCRGr0Dz71sG7k+VHS5Pt2+wj+4n+f2DH7CuwGz90j4t8qUjZJ+EJXiZ4NdeLA5Cz0R8l9Aa+WtiPtqIl1GD0/wdeha+7F2AvtNeAYr8AKek8Mr1m8xL0j4VaRoUk5TMsrqd4yZhbGDuL6sPty97u0UpmLKGnr1A/na/zeAlfxV3ObPusQlIoz0n6oj46oZTGoh+i8x7Vnfo10aNbNeIwJNZDKrH6hks0YichdNqxY4WcXoCDZiB14Q3qNJKiOZwVBY1weP0MDn/ydXASDa6uATSxPFiV6YDpmhMliXRcdwuVoHK6sXbNWl8biHeivls0IpdkoRemZAsWUpVzpiFdKwuzS56n6uyOY57ArEulZVNKNexvZBoyH0pjaEN9/bR9LtqvQDonbVbBWNPzKe5Tq2wZd3EOSbExayCptFaZh3U6HyJZoTNQ6HmWNvXgfj52/LsS9vMk/aKvL05cV+JZnbQ3oeDnLeg43lhwFiu4xmivnT1WoDFZL+w/WxFtDGRUsJrjc/WOpJnJCWvJoW4hi4NK3caTxB4uhv8FxJOs/5ZCT9N1bI/Tk1rU67weK9tnzdCuSVh6y6LfmU/nTnYqBNUX9J9kfTvUj/qRvGKneuaYSmEzfWqeaWlNaGEMgt0eYLZvLxWe6wjNDn25bA+xGlc9nORZLOLeLCPbmcogvXsPv1RlLgHK1FlbR9z0XM9lKcwREf9G4/b9Ev4Y6e7EzwvM3OsGC+ZI7iEM123qWngptA/KtMYtyoyOyN0ueYsyLb4TNONE2EXo3zS+1eR732FOC2uFmfy9mcLi/dzcQ/9Zhuwi2Mcx4ewBye+guwSu8ub+EI3mceZyoZK9PwVAcHfJvrEPtkDv4C0FXHtA=</latexit>

at a time slice

<latexit sha1_base64="XOqOMAZQ+KiJT0HEPE0KlFf6Zjo=">ANz3icnVfNbtNAEJ6Wv1IbUFISFws0qJWQmUTDhROlSoQB5D636Kkqmxnk5o4Tmo7aUuaiu8AdOReIAfQwuvACHPgLiWCQuHJgd/8Vp4zXYSjz+dub2ZnZ2URrmIbjMnY8MHju/IWLl4YuD1+5mrk2Mjp2fdWpN2dr+h1s26va6rDTcPiK67hmny9YXO1pl8TavOifG1Frcdo24tu3sNvlFTK5ZRNnTVRWhz9Ga76JQV1VUxTVqXHFMQ+edzdEsm2Z0KaeFnC9kwb/m62MXF6AIJaiDk2oAQcLXJRNUMHBuwA5YNBAbAPaiNkoGTOoQPDaNtELY4aKqJV/K7gW8FHLXwXnA5Z6ziLiR8bLRWYN/Z3bCvrEj9oP96cvVJg7hyx4+Nc+WNzZH3t1a+i21quHTha3IKtFnF8owQ74a6HuDELEK3bNvX5/svR4caJ9l31kP9H/Q3bMvuIKrNYv/dMCX/yA7BOwC8T/NqNxUHoWYjvEFojfy3MRxvxCmpwmr9D78KXcpOYF+AZ7AML+A5+czwnsFbPDsSbg0ZmpTDtMzifoq3jLmFsatTfbh92ds9WsmMZfT0Feqn83UOb+GreMqZbZ9VSCrlOUlf1EcnlNJYlNBvkXnP6h5926ihdI0IPJnFpHqsnsESjchZOK1W7GgRpyewDdNwQPg2VoZ0SyOyqImeJweJuc/ubYxktdXAJp4nipK9MBUzQmy5LoOG4Xq0Bl9eLtmjQ+txBvxXw2acUuSUKvQohCbArlykBsizTsLo3kear+7gjm2e+KRHoWjXTj3ka2AeO+NKY2xPdf28eS7bZoh8TtrBWdPzIe5Tm2wZd3EOSbCxayBptFaZhw06HyJZpTNQ6HmWNvXgfj52/Kca9vMk/ZKvL05cV+JZg7QLkPfzFnQcbyw4i1VcY7TXzh7L05isF/afrYQ2JjKqWM3xuXpH0szkhLXkULeQxUGjbuNJYg+Xwt8C4k3Wf8uhp+k6tsfpS3qdV6Ple2zZmjXJCy9ZcnvzKdzJzsVguoL+k+yvh3qR/1IXrGTPXNMprCZOjXPlLQm9DAGwW4PMNlsXl6rPdYRmhz7Slgf4jSu+LlIstlBPNjHnlxJ0YVr2P16IylwjtaiStq+5yJmuynO4IiP+2jc/l+iX0Od3dgZ4fkbnWDBfMkdxKGa7T5163irtA8qtMYiZcZA5H6XKRMi84zTgedhH6NY3/anK9/2FOC6v56dyD6fxCPjv7yP9/MwS34Q7GOQcPYRZP/XlYoY52CF/gKLOQ2ckcZN54qoMDvs0NiF2Zt38BsDPNEA=</latexit>

Correlation functions are topological: linking number link (C, S) & Zk

  • ⟨W(C)V (S)⟩

= e

2πi k

link (C,S) ⟨W(C)⟩ = e

2πi k

link (C,S) ⟨V (S)⟩

= exp( 2πi

k link (C, S))

  • ⟨W(C)⟩ = ⟨V (S)⟩ = 1

v v v

1- and 2-form symmetries exist, and are broken spontaneously.

slide-12
SLIDE 12

1- & 2-form symmetries [Kapustin & Seiberg ’14; Gaiotto, et al. ’14]

= e

2πi k

<latexit sha1_base64="grjEJdc/fPgSKUhc4SVL2jOb0K4=">ANznicnVdLb9NAEB5eBQqB8jgcYloi4qEyiYg8ZCQKiEQB5DaQh+oKZXtbFITx3FtJ7S4hiviD3DgAkgcCj+DC3+Az8BcSwSFw7Mjt8J8Rq8cjyenflmdmZ2NlYtQ3dcxr7t2btv/4GRg4cOjx45Wjp2fOzEyUWn07U1vqB1jI69rCoON3STL7i6a/Bly+ZKWzX4ktq6JeaXetx29I750N2y+GpbaZp6Q9cUF1lrY6dvlvljr9awvWrN0su67V8f21snE0zusqDRCUkxiG8ZjsnRuagBnXogAZdaAMHE1ykDVDAwbECFWBgIW8VPOTZSOk0z8GHUdTtohRHCQW5Lfxt4tKyDXxXWA6pK2hFQNvGzXLMm+sh2y76wT+w7+z0UyM4csWPtVAl1trx1+defBLqtXGpwvriVauzy404Br5qPvFnHEKrRAv/fs9e6DG/OT3n2nv1A/9+xb+wzrsDs/dQ+zPH5N4g+CfPwKMevzUwchJyJ/KfEbZO/JubDQ34TJTjZ9+ld+LJ2Yn0V+AuPIT7cI98Zjiu4RBPX4KtIkKXclgUWYw7OGTIPYxdh+rDHYru9UnlIzbQ0ycoX8zXWziEr+IpR7ZDVEplOc8eVEfkwV0aij3yLzgdZF+rVRopyaEfx8FIPqsfUXlGRGjsJptWJHizjdhg2YhufE36BKayB3HGdlURM4Th+S859YGxjJjRSW4HRxvp7KdISUzMmyJDqOm0IVXFm9BLumiM895PcyPhu0YpcoIdckTpnQypQrHXnrJGnJPLtMLdEdnZTkWiOIpKslvE90IcVsaUxuy+8Lefl67RDsnrWCsa3vIepYa6URcPOHk6Jq01olRaq8xDi86HhFboDBRygaZNPXiYj374VOJ+nidfD+XFietKPLNIegWqYd6ijhPMRWexgmtM9trf56o0J+uFw63VUcdARAWrOWurf6aIJSeuJYe6hSwOKnWbgBJ7uB7/FxBvsv7biD0t1rEDzIDqUa8Leqxsn3VjvS7ximvWw848mDvZqRBVX9R/8uXtWD7pR/KneqzMVA58KAnQvSmtDiGES7PeLJrAV5bfVpJ9z82Dfj+hCncTPMRZ7OU+RH+zigmwW6cBu7X38kBZ+jtqgSL/RcxGyzwBmc4PGQm9X/l+i3UWYzc0YE/iYnWGQv4M4VLPpU7eDQ6F90KQ1igzOnIupegaZVrcE2RxIu4i9G8av2oq/d8wg8Ridbpyebo6d2V85nr4fXMIzsI5jHMFrsIMnvqzsIBWnsFb2IGPpdlSr+SXgSie/eEOqcgc5Ve/gHlR8z9</latexit>

v v v

= e

2πi k

<latexit sha1_base64="grjEJdc/fPgSKUhc4SVL2jOb0K4=">ANznicnVdLb9NAEB5eBQqB8jgcYloi4qEyiYg8ZCQKiEQB5DaQh+oKZXtbFITx3FtJ7S4hiviD3DgAkgcCj+DC3+Az8BcSwSFw7Mjt8J8Rq8cjyenflmdmZ2NlYtQ3dcxr7t2btv/4GRg4cOjx45Wjp2fOzEyUWn07U1vqB1jI69rCoON3STL7i6a/Bly+ZKWzX4ktq6JeaXetx29I750N2y+GpbaZp6Q9cUF1lrY6dvlvljr9awvWrN0su67V8f21snE0zusqDRCUkxiG8ZjsnRuagBnXogAZdaAMHE1ykDVDAwbECFWBgIW8VPOTZSOk0z8GHUdTtohRHCQW5Lfxt4tKyDXxXWA6pK2hFQNvGzXLMm+sh2y76wT+w7+z0UyM4csWPtVAl1trx1+defBLqtXGpwvriVauzy404Br5qPvFnHEKrRAv/fs9e6DG/OT3n2nv1A/9+xb+wzrsDs/dQ+zPH5N4g+CfPwKMevzUwchJyJ/KfEbZO/JubDQ34TJTjZ9+ld+LJ2Yn0V+AuPIT7cI98Zjiu4RBPX4KtIkKXclgUWYw7OGTIPYxdh+rDHYru9UnlIzbQ0ycoX8zXWziEr+IpR7ZDVEplOc8eVEfkwV0aij3yLzgdZF+rVRopyaEfx8FIPqsfUXlGRGjsJptWJHizjdhg2YhufE36BKayB3HGdlURM4Th+S859YGxjJjRSW4HRxvp7KdISUzMmyJDqOm0IVXFm9BLumiM895PcyPhu0YpcoIdckTpnQypQrHXnrJGnJPLtMLdEdnZTkWiOIpKslvE90IcVsaUxuy+8Lefl67RDsnrWCsa3vIepYa6URcPOHk6Jq01olRaq8xDi86HhFboDBRygaZNPXiYj374VOJ+nidfD+XFietKPLNIegWqYd6ijhPMRWexgmtM9trf56o0J+uFw63VUcdARAWrOWurf6aIJSeuJYe6hSwOKnWbgBJ7uB7/FxBvsv7biD0t1rEDzIDqUa8Leqxsn3VjvS7ximvWw848mDvZqRBVX9R/8uXtWD7pR/KneqzMVA58KAnQvSmtDiGES7PeLJrAV5bfVpJ9z82Dfj+hCncTPMRZ7OU+RH+zigmwW6cBu7X38kBZ+jtqgSL/RcxGyzwBmc4PGQm9X/l+i3UWYzc0YE/iYnWGQv4M4VLPpU7eDQ6F90KQ1igzOnIupegaZVrcE2RxIu4i9G8av2oq/d8wg8Ridbpyebo6d2V85nr4fXMIzsI5jHMFrsIMnvqzsIBWnsFb2IGPpdlSr+SXgSie/eEOqcgc5Ve/gHlR8z9</latexit>

v v

Symmetry under transf. of 1- & 2-dim. objects Group Object Generator Transf. 1-form Zk W(C) V (S) ⟨V (S)W(C)⟩ = e

2πi k ⟨W(C)⟩

2-form Zk V (S) W(C) ⟨W(C)V (S)⟩ = e

2πi k ⟨V (S)⟩

  • Symmetry breaking: ⟨W(C)⟩ ̸= 0, ⟨V (S)⟩ ̸= 0 (at large distance limit)

Notes

  • ordinary symmetry is 0-form symmetry for particles
  • BF -action is invariant under 1- & 2-form transf. (up to 2πZ).
slide-13
SLIDE 13

Topological order in Abelian Higgs model [Hansson et al. ’04]

v v v

= exp 2πi k ∈ Zk

<latexit sha1_base64="V16IAtXlGEcYJ1ltcp0RJKnTJrw=">AN3XicnVe9b9NQEL/yWQqhfCxILBalCQUXgISHxISUgViAKktlAJFdnOS2riOK7thIAbNgYQYu3ABIDYmCFmYV/gIE/ATGCxMLAvfNXnDZ+Bj85Pt+7+929u3v3Ys02Ddj7NvEtu07du7aPblnau+wv7pAwcP3XE7XUfnS3rH7Dh3NdXlpmHxJc/wTH7Xdrja1ky+rLXmxPxyjzu0bFue49svtJWm5bRMHTVQ1btwIxyWanyvl1tOH65ahuKoQz81kCpGpZS1T/qDWQilWZHQpm4lSMxAeM13Du5agCrUoQM6dKENHCzwkDZBRdHBUrAwEbeCvjIc5AyaJ7DAKZQt4tSHCVU5Lbwt4lvlZBr4bvAdElbRysm3g5qKjDLvrJ37Cf7wt6z7+zPWCyfMIQvj/CpBbrcrk0/P3Lrt1SrjU8PVhOtTJ89aMAF8tVA323iFXogX7v8cbPW5cWZ/0T7A37gf6/Zt/YZ1yB1fulv13gi68QfRYW4V6GX/1UHISchfyHxG2Tvxbmw0d+EyU42R/Qu/ClT9mJ9CtwHW7DTbhBPjMcF3CI50CrSFCl3KYF1mMazhkyD2MXYfqwxuL7o9IZSM20NMHKJ/P1zkcwlfxlCM7IaqgVMpzlryoj0FM5dGo98i84HWafp1UEIZmhH8bBST6rG1BUoyI0fhtFqxo0WcrsIaFOEJ8deo0hrIncFZWdQEjuC5P4n1hpGcm0IS3C6OF8fynSElMzJsiQ6jeEKriyegl2TR6fe8jvpXw2acUeUKuSRyF0BTKlYG8VZJwhiSy7bTC3RHZWR+KRH4UjWT3ia6EeK6NKYOpPefH/Ky9VZph6T1VrFWdLzlPUoLdaMuHnCydCxa0RptFaZhzadDwmt0hko5AJNh3rwOB8H4VON+3mWfD2UFyeuJ/HMJukKlMO8R0nmIvOYhXmOy1refKNCfrheOt1VHREQVqzlta3QmjyU3riWXuoUsDhp1m4ASe7ge/xcQb7L+24g9zdexA8yA6lGvC3qsbJ91Y70u8fJr1sPOvDl3slMhqr6o/2TLO7F80o/kFXtyxMbJHDqnNtk5Ja0JPY5BtNsjnsxakNfWiHbCzY59M64PcRo3w1xk6TxEfrSPA7qZowu3sfuNRlLwOWqLKvFDz0XM+jnO4ASPh9y0/r9Ev40y/dQZEfibnGCRvewO4lLNDp+6HRwq7YMmrbFKmTGQc2aIrlKmxX2cLB6Puwj9m8avmtLoN8xm4k65WDpbLC+cm7lyMfy+mYSjcAzjXILzcAVP/XlYQivP4AN8hE+FWuFp4UXhZSC6bSLUOQypq7DxFya10nA=</latexit>
  • 1. Existence of fractional linking phase

⟨W(C)V (S)⟩ = exp ( 2πi

k link (C, S)

)

  • 2. 1- & 2-form symmetries are broken spontaneously.
  • Order parameters = charged objects W(C) & V (S)
  • Non-zero VEVs of order parameters: ⟨W(C)⟩ = ⟨V (S)⟩ = 1

E.g. superconductor (Z2) ̸= charge 1 Higgs system (Z1 = 1)

slide-14
SLIDE 14

Summary of Abelian Higgs model

v v v

= exp 2πi k ∈ Zk

<latexit sha1_base64="V16IAtXlGEcYJ1ltcp0RJKnTJrw=">AN3XicnVe9b9NQEL/yWQqhfCxILBalCQUXgISHxISUgViAKktlAJFdnOS2riOK7thIAbNgYQYu3ABIDYmCFmYV/gIE/ATGCxMLAvfNXnDZ+Bj85Pt+7+929u3v3Ys02Ddj7NvEtu07du7aPblnau+wv7pAwcP3XE7XUfnS3rH7Dh3NdXlpmHxJc/wTH7Xdrja1ky+rLXmxPxyjzu0bFue49svtJWm5bRMHTVQ1btwIxyWanyvl1tOH65ahuKoQz81kCpGpZS1T/qDWQilWZHQpm4lSMxAeM13Du5agCrUoQM6dKENHCzwkDZBRdHBUrAwEbeCvjIc5AyaJ7DAKZQt4tSHCVU5Lbwt4lvlZBr4bvAdElbRysm3g5qKjDLvrJ37Cf7wt6z7+zPWCyfMIQvj/CpBbrcrk0/P3Lrt1SrjU8PVhOtTJ89aMAF8tVA323iFXogX7v8cbPW5cWZ/0T7A37gf6/Zt/YZ1yB1fulv13gi68QfRYW4V6GX/1UHISchfyHxG2Tvxbmw0d+EyU42R/Qu/ClT9mJ9CtwHW7DTbhBPjMcF3CI50CrSFCl3KYF1mMazhkyD2MXYfqwxuL7o9IZSM20NMHKJ/P1zkcwlfxlCM7IaqgVMpzlryoj0FM5dGo98i84HWafp1UEIZmhH8bBST6rG1BUoyI0fhtFqxo0WcrsIaFOEJ8deo0hrIncFZWdQEjuC5P4n1hpGcm0IS3C6OF8fynSElMzJsiQ6jeEKriyegl2TR6fe8jvpXw2acUeUKuSRyF0BTKlYG8VZJwhiSy7bTC3RHZWR+KRH4UjWT3ia6EeK6NKYOpPefH/Ky9VZph6T1VrFWdLzlPUoLdaMuHnCydCxa0RptFaZhzadDwmt0hko5AJNh3rwOB8H4VON+3mWfD2UFyeuJ/HMJukKlMO8R0nmIvOYhXmOy1refKNCfrheOt1VHREQVqzlta3QmjyU3riWXuoUsDhp1m4ASe7ge/xcQb7L+24g9zdexA8yA6lGvC3qsbJ91Y70u8fJr1sPOvDl3slMhqr6o/2TLO7F80o/kFXtyxMbJHDqnNtk5Ja0JPY5BtNsjnsxakNfWiHbCzY59M64PcRo3w1xk6TxEfrSPA7qZowu3sfuNRlLwOWqLKvFDz0XM+jnO4ASPh9y0/r9Ev40y/dQZEfibnGCRvewO4lLNDp+6HRwq7YMmrbFKmTGQc2aIrlKmxX2cLB6Puwj9m8avmtLoN8xm4k65WDpbLC+cm7lyMfy+mYSjcAzjXILzcAVP/XlYQivP4AN8hE+FWuFp4UXhZSC6bSLUOQypq7DxFya10nA=</latexit>

Abelian Higgs models can be classified by topological order.

  • Order parameters are Wilson loop & Vortex surface.
  • Fractional linking phase of extended objects
  • Symmetry breaking: 1- & 2-form symmetries
slide-15
SLIDE 15

Topological order in CFL phase of U(N) gauge-Higgs system

  • Y. Hidaka, Y Hirono, M. Nitta, Y. Tanizaki, RY,

1903.06389

slide-16
SLIDE 16

Topological order in non-Abelian Higgs models?

  • Many symmetry breaking patterns
  • Some of gauge fields are massive, others are not.
  • Some NG boson may not be eaten.

(cf. no topological order in CFL of QCD [Hirono & Tanizaki ’18])

  • Hints from Abelian case:
  • No local excitations in low-energy limit
  • Existence of extended objects

The hints suggest: there may be a topologically ordered phase in a U(N) gauge theory with N-flavor Higgs fields

slide-17
SLIDE 17

U(N) gauge theory with N-flavor Higgs

[Hanany & Tong ’03; Auzzi et al. ’03; Gorsky et al. 04]

Action ∫ 1 2g2

1

tr |F|2 + 1 2g2

2

| tr F|2 + |dΦ − iAΦ − ik tr (A)Φ|2 + V (Φ)

  • Higgs fields: N(color) × N(flavor) matrix Φ = (Φcf)
  • Transf. law Φ → (det Ucol)k Ucol Φ U T

flav Ucol ∈ U(N)col, Uflav ∈ SU(N)flav/(ZN)flav

  • A: U(N) 1-form gauge field

How about Higgs phase?

slide-18
SLIDE 18

Higgs phase with non-Abelian vortex

[Hanany & Tong ’03; Auzzi et al. ’03; Gorsky et al. 04]

  • 1. There is a Higgs phase with no massless excitation

(# of gauge fields = # of Higgs fields)

  • VEV of Higgs can be diagonized ⟨Φ⟩ = v1N×N
  • Color-flavor locked (CFL) phase:

simultaneous color-flavor transf. remains

(cf. QCD case [Alford et al. ’98])

  • 2. CFL phase Admits non-Abelian vortices Φ ∼ diag (eiθ, 1, ..., 1)
  • Fractional (1/N) magnetic flux

We will show that this CFL phase can be a topologically ordered phase.

diag (eiθ, 1, ..., 1) = eiθ/N diag (ei(N−1)θ/N, e−iθ/N, ..., e−iθ/N) ∼ eiθ/N1N×N

slide-19
SLIDE 19

How to see topological order?

Conditions for the topological ordered phase

  • 1. Existence of fractional linking phase,
  • 2. Spontaneously broken 1- and 2-form symmetries

Procedure: similar to the case of Abelian Higgs model

  • 1. Dual theory:

∫ |dΦ − iAΦ − ik tr (A)Φ|2

dual

← →

i 2πKiA

∫ bi ∧ daA

  • 2. Fractional linking phase
  • 3. 1- & 2-form symmetry breaking

In this talk, we consider N = 3 case for simplicity.

slide-20
SLIDE 20

Low energy limit in CFL phase

Action is simplified in Abelian gauge: (cf. [’t Hooft ’81]) St¨ uckelberg action

v2 2

∫ |dφi − KiAaA|2, KiA =  

k + 1 k k k k + 1 k k k k + 1

 

  • Abelian gauge: Φ =

1 √ 2v diag (eiϕ1, eiϕ2, eiϕ3) ∈ U(3)

  • aA: Cartan of U(3) gauge field
  • KiA: matrix of charges (det(KiA) ̸= 0)

|dϕi − KiAaA|2 = |dϕ1 − (k + 1)a1 − ka2 − ka3|2 + |dϕ2 − ka1 − (k + 1)a2 − ka3|2 +|dϕ3 − ka1 − ka2 − (k + 1)a3|2

slide-21
SLIDE 21

Dual BF-type theory

The action i 2π KiA ∫ bi ∧ daA NG boson φi

dual

← → 2-form bi

Deriavtion

  • 1. Original action v2

2

∫ |dφi − KiAaA|2

  • 2. First order action by adding 3-form H3i

1 8π2v2

∫ |H3i|2 +

i 2π

∫ H3i ∧ (dφi − KiAaA)

  • 3. Eliminating φi by EOM: dH3i = 0 → H3i = dbi
  • 4. Take low-energy limit (v → ∞)
slide-22
SLIDE 22

Observables in

i 2πKiA

∫ bi ∧ daA

W(C)

ex

<latexit sha1_base64="9EKPZ6NAIgBg+4SAU0ZMgY9Uem4=">AOJHicnVdPb9RWEJ8A5c+2W0K5IHGxmqRKpCp9uxwakJAioiIOrUQSEqhiGtnet45Zr+3YXrPguB+AL8CBUyu1UtWP0UsPVSqOHDpHXGkgsSnTf+t94QP4OtXY9/b+b35s3Mm7ere7YVhIw9mzl2/MRHJ0+dPtP6+JP2p2dnz32Hbgj3+Bbhmu7/h1dC7htOXwrtEKb3/F8rg1m9/WB2ti/HbE/cBynVvhA4/fHWqmY/UtQwsR2p29p+rctJzY4E7I/aQVq0Ff2Rz5fc3gitXItcP+ThRWmoUeIjFHT5MWqras1vL8aqodnKZrKkXFX4D7GlWk64m4PKtWS+pXKnl3Pvzs6xZUaXcljoZMIcZNdN9zJdVChBy4YMIhcHAgRNkGDQK8d6ADzE7kKMmI+SReMcEmih7Qi1OGpoiA7w28S3nQx18F1wBmRt4Cw2fny0VGCBPW/sZfsT/Y7e87eHMkVE4fw5QE+9dSWe7tnH13YfC21GuIzhL3SqtbnEPqwQr5a6LtHiFiFkdpHDx+/3LysRB/wX5mL9D/n9gz9geuwIn+M35Z5xtPkH0BNuD7Gr/GlTgIPQfx+4QOyV8H8xEjbqIGp/kTehe+jCk7uf0O3IBb8B18Sz4zvFfwFs9Ewq0jw4hy2JRZ3NfxljFHGDuX6iM8kj2e0qpn7KOn91C/ma9reAtfxVPO7GesQtIoz3X6oj6SQmpi0UO/ReZTqy/p20cNZWJE4PUsNtXj4B0s5YichdNqxY4WcfoG9mEZfiR8nyqtj+gcjsqiJniCKabgA7n2MZL7E1wCGeF4byLTOVM5JsuS6DjhBKtAZfWS7pomPkeIRxWfbVpxSJLQMwlRiE2hXFmI7ZGP6FRP8g2x35PAcTkWjOopNu1dvSNmc8kMbUh+r+izOs3m6PdkjVbg9rxcCPvEfpmW3exVOkzsahteaSTmuVejR+VDKGp2BQi+19KkH+Vjkj21op/X6fcyfXHihLPNLegW6Wt7zjpGP5WazhGsu9u6xLo3JeuHRs/XQxkZGDau5Otf0SJOZgqKWAuoWsjo1G1SezhXvFbQLzJ+m+/8LRZx045UymiXpf2WNk+GxV2I8KaW/ayznw4d7JTIa+vP/U6/uFftmP5BW7ODXHYgObpUPzLElrwihikO/2HJPNluZ1MGVdovWxN4v6EKexmeWizuY+4vk+TmWzQRceYvebjqTAOVqLKokz0XMxg3O4JKPZ2jV/n2iP0SdceWMSP0tT7B8voOElDNTp6Lt4a7QOT1qhSZixEvpqQVcq0+MzTjPNF6Ff0/ivpjP9H+awsN1d7lxa7q5351YvZ/9vTsNF+Bzj3IGvYRVP/ZuwhbP8Da/g7Qy0f23/1f6n/TRVPTaT2ZyHytX+939XdO1N</latexit>

v v v

<latexit sha1_base64="U3NR2rynMpSi428nW4XIpg8G7A=">ANwHicnVfNbtNAEJ4WKUQ2sIFiUtEWtRKqGwCEoVTRQXiAFL/W9RWle1sEhPHTmwn/UnDA3DkwqFcQOKAeAwuvACHPgLiWCQuHJgd/8Vp4zXESjz+dub2ZnZ2VitG7rjMnY8MHju/IWhi8OXRi5fyVwdHRu/tuZYTVvjq5plWPaGqjc0E2+6uquwTfqNldqsHX1eq8GF9vcdvRLXPF3a/z7ZpSNvWSrikuQhvtLU0xsudnbEcm2H0yZ4W8r6QA/+zYI0PLcIWFMECDZpQAw4muCgboICD1ybkgUEdsW1oI2ajpNM4hw6MoG0TtThqKIhW8beMT5s+auKz4HTIWsNZDPzaJmFSfadfWYn7Bv7wn6wP3252sQhfNnHu+rZ8vrO6Jsby7+lVjW8u1CJrBJ9dqEs+Srjr7XCRGr0Dz71sG7k+VHS5Pt2+wj+4n+f2DH7CuwGz90j4t8qUjZJ+EJXiZ4NdeLA5Cz0R8l9Aa+WtiPtqIl1GD0/wdeha+7F2AvtNeAYr8AKek8Mr1m8xL0j4VaRoUk5TMsrqd4yZhbGDuL6sPty97u0UpmLKGnr1A/na/zeAlfxV3ObPusQlIoz0n6oj46oZTGoh+i8x7Vnfo10aNbNeIwJNZDKrH6hks0YichdNqxY4WcXoCDZiB14Q3qNJKiOZwVBY1weP0MDn/ydXASDa6uATSxPFiV6YDpmhMliXRcdwuVoHK6sXbNWl8biHeivls0IpdkoRemZAsWUpVzpiFdKwuzS56n6uyOY57ArEulZVNKNexvZBoyH0pjaEN9/bR9LtqvQDonbVbBWNPzKe5Tq2wZd3EOSbExayCptFaZh3U6HyJZoTNQ6HmWNvXgfj52/LsS9vMk/aKvL05cV+JZnbQ3oeDnLeg43lhwFiu4xmivnT1WoDFZL+w/WxFtDGRUsJrjc/WOpJnJCWvJoW4hi4NK3caTxB4uhv8FxJOs/5ZCT9N1bI/Tk1rU67weK9tnzdCuSVh6y6LfmU/nTnYqBNUX9J9kfTvUj/qRvGKneuaYSmEzfWqeaWlNaGEMgt0eYLZvLxWe6wjNDn25bA+xGlc9nORZLOLeLCPbmcogvXsPv1RlLgHK1FlbR9z0XM9lKcwREf9G4/b9Ev4Y6e7EzwvM3OsGC+ZI7iEM123qWngptA/KtMYtyoyOyN0ueYsyLb4TNONE2EXo3zS+1eR732FOC2uFmfy9mcLi/dzcQ/9Zhuwi2Mcx4ewBye+guwSu8ub+EI3mceZyoZK9PwVAcHfJvrEPtkDv4C0FXHtA=</latexit> <latexit sha1_base64="XOqOMAZQ+KiJT0HEPE0KlFf6Zjo=">ANz3icnVfNbtNAEJ6Wv1IbUFISFws0qJWQmUTDhROlSoQB5D636Kkqmxnk5o4Tmo7aUuaiu8AdOReIAfQwuvACHPgLiWCQuHJgd/8Vp4zXYSjz+dub2ZnZ2URrmIbjMnY8MHju/IWLl4YuD1+5mrk2Mjp2fdWpN2dr+h1s26va6rDTcPiK67hmny9YXO1pl8TavOifG1Frcdo24tu3sNvlFTK5ZRNnTVRWhz9Ga76JQV1VUxTVqXHFMQ+edzdEsm2Z0KaeFnC9kwb/m62MXF6AIJaiDk2oAQcLXJRNUMHBuwA5YNBAbAPaiNkoGTOoQPDaNtELY4aKqJV/K7gW8FHLXwXnA5Z6ziLiR8bLRWYN/Z3bCvrEj9oP96cvVJg7hyx4+Nc+WNzZH3t1a+i21quHTha3IKtFnF8owQ74a6HuDELEK3bNvX5/svR4caJ9l31kP9H/Q3bMvuIKrNYv/dMCX/yA7BOwC8T/NqNxUHoWYjvEFojfy3MRxvxCmpwmr9D78KXcpOYF+AZ7AML+A5+czwnsFbPDsSbg0ZmpTDtMzifoq3jLmFsatTfbh92ds9WsmMZfT0Feqn83UOb+GreMqZbZ9VSCrlOUlf1EcnlNJYlNBvkXnP6h5926ihdI0IPJnFpHqsnsESjchZOK1W7GgRpyewDdNwQPg2VoZ0SyOyqImeJweJuc/ubYxktdXAJp4nipK9MBUzQmy5LoOG4Xq0Bl9eLtmjQ+txBvxXw2acUuSUKvQohCbArlykBsizTsLo3kear+7gjm2e+KRHoWjXTj3ka2AeO+NKY2xPdf28eS7bZoh8TtrBWdPzIe5Tm2wZd3EOSbCxayBptFaZhw06HyJZpTNQ6HmWNvXgfj52/Kca9vMk/ZKvL05cV+JZg7QLkPfzFnQcbyw4i1VcY7TXzh7L05isF/afrYQ2JjKqWM3xuXpH0szkhLXkULeQxUGjbuNJYg+Xwt8C4k3Wf8uhp+k6tsfpS3qdV6Ple2zZmjXJCy9ZcnvzKdzJzsVguoL+k+yvh3qR/1IXrGTPXNMprCZOjXPlLQm9DAGwW4PMNlsXl6rPdYRmhz7Slgf4jSu+LlIstlBPNjHnlxJ0YVr2P16IylwjtaiStq+5yJmuynO4IiP+2jc/l+iX0Od3dgZ4fkbnWDBfMkdxKGa7T5163irtA8qtMYiZcZA5H6XKRMi84zTgedhH6NY3/anK9/2FOC6v56dyD6fxCPjv7yP9/MwS34Q7GOQcPYRZP/XlYoY52CF/gKLOQ2ckcZN54qoMDvs0NiF2Zt38BsDPNEA=</latexit>

V (S)

  • Wilson loop: W(C) = 1

N tr Pei ∫

C A = 1

N N

A=1

ei

C aA

  • Vortex surface operator: Vi(S) = ei

S bi

Observables depends on only topology

(No local DOF: daA = 0, dbi = 0 by EOM)

slide-23
SLIDE 23

CFL phase is topologically ordered!

v v v

= exp 2πik 3k + 1 ∈ Z3k+1

<latexit sha1_base64="hnMbFVtNdRtDXPqv/E2K32Tz5A=">AN5nicnVfNbtNAEJ7yWwqhLVyQuFiUIhCobFIkChJSpQrEASRaWv6aqrKdTWLiOK7tpClueAOHJAQBy6AxAHxAlyBCy/AoY+AOILEhQOz4784pV6DrcTjb2e+nZ2ZnU02zRcj7GtoV279+zdt3/4wMjBQ4XDo2PjR+64rbaj8yW9Zbace5rqctOw+JneCa/ZztcbWomv6s15sT43Q53XKNlLXobNl9pqjXLqBq6iG0OnZOuaKUedcuVx2/VLYNxVAaPX+6cbYU8qGpZQ1zX/QWw2Q1bEJNsXoUrYLxVCYgPC61RrfNw9lqEALdGhDEzhY4KFsgou3stQBAY2YivgI+agZNA4hx6MoG0btThqIg28LuGb8shauG74HTJWsdZTPw4aKnAJPvK3rEf7At7z76x3zty+cQhfNnApxbYcnt19Mmx27+kVk18elBPrDJ9qAKM+Srgb7bhIhV6IF959GLH7cvL0z6p9gb9h39f82GdcgdX5qb+d5wsvkX0SFuB+hl/dVByEnoX4OqFN8tfCfPiI1CD0/w9ehe+dCk7kf0yXIdFuAk3yGeG9wze4tmTcGvI0KYc5mUW9zW8ZcwdjF2L6sPbkd0f0MpmrKnD1E/n69zeAtfxVPO7ISsQlIpz1n6oj56sZTHoJ+i8wHVufo20ENpW9E4NksJtVj4y8syYichdNqxY4WcboKazAFjwlfo0qrIjqBo7KoCR53gMn9T641jORaH5dA2jhe6ct0xJSMybIkOo7XxypQWb0EuyaPzx3EOymfTVqxR5LQqxGiEJtCuTIQq5OG06eRPU8j3B3RPJt9kcjPopFu2tvENmLclMbUgfT+80Ms265OyRtV8da0fEj71FaBt18QDJsrForZGk0VplHtp0PiSySmeg0AsHerBO/nYC59q3M+z9CuhvjhxPYlnNmkvQynMW9RxgrHoLFZxjcle+/tYicZkvXDn2SpoYyKjitWcnmtwJM9MblxLnULWRw06jaBJPZwJf4tIN5k/bcae5qvYwecgdShXhf0WNk+a8d2bcLyW1bCzrw9d7JTIaq+qP9k6zuxftKP5BV7emCO0zlszmyb54y0JvQ4BtFujzDZbEFeGwPWCZod+1pcH+I0roW5yLJZRzax4Fcy9GFm9j9BiMpcI7Wokr80HMRs26OMzjh4yGatv+X6DdRp5s6IwJ/kxMsmi+7g7hUs/2nbgtvlfZBjdZYpswYiJzvk8uUafE5STOejLsI/ZrGfzXFwf8w24U7pani9FRp/sLE7KXw/80wHIcTGOciXIRZPVvwRLO8gw+wEf4VKgXnhaeF14EqruGQpujkLoKr/4AtwXVSw=</latexit>
  • 1. Z3k+1 fractional phase in correlation function

⟨W(C)Vi(S)⟩ = exp ( 2πik 3k + 1 link (C, S) )

  • 2. Z3k+1 1- & 2-form symmetries & breaking
  • ⟨W(C)Vi(S)⟩ = exp

(

2πik 3k+1 link (C, S)

) ⟨W(C)⟩

  • ⟨W(C)Vi(S)⟩ = exp

(

2πik 3k+1 link (C, S)

) ⟨V (S)⟩

  • Non-zero VEVs ⟨W(C)⟩ = ⟨Vi(S)⟩ = 1
slide-24
SLIDE 24

Some comments

v v v

= exp 2πik 3k + 1 ∈ Z3k+1

<latexit sha1_base64="hnMbFVtNdRtDXPqv/E2K32Tz5A=">AN5nicnVfNbtNAEJ7yWwqhLVyQuFiUIhCobFIkChJSpQrEASRaWv6aqrKdTWLiOK7tpClueAOHJAQBy6AxAHxAlyBCy/AoY+AOILEhQOz4784pV6DrcTjb2e+nZ2ZnU02zRcj7GtoV279+zdt3/4wMjBQ4XDo2PjR+64rbaj8yW9Zbace5rqctOw+JneCa/ZztcbWomv6s15sT43Q53XKNlLXobNl9pqjXLqBq6iG0OnZOuaKUedcuVx2/VLYNxVAaPX+6cbYU8qGpZQ1zX/QWw2Q1bEJNsXoUrYLxVCYgPC61RrfNw9lqEALdGhDEzhY4KFsgou3stQBAY2YivgI+agZNA4hx6MoG0btThqIg28LuGb8shauG74HTJWsdZTPw4aKnAJPvK3rEf7At7z76x3zty+cQhfNnApxbYcnt19Mmx27+kVk18elBPrDJ9qAKM+Srgb7bhIhV6IF959GLH7cvL0z6p9gb9h39f82GdcgdX5qb+d5wsvkX0SFuB+hl/dVByEnoX4OqFN8tfCfPiI1CD0/w9ehe+dCk7kf0yXIdFuAk3yGeG9wze4tmTcGvI0KYc5mUW9zW8ZcwdjF2L6sPbkd0f0MpmrKnD1E/n69zeAtfxVPO7ISsQlIpz1n6oj56sZTHoJ+i8wHVufo20ENpW9E4NksJtVj4y8syYichdNqxY4WcboKazAFjwlfo0qrIjqBo7KoCR53gMn9T641jORaH5dA2jhe6ct0xJSMybIkOo7XxypQWb0EuyaPzx3EOymfTVqxR5LQqxGiEJtCuTIQq5OG06eRPU8j3B3RPJt9kcjPopFu2tvENmLclMbUgfT+80Ms265OyRtV8da0fEj71FaBt18QDJsrForZGk0VplHtp0PiSySmeg0AsHerBO/nYC59q3M+z9CuhvjhxPYlnNmkvQynMW9RxgrHoLFZxjcle+/tYicZkvXDn2SpoYyKjitWcnmtwJM9MblxLnULWRw06jaBJPZwJf4tIN5k/bcae5qvYwecgdShXhf0WNk+a8d2bcLyW1bCzrw9d7JTIaq+qP9k6zuxftKP5BV7emCO0zlszmyb54y0JvQ4BtFujzDZbEFeGwPWCZod+1pcH+I0roW5yLJZRzax4Fcy9GFm9j9BiMpcI7Wokr80HMRs26OMzjh4yGatv+X6DdRp5s6IwJ/kxMsmi+7g7hUs/2nbgtvlfZBjdZYpswYiJzvk8uUafE5STOejLsI/ZrGfzXFwf8w24U7pani9FRp/sLE7KXw/80wHIcTGOciXIRZPVvwRLO8gw+wEf4VKgXnhaeF14EqruGQpujkLoKr/4AtwXVSw=</latexit>
  • U(1) charge k in Φ → (det Ucol)k Ucol Φ U T

flav is important for the

existence of topological order.

  • Non-Abelian vortices in the previous research [Gorsky, et al. 04]: k = 0

case (Z1). No nontrivial topological order.

  • Possible fractional phase is restricted by color N:

e.g. Z4, Z7, Z11, ... are allowed for N = 3 case.

slide-25
SLIDE 25

Summary

CFL phase of a U(N) gauge theory with N-Higgs fields is topologically

  • rdered if the Higgs fields have non-trivial U(1) charge k.
  • Non-Abelian vortex and Wilson loop has ZNk+1 fractional linking

phase.

  • There are ZNk+1 1- and 2-form symmetries, and both of them are

spontaneously broken. Future work: more general gauge group, numerical solutions of charge k non-Abelian vortex, adding θ-term,...

slide-26
SLIDE 26

Appendix

slide-27
SLIDE 27

Derivation of correlation function in BF-theory I

We begin with the following correlation function [Chen, et al. ’15] ⟨W(C)V (S)⟩ = N ∫ DADBe

ik 2π

∫ B∧dA+i ∫ A∧J3(C)+i ∫ B∧J2(S)

where J3(C) and J2(S) are delta function forms. They can be rewritten as J3(C) = J3(∂S(C)) = dJ2(S(C)), J2(S) = J2(∂V(S)) = −dJ1(V(S)), where S(C) and V(S) are boundaries of C and S: ∂S(C) = C, ∂V(S) = S

slide-28
SLIDE 28

Derivation of correlation function in BF-theory II

By the redefinition A → A + 2π

k J1(V(S)), we obtain

⟨V (S)W(C)⟩ = N ∫ DADB e

ik 2π

∫ B∧d(A− 2π

k J1(V(S)))+i

∫ A∧J3(C)

= N ∫ DADB e

ik 2π

∫ B∧dA+i ∫ A∧J3(C)+ 2πi

k

∫ J1(V(S))∧J3(C)

= e− 2πi

k

link (C,S) ⟨W(C)⟩ .

By the redefinition B → B − 2π

k J2(S(C)), we also obtain

⟨V (S)W(C)⟩ = N ∫ DADB e

ik 2π

∫ (B+ 2π

k J2(S(C)))∧dA+i

∫ B∧J2(S)

= N ∫ DADB e

ik 2π

∫ B∧dA+i ∫ B∧J2(S)− 2πi

k

∫ J2(S(C))∧J2(S)

= e− 2πi

k

link (C,S) ⟨V (S)⟩

slide-29
SLIDE 29

Derivation of correlation function in BF-theory III

We can similarly show ⟨V (S)⟩ = 1 and ⟨W(C)⟩ = 1 as follows: ⟨V (S)⟩ =N ∫ DADB e

ik 2π

∫ B∧d(A− 2π

k J1(V(S)))

=N ∫ DADB e

ik 2π

∫ B∧dA = 1,

and ⟨W(C)⟩ =N ∫ DADBe

ik 2π

∫ (B+ 2π

k J2(S(C)))∧dA

=N ∫ DADBe

ik 2π

∫ B∧dA = 1.

By using there relations, we also obtain ⟨W(C)V (S)⟩ = e− 2πi

k

link (C,S).