Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y,...

14
Brane quantization Work in progress with E.Witten

Transcript of Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y,...

Page 1: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Brane quantizationWork in progress with E.Witten

Page 2: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Quantization• Naive:

• Real phase space M -> Hilbert space H

• Real functions on M -> self-adjoint operators on H

• Slightly better:

• Real phase space M + pre-quantum line bundle L (curvature )

• Define path integral

[f , g] = �i~\{f, g}

<latexit sha1_base64="Bm/vpAlEuQR7r5+c108rhsZFfsI=">AAACGXicbVC7TsMwFHXKq5RXgJHFokJiKFWCimBBqmBhLBJ9SElUOY6TWnUesh1QFeU3WPgVFgYQYoSJv8FNM0DLkSwfn3Ovru9xE0aFNIxvrbK0vLK6Vl2vbWxube/ou3s9Eaccky6OWcwHLhKE0Yh0JZWMDBJOUOgy0nfH11O/f0+4oHF0JycJcUIURNSnGEklDXXDskdIQr8Biztw4CU8gVS9XMSh/UA9ovQM2pnfCOwc5kO9bjSNAnCRmCWpgxKdof5pezFOQxJJzJAQlmkk0skQlxQzktfsVJAE4TEKiKVohEIinKzYLIdHSvGgH3N1IgkL9XdHhkIhJqGrKkMkR2Lem4r/eVYq/Qsno1GSShLh2SA/ZVDGcBoT9CgnWLKJIghzqv4K8QhxhKUKs6ZCMOdXXiS906bZap7dturtqzKOKjgAh+AYmOActMEN6IAuwOARPINX8KY9aS/au/YxK61oZc8++APt6wfeKJ5l</latexit>

ZD� e

1~R�⇤a

<latexit sha1_base64="JKYrbG6f7TSUT4SYll6u8/dPLQ8=">AAACG3icbVDLSgMxFM34rPU16tJNsAgiUmZKRZdFXbisYB/QacudNNOGJjNDkhHKMP/hxl9x40IRV4IL/8b0sdDWA4HDOeeSe48fc6a043xbS8srq2vruY385tb2zq69t19XUSIJrZGIR7Lpg6KchbSmmea0GUsKwue04Q+vx37jgUrFovBej2LaFtAPWcAIaCN17ZLHQo1vvD4IAd4Zpp3UCySQ1M1Sb+CDzPAkMQ10TjFkXbvgFJ0J8CJxZ6SAZqh27U+vF5FE0FATDkq1XCfW7RSkZoTTLO8lisZAhtCnLUNDEFS108ltGT42Sg8HkTTP7DFRf0+kIJQaCd8kBeiBmvfG4n9eK9HBZTtlYZxoGpLpR0HCsY7wuCjcY5ISzUeGAJHM7IrJAEw12tSZNyW48ycvknqp6JaL53flQuVqVkcOHaIjdIJcdIEq6BZVUQ0R9Iie0St6s56sF+vd+phGl6zZzAH6A+vrBxZzoNU=</latexit>

1

~!

<latexit sha1_base64="EK3hJ/m5GrypQ317tAhHamsoBD4=">AAAB/3icbVDLSsNAFJ3UV62vqODGzWARXJVEKrosunFZwT6gCWUynbRD5xFmJkKJWfgrblwo4tbfcOffOG2z0NYDFw7n3Mu990QJo9p43rdTWlldW98ob1a2tnd299z9g7aWqcKkhSWTqhshTRgVpGWoYaSbKIJ4xEgnGt9M/c4DUZpKcW8mCQk5GgoaU4yMlfruURArhDM/z4JRhFQOA8nJEPXdqlfzZoDLxC9IFRRo9t2vYCBxyokwmCGte76XmDBDylDMSF4JUk0ShMdoSHqWCsSJDrPZ/Tk8tcoAxlLZEgbO1N8TGeJaT3hkOzkyI73oTcX/vF5q4qswoyJJDRF4vihOGTQSTsOAA6oINmxiCcKK2lshHiEbiLGRVWwI/uLLy6R9XvPrtYu7erVxXcRRBsfgBJwBH1yCBrgFTdACGDyCZ/AK3pwn58V5dz7mrSWnmDkEf+B8/gAUdZYm</latexit>

