An introduction to spectral data for Higgs bundles

## Outline

These notes have been prepared as reading material for the mini-course ' An introduction to spectral data for Higgs bundles ' that the author gave at the National University of Singapore as part of the Summer school on the moduli space of Higgs bundles .

## Lecture 1

The first lecture shall introduce classical Higgs bundles and the Hitchin fibration, and describe the associated spectral data in the case of principal Higgs bundles for classical complex Lie groups. Whilst bibliography is provided in the text, the main references followed are Hitchin's papers [Hit87, Hit87a, Hit92, Hit07].

## Lecture 2

During the second lecture we shall construct Higgs bundles for real forms of classical complex Lie groups as fixed points of involutions, and describe the corresponding spectral data when known, as appearing in [Sch11, Sch13, Sch13b] and [HitSch]. Along the way, we shall mention different applications and open problems related to the methods introduced in both lectures.

## Exercises

Each lecture contains exercises of varying difficulty, whose solutions can be found in [Sch13], and commented in the .tex file. Open problems which might be tackled with methods similar to the ones introduced in the lectures shall also be mentioned, and appear indicated with ((*)) . For each of these problems we suggest references which feature approaches that may be useful.

## Bibliography

We shall highlight the main references considered, as well as the precise places where the methods used were developed. Since it proves to be very difficult to give a comprehensive and exhaustive account of research in tangential areas, we shall restrain ourselves to mentioning related work only when it directly involves methods using spectral data . The reader should refer to references in the bibliography for further research in related topics (e.g., see references in [Ap09, P13, Sch13]).

## Acknowledgments

The author would like to thank the Institute of Mathematical Sciences at the National University of Singapore and the organisers of the program The Geometry, Topology and Physics of Moduli Spaces of Higgs Bundles for providing an ideal environment for research and collaborations. The author also acknowledges support from U.S. National Science Foundation grants DMS 1107452, 1107263, 1107367 'sRNMS: GEometric structures And Representation varieties' (the GEAR Network).

## CHAPTER 1

## Spectral data for G c -Higgs bundles

The art of doing mathematics consists in finding that special case which contains all the germs of generality.

David Hilbert

Following [Hit87, Hit87a, Hit07] we dedicate this lecture to overview classical Higgs bundles as well as G c -Higgs bundles for the groups G c = SL n, ( C ), Sp n, ( C ), SO (2 n +1 , C ) and SO (2 n, C ). In each case we introduce the Hitchin fibration and describe the generic fibres through spectral data , i.e., an associated spectral curve and a line bundle on it.

## 1.1 G c -Higgs bundles

Consider Σ a compact Riemann surface of genus g ≥ 2 with canonical bundle K = T ∗ Σ. Classically, a Higgs bundle on Σ is defined as follows:

Definition 1.1. A Higgs bundle is a pair ( E, Φ) for E a holomorphic vector bundle on Σ , and Φ , the Higgs field , a holomorphic section in H 0 (Σ , End ( E ) ⊗ K ) .

In order to understand better what Higgs bundles are and how to generalise the definition, we shall first look at the moduli space of vector bundles and then study the moduli space of classical Higgs bundles and its associated spectral data. For more details the reader should refer to [Hit87, Hit87a, D87, Cor88, S88, N91, S92].

## 1.1.1 Moduli space of vector bundles

Holomorphic vector bundles E on a compact Riemann surface Σ of genus g ≥ 2 are topologically classified by their rank rk E ( ) and their degree deg E ( ).

Definition 1.2. The slope of a holomorphic vector bundle E is µ E ( ) := deg E /rk E ( ) ( ) and is used to define stability conditions: A vector bundle E is said to be stable ( semi-stable ) if for any proper, non-zero sub-bundle F ⊂ E one has µ F ( ) &lt; µ E ( ) ( µ F ( ) ≤ µ E ( ) ). It is polystable if it is a direct sum of stable bundles whose slope is the same as E .

It is known that the space of holomorphic bundles of fixed rank and fixed degree, up to isomorphism, is not a Hausdorff space. However, through Mumford's Geometric Invariant Theory one can construct the moduli space N ( n, d ) of stable bundles of fixed rank n and degree d , which has the natural structure of an algebraic variety.

Remark 1.3. For coprime n and d , the moduli space N ( n, d ) is a smooth projective algebraic variety of dimension n 2 ( g -1) + 1 .

Remark 1.4. All line bundles are stable, and thus N (1 , d ) contains all line bundles of degree d , and is isomorphic to Jac d (Σ) of Σ , an abelian variety of dimension g .

Let G c be a complex semisimple Lie group. Following [Ra75] one can define stability for principal G c -bundles as follows (see [Ap09, Section 1.1] for a comprehensive study):

Definition 1.5. A holomorphic principal G c -bundle P is said to be stable ( semi-stable ) if for every reduction σ : Σ → P/Q to maximal parabolic subgroups Q of G c one has deg σ T ∗ rel &gt; 0 ( ≥ 0) , where T rel is the relative tangent bundle for the projection P/Q → Σ .

The notion of polystability may be carried over to principal G c -bundles, allowing one to construct the moduli space of isomorphism classes of polystable principal G c -bundles of fixed topological type over the compact Riemann surface Σ.

## 1.1.2 Moduli space of classical Higgs bundles

In order to define the moduli space of Higgs bundles, the following stability condition is considered:

Definition 1.6. A vector subbundle F of E for which Φ( F ) ⊂ F ⊗ K is said to be a Φ invariant -subbundle of E . A Higgs bundle ( E, Φ) is said to be

- · stable ( semi-stable ) if for each proper Φ -invariant F ⊂ E one has µ F ( ) &lt; µ E ( ) ( equiv. ≤ ) ;
- · polystable if ( E, Φ) = ( E , 1 Φ ) 1 ⊕ ( E , 2 Φ ) 2 ⊕ . . . ⊕ ( E , r Φ ) r , where ( E , i Φ ) i is stable with µ E ( i ) = µ E ( ) for all i .

Remark 1.7. The characteristic polynomial of Φ restricted to an invariant subbundle divides the characteristic polynomial of Φ .

Example 1.8. Choose a square root K 1 / 2 of the canonical bundle K , and a section ω of K 2 . A family of classical Higgs bundles ( E, Φ ) ω may be obtained by considering the vector bundle E = K 1 2 ⊕ K -1 2 and the Higgs bundle Φ ω given by

$$\Phi _ { \omega } = \left ( \begin{array} { c c } 0 & \omega \\ 1 & 0 \end{array} \right ) \in H ^ { 0 } ( \Sigma, E n d ( E ) \otimes K )$$

Exercise 1. Show that the pairs ( E, Φ ) ω from Example 1.8 are stable.

Exercise 2. Prove that if a Higgs bundle ( E, Φ) is stable, then for λ ∈ C ∗ and α a holomorphic automorphism of E , the induced Higgs bundles ( E,λ Φ) and ( E,α ∗ Φ) are stable.

In order to define the moduli space of classical Higgs bundles, we shall first define an appropriate equivalence relation. For this, consider a strictly semi-stable Higgs bundle ( E, Φ). As it is not stable, E admits a subbundle F ⊂ E of the same slope which is preserved by Φ. If F is a subbundle of E of least rank and same slope which is preserved by Φ, it follows that F is stable and hence the induced pair ( F, Φ) is stable. Then, by induction one obtains a flag of subbundles F 0 = 0 ⊂ F 1 ⊂ . . . ⊂ F r = E where µ F /F ( i i -1 ) = µ E ( ) for 1 ≤ i ≤ r , and where the induced Higgs bundles ( F /F i i -1 , Φ ) are stable. i This is the Jordan-H¨ older filtration of E , and it is not unique. However, the graded object Gr( E, Φ) := ⊕ r i =1 ( F /F i i =1 , Φ ) is unique up to isomorphism. i

Definition 1.9. Two semi-stable Higgs bundles ( E, Φ) and ( E , ′ Φ ) ′ are said to be S -equivalent if Gr ( E, Φ) = ∼ Gr ( E , ′ Φ ) ′ .

Exercise 3. If a pair ( E, Φ) is strictly stable, what is the induced Jordan-H¨lder filtration? o

Following [N91, Theorem 5.10] we let M ( n, d ) be the moduli space of S -equivalence classes of semi-stable Higgs bundles of fixed degree d and fixed rank n . The moduli space M ( n, d ) is a quasi-projective scheme, and has an open subscheme M ′ ( n, d ) which is the moduli scheme of stable pairs. Thus, every point is represented by either a stable or a polystable Higgs bundle. When d and n are coprime, the moduli space M ( n, d ) is smooth.

The cotangent space of N ( n, d ) over the stable locus is contained in M ( n, d ) as a Zariski open subset. The moduli space M ( n, d ) is a non-compact variety which has complex dimension 2 n 2 ( g -1) + 2. Moreover, it is a hyperk¨hler manifold with natural symplectic form a ω defined on the infinitesimal deformations ( ˙ A, ˙ Φ) of a Higgs bundle ( E, Φ) by

$$\omega ( ( \dot { A } _ { 1 }, \dot { \Phi } _ { 1 } ), ( \dot { A } _ { 2 }, \dot { \Phi } _ { 2 } ) ) = \int _ { \Sigma } \text{tr} ( \dot { A } _ { 1 } \dot { \Phi } _ { 2 } - \dot { A } _ { 2 } \dot { \Phi } _ { 1 } ), & & ( 1. 1 )$$

where ˙ A ∈ Ω 0 1 , (End 0 E ) and Φ ˙ ∈ Ω 1 0 , (End 0 E ) (see [Hit87, Hit87a] for details). For simplicity, we shall fix n and d and write M for M ( n, d ).

## 1.1.3 Moduli space of G c -Higgs bundles

The notion of Higgs bundle can be generalized to encompass principal G c -bundles, for G c a complex semi-simple Lie group. For more details, the reader should refer to [Hit87a].

Definition 1.10. A G c -Higgs bundle is a pair ( P, Φ) where P is a principal G c -bundle over Σ , and the Higgs field Φ is a holomorphic section of the vector bundle ad P ⊗ C K , for ad P the vector bundle associated to the adjoint representation.

When G c ⊂ GL n, ( C ), a G c -Higgs bundle gives rise to a Higgs bundle in the classical sense, with some extra structure reflecting the definition of G c . In particular, classical Higgs bundles are given by GL n, ( C )-Higgs bundles.

Example 1.11. The Higgs bundles in Example 1.8 have traceless Higgs field, and the determinant Λ 2 E is trivial. Hence, for each quadratic differential ω one has an SL (2 , C ) -Higgs bundle ( E, Φ ) ω .

By extending the stability definitions for principal G c -bundles, one can define stable , semistable and polystable G c -Higgs bundles. Since in these notes we shall be working with Higgs pairs which do not preserve any subbundle, they will be automatically stable and thus we shall not dedicate time to recall the main study of stability for principal Higgs bundles. For details about the corresponding constructions, the reader should refer for example to [BiGo08, Section 3], [Ap09, Section 1]. We denote by M G c the moduli space of S -equivalence classes of polystable G c -Higgs bundles.

