Geometric approach for 3d interfaces at strong coupling Based on: - - PowerPoint PPT Presentation

geometric approach for 3d interfaces at strong coupling
SMART_READER_LITE
LIVE PREVIEW

Geometric approach for 3d interfaces at strong coupling Based on: - - PowerPoint PPT Presentation

Geometric approach for 3d interfaces at strong coupling Based on: 2005.05983 with J.J. Heckman, T. B. Rochais, E. Torres String Pheno Seminar - July 7, 2020 Markus Dierigl <latexit


slide-1
SLIDE 1

Geometric approach for 3d interfaces at strong coupling

Based on: 2005.05983 with J.J. Heckman, T. B. Rochais, E. Torres String Pheno Seminar - July 7, 2020 Markus Dierigl

slide-2
SLIDE 2

Outline

  • Non-dynamical example: Topological insulator
  • The fundamental domain of Maxwell theory and its T-invariant subspace
  • Generalization to other duality groups
  • A six-dimensional interpretation
  • Other construction of interfaces in four dimensions
  • Conclusions and Outlook

Γ ⊂ SL(2, Z)

<latexit sha1_base64="1wtfwR5PwcVzZNWfZ2Sq0H1BsWY=">ACEHicbVA9SwNBEN2LXzF+RS1tFoOoIOEuCGonWKhgEdGomAthbzMxS3bvjt05MRwB/4CNf8XGQhFbSzv/jZuPQo0PBh7vzTAzL4ilMOi6X05mbHxicio7nZuZnZtfyC8uXZgo0RwqPJKRvgqYASlCqKBACVexBqYCZdB+6DnX96CNiIKz7ETQ02xm1A0BWdopXp+3T9kSjHqmyQwgNRHuMP07KS7UdqivmLYCoL0urtZzxfcotsHSXekBTIEOV6/tNvRDxRECKXzJiq58ZYS5lGwSV0c35iIGa8zW6gamnIFJha2n+oS9es0qDNSNsKkfbVnxMpU8Z0VGA7eyeav15P/M+rJtjcraUijBOEkA8WNRNJMaK9dGhDaOAoO5YwroW9lfIW04yjzTBnQ/D+vjxKLkpFb7u4d7pd2D+H8SRJStklWwQj+yQfXJEyqRCOHkgT+SFvDqPzrPz5rwPWjPOMJl8gvOxze8BpzY</latexit>
slide-3
SLIDE 3

Topological insulator

System with unbroken global U(1) and time-reversal symmetry. Couple U(1) to background gauge field with local term Breaks time-reversal invariance unless A

<latexit sha1_base64="6onpVS6bq4P7a0AxN+mSK0pra8Q=">AB6HicbVA9SwNBEJ2LXzF+RS1tFoNgFe5EULuIjWCTgPmA5Ah7m7lkzd7esbsnhCNgb2OhiK0/yc5/4+aj0MQHA4/3ZpiZFySCa+O6305uZXVtfSO/Wdja3tndK+4fNHScKoZ1FotYtQKqUXCJdcONwFaikEaBwGYwvJn4zUdUmsfy3owS9CPalzkjBor1a67xZJbdqcgy8SbkxLMUe0Wvzq9mKURSsME1brtuYnxM6oMZwLHhU6qMaFsSPvYtlTSCLWfTQ8dkxOr9EgYK1vSkKn6eyKjkdajKLCdETUDvehNxP+8dmrCSz/jMkNSjZbFKaCmJhMviY9rpAZMbKEMsXtrYQNqKLM2GwKNgRv8eVl0jgre+flq9p5qXL3NIsjD0dwDKfgwQVU4BaqUAcGCM/wCm/Og/PivDsfs9acM4/wEP7A+fwBv3KNWg=</latexit>

θ ∈ {0, π} mod 2π

<latexit sha1_base64="wCIdgcR682YCgE0aL8WB61f6Xxc=">ACIXicbVDLSgMxFM34rPVdekmWAQXUmakYN0V3AhuKtgqNKVk0lsbzGSG5I5YhoJf4sZfceNCke7EnzF9LT1QOBwzslN7gkTJS36/pe3sLi0vLKaW8uvb2xubRd2dhs2To2AuohVbG5DbkFJDXWUqOA2McCjUMFNeH8+8m8ewFgZ62vsJ9CK+J2WXSk4OqldqDsAXLKpKYs848pSyQbUAbaJlwAZQiPmEVx5d2Mgq1C0W/5I9B50kwJUyRa1dGLJOLNINArFrW0GfoKtjBuUQsEgz1ILbvw9v4Omo5pHYFvZeMBPXRKh3Zj45GOlZ/38h4ZG0/Cl0y4tizs95I/M9rptitDKpkxRBi8lD3VRjOmoLtqRBgSqviNcGOn+SkWPGy7QlZp3JQSzK8+TxkpKJfOrsrF6uXTpI4c2ScH5IgE5JRUyQWpkToR5Jm8knfy4b14b96nN5xEF7xphXvkD7zvH3YGo4w=</latexit>

trivial phase topological insulator phase

[Kane, Mele ’05,’06], [Bernevig, Hughes, Zhang ’06], [Moore, Balents, ’06], …

θ 8π2 F ∧ F

<latexit sha1_base64="Kr4epEKbNWoHvKdAs7kyl3An5cw=">ACnicbZBLSwMxFIUzPmt9jbp0Ey2CqzJTCupOEIrgRsHaQqeWTHqnDc08SO4oZSi4c+NfceNCEbf+Anf+G9PHQlsPBA7n3JDcz0+k0Og439bc/MLi0nJuJb+6tr6xaW9t3+g4VRyqPJaxqvtMgxQRVFGghHqigIW+hJrfOxv2tTtQWsTRNfYTaIasE4lAcIYmatl7XqAYzsArJBdky9RNyWBrRCvXtod4BWnbBKToj0VnjTkyBTHTZsr+8dszTECLkmndcJ0EmxlTKLiEQd5LNSM91gHGsZGLATdzEarDOiBSdo0iJU5EdJR+vtGxkKt+6FvJkOGXT3dDcP/ukaKwXEzE1GSIkR8/FCQSoxHXKhbaGAo+wbw7gS5q+Ud5lhg4Ze3kBwp1eNTelolsunlyVC6cXD2McObJL9skhckROSXn5JUCSeP5Jm8kjfryXqx3q2P8eicNUG4Q/7I+vwBIN2aVQ=</latexit>
slide-4
SLIDE 4

Constructing an interface

x3

<latexit sha1_base64="OwWs2KkMn/ipLUupJ5HldxshJs=">AB6nicbVDLSgNBEOyNrxhfUY9eBoPgKexqQL0FvAheIpoHJEuYncwmQ2Znl5leMSwBf8CLB0W8+kXe/Bsnj4NGCxqKqm6u4JECoOu+XklpZXVtfy64WNza3tneLuXsPEqWa8zmIZ61ZADZdC8ToKlLyVaE6jQPJmMLyc+M17ro2I1R2OEu5HtK9EKBhFK90+dE+7xZJbdqcgf4k3JyWYo9YtfnZ6MUsjrpBJakzbcxP0M6pRMnHhU5qeELZkPZ521JFI278bHrqmBxZpUfCWNtSKbqz4mMRsaMosB2RhQHZtGbiP957RTDcz8TKkmRKzZbFKaSYEwmf5Oe0JyhHFlCmRb2VsIGVFOGNp2CDcFbfPkvaZyUvUr54qZSql4/zuLIwEcwjF4cAZVuIa1IFBH57gBV4d6Tw7b87rDXnzCPch19wPr4BO02ONw=</latexit>

θ = 0

<latexit sha1_base64="NgeB9xmEe8slVR2w6uYodpFLvnI=">AB8XicbVDLSgNBEJyNrxhfUY9eBoPgKexKQD0IAS+ClwjmgckSZie9yZDZ2WmVwhLwI/w4kERr/6N/GyeOgiQUNRVU3V1BIoVB1/12ciura+sb+c3C1vbO7l5x/6Bh4lRzqPNYxroVMANSKijQAmtRAOLAgnNYHg98ZuPoI2I1T2OEvAj1lciFJyhlR46OABk9Iq63WLJLbtT0GXizUmJzFHrFr86vZinESjkhnT9twE/YxpFzCuNBJDSMD1kf2pYqFoHxs+nFY3pilR4NY21LIZ2qvycyFhkzigLbGTEcmEVvIv7ntVML/xMqCRFUHy2KEwlxZhO3qc9oYGjHFnCuBb2VsoHTDONqSCDcFbfHmZNM7KXqV8eVcpVW+fZnHkyRE5JqfEI+ekSm5IjdQJ4o8k1fy5hjnxXl3PmatOWce4SH5A+fzB3VkJI=</latexit>

θ = π

<latexit sha1_base64="rbksVT0LT/12jrXwQ0465Abhjmc=">AB83icbZBLSwMxFIUz9VXrq+rSTbAIrsqMCOpCKLgR3FSwD+gMJZPeaUMzMyG5I5Sh4K9w40IRt/4Zd/4b08dCWw8EPs65ITcnVFIYdN1vp7Cyura+UdwsbW3v7O6V9w+aJs0hwZPZarbITMgRQINFCihrTSwOJTQCoc3k7z1CNqINHnAkYIgZv1ERIztJbv4wCQ0WvqK9EtV9yqOxVdBm8OFTJXvVv+8nspz2JIkEtmTMdzFQY50yi4hHJzwoxoesDx2LCYvBPl05zE9sU6PRqm2J0E6dX/fyFlszCgO7WTMcGAWs4n5X9bJMLoMcpGoDCHhs4eiTFJM6aQA2hMaOMqRBca1sLtSPmCacbQ1lWwJ3uKXl6F5VvXOq1f35Xa3dOsjiI5IsfklHjkgtTILamTBuFEkWfySt6czHlx3p2P2WjBmVd4SP7I+fwBUgqRqw=</latexit>

Induces a Chern-Simons term: 1 8π A ∧ F

<latexit sha1_base64="FUCe/0udYATUgB6qdpD2vPS0ai8=">ACA3icbZBLSwMxFIUzPmt9jbrTbAIrsqMFKy7iCmwr2AZ2hZDJ32tDMgySjlGgG/+KGxeKuPVPuPfmD4W2nogcDjnhuR+XsKZVJb1bSwtr6yurRc2iptb2zu75t5+U8apoNCgMY9F2yMSOIugoZji0E4EkNDj0PIGV+O+9QBCsji6V8ME3JD0IhYwSpSOuahEwhCMzvPqthJWI4vsfMIfg/wdcsWVrIrxo7JkpoZnqXfPL8WOahApyomUHdtKlJsRoRjlkBedVEJC6ID0oKNtREKQbjbZIcnOvFxEAt9IoUn6e8bGQmlHIaengyJ6sv5bhz+13VSFVTdjEVJqiCi04eClGMV4zEQ7DMBVPGhNoQKpv+KaZ9oKEpjK2oI9vzKi6Z5VrYr5Yu7Sql2O5riKAjdIxOkY3OUQ3doDpqIpG6Bm9ojfjyXgx3o2P6eiSMUN4gP7I+PwBfEuXOQ=</latexit>

breaks time-reversal invariance (half-integer level) To restore it, one needs to add fields on the interface

  • charged 3d Dirac fermion
  • topological field theory (gapped phases) e.g. [Seiberg, Witten ‘16]
slide-5
SLIDE 5

What if U(1) is dynamical?

L = 1 2g2 F ∧ ∗F + θ 8π2 F ∧ F

<latexit sha1_base64="Wt/6s+dvYR3lbDqdwPc5KcRLu9I=">ACOnicbVDLSiNBFK12HI1xRqMu3RQGQRgI3UFQF4IghAFdKBgV0jHcrtxOCqsfVN1WQtPgX81mvsKdCzcuFHrB1h5LHwdKDh17rlUnROkShpy3Ttn6sf0z5nZ0lx5/tfvhcXK0vKpSTItsCkSlejzAwqGWOTJCk8TzVCFCg8Cy73h/OzK9RGJvEJDVJsR9CLZSgFkJU6lWM/AuoLUPlhwXe5H2oQuVfkd67qBe8wf1r7PaQ+2DI3v5MHD71kaDIt7mfyg/GRqdSdWvuCPwr8SakyiY46lRu/W4isghjEgqMaXluSu0cNEmhsCj7mcEUxCX0sGVpDBGadj6KXvB1q3R5mGh7YuIj9f1GDpExgyiwzmFQ83k2FL+btTIKt9u5jNOMBbjh8JMcUr4sEfelRoFqYElILS0f+WiD7Ybsm2XbQne58hfyWm95m3Wdo43q3sHN+M6SmyVrbEN5rEtsf+siPWZIL9Y/fskT05/50H59l5GVunEmFK+wDnNc3y8KsEQ=</latexit>

Has SL(2,Z) duality [Montonen, Olive ’77], [Witten ’95] τ → aτ + b cτ + d , ✓ qe qm ◆ → ✓a b c d ◆ ✓ qe qm ◆

<latexit sha1_base64="NyKtr3IYrXcbdGHp/cU5Cld62Zo=">ACrHicjVFNa9wEJWdtE23X9v02MuQpaWlYbFLoO0t0Eugh6SQTbaszDKWx7sisuxIctLFGPrf8g967+J9qO02eSQAaHvHma0Zu0UtK6KPoThBubDx4+2nrcefL02fMX3ZfbJ7asjaCBKFVphilaUlLTwEmnaFgZwiJVdJqefZ3zpxdkrCz1sZtVlBQ40TKXAp1PjbtX3GEN3MjJ1KEx5SXw3KBoEBbEB0jbRvzFWQt8dxf4eY0Z8JQmUjdVgc7Iny2cjwk491cBnHT2j7jx+JoI4S2kc5nwIFsX3rPDuNuL+tEi4DaIV6DHVnE07v7mWSnqgrQTCq0dxVHlkgaNk0JR2+G1pQrFGU5o5KHGgmzSLMxu4Y3PZJCXxh/tYJH9X9FgYe2sSH2ln29q17l58i5uVLv8c9JIXdWOtFg2ymsFroT5iCThoRTMw9QGOlnBTFvyzn9vxJsTrX74NTj72473+l+97vf1v5Z2bLHXbIe9YzH7xPbZATtiAyaC98FhMAx+hP3wOByFybI0DFYWvmI3IsyvAblA0xI=</latexit>

