Download - ABELIANIZ ATION IN CLASSICAL CHERN-SIMONS
Andrew Neitzke University of Texas at Austin
ABELIANIZATION INABELIANIZATION INCLASSICAL CHERN-SIMONSCLASSICAL CHERN-SIMONS
work in progress with Dan Freed
THE PLANTHE PLANBy abelianization in classical Chern-Simons I mean a relation between
classical Chern-Simons theory on classical Chern-Simons theory with defects on
πΊ βπΏπ ππΊ βπΏ1 οΏ½ΜοΏ½
where is an -fold branched cover of .οΏ½ΜοΏ½ π π
It is a classical version of a proposal of Cecotti-Cordova-Vafa. Moregenerally, it is close to the circle of ideas around QFTs of "class R" and 3d-3dcorrespondence (DimoοΏ½e, Gaiotto, Gukov, Terashima, Yamazaki, Kim, Gang,Romo, ...).
It is not the same as the abelianization of Chern-Simons studied by Beasley-Witten or Blau-Thompson.
CLASSICAL CLASSICAL CHERN-SIMONS INVARIANT CHERN-SIMONS INVARIANTπΊπΊ ββπΏπΏππGiven a compact spin -manifold , carrying a -connection , thereis a (level 1) classical Chern-Simons invariant (action):
3 π πΊ βπΏπ β
πΆπ(π;β) β βΓ
If , , thenβ = π + π΄ π΄ β (π; β)Ξ©1 π€π©π
πΆπ(π;β) = exp[ Tr (π΄ β§ ππ΄ + π΄ β§ π΄ β§ π΄)]1
4ππβ«π
2
3
I will focus on the invariant for flat connections (critical points of theaction.)
CLASSICAL CLASSICAL CHERN-SIMONS LINE CHERN-SIMONS LINEπΊπΊ ββπΏπΏππWhen is a manifold with boundary, is not quite a number,because the integral is not gauge invariant.
π πΆπ(π;β)
Instead, it is an element of a line , determined by .πΆπ(βπ;β) β|βπ
If is a closed -manifold, we have a line for each over ;they fit together to Chern-Simons line bundle over the moduli space of flat
-connections over .
πβ² 2 πΆπ( ;β)πβ² β πβ²
πΊ βπΏπ πβ²
CLASSICAL CLASSICAL CHERN-SIMONS TFT CHERN-SIMONS TFTπΊπΊ ββπΏπΏππThe classical Chern-Simons invariant for a compact -manifold is the toppart of a -dimensional invertible spin TFT with symmetry:
3 π3 πΊ βπΏπ
dimπ
3
2
β―
πΆπ(π;β)
β βΓ
β Lines
β―
We will focus just on the - part, given by a functor3 2
CS : β LinesBordπΊ ,π ππππΏπ
I'm almost done reviewing, but let me recall one other fact about classicalChern-Simons theory, on -manifolds.
SHAPE PARAMETERSSHAPE PARAMETERS
3
SHAPE PARAMETERSSHAPE PARAMETERSSuppose is an ideally triangulated -manifold.π 3
[W. Thurston, Neumann-Zagier, ... for ][DimoοΏ½e-Gabella-Goncharov, Garoufalidis-D. Thurston-Goerner-Zickert forall ]
Then (boundary-unipotent) flat -connections on can beconstructed by gluing, using
numbers per tetrahedron.
π βπΏπ π
( β π)1
6π3
βπ βΓ
π = 2
π
The have to obey algebraic equations ("gluing equations") over ,determined by combinatorics ofπ β€
π
determined by combinatorics of .π
SHAPE PARAMETERSSHAPE PARAMETERS
[W. Thurston]There is one case where the shape parameters have a well known geometricmeaning.
This is the case when is the connection induced by ahyperbolic structure on the ideally triangulated .
β πππΏ(2,β)π
In this case, each tetrahedron of is isometric to an ideal tetrahedron inthe hyperbolic upper half-space.
The shape parameter is the cross-ratio of the ideal vertices lying on theboundary .
π
4ββ
1
SHAPE PARAMETERSSHAPE PARAMETERSWhen the -connection has shape parameters , one has aformula of the sort
πΊπΏ(π,β) β π
πΆπ(π;β) = exp[ ( )]1
2ππβπ
Li2 π
(Have to take care about the branch choices for .)Li2
[W. Thurston, Goncharov, Dupont, Neumann, ..., Garoufalidis-D. Thurston-Zickert]
SHAPE PARAMETERSSHAPE PARAMETERSOne of the aims of this talk is to explain a different geometric picture of theshape parameters , and the dilogarithmic formulas for Chern-Simonsinvariants.
π
(Spoiler: the will turn out to be holonomies of a -connection.)
βπ βΓ πΊ βπΏ1
CHERN-SIMONS WITH DEFECTS CHERN-SIMONS WITH DEFECTSπΊπΊ ββπΏπΏ11We consider Chern-Simons theory on spin manifolds carryingconnections , with two unconventional defects added.
πΊ βπΏ1 οΏ½ΜοΏ½βΜ
ie, a functor
: β LinesπΆοΏ½ΜοΏ½ BordΜπΊ ,π ππππΏ1
is a bordism category of spin manifolds , with -connections plus defects.BordΜπΊ ,π ππππΏ1 οΏ½ΜοΏ½ πΊ βπΏ1
CHERN-SIMONS WITH DEFECTS CHERN-SIMONS WITH DEFECTSπΊπΊ ββπΏπΏ11The theory involves a codimension defect. This defect needs extra"framing" structure on its linking circle: marked points with arrows.
23
In expectation values, these codimension defects contribute a cube rootof unity for each twist of the framing, in the case where the arrows areconsistently oriented.
22π3
CHERN-SIMONS WITH DEFECTS CHERN-SIMONS WITH DEFECTSπΊπΊ ββπΏπΏ11The theory also has a codimension defect, which is a singularity of themanifold structure of : its link is a rather than .
3οΏ½ΜοΏ½ π2 π2
Each codimension defect has 4 codimension defects impinging.3 2
CHERN-SIMONS WITH DEFECTS CHERN-SIMONS WITH DEFECTSπΊπΊ ββπΏπΏ11The connection does not extend over the codimension defect: it hasnontrivial holonomies over both cycles of the linking .
βΜ 3π2
The holonomies obey a constraint:
(The signs depend on the spin structure.)
Β± Β± = 1ππ΄ ππ΅
Β±
CHERN-SIMONS WITH DEFECTS CHERN-SIMONS WITH DEFECTSπΊπΊ ββπΏπΏ11For a surface , with spin structure and flat -connection ,
is the usual line of spin Chern-Simons theory.οΏ½ΜοΏ½ πΊ βπΏ1 βΜ
( ; )πΆοΏ½ΜοΏ½ οΏ½ΜοΏ½ βΜ
When codimension- defects impinge on , is the usual line ofspin Chern-Simons, tensored with an extra line for each defect, dependingonly on the "framing".
2 οΏ½ΜοΏ½ ( ; )πΆοΏ½ΜοΏ½ οΏ½ΜοΏ½ βΜ
CHERN-SIMONS WITH DEFECTS CHERN-SIMONS WITH DEFECTSπΊπΊ ββπΏπΏ11At each codimension defect we have a tiny torus boundary .3 π
To define the theory we need to specify an element
Ξ¨ β (π; )πΆοΏ½ΜοΏ½ βΜLuckily there is a natural candidate! Loosely
where is a variant of the Rogers dilogarithm,
Ξ¨ = π exp( π ( ))1
2ππππ΄
π
π (π§) = (Β±π§) β log(1 Β± π§)Li21
2
THE DILOG IN THE DILOG IN CHERN-SIMONS CHERN-SIMONSπΊπΊ ββπΏπΏ11The equation
Ξ¨ = π exp( π ( ))1
2ππππ΄
has two problems on its face:
The RHS is not a well defined function, because is a multivaluedfunction: requires a choice of branch.The LHS is not a well defined function, because it is an element of
: requires a choice of trivialization of the bundle underlying .
π (π§)
(π; )πΆοΏ½ΜοΏ½ βΜ βΜ
These two problems cancel each other out; on both sides, we need tochoose logarithms of and , and then the transformation law of matches the WZW cocycle for .
Β±ππ΄ Β±ππ΅ π (π; )πΆοΏ½ΜοΏ½ βΜ
THE DILOG IN THE DILOG IN CHERN-SIMONS CHERN-SIMONSπΊπΊ ββπΏπΏ11This is a fun interpretation of the dilogarithm function:
It is a section of the spin Chern-Simons line bundle over the moduli of flat -connections on the torus, restricted to the locusπΊ βπΏ1
= {Β± Β± = 1} β (ππ΄ ππ΅ βΓ)2
(In fact, it is a flat section; this determines it up to overall normalization.)
THE DILOG IN THE DILOG IN CHERN-SIMONS CHERN-SIMONSπΊπΊ ββπΏπΏ11From this point of view, -manifolds where is a union of tori relateto dilog identities.
3 οΏ½ΜοΏ½ βοΏ½ΜοΏ½
e.g. to get the five-term identity up to a constant, contemplate for a link :
π = β πΏπ3
πΏ
There exist flat connections on obeying at all torusboundaries. Spin Chern-Simons theory gives an element
hi h i b i f h dil id i
βΜ οΏ½ΜοΏ½ + = 1ππ΄ ππ΅ 5
πΆπ( ; ) β πΆπ( ; )οΏ½ΜοΏ½ βΜ β¨π=1
5
ππ βΜ|ππ
which is an abstract version of the dilog identity.POINT DEFECTS IN POINT DEFECTS IN CHERN-SIMONS CHERN-SIMONSπΊπΊ ββπΏπΏ11
These defects have appeared before: in the open topological A model.
Suppose the -manifold is a Lagrangian submanifold of a Calabi-Yauthreefold .
We study the open topological A model on , with one D-brane on .
3 οΏ½ΜοΏ½π
π οΏ½ΜοΏ½
[Witten]The open string field theory living on is Chern-Simons theory pluscorrections from holomorphic curves in ending on .
οΏ½ΜοΏ½ πΊ βπΏ1π οΏ½ΜοΏ½
POINT DEFECTS IN POINT DEFECTS IN CHERN-SIMONS CHERN-SIMONSπΊπΊ ββπΏπΏ11
[Ooguri-Vafa]
The correction to the Chern-Simons action that comes from anisolated holomorphic disc is , where is the holonomy around theboundary.
πΊ βπΏ1(π)Li2 π
So our defects appear naturally in this context: they are the boundaries ofholomorphic discs (crushed to a point for technical convenience).
RELATING THE CHERN-SIMONS THEORIESRELATING THE CHERN-SIMONS THEORIESSo far I described two versions of classical Chern-Simons theory, given asfunctors
β LinesBordΜπΊ ,π ππππΏ1
β LinesBordπΊ ,π ππππΏπ
How are they related?
ABELIANIZED CONNECTIONSABELIANIZED CONNECTIONSThere is a new bordism category , fitting into a diagram:Abel
Abel
β
β
BordΜπΊ ,π ππππΏ1
BordπΊ ,π ππππΏπ
β
β
Lines
This diagram commutes, ie, the two functors are naturallyisomorphic.
Abel β Lines
A morphism or object of is an abelianized connection.
This means a -connection over a manifold , with a partial gaugefixing where looks "as simple as possible".
Abel
πΊ βπΏπ β πβ
ABELIANIZED CONNECTIONSABELIANIZED CONNECTIONSIn the bulk of , parallel transports of are permutation-diagonal: theyreduce to transports of a -connection over a cover .
π βπΊ βπΏ1 βΜ οΏ½ΜοΏ½
Usually this cannot be done globally on .
(e.g. imagine = once-punctured torus: can't simultaneously diagonalizemonodromy on A and B cycles)
π
π
ABELIANIZED CONNECTIONSABELIANIZED CONNECTIONSWe introduce a stratification of (spectral network).π
On codimension- strata (walls), we allow the gauge to jump by a unipotentmatrix.
1
On codimension- strata, we allow a singularity around which isbranched.
2 β ποΏ½ΜοΏ½
(Around this singularity, has holonomy , and pullback spin structuredoes not extend: need to make a twist of and the spin structure, tocancel this.)
βΜ β1β€2 βΜ
ABELIANIZED CONNECTIONSABELIANIZED CONNECTIONSOn codimension- (points), we allow a singularity; its linking sphere lookslike:
3
There is no singularity of or here, but in the double cover and have a codimension- singularity.
π β οΏ½ΜοΏ½ βΜ3
ABELIANIZED CONNECTIONSABELIANIZED CONNECTIONSA "proof" of our equivalence, without boundaries:
When we have an abelianized connection , we can use its abelian gaugesto compute the Chern-Simons action.
β
πΆπ(π;β) = exp[ Tr (π΄ β§ ππ΄ + π΄ β§ π΄ β§ π΄)]1
4ππβ«π
2
3
In the bulk, just use
to reduce this to
Tr diag( , β¦ , ) = +β― +πΌ1 πΌπ πΌ1 πΌπ
πΆπ( ; ) = exp[ Tr (πΌ β§ ππΌ)]οΏ½ΜοΏ½ βΜ1
4ππβ«οΏ½ΜοΏ½
At the spectral network, this fails. Still, the walls do not contribute. Lowerstrata do contribute: they produce the codimension- and codimension-defects.
2 3
EXAMPLESEXAMPLES
Time for examples.
TRIANGULATED TRIANGULATED -MANIFOLDS-MANIFOLDS22Take a triangulated -manifold , punctured at all the vertices. We canequip it with a spectral network and a covering .
2 πβ ποΏ½ΜοΏ½
[Fock-Goncharov, Gaiotto-Moore-N]
Using this network, a generic can be abelianized almost uniquely (infinitely many ways). The holonomies of around classes then give cluster coordinates determining .
ββΜ πΎ β ( ,β€)π»1 οΏ½ΜοΏ½β
TRIANGULATED TRIANGULATED -MANIFOLDS-MANIFOLDS33Now say is a triangulated -manifold.π 3
[Cecotti-Cordova-Vafa]Again there is a natural double cover and spectral network.β ποΏ½ΜοΏ½
The walls of the spectral network form the dual spine of the triangulation.
There is one codimension- defect in the center of each tetrahedron.3
TRIANGULATED TRIANGULATED -MANIFOLDS-MANIFOLDS33
We can reinterpret the construction of flat -connections on usingThurston's shape parameters obeying gluing equations.
π βπΏ2 ππ
First, we construct a -connection over . The are itsholonomies.
πΊ βπΏ1 βΜ οΏ½ΜοΏ½ π
Then, we build the (unique) corresponding over .β π
DILOGARITHM FORMULAS ON TRIANGULATED DILOGARITHM FORMULAS ON TRIANGULATED -MANIFOLDS-MANIFOLDS33
Our equivalence of Chern-Simons theories says
πΆπ(π;β) = ( ; )πΆοΏ½ΜοΏ½ οΏ½ΜοΏ½ βΜ
So, to get , we can compute in the theory on .πΆπ(π;β) πΊ βπΏ1 οΏ½ΜοΏ½
The line bundle underlying turns out to be globally trivial; choose atrivialization. Then,
the bulk of contributes trivially, ,
each codim- defect contributes a dilogarithm ,codim- defects can contribute third roots of .
βΜ
οΏ½ΜοΏ½ exp[ π΄ β§ ππ΄] = 114ππβ«οΏ½ΜοΏ½
3 exp[ π ( )]ππ12ππ ππ
2 1
This recovers the dilogarithm formulas I reviewed before, for (actually a slight generalization: we don't need an "orderable"triangulation).
π βπΏ2
ABELIANIZATION IN NATUREABELIANIZATION IN NATUREI explained that any time we have an abelianized connection we get anequivalence of Chern-Simons theories.
This statement is most interesting when we have abelianized connectionsarising in some natural way.
Natural examples are better understood in the -dimensional case than the -dimensional case, so let me start there.
23
ABELIANIZATION VIA WKBABELIANIZATION VIA WKBSuppose is a punctured Riemann surface.π
On we can consider meromorphic Schrodinger equations, aka -opers, locally of the shape
π ππΏ2
[ β π(π§)]π(π§) = 0β2π§ ββ2
Also higher-order analogues like -opers,ππΏ3
[ β (π§) β (π§) + (π§)]π(π§) = 0β3π§ ββ2π2 βπ§1
2ββ2πβ²2 ββ3π3
These equations give flat connections over (with singularities atpunctures).
ββ π
ABELIANIZATION VIA WKBABELIANIZATION VIA WKB
[Voros, ..., Koike-Schafke]In the exact WKB method for Schrodinger operators, one studies opers bybuilding local WKB solutions, of the form:
β
π(π§) = exp[ π(β) ππ§]ββ1β«π§
π§0
where has the WKB asymptotic expansion (for )π(β) Re β > 0
π(β) = + β + +β―βπ(π§) β π1 β2π2
The local solutions reduce to a -connection over thespectral curve, a double cover of , branched at turning points:
π(π§) β πΊ βπΏ1 βΜπ
= { + π(π§) = 0} β ποΏ½ΜοΏ½ π¦2 πβ
ABELIANIZATION VIA WKBABELIANIZATION VIA WKBThese local solutions exist in domains of separated by Stokes curves;these form a spectral network.
π
Crossing Stokes curves mixes the local solutions by unipotent changes ofbasis (WKB connection formula).
So, the structure that comes automatically from WKB analysis of an oper isthat of an abelianized connection.
ABELIANIZATION VIA WKBABELIANIZATION VIA WKBThe combinatorics of such Stokes graphs are generally rather complicated.
Except for , they are not just captured by ideal triangulations.πΊ = π βπΏ2
ABELIANIZATION IN CLASS ABELIANIZATION IN CLASS ππA variation of this story appeared in quantum field theories of class .These are 4-dimensional theories, obtained by compactification ofsix-dimensional SCFTs on a punctured Riemann surface .
π = 2
(2, 0) π
Such a theory has a canonical surface defect preserving SUSY,whose space of couplings is .
= (2, 2)π
[Gaiotto-Moore-N]
This defect has a flat connection in its vacuum bundle. (like ) Thisconnection is abelianized to a -connection over the Seiberg-Wittencurve . (UV-IR map). This is a powerful tool for studying the IR theory,BPS states.
β π‘π‘β
πΊ βπΏ1 βΜοΏ½ΜοΏ½
ABELIANIZATION IN CLASS ABELIANIZATION IN CLASS ??π π
[DimoοΏ½e-Gaiotto-Gukov, Cecotti-Cordova-Vafa]
There are -dimensional quantum field theories of class , associated to -manifolds instead of -manifolds.
3 π 3π 2
One may hope that the abelianization of complex classical Chern-Simonswhich we have found has a natural interpretation here.
This could give a source of geometric examples of abelianizations over -manifolds.
3
CONCLUSIONSCONCLUSIONS
I described a relation between two versions of classical complex Chern-Simons theory:
the theory over ,the theory with defects over the branched cover .
πΊ βπΏπ ππΊ βπΏ1 οΏ½ΜοΏ½
This relation gives a new method of computing in the theory, andnaturally accounts for / extends some known facts about that theory.
πΊ βπΏπ
It still remains to find a good source of examples of a geometric nature,from class or elsewhere.π