12.07.2015 Views

Ivancevic_Applied-Diff-Geom

Ivancevic_Applied-Diff-Geom

Ivancevic_Applied-Diff-Geom

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Applied</strong> Bundle <strong>Geom</strong>etry 791The Riemann surface C of the SW data is nothing but the spectral curveof the integrable system, which is given by the equation: det (L(w) − λ) =0. Taking into account (4.301), one can get from this formula the equationw + 1 n w = P (λ) = ∏(λ − λ i ) ,i=1∑λ i = 0, (4.302)iwhere the ramification points λ i are Hamiltonians (i.e., integrals of motion)parametrizing the moduli space M of the spectral curves. The substitutionY ≡ w − 1/w transforms the curve (4.302) to the standard hyper–ellipticform Y 2 = P 2 − 4, the genus of the curve being n − 1.As to the meromorphic 1–formdS = λ dw w = λdP Y ,it is just the shorten action ‘pdq’ along the non–contractible contours on theHamiltonian tori. Its defining property is that the derivatives of dS withrespect to the moduli (ramification points) are holomorphic differentials onthe spectral curve.Now, following [Mironov (1998)], let us describe the general integrableframework for the SW construction and start with the theories withoutmatter hypermultiplets. First, matter hypermultiplets. First, we introducebare spectral curve E that is torus: y 2 = x 3 + g 2 x 2 + g 3 for the UV finiteSYM theories with the associated holomorphic 1–form: dω = dx/y. Thisbare spectral curve degenerates into the double–punctured sphere (annulus)for the asymptotically free theories:x −→ w + 1/w, y −→ w − 1/w, dω = dw/w. On this bare curve, there isgiven a matrix–valued Lax operator L(x, y). The dressed spectral curve isdefined from the formula det(L − λ) = 0. This spectral curve is a ramifiedcovering of E given by the equationP(λ; x, y) = 0 (4.303)In the case of the gauge group G = SU(n), the function P is a polynomialof degree n in λ.Thus, the moduli space M of the spectral curve is given just by coefficientsof P. The generating 1-form dS ∼ = λdω is meromorphic on C(hereafter the equality modulo total derivatives is denoted by ‘ ∼ =’).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!