with complexified coupling: τ = 4πi g2 + θ 2π

<latexit sha1_base64="MLTnbLpj0im+l0p8OhPpnUoUK+E=">ACGnicbZBLSwMxFIUz9VXra9Slm2ARBKHMlIK6EApuBDcV7AM6tWTSTBuaeZDcEcow4L9w419x40IRd+LGf2OmnYW2HgczrkhuZ8bCa7Asr6NwtLyupacb20sbm1vWPu7rVUGEvKmjQUoey4RDHBA9YEDoJ1IsmI7wrWdseXWd+Z1LxMLiFScR6PhkG3OUgI76pu0AifEFdjxJaFLDTsQxT5PhXTXFJ3nqwIgBSZNq1qZ9s2xVrKnworFzU0a5Gn3z0xmENPZAFQpbq2FUEvIRI4FSwtObFiEaFjMmRdbQPiM9VLpqul+EgnA+yFUp8A8DT9fSMhvlIT39WTPoGRmu+y8L+uG4N31kt4EMXAjp7yIsFhBnPCAS0ZBTLQhVHL9V0xHROMATbOkIdjzKy+aVrVi1yrnN7Vy/fphqOIDtAhOkY2OkV1dIUaqIkoekTP6BW9GU/Gi/FufMxGC0aOcB/9kfH1A7fxoIo=</latexit>

Time-reversal acts as: θ → −θ , τ → −τ

<latexit sha1_base64="iVjr5ALdBCquXhM9lh1kEfpvhpU=">ACMXicbVBNSwMxFMz6bf2qevQSLIKHWnZFUG+CF8FLBdsK3VLepmkbmt2syVulLAV/kRf/iXjpQRGv/gmzbQWtDgSGmUle3gSxFAZd+jMzM7NLywuLedWVtfWN/KbW1WjEs14hSmp9E0AhksR8QoKlPwm1hzCQPJa0DvP/Nod10ao6Br7MW+E0IlEWzBAKzXzFz52OQL1teh0EbRW9/SAfovFIvVvE2hZAZLpjLvZmPTzBw08wW35I5A/xJvQgpkgnIz/+y3FEtCHiGTYEzdc2NspKBRMkHOT8xPAbWgw6vWxpByE0jHW08oHtWadG20vZESEfqzxsphMb0w8AmQ8CumfYy8T+vnmD7pJGKE6QR2w8qJ1Iiopm9dGW0Jyh7FsCTAv7V8q6oIGhLTlnS/CmV/5Lqocl76h0enVUOLt8GNexRHbILtknHjkmZ+SClEmFMPJIXsgreXOenKHz7nyMozPOpMJt8gvO5xfIdKp3</latexit>

anti-holomorphic involution

slide-6
SLIDE 6

Time-reversal revisited

Why is time-reversal invariant? θ = π

<latexit sha1_base64="rbksVT0LT/12jrXwQ0465Abhjmc=">AB83icbZBLSwMxFIUz9VXrq+rSTbAIrsqMCOpCKLgR3FSwD+gMJZPeaUMzMyG5I5Sh4K9w40IRt/4Zd/4b08dCWw8EPs65ITcnVFIYdN1vp7Cyura+UdwsbW3v7O6V9w+aJs0hwZPZarbITMgRQINFCihrTSwOJTQCoc3k7z1CNqINHnAkYIgZv1ERIztJbv4wCQ0WvqK9EtV9yqOxVdBm8OFTJXvVv+8nspz2JIkEtmTMdzFQY50yi4hHJzwoxoesDx2LCYvBPl05zE9sU6PRqm2J0E6dX/fyFlszCgO7WTMcGAWs4n5X9bJMLoMcpGoDCHhs4eiTFJM6aQA2hMaOMqRBca1sLtSPmCacbQ1lWwJ3uKXl6F5VvXOq1f35Xa3dOsjiI5IsfklHjkgtTILamTBuFEkWfySt6czHlx3p2P2WjBmVd4SP7I+fwBUgqRqw=</latexit>

θ = π → −π ∼ −π + 2π = π

<latexit sha1_base64="+8eIxvNjMSfc4rkE+hkaopB+dLE=">ACIHicbVDLSgMxFM3UV62vqks3wSIYpkphepCKLgR3FSwD+iUkzndBkZkjuKU/BE3/obF4roTr/GdNqFth4IOZxzLsk9Xiy4Btv+sjJLyura9n13Mbm1vZOfnevoaNEUVankYhUyOaCR6yOnAQrBUrRqQnWNMbXE785h1TmkfhLQxj1pGkH3KfUwJG6uYrLgQMCL7Absyxq3g/AKJUdI9Pp4rmckZPcCm902g3X7CLdgq8SJwZKaAZat38p9uLaCJZCFQrduOHUNnRBRwKtg45yaxYQOSJ+1DQ2JZLozShc4yOj9LAfKXNCwKn6e2JEpNZD6ZmkJBDoeW8i/ue1E/DPOiMexgmwkE4f8hOBIcKTtnCPK0ZBDA0hVHzV0wDogF02nOlODMr7xIGqWiUy6e35QL1euHaR1ZdIAO0TFyUAV0RWqoTqi6BE9o1f0Zj1ZL9a79TGNZqxZhfvoD6zvH0tAoPw=</latexit>

using T generator of SL(2,Z) What if one uses S generator instead? τ → −1 τ = − τ |τ|2

<latexit sha1_base64="Nb1DCNCkd6TFWztbH/6VTbye+E=">ACL3icbVBdS8MwFE39nPOr6qMvwSH4mhloD4IgiCLxPcFNY50izdgmlTkltl1I/yBf/yl5EFPHVf2G6DvHrQMjhnHtzc48fC67BcZ6ticmp6ZnZ0lx5fmFxadleW1qmSjKGlQKqS59opngEWsAB8EuY8VI6At24V8f5f7FDVOay+gcBjFrh6QX8YBTAkbq2McekAR7ivf6QJSt3gbe4EiNHWzNPcyfPAledI8lU8qnCy9y+7q52sY1ecqjMC/kvcMamgMeode+h1JU1CFgEVROuW68TQTokCTgXLyl6iWUzoNemxlqERCZlup6N9M7xplC4OpDInAjxSv3ekJNR6EPqmMiTQ17+9XPzPayUQ7LVTHsUJsIgWg4JEYJA4Dw93uWIUxMAQhU3f8W0T0w0YCIumxDc3yv/Jc2dqlur7p/VKoen90UcJbSONtAWctEuOkQnqI4aiKIHNEQv6NV6tJ6sN+u9KJ2wxhGuoR+wPj4BD3Sq0Q=</latexit>

acts as time-reversal for |τ| = 1

<latexit sha1_base64="kINSjEIzHpjXVt/4yck/lyhx6HI=">AB8nicbVDLSgNBEOyNrxhfUY9eBoPgKeyKoB6EgBfBSwTzgGQJs5PZMjszjLTK4RNwJ/w4kERr36N/GyeOgiQUNRVU3V1BIoVB1/12ciura+sb+c3C1vbO7l5x/6BuVKoZrzElW4G1HApYl5DgZI3E81pFEjeCAY3E7/xyLURKn7AYcL9iPZiEQpG0UqtURtpSkbkmnidYsktu1OQZeLNSQnmqHaKX+2uYmnEY2SGtPy3AT9jGoUTPJxoZ0anlA2oD3esjSmETd+Nj15TE6s0iWh0rZiJFP190RGI2OGUWA7I4p9s+hNxP+8VorhpZ+JOEmRx2y2KEwlQUm/5Ou0JyhHFpCmRb2VsL6VFOGNqWCDcFbfHmZ1M/K3n56v68VLl7msWRhyM4hlPw4AIqcAtVqAEDBc/wCm8Oi/Ou/Mxa8058wgP4Q+czx8S7JDp</latexit>

Potential for time-reversal invariant phases at strong coupling

slide-7
SLIDE 7

Time-reversal in pure Maxwell

Re(τ)

<latexit sha1_base64="MLAawF7DqCom8LFiz3T3k3HobUo=">AB+HicbVBNT8JAEN3iF+IHVY9eGokJXkiLJHok8eIRjYAJbch2mcKG7Ud2p0Zs+CVePGiMV3+KN/+NC/Sg4EsmeXlvJjPz/ERwhb9bRTW1jc2t4rbpZ3dvf2yeXDYUXEqGbRZLGJ571MFgkfQRo4C7hMJNPQFdP3x1czvPoBUPI7ucJKAF9JhxAPOKGqpb5ZdhEfMbmFadZGmZ32zYtfsOaxV4uSkQnK0+uaXO4hZGkKETFCleo6doJdRiZwJmJbcVEFC2ZgOoadpRENQXjY/fGqdamVgBbHUFaE1V39PZDRUahL6ujOkOFL3kz8z+ulGFx6GY+SFCFi0VBKiyMrVkK1oBLYCgmlAmub7VYiMqKUOdVUmH4Cy/vEo69ZpzXqvfNCrNRh5HkRyTE1IlDrkgTXJNWqRNGEnJM3klb8aT8WK8Gx+L1oKRzxyRPzA+fwCXTJL+</latexit>

Im(τ)

<latexit sha1_base64="vG9SvdW3g7ix7ewOGBJqpTk7dVo=">AB+HicbVBNT8JAEN3iF+IHVY9eGokJXkiLJHok8aI3TARMaEO2yxY27G6b3akRG36JFw8a49Wf4s1/4wI9KPiSV7em8nMvDhTIPrfluFtfWNza3idmlnd2+/bB8cdnScKkLbJOaxug+xpxJ2gYGnN4nimIRctoNx1czv/tAlWaxvINJQgOBh5JFjGAwUt8u+0AfIbsR06oPOD3r2xW35s7hrBIvJxWUo9W3v/xBTFJBJRCOte5bgJBhUwum05KeaJpiM8ZD2DJVYUB1k8OnzqlRBk4UK1MSnLn6eyLDQuJCE2nwDSy95M/M/rpRBdBhmTSQpUksWiKOUOxM4sBWfAFCXAJ4Zgopi51SEjrDABk1XJhOAtv7xKOvWad16r3zYqzUYeRxEdoxNUR6QE10jVqojQhK0TN6RW/Wk/VivVsfi9aClc8coT+wPn8AlbiS/Q=</latexit>

1 2

<latexit sha1_base64="7feoCQu2+mXtWsbFXCwQ7jfP+9E=">AB83icbVBNS8NAEJ34WetX1aOXxSJ4Kkt6LHgxWMF+wFNKJvtpl262YTdiVBC/4YXD4p49c9489+4bXPQ1gcDj/dmJkXplIYdN1vZ2Nza3tnt7RX3j84PDqunJx2TJpxtskYnuhdRwKRvo0DJe6nmNA4l74aTu7nfeLaiEQ94jTlQUxHSkSCUbS72OkKcu9WV6fDSpVt+YuQNaJV5AqFGgNKl/+MGFZzBUySY3pe26KQU41Cib5rOxnhqeUTeiI9y1VNOYmyBc3z8ilVYkSrQthWSh/p7IaWzMNA5tZ0xbFa9ufif18wug1yodIMuWLRVEmCSZkHgAZCs0ZyqklGlhbyVsTG0KaGMq2xC81ZfXSade865r9YdGtdko4ijBOVzAFXhwA024hxa0gUEKz/AKb07mvDjvzseydcMpZs7gD5zPHxATkac=</latexit>

− 1

2

<latexit sha1_base64="ONXUtvCZcDEZTK6mWrfjma95+Ew=">AB9XicbVDLSgNBEOyNrxhfUY9eBoPgxbAbA3oMePEYwTwgWcPsZDYZMvtgplcJy/6HFw+KePVfvPk3TpI9aGJBQ1HVTXeXF0uh0ba/rcLa+sbmVnG7tLO7t39QPjxq6yhRjLdYJCPV9ajmUoS8hQIl78aK08CTvONbmZ+5ErLaLwHqcxdwM6CoUvGEUjPVyQPvqKstTJ0lo2KFfsqj0HWSVOTiqQozkof/WHEUsCHiKTVOueY8foplShYJnpX6ieUzZhI54z9CQBly76fzqjJwZUj8SJkKkczV3xMpDbSeBp7pDCiO9bI3E/zegn6124qwjhBHrLFIj+RBCMyi4AMheIM5dQypQwtxI2piYFNEGVTAjO8surpF2rOpfV2l290qjncRThBE7hHBy4gbcQhNawEDBM7zCm/VkvVjv1seitWDlM8fwB9bnD9KGkg=</latexit>

i

<latexit sha1_base64="lSkYyoM8vP8I4CTyN8mY2YBiMwA=">AB6HicbVBNS8NAEJ34WetX1aOXxSJ4Kkt6LHgxWML9gPaUDbSbt2swm7G6GE/gIvHhTx6k/y5r9x2+agrQ8GHu/NMDMvSATXxnW/nY3Nre2d3cJecf/g8Oi4dHLa1nGqGLZYLGLVDahGwSW2DcCu4lCGgUCO8Hkbu53nlBpHsHM03Qj+hI8pAzaqzU5INS2a24C5B14uWkDkag9JXfxizNEJpmKBa9zw3MX5GleFM4KzYTzUmlE3oCHuWShqh9rPFoTNyaZUhCWNlSxqyUH9PZDTSehoFtjOiZqxXvbn4n9dLTXjrZ1wmqUHJlovCVBATk/nXZMgVMiOmlCmuL2VsDFVlBmbTdG4K2+vE7a1Yp3Xak2a+V6LY+jAOdwAVfgwQ3U4R4a0AIGCM/wCm/Oo/PivDsfy9YNJ585gz9wPn8AzJWM4w=</latexit>

