arxiv: v2 [math.ag] 5 Jun 2018

Transcription

1 A Brief Survey of Higgs Bundles 1 21/03/2018 Ronald A. Zúñiga-Rojas 2 Centro de Investigaciones Matemáticas y Metamatemáticas CIMM Universidad de Costa Rica UCR San José 11501, Costa Rica ronald.zunigarojas@ucr.ac.cr arxiv: v2 [math.ag] 5 Jun 2018 Abstract. Considering a compact Riemann surface of genus greater than two, a Higgs bundle is a pair composed of a holomorphic bundle over the Riemann surface, joint with an auxiliar vector field, so-called Higgs field. This theory started around thirty years ago, with Hitchin s work, when he reduced the self-duality equations from dimension four to dimension two, and so, studied those equations over Riemann surfaces. Hitchin baptized those fields as Higgs fields beacuse in the context of physics and gauge theory, they describe similar particles to those described by the Higgs bosson. Later, Simpson used the name Higgs bundle for a holomorphic bundle together with a Higgs field. Today, Higgs bundles are the subject of research in several areas such as non-abelian Hodge theory, Langlands, mirror symmetry, integrable systems, quantum field theory (QFT), among others. The main purposes here are to introduce these objects, and to present a brief construction of the moduli space of Higgs bundles. Keywords: Hodge Bundles, Moduli of Higgs Bundles, Stratifications, Variations of Hodge Structures, Vector Bundles. AMS 2010 MSC classes: Primary 14H60; Secondaries 14D07, 55Q52. 1 Introduction Let Σ = Σ g be a compact (closed and connected) Riemann surface of genus g > 2. Let K = K Σ = T Σ be the canonical line bundle over Σ (its cotangent bundle). Remark 1.1. Algebraically, Σ g is also a complete irreducible nonsingular algebraic curve over C: dim C (Σ g ) = Preliminary definitions We shall recall some basic definitions we will need, like bundles and some of their invariants such as rank, degree and slope. We also present the definition of stability. Definition 1.2. For any vector bundle E Σ, we denote the rank of E by rk(e) = r and the degree of E by deg(e) = d. Then, for any smooth complex bundle E Σ the slope is defined to be µ(e) := deg(e) rk(e) = d r. (1) 1 Presented as a communication on SIMMAC 2018, UCR. 2 Supported by Universidad de Costa Rica through CIMM (Centro de Investigaciones Matemáticas y Metamatemáticas), Projects 820-B5-202 and 820-B8-224.

2 Survey of Higgs Bundles Definition 1.3. A vector bundle E Σ is called semistable if µ(f) µ(e) for any F such that 0 F E. Similarly, a vector bundle E Σ is called stable if µ(f) < µ(e) for any nonzero proper subbundle 0 F E. Finally, E is called polystable if it is the direct sum of stable subbundles, all of the same slope. Let E Σ be a complex smooth vector bundle with a hermitian metric on it. Definition 1.4. A connection d A on E is a differential operator d A : Ω 0 (Σ, E) Ω 1 (Σ, E) such that d A (fs) = df s + fd A s for any function f C (Σ) and any section s Ω 0 (Σ, E) where Ω n (Σ, E) is the set of smooth n-forms of Σ with values in E. Locally: d A = d + A = d + Cdz + Bd z where A is a matrix of 1-forms: A ij Ω 1 (Σ, E), and B, C are matrix valued functions depending on the hermitian metric on E. Definition 1.5. When a connection d A is compatible with the hermitian metric on E, i.e. d < s, t >=< d A s, t > + < s, d A t > for the hermitian inner product <, > and for s, t any couple of sections of E, d A is a unitary connection. Denote A(E) as the space of unitary connections on E, for a smooth bundle E Σ. Remark 1.6. Some authors call the matrix A as a connection and call d A = d + A as its correspoding covariant derivative. We abuse notation and will not distinguish between them. Definition 1.7. The fundamental invariant of a connection is its curvature: F A := d 2 A = d A d A : Ω 0 (Σ, E) Ω 2 (Σ, E) where we are extending d A to n-forms in Ω n (Σ, E) in the obvious way. Locally: F A = da + A 2. F A is C (Σ, E)-linear and can be considered as a 2-form on Σ with values in End(E) : F A Ω 2 (Σ, End(E)), or locally as a matrix-valued 2-form. Definition 1.8. If the curvature vanishes F A = 0, we say that the connection d A is flat. A flat connection gives a family of constant transition functions for E, which in turn defines a representation of the fundamental group π 1 (Σ) into GL r (C), and the image is in U(r) if d A is unitary. Besides, from Chern-Weil theory, if F A = 0, then deg(e) = 0. 2