Page 3: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

The art of quantization

• Anomalies: operator algebra is deformed, symmetries broken, not unique

• Perturbative approximation: deformation quantization

• M = T*N (shifted) : half-densities on N, differential operators (twisted)

• M complex, (1,1) symplectic form: holomorphic sections of L

• General: quantize patches and hope they glue well…

Page 4: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Brane quantization• Complexify (M, ) to (Y, )

• Define A-model on (Y, ): symplectic form Im , B-field Re

• Define A-brane Bcc: support Y, trivial CP bundle

• Define A brane B: support M, CP bundle wt curvature -Re

• H = Hom(B,Bcc)

• Holomorphic functions on Y quantized by Hom(Bcc,Bcc)

!

<latexit sha1_base64="b8ekEyDHVNPSzn6v2Np+CPPHlWk=">AAAB7nicbVDLSgNBEOyNrxhfUY9eBoPgKeyKosegF48RzAOSJcxOOsmQmdllZlYISz7CiwdFvPo93vwbJ8keNLGgoajqprsrSgQ31ve/vcLa+sbmVnG7tLO7t39QPjxqmjjVDBssFrFuR9Sg4AoblluB7UQjlZHAVjS+m/mtJ9SGx+rRThIMJR0qPuCMWie1SDeWOKS9csWv+nOQVRLkpAI56r3yV7cfs1SiskxQYzqBn9gwo9pyJnBa6qYGE8rGdIgdRxWVaMJsfu6UnDmlTwaxdqUsmau/JzIqjZnIyHVKakdm2ZuJ/3md1A5uwoyrJLWo2GLRIBXExmT2O+lzjcyKiSOUae5uJWxENWXWJVRyIQTLL6+S5kU1uKxePVxWard5HEU4gVM4hwCuoQb3UIcGMBjDM7zCm5d4L96797FoLXj5zDH8gff5A+j3j00=</latexit>

<latexit sha1_base64="z0khwvx7z/e85jsbttydyh7QqeE=">AAAB7nicbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoseiF29WsB/QhrLZTtqlu0nY3Qgl9Ed48aCIV3+PN/+N2zYHbX0w8Hhvhpl5QSK4Nq777RTW1jc2t4rbpZ3dvf2D8uFRS8epYthksYhVJ6AaBY+wabgR2EkUUhkIbAfj25nffkKleRw9mkmCvqTDiIecUWOlNundSxzSfrniVt05yCrxclKBHI1++as3iFkqMTJMUK27npsYP6PKcCZwWuqlGhPKxnSIXUsjKlH72fzcKTmzyoCEsbIVGTJXf09kVGo9kYHtlNSM9LI3E//zuqkJr/2MR0lqMGKLRWEqiInJ7Hcy4AqZERNLKFPc3krYiCrKjE2oZEPwll9eJa2LqlerXj7UKvWbPI4inMApnIMHV1CHO2hAExiM4Rle4c1JnBfn3flYtBacfOYY/sD5/AG3948t</latexit>

<latexit sha1_base64="z0khwvx7z/e85jsbttydyh7QqeE=">AAAB7nicbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoseiF29WsB/QhrLZTtqlu0nY3Qgl9Ed48aCIV3+PN/+N2zYHbX0w8Hhvhpl5QSK4Nq777RTW1jc2t4rbpZ3dvf2D8uFRS8epYthksYhVJ6AaBY+wabgR2EkUUhkIbAfj25nffkKleRw9mkmCvqTDiIecUWOlNundSxzSfrniVt05yCrxclKBHI1++as3iFkqMTJMUK27npsYP6PKcCZwWuqlGhPKxnSIXUsjKlH72fzcKTmzyoCEsbIVGTJXf09kVGo9kYHtlNSM9LI3E//zuqkJr/2MR0lqMGKLRWEqiInJ7Hcy4AqZERNLKFPc3krYiCrKjE2oZEPwll9eJa2LqlerXj7UKvWbPI4inMApnIMHV1CHO2hAExiM4Rle4c1JnBfn3flYtBacfOYY/sD5/AG3948t</latexit>