In the remainder of this Section, following [Hit87a] and [Hit07] we introduce the Hitchin fibration and describe the generic fibres for G c -Higgs bundles where G c = GL n, ( C ), SL n, ( C ), Sp (2 n, C ), SO (2 n + 1 , C ) and SO (2 n, C ). We shall cover with more detail the initial cases, and leave as an exercise to the reader some of the results for the latter groups.

## 1.2 The Hitchin fibration

A natural way of studying M G c is through the Hitchin fibration, as introduced in [Hit87a]. We shall denote by p i , for i = 1 , . . . , k , a homogeneous basis for the algebra of invariant polynomials of the Lie algebra g c of G c , and let d i be their degrees. Then, the Hitchin fibration is given by

$$h \, \colon \, \mathcal { M } _ { G _ { c } } \, \longrightarrow \, \mathcal { A } _ { G _ { c } } \coloneqq \bigoplus _ { i = 1 } ^ { k } H ^ { 0 } ( \Sigma, K ^ { d _ { i } } ), \quad & & ( 1. 2 ) \\ \nu \, \nu \, \times \, \quad. \, \quad \nu \, \nu \times \, \quad & \nu \, \infty$$

↦

$$( E, \Phi ) \ \mapsto \ \ ( p _ { 1 } ( \Phi ), \dots, p _ { k } ( \Phi ) ).$$

The map h is referred to as the Hitchin map , and is a proper map for any choice of basis (see [Hit87a, Section 4] for details). Furthermore, A G c always satisfies dim A G c = dim M G c / 2 , making the Higgs bundle moduli space into an integrable system.

Remark 1.12. A homogenous basis of invariant polynomials for classical Higgs bundles ( E, Φ) of rank n can be taken as tr(Φ ) i for 1 ≤ i ≤ n .

Remark 1.13. Whilst a formal definition of the smooth locus of the Hitchin base can be given (e.g., see [Do95]) in these lectures we shall note that the generic fibres of the Hitchin fibration are smooth, and thus generic points in the Hitchin base are in the smooth locus.

## 1.2.1 GL n, ( C ) -Higgs bundles

As before, let K be the canonical bundle of Σ, and X its total space with projection π : X → Σ. We shall denote by η the tautological section of the pull back π K ∗ on X . Abusing notation we denote with the same symbols the sections of powers K i on Σ and their pull backs to X . The characteristic polynomial of a Higgs bundle ( E, Φ) in a generic fibre h -1 ( a ) defines a smooth curve π : S a → Σ in X , the spectral curve of Φ, whose equation is

$$\det ( \eta I d - \pi ^ { * } \Phi ) = \eta ^ { n } + a _ { 1 } \eta ^ { n - 1 } + a _ { 2 } \eta ^ { n - 2 } + \dots + a _ { n - 1 } \eta + a _ { n } = 0, \quad \quad ( 1. 4 )$$

for a i ∈ H 0 (Σ , K i ) (for simplicity, we shall write det( η -Φ) for the characteristic polynomial of the Higgs field Φ, and drop the subscript a of S a ). By the adjunction formula on X (see e.g. [GH11]), since the canonical bundle K has trivial cotangent bundle one has K S ∼ = π K ∗ n , and hence the genus of S is

$$g _ { S } & = 1 + n ^ { 2 } ( g - 1 ). & ( 1. 5 )$$

The spectral data classical Higgs bundles in a smooth fibre of the Hitchin fibration is given by a spectral curve S defined as in (1.4) and a line bundle L ∈ Jac( S ).

In order to see that the smooth fibres of the Hitchin fibration are Jacobians, starting with a line bundle L on the smooth curve π : S → Σ with equation as in (1.4), we shall obtain a classical Higgs bundle by considering the direct image π L ∗ of L . Recall that by definition of direct image, given an open set U ⊂ Σ, one has H 0 ( π -1 ( U ) , L ) = H 0 ( U , π ∗ L . ) Multiplication by the the tautological section η induces the map

$$H ^ { 0 } ( \pi ^ { - 1 } ( \mathcal { U } ), L ) \stackrel { \eta } { \rightarrow } H ^ { 0 } ( \pi ^ { - 1 } ( \mathcal { U } ), L \otimes \pi ^ { * } K ),$$

which by definition of direct image can be pushed down to give

$$\Phi \colon \pi _ { * } L \to \pi _ { * } L \otimes K.$$

Then, one obtains a Higgs field Φ ∈ H 0 (Σ End , E ⊗ K ) for E := π L ∗ .

Exercise 4. Use Grothendieck-Riemann-Roch to see that deg ( E ) = deg ( L ) + ( n 2 -n )(1 -g . )

Moreover, the Higgs field satisfies its characteristic equation, which by construction is given by η n + a η 1 n -1 + a η 2 n -2 + . . . + a n -1 η + a n = 0 . Furthermore, since S is irreducible, from Remark 1.7 there are no invariant subbundles of the Higgs field, making the induced Higgs bundle ( E, Φ) stable.

Conversely, let ( E, Φ) be a classical Higgs bundle. The characteristic polynomial is given by det( x -Φ) = x n + a x 1 n -1 + a x 2 n -2 + . . . + a n -1 x + a n , and its coefficients define the spectral curve S in the total space X whose equation is (1.4).

From [BNR, Proposition 3.6], there is a bijective correspondence between Higgs bundles ( E, Φ) and the line bundles L on the spectral curve S described previously. This correspondence identifies the fibre of the Hitchin map with the Picard variety of line bundles of the appropriate degree. By tensoring the line bundles L with a chosen line bundle of degree -deg( L ), one obtains a point in the Jacobian Jac( S ), the abelian variety of line bundles of degree zero on S , which has dimension g S as in (1.5). In particular, the Jacobian variety is the connected component of the identity in the Picard group H 1 ( S, O ∗ S ). Thus, the fibre of the classical Hitchin fibration h : M→A is isomorphic to the Jacobian of the spectral curve S . For more details, the reader should refer for example to [Hit07, Section 2].

↦

Example 1.14. In the case of a classical rank 2 Higgs bundle ( E, Φ) , the characteristic polynomial of Φ defines a spectral curve π : S → Σ . This is a 2-fold cover of Σ in the total space of K , and has equation η 2 + a 2 = 0 , for a 2 a quadratic differential and η the tautological section of π K ∗ . By [BNR, Remark 3.5] the curve is smooth when a 2 has simple zeros, and in this case the ramification points are given by the divisor of a 2 . For z a local coordinate near a ramification point, the covering is given by z → z 2 := w. In a neighbourhood of z = 0 , a section of the line bundle M looks like f ( w ) = f 0 ( w ) + zf 1 ( w . ) Since the Higgs field is obtained via multiplication by η , one has

$$\Phi ( f _ { 0 } ( w ) + z f _ { 1 } ( w ) ) = w f _ { 1 } ( w ) + z f _ { 0 } ( w ),$$

and thus a local form of the Higgs field Φ is given by

$$\Phi = \left ( \begin{array} { c c } 0 & w \\ 1 & 0 \end{array} \right ).$$

Remark 1.15. When G c ⊂ GL n, ( C ) , the spectral data of a G c -Higgs bundle is given by the spectral data of the pair as a classical Higgs bundle, satisfying extra conditions.

Remark 1.16. For generic G c , a description of the fibres can be obtained by means of Cameral covers [DoMa96] (see also [Do95]) which is equivalent to the one given in the next sections for classical Lie groups.

## 1.2.2 SL n, ( C ) -Higgs bundles

When G c = SL n, ( C ) we apply Definition 1.10 to obtain the following:

Definition 1.17. An SL n, ( C ) -Higgs bundle is a classical Higgs bundle ( E, Φ) where the rank n vector bundle E has trivial determinant and the Higgs field has zero trace.

A basis for the invariant polynomials on the Lie algebra sl ( n, C ) is given by the coefficients of the characteristic polynomial of a trace-free matrix A ∈ sl ( n, C ). In this case, the spectral curve π : S → Σ associated to the Higgs bundle has equation

$$\eta ^ { n } + a _ { 2 } \eta ^ { n - 2 } + \dots + a _ { n - 1 } \eta + a _ { n } = 0,$$

where a i ∈ H 0 (Σ , K i ) are the coefficients of the characteristic polynomial of the Higgs field Φ. Generically S is a smooth curve of genus g S = 1 + n 2 ( g -1) , and the coefficients define the corresponding Hitchin fibration

$$h \, \colon \, \mathcal { M } _ { S L ( n, \mathbb { C } ) } \longrightarrow \mathcal { A } _ { S L ( n, \mathbb { C } ) } \coloneqq \bigoplus _ { i = 2 } ^ { n } H ^ { 0 } ( \Sigma, K ^ { i } ).$$

In this case the generic fibres of the Hitchin fibration are given by the subset of Jac( S ) of line bundles L on S for which π L ∗ = E and Λ n π L ∗ is trivial. By understanding these conditions in terms of L one has the following:

The generic fibre h -1 ( a ) of the SL n, ( C ) Hitchin fibration is biholomorphically equivalent to the Prym( S, Σ) variety of the spectral curve S a defined as in (1.4).

In order to see why one has to take the Prym variety, recall that the Norm map

$$N m \, \colon \text{Pic} ( S ) \to \text{Pic} ( \Sigma ),$$

associated to π is defined on divisor classes by Nm( ∑ n p i i ) = ∑ n π p i ( i ). In particular,

$$N m ( \pi ^ { - 1 } ( x ) ) = \pi ( \pi ^ { - 1 } ( x ) ) = n x.$$

The kernel of the Norm map is the Prym variety , and is denoted by Prym( S, Σ). From [BNR, Section 4], the determinant bundle of L satisfies

$$\Lambda ^ { n } \pi _ { * } L \cong N { \mathrm m } ( L ) \otimes K ^ { - n ( n - 1 ) / 2 }.$$

Thus, Λ n π L ∗ is trivial if and only if

$$N m ( L ) & \cong K ^ { n ( n - 1 ) / 2 }.$$

Equivalently, since Nm( ∑ n π i -1 ( p i )) = n ∑ n p , i i the determinant bundle Λ n π L ∗ is trivial if the line bundle M := L ⊗ π K ∗ -( n -1) / 2 is in the Prym variety.

Remark 1.18. In the case of even rank, equation (1.9) implies a choice of a square root of K (see [Hit87] and [Hit07, Section 2.2] for more details).

## 1.2.3 Sp (2 n, C ) -Higgs bundles

Let G c = Sp (2 n, C ), and let V be a 2 n dimensional vector space with a non-degenerate skewsymmetric form &lt;,&gt; . For v , v i j eigenvectors of A ∈ sp (2 n, C ) with eigenvalues λ i and λ j ,

$$\lambda _ { i } < v _ { i }, v _ { j } > \ = \ < \lambda _ { i } v _ { i }, v _ { j } >$$

$$= \ < A v _ { i }, v _ { j } >$$

$$= \ - < v _ { i }, A v _ { j } >$$

$$= \ - < v _ { i }, \lambda _ { j } v _ { j } > = - \lambda _ { j } < v _ { i }, v _ { j } >.$$

From the above one has that &lt; v , v i j &gt; = 0 unless λ i = -λ j . Since &lt; v , v j j &gt; = 0, from the non-degeneracy of the symplectic inner product it follows that if λ i is an eigenvalue so is -λ i . Thus, distinct eigenvalues of A must occur in ± λ i pairs, and the corresponding eigenspaces are paired by the symplectic form. The characteristic polynomial of A must therefore be of the form