3 Ronald A. Zúñiga-Rojas 1.2 Gauge Group Action The gauge theory arises first in the context of physics, specifically in general relativity and classical electromagnetism. Here, we present the mathematical formalism. Definition 1.9. A gauge transformation is an automorphism of E. Locally, a gauge transformation g Aut(E) is a C -function with values in GL r (C). A gauge transformation g is unitary if g preserves the hermitian inner product. We denote by G the group of unitary gauge transformations. This gauge group G acts on A(E) by conjugation: g d A = g 1 d A g g G and for d A A(E). Remark Note that conjugation by a unitary gauge transformation takes a unitary connection to a unitary connection. We denote by Ḡ the quotient of G by the central subgroup U(1), and by G C the complex gauge group. Besides, we denote by BG and by BḠ the classifying spaces of G and Ḡ respectively. There is a homotopical equivalence: G G C. Definition A holomorphic structure on E is a differential operator: A : Ω 0 (Σ, E) Ω 0,1 (Σ, E) such that A (fs) = f s + f A s where f = f z d z, and Ωp,q (Σ, E) is the space of smooth (p, q)-forms with values in E. Locally: A = + A 0,1 d z where A 0,1 is a matrix valued function. Remark Denote the space of holomorphic structures on E by A 0,1 (E), and consider the collection A 0,1 (r, d) = {A 0,1 (E): rk(e) = r and deg(e) = d}. Here, the subcollections A 0,1 ss (r, d) = {A0,1 (E): E is semistable } A 0,1 (r, d), A 0,1 s (r, d) = {A0,1 (E): E is stable } A 0,1 (r, d), A 0,1 ps (r, d) = {A0,1 (E): E is polystable } A 0,1 (r, d), will be of particular interest for us. 2 Moduli Space of Higgs Bundles A central feature of Higgs bundles, is that they come in collections parametrized by the points of a quasi-projective variety: the Moduli Space of Higgs Bundles. 3

4 Survey of Higgs Bundles 2.1 Moduli space of vector bundles The starting point to classify this collections, is the Moduli Space of Vector bundles. Using Mumford s Geometric invariant Theory (GIT) from the work of Mumford, Fogarty and Kirwan [7], first Narasimhan & Seshadri [8], and then Atiyah & Bott [1], build and charaterize this family of bundles by Morse theory and by their stability. Both classifications are equivalent. We use the one from stability here: Definition 2.1. Define the quotient N (r, d) = Aps 0,1 (r, d)/gc as the moduli space of vector bundles E Σ. Respectively, define the quotient N s (r, d) = A 0,1 s (r, d)/g C N (r, d) as the moduli space of stable vector bundles E Σ. Remark 2.2. The quotient A 0,1 (r, d)/g C is not Hausdorff so, we may lose a lot of interesting properties. Narasimhan & Seshadri [8] charaterize this variety, and then Atiyah & Bott [1] conclude in their work that: Theorem 2.3 (9. [1]). If GCD(r, d) = 1, then A 0,1 ps = A 0,1 s and N (r, d) = N s (r, d) becomes a (compact) differential projective algebraic variety with dimension dim C ( N (r, d) ) = r 2 (g 1) Hitchin Construction Hitchin [6] works with the Yang-Mills self-duality equations (SDE) F A + [φ, φ ] = 0 A φ = 0 (2) where φ Ω 1,0( Σ, End(E) ) is a complex auxiliary field and F A is the curvature of a connection d A which is compatible with the holomorphic structure of the bundle E = (E, A ). Hitchin calls such a φ as a Higgs field, because it shares a lot of the physical and gauge properties to those of the Higgs boson. The set of solutions β(e) := {( A, φ) solution of (2)} A 0,1 (E) Ω 1,0 (Σ, End(E)) and the collection β ps (r, d) := {β(e) E polystable, rk(e) = r, deg(e) = d} allow Hitchin to construct the Moduli space of solutions to SDE (2) M Y M (r, d) = β ps (r, d)/g C, and M Y s M (r, d) = β s (r, d)/g C M Y M (r, d) the moduli space of stable solutions to SDE (2). 4