<latexit sha1_base64="z0khwvx7z/e85jsbttydyh7QqeE=">AAAB7nicbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoseiF29WsB/QhrLZTtqlu0nY3Qgl9Ed48aCIV3+PN/+N2zYHbX0w8Hhvhpl5QSK4Nq777RTW1jc2t4rbpZ3dvf2D8uFRS8epYthksYhVJ6AaBY+wabgR2EkUUhkIbAfj25nffkKleRw9mkmCvqTDiIecUWOlNundSxzSfrniVt05yCrxclKBHI1++as3iFkqMTJMUK27npsYP6PKcCZwWuqlGhPKxnSIXUsjKlH72fzcKTmzyoCEsbIVGTJXf09kVGo9kYHtlNSM9LI3E//zuqkJr/2MR0lqMGKLRWEqiInJ7Hcy4AqZERNLKFPc3krYiCrKjE2oZEPwll9eJa2LqlerXj7UKvWbPI4inMApnIMHV1CHO2hAExiM4Rle4c1JnBfn3flYtBacfOYY/sD5/AG3948t</latexit>

<latexit sha1_base64="z0khwvx7z/e85jsbttydyh7QqeE=">AAAB7nicbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoseiF29WsB/QhrLZTtqlu0nY3Qgl9Ed48aCIV3+PN/+N2zYHbX0w8Hhvhpl5QSK4Nq777RTW1jc2t4rbpZ3dvf2D8uFRS8epYthksYhVJ6AaBY+wabgR2EkUUhkIbAfj25nffkKleRw9mkmCvqTDiIecUWOlNundSxzSfrniVt05yCrxclKBHI1++as3iFkqMTJMUK27npsYP6PKcCZwWuqlGhPKxnSIXUsjKlH72fzcKTmzyoCEsbIVGTJXf09kVGo9kYHtlNSM9LI3E//zuqkJr/2MR0lqMGKLRWEqiInJ7Hcy4AqZERNLKFPc3krYiCrKjE2oZEPwll9eJa2LqlerXj7UKvWbPI4inMApnIMHV1CHO2hAExiM4Rle4c1JnBfn3flYtBacfOYY/sD5/AG3948t</latexit>

<latexit sha1_base64="z0khwvx7z/e85jsbttydyh7QqeE=">AAAB7nicbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoseiF29WsB/QhrLZTtqlu0nY3Qgl9Ed48aCIV3+PN/+N2zYHbX0w8Hhvhpl5QSK4Nq777RTW1jc2t4rbpZ3dvf2D8uFRS8epYthksYhVJ6AaBY+wabgR2EkUUhkIbAfj25nffkKleRw9mkmCvqTDiIecUWOlNundSxzSfrniVt05yCrxclKBHI1++as3iFkqMTJMUK27npsYP6PKcCZwWuqlGhPKxnSIXUsjKlH72fzcKTmzyoCEsbIVGTJXf09kVGo9kYHtlNSM9LI3E//zuqkJr/2MR0lqMGKLRWEqiInJ7Hcy4AqZERNLKFPc3krYiCrKjE2oZEPwll9eJa2LqlerXj7UKvWbPI4inMApnIMHV1CHO2hAExiM4Rle4c1JnBfn3flYtBacfOYY/sD5/AG3948t</latexit>

Page 5: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

BBcc

f