trivial

<latexit sha1_base64="bgvk0p/fXdRDB90P9DRGO+4sTWw=">AB9XicbVBNS8NAEN3Ur1q/qh69BIvgKSRV0GPBi8cK9gPaWDbSbt0swm7k2oJ/R9ePCji1f/izX/jts1BWx8MPN6bYWZekAiu0XW/rcLa+sbmVnG7tLO7t39QPjxq6jhVDBosFrFqB1SD4BIayFAO1FAo0BAKxjdzPzWGJTmsbzHSQJ+RAeSh5xRNJDF+EJM1R8zKmY9soV13HnsFeJl5MKyVHvlb+6/ZilEUhkgmrd8dwE/Ywq5EzAtNRNSUjegAOoZKGoH2s/nVU/vMKH07jJUpifZc/T2R0UjrSRSYzojiUC97M/E/r5NieO1nXCYpgmSLRWEqbIztWQR2nytgKCaGUKa4udVmQ6oQxNUyYTgLb+8SpVx7twqneXlZqTx1EkJ+SUnBOPXJEauSV10iCMKPJMXsmb9Wi9WO/Wx6K1YOUzx+QPrM8faf2TCg=</latexit>

strongly coupled

<latexit sha1_base64="KnT7kPWgEYm0IbETZfr4uBh90=">AC3icbVA9SwNBEN3zM8avqKXNkaBYhbsoaBmwsYxgPiAXwt5mkizZ2z1258RwpLfxr9hYKGLrH7Dz37hJrtDEBwOP92aYmRfGghv0vG9nZXVtfWMzt5Xf3tnd2y8cHDaMSjSDOlNC6VZIDQguoY4cBbRiDTQKBTD0fXUb96DNlzJOxzH0InoQPI+ZxSt1C0UTwOEB0wNaiUHYjwJgnwmMZXEAnqTbqHklb0Z3GXiZ6REMtS6ha+gp1gSgUQmqDFt34uxk1KNnAmY5IPEQEzZiA6gbamkEZhOvtl4p5Ypef2lbYl0Z2pvydSGhkzjkLbGVEcmkVvKv7ntRPsX3VSLuMEQbL5on4iXFTuNBi3xzUwFGNLKNPc3uqyIdWUoY0vb0PwF19eJo1K2T8vV24vStVyFkeOHJMiOSM+uSRVckNqpE4YeSTP5JW8OU/Oi/PufMxbV5xs5oj8gfP5Awclm50=</latexit>

topological insulator

<latexit sha1_base64="v3IeM9jDb+zKhEkV/Mtcrs6Eeo=">ACEHicbVDLSsNAFJ34rPEVdekmWHysQlIFXRbcuKxgH9CEMplO2qGTJi5EUvIJ7jxV9y4UMStS3f+jdM2C209MHA451zu3BOmnClw3W9jaXldW29smFubm3v7Fp7+y0lMklokwguZCfEinKW0CYw4LSTSorjkN2OLqe+O17KhUTyR2MUxrEeJCwiBEMWupZpyc+0AfIQaQ6O9A6L3zfLFWqIxjELoWVXcaewF4lXkioq0ehZX35fkCymCRCOlep6bgpBjiUwmlh+pmiKSYjPKBdTRMcUxXk04MK+1grfTsSUr8E7Kn6eyLHsVLjONTJGMNQzXsT8T+vm0F0Feiz0gxoQmaLozbIOxJO3afSUqAjzXBRDL9V5sMscQEdIemLsGbP3mRtGqOd+7Ubi+qdaeso4IO0RE6Qx6RHV0gxqoiQh6RM/oFb0ZT8aL8W58zKJLRjlzgP7A+PwBKO2d3w=</latexit>

F-theory toolkit:

Parametrize the physically inequivalent values for by the complex structure

  • f an auxiliary torus

τ

<latexit sha1_base64="hDBehQNJrpb0czbxzlBcqhKLC2o=">AB63icbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoN4KgnisYD+gDWz3bRLdzdhdyKUPAXePGgiFf/kDf/jUnbg7Y+GHi8N8PMvCWwqLrfjuFtfWNza3idmlnd2/oHx41LJRYhvskhGphNQy6XQvIkCJe/EhlMVSN4Oxje537kxopIP+Ak5r6iQy1CwSjmUg9p0i9X3Ko7A1kl3oJUYIFGv/zVG0QsUVwjk9TarufG6KfUoGCST0u9xPKYsjEd8m5GNVXc+uns1ik5y5QBCSOTlUYyU39PpFRZO1FB1qkojuyl4v/ed0Ewys/FTpOkGs2XxQmkmBE8sfJQBjOUE4yQpkR2a2EjaihDLN4SlkI3vLq6R1UfVq1ev7WqV+zSPowgncArn4MEl1OEOGtAEBiN4hld4c5Tz4rw7H/PWgrOI8Bj+wPn8AUxBjtg=</latexit>

Weierstrass form: y2 = x3 + fx + g

<latexit sha1_base64="S9NhPYuUPCkpdk/btX6oyYQamOk=">AB/HicbVDLSgMxFL1TX7W+Rrt0EyCIJSZWlAXQsGN4KaCfUA7LZk04ZmHiQZ6TBU/BM3LhRx64e4829MHwtPXAvh3PuJTfHjTiTyrK+jczK6tr6RnYzt7W9s7tn7h/UZRgLQmsk5KFoulhSzgJaU0x2owExb7LacMdXk/8xgMVkoXBvUoi6vi4HzCPEay01DXzSaeErtCoc4ZOkYdGuve7ZsEqWlOgZWLPSQHmqHbNr3YvJLFPA0U4lrJlW5FyUiwUI5yOc+1Y0giTIe7TlqYB9ql0unxY3SslR7yQqErUGiq/t5IsS9l4rt60sdqIBe9ifif14qVd+GkLIhiRQMye8iLOVIhmiSBekxQoniCSaC6VsRGWCBidJ5XQI9uKXl0m9VLTLxcu7cqFy+zSLIwuHcAQnYM5VOAGqlADAgk8wyu8GY/Gi/FufMxGM8Y8wjz8gfH5A96Hksg=</latexit>

J(τ) = j(τ) 1728 = 4f 3 4f 3 + 27g2 = 4f 3 ∆

<latexit sha1_base64="CLJqoUlDPy6dIARUhJeCm4P1ro=">ACPnicbZBLSwMxFIUz9VXrq+rSTbAIFaHM1EJ1IR0IbpRsCp02pJM208yC5I5RhwP/lxt/gzqUbF4q4dWnaKaKtF0JOzrkhuZ8TCq7ANJ+NzNT0zOxcdj63sLi0vJfXbtUQSQpq9NABPLaIYoJ7rM6cBDsOpSMeI5gV87t4SC/umNS8cC/gH7Imh7p+tzlIC2vn6CS7aQKJtfIBtVxIa36TnJLaq5b3kx65gt7WbpBveweUq7rbKE7F9xASQpJ0vmCVzWHhSWCNRQKM6a+ef7E5AI4/5QAVRqmGZITRjIoFTwZKcHSkWEnpLuqyhpU8prxcPwEb2mng91A6uUDHrq/b8TEU6rvObrTI9BT49nA/C9rRODuNWPuhxEwn6YPuZHAEOABS9zhklEQfS0IlVz/FdMe0ThAE89pCNb4yJPislyKqX980qhdnqf4siDbSJishCVRDx+gM1RFD+gFvaF349F4NT6Mz7Q1Y4wQrqM/ZXx9AxCcq2c=</latexit>

time-reversal J ∈ R

<latexit sha1_base64="eJV8i5vjYUx94kpzikzRDnGQfxY=">AB+XicbVDLSsNAFL2pr1pfUZduBovgqiRSqO4KbkQ3VewDmlAm0k7dDIJM5NCQU/xI0LRdz6J+78GydtF9p64MLhnHuZMydIOFPacb6twtr6xuZWcbu0s7u3f2AfHrVUnEpCmyTmsewEWFHOBG1qpjntJLiKOC0HYyuc789plKxWDzqSUL9CA8ECxnB2kg9275FHhPIi7AeBkH2MO3ZafizIBWibsgZVig0bO/vH5M0ogKThWqus6ifYzLDUjnE5LXqpogskID2jXUIEjqvxslnyKzozSR2EszQiNZurviwxHSk2iwGzmCdWyl4v/ed1Uh5d+xkSairI/KEw5UjHK8B9ZmkRPOJIZhIZrIiMsQSE23KpkS3OUvr5LWRcWtVq7uq+X63dO8jiKcwCmcgws1qMNKAJBMbwDK/wZmXWi/VufcxXC9aiwmP4A+vzB/gCk7E=</latexit>
slide-8
SLIDE 8

Building interfaces

Let vary with respect to one coordinate in flat space τ

<latexit sha1_base64="gun64YdI3g68Wcq3Z4PKVSG7PjE=">AB63icbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoN4KXgQvFewHtKFstpt26e4m7E6Egr+Ai8eFPHqH/LmvzFpe9DWBwOP92aYmRfEUlh03W+nsLa+sblV3C7t7O7tH5QPj1o2SgzjTRbJyHQCarkUmjdRoOSd2HCqAsnbwfgm9uP3FgR6QecxNxXdKhFKBjFXOohTfrlilt1ZyCrxFuQCizQ6Je/eoOIJYprZJa2/XcGP2UGhRM8mpl1geUzamQ97NqKaKWz+d3TolZ5kyIGFkstJIZurviZQqaycqyDoVxZFd9nLxP6+bYHjlp0LHCXLN5ovCRBKMSP4GQjDGcpJRigzIruVsBE1lGEWTykLwVt+eZW0LqperXp9X6vU757mcRThBE7hHDy4hDrcQgOawGAEz/AKb45yXpx352PeWnAWER7DHzifP03Cjt0=</latexit>

x3

<latexit sha1_base64="4chuBz8zNW+AjLyBMcUMNKYGHUs=">AB7HicbVDLSgNBEOyNrxhfUY9eBoPgKexqQL0FvAheIrhJIFnC7GSDJmdXWZ6xbAE/AMvHhTx6gd582+cPA6aWNBQVHXT3RUmUh03W8nt7K6tr6R3yxsbe/s7hX3D+omTjXjPotlrJshNVwKxX0UKHkz0ZxGoeSNcHg98RsPXBsRq3scJTyIaF+JnmAUreQ/drLzcadYcsvuFGSZeHNSgjlqneJXuxuzNOIKmaTGtDw3wSCjGgWTfFxop4YnlA1pn7csVTiJsimx47JiVW6pBdrWwrJVP09kdHImFEU2s6I4sAsehPxP6+VYu8yIRKUuSKzRb1UkwJpPSVdozlCOLKFMC3srYQOqKUObT8G4C2+vEzqZ2WvUr6q5Sqt0+zOPJwBMdwCh5cQBVuoAY+MBDwDK/w5ijnxXl3PmatOWce4SH8gfP5A/lj0M=</latexit>

For time-reversal invariant system J(τ) ∈ R

<latexit sha1_base64="V8S6NqJODhe9NXsxZprV/VgP7Ik=">AB/3icbVDLSgMxFM34rPU1KrhxEyxC3ZQZKai7ghvRTRX7gM5QMmnahmYyQ3JHKGNBf8WNC0Xc+hvu/BszbRfaeuDC4Zx7yckJYsE1OM63tbC4tLymlvLr29sbm3bO7t1HSWKshqNRKSaAdFMcMlqwEGwZqwYCQPBGsHgIvMb90xpHsk7GMbMD0lP8i6nBIzUtvevih6Q5Bh7XGIvJNAPgvR21LYLTskZA8Td0oKaIpq2/7yOhFNQiaBCqJ1y3Vi8FOigFPBRnkv0SwmdEB6rGWoJCHTfjrOP8JHRungbqTMSMBj9fdFSkKth2FgNrOEetbLxP+8VgLdMz/lMk6ASTp5qJsIDBHOysAdrhgFMTSEUMVNVkz7RBEKprK8KcGd/fI8qZ+U3HLp/KZcqFw/TurIoQN0iIrIRaeogi5RFdUQRQ/oGb2iN+vJerHerY/J6oI1rXAP/YH1+QP1fpXk</latexit>

(can be realized by realm of real elliptic curves) f, g ∈ R

<latexit sha1_base64="YGLRWx3f7C60U6fqyMNEForUf6o=">AB+3icbVDLSsNAFL2pr1pfsS7dDBbBhZRECuqu4sZlFfuApTJdNIOnUzCzEQsIeCXuHGhiFt/xJ1/46TtQlsPXDicy9z5vgxZ0o7zrdVWFldW98obpa2tnd29+z9cktFiS0SIeyY6PFeVM0KZmtNOLCkOfU7b/vg69sPVCoWiXs9iWkvxEPBAkawNlLfLgenQ+QxgbwQ65Hvp3dZ364VWcKtEzcOanAHI2+/eUNIpKEVGjCsVJd14l1L8VSM8JpVvISRWNMxnhIu4YKHFLVS6fZM3RslAEKImlGaDRVf1+kOFRqEvpmM0+oFr1c/M/rJjq46KVMxImgsweChKOdITyItCASUo0nxiCiWQmKyIjLDHRpq6SKcFd/PIyaZ1V3Vr18rZWqV89zeowiEcwQm4cA51uIEGNIHAIzDK7xZmfVivVsfs9WCNa/wAP7A+vwBU9eUag=</latexit>

J = 1