$$\det ( x - A ) = x ^ { 2 n } + a _ { 1 } x ^ { 2 n - 2 } + \dots + a _ { n - 1 } x ^ { 2 } + a _ { n },$$

and a basis for the invariant polynomials on the Lie algebra sp (2 n, C ) is given by a , . . . , a 1 n .

Definition 1.19. An Sp (2 n, C ) -Higgs bundle is a pair ( E, Φ) for E a rank 2 n vector bundle with a symplectic form ω ( , ) , and the Higgs field Φ ∈ H 0 (Σ , End ( E ) ⊗ K ) satisfying

$$\omega ( \Phi v, w ) = - \omega ( v, \Phi w ).$$

The volume form ω n trivialises the determinant bundle Λ 2 n E ∗ . The characteristic polynomial det( η -Φ) defines a spectral curve π : S → Σ in X with equation

$$\eta ^ { 2 n } + a _ { 1 } \eta ^ { 2 n - 1 } + \dots + a _ { n - 1 } \eta ^ { 2 } + a _ { n } = 0,$$

whose genus is g S := 1 + 4 n 2 ( g -1) . The curve S has a natural involution σ η ( ) = -η and thus one can define the quotient curve ¯ : π S = S/σ → Σ, of which S is a 2-fold cover

$$p \colon S \rightarrow \overline { S }.$$

Note that the Norm map associated to p satisfies p ∗ Nm( ) = x x + σx , and thus the Prym variety Prym( S, S ) is given by the line bundles M ∈ Jac( S ) for which σ M ∗ ∼ = M ∗ .

As in the case of classical Higgs bundles, the characteristic polynomial of a Higgs field Φ gives the Hitchin fibration

$$h \, \colon \, \mathcal { M } _ { S p ( 2 n, C ) } \longrightarrow \mathcal { A } _ { S p ( 2 n, C ) } \coloneqq \bigoplus _ { i = 1 } ^ { n } H ^ { 0 } ( \Sigma, K ^ { 2 i } ),$$

and one has the following:

The generic fibres h -1 ( a ) of the Hitchin fibration for Sp (2 n, C )-Higgs bundles is given by Prym varieties Prym( S, S ) where S and its quotient ¯ are the curves defined by S a as above.

The spectral data described above for an Sp (2 n, C )-Higgs bundle ( E, Φ) can be obtained by looking at the extra conditions needed on L ∈ Jac( S ) associated to the corresponding classical Higgs pair for which π L ∗ = E . In order to understand this, note that for V ⊂ S an open set, we have V ⊂ π -1 ( π ( V )) and hence a natural restriction map H 0 ( π -1 ( π ( V )) , L ) → H 0 ( V , L ) , which gives the evaluation map ev : π π L ∗ ∗ → L . Multiplication by η commutes with this linear map and so the action of π ∗ Φ on the dual of the vector bundle π π L ∗ ∗ preserves a one-dimensional subspace. Hence L ∗ is an eigenspace of π ∗ Φ , with eigenvalue t η . Equivalently, L is the cokernel of π ∗ Φ -η acting on π E ∗ ⊗ π K ∗ ∗ . By means of the Norm map for π , this correspondence can be seen on the curve S via the exact sequence

$$0 \to L \otimes \pi ^ { * } K ^ { 1 - 2 n } \to \pi ^ { * } E \xrightarrow { \pi ^ { * } \Phi - \eta } \pi ^ { * } ( E \otimes K ^ { * } ) \xrightarrow { e v } L \otimes \pi ^ { * } K \to 0, \text{ \quad \ } ( 1. 1 5 )$$

and its dualised sequence

$$0 \to L ^ { * } \otimes \pi ^ { * } K ^ { * } \to \pi ^ { * } ( E ^ { * } \otimes K ^ { * } ) \to \pi ^ { * } E ^ { * } \to L ^ { * } \otimes \pi ^ { * } K ^ { 2 n - 1 } \to 0. \quad \quad ( 1. 1 6 )$$

In particular, from the relative duality theorem one has that

$$\pi _ { * } ( L ) ^ { * } & \cong \pi _ { * } ( K _ { S } \otimes \pi ^ { * } K ^ { - 1 } \otimes L ^ { * } ), & ( 1. 1 7 )$$

and thus E ∗ is the direct image sheaf π ∗ ( L ∗ ⊗ π K ∗ 2 n -1 ).

Given an Sp (2 n, C )-Higgs bundle ( E, Φ), one has Φ t = -Φ and an eigenspace L of Φ with eigenvalue η is transformed to σ L ∗ for the eigenvalue -η . Moreover, since the line bundle L is the cokernel of π ∗ Φ -η acting on π ∗ ( E ⊗ K ∗ ), one can consider the corresponding exact sequences (1.15) and its dualised sequence, which identify L ∗ with L ⊗ π K ∗ 1 -2 n , or equivalently, L 2 = π K ∗ 2 n -1 . By choosing a square root K 1 / 2 one has a line bundle M := L ⊗ π K ∗ -n +1 2 / for which σ M ∗ ∼ = M ∗ , i.e., which is in the Prym variety Prym( S, S ).

Conversely, an Sp (2 p, C )-Higgs bundle can be recovered from a line bundle M ∈ Prym( S, S ), for S a smooth curve with equation (1.13) and ¯ its quotient curve. Indeed, by Bertini's theorem, such S a smooth curve S with equation (1.13) always exists. Letting E := π L ∗ for L = M ⊗ π K ∗ n -1 / 2 , one has the exact sequences (1.15) and its dualised on the curve S . Moreover, since L 2 ∼ = π K ∗ 2 n -1 , there is an isomorphism E ∼ = E ∗ which induces the symplectic structure on E . Hence, the generic fibres of the corresponding Hitchin fibration can be identified with the Prym variety Prym( S, S ).

## 1.2.4 SO (2 n +1 , C ) -Higgs bundles

We shall now consider the special orthogonal group G c = SO (2 n + 1 , C ) and the corresponding Higgs bundles. Following a similar analysis as in the previous case, one can see that for a generic matrix A ∈ so (2 n + 1 , C ), its distinct eigenvalues occur in ± λ i pairs. Thus, the characteristic polynomial of A must be of the form

$$\det ( x - A ) = x ( x ^ { 2 n } + a _ { 1 } x ^ { 2 n - 2 } + \dots + a _ { n - 1 } x ^ { 2 } + a _ { n } ), & & ( 1. 1 8 )$$

where the coefficients a , . . . , a 1 n give a basis for the invariant polynomials on so (2 n +1 , C ).

Definition 1.20. An SO (2 n + 1 , C ) -Higgs bundle is a pair ( E, Φ) for E a holomorphic vector bundle of rank 2 n +1 with a non-degenerate symmetric bilinear form ( v, w ) , and Φ a Higgs field in H 0 (Σ , End 0 ( E ) ⊗ K ) which satisfies

$$( \Phi v, w ) = - ( v, \Phi w ).$$

The moduli space M SO (2 n +1 , C ) has two connected components, characterised by a class w 2 ∈ H 2 (Σ , Z 2 ) = ∼ Z 2 , depending on whether E has a lift to a spin bundle or not. The spectral curve induced by the characteristic polynomial in (1.18) is a reducible curve: an SO (2 n + 1 , C )-Higgs field Φ always has a zero eigenvalue, and from [Hit07, Section 4.1] the zero eigenspace E 0 is given by E 0 ∼ = K -n .

From (1.18), the characteristic polynomial det( η -Φ) defines a component of the spectral curve, which for convenience we shall denote by π : S → Σ, and whose equation is given by η 2 n + a η 1 2 n -2 + . . . + a n -1 η 2 + a n = 0 , where a i ∈ H 0 (Σ , K 2 i ). This is a 2 n -fold cover of Σ, with genus g S = 1 + 4 n 2 ( g -1) . The Hitchin fibration in this case is given by the map

$$h \ \colon \ \mathcal { M } _ { S O ( 2 n + 1, C ) } \longrightarrow \mathcal { A } _ { S O ( 2 n + 1, C ) } \coloneqq \bigoplus _ { i = 1 } ^ { n } H ^ { 0 } ( \Sigma, K ^ { 2 i } ), & & ( 1. 1 9 )$$

which sends each pair ( E, Φ) to the coefficients of det( η -Φ). As in the case of Sp (2 n, C ), the curve S has an involution σ which acts as σ η ( ) = -η . Thus, we may consider the quotient curve S = S/σ in the total space of K 2 , for which S is a double cover p : S → S. In this case the regular fibres can be seen as follows:

The regular fibres h -1 ( a ) of the SO (2 n +1 , C ) Hitchin fibration are given by Prym varieties Prym( S, S ¯ ) together with a trivialization of each M ∈ Prym( S, S ¯ ) over the zeros of a n defining S as in (1.18).

Following [Hit07], the symmetric bilinear form ( v, w ) canonically defines a skew form (Φ v, w ) on E/E 0 with values in K . Moreover, choosing a square root K 1 / 2 one can define

$$V = E / E _ { 0 } \otimes K ^ { - 1 / 2 },$$

on which the corresponding skew form is non-degenerate. The Higgs field Φ induces a transformation Φ ′ on V which has characteristic polynomial

$$\det \left ( x - \Phi ^ { \prime } \right ) = x ^ { 2 n } + a _ { 1 } x ^ { 2 n - 2 } + \dots + a _ { n - 1 } x ^ { 2 } + a _ { n }.$$

Note that this is exactly the case of Sp (2 n, C ) described in Section 1.2.3, and thus we may describe the above with a choice of a line bundle M 0 in the Prym variety Prym( S, S ). In particular, S corresponds to the smooth spectral curve of an Sp (2 n, C )-Higgs bundle.

When reconstructing the vector bundle E with an SO (2 n +1 , C ) structure from an Sp (2 n, C )-Higgs bundle ( V, Φ ) as in [Hit07, Section 4.3], there is a mod 2 invariant associated to each zero ′ of the coefficient a n of the characteristic polynomial det( η -Φ ). ′ This data comes from choosing a trivialisation of M ∈ Prym( S, S ) over the zeros of a n , and defines a covering P ′ of the Prym variety Prym( S, S ). The covering has two components corresponding to the spin and non-spin lifts of the vector bundle. The identity component of P ′ , which corresponds to the spin case, is isomorphic to the dual of the symplectic Prym variety, and this is the generic fibre of the SO (2 n +1 , C ) Hitchin map.

## 1.2.5 SO (2 n, C ) -Higgs bundles

Lastly, we consider G c = SO (2 n, C ). As in previous cases, the distinct eigenvalues of a matrix A ∈ so (2 n, C ) occur in pairs ± λ i , and thus the characteristic polynomial of A is of the form det( x -A ) = x 2 n + a x 1 2 n -2 + . . . + a n -1 x 2 + a n . In this case the coefficient a n is the square of a polynomial p n , the Pfaffian, of degree n . A basis for the invariant polynomials on the Lie algebra so (2 n, C ) is a , a 1 2 , . . . , a n -1 , p n , (the reader should refer, for example, to [A89] and references therein for further details).