<latexit sha1_base64="HO2Upe06odaekiQTJGBC2MA+vJ4=">AAAB7XicbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoseiF48V7Ae0oWy2m3btZhN2J0IJ/Q9ePCji1f/jzX/jts1BWx8MPN6bYWZekEhh0HW/ncLa+sbmVnG7tLO7t39QPjxqmTjVjDdZLGPdCajhUijeRIGSdxLNaRRI3g7GtzO//cS1EbF6wEnC/YgOlQgFo2ilVm9EkYT9csWtunOQVeLlpAI5Gv3yV28QszTiCpmkxnQ9N0E/oxoFk3xa6qWGJ5SN6ZB3LVU04sbP5tdOyZlVBiSMtS2FZK7+nshoZMwkCmxnRHFklr2Z+J/XTTG89jOhkhS5YotFYSoJxmT2OhkIzRnKiSWUaWFvJWxENWVoAyrZELzll1dJ66Lq1aqX97VK/SaPowgncArn4MEV1OEOGtAEBo/wDK/w5sTOi/PufCxaC04+cwx/4Hz+AChIjt0=</latexit>

?

Page 6: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Features

• Depends on Y

• Hyperkähler guarantees physical (4,4) 2d sigma model

• Bcc, B are ABA branes

• Sometimes (GL, cluster, category O) higher-dimensional UV completion

• Agrees with deformation quantization

Page 7: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Quantizing Lagrangians

• Very naive: equations which define L annihilate state

• Slightly better: define path integral b.c.

• Either case: family of states from functions (sections) on L

• Deformation quantization story already rich!

|Li

<latexit sha1_base64="Iprz5FQMXCz/6oks9k5dXtllo2o=">AAAB8HicbVA9SwNBEJ2LXzF+RS1tFoNgFe4komXQxsIigvmQ5Ah7m7lkyd7esbsnhJhfYWOhiK0/x85/4ya5QhMfDDzem2FmXpAIro3rfju5ldW19Y38ZmFre2d3r7h/0NBxqhjWWSxi1QqoRsEl1g03AluJQhoFApvB8HrqNx9RaR7LezNK0I9oX/KQM2qs9PB021FU9gV2iyW37M5AlomXkRJkqHWLX51ezNIIpWGCat323MT4Y6oMZwInhU6qMaFsSPvYtlTSCLU/nh08ISdW6ZEwVrakITP198SYRlqPosB2RtQM9KI3Ff/z2qkJL/0xl0lqULL5ojAVxMRk+j3pcYXMiJEllClubyVsQBVlxmZUsCF4iy8vk8ZZ2auUz+8qpepVFkcejuAYTsGDC6jCDdSgDgwieIZXeHOU8+K8Ox/z1pyTzRzCHzifP+L1kHk=</latexit>

|L; fi

<latexit sha1_base64="S0/Bio2PxINe0P4fg5zmtTVuAH8=">AAAB8nicbVA9SwNBEN2LXzF+RS1tFoNgFe4komATtLGwiGA+4HKEvc1csmRv99jdE8KZn2FjoYitv8bOf+MmuUITHww83pthZl6YcKaN6347hZXVtfWN4mZpa3tnd6+8f9DSMlUUmlRyqToh0cCZgKZhhkMnUUDikEM7HN1M/fYjKM2keDDjBIKYDASLGCXGSv7T3VXUVUQMOPTKFbfqzoCXiZeTCsrR6JW/un1J0xiEoZxo7XtuYoKMKMMoh0mpm2pICB2RAfiWChKDDrLZyRN8YpU+jqSyJQyeqb8nMhJrPY5D2xkTM9SL3lT8z/NTE10GGRNJakDQ+aIo5dhIPP0f95kCavjYEkIVs7diOiSKUGNTKtkQvMWXl0nrrOrVquf3tUr9Oo+jiI7QMTpFHrpAdXSLGqiJKJLoGb2iN8c4L8678zFvLTj5zCH6A+fzByczkS4=</latexit>

Page 8: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Lagrangian brane quantization

• Complexify L to complex Lagrangian X in Y

• Define A-brane S (BAA) supported on X (choose CP bundle)

• Hom(S,Bcc) x Hom(B,S) -> Hom(B,Bcc) produces states

• Left input: Hom(S,Bcc) ~ holomorphic sections on X.