<latexit sha1_base64="1eF9S7mhjyCI/FU/dEbSIfN6eK0=">AB7HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoBeh4EU8VTBtoQ1ls520SzebsLsRSulv8OJBEa/+IG/+G7dtDtr6YODx3gwz8JUcG1c9sprK1vbG4Vt0s7u3v7B+XDo6ZOMsXQZ4lIVDukGgWX6BtuBLZThTQOBbC0e3Mbz2h0jyRj2acYhDTgeQRZ9RYyb8nN8TrlStu1Z2DrBIvJxXI0eiVv7r9hGUxSsME1brjuakJlQZzgROS91MY0rZiA6wY6mkMepgMj92Ss6s0idRomxJQ+bq74kJjbUex6HtjKkZ6mVvJv7ndTITXQcTLtPMoGSLRVEmiEnI7HPS5wqZEWNLKFPc3krYkCrKjM2nZEPwl9eJc1a1buo1h4uK3U3j6MIJ3AK5+DBFdThDhrgAwMOz/AKb450Xpx352PRWnDymWP4A+fzBzn5jZY=</latexit>

J → ±∞

<latexit sha1_base64="Ll9sVAmSDGPJXYJOAxB9uPiIXzw=">ACAXicbVBNS8NAEN34WetX1IvgZbEInkpSBT0WvIinCvYDmlA2027dLMJuxMlhHrxr3jxoIhX/4U3/43bNgdtfTDweG+GmXlBIrgGx/m2lpZXVtfWSxvlza3tnV17b7+l41R1qSxiFUnIJoJLlkTOAjWSRQjUSBYOxhdTfz2PVOax/IOsoT5ERlIHnJKwEg9+/AGe4oPhkCUih+wl0TY4zKErGdXnKozBV4kbkEqECjZ395/ZimEZNABdG6zoJ+DlRwKlg47KXapYQOiID1jVUkohpP59+MYnRunjMFamJOCp+nsiJ5HWRSYzojAUM97E/E/r5tCeOnXCYpMElni8JUYIjxJA7c54pREJkhCpubsV0SBShYEIrmxDc+ZcXSatWdc+qtdvzSt0p4ihI3SMTpGLlAdXaMGaiKHtEzekVv1pP1Yr1bH7PWJauYOUB/YH3+ABaHlps=</latexit>

J = 0

<latexit sha1_base64="V81BMk/Zj0r4dTpcCisI6hDyTs=">AB7HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoBeh4EU8VTBtoQ1ls520SzebsLsRSulv8OJBEa/+IG/+G7dtDtr6YODx3gwz8JUcG1c9sprK1vbG4Vt0s7u3v7B+XDo6ZOMsXQZ4lIVDukGgWX6BtuBLZThTQOBbC0e3Mbz2h0jyRj2acYhDTgeQRZ9RYyb8nN8TtlStu1Z2DrBIvJxXI0eiVv7r9hGUxSsME1brjuakJlQZzgROS91MY0rZiA6wY6mkMepgMj92Ss6s0idRomxJQ+bq74kJjbUex6HtjKkZ6mVvJv7ndTITXQcTLtPMoGSLRVEmiEnI7HPS5wqZEWNLKFPc3krYkCrKjM2nZEPwl9eJc1a1buo1h4uK3U3j6MIJ3AK5+DBFdThDhrgAwMOz/AKb450Xpx352PRWnDymWP4A+fzBzh1jZU=</latexit>

τ → i∞

<latexit sha1_base64="p52WNw3Jiv+mhyOK3YvgVumbPw=">ACAnicbVBNS8NAEN3Ur1q/op7Ey2IRPJWkCnosePFYwX5AE8pmu2mXbjZhd6KEULz4V7x4UMSrv8Kb/8Ztm4O2Ph4vDfDzLwgEVyD43xbpZXVtfWN8mZla3tnd8/eP2jrOFWUtWgsYtUNiGaCS9YCDoJ1E8VIFAjWCcbXU79z5TmsbyDLGF+RIaSh5wSMFLfPvKApNhTfDgColT8gDn2uAwh69tVp+bMgJeJW5AqKtDs21/eIKZpxCRQbTuU4Cfk4UcCrYpOKlmiWEjsmQ9QyVJGLaz2cvTPCpUQY4jJUpCXim/p7ISaR1FgWmMyIw0oveVPzP6UQXvk5l0kKTNL5ojAVGI8zQMPuGIURGYIoYqbWzEdEUomNQqJgR38eVl0q7X3PNa/fai2nCKOMroGJ2gM+SiS9RAN6iJWoiR/SMXtGb9WS9WO/Wx7y1ZBUzh+gPrM8fHaqXMQ=</latexit>

τ = i

<latexit sha1_base64="wvwZwdQ0Xjv1MLCE3ghS+xgS9BU=">AB73icbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoBeh4MVjBfsBbSib7aZdutnE3YlQv+EFw+KePXvePfuG1z0NYHA4/3ZpiZFyRSGHTdb6ewtr6xuVXcLu3s7u0flA+PWiZONeNFstYdwJquBSKN1Gg5J1EcxoFkreD8e3Mbz9xbUSsHnCScD+iQyVCwShaqdNDmpIbIvrlilt15yCrxMtJBXI0+uWv3iBmacQVMkmN6Xpugn5GNQom+bTUSw1PKBvTIe9aqmjEjZ/N752SM6sMSBhrWwrJXP09kdHImEkU2M6I4sgsezPxP6+bYnjtZ0IlKXLFovCVBKMyex5MhCaM5QTSyjTwt5K2IhqytBGVLIheMsvr5JWrepdVGv3l5W6m8dRhBM4hXPw4ArqcAcNaAIDCc/wCm/Oo/PivDsfi9aCk8cwx84nz8VDY9I</latexit>

τ = eπi/3

<latexit sha1_base64="kYCy0U5ARorRSAqEO7i2wKnVgY=">AB+3icbVBNS8NAEN3Ur1q/Yj16WSyCp5q0gl6EghePFewHNLFstN26WYTdjdiCfkrXjwo4tU/4s1/47bNQVsfDzem2FmXhBzprTjfFuFtfWNza3idmlnd2/wD4st1WUSAotGvFIdgOigDMBLc0h24sgYQBh04wuZn5nUeQikXiXk9j8EMyEmzIKNFG6tlT5MEX2N4SL2YXZez/p2xak6c+BV4uakgnI0+/aXN4hoEoLQlBOleq4Taz8lUjPKISt5iYKY0AkZQc9QUJQfjq/PcOnRhngYSRNCY3n6u+JlIRKTcPAdIZEj9WyNxP/83qJHl75KRNxokHQxaJhwrGO8CwIPGASqOZTQwiVzNyK6ZhIQrWJq2RCcJdfXiXtWtWtV2t3F5WGk8dRMfoBJ0hF12iBrpFTdRCFD2hZ/SK3qzMerHerY9Fa8HKZ47QH1ifP2IRk08=</latexit>

Passing through:

topological insulator J = ∞

<latexit sha1_base64="bP2wAkYdvlmfb/0hltoYPHU2JTw=">AB8XicbVDLSgNBEOyNrxhfUY9eBoPgKeyKoB6EgCDiKYJ5YLKE2clsMmR2dpnpFZYQ8CO8eFDEq3/jzb9x8jhoYkFDUdVNd1eQSGHQdb+d3NLyupafr2wsbm1vVPc3aubONWM1gsY90MqOFSKF5DgZI3E81pFEjeCAZXY7/xyLURsbrHLOF+RHtKhIJRtNLDLbkbaFCzDrFklt2JyCLxJuREsxQ7RS/2t2YpRFXyCQ1puW5CfpDqlEwyUeFdmp4QtmA9njLUkUjbvzh5OIRObJKl4SxtqWQTNTfE0MaGZNFge2MKPbNvDcW/NaKYbn/lCoJEWu2HRmEqCMRm/T7pCc4Yys4QyLeythPWpgxtSAUbgjf/8iKpn5S90/LF3Wmpcv0jSMPB3AIx+DBGVTgBqpQAwYKnuEV3hzjvDjvzse0NefMItyHP3A+fwC0xpC7</latexit>

(one expects localized dynamics and indeed ) ∆ = 0

<latexit sha1_base64="QuP2ScndqWrCZWxLqzGNTKO4rv4=">AB8XicbVDLSgNBEJyNrxhfUY9eBoPgKeyKoB6EgCIeI5gHJkuYnfQmQ2Znl5leISwBP8KLB0W8+jfe/Bsnj4MmFjQUVd10dwWJFAZd9vJLS2vrK7l1wsbm1vbO8XdvbqJU82hxmMZ62bADEihoIYCJTQTDSwKJDSCwdXYbzyCNiJW9zhMwI9YT4lQcIZWemhfg0RGL6nbKZbcsjsBXSTejJTIDNVO8avdjXkagUIumTEtz03Qz5hGwSWMCu3UQML4gPWgZaliERg/m1w8okdW6dIw1rYU0on6eyJjkTHDKLCdEcO+mfG4n9eK8Xw3M+ESlIExaeLwlRSjOn4fdoVGjKoSWMa2FvpbzPNONoQyrYELz5lxdJ/aTsnZYv7k5LlZunaRx5ckAOyTHxyBmpkFtSJTXCiSLP5JW8OcZ5cd6dj2lrzplFuE/+wPn8AS/IkGE=</latexit>

J = 1

<latexit sha1_base64="3s5mleVbasj4lwFHBP/Yh5qDnA=">AB7HicbVDLSgNBEOyNrxhfUY9eBoPgKexKQD0IAUHEUwQ3CSRLmJ3MJkNmZ5eZXiGEgH/gxYMiXv0gb/6Nk8dBEwsaiqpurvCVAqDrvt5FZW19Y38puFre2d3b3i/kHdJlm3GeJTHQzpIZLobiPAiVvprTOJS8EQ6uJ37jkWsjEvWAw5QHMe0pEQlG0Ur+HbkiXqdYcsvuFGSZeHNSgjlqneJXu5uwLOYKmaTGtDw3xWBENQom+bjQzgxPKRvQHm9ZqmjMTCaHjsmJ1bpkijRthSqfp7YkRjY4ZxaDtjin2z6E3E/7xWhtFMBIqzZArNlsUZJgQiafk67QnKEcWkKZFvZWwvpU4Y2n4INwVt8eZnUz8pepXx5XylVb5mceThCI7hFDw4hyrcQg18YCDgGV7hzVHOi/PufMxac848wkP4A+fzB2kpjQ=</latexit>

also leads to ∆ = 0

<latexit sha1_base64="QuP2ScndqWrCZWxLqzGNTKO4rv4=">AB8XicbVDLSgNBEJyNrxhfUY9eBoPgKeyKoB6EgCIeI5gHJkuYnfQmQ2Znl5leISwBP8KLB0W8+jfe/Bsnj4MmFjQUVd10dwWJFAZd9vJLS2vrK7l1wsbm1vbO8XdvbqJU82hxmMZ62bADEihoIYCJTQTDSwKJDSCwdXYbzyCNiJW9zhMwI9YT4lQcIZWemhfg0RGL6nbKZbcsjsBXSTejJTIDNVO8avdjXkagUIumTEtz03Qz5hGwSWMCu3UQML4gPWgZaliERg/m1w8okdW6dIw1rYU0on6eyJjkTHDKLCdEcO+mfG4n9eK8Xw3M+ESlIExaeLwlRSjOn4fdoVGjKoSWMa2FvpbzPNONoQyrYELz5lxdJ/aTsnZYv7k5LlZunaRx5ckAOyTHxyBmpkFtSJTXCiSLP5JW8OcZ5cd6dj2lrzplFuE/+wPn8AS/IkGE=</latexit>

(strongly coupled localized dynamics?)

slide-9
SLIDE 9

Other SL(2,Z) subgroups

Assume that the actual duality group is a subgroup of SL(2,Z) Γ0(N) , Γ1(N) , Γ(N) ⊂ SL(2, Z)

<latexit sha1_base64="s12vNCbL9iYOaUz8TV5lg9/uARg=">ACNXicbZDLSgMxFIYz9V5vVZdugkVoZQZEdSd4EJBEUWrYqeUTHpag8nMkJwRy1Dwmdz4Hq504UIRt76C6WhrT8E/nznhJzB7EUBl31cmMjU9MTk3PZGfn5hcWc0vLFyZKNIcKj2SkrwJmQIoQKihQwlWsgalAwmVwu9etX96BNiIKz7EdQ02xViagjO0qJ478veZUqzu0sJxkfqlEh0Abwj0ryYJDCD1Ee4xPTvqFDZKvmJ4EwTpdadYz+XdstsTHTXewOTJQCf13LPfiHiIEQumTFVz42xljKNgkvoZP3EQMz4LWtB1dqQKTC1tLd1h65b0qDNSNsTIu3R3y9Spoxpq8B2dkc0w7Uu/K9WTbC5XUtFGCcIe9/1EwkxYh2I6QNoYGjbFvDuBZ2VspvmGYcbdBZG4I3vPKoudgoe5vlndPN/O7hQz+OabJK1kiBeGSL7JIDckIqhJNH8kLeyYfz5Lw5n85XvzXjDCJcIX/kfP8A83Cn7g=</latexit>

Γ(N) = n γ ∈ SL(2, Z) : γ = ✓1 1 ◆ mod N

  • <latexit sha1_base64="L79lae+qeVJGj9q0o6FUvW3iWDI=">ACenicbVFdaxQxFM2MX3X9WujCJcurtYlpmyYC0IpT4oKWi2xY3y5LJ3J2GJpkhyZQuw4B/wb/WN3+JLz6Y2V2xtl5IODn3tzck6SQwro+hGEN27eun1n7W7r3v0HDx+1H68f2rw0HEc8l7k5TphFKTSOnHASjwuDTCUSj5LTt41+dIbGilx/cfMCJ4plWswEZ85T0/Z3+o4pxXr7fXgDdE9ktAKaNRQoYE6PHfV5491b2uTKuZOkqT6Wvd3/uT4mgQzoavCi0ac1xBDFyKg1G9diCnq9K/mT7ZgHFfXqjy9xO0v29fTdicaRIuA6yBegQ5ZxcG0fUHTnJcKteOSWTuOo8JNKmac4BLrFi0t+g6nLMOxh5optJNqYV0Nz2Twiw3fmkHC/ZyRcWUtXOV+MxmfHtVa8j/aePSzbYnldBF6VDzZaNZKcHl0PwDpMIgd3LuAeNG+LcCP2Gced/q+VNiK+OfB0cbg3i4eD1p2Fn98O3pR1r5CnZID0Sk1dkl7wnB2REOPkZPAu6wYvgV7gR9sOXy9QwWFn4hPwT4fA3aB291A=</latexit>