Definition 1.21. An SO (2 n, C ) -Higgs bundle is a pair ( E, Φ) , for E a holomorphic vector bundle of rank 2 n with a non-degenerate symmetric bilinear form ( , ) , and Φ ∈ H 0 (Σ , End 0 ( E ) ⊗ K ) satisfying (Φ v, w ) = -( v, Φ w . )

Considering the characteristic polynomial det( η -Φ) of a Higgs bundle ( E, Φ) one obtains a 2 n -fold cover π : S → Σ whose equation is given by

$$\det ( \eta - \Phi ) = \eta ^ { 2 n } + a _ { 1 } \eta ^ { 2 n - 2 } + \dots + a _ { n - 1 } \eta ^ { 2 } + p _ { n } ^ { 2 },$$

for a i ∈ H 0 (Σ , K 2 i ) and p n ∈ H 0 (Σ , K n ). Note that this curve has always singularities, which are given by η = 0. The curve S has a natural involution σ η ( ) = -η , whose fixed points in this case are the singularities of S . The virtual genus of S can be obtained via the adjunction formula, giving g S = 1 + 4 n 2 ( g -1) .

In order to define the spectral data, one may consider its non-singular model ˆ : π ˆ S → Σ, whose genus is given by

$$g _ { \hat { S } } & \ = \ \ g _ { S } - \# \text{singularities} \\ & = \ \ 1 + 4 n ^ { 2 } ( g - 1 ) - 2 n ( g - 1 ) \\ & = \ \ 1 + 2 n ( 2 n - 1 ) ( g - 1 ).$$

As the fixed points of σ are double points, the involution extends to an involution ˆ on σ ˆ which S does not have fixed points. Considering the associated basis of invariant polynomials for each Higgs field Φ, one may define the Hitchin fibration

$$h \, \colon \, \mathcal { M } _ { S O ( 2 n, C ) } \longrightarrow \mathcal { A } _ { S O ( 2 n, C ) } \coloneqq H ^ { 0 } ( \Sigma, K ^ { n } ) \oplus \bigoplus _ { i = 1 } ^ { n - 1 } H ^ { 0 } ( \Sigma, K ^ { 2 i } ).$$

In this case the line bundle associated to an SO (2 n, C )-Higgs bundle is defined on the desingularisation ˆ of S S :

The smooth fibres h -1 ( a ) of the SO (2 n, C ) Hitchin fibration are given by Prym( ˆ S, S/σ ˆ ˆ), for ˆ the desingularisation of the curve S S associated to the regular base point a .

Starting with an SO (2 n, C )-Higgs bundle, since ˆ is smooth we obtain an eigenspace bundle S L ⊂ ker( η -Φ) inside the vector bundle E pulled back to ˆ . S In particular, this line bundle satisfies ˆ σ L ∗ ∼ = L ∗ ⊗ ( K ˆ S ⊗ π K ∗ ∗ ) -1 , thus defining a point in Prym( ˆ S, S/σ ˆ ˆ) given by

$$M \coloneqq L \otimes ( K _ { \hat { S } } \otimes \pi ^ { * } K ^ { * } ) ^ { 1 / 2 }.$$

Conversely, a Higgs bundle ( E, Φ) may be recovered from a curve S with has equation η 2 n + a η 1 2 n -2 + . . . + a n -1 η 2 + p 2 n = 0 , and a line bundle L on its desingularisation ˆ . S Note that given the sections

$$s = \eta ^ { 2 n } + a _ { 1 } \eta ^ { 2 n - 2 } + \dots + a _ { n - 1 } \eta ^ { 2 } + p _ { n } ^ { 2 }$$

for fixed p n with simple zeros, one has a linear system whose only base points are when η = 0 and p n = 0. Hence, by Bertini's theorem the generic divisor of the linear system defined by the sections s has those base points as its only singularities. Moreover, as p n is a section of K n , in general there are 2 n g ( -1) singularities which are generically ordinary double points. A generic divisor of the above linear system defines a curve S which has an involution σ η ( ) = -η whose only fixed points are the base points.

The involution σ induces an involution ˆ σ on the desingularisation ˆ S of S which has no fixed points, and thus we may consider the quotient ˆ S/σ ˆ and the corresponding Prym variety Prym( ˆ S, S/σ ˆ ˆ). Following a similar procedure as before, a line bundle M ∈ Prym( ˆ S, S/σ ˆ ˆ) induces a Higgs bundle ( E, Φ) where E is the direct image sheaf of L = M ⊗ ( K ˆ S ⊗ π K ∗ ∗ ) -1 / 2 . It is thus the Prym variety of ˆ which is a generic fibre of the corresponding Hitchin fibration. S

Exercise 5. Show that the genus g ˆ S/σ ˆ of ˆ S/σ ˆ is n (2 n -1)( g -1) .

## CHAPTER 2

## Spectral data for G -Higgs bundles

But most of all a good example is a thing of beauty. It shines and convinces. It gives insight and understanding. It provides the bedrock of belief.

Sir Michael Atiyah

Higgs bundles for real forms were first studied by N. Hitchin in [Hit87], and the results for SL (2 , R ) were generalised in [Hit92], where Hitchin studied the case of G = SL n, ( R ). Using Higgs bundles he counted the number of connected components and, in the case of split real forms, he identified a component homeomorphic to R dim G (2 g -2) and which naturally contains a copy of a Teichm¨ uller space. The aim of this Lecture is to introduce principal Higgs bundles for real forms and their corresponding spectral data as studied in [Sch13] and further developed in [HitSch, Hit13]. We begin by reviewing definitions and properties related to real forms of Lie algebras and Lie groups (see e.g., [FS03, He01, OnVi, Kn02, SW]), and then define G -Higgs bundles for real forms G of classical complex Lie groups G c . Through the approach of [Hit92], we describe these Higgs bundles as the fixed points of a certain involution on the moduli space of G c -Higgs bundles. In later sections we study G -Higgs bundles for non-compact real forms G and in each case give an overview of the corresponding spectral data when available.

## 2.1 G -Higgs bundles

A theorem by Hitchin [Hit87a] and Simpson [S88] gives the most important property of stable Higgs bundles on a compact Riemann surface Σ of genus g ≥ 2:

Theorem 2.1. If a Higgs bundle ( E, Φ) is stable and deg E = 0 , then there is a unique unitary connection A on E , compatible with the holomorphic structure, such that

$$F _ { A } + [ \Phi, \Phi ^ { * } ] = 0 \ \in \Omega ^ { 1, 1 } ( \Sigma, E n d \ E ),$$

where F A is the curvature of the connection.

Equation (2.1) together with the holomorphicity condition d ′′ A Φ = 0 give the Hitchin equations , where d ′′ A Φ is the anti-holomorphic part of the covariant derivative of Φ. Following [Hit92], the

above equations can also be considered when A is a connection on a principal G -bundle P , where G is the compact real form of a complex Lie group G c , and a →-a ∗ is the compact real structure on the Lie algebra. This motivates the study of Higgs bundles for real forms.

## 2.1.1 Real forms

Let g c be a complex Lie algebra with complex structure i , whose Lie group is G c .

Definition 2.2. A real form of g c is a real Lie algebra which satisfies g c = g ⊕ i g .

Given a real form g of g c , an element Z ∈ g c may be written as Z = X + iY for X,Y ∈ g . The mapping X + iY → X -iY is called the conjugation with respect to g .

↦

Remark 2.3. Any real form g of g c is given by the fixed points set of an antilinear involution τ on g c . In particular the conjugation with respect to g satisfies these properties.

Definition 2.4. A real form of a complex Lie group G c is an antiholomorphic Lie group automorphism τ : G c → G c of order two, i.e., τ 2 = 1 .

Every X ∈ g c defines an endomorphism ad X of g c given by ad X Y ( ) = [ X,Y ] for Y ∈ g c . For Tr the trace of a vector space endomorphism, B X,Y ( ) = Tr(ad X ad Y ) is a the bilinear form on g c × g c called the Killing form of g c .

Definition 2.5. A real Lie algebra g is called compact if the Killing form is negative definite on it. The corresponding Lie group G is a compact Lie group.

Definition 2.6. Let g be a real form of a complex simple Lie algebra g c , given by the fixed points of an antilinear involution τ . Then, if there is a Cartan subalgebra invariant under τ on which the Killing form is negative definite, the real form g is called a compact real form . Such a compact real form of g c corresponds to a compact real form G of G c ; if there is an invariant Cartan subalgebra on which the Killing form is positive definite, the form is called a split (or normal) real form . The corresponding Lie group G is the split real form of G c .

Any complex semisimple Lie algebra g c has a compact and a split real form which are unique up to conjugation via Aut C g c (e.g., for sl ( n , C ) these are su n ( ) and sl ( n, R ) respectively).

Remark 2.7. Recall that all Cartan subalgebras h of a finite dimensional Lie algebra g have the same dimension. The rank of g is defined to be this dimension, and a real form g of a complex Lie algebra g c is split if and only if the real rank of g equals the complex rank of g c .

An involution θ of a real semisimple Lie algebra g such that the symmetric bilinear form B θ ( X,Y ) = -B X,θY ( ) is positive definite is called a Cartan involution . Any real semisimple Lie algebra has a Cartan involution, and any two Cartan involutions θ , θ 1 2 of g are conjugate via an automorphism of g , i.e., there is a map ϕ in Aut g such that ϕθ ϕ 1 -1 = θ 2 . The decomposition of g into eigenspaces of a Cartan involution θ is called the Cartan decomposition of g .

Proposition 2.8 ([Kn02]) . Let g c be a complex semisimple Lie algebra, and ρ the conjugation with respect to a compact real form u of g c . Then, ρ is a Cartan involution.

Proposition 2.9 ([He01]) . Any non-compact real form g of a complex simple Lie algebra g c can be obtained from a pair ( u , θ ) , for u the compact real form of g c and θ an involution on u .

For completion, we shall recall here the construction of real forms from [He01]. Let h be the +1-eigenspaces of θ and i m the -1-eigenspace of θ acting on u , thus having

$$u & = \mathfrak { h } \oplus i \mathfrak { m },$$

Since g c = h ⊕ m ⊕ i ( h ⊕ m ) , there is a natural non-compact real form g of g c given by

$$\mathfrak { g } = \mathfrak { h } \oplus \mathfrak { m }.$$

Moreover, if a linear isomorphism θ 0 induces the decomposition as in (2.3), then θ 0 is a Cartan involution of g and h is the maximal compact subalgebra of g .

Following the notation of Proposition 2.9, let ρ be the antilinear involution defining the compact form u of a complex simple Lie algebra g c whose decomposition via an involution θ is given by equation (2.2). Moreover, let τ be an antilinear involution which defines the corresponding noncompact real form g = h ⊕ m of g c . Considering the action of the two antilinear involutions ρ and τ on g c , we may decompose the Lie algebra g c into eigenspaces

$$\mathfrak { g } ^ { c } = \mathfrak { h } ^ { ( +, + ) } \oplus \mathfrak { m } ^ { ( -, + ) } \oplus ( i \mathfrak { m } ) ^ { ( +, - ) } \oplus ( i \mathfrak { h } ) ^ { ( -, - ) },$$