• Right input: Hom(B,S) more mysterious.

|S; fL; fRi

<latexit sha1_base64="q45lkG2HwKYmocs8GLTyX9QAjQI=">AAAB+nicbVDLSsNAFL2pr1pfqS7dDBbBVUlEUXBTdOPCRX30AW0ok+mkHTqZhJmJUtJ+ihsXirj1S9z5N07bLLT1wIXDOfdy7z1+zJnSjvNt5ZaWV1bX8uuFjc2t7R27uFtXUSIJrZGIR7LpY0U5E7Smmea0GUuKQ5/Thj+4mviNRyoVi8SDHsbUC3FPsIARrI3UsYuj+4ugc2Pqri2x6HHasUtO2ZkCLRI3IyXIUO3YX+1uRJKQCk04VqrlOrH2Uiw1I5yOC+1E0RiTAe7RlqECh1R56fT0MTo0ShcFkTQlNJqqvydSHCo1DH3TGWLdV/PeRPzPayU6OPdSJuJEU0Fmi4KEIx2hSQ6oyyQlmg8NwUQycysifSwx0SatggnBnX95kdSPy+5J+fT2pFS5zOLIwz4cwBG4cAYVuIYq1IDAEzzDK7xZI+vFerc+Zq05K5vZgz+wPn8ApxGTnw==</latexit>

Page 9: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

BBcc

f

<latexit sha1_base64="HO2Upe06odaekiQTJGBC2MA+vJ4=">AAAB7XicbVBNS8NAEJ3Ur1q/qh69LBbBU0mkoseiF48V7Ae0oWy2m3btZhN2J0IJ/Q9ePCji1f/jzX/jts1BWx8MPN6bYWZekEhh0HW/ncLa+sbmVnG7tLO7t39QPjxqmTjVjDdZLGPdCajhUijeRIGSdxLNaRRI3g7GtzO//cS1EbF6wEnC/YgOlQgFo2ilVm9EkYT9csWtunOQVeLlpAI5Gv3yV28QszTiCpmkxnQ9N0E/oxoFk3xa6qWGJ5SN6ZB3LVU04sbP5tdOyZlVBiSMtS2FZK7+nshoZMwkCmxnRHFklr2Z+J/XTTG89jOhkhS5YotFYSoJxmT2OhkIzRnKiSWUaWFvJWxENWVoAyrZELzll1dJ66Lq1aqX97VK/SaPowgncArn4MEV1OEOGtAEBo/wDK/w5sTOi/PufCxaC04+cwx/4Hz+AChIjt0=</latexit>

?S

Page 10: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Features• Correspondence -> BAA interface -> operator

• Composition of correspondences -> composition of interfaces

• Interface compose classically (CP bundle?)

• Corners composition?

S

S

S’

Page 11: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Complex quantization

• Can apply to

• Doubling trick: Hilbert space

• Action of holomorphic and anti-holomorphic algebra

• Quantization of complex Lagrangians in Y

• No mysterious corners

Y ⇢ Y ⇥ Y

<latexit sha1_base64="BzFBr4z1qpjDOtCOdPooGhOSFwI=">AAACAnicbZDLSsNAFIYn9VbrLepK3AwWwVVJpKLLohuXFeyNJpTJdNIOnUzCzIlQQnHjq7hxoYhbn8Kdb+O0zUJbfxj4+M85nDl/kAiuwXG+rcLK6tr6RnGztLW9s7tn7x80dZwqyho0FrFqB0QzwSVrAAfB2oliJAoEawWjm2m99cCU5rG8h3HC/IgMJA85JWCsnn3UwZ5OA80AGwIeMY29gCjc6dllp+LMhJfBzaGMctV79pfXj2kaMQlUEK27rpOAnxEFnAo2KXmpZgmhIzJgXYOSmF1+Njthgk+N08dhrMyTgGfu74mMRFqPo8B0RgSGerE2Nf+rdVMIr/yMyyQFJul8UZgKDDGe5oH7XDEKYmyAUMXNXzEdEkUomNRKJgR38eRlaJ5X3Grl4q5arl3ncRTRMTpBZ8hFl6iGblEdNRBFj+gZvaI368l6sd6tj3lrwcpnDtEfWZ8/sjiWWQ==</latexit>