e.g. Changes fundamental domain or modular curve We are interested in the time-reversal invariant subspace: X(Γ)R = {τ ∈ X(Γ) : −τ = τ} = {τ ∈ H : −τ = γτ with γ ∈ Γ}

<latexit sha1_base64="LY1HAJG42NJ105sZycWd2LPGZQ=">ACq3icdVFdixMxFM3MqrvWr7o+hIsQn3YMrMsuArCg8uCLJ+dFtsSsmkt23YJDMkd9QSBvxt/gTf/DdmpoPUrl4InJx7rk3N1mhpMk+RXFezdu3to/uN25c/fe/Qfdh4eXLi+tgKHIVW7HGXegpIEhSlQwLixwnSkYZVev6/zoC1gnc/MJ1wVMNV8auZCY6Bm3R/jPnvDtebPZp5pjqs8x+qir6izFOGvKRMGvpH9JIeUZYHw7qfr/ONtNHtFm3pWuPzqvqPwbJ2b0vBuILCDf4hv6rxFW1RbK2r8ZiVWzbi8ZJE3Q6yBtQY+0cTHr/mTzXJQaDArFnZukSYFTzy1KoaDqsNJBaHbFlzAJ0HANbuqbXVf0aWDmdJHbcAzSht2u8Fw7t9ZUNavdru5mvxXblLi4nTqpSlKBCM2jRalopjT+uPoXFoQqNYBcGFlmJWKFbdcYPjeTlhCuvk6+DyeJCeDF68P+mdvf2+WcBeUyekD5JyXNyRs7JBRkSEfWjd9EoGsdH8cf4c8w20jhqV/iI/BUx/AY+LdFx</latexit>

compactification in the presence of charged fields

slide-10
SLIDE 10

Example:

Γ = Γ(2)

<latexit sha1_base64="T8ORTEuvmst4+UdTn1on7imxUmk=">AB/HicbZBLSwMxFIXv+Kz1Ndqlm2AR6qbMlIK6EAouFNxUsA9oh5J0zY0mRmSjDAMFf+JGxeKuPWHuPfmLaz0NYDgY9zbsjN8SPOlHacb2tldW19YzO3ld/e2d3btw8OmyqMJaENEvJQtn2sKGcBbWimOW1HkmLhc9ryx1fTvPVApWJhcK+TiHoCDwM2YARrY/XsQvcaC4HRJcqgVDnt2UWn7MyElsHNoAiZ6j37q9sPSxoAnHSnVcJ9JeiqVmhNJvhsrGmEyxkPaMRhgQZWXzpafoBPj9NEglOYEGs3c3zdSLJRKhG8mBdYjtZhNzf+yTqwH517KgijWNCDzhwYxRzpE0yZQn0lKNE8MYCKZ2RWREZaYaNX3pTgLn5GZqVslstX9xVi7Xbp3kdOTiCYyiBC2dQgxuoQwMIJPAMr/BmPVov1rv1MR9dsbIKC/BH1ucPKZmTnA=</latexit>

generated by ✓1 2 1 ◆ , ✓3 −2 2 −1 ◆ , ✓−1 −1 ◆

<latexit sha1_base64="CzwN0fJHvblwjnLTHJqj47/dK8=">ACh3icjVFNSwMxEM2uX7V+VT16CRZFROtuW7TeFC+CFwWrhW4p2ey0Dc1m1yQrlqXgL/FHefPfmG0rauvBgcDjvXnM5I0fc6a043xY9tz8wuJSbjm/srq2vlHY3HpQUSIp1GnEI9nwiQLOBNQ10xwasQS+hwe/f5Vpj8+g1QsEvd6EMrJF3BOowSbah24c3zoctEGodES/YyxC7ex2XsedgxwMUeiOBb9I6OsPeUkABP2yqm+3jkK2fo/8bjbKDzNXDa2C4UnZIzKjwL3AkokndtgvXhDRJAShKSdKNV0n1q2USM0oh2HeSxTEhPZJF5oGChKCaqWjHId4zAB7kTSPKHxiP3pSEmo1CD0TafZr6emtYz8S2smulNrpUzEiQZBx4M6Cc6wtlRcMAkUM0HBhAqmdkV0x6RhGpzurwJwZ3+8ix4KJfcaun8rlq8uHkdx5FDO2gXHSAXnaELdI1uUR1Ra946tCpW1V62T+xTuzZuta1JhNvoV9mXn8WCvYM=</latexit>

Re(τ)

<latexit sha1_base64="MLAawF7DqCom8LFiz3T3k3HobUo=">AB+HicbVBNT8JAEN3iF+IHVY9eGokJXkiLJHok8eIRjYAJbch2mcKG7Ud2p0Zs+CVePGiMV3+KN/+NC/Sg4EsmeXlvJjPz/ERwhb9bRTW1jc2t4rbpZ3dvf2yeXDYUXEqGbRZLGJ571MFgkfQRo4C7hMJNPQFdP3x1czvPoBUPI7ucJKAF9JhxAPOKGqpb5ZdhEfMbmFadZGmZ32zYtfsOaxV4uSkQnK0+uaXO4hZGkKETFCleo6doJdRiZwJmJbcVEFC2ZgOoadpRENQXjY/fGqdamVgBbHUFaE1V39PZDRUahL6ujOkOFL3kz8z+ulGFx6GY+SFCFi0VBKiyMrVkK1oBLYCgmlAmub7VYiMqKUOdVUmH4Cy/vEo69ZpzXqvfNCrNRh5HkRyTE1IlDrkgTXJNWqRNGEnJM3klb8aT8WK8Gx+L1oKRzxyRPzA+fwCXTJL+</latexit>

Im(τ)

<latexit sha1_base64="vG9SvdW3g7ix7ewOGBJqpTk7dVo=">AB+HicbVBNT8JAEN3iF+IHVY9eGokJXkiLJHok8aI3TARMaEO2yxY27G6b3akRG36JFw8a49Wf4s1/4wI9KPiSV7em8nMvDhTIPrfluFtfWNza3idmlnd2+/bB8cdnScKkLbJOaxug+xpxJ2gYGnN4nimIRctoNx1czv/tAlWaxvINJQgOBh5JFjGAwUt8u+0AfIbsR06oPOD3r2xW35s7hrBIvJxWUo9W3v/xBTFJBJRCOte5bgJBhUwum05KeaJpiM8ZD2DJVYUB1k8OnzqlRBk4UK1MSnLn6eyLDQuJCE2nwDSy95M/M/rpRBdBhmTSQpUksWiKOUOxM4sBWfAFCXAJ4Zgopi51SEjrDABk1XJhOAtv7xKOvWad16r3zYqzUYeRxEdoxNUR6QE10jVqojQhK0TN6RW/Wk/VivVsfi9aClc8coT+wPn8AlbiS/Q=</latexit>

1

<latexit sha1_base64="d4o3Ms3ALdTBru/8lcKmrFKMgQE=">AB6HicbVBNS8NAEJ34WetX1aOXxSJ4Kkt6LHgxWML9gPaUDbSbt2swm7G6GE/gIvHhTx6k/y5r9x2+agrQ8GHu/NMDMvSATXxnW/nY3Nre2d3cJecf/g8Oi4dHLa1nGqGLZYLGLVDahGwSW2DcCu4lCGgUCO8Hkbu53nlBpHsHM03Qj+hI8pAzaqzU9AalsltxFyDrxMtJGXI0BqWv/jBmaYTSMEG17nluYvyMKsOZwFmxn2pMKJvQEfYslTRC7WeLQ2fk0ipDEsbKljRkof6eyGik9TQKbGdEzVivenPxP6+XmvDWz7hMUoOSLReFqSAmJvOvyZArZEZMLaFMcXsrYWOqKDM2m6INwVt9eZ20qxXvulJt1sr1Wh5HAc7hAq7Agxuowz0oAUMEJ7hFd6cR+fFeXc+lq0bTj5zBn/gfP4Ad7WMqw=</latexit>

−1

<latexit sha1_base64="egtMqW1KendSIVHpZyuDXvEz3L0=">AB6XicbVBNS8NAEJ34WetX1aOXxSJ4sS1oMeCF49V7Ae0oWy2m3bpZhN2J0IJ/QdePCji1X/kzX/jts1BWx8MPN6bYWZekEh0HW/nbX1jc2t7cJOcXdv/+CwdHTcMnGqGW+yWMa6E1DpVC8iQIl7ySa0yiQvB2Mb2d+4lrI2L1iJOE+xEdKhEKRtFKD5dev1R2K+4cZJV4OSlDjka/9NUbxCyNuEImqTFdz03Qz6hGwSfFnup4QlYzrkXUsVjbjxs/mlU3JulQEJY21LIZmrvycyGhkziQLbGVEcmWVvJv7ndVMb/xMqCRFrthiUZhKgjGZvU0GQnOGcmIJZVrYWwkbU0Z2nCKNgRv+eV0qpWvKtK9b5WrtfyOApwCmdwAR5cQx3uoAFNYBDCM7zCmzN2Xpx352PRubkMyfwB87nD+D6jOI=</latexit>

equivalent of the -function, the Hauptmodul, given by elliptic -function J

<latexit sha1_base64="vk0qzPoHn0ekDJ2ixwxt9GP7zVg=">AB6HicbVA9SwNBEJ2LXzF+RS1tFoNgFe5EULuIjVglYD4gOcLeZi5Zs7d37O4J4QjY21goYutPsvPfuPkoNPHBwO9GWbmBYng2rjut5NbWV1b38hvFra2d3b3ivsHDR2nimGdxSJWrYBqFxi3XAjsJUopFEgsBkMbyZ+8xGV5rG8N6ME/Yj2JQ85o8ZKtbtuseSW3SnIMvHmpARzVLvFr04vZmE0jBtW57bmL8jCrDmcBxoZNqTCgb0j62LZU0Qu1n0PH5MQqPRLGypY0ZKr+nshopPUoCmxnRM1AL3oT8T+vnZrw0s+4TFKDks0WhakgJiaTr0mPK2RGjCyhTHF7K2EDqigzNpuCDcFbfHmZNM7K3n5qnZeqlw/zeLIwxEcwyl4cAEVuIUq1IEBwjO8wpvz4Lw4787HrDXnzCM8hD9wPn8AyhSNWQ=</latexit>

λ

<latexit sha1_base64="crhydaBj5kbvEGsZGiNJmjLWmw=">AB7nicbVDLSgMxFL1TX7W+qi7dBIvgqsxIQd1V3LisYB/QDuVOJtOGZjJDkhHKUPAX3LhQxK3f486/MX0stPVA4HDOCfeE6SCa+O6305hbX1jc6u4XdrZ3ds/KB8etXSKcqaNBGJ6gSomeCSNQ03gnVSxTAOBGsHo9up35kSvNEPphxyvwYB5JHnKxUrsnbDTEfrniVt0ZyCrxFqQCzT65a9emNAsZtJQgVp3PTc1fo7KcCrYpNTLNEuRjnDAupZKjJn289m6E3JmlZBEibJPGjJTf/IMdZ6HAc2GaMZ6mVvKv7ndTMTXfk5l2lmKTzQVEmiEnI9HYScsWoEWNLkCpudyV0iAqpsQ2VbAne8smrpHVR9WrV6/tapX7zNK+jCdwCufgwSXU4Q4a0AQKI3iGV3hzUufFeXc+5tGCs6jwGP7A+fwBZliQCA=</latexit>

Single closed component with three cusps:

τ → i∞

<latexit sha1_base64="CJte/V5HPScQUHwIr4oSxkP/+U=">ACAnicbZBLSwMxFIUz9VXra9SVuAkWwVWZkYK6KwjisoJ9QGcomThmYyQ3JHGYaiC/+KGxeKuPVXuPfmD4W2nog8HODck9QSK4Bsf5tgpLyura8X10sbm1vaOvbvX1HGqKGvQWMSqHRDNBJesARwEayeKkSgQrBUML8d564pzWN5C1nC/Ij0JQ85JWCsrn3gAUmxp3h/AESp+B5z7HEZQta1y07FmQgvgjuDMpqp3rW/vF5M04hJoIJo3XGdBPycKOBUsFHJSzVLCB2SPusYlCRi2s8nK4zwsXF6OIyVORLwxP19IyeR1lkUmMmIwEDPZ2Pzv6yTQnju51wmKTBJpw+FqcAQ43EfuMcVoyAyA4Qqbv6K6YAoQsG0VjIluPMrL0LztOJWKxc31XLt6nFaRxEdoiN0glx0hmroGtVRA1H0gJ7RK3qznqwX6936mI4WrFmF+iPrM8fTNqXzw=</latexit>

topological insulator interface τ = 0

<latexit sha1_base64="BsF1RQgZLB9Krxlyz/3q+lm2O8=">AB73icbVDLSgNBEOyNrxhfUY9eBoPgKexKQD0IAUE8RjAPSJYwO5lNhszOrjO9QlgCfoMXD4p49Xe8+TdOHgdNLGgoqrp7goSKQy67reTW1ldW9/Ibxa2tnd294r7Bw0Tp5rxOotlrFsBNVwKxesoUPJWojmNAsmbwfB64jcfuTYiVvc4Srgf0b4SoWAUrdTqIE3JFXG7xZJbdqcgy8SbkxLMUesWvzq9mKURV8gkNabtuQn6GdUomOTjQic1PKFsSPu8bamiETd+Nr13TE6s0iNhrG0pJFP190RGI2NGUWA7I4oDs+hNxP+8dorhZ8JlaTIFZstClNJMCaT50lPaM5QjiyhTAt7K2EDqilDG1HBhuAtvrxMGmdlr1K+vKuUqjdPszjycATHcAoenEMVbqEGdWAg4Rle4c15cF6cd+dj1pz5hEewh84nz/tyo+t</latexit>

