quiver gauge theories and symplectic singularities
play

Quiver gauge theories and symplectic singularities Alex Weekes - PowerPoint PPT Presentation

Quiver gauge theories and symplectic singularities Alex Weekes (UBC) June 6, 2020 Workshop on Lie Theory and Integrable Systems in Symplectic and Poisson Geometry (Fields Institute) 1 Introduction quiver gauge theories Use mathematical


  1. Quiver gauge theories and symplectic singularities Alex Weekes (UBC) June 6, 2020 Workshop on Lie Theory and Integrable Systems in Symplectic and Poisson Geometry (Fields Institute) 1

  2. Introduction quiver gauge theories • Use mathematical construction of Braverman, Finkelberg and Nakajima • Plan: 1. Background 2. Coulomb branches, properties and examples 3. Discuss proof that they have symplectic singularities 2 • Investigate properties of Coulomb branches of 3 d N = 4 • Viewpoint is algebraic geometry over C

  3. Background

  4. Symplectic singularities • Very interesting algebraic varieties with algebraic Poisson structures, generically (holomorphic) symplectic • Movating examples: • Normalizations of nilpotent orbit closures • Interesting “representation theory” and enumerative geometry 3 • Nilpotent cone of a simple Lie algebra g over C , e.g. N sl n = { A ∈ M n × n ( C ) : det( t − A ) = t n } • Kleinian singularities, e.g. C 2 / / ( Z / n Z )

  5. Symplectic singularities • Frequently arise in pairs, as Coulomb and Higgs branches Braden-Licata-Proudfoot-Webster algebras 4 of 3 d N = 4 gauge theories • Subject ∗ of symplectic duality program proposed by • N g and N g ∨ are dual, where g , g ∨ are Langlands dual Lie (Here the “representation theory” is of g and g ∨ , and more precisely of categories O )

  6. Symplectic singularities extends to a regular 2–form on Y • Implies X has fjnitely many holomorphic symplectic leaves (Kaledin), and rational Gorenstein singularities (Beauville, Namikawa) 5 • A normal affjne variety X / C has symplectic singularities if: 1. Have a given symplectic form ω on smooth locus X reg 2. For some (any) resolution π : Y − → X of singularities, π ∗ ω • Coordinate ring C [ X ] gets Poisson bracket {· , ·} � N sl n = O λ , O λ = nilp. orbit of type λ λ ⊢ n

  7. Coulomb branches

  8. Quiver gauge theories • Associated to a quiver Q plus dimension vectors 4 1 2 3 1 2 9 6 v , w ∈ Z I ≥ 0 , where I is the set of vertices • For example: the A 4 quiver 1 → 2 ← 3 → 4, with v = ( 3 , 1 , 2 , 9 ) and w = ( 4 , 0 , 1 , 2 ) • To this data, physicists associate a 3 d N = 4 gauge theory. Its Higgs branch is the Nakajima quiver variety M H ( v , w )

  9. The Coulomb branch • Braverman-Finkelberg-Nakajima have given a construction 7 of the Coulomb branch M C ( v , w ) • Let D = Spec C [[ t ]] . Defjne moduli space R , of data 1. Vector bundle E i over D of rank v i , for all i ∈ I 2. Trivialization ϕ i of E i on D × , for all i ∈ I 3. For all i ∈ I and edges i → j , s i ∈ Hom( O D ⊗ C W i , E i ) , s i → j ∈ Hom( E i , E j ) which remain regular under ϕ i • Action of G [[ t ]] = � i GL( v i )[[ t ]] changing trivialization

  10. The Coulomb branch Right side carries “convolution product”, making it a commutative algebra C 8 • BFN defjne Coulomb branch as affjne scheme / C M C ( v , w ) = Spec H G [[ t ]] ( R ) ∗ • BFN show M C ( v , w ) is irreducible normal affjne variety, actually defjned over Z • Also show M C has a Poisson structure, symplectic on M reg

  11. Type A 1 m 9 n • Consider A 1 quiver datum • M C ( m , n ) has description due to Kamnitzer:   ( i ) A monic, degree m , � �   A ( z ) B ( z )   ∈ M 2 ( C [ z ]) : ( ii ) degrees B , C < m , C ( z ) D ( z )   ( iii ) AD − BC = z n  

  12. Finite ADE type and affjne type A i variety. Theorem (Nakajima-Takayama) are cocharacters of G Q i i Theorem (Braverman-Finkelberg-Nakajima) 10 algebraic group (of adjoint type). Then Suppose Q is oriented fjnite ADE, and let G Q be the associated M C ( v , w ) ∼ λ = W µ is a generalized affjne Grassmannian slice for G Q , where � � w i ̟ ∨ v i α ∨ λ − µ = λ = i , If Q is oriented affjne type A, then M C ( v , w ) is a Cherkis bow

  13. Finite ADE type 1 Nakajima-Takayama) and Kamnitzer-Webster-W.-Yacobi, affjne type A • In fjnite ADE and affjne A types, know decomposition of 2 11 n • For type A and µ dominant, then M C ( v , w ) ∼ = O λ ∩ S µ where O λ , S µ ⊂ gl N nilpotent orbit/Slodowy slice, and λ, µ ⊢ N partitions. · · · n − 1 gives M C ( v , w ) ∼ = N sl n M C ( v , w ) into symplectic leaves (fjnite ADE by Muthiah-W.

  14. General quivers • Quivers without loops/multiple edges correspond to simply-laced Kac-Moody types Can defjne for Kac-Moody group G Q general 12 M C ( v , w ) =: (generalized) affjne Grassmannian slice • Upshot: affjne Grassmannian for G Q is not defjned in • BFN conjecture a version of the geometric Satake correspondence using M C ( v , w )

  15. Symplectic singularities

  16. Main result Theorem (W.) • This is conjectured by BFN for all Coulomb branches, not just quiver gauge theories • Known already for dominant fjnite ADE type by Kamnitzer-Webster-W.-Yacobi, and affjne type A by Nakajima-Takayama Corollary and rational Gorenstein singularities. 13 Let Q be a quiver without loops or multiple edges, and v , w be arbitrary. Then M C ( v , w ) has symplectic singularities. M C ( v , w ) has fjnitely many holomorphic symplectic leaves,

  17. First ingredient: partial resolutions • There is a completely integrable system 2 • Coulomb branches admit partial resolutions 14 M κ C ( v , w ) − ։ M C ( v , w ) κ is cocharacter of certain “fmavour symmetry” group Special case: Springer resolution T ∗ Fl n → N sl n / W ∼ � ̟ : M C ( v , w ) − → t / = C i v i → H G [[ z ]] It is faithfully fmat, and comes from H ∗ G ( pt ) ֒ ( R ) . ∗ Special case: Gelfand-Tsetlin integrable system n − 1 n ( n − 1 ) � � � N sl n → C , A �− → coeffjcients of det( t − A i ) i = 1

  18. Final ingredient: open subsets Using results of Beauville and Bellamy-Schedler, suffjcient to (iii) U is smooth and symplectic (i) diagram is Cartesian so that V U give open subsets 15 M κ C ( v , w ) M C ( v , w ) t / / W (ii) codim C V = 4, C ( v , w )) sing ≥ 4 Then codim C ( M κ

  19. Second ingredient: integrable system Theorem (W.) product products are smooth and symplectic. Establishes diagram on previous page, so proves theorem. 16 1. Étale neighbourhood of any fjber of ̟ is isomorphic to a M κ C ( v ( 1 ) , w ( 1 ) ) × · · · × M κ C ( v ( ℓ ) , w ( ℓ ) ) 2. For generic κ , can choose V such that over V these

  20. Questions • Enumerate symplectic leaves, and their transverse slices? When is it a resolution? • Quivers with loops and/or multiple edges? Symmetrizable types? • Other Coulomb branches? 17 • Is M κ C ։ M C a Q –factorial terminalization, for generic κ ?

  21. Thank you for listening! I refuse to answer that question on the grounds that I don’t know the answer. - Douglas Adams 18

Recommend


More recommend