Hom(Bcc, Bcc)

<latexit sha1_base64="uXtOEqXQQAgP1oZhqOXE18+CsFI=">AAACCnicbVDLSsNAFJ3UV62vqEs3o0WoICWRii5L3XRZwT6gCWEynbRDZ5IwMxFKyNqNv+LGhSJu/QJ3/o2TNgutHhg4c8693HuPHzMqlWV9GaWV1bX1jfJmZWt7Z3fP3D/oySgRmHRxxCIx8JEkjIakq6hiZBALgrjPSN+f3uR+/54ISaPwTs1i4nI0DmlAMVJa8sxjhyM1ETxtRzyrtbwU4+wcOj4ScPE588yqVbfmgH+JXZAqKNDxzE9nFOGEk1BhhqQc2las3BQJRTEjWcVJJIkRnqIxGWoaIk6km85PyeCpVkYwiIR+oYJz9WdHiriUM+7rynxxuezl4n/eMFHBtZvSME4UCfFiUJAwqCKY5wJHVBCs2EwThAXVu0I8QQJhpdOr6BDs5ZP/kt5F3W7UL28b1WariKMMjsAJqAEbXIEmaIMO6AIMHsATeAGvxqPxbLwZ74vSklH0HIJfMD6+AVsmmgo=</latexit>

S

Bcc

<latexit sha1_base64="pJTPIyhYGcr7i6NaIjnbZoejUXo=">AAAB83icbVBNS8NAEJ3Ur1q/qh69LBbBU0mkosdSLx4r2A9oQtlst+3SzSbsToQS+je8eFDEq3/Gm//GbZuDtj4YeLw3w8y8MJHCoOt+O4WNza3tneJuaW//4PCofHzSNnGqGW+xWMa6G1LDpVC8hQIl7yaa0yiUvBNO7uZ+54lrI2L1iNOEBxEdKTEUjKKVfOKHVJNGP2Ns1i9X3Kq7AFknXk4qkKPZL3/5g5ilEVfIJDWm57kJBhnVKJjks5KfGp5QNqEj3rNU0YibIFvcPCMXVhmQYaxtKSQL9fdERiNjplFoOyOKY7PqzcX/vF6Kw9sgEypJkSu2XDRMJcGYzAMgA6E5Qzm1hDIt7K2EjammDG1MJRuCt/ryOmlfVb1a9fqhVqk38jiKcAbncAke3EAd7qEJLWCQwDO8wpuTOi/Ou/OxbC04+cwp/IHz+QM3E5Eq</latexit>

Bcc

<latexit sha1_base64="Dytyaq2vR6wp4QIIi2rFvHp+PmI=">AAAB7XicbVBNSwMxEJ3Ur1q/qh69BIvgqexKRY+lXjxWsLXQLiWbZtvYbLIkWaEs/Q9ePCji1f/jzX9j2u5BWx8MPN6bYWZemAhurOd9o8La+sbmVnG7tLO7t39QPjxqG5VqylpUCaU7ITFMcMlallvBOolmJA4FewjHNzP/4Ylpw5W8t5OEBTEZSh5xSqyT2o1+Rum0X654VW8OvEr8nFQgR7Nf/uoNFE1jJi0VxJiu7yU2yIi2nAo2LfVSwxJCx2TIuo5KEjMTZPNrp/jMKQMcKe1KWjxXf09kJDZmEoeuMyZ2ZJa9mfif101tdB1kXCapZZIuFkWpwFbh2et4wDWjVkwcIVRzdyumI6IJtS6gkgvBX355lbQvqn6tenlXq9QbeRxFOIFTOAcfrqAOt9CEFlB4hGd4hTek0At6Rx+L1gLKZ47hD9DnD4kRjx0=</latexit>