related via

S = ✓ 0 1 −1 ◆

<latexit sha1_base64="ZuvEWp26jx5bA5Cm9Oz4fCSJSsw=">ACGnicbZDLSgMxFIYz9VbrerSTbAobiwzUlAXQsWNy4r2Ap2hZDKnbWgmMyQZsQwF38KNr+LGhSLuxI1vY3pBtPVA4OP/Tzjn/H7MmdK2/WVl5uYXFpey7mV1bX1jfzmVk1FiaRQpRGPZMnCjgTUNVMc2jEkjoc6j7vYuhX78FqVgkbnQ/Bi8kHcHajBJtpFbeucZn2PWhw0Qah0RLdjfANt7HDnZdfOgYsrELIvhxW/mCXbRHhWfBmUABTarSyn+4QUSTEISmnCjVdOxYeymRmlEOg5ybKIgJ7ZEONA0KEoLy0tFpA7xnlAC3I2me0Hik/v6RklCpfuibTrNfV017Q/E/r5no9omXMhEnGgQdD2onHOsID3PCAZNANe8bIFQysyumXSIJ1SbNnAnBmT5FmpHRadUPL0qFcrn9+M4smgH7aID5KBjVEaXqIKqiKIH9IRe0Kv1aD1b9b7uDVjTSLcRn/K+vwGAc2e0Q=</latexit>

γ = ✓1 1 1 ◆

<latexit sha1_base64="ThgjOuJkgzSmptXamqNjr+Go2YI=">ACHnicbZDLSgMxFIYzXmu9jbp0EyKqzIjFXUhVNy4rGAv0Cklk562oUlmSDJiGQq+hxtfxY0LRQRX+jamF0RbDwQ+/v+Ec84fxpxp43lfztz8wuLScmYlu7q2vrHpbm1XdJQoCmUa8UjVQqKBMwlwyHWqyAiJBDNexdDv3qLSjNInlj+jE0BOlI1maUGCs13eOgQ4Qg+BwHIXSYTGNBjGJ3A+zjA+zhIBiBjwOQrR+z6ea8vDcqPAv+BHJoUqWm+xG0IpoIkIZyonXd92LTSIkyjHIYZINEQ0xoj3SgblESAbqRjs4b4H2rtHA7UvZJg0fq7x8pEVr3RWg7X5dPe0Nxf+8emLap42UyTgxIOl4UDvh2ER4mBVuMQXU8L4FQhWzu2LaJYpQYxPN2hD86ZNnoXKU9wv5s+tCrnhxP4jg3bRHjpEPjpBRXSFSqiMKHpAT+gFvTqPzrPz5ryPW+ecSYQ76E85n9/IxqDZ</latexit>

τ = 1

<latexit sha1_base64="bkVEo6iulD5QczaT9TDtLGt6DBw=">AB73icbVDLSgNBEOyNrxhfUY9eBoPgKexKQD0IAUE8RjAPSJYwO5lNhszOrjO9QlgCfoMXD4p49Xe8+TdOHgdNLGgoqrp7goSKQy67reTW1ldW9/Ibxa2tnd294r7Bw0Tp5rxOotlrFsBNVwKxesoUPJWojmNAsmbwfB64jcfuTYiVvc4Srgf0b4SoWAUrdTqIE3JFfG6xZJbdqcgy8SbkxLMUesWvzq9mKURV8gkNabtuQn6GdUomOTjQic1PKFsSPu8bamiETd+Nr13TE6s0iNhrG0pJFP190RGI2NGUWA7I4oDs+hNxP+8dorhZ8JlaTIFZstClNJMCaT50lPaM5QjiyhTAt7K2EDqilDG1HBhuAtvrxMGmdlr1K+vKuUqjdPszjycATHcAoenEMVbqEGdWAg4Rle4c15cF6cd+dj1pz5hEewh84nz/vTo+u</latexit>

related via

electric states magnetic states dyonic states

slide-11
SLIDE 11

Seiberg-Witten theory

[Seiberg, Witten ’94]

SYM in 4d with gauge algebra N = 2

<latexit sha1_base64="rw7XicBo0p6UPuSX2aOyswWmn4=">AB9HicbVDLSgMxFL3xWeur6tJNsAiuykwpqAuh4EYQpIJ9QDuUTJpQzOZMckUylDwL9y4UMStH+POvzHTdqGtBy4czrmXnBw/Flwbx/lGK6tr6xubua389s7u3n7h4LCho0RVqeRiFTLJ5oJLlndcCNYK1aMhL5gTX94nfnNEVOaR/LBjGPmhaQvecApMVbyOiExA0pEeje5KncLRafkTIGXiTsnRZij1i18dXoRTUImDRVE67brxMZLiTKcCjbJdxLNYkKHpM/alkoSMu2l09ATfGqVHg4iZUcaPFV/X6Qk1Hoc+nYzC6kXvUz8z2snJrjwUi7jxDBJZw8FicAmwlkDuMcVo0aMLSFUcZsV0wFRhBrbU96W4C5+eZk0yiW3Urq8rxSrt0+zOnJwDCdwBi6cQxVuoAZ1oPAIz/AKb2iEXtA7+pitrqB5hUfwB+jzB6wWknw=</latexit>

gauge theory in IR su2

<latexit sha1_base64="JGbUAbZcvpENm5EStgGsfXv8JYs=">AB+HicbVDLSsNAFL2pr1ofjbp0M1gEVyUpBXVXcCO4qWBboQ1lMp20QyeTMA+hoL/4caFIm79FHf+jZO2C209cOFwzr3MmROmnCnted9OYW19Y3OruF3a2d3bL7sHh2VGEloiyQ8kfchVpQzQVuaU7vU0lxHLaCcdXud95oFKxRNzpSUqDGA8FixjB2kp9t9yLsR5FEo8zZab9Wt+teFVvBrRK/AWpwALNvVGyTExFRowrFSXd9LdZBhqRnhdFrqGUVTMZ4SLuWChxTFWSz4FN0apUBihJpR2g0U39fZDhWahKHdjOPqZa9XPzP6xodXQZE6nRVJD5Q5HhSCcobwENmKRE84klmEhmsyIywhITbsq2RL85S+vknat6terl7f1SuPmaV5HEY7hBM7Ah3NowDU0oQUEDzDK7w5j86L8+58zFcLzqLCI/gD5/MHRtST8Q=</latexit>

U(1)

<latexit sha1_base64="3RdFWZYymbn2YRnwVhWV7glC4k=">AB8nicbVBNSwMxEM36WetX1aOXYBHqpexKQb0VvAheKrhtYbuUbJptQ7PJksyKZSn4J7x4UMSrv8ab/8b046CtDwYe780wMy9KBTfgut/Oyura+sZmYau4vbO7t186OGwalWnKfKqE0u2IGCa4ZD5wEKydakaSLBWNLye+K0Hpg1X8h5GKQsT0pc85pSAlYIOsEfI/XHFO+uWym7VnQIvE29OymiORrf01ekpmiVMAhXEmMBzUwhzoFTwcbFTmZYSuiQ9FlgqSQJM2E+PXmMT63Sw7HStiTgqfp7IieJMaMksp0JgYFZ9Cbif16QXwZ5lymGTBJZ4viTGBQePI/7nHNKIiRJYRqbm/FdEA0oWBTKtoQvMWXl0nzvOrVqld3tXL9mkWRwEdoxNUQR6QHV0gxrIRxQp9Ixe0ZsDzovz7nzMWleceYRH6A+czx/c4JFt</latexit>

y2 = (x − u)(x − Λ2)(x + Λ2) , u = 1

2trφ2

<latexit sha1_base64="XbOFyqLfP9LEu4d6pxHso6cQjUk=">ACQnicbZBLSwMxEMez9V1fVY9egkVQ1LK7COpBELwIelCwVum2JZvN2mD2YTIRy1Lwm3nxE3jzA3jxoIhXD6aPQ7UOhPznPzNM8vNTwRXY9ouVGxkdG5+YnMpPz8zOzRcWFi9UoiVlZqIRF76RDHBY1YGDoJdpKRyBes4t8cduqVOyYVT+JzaKWsFpHrmIecEjBWo3DVqrt4H6/d4y2s13u3d2LmA1J3u/nGYO5tbmLvVpMAazPlQSgJzZx25rZNwu4hA2lU2uR1t1Eo2iW7G3hYOH1RP04bRSevSChOmIxUEGUqjp2CrWMSOBUsHbe04qlhN6Qa1Y1MiYRU7Wsi6CNV40T4DCR5sSAu+7gREYipVqRbzojAk31t9Yx/6tVNYS7tYzHqQYW096iUAsMCe7wxAGXjIJoGUGo5OatmDaJwQKGet5AcP5+eVhcuCVnu7R3tl08OH7o4ZhEy2gFrSEH7aADdIROURlR9Ihe0Tv6sJ6sN+vT+uq15qw+wiX0K6zvH4mgrCc=</latexit>

duality group given by: Γ = Γ(2)

<latexit sha1_base64="lhIGJ9EdFzMzDJkwQ3IcSw6tvIE=">AB+3icbZBLSwMxFIXv+Kz1Ndalm2AR6qbMlIK6EAouFNxUsA9oh5JM21oMjMkGbEMBX+JGxeKuPWPuPfmHa60NYDgY9zbsjN8WPOlHacb2tldW19YzO3ld/e2d3btw8KTRUlktAGiXgk2z5WlLOQNjTnLZjSbHwOW35o6tp3nqgUrEovNfjmHoCD0IWMIK1sXp2oXuNhcDoEmVQqpz27KJTdmZCy+DOoQhz1Xv2V7cfkUTQUBOleq4Tqy9FEvNCKeTfDdRNMZkhAe0YzDEgiovne0+QSfG6aMgkuaEGs3c3zdSLJQaC9MCqyHajGbmv9lnUQH517KwjRNCTZQ0HCkY7QtAjUZ5ISzcGMJHM7IrIEtMtKkrb0pwF7+8DM1K2a2WL+6qxdrtU1ZHDo7gGErgwhnU4Abq0ACj/AMr/BmTawX6936yEZXrHmFh/BH1ucPzoqTcg=</latexit>
  • interface crossing localized electric fields (W-bosons)
  • interface crossing localized magnetic fields (monopole point)
  • interface crossing localized dyonic fields (dyon point)

τ = i∞

<latexit sha1_base64="aGPsbiaXQBcjc4ua+2J3i3lIm5o=">AB+HicbZBLSwMxFIUz9VXro6Mu3QSL4KrMiKAuhIbwU0F+4DOUDJpg3NZIbkRhLwf/hxoUibv0p7vw3po+Fth4IfJxzQ25OlAmuwfO+ncLK6tr6RnGztLW9s1t29/abOjWKsgZNRaraEdFMcMkawEGwdqYSLBWtHwepK3HpjSPJX3kGcsTEhf8phTAtbquUAiMFXmOAyxjyrlvxqt5UeBn8OVTQXPWu+xX0UmoSJoEKonXH9zIR0QBp4KNS4HRLCN0SPqsY1GShOlwNF18jI+t08NxquyRgKfu7xsjkmidJ5GdTAgM9GI2Mf/LOgbi3DEZWaASTp7KDYCQ4onLeAeV4yCyC0QqrjdFdMBUYSC7apkS/AXv7wMzdOqf1a9vDur1G6fZnU0SE6QifIR+eohm5QHTUQRQY9o1f05jw6L8678zEbLTjzCg/QHzmfP9yskwg=</latexit>

τ = 0

<latexit sha1_base64="DHonA/0rVxX30zD5x3O1Kt2PiH0=">AB73icbVDLSgNBEOyNrxhfUY9eBoPgKexKQD0IAS+ClwjmAckSZiezyZDZ2XWmVwhLwG/w4kERr/6ON/GyeOgiQUNRVU3V1BIoVB1/12ciura+sb+c3C1vbO7l5x/6Bh4lQzXmexjHUroIZLoXgdBUreSjSnUSB5MxheT/zmI9dGxOoeRwn3I9pXIhSMopVaHaQpuSJut1hy+4UZJl4c1KCOWrd4lenF7M04gqZpMa0PTdBP6MaBZN8XOikhieUDWmfty1VNOLGz6b3jsmJVXokjLUthWSq/p7IaGTMKApsZ0RxYBa9ifif104xvPAzoZIUuWKzRWEqCcZk8jzpCc0ZypElGlhbyVsQDVlaCMq2BC8xZeXSeOs7FXKl3eVUvX2aRZHo7gGE7Bg3Oowg3UoA4MJDzDK7w5D86L8+58zFpzjzCQ/gD5/MH70uPsg=</latexit>

τ = 1

<latexit sha1_base64="8D5oKXFAQC5yYpEjrP7iSANriMs=">AB73icbVDLSgNBEOyNrxhfUY9eBoPgKexKQD0IAS+ClwjmAckSZiezyZDZ2XWmVwhLwG/w4kERr/6ON/GyeOgiQUNRVU3V1BIoVB1/12ciura+sb+c3C1vbO7l5x/6Bh4lQzXmexjHUroIZLoXgdBUreSjSnUSB5MxheT/zmI9dGxOoeRwn3I9pXIhSMopVaHaQpuSJet1hy+4UZJl4c1KCOWrd4lenF7M04gqZpMa0PTdBP6MaBZN8XOikhieUDWmfty1VNOLGz6b3jsmJVXokjLUthWSq/p7IaGTMKApsZ0RxYBa9ifif104xvPAzoZIUuWKzRWEqCcZk8jzpCc0ZypElGlhbyVsQDVlaCMq2BC8xZeXSeOs7FXKl3eVUvX2aRZHo7gGE7Bg3Oowg3UoA4MJDzDK7w5D86L8+58zFpzjzCQ/gD5/MH8M+Psw=</latexit>

Similar analysis for other theories (more exotic AD theories) N = 2