5 Ronald A. Zúñiga-Rojas Remark 2.4. Recall that GCD(r, d) = 1 implies Aps 0,1 = A 0,1 (r, d). M Y M s Nitsure [9] cumputes the dimension of this space in his work: s and so M Y M (r, d) = Theorem 2.5 (Nitsure (1991)). The space M(r, d) is a quasi projective variety of complex dimension dim C (M(r, d)) = (r 2 1)(2g 2). 2.3 Simpson Construction An alternative concept arises in the work of Simpson [10]: Definition 2.6. A Higgs bundle over Σ is a pair (E, ϕ) where E Σ is a holomorphic vector bundle together with ϕ, an endomorphism of E twisted by K: ϕ: E E K (ϕ is a Higgs field indeed). There is a condition of stability analogous to the one for vector bundles, but with reference just to subbundles preserved by the endomorphism ϕ: Definition 2.7. A subbundle F E is said to be ϕ-invariant if ϕ(f) F K. A Higgs bundle is said to be semistable [respectively, stable] if µ(f) µ(e) [resp., µ(f) < µ(e)] for any nonzero ϕ-invariant subbundle F E [resp., F E]. Finally, (E, ϕ) is called polystable if it is the direct sum of stable ϕ-invariant subbundles, all of the same slope. With this notion of stability in mind, Simpson [10] constructs the Moduli space of Higgs bundles as the quotient and the subspace of stable Higgs bundles. M H (r, d) = {(E, ϕ) E polystable }/G C M H s (r, d) = {(E, ϕ) E stable }/G C M H (r, d) Remark 2.8. Again, GCD(r, d) = 1 implies M H (r, d) = M H s (r, d). See Simpson [10] for details. Finally, Simpson [10] concludes: Proposition 2.9 (Prop [10]). There is a homeomorphism of topological spaces M H (r, d) = M Y M (r, d). 3 New Results Motivated by the results of Bradlow, García Prada, Gothen [3] and the work of Hausel [5], in terms of the homotopy groups of the moduli space of Higgs bundles, the author has tried to improve the result of Hausel to higher rank (see for instance [4], [11], [12] and [13]). So far, here is one of the main results. 5

6 Survey of Higgs Bundles Theorem 3.1 (Cor [13]). Suppose the rank is either r = 2 or r = 3, and GCD(r, d) = 1. Then, for all n exists k 0, depending on n, such that for all k k 0 and for all j n 1. π j ( M k Λ (r, d) ) = π j (M Λ (r, d)) Proof. Here, M k Λ(r, d) is the moduli space of k-higgs bundles with fixed determinant Λ. This result is inferred from the Morse theory worked out by Bradlow et.al. [3]. The reader may see [13] for details. There is a lot of interesting new results related with the homotopy of the moduli space of Higgs bundles, in terms of its stratifications (see [4]), and in terms of Morse Theory and Variations of Hodge Structures (see [12]). Nevertheless, the introduction of a wide bunch of notation would be needed. The author encourages the reader to explore those results in the references above mentioned. Acknowledgements The author aknowledges the opportunity to share his work through the communications of SIMMAC Financial support from Vicerrectoría de Investigación de la Universidad de Costa Rica, through the projects 820 B5 202 and 820 B8 224, is acknowledged. References [1] M. F. Atiyah and R. Bott, (1982) Yang Mills equations over Riemann surfaces, Phil. Trans. Roy. Soc. London, A 308, [2] S.B. Bradlow, O. García-Prada and P.B. Gothen, (2007) What is a Higgs Bundle?, Notices of the AMS, 54, No. 8, [3] S. B. Bradlow, O. García-Prada and P. B. Gothen, (2008) Homotopy groups of moduli spaces of representations, Topology 47, [4] P. B. Gothen and R. A. Zúñiga-Rojas, Stratifications on the moduli space of Higgs bundles, Portugaliae Mathematica, EMS, 74, (2017), [5] T. Hausel, (1998) Geometry of Higgs bundles, Ph. D. thesis, Cambridge. [6] N. J. Hitchin, (1987) The self-duality equations on a Riemann surface, Proc. London Math. Soc., 55, [7] D. Mumford, J. Fogarty and F. Kirwan, (1994) Geometric invariant Theory, Springer. [8] M.S. Narasimhan and C.S. Seshadri, (1965) Stable and Unitary Vector Bundles on a Compact Riemann Surface, The Annals of Mathematics, Second Series Vol. 82, pp [9] Nitsure, N., (1991) Moduli Space of Semistable Pairs on a Curve, Proc. London Math. Soc., (3), 62, pp

7 Ronald A. Zúñiga-Rojas [10] C. T. Simpson, (1992) Higgs bundles and local systems, Publ. Math IHÉS 75, [11] R. A. Zúñiga-Rojas, (2015) Homotopy groups of the moduli space of Higgs bundles, Ph. D. thesis, Porto, Portugal. [12] R. A. Zúñiga-Rojas, (2018?) On the Cohomology of The Moduli Space of sigma- Stable Triples and (1,2)-VHS, to appear. arxiv: [math.ag]. [13] R. A. Zúñiga-Rojas, (2017) Stabilization of the Homotopy Groups of The Moduli Space of k-higgs Bundles, to appear in Revista Colombiana de Matemáticas arxiv: [math.at]. Ronald A. Zúñiga-Rojas Centro de Investigaciones Matemáticas y Metamatemáticas CIMM Universidad de Costa Rica UCR San José 11501, Costa Rica ronald.zunigarojas@ucr.ac.cr 7