Page 12: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Example: Higgs bundles• 4d origin

• Analytic GL

• H = half-densities on Bun[G,C]

• Commuting Hitchin Hamiltonians

• Integral Hecke operators

• Canonical corner

Hecke

Bcc

<latexit sha1_base64="pJTPIyhYGcr7i6NaIjnbZoejUXo=">AAAB83icbVBNS8NAEJ3Ur1q/qh69LBbBU0mkosdSLx4r2A9oQtlst+3SzSbsToQS+je8eFDEq3/Gm//GbZuDtj4YeLw3w8y8MJHCoOt+O4WNza3tneJuaW//4PCofHzSNnGqGW+xWMa6G1LDpVC8hQIl7yaa0yiUvBNO7uZ+54lrI2L1iNOEBxEdKTEUjKKVfOKHVJNGP2Ns1i9X3Kq7AFknXk4qkKPZL3/5g5ilEVfIJDWm57kJBhnVKJjks5KfGp5QNqEj3rNU0YibIFvcPCMXVhmQYaxtKSQL9fdERiNjplFoOyOKY7PqzcX/vF6Kw9sgEypJkSu2XDRMJcGYzAMgA6E5Qzm1hDIt7K2EjammDG1MJRuCt/ryOmlfVb1a9fqhVqk38jiKcAbncAke3EAd7qEJLWCQwDO8wpuTOi/Ou/OxbC04+cwp/IHz+QM3E5Eq</latexit>

Bcc

<latexit sha1_base64="Dytyaq2vR6wp4QIIi2rFvHp+PmI=">AAAB7XicbVBNSwMxEJ3Ur1q/qh69BIvgqexKRY+lXjxWsLXQLiWbZtvYbLIkWaEs/Q9ePCji1f/jzX9j2u5BWx8MPN6bYWZemAhurOd9o8La+sbmVnG7tLO7t39QPjxqG5VqylpUCaU7ITFMcMlallvBOolmJA4FewjHNzP/4Ylpw5W8t5OEBTEZSh5xSqyT2o1+Rum0X654VW8OvEr8nFQgR7Nf/uoNFE1jJi0VxJiu7yU2yIi2nAo2LfVSwxJCx2TIuo5KEjMTZPNrp/jMKQMcKe1KWjxXf09kJDZmEoeuMyZ2ZJa9mfif101tdB1kXCapZZIuFkWpwFbh2et4wDWjVkwcIVRzdyumI6IJtS6gkgvBX355lbQvqn6tenlXq9QbeRxFOIFTOAcfrqAOt9CEFlB4hGd4hTek0At6Rx+L1gLKZ47hD9DnD4kRjx0=</latexit>

Hamiltonian

Page 13: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

S-duality

• 4d dictionary

• B-model side

• H = real opers

• Wilson line operators spectrum:

• Other real branes?

(s, s)

<latexit sha1_base64="cQcPgaT1GuWxTsnAP+nwRtI4gAE=">AAAB8nicbVBNSwMxEJ2tX7V+VT16CRahgpRdqeix6MVjBfsB26Vk02wbmk2WJCuUpT/DiwdFvPprvPlvTNs9aOuDgcd7M8zMCxPOtHHdb6ewtr6xuVXcLu3s7u0flA+P2lqmitAWkVyqbog15UzQlmGG026iKI5DTjvh+G7md56o0kyKRzNJaBDjoWARI9hYya/qC9QLsUL6vF+uuDV3DrRKvJxUIEezX/7qDSRJYyoM4Vhr33MTE2RYGUY4nZZ6qaYJJmM8pL6lAsdUB9n85Ck6s8oARVLZEgbN1d8TGY61nsSh7YyxGellbyb+5/mpiW6CjIkkNVSQxaIo5chINPsfDZiixPCJJZgoZm9FZIQVJsamVLIheMsvr5L2Zc2r164e6pXGbR5HEU7gFKrgwTU04B6a0AICEp7hFd4c47w4787HorXg5DPH8AfO5w+O15Ak</latexit>