<latexit sha1_base64="k0ftJeyQZ1SDjp+QwsYdLJiyVMY=">AB+HicbVDLSgMxFL1TX7U+OurSTbAIrspMKVQXQsGNIEgF+4B2KJk04ZmMkOSEepQ8D/cuFDErZ/izr8x03ahrQcuHM65l5wcP+ZMacf5tnJr6xubW/ntws7u3n7RPjhsqSiRhDZJxCPZ8bGinAna1Exz2oklxaHPadsfX2V+4FKxSJxrycx9UI8FCxgBGsj9e1iL8R6RDBPb6foElX6dskpOzOgVeIuSAkWaPTtr94gIklIhSYcK9V1nVh7KZaEU6nhV6iaIzJGA9p1CBQ6q8dBZ8ik6NMkBJM0IjWbq74sUh0pNQt9sZjHVspeJ/3ndRAfnXspEnGgqyPyhIOFIRyhrAQ2YpETziSGYSGayIjLCEhNtuiqYEtzlL6+SVqXsVsXd9VS/eZpXkcejuEzsCFGtThGhrQBAIJPMrvFmP1ov1bn3MV3PWosIj+APr8wfYiZMB</latexit>
slide-12
SLIDE 12

Mathematical classification

[Snowden ’11]

  • time-reversal invariant configuration sticks to one component
  • only certain combinations of interfaces realizable
  • localized states from coset representatives (interesting statistics

between surfaces)

Real components of modular curves classified: Splits into disconnected sets of topological circles with “special points”

(1, 1) (1,0) (0,1)

(1, 0) i

SL(2, Z)

<latexit sha1_base64="Hmhp82DimQqTNF2G51sObNFLV3E=">ACAXicbVDLSgNBEJyNrxhfUS+Cl8EgRJCwGwLqLSCIBw8RzQOTJcxOZpMhs7PLTK8Ylojgr3jxoIhX/8Kbf+PkcdBoQUNR1U13lxcJrsG2v6zU3PzC4lJ6ObOyura+kd3cqukwVpRVaShC1fCIZoJLVgUOgjUixUjgCVb3+qcjv37LlOahvIZBxNyAdCX3OSVgpHZ2pwXsDpKri2G+eIhbAYGe5yU3w4N2NmcX7DHwX+JMSQ5NUWlnP1udkMYBk0AF0brp2BG4CVHAqWDTCvWLCK0T7qsagkAdNuMv5giPeN0sF+qExJwGP150RCAq0HgWc6RyfqW8k/uc1Y/CP3YTLKAYm6WSRHwsMIR7FgTtcMQpiYAihiptbMe0RSiY0DImBGf25b+kViw4pcLJZSlXPnuYxJFGu2gP5ZGDjlAZnaMKqiK7tETekGv1qP1bL1Z75PWlDWNcBv9gvXxDaPGls4=</latexit>

Γ(2)

<latexit sha1_base64="t96bPsn7mPx72yD/9zwrmykJvEo=">AB8HicbVDLSgNBEOz1GeMr6tHLYBDiJeyGgHoLCOoxgnlIsoTeySQZMrO7zMwKYQn4D148KOLVz/Hm3zh5HDSxoKGo6qa7K4gF18Z1v52V1bX1jc3MVnZ7Z3dvP3dwWNdRoir0UhEqhmgZoKHrGa4EawZK4YyEKwRDK8mfuORKc2j8N6MYuZL7Ie8xykaKz20b1BKLJTOrm8W3SnIMvEm5M8zFHt5L7a3YgmkoWGCtS65bmx8VNUhlPBxtl2olmMdIh91rI0RMm0n04PHpNTq3RJL1K2QkOm6u+JFKXWIxnYTolmoBe9ifif10pM78JPeRgnhoV0tqiXCGIiMvmedLli1IiRJUgVt7cSOkCF1NiMsjYEb/HlZVIvFb1y8fKunK9cP83iyMAxnEABPDiHCtxCFWpAQcIzvMKbo5wX5935mLWuOPMIj+APnM8fvamQJg=</latexit>

(a, 0) (0, b) (N/2, b) (a, N/2)

Γ(N) = Γ(4n)

<latexit sha1_base64="JV5l7JuA8A8orYdak6u5AE4TQJ4=">AB/3icbZBLSwMxFIUzPmt9VQU3boJFaDdlRgrqQigI6koq2Ae0Q7mTZtrQJDMkGaHUgv4VNy4UcevfcOe/MX0stPVA4OcG3JzgpgzbVz321lYXFpeWU2tpdc3Nre2Mzu7VR0litAKiXik6gFoypmkFcMp/VYURABp7WgdzHKa/dUaRbJO9OPqS+gI1nICBhrtTL7zSsQAnI3eXyOp1yU+VYm6xbcsfA8eFPIoqnKrcxXsx2RFBpCAetG54bG38AyjDC6TDdTDSNgfSgQxsWJQiq/cF4/yE+sk4bh5GyRxo8dn/fGIDQui8COynAdPVsNjL/yxqJCU/9AZNxYqgk4fChGMT4VEZuM0UJYb3LQBRzO6KSRcUEGMrS9sSvNkvz0P1uOAVC2e3xWzp8nFSRwodoEOUQx46QSV0jcqogh6QM/oFb05T86L8+58TEYXnGmFe+iPnM8fEceUpA=</latexit>

several components

slide-13
SLIDE 13

6d interpretation

Maxwell theory as anti-symmetric 6d tensor on a torus B

<latexit sha1_base64="4gEiluOD0lbjf4zQTqbhXbqQaI4=">AB6HicbVA9SwNBEJ2LXzF+RS1tFoNgFe5EULugjWCTgPmA5Ah7m7lkzd7esbsnhCNgb2OhiK0/yc5/4+aj0MQHA4/3ZpiZFySCa+O6305uZXVtfSO/Wdja3tndK+4fNHScKoZ1FotYtQKqUXCJdcONwFaikEaBwGYwvJn4zUdUmsfy3owS9CPalzkjBor1a67xZJbdqcgy8SbkxLMUe0Wvzq9mKURSsME1brtuYnxM6oMZwLHhU6qMaFsSPvYtlTSCLWfTQ8dkxOr9EgYK1vSkKn6eyKjkdajKLCdETUDvehNxP+8dmrCSz/jMkNSjZbFKaCmJhMviY9rpAZMbKEMsXtrYQNqKLM2GwKNgRv8eVl0jgre+flq9p5qXL3NIsjD0dwDKfgwQVU4BaqUAcGCM/wCm/Og/PivDsfs9acM4/wEP7A+fwBwPaNWw=</latexit>

A = Z

C

B , AD = − Z

C

B

<latexit sha1_base64="ul03igodyJz3kCc8aGHKaEwM72o=">ACN3icbVDPSxtBGJ3VqjH+Su3Ry9AgeNCwK4J6EBLTgyAUC40GsmGZnf1iBmdn15lvi2FZ8I/y0n+jN714sJRe+x908uOgiQ8GHu+9+b6ZF6ZSGHTdR2du/sPC4lJpubyura+Ufm4eWmSTHNo8UQmuh0yA1IoaKFACe1UA4tDCVfhTXPoX/0AbUSivuMghW7MrpXoCc7QSkHla4OeUF8oDHIf4Q5HE/NQZlDkzaKgp9Tf3aX+bcYi2gi+2PDebFxDNEkHlapbc0egs8SbkCqZ4CKo/PKjhGcxKOSGdPx3BS7OdMouISi7GcGUsZv2DV0LFUsBtPNR2sLum2ViPYSbY9COlJf38hZbMwgDm0yZtg3095QfM/rZNg76uZCpRmC4uNFvUxSTOiwRBoJDRzlwBLGtbBvpbzPNONoqy7bErzpL8+Sy/2ad1A7/nZQrZ/fj+sokS3ymewQjxySOjkjF6RFOHkgT+SF/HZ+Os/OH+fvODrnTCr8RN7A+fcfwYisXA=</latexit>

charged fields form strings coupling to B

<latexit sha1_base64="4gEiluOD0lbjf4zQTqbhXbqQaI4=">AB6HicbVA9SwNBEJ2LXzF+RS1tFoNgFe5EULugjWCTgPmA5Ah7m7lkzd7esbsnhCNgb2OhiK0/yc5/4+aj0MQHA4/3ZpiZFySCa+O6305uZXVtfSO/Wdja3tndK+4fNHScKoZ1FotYtQKqUXCJdcONwFaikEaBwGYwvJn4zUdUmsfy3owS9CPalzkjBor1a67xZJbdqcgy8SbkxLMUe0Wvzq9mKURSsME1brtuYnxM6oMZwLHhU6qMaFsSPvYtlTSCLWfTQ8dkxOr9EgYK1vSkKn6eyKjkdajKLCdETUDvehNxP+8dmrCSz/jMkNSjZbFKaCmJhMviY9rpAZMbKEMsXtrYQNqKLM2GwKNgRv8eVl0jgre+flq9p5qXL3NIsjD0dwDKfgwQVU4BaqUAcGCM/wCm/Og/PivDsfs9acM4/wEP7A+fwBwPaNWw=</latexit>

literally the complex structure of torus τ

<latexit sha1_base64="gun64YdI3g68Wcq3Z4PKVSG7PjE=">AB63icbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoN4KXgQvFewHtKFstpt26e4m7E6Egr+Ai8eFPHqH/LmvzFpe9DWBwOP92aYmRfEUlh03W+nsLa+sblV3C7t7O7tH5QPj1o2SgzjTRbJyHQCarkUmjdRoOSd2HCqAsnbwfgm9uP3FgR6QecxNxXdKhFKBjFXOohTfrlilt1ZyCrxFuQCizQ6Je/eoOIJYprZJa2/XcGP2UGhRM8mpl1geUzamQ97NqKaKWz+d3TolZ5kyIGFkstJIZurviZQqaycqyDoVxZFd9nLxP6+bYHjlp0LHCXLN5ovCRBKMSP4GQjDGcpJRigzIruVsBE1lGEWTykLwVt+eZW0LqperXp9X6vU757mcRThBE7hHDy4hDrcQgOawGAEz/AKb45yXpx352PeWnAWER7DHzifP03Cjt0=</latexit>

∆ = 0

<latexit sha1_base64="Y1S27GjfEDdOtJ3QNe39yBK+HPQ=">AB8XicbVDLSgNBEJyNrxhfUY9eBoPgKeyKoB6EgB4ELxHMA5MlzE56kyGzs8tMrxCWgB/hxYMiXv0b/6Nk8dBEwsaiqpuruCRAqDrvt5JaWV1bX8uFjc2t7Z3i7l7dxKnmUOxjHUzYAakUFBDgRKaiQYWBRIaweBq7DceQRsRq3scJuBHrKdEKDhDKz20r0Eio5fU7RLbtmdgC4Sb0ZKZIZqp/jV7sY8jUAhl8yYlucm6GdMo+ASRoV2aiBhfMB60LJUsQiMn0uHtEjq3RpGtbCulE/T2RsciYRTYzoh38x7Y/E/r5VieO5nQiUpguLTRWEqKcZ0/D7tCg0c5dASxrWwt1LeZ5pxtCEVbAje/MuLpH5S9k7LF3enpcrt0zSOPDkgh+SYeOSMVMgNqZIa4USRZ/JK3hzjvDjvzse0NefMItwnf+B8/gAxSZBm</latexit>

1-cycle pinches massless states charges by type of 1-cycle C = qeC − qmC

<latexit sha1_base64="mcAafeK2OzdpE4tW+oS6vjg7QAs=">ACHXicbZDLSgMxFIYz9VbrerSTbAIbiwzUlAXQqEbwU0Fe4G2lEx62oZmLiZnxDIUfA43vobF4q4cCO+jZm2i9p6IPDzfyfnJL8bSqHRtn+s1NLyupaej2zsbm1vZPd3avqIFIcKjyQgaq7TIMUPlRQoIR6qIB5roSaOyglvHYPSovAv8VhC2P9XzRFZyhsdrZQole0rs20CbCA47nxa6MYBSXRvTEG+WKOgkoJ3N2Xl7XHROFORI9Mqt7NfzU7AIw985Jp3XDsEFsxUyi4hFGmGWkIGR+wHjSM9JkHuhWPd47okXE6tBsoc3ykY3f2Rsw8rYeazo9hn09zxLzP9aIsHveioUfRg+nyzqRpJiQJOoaEco4CiHRjCuhHkr5X2mGEcTaMaE4Mx/eVFUT/NOIX9xU8gVrx8ncaTJATkx8QhZ6RIrkiZVAgnT+SFvJF369l6tT6sz0lrypGuE/+lPX9C+T6ovA=</latexit>
slide-14
SLIDE 14

Congruence subgroups

Demand invariance of certain line operators in 4d exp ⇣ i Z

L×(rC+sC)

B ⌘ = exp ⇣ ir Z

L

A − is Z

L

AD ⌘

<latexit sha1_base64="qJe0g3GPZ+AKnTD5mjybjyHcyw=">ACbHicbVFbSxtBFJ7d3jS2Na19aBHh0NASkYbdEqh9KFjtQ0EfFIwK2bDMTk7i4OzsMnO2JCwLBf+hb/6EvQ3dLIJxduBge985/5NkitpKQiuPf/R4ydPny0tN1aev3i52nz1+sRmhRHYE5nKzFnCLSqpsUeSFJ7lBnmaKDxNLvZm8dNfaKzM9DFNcxykfKzlSApOjoqblxFOcoh25bgNEiKpKS4PICKZoW2cQgnVI8pE1VgVe5VsAX2Jm9wOKM3K9itG23CN7jV1cz7HsB3+ORc+9+Nf9T5cbMVdILa4D4IF6DFnYN6+iYSaKFDUJxa3th0FOg5IbkJh1YgKizkXF3yMfQc1d8cMynrbCj4ZgijzLinCWr2ZkXJU2unaeIyU07n9m5sRj4U6xc02h6UucFoRbzQaNCAWUwUx6G0qAgNXWACyPdriDOueGC3P80nAjh3ZPvg5PnbDb+XrUbe3s/57LscTW2XvWZiH7wnbYT3bIekywP96q9Z75/313/jr/sY81fcWEq6xW+Z/Adqb7d4</latexit>