where the upper index ( · , · ) represents the ± -eigenvalue of ρ and τ respectively. From the decomposition (2.4), the involution θ on the compact real form u giving a non-compact real form g of g c can be seen as acting on g c as σ := ρτ. Moreover, this induces an involution on the corresponding Lie group σ := G c → G . c

Remark 2.10. The fixed point set g σ of σ is given by g σ = h ⊕ i h , and thus it is the complexification of the maximal compact subalgebra h of g . Equivalently, the anti-invariant set under the involution σ is given by m C .

## 2.1.2 G -Higgs bundles through involutions

As mentioned previously, non-abelian Hodge theory on the compact Riemann surface Σ gives a correspondence between the moduli space of reductive representations of π 1 (Σ) in a complex Lie group G c and the moduli space of G c -Higgs bundles. The anti-holomorphic operation of conjugating by a real form τ of G c in the moduli space of representations can be seen via this correspondence as a holomorphic involution Θ of the moduli space of G c -Higgs bundles.

Following [Hit87a], in order to obtain a G -Higgs bundle, for A the connection which solves Hitchin equations (2.1), one requires the flat GL n, ( C ) connection

$$\nabla = \nabla _ { A } + \Phi + \Phi ^ { * }$$

to have holonomy in a non-compact real form G of GL n, ( C ), whose real structure is τ and Lie algebra is g . Equivalently, for a complex Lie group G c with non-compact real form G and real structure τ , one requires

$$\nabla = \nabla _ { A } + \Phi - \rho ( \Phi )$$

to have holonomy in G , where ρ is the compact real structure of G c . Since A has holonomy in the compact real form of G c , we have ρ ( ∇ A ) = ∇ A . Hence, requiring ∇ = τ ( ∇ ) is equivalent to ∇ A = τ ( ∇ A ) and Φ -ρ (Φ) = τ (Φ -ρ (Φ)) . In terms of σ = ρτ , these two equalities are given by σ ( ∇ A ) = ∇ A and Φ -ρ (Φ) = τ (Φ -ρ (Φ)) = τ (Φ) -σ (Φ) = σ ρ ( (Φ) -Φ) . Hence, ∇ has holonomy in the real form G if ∇ A is invariant under σ , and Φ anti-invariant. In terms of a G c -Higgs bundle ( P, Φ), one has that for U and V two trivialising open sets in the compact Riemann surface Σ, the

↦

↦

involution σ induces an action on the transition functions g uv : U ∩V → G c given by g uv → σ g ( uv ) , and on the Higgs field by sending Φ →-σ (Φ) .

Concretely, for G a real form of a complex semisimple lie group G c , we may construct G -Higgs bundles as follows. For H the maximal compact subgroup of G , we have seen that the Cartan decomposition of g is given by g = h ⊕ m , for h the Lie algebra of H , and m its orthogonal complement. This induces the following decomposition of the Lie algebra g c of G c in terms of the eigenspaces of the corresponding involution σ as defined before: g c = h C ⊕ m C . Note that the Lie algebras satisfy [ h h , ] ⊂ h , [ h m , ] ⊂ m , and [ m m , ] ⊂ h . Hence there is an induced isotropy representation given by Ad | H C : H C → GL ( m C ) . Then, Definition 1.10 generalises to the following (see e.g. [G95]):

Definition 2.11. A principal G -Higgs bundle is a pair ( P, Φ) where P is a holomorphic principal H C -bundle on Σ , and Φ is a holomorphic section of P × Ad m C ⊗ K .

Example 2.12. For a compact real form G , one has G = H and m = { 0 } , and thus σ is the identity and the Higgs field must vanish: a G -Higgs bundle becomes a principal G c - bundle.

In terms of involutions, following [Hit92] and recalling the previous analysis leading to Remark 2.10, we have the following:

Proposition 2.13. Let G be a real form of a complex semi-simple Lie group G c , whose real structure is τ . Then, G -Higgs bundles are given by the fixed points in M G c of the involution Θ G acting by

↦

$$\Theta _ { G } \colon \, ( P, \Phi ) \mapsto ( \sigma ( P ), - \sigma ( \Phi ) ),$$

where σ = ρτ , for ρ the compact real form of G c .

Similarly to the case of G c -Higgs bundles, there is a notion of stability, semi stability and polystability for G -Higgs bundles. Following [BGG03, Section 3] and [BGG06, Section 2.1], one can see that the polystability of a G -Higgs bundle for G ⊂ GL n, ( C ) is equivalent to the polystability of the corresponding GL n, ( C )-Higgs bundle. However, a G -Higgs bundle can be stable as a G -Higgs bundle but not as a GL n, ( C )-Higgs bundle. We shall denote by M G the moduli space of polystable G -Higgs bundles on Σ.

Exercise 6 ((*)) . Considering the notion of 'strong real form' from [Ad05], describe the corresponding Higgs bundles and give a definition of Θ G for which one does not have the problem described in the above paragraph.

One should note that a fixed point of Θ G in M G c gives a representation of π 1 (Σ) into the real form G up to the equivalence of conjugation by the normalizer of G in G c . This may be bigger than G itself, and thus two distinct classes in M G could be isomorphic in M G c via a complex map. Hence, although there is a map from M G to the fixed point subvarieties in M G c , this might not be an embedding. The reader may refer to [GGM09] for the Hitchin-Kobayashi type correspondence for real forms.

Remark 2.14. A description of the above phenomena in the case of rank 2 Higgs bundles is given in [Sch11, Section 10], where one can see how the SL (2 , R ) -Higgs bundles which have different topological invariants lie in the same connected component as SL (2 , C ) -Higgs bundles.

Remark 2.15. The point of view of Proposition 2.13, which is considered throughout [Sch13], fits into a more global picture where Θ G is one of three natural involutions acting on the moduli space of Higgs bundles [BaSch13a, BaSch13b], giving three families of ( B,A,A ) , ( A,B,A ) and ( A,A,B ) branes in M G c as the fixed point sets. One should note that the fixed point sets of these involutions are of great importance when studying the relation of Langlands duality with Higgs bundles, as initiated in [HT03, KW07] and [Hit07].

## 2.2 Spectral data for G -Higgs bundles

↦

As mentioned in the first Lecture, the moduli spaces M G c have a natural symplectic structure, which we denoted by ω . Moreover, following [Hit87a], the involutions Θ G send ω →-ω . Thus, at a smooth point, the fixed point set must be Lagrangian and so the expected dimension of M G is half the dimension of M G c . In order to describe the spectral data for real G -Higgs bundles, one considers the moduli space M G sitting inside M G c as fixed points of Θ G in the Hitchin base A G c and the corresponding preserved fibres.

Remark 2.16. Let g c be one of the classical Lie algebras sl ( n, C ) , so (2 n +1 , C ) , and sp (2 n, C ) . Then, for π : g c → gl ( V ) a representation of g c , the ring of invariant polynomials of g c is generated by Tr ( π X ( ) ) i , for i ∈ N and X ∈ g c .

By considering Cartan's classification of classical Lie algebras, we shall now describe G -Higgs bundles and their spectral data for non-compact real forms of a classical complex Lie algebra g c . For I n the unit matrix of order n , we denote by I p,q , J n and K p,q the matrices