Wilson

Hamiltonian

Oper Anti-Oper

Page 14: Brane quantization · Brane quantization • Complexify (M, ) to (Y, ) • Define A-model on (Y, ): symplectic form Im , B-field Re • Define A-brane Bcc: support Y, trivial CP

Example: Flat connections, quantum Teichmuller

Bcc

<latexit sha1_base64="Dytyaq2vR6wp4QIIi2rFvHp+PmI=">AAAB7XicbVBNSwMxEJ3Ur1q/qh69BIvgqexKRY+lXjxWsLXQLiWbZtvYbLIkWaEs/Q9ePCji1f/jzX9j2u5BWx8MPN6bYWZemAhurOd9o8La+sbmVnG7tLO7t39QPjxqG5VqylpUCaU7ITFMcMlallvBOolmJA4FewjHNzP/4Ylpw5W8t5OEBTEZSh5xSqyT2o1+Rum0X654VW8OvEr8nFQgR7Nf/uoNFE1jJi0VxJiu7yU2yIi2nAo2LfVSwxJCx2TIuo5KEjMTZPNrp/jMKQMcKe1KWjxXf09kJDZmEoeuMyZ2ZJa9mfif101tdB1kXCapZZIuFkWpwFbh2et4wDWjVkwcIVRzdyumI6IJtS6gkgvBX355lbQvqn6tenlXq9QbeRxFOIFTOAcfrqAOt9CEFlB4hGd4hTek0At6Rx+L1gLKZ47hD9DnD4kRjx0=</latexit>

Hitchin Section

Aq

<latexit sha1_base64="qWptI5eb+CytnWUDo1CQqPFVfOg=">AAAB8XicbVDLTgJBEOzFF+IL9ehlIjHxRHYNRo+oF4+YyCPChvQOA0yYnV1nZk3Ihr/w4kFjvPo33vwbB9iDgpV0UqnqTndXEAuujet+O7mV1bX1jfxmYWt7Z3evuH/Q0FGiKKvTSESqFaBmgktWN9wI1ooVwzAQrBmMbqZ+84kpzSN5b8Yx80McSN7nFI2VHtIORUGuJt3HbrHklt0ZyDLxMlKCDLVu8avTi2gSMmmoQK3bnhsbP0VlOBVsUugkmsVIRzhgbUslhkz76eziCTmxSo/0I2VLGjJTf0+kGGo9DgPbGaIZ6kVvKv7ntRPTv/RTLuPEMEnni/qJICYi0/dJjytGjRhbglRxeyuhQ1RIjQ2pYEPwFl9eJo2zslcpn99VStXrLI48HMExnIIHF1CFW6hBHShIeIZXeHO08+K8Ox/z1pyTzRzCHzifPy7gkJs=</latexit>

Aq

<latexit sha1_base64="EsaWALOc5nVP7uB2zdp25+5oTyA=">AAAB/HicbVDLSsNAFJ3UV62vaJduBovgqiSi6LLqxmUF+4AmhMnkph06eTgzEUKov+LGhSJu/RB3/o3TNgttPXDhcM693HuPn3ImlWV9G5WV1bX1jepmbWt7Z3fP3D/oyiQTFDo04Yno+0QCZzF0FFMc+qkAEvkcev74Zur3HkFIlsT3Kk/BjcgwZiGjRGnJM+uFQwnHVxOvcBTjAeCHiWc2rKY1A14mdkkaqETbM7+cIKFZBLGinEg5sK1UuQURilEOk5qTSUgJHZMhDDSNSQTSLWbHT/CxVgIcJkJXrPBM/T1RkEjKPPJ1Z0TUSC56U/E/b5Cp8NItWJxmCmI6XxRmHKsET5PAARNAFc81IVQwfSumIyIIVTqvmg7BXnx5mXRPm/ZZ8/zurNG6LuOookN0hE6QjS5QC92iNuoginL0jF7Rm/FkvBjvxse8tWKUM3X0B8bnD3tFlKw=</latexit>