restricts the identifications: SL(2, Z) → Γ

<latexit sha1_base64="CxYFMhY7K+f02lRGZdXc/XOV7k4=">ACE3icbVDLSgNBEJyN7/iKevQyGIQoEnYloN4CHhT0oGhUzIbQO5kgzO7y0yvGpaAn+DFX/HiQRGvXrz5N04eB18FDUVN91dQSyFQdf9dDIjo2PjE5NT2emZ2bn53MLimYkSzXiFRTLSFwEYLkXIKyhQ8otYc1CB5OfB1W7P7/m2ogoPMVOzGsKWqFoCgZopXpu3Ud+i+nJYbewueErwHYQpJfdNepr0WojaB3dUH8PlIJ6Lu8W3T7oX+INSZ4McVTPfiNiCWKh8gkGFP13BhrKWgUTPJu1k8Mj4FdQYtXLQ1BcVNL+z916apVGrQZaVsh0r76fSIFZUxHBbazd7X57fXE/7xqgs3tWirCOEesGiZiIpRrQXEG0IzRnKjiXAtLC3UtYGDQxtjFkbgvf75b/kbLPolYo7x6V8+eBuEMckWSYrpEA8skXKZJ8ckQph5J48kmfy4jw4T86r8zZozTjDCJfIDzjvX8JRnos=</latexit>

(example if and are measured mod and the line operators are invariant) Γ(2)

<latexit sha1_base64="rBUPw1DP5k9rsBlqk5SzY4CNgsA=">AB8HicbVDLSgNBEOz1GeMr6tHLYBDiJeyGgHqLeNBjBPOQZAm9k0kyZGZ3mZkVwhLwH7x4UMSrn+PNv3HyOGhiQUNR1U13VxALro3rfjsrq2vrG5uZrez2zu7efu7gsK6jRFWo5GIVDNAzQPWc1wI1gzVgxlIFgjGF5P/MYjU5pH4b0ZxcyX2A95j1M0Vnpo36CUWCidXJ5t+hOQZaJNyd5mKPayX21uxFNJAsNFah1y3Nj46eoDKeCjbPtRLMY6RD7rGVpiJpP50ePCanVumSXqRshYZM1d8TKUqtRzKwnRLNQC96E/E/r5WY3oWf8jBODAvpbFEvEcREZPI96XLFqBEjS5Aqbm8ldIAKqbEZW0I3uLy6ReKnrl4uVdOV+5eprFkYFjOIECeHAOFbiFKtSAgoRneIU3RzkvzrvzMWtdceYRHsEfOJ8/vCiQIQ=</latexit>

r

<latexit sha1_base64="kXsAdUzFZPoaqKFV85Ieihb6Pw=">AB6HicbVA9SwNBEJ2LXzF+RS1tFoNgFe4koHYRG8sEzAckR9jbzCVr9vaO3T0hHAF7GwtFbP1Jdv4bNx+FJj4YeLw3w8y8IBFcG9f9dnJr6xubW/ntws7u3v5B8fCoqeNUMWywWMSqHVCNgktsG4EthOFNAoEtoLR7dRvPaLSPJb3ZpygH9GB5CFn1FiprnrFklt2ZyCrxFuQEixQ6xW/uv2YpRFKwTVuO5ifEzqgxnAieFbqoxoWxEB9ixVNItZ/NDp2QM6v0SRgrW9KQmfp7IqOR1uMosJ0RNUO97E3F/7xOasIrP+MySQ1KNl8UpoKYmEy/Jn2ukBkxtoQyxe2thA2poszYbAo2BG/5VXSvCh7lfJ1vVKq3jzN48jDCZzCOXhwCVW4gxo0gAHCM7zCm/PgvDjvzse8NecsIjyGP3A+fwAGw42B</latexit>

s

<latexit sha1_base64="wulNW+MVusDprRSb5ReqPQI+1Qw=">AB6HicbVA9SwNBEJ2LXzF+RS1tFoNgFe4koHYRG8sEzAckR9jbzCVr9vaO3T0hHAF7GwtFbP1Jdv4bNx+FJj4YeLw3w8y8IBFcG9f9dnJr6xubW/ntws7u3v5B8fCoqeNUMWywWMSqHVCNgktsG4EthOFNAoEtoLR7dRvPaLSPJb3ZpygH9GB5CFn1FiprnvFklt2ZyCrxFuQEixQ6xW/uv2YpRFKwTVuO5ifEzqgxnAieFbqoxoWxEB9ixVNItZ/NDp2QM6v0SRgrW9KQmfp7IqOR1uMosJ0RNUO97E3F/7xOasIrP+MySQ1KNl8UpoKYmEy/Jn2ukBkxtoQyxe2thA2poszYbAo2BG/5VXSvCh7lfJ1vVKq3jzN48jDCZzCOXhwCVW4gxo0gAHCM7zCm/PgvDjvzse8NecsIjyGP3A+fwAIR42C</latexit>

2

<latexit sha1_base64="TNwRGjFpzMDkQZTQbQXlDp03EVM=">AB6HicbVA9SwNBEJ3zM8avqKXNYhCswl0IqF3ExjIB8wHJEfY2c8mavb1jd08IR8DexkIRW3+Snf/GzUehiQ8GHu/NMDMvSATXxnW/nbX1jc2t7dxOfndv/+CwcHTc1HGqGDZYLGLVDqhGwSU2DcC24lCGgUCW8Hoduq3HlFpHst7M07Qj+hA8pAzaqxUL/cKRbfkzkBWibcgRVig1it8dfsxSyOUhgmqdcdzE+NnVBnOBE7y3VRjQtmIDrBjqaQRaj+bHToh51bpkzBWtqQhM/X3REYjrcdRYDsjaoZ62ZuK/3md1IRXfsZlkhqUbL4oTAUxMZl+TfpcITNibAlitbCRtSRZmx2eRtCN7y6ukWS5ldJ1vVKs3jzN48jBKZzBXhwCVW4gxo0gAHCM7zCm/PgvDjvzse8dc1ZRHgCf+B8/gCltI1B</latexit>

Alternatively: as torsion points on Jacobian J (E) = H1(E, R)/H1(E, Z) ' e E

<latexit sha1_base64="vgJWhxGisBABFasJkJd1jb5/cBc=">ACN3icbZDLSgMxFIYzXmu9V26CRahgtQZKagLoSCFoiBVbBU7tWQypxqauZhklDIM+FBufA13unGhiFvfwPQG3n4I/HznhHPO74ScSWaT8bI6Nj4xGRqKj09Mzs3n1lYrMkgEhSqNOCBOHOIBM58qCqmOJyFAojncDh12nvd+ukNCMkC/0R1Qmh45NJnLUaJ0qiZObQ9oq4o4fF+kiut4V1cvrBwrTe4THydreGMI8ZCea2pL5sE1tm+ZC4pxF+JS0sxkzbzZE/5rIHJoEqzcyj7QY08sBXlBMp65YZqkZMhGKUQ5K2IwkhoW1yCXVtfeKBbMS9uxO8qomLW4HQz1e4R7/iIknZcdzdGd3b/m71oX/1eqRam03YuaHkQKf9ge1Io5VgLshYpcJoIp3tCFUML0rpldEKp01GkdgvX75L+mtpm3Cvmdo0K2eHDXjyOFltEKyiELbaEiKqMKqiK7tEzekVvxoPxYrwbH/3WEWMQ4RL6IePzC92Dqhc=</latexit>

Nσ ∈ H1(E, Z) : B ∼ ˜ A ∧ σ

<latexit sha1_base64="DC/a8GOpO2HDkCdfVDVHm1jJt4=">ACL3icbVBdSxtBFJ1NbdVo27R9OViEBRK2C0BtU9WsQiCpNB80GwaZmdv4pCZ2e3MbEtYAv1BvSv+CKiK/+C2eTPLSmBwYO5zLnXuiVHBjf/aKz1bev5ieW1vLb+8tXrypu3LZNkmGTJSLRnYgaFxh03IrsJNqpDIS2I5GR4Xf/ona8ER9teMUe5IOFR9wRq2T+pXPZxAaPpQUQq7g5HsA28fvIZTUnkdR/m2y8xHCHxmN4bDISQgtFzHmnyYQ/sJ4iPpfqXq1/wpYJEc1IlczT6lcswTlgmUVkmqDHdwE9tL6faciZwUg4zgylIzrErqOKSjS9fHrvBLacEsMg0e4pC1P174mcSmPGMnLJ4hDz1CvE/3ndzA72ejlXaWZRsdmiQSbAJlCUBzHXyKwYO0KZ5u6vwM6psy6isuhODpyYuk9aEW1Gv7X+rVg9PfszpWyAbZJNskILvkgJyQBmkSRi7IJbkht94f78q78+5n0ZI3r/Ad+QfewyPImqej</latexit>

with decomposition: direct relation to congruence subgroups (example: preserves torsion)

Γ(2)

<latexit sha1_base64="rBUPw1DP5k9rsBlqk5SzY4CNgsA=">AB8HicbVDLSgNBEOz1GeMr6tHLYBDiJeyGgHqLeNBjBPOQZAm9k0kyZGZ3mZkVwhLwH7x4UMSrn+PNv3HyOGhiQUNR1U13VxALro3rfjsrq2vrG5uZrez2zu7efu7gsK6jRFWo5GIVDNAzQPWc1wI1gzVgxlIFgjGF5P/MYjU5pH4b0ZxcyX2A95j1M0Vnpo36CUWCidXJ5t+hOQZaJNyd5mKPayX21uxFNJAsNFah1y3Nj46eoDKeCjbPtRLMY6RD7rGVpiJpP50ePCanVumSXqRshYZM1d8TKUqtRzKwnRLNQC96E/E/r5WY3oWf8jBODAvpbFEvEcREZPI96XLFqBEjS5Aqbm8ldIAKqbEZW0I3uLy6ReKnrl4uVdOV+5eprFkYFjOIECeHAOFbiFKtSAgoRneIU3RzkvzrvzMWtdceYRHsEfOJ8/vCiQIQ=</latexit>

Z2 × Z2

<latexit sha1_base64="mobgRTU2qBHJ1aCKh0UVRZ3jU=">ACXicbVBNS8NAEN34WetX1KOXxSJ4KkpqLeKF48V7Ae2IWy2m3bpZhN2J0IJBU9e/CtePCji1X/gzX/jpu3Btj4YeLw3w8y8IBFcg+P8WCura+sbm4Wt4vbO7t6+fXDY1HGqKGvQWMSqHRDNBJesARwEayeKkSgQrBUMr3O/9cCU5rG8g1HCvIj0JQ85JWAk38bdiMAgCL7sV/BXeAR03Oab5ecsjMBXibujJTQDHXf/u72YpGTAIVROuO6yTgZUQBp4KNi91Us4TQIemzjqGSmI1eNvlkjE+N0sNhrExJwBP170RGIq1HUWA68xv1opeL/3mdFMIL+MySYFJOl0UpgJDjPNYcI8rRkGMDCFUcXMrpgOiCAUTXtGE4C6+vEyalbJbLV/eVku1q8dpHAV0jE7QGXLROaqhG1RHDUTRE3pBb+jderZerQ/rc9q6Ys0iPEJzsL5+AWHWmo4=</latexit>

natural generalization to higher-genus

slide-15
SLIDE 15

Other geometrical interfaces

Why stop there?

So far: varied the shape of a torus along one direction (+ subtleties involving time-reversal)

Vary instead: genus, fluxes, … Some control over chiral degrees of freedom via anomaly Again use interplay between real geometry and time-reversal to secure protection of localized states

slide-16
SLIDE 16

Conclusions

  • Use duality to explore time-reversal invariant regions in moduli space
  • Uncovers connection to real elliptic curves for Maxwell theory
  • Deduce localized degrees of freedom from time-reversal invariance of

interfaces (associated to special points in moduli space, e.g. cusps)

  • Passes tests where we have control ( supersymmetric theories)
  • Embedding into higher-dimensional theories makes the geometric

perspective more apparent

  • Explore further (more exotic) possibilities for geometrically engineered

interfaces

N = 2

<latexit sha1_base64="k0ftJeyQZ1SDjp+QwsYdLJiyVMY=">AB+HicbVDLSgMxFL1TX7U+OurSTbAIrspMKVQXQsGNIEgF+4B2KJk04ZmMkOSEepQ8D/cuFDErZ/izr8x03ahrQcuHM65l5wcP+ZMacf5tnJr6xubW/ntws7u3n7RPjhsqSiRhDZJxCPZ8bGinAna1Exz2oklxaHPadsfX2V+4FKxSJxrycx9UI8FCxgBGsj9e1iL8R6RDBPb6foElX6dskpOzOgVeIuSAkWaPTtr94gIklIhSYcK9V1nVh7KZaEU6nhV6iaIzJGA9p1CBQ6q8dBZ8ik6NMkBJM0IjWbq74sUh0pNQt9sZjHVspeJ/3ndRAfnXspEnGgqyPyhIOFIRyhrAQ2YpETziSGYSGayIjLCEhNtuiqYEtzlL6+SVqXsVsXd9VS/eZpXkcejuEzsCFGtThGhrQBAIJPMrvFmP1ov1bn3MV3PWosIj+APr8wfYiZMB</latexit>
slide-17
SLIDE 17

Outlook

  • Anomalies in duality groups [Tachikawa, Yonekura ’17], [Cordova, Freed, Lam, Seiberg

‘19], [Hsieh, Tachikawa, Yonekura ’19]

  • Non-Abelian groups with 1-form center symmetries [Aharony, Seiberg,

Tachikawa ’13],… (relation to MW-torsion, e.g. [Hajouji, Oehlmann ’19])

  • Realization within higher-dimensional internal space (Spin-7

manifolds) e.g. recent progress in [Cvetic, Heckman, Rochais, Torres, Zoccarato ’20]

  • Tests beyond SUSY