$$I _ { p, q } = \left ( \begin{array} { c c c } -$$

Following Proposition 2.9, we shall study each complex Lie algebra g c and compact form u with different involutions θ which give decompositions u = h ⊕ i m . Then the corresponding natural noncompact real form is g = h ⊕ m , and to make sense of Proposition 2.13 we consider the following Lie algebras, Lie groups, real forms, and holomorphic and anti holomorphic involutions:

Table 2.1: Compact forms u of classical Lie algebras

| g c   | Lie group G c    | Split form    | Compact form u   | anti-involution ρ fixing u   | dim u       |
|-------|------------------|---------------|------------------|------------------------------|-------------|
| a n   | SL ( n, C )      | sl ( n, R )   | su ( n )         | ρ ( X ) = - X t              | n ( n +1)   |
| b n   | SO (2 n +1 , C ) | so ( n, n +1) | so (2 n +1)      | ρ ( X ) = X                  | n (2 n +1)  |
| c n   | Sp (2 n, C )     | sp (2 n, R )  | sp ( n )         | ρ ( X ) = J n XJ - 1 n       | n (2 n +1)  |
| d n   | SO (2 n, C )     | so ( n, n )   | so (2 n )        | ρ ( X ) = X                  | n (2 n - 1) |

Table 2.2: Non-compact forms G of classical Lie algebras G c

| g c   | Real form G                         | τ fixing G                                                         | Involution θ on u                                          | σ = ρτ                                                             |
|-------|-------------------------------------|--------------------------------------------------------------------|------------------------------------------------------------|--------------------------------------------------------------------|
| a n   | SL ( n, R ) SU ∗ (2 m ) SU ( p, q ) | ρ ( X ) = - X t τ ( X ) = J m XJ - 1 m τ ( X ) = - I p,q X t I p,q | θ ( X ) = X. θ ( X ) = J m XJ - 1 m θ ( X ) = I p,q XI p,q | σ ( X ) = - X t σ ( X ) = - J m X t J - 1 m σ ( X ) = I p,q XI p,q |
| b n   | SO ( p, q )                         | τ ( X ) = I p,q XI p,q .                                           | θ ( X ) = I p,q XI p,q                                     | σ ( X ) = I p,q XI p,q                                             |
| c n   | Sp (2 n, R ) Sp (2 p, 2 q )         | τ ( X ) = X τ ( X ) = - K p,q X ∗ K p,q .                          | θ ( X ) = X θ ( X ) = K p,q XK p,q ,                       | σ ( X ) = J n XJ - 1 n σ ( X ) = K p,q XK p,q                      |
| d n   | SO ( p, q ) SO ∗ (2 m )             | τ ( X ) = I p,q XI p,q . τ ( X ) = J m XJ - 1 m .                  | θ ( X ) = I p,q XI p,q θ ( X ) = J m XJ - 1 m              | σ ( X ) = I p,q XI p,q σ ( X ) = J m XJ - 1 m                      |

In the case of split real forms, following the methods of [Hit92] one obtains a description of real Higgs bundles which we shall use in subsequent sections:

Theorem 2.17 ([Sch13]) . For G the split real form of G c , the fixed points of Θ G in the smooth fibres of the Hitchin fibration for G c -Higgs bundles are given by points of order two.

## 2.2.1 G = SL n, ( R ) -Higgs bundles

Higgs bundles for SL n, ( R ) were first considered in [Hit92], where Hitchin studied a copy of Teichm¨ller space inside the moduli space of Higgs bundles for split real forms. u Following Definition 2.11, an SL n, ( R )-Higgs bundle is a pair ( E, Φ) where E is a rank n orthogonal vector bundle and Φ : E → E ⊗ K is a symmetric and traceless holomorphic map.

Proposition 2.18. SL n, ( R ) -Higgs bundles are given by the fixed points of

↦

$$\Theta _ { S L ( n, \mathbb { R } ) } \colon ($$

in M SL n, ( C ) corresponding to automorphisms f : E → E ∗ giving a symmetric form on E .

Exercise 7. Find the decomposition of u = su ( n ) induced by the corresponding θ in Table 2.2, and use this to deduce Proposition 2.18.

Recalling that the trace is invariant under transposition, one has that the ring of invariant polynomials of g c = sl ( n, C ) is acted on trivially by the involution -σ , and thus the Hitchin base is preserved by Θ SL n, ( R ) . In order to find the spectral data for SL n, ( R )-Higgs bundles, following Theorem 2.17 we look at elements of order two in the fibres of the Hitchin fibration for SL n, ( C )-Higgs bundles:

Over a smooth point in the Hitchin base A SL n, ( C ) , Higgs bundles for SL n, ( R ) correspond to line bundles L ∈ Prym( S, Σ) such that L 2 ∼ O = .

↦

In the case of n = 2, the SL (2 , C )-spectral curve S given as in (1.7) has a natural involution σ : η → -η and Prym( S, Σ) = { L ∈ Jac( S ) : σ L ∗ ∼ = L ∗ } . Hence, points in the smooth fibres corresponding to SL (2 , R )-Higgs bundles are given by line bundles L ∈ Jac( S ) such that σ L ∗ ∼ = L .

Exercise 8. Let L ∈ Prym ( S, Σ) be a line bundle of order two. Then, its direct image is a rank 2 bundle on Σ which decomposes into the sum of two line bundles V ⊕ V ∗ . How can the Lefschetz fixed point formula from [AB68] be used to relate the degree of V and the action of σ on L in the sprit of [Sch13b]?

The topological invariant associated to SL n, ( R )-Higgs bundles is the characteristic class ω 2 ∈ Z 2 which is the obstruction to lifting the orthogonal bundle to a spin bundle, and its study was carried through in [Hit13, Section 5].

Exercise 9. For n = 2 , use the approach of [Hit13, Proposition 3] to relate ω 2 to the invariants in Exercise 8.

The spectral data of SL n, ( R )-Higgs bundles gives a finite cover of the smooth locus of the Hitchin fibration. For n = 2, an explicit description of the monodromy action whose orbits are the connected components of M SL (2 , R ) is given in [Sch11].

Exercise 10 ((*)) . How can the methods in [Sch11] be extended to study monodromy for SL n, ( R ) -Higgs bundles for n ≥ 3 ?

## 2.2.2 SU ∗ (2 m ) -Higgs bundles

The group SU ∗ (2 m ) is the subgroup of SL (2 m, C ) which commutes with an antilinear automorphism J of C 2 m such that J 2 = -1. At the level of the Lie algebras we have that the involution θ decomposes u = h ⊕ i m where h = sp ( m . ) The induced non-compact real form g = h ⊕ m is

$$\begin{array} {$$

Definition 2.19. An SU ∗ (2 m ) Higgs bundle on Σ is given by

$$( E, \Phi ) \text{ for } \left \{ \begin{array} {$$

Proposition 2.20. Isomorphism classes of SU ∗ (2 m ) -Higgs bundles are given by fixed points of the involution

↦

$$\Theta _ { S U ^ { * } } \, \colon ( E, \Ph$$

on SL (2 m, C ) -Higgs bundles corresponding to pairs which have an automorphism f : E → E ∗ endowing it with a symplectic structure, and which trivialises its determinant bundle.

As the trace is invariant under conjugation and transposition, one has that the involution -σ X ( ) = J m X J t -1 m acts trivially on the ring of invariant polynomials of sl (2 m, C ), and thus preserves the Hitchin base. The spectral data associated to SU ∗ (2 m )-Higgs bundles ( E, Φ) was studied in [HitSch, Section 3], and we shall describe here its main features.

The characteristic polynomial of an SU ∗ (2 m )-Higgs bundle ( E, Φ) can be seen to be the square of a Pfaffian, det( η -Φ) = p η ( ) 2 and thus all fixed points of Θ SU ∗ lie over singular points of the SL (2 m, C ) Hitchin fibration. With a slight abuse of notation, we denote by S the spectral curve in the total space of K defined by

$$p ( \eta ) = \eta ^ { m } + a _ { 2 } \eta ^ { m - 2 } + \cdots + a _ { m } = 0$$

where the coefficients a i ∈ H 0 (Σ , K i ). It is a ramified m -fold cover of Σ whose ramification points are the zeros of a m . As in the case of complex groups, we interpret p η ( ) = 0 as the vanishing of a section of π K ∗ m over the total space of the canonical bundle π : K → Σ, where η is the tautological section of π K ∗ , and Bertini's theorem assures us that for generic a i the curve is nonsingular.

## Exercise 11. What is the genus g S of S ?

On the spectral curve S , the cokernel of ( η -Φ) is a rank two holomorphic vector bundle V on S. Then, following [BNR] (and using p (Φ) = 0 instead of the Cayley-Hamilton theorem), we can identify E with the direct image π V ∗ and Φ as the direct image of η : V → V ⊗ π K ∗ .

Exercise 12. Given a proper Φ -subbundle F ⊂ E , the characteristic polynomial of Φ | F divides the one of Φ . Use this together with Grothendieck-Riemann-Roch to show that semi-stability of V implies semi-stability of ( E, Φ) .

Following [HitSch, Proposition 1] one obtains a description of the spectral data:

The fixed point set of Θ SU ∗ (2 m ) in a smooth fibre of the SL (2 m, C )-Hitchin fibration is the moduli space of semi-stable rank 2 vector bundles on S with fixed determinant π K ∗ m -1 .

Exercise 13. Follow the approach of SL n, ( C ) -Higgs bundles to note that by fixing the determinant of V one obtains a trivialization of the determinant of π V ∗ on Σ .

## 2.2.3 SU p, q ( ) -Higgs bundles

Definition 2.21. An SU p,q ( ) -Higgs bundle over Σ is a pair ( E, Φ) where E = W 1 ⊕ W 2 for W ,W 1 2 vector bundles over Σ of rank p and q such that Λ p W 1 ∼ = Λ q W ∗ 2 , and the Higgs field Φ is given by Φ = ( 0 β γ 0 ) , for β : W 2 → W 1 ⊗ K and γ : W 1 → W 2 ⊗ K .

Exercise 14. Find the decomposition u = h ⊕ i m via the action of θ in Table 2.2 and deduce that θρ is the anti-holomorphic involution fixing the non-compact real form u ( p, q ) .

↦

Proposition 2.22. SU p,q ( ) -Higgs bundles are fixed points of Θ SU p,q ( ) : ( E, Φ) → ( E, -Φ) on SL p ( + q, C ) -Higgs bundles corresponding to bundles E which have an automorphism conjugate to I p,q sending Φ to -Φ , and whose ± 1 eigenspaces have dimensions p and q .

/negationslash

↦

The involution -σ acts trivially on the polynomials of even degree. Whilst the spectral data is not known for p = q , in the case of p = q it has been described in [Sch13, Chapter 6] and [Sch13b] by looking at U p, p ( )-Higgs bundles ( W 1 ⊕ W , 2 Φ), which when satisfying Λ p W 1 ∼ = Λ q W ∗ 2 correspond to SU p,p ( )-Higgs bundles. In this case, the characteristic polynomial defines a spectral curve π : S → Σ through the equation det( η -Φ) = η 2 p + a η 2 2 p -2 + . . . + a 2 p -2 η 2 + a 2 p = 0 , where η is the tautological section of π K ∗ and a i ∈ H 0 (Σ , K i ). This is a 2 p -fold cover of Σ, ramified over the 4 p g ( -1) zeros of a 2 p , and has a natural involution η →-η which has as fixed points the ramification points of the cover, and which by abuse of notation, we shall call σ .

The involution σ plays an important role when constructing the spectral data as described in [Sch13b, Proposition 2.1]. A line bundle L on S which defines a classical Higgs bundle induces a U p, p ( )-Higgs bundle if and only if σ L ∗ ∼ = L . In this case, at a fixed point x ∈ S of the involution, there is a linear action of σ on the fibre L x given by scalar multiplication of ± 1. This description of the spectral data can be then seen in terms of Jacobians through [Sch13b, Theorem 3.2]:

The fixed point set of Θ U p,p ( ) in a smooth fibre of the classical Hitchin fibration can be seen in terms of pull backs of Jac( S/σ ).

The topological invariants associated to U p, p ( )-Higgs bundles ( W 1 ⊕ W , 2 Φ) are the degrees deg( W 1 ) and deg( W 2 ), and can be seen in terms of the degree of the line bundle L on S and the number of ramification points of S over which the linear action of σ on the fibre of L is -1.

Exercise 15. Use the Lefschetz fixed point formula in [AB68, Theorem 4.12] to see that the parity of the degree of L and the number of points over which σ acts as -1 needs to be the same.

Exercise 16. Following [BGG03], the Toledo invariant τ ( deg ( W , 1 ) deg ( W 2 )) associated to U p, p ( ) -Higgs bundles is defined as τ ( deg ( W , 1 ) deg ( W 2 )) := deg ( W 1 ) -deg ( W 2 ) . Use Exercise 15 to express the invariant in terms of fixed points of σ and obtain natural bounds.

In the case of SU p,p ( )-Higgs bundles, for maximal Toledo invariant the fixed point set of Θ SU p,p ( ) in a smooth fibre of the SL (2 p, C )-Hitchin fibration is given by a covering of Prym( S/σ, Σ), the Prym variety of the quotient curve S/σ . For SU p,p ( + 1)-Higgs bundles, the Cameral data can be used to obtain the spectral data as seen in [P13].

Exercise 17 ((*)) . How can the methods from [Sch13b] together with the approach of [Xia03] be used to obtain the spectral data for SU p, ( 1) -Higgs bundles?

Remark 2.23. It is interesting to note that the spectral data for SU p,p ( ) -Higgs bundles from [Sch13b] is used to conjecture a dual space to M SU p,p ( ) through Langlands duality in [Hit13].

## 2.2.4 SO p,q ( ) -Higgs bundles

In this case, if p + q is even, g is a split real form if and only if p = q ; if p + q is odd, g is a split real form if and only if p = q + 1. Whilst we shall give some details on the construction of SO p,q ( )-Higgs bundles, for a more detailed description of the approach needed to understand groups with signature the reader should refer to the following section on Sp (2 p, 2 )-Higgs bundles. q

Proposition 2.24. SO p,q ( ) Higgs bundles are fixed points of

↦

$$\Theta _ { S O ( p, q ) } \colon \left ( E, \Phi \right ) \mapsto \left ( E, - \Phi \right )$$

on the moduli space of SO p ( + q, C ) corresponding to vector bundles E which have an automorphism f conjugate to I p,q sending Φ to -Φ and whose ± 1 eigenspaces have dimensions p and q .

Exercise 18. The associated involution θ from Table 2.2 decomposes u = h ⊕ i m . Give an explicit description of m and h and of the real form g = h ⊕ m .

The vector space V associated to the standard representation of h C can be decomposed into V = V p ⊕ V q , for V p and V q complex vector spaces of dimension p and q respectively, with orthogonal structures. The maximal compact subalgebra of so ( p, q ) is h = so ( p ) × so ( q ) and the Cartan decomposition of so ( p + q, C ) is given by ( so ( p, C ) ⊕ so ( q, C )) ⊕ m C , for

$$\mathfrak { m } = \left \{ \left ( \begin{array} { c c } 0 & X _ { 2 } \\ X _ { 2 } ^ { t } & 0 \end{array} \right ) \right | X _ { 2 } \text{ real } p \times q \text{ matrix} \right \}. \\ \text{. } A n \text{ } S O ( p, q ) \text{ Higgs bundle is a pair } ( E, \Phi ) \text{ where } E = V _ { p } \oplus \text{ } \text{ } \text{ }$$

∣ Definition 2.25. An SO p,q ( ) Higgs bundle is a pair ( E, Φ) where E = V p ⊕ V q for V p and V q complex vector spaces of dimension p and q respectively, with orthogonal structures, and the Higgs field is a section in H 0 (Σ ( , Hom ( V , V q p ) ⊕ Hom ( V , V p q )) ⊗ K ) given by

$$\Phi = \left ( \begin{array} { c c } 0 & \beta \\ \gamma & 0 \end{array} \right ) \quad \text{for } \gamma \equiv - \beta ^ { T }, \ a n d \, \beta ^ { T } t h e \ o r t h o g o n a l \ t r a n s p o s e \ o f \, \beta.$$

Since the ring of invariant polynomials of g c = so (2 m +1 , C ) is generated by Tr( X i ) for X ∈ g c , for p + q = 2 m +1 one has that the induced action of the involution Θ SO p,q ( ) is trivial on the ring of invariant polynomials of the Lie algebra so (2 m +1 , C ), i.e., when p and q have different parity.

Exercise 19. In the case of so (2 m, C ) , for 2 m = p + q , the ring of invariant polynomials is generated by Tr ( X i ) for X ∈ g c and i &lt; 2 m , together with the Pfaffian p m , which is of degree m . Under which conditions on p and q is the induced action of Θ SO p,q ( ) trivial on the ring of invariant polynomials?

The spectral data for SO p,q ( )-Higgs bundles when p = q or p = q +1 can be seen through Theorem 2.17 from [Sch13] as points of order two in the smooth fibres of the SO p ( + q, C )-Hitchin fibration.

In both cases a key ingredient is the double cover p : S → S/σ given by the spectral curve (the desingularised curve in the case of SO (2 n, C )) over the quotient curve, which through K -theoretic methods allows one to express the topological invariants involved in terms of the action of σ [BaSch14].

## 2.2.5 G = SO ∗ (2 m )

The action of θ in Table 2.2 decomposes u = h ⊕ i m for h = u ( m ) = ∼ so (2 m ) ∩ sp ( m , ) and

$$i \mathfrak { m } \ = \ \left \{ \, \left ( \begin{array} { c c } X _ { 1 } & X _ { 2 } \\ X _ { 2 } & - X _ { 1 } \end{array} \, \right ) \right | X _ { 1 }, \ X _ { 2 } \in \mathfrak { s o } ( m ) \right \}, & ( 2. 8 ) \\ \lceil \, \text{ced non-compact real form } \mathfrak { g } = \mathfrak { h } \oplus \mathfrak { m } \, \text{is}$$

∣ and the induced non-compact real form g = h ⊕ m is

$$\mathfrak { g } = \mathfrak { s o } ^ { * } ( 2 m ) = \left \{ \left ( \begin{array} { c c c } Z _ { 1 } & Z _ { 2 } \\ - \overline { Z } _ { 2 } & \overline { Z } _ { 1 } \end{array} \right ) \ \left | \begin{array} { c c c } Z _ { 1 }, Z _ { 2 } \, m \times m \, \text{ complex matrices} \\ Z _ { 1 } \, \text{ skew symmetric, } Z _ { 2 } \, \text{ Hermitian} \end{array} \right \}.$$

Proposition 2.26. SO ∗ (2 m ) -Higgs bundles are fixed points of the involution

↦

$$\Theta _ { S O ^ { * } ( 2 m ) } \colon \left ( E, \Phi \right ) \mapsto \left ( E, - \Phi \right )$$

on the moduli space of SO (2 m, C ) -Higgs bundles corresponding to vector bundles E which have an orthogonal automorphism f conjugate to J m , sending Φ to -Φ and which squares to -1 , equipping E with a symplectic structure.

The vector space associated to the standard representation of h C has an orthogonal and symplectic structure J . Since J -1 = J t and J 2 = -1, the vector space may be expressed in terms of the ± i eigenspaces of J as V ⊕ V ∗ , for V a rank m vector space. Thus, we have the following definition:

Definition 2.27. An SO ∗ (2 m ) -Higgs bundle is given by a pair ( E, Φ) where E = V ⊕ V ∗ for V a rank m holomorphic vector bundle, and where the Higgs field Φ is given by

$$\Phi = \left ( \begin{array} { c c } 0 & \beta \\ \gamma & 0 \end{array} \right ) \quad \text{for} \quad \begin{cases} \gamma \, \colon \, V \to V ^ { * } \otimes K \, \ s a t i s f y i n g \, \gamma = - \gamma ^ { t } \\ \beta \, \colon \, V ^ { * } \to V \otimes K \, \ s a t i s f y i n g \, \beta = - \beta ^ { t } \end{cases}.$$

As in the previous case, the involution induced action of Θ SO ∗ (2 m ) is trivial on the ring of invariant polynomials of g c . The spectral data for these Higgs bundles is studied in [HitSch], and we shall give a short description bellow.

In order to understand the associated spectral data, one notes that SO ∗ (2 m )-Higgs bundles ( E, Φ) are in fact SU ∗ (2 m )-Higgs bundle with extra conditions. Hence, one may define a natural m cover of the Riemann surface π : S → Σ by taking

$$\sqrt { \text{char} ( \Phi ) } = \eta ^ { m } + a _ { 2 } \eta ^ { 2 m - 2 } + \dots + a _ { m }, \\ \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots.$$

and a rank 2 vector bundle V on S whose direct image on Σ gives E . Since in this case the equation of the spectral curve only has even coefficients, there is a natural involution σ : η →-η and one may consider the induced action of σ on V and on its determinant bundle. In particular, from [HitSch, Proposition 2] the vector bundle V gives an SO ∗ (2 m )-Higgs bundle if and only if it is preserved by the involution and the induced action on it satisfies some conditions:

The fixed point set of Θ SO ∗ (2 m ) in a smooth fibre of the SO (2 m, C )-Hitchin fibration is given by the moduli space of semi-stable rank 2 vector bundles V on S with fixed determinant π K ∗ 2 m -1 , whose induced action by σ on the determinant bundle is trivial.

Exercise 20. The relative duality theorem gives

$$( \pi _ { * } ( V ) ) ^ { * } \cong \pi _ { * } ( V ^ { * } \otimes K _ { S } ) \otimes K ^ { * }.$$

Use this to see that in order to have E ∼ = E ∗ through a skew form, the action of σ needs to be trivial on the determinant bundle of V for π V ∗ = E .

Exercise 21 ((*)) . Describe how the vector bundles of rank 2 from [HitSch] appear in the description of the connected components of M SO ∗ (2 m ) in [BGG13].

## 2.2.6 G = Sp (2 n, R ) -Higgs bundles

In this section and the one which follows we consider the non-compact real forms of the complex Lie group Sp (2 n, C ). For this, recall that the symplectic Lie algebra sp (2 n, C ) is given by the set of 2 n × 2 n complex matrices X that satisfy J X n + X J t n = 0 or equivalently, X = -J -1 n X J . t n

Let u be the compact real form u = sp ( n ) and θ X ( ) = X = J XJ n -1 n . The Lie algebra sp ( n ) is given by the quaternionic skew-Hermitian matrices; that is, the set of n × n quaternionic matrices X which satisfy X = -X t . The compact form may be decomposed as u = h ⊕ i m , for h = u ( n ) = ∼ so (2 n ) ∩ sp ( n , ) which leads to the split real form g = h ⊕ m defined by

$$\mathfrak { g } = \mathfrak { s p } ( 2 n, \mathbb { R } ) = \left \{ \left ( \begin{array} { c c } X _ { 1 } & X _ { 2 } \\ X _ { 3 } & - X _ { 1 } ^ { t } \end{array} \right ) \ \left | \ X _ { i } \ \text{real} \ n \times n \ \text{matrices} \ \right \}. \\ \text{friction} \, 2. 2 8. \ A n \ S p ( 2 n, \mathbb { R } ) - H i q q s \ b u n d l e \ i s \ q i v e n \ b y \ a \ p a i r \left ( E, \Phi \right ) \ \text{where} \ E = V \oplus V ^ { * } \ f o \cdot$$

Definition 2.28. An Sp (2 n, R ) -Higgs bundle is given by a pair ( E, Φ) where E = V ⊕ V ∗ for V a rank n holomorphic vector bundle, and for Φ the Higgs field given by

$$\Phi = \left ( \begin{array} { c c } 0 & \beta \\ \gamma & 0 \end{array} \right ) \quad \text{for} \ \left \{ \begin{array} { c c } \gamma \colon V \to V ^ { * } \otimes K \ s a t i s f y i n g \ \gamma = \gamma ^ { t } \\ \beta \colon V ^ { * } \to V \otimes K \ s a t i s f y i n g \ \beta = \beta ^ { t } \ \. \end{array}$$

Proposition 2.29. Sp (2 n, C ) Higgs bundles, and Sp (2 n, R ) -Higgs bundles are given by the fixed points of

↦

$$\Theta _ { S p ( 2 n, \mathbb { R } ) } \colon \left ( E, \Phi \right ) \mapsto \left ( E, - \Phi \right )$$

on Sp (2 n, C ) -Higgs bundles corresponding to vector bundles E which have a symplectic isomorphism sending Φ to -Φ , and whose square is the identity, endowing E with an orthogonal structure.

The invariant polynomials of g c are of even degree, and hence the involution -σ acts trivially on them, making Θ Sp (2 n, R ) preserve the whole Hitchin base A Sp (2 n, C ) . In the case of rank 4 Higgs bundles, the spectral data was first consider in P. Gothen's thesis [G95], and through Theorem 2.17 and the spectral data for complex Higgs bundles one has the following:

The fixed points of Θ Sp (2 n, R ) in the smooth fibres of the Sp (2 n, C )-Hitchin fibration are given by line bundles L ∈ Prym( S, S/σ ) such that L 2 ∼ O = .

In particular, since S is a ramified double cover of S/σ , one has that L ∈ Prym( S, S/σ ) if and only if σ L ∗ ∼ = L ∗ . Hence, by considering points of order two one has that σ L ∗ ∼ = L and thus there is a natural induced action of σ on the line bundle L . The topological invariants associated to these Higgs bundles were studied in [Hit13] through the natural action of σ .

Exercise 22. Compare the calculations in [G95, Section 4.1] which lead to Milnor-Wood type inequalities for Sp (2 n, R ) -Higgs bundles, with the inequalities one obtains by using the involution σ as in [Hit13].

Exercise 23 ((*)) . Express the invariants from [G95, Section 4.2.4-4.2.6] in terms of different choices of the natural involution σ on S as well as in terms of the action of a second natural involution appearing in some situations on S/σ .

## 2.2.7 G = Sp (2 p, 2 ) q -Higgs bundles

The induced non-compact real form g = h ⊕ m is

$$\text{sp} ( 2 p, 2 q ) = \left \{ \left ( \begin{array} { c c c c } Z _ { 1 1 } & Z _ { 1 2 } & Z _ { 1 3 } & Z _ { 1 4 } \\ \overline { Z } _ { 1 2 } ^ { t } & Z _ { 2 2 } & Z _ { 1 4 } ^ { t } & Z _ { 2 4 } \\ - Z _ { 1 3 } ^ { t } & Z _ { 1 4 } ^ { t } & - Z _ { 1 2 } ^ { t } \\ \overline { Z } _ { 1 4 } ^ { t } & - Z _ { 2 4 } ^ { t } & - Z _ { 1 2 } ^ { t } & Z _ { 2 2 } \end{array} \right ) \ \left | \begin{array} { c } Z _ { i, j } & \text{complex matrices,} \\ Z _ { 1 1 }, \, Z _ { 1 3 } \text{ order } p, \\ Z _ { 1 2 }, \, Z _ { 1 4 } \text{ } p \times q \text{ matrices,} \\ Z _ { 1 3 }, \, Z _ { 2 4 } \text{ symmetric.} \end{array} \right \}. \\ \text{series 24. Show that $\mathbb{M}^{C}$ can be expressed as subset of certain off-diagonal matrices.}$$

∣ Exercise 24. Show that m C can be expressed as subset of certain off-diagonal matrices.

Proposition 2.30. Sp (2 p, 2 ) q -Higgs bundles are given by the fixed points of

↦

$$\Theta _ { S p ( 2 p, 2 q ) } \colon \left ( E, \Phi \right ) \mapsto \left ( E, - \Phi ^ { T } \right )$$

on the moduli space of Sp (2 p +2 q, C ) -Higgs bundles corresponding to symplectic vector bundles E which have an endomorphism f : E → E conjugate to ˜ K p,q , sending Φ to the symplectic transpose -Φ T , and whose ± 1 eigenspaces are of dimension 2 p and 2 q .

Definition 2.31. An Sp (2 p, 2 ) q -Higgs bundle is given by a pair ( E, Φ) for E = V 2 p ⊕ V 2 q is a direct sum of symplectic vector spaces of rank 2 p and 2 q , and

$$\Phi = \left ( \begin{array} { c c } 0 & - \gamma ^ { T } \\ \gamma & 0 \end{array} \right ) \text{ for } \left \{ \begin{array} { c c } \gamma & \colon V _ { 2 p } \to V _ { 2 q } \otimes K \\ - \gamma ^ { T } & \colon V _ { 2 q } \to V _ { 2 p } \otimes K \end{array}, \text{ for } \gamma ^ { T } \text{the symmlectic transpose of } \gamma.$$

As the trace is invariant under conjugation and transposition, the induced action of Θ Sp (2 p, 2 ) q is trivial on the ring of invariant polynomials of g c = sp (2( p + ) q , C ). In the case of p = , one can q see that Sp (2 p, 2 p )-Higgs bundles are a particular case of SU ∗ (2 p )-Higgs bundles, and thus one needs to understand which extra conditions to the spectral data for SU ∗ (2 p )-Higgs bundles needs to be added in order to have the Higgs bundles for the symplectic real form.

From the previous section, when p = q the corresponding spectral curve is a 2 p -fold cover of the Riemann surface Σ whose equation is given by the square root of the characteristic polynomial of the Higgs field. Moreover, it has a natural involution σ whose action determines the associated spectral data. More precisely, the following is shown in [Sch13, Chapter 7], and reinterpreted in [HitSch, Section 5]:

The fixed point set of Θ Sp (2 p, 2 p ) in a smooth fibre of the Sp (4 p, C )-Hitchin fibration is given by the moduli space of semi-stable rank 2 vector bundles V on S with fixed determinant π K ∗ 2 p -1 , whose induced action by σ on Λ 2 V is -1.

Since the action on Λ 2 V is -1, the involution σ : S → S acts with different eigenvalues ± 1 on the fibres of V over the ramification points of S , and thus through [AG06], the spectral data relates to the moduli space of admissible parabolic rank 2 bundles on S/σ as seen in [Sch13, Section 8.3].

Exercise 25 ((*)) . Nonabelianization of the fixed point set of Θ Sp (2 p, 2 p ) can also be seen through Cameral covers, as shown in [P13]. Realise the action of σ in terms of Cameral covers.

.

## Bibliography

[Ad05] J. Adams (2005), Strong real forms and the Kac classification , At. of Lie Groups and Rep.

- [AG06] J.E. Andersen, J. Grove (2006), Automorphism fixed points in the moduli space of semi-stable bundles , Q J Math 57 1 1-35. arXiv:math/0205099.

[Ap09] M.A. Arroyo (2009), The Geometry of SO p,q ( ) -Higgs Bundles , Ph.D., Univ. de Salamanca.

- [A89] H. Aslaksen (1989), SO (2) invariants of a set of 2 × 2 matrices MATH. SCAND. 65 , 59-66.
- [AB68] M.F. Atiyah, R. Bott (1968), A Lefschetz Fixed Point Formula for Elliptic Complexes: II. Applications , Ann. Math. 88, 3 , 451-491.

[BaSch13a] D. Baraglia, L.P. Schaposnik (2014), Higgs bundles and ( A,B,A ) -branes , Communications in Mathematical Physics. arXiv:math/1305.4638.

[BaSch13b] D. Baraglia, L.P. Schaposnik (2014), Real structures on moduli spaces of Higgs bundles , Advances in Theoretical and Mathematical Physics. arXiv:math/1309.1195.

[BaSch14] D. Baraglia, L.P. Schaposnik (2014), Higgs bundles and split real forms , preprint.

[BNR] A. Beauville, M.S. Narasimhan and S. Ramanan (1989), Spectral curves and the generalised theta divisor , J. reine angew. Math. 398, 169-179.

- [BiGo08] I. Biswas, T.L. G´mez (2008), o Connections and Higgs fields on a principal bundle , Ann. Global Anal. Geom. 33, 1 , 19-46.
- [BGG03] S. Bradlow, O. Garc´ ıa-Prada, P.G. Gothen (2003), Surface group representations and U p, q ( ) -bundles , J. Diff. Geom. 64 , 111-170.
- [BGG06] S. Bradlow, O. Garc´ ıa-Prada, P.G. Gothen (2006), Maximal surface group representations in isometry groups of classical Hermitian symmetric spaces , Geom. Ded. 122 , 185-213, arXiv:0511415.

[BGG13] S. Bradlow, O. Garc´ ıa-Prada, P.G. Gothen (2013), Higgs bundles for the non-compact dual of the special orthogonal group, arXiv:math/1303.1058.

[Cor88] K. Corlette (1988), Flat G -bundles with canonical metrics , J. Differential Geom. 28, 361-382.

- [Do95] R. Donagi (1995), Spectral Covers , MSRI Series, 28 arXiv:alg-geom/9505009.
- [DoMa96] R. Donagi, E. Markman (1993), Spectral covers, algebraically completely integrable, Hamiltonian systems, and moduli of bundles , Integrable Systems and Quantum Groups.
- [DoPa12] R. Donagi, T. Pantev (2012), Langlands duality for Hitchin systems , Invent. math. arXiv:math/0604617.
- [D87] S.K. Donaldson (1987), Twisted harmonic maps and the self-duality equations , Proc. London Math. Soc. 55, 3, 127-131.
- [FS03] J. Fuchs, C. Schweigert (2003), Symmetries, Lie Algebras and Representations: A Graduate Course for Physicists , Cambridge Monographs on Mathematical Physics, Camb. Univ. Press.
- [GGM09] O. Garc´ ıa-Prada, P.B. Gothen, I. Mundet i Riera (2009), The Hitchin-Kobayashi correspondence, Higgs pairs and surface group representations , arXiv:math/0909.4487

[G95] P.B. Gothen (1995), The topology of Higgs bundle moduli spaces , Ph.D. thesis, Mathematics Institute, University of Warwick.

- [GH11] P. Griffiths, J. Harris (2011), Principles of Algebraic Geometry ,

Wiley Class. Library 52.

- [HT03] T. Hausel, and M. Thaddeus (2003) , Mirror symmetry, Langlands duality, and the Hitchin system , Invent. Math. 153 197-229. arXiv:math/0205236.

[Hit87] N.J. Hitchin (1987), The self-duality equations on a Riemann surface , Proc. LMS 55, 3, 59-126. [Hit87a] N.J. Hitchin (1987), Stable bundles and integrable systems , Duke Math. J. 54, 1 , 91-114.

- [Hit92] N.J. Hitchin (1992), Lie Groups and Teichm¨ller Space u , Topology 31, 3 , 449-473.
- [Hit07] N.J. Hitchin (2007), Langlands duality and G 2 spectral curves , Q.J. Math., 58 , 319-344. arXiv:0611524.
- [HitSch] N.J. Hitchin, L.P. Schaposnik (2014), Nonabelianization of Higgs bundles J. Differential Geometry, 97 79-89. arXiv:1307.0960.
- [Hit13] N.J. Hitchin (2013), Higgs bundles and characteristic classes . arXiv:math/1308.4603.
- [He01] S. Helgason (2001), Differential geometry, Lie groups, and symmetric spaces , Graduate Studies in Mathematics, AMS 34.
- [KW07] A. Kapustin, E. Witten (2007), Electric-magnetic duality and the geometric Langlands program . Commun. Number Theory Phys. 1 1 1-236. arXiv:hep-th/0604151.
- [Kn02] A.W. Knapp (2002), Lie groups beyond an introduction , Progress in mathematics, 140 .
- [N91] N. Nitsure (1991), Moduli spaces of semistable pairs on a curve , Proc. Lon. Math. Sot. 62
- [OnVi] A.L. Onishchik, E.B. Vinberg (1994), Lie groups and Lie algebras III: structure of Lie groups and Lie algebras , Encyclopaedia of mathematical sciences: Lie groups and Lie algebras Volume 3, Springer.
- [P13] A. Pe´n (2013), o Higgs bundles, real forms and the Hitchin fibration , PhD Thesis UAM.
- [Ra75] A. Ramanathan (1975), Stable principal bundles on a compact Riemann surface , Math. Ann. 213 , 129-152.
- [SW] A.A. Sagle, R.E. Walde (1973), Introduction to Lie groups and Lie algebras , Pure and Applied Mathematics, Academic Press 51.
- [Sch11] L.P. Schaposnik (2013), Monodromy of the SL 2 Hitchin fibration , IJM, ArXiv:1111.2550.
- [Sch13] L.P. Schaposnik (2013), Spectral data for G-Higgs bundles , University of Oxford. arXiv:1301.1981.
- [Sch13b] L.P. Schaposnik (2014), Spectral data for U(m,m)-Higgs bundles IMRN, arXiv:1307.4419.
- [S88] C.T. Simpson (1988), Constructing variations of Hodge structure using Yang-Mills theory and applications to uniformisation , Journal of the AMS 1 867-918.
- [S92] C.T. Simpson (1992), Higgs bundles and local systems , Publ. Math. I.H.E.S. 75 , 5-95.
- [Xia03]
- E.Z. Xia (2003), The moduli of flat U p, ( 1) structures on Riemann surfaces , Geometriae Dedicata 97 , 33-43. arXiv:math/9910037.
Laura P. Schaposnik
An introduction to spectral data for Higgs bundles
These notes have been prepared as reading material for the mini-course that
the author gave at IMS, National University of Singapore, as part of the
"Summer school on the moduli space of Higgs bundles".