[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Nonabelian Hodge correspondence

(Redirected from Simpson correspondence)

In algebraic geometry and differential geometry, the nonabelian Hodge correspondence or Corlette–Simpson correspondence (named after Kevin Corlette and Carlos Simpson) is a correspondence between Higgs bundles and representations of the fundamental group of a smooth, projective complex algebraic variety, or a compact Kähler manifold.

The theorem can be considered a vast generalisation of the Narasimhan–Seshadri theorem which defines a correspondence between stable vector bundles and unitary representations of the fundamental group of a compact Riemann surface. In fact the Narasimhan–Seshadri theorem may be obtained as a special case of the nonabelian Hodge correspondence by setting the Higgs field to zero.

History

edit

It was proven by M. S. Narasimhan and C. S. Seshadri in 1965 that stable vector bundles on a compact Riemann surface correspond to irreducible projective unitary representations of the fundamental group.[1] This theorem was phrased in a new light in the work of Simon Donaldson in 1983, who showed that stable vector bundles correspond to Yang–Mills connections, whose holonomy gives the representations of the fundamental group of Narasimhan and Seshadri.[2] The Narasimhan–Seshadri theorem was generalised from the case of compact Riemann surfaces to the setting of compact Kähler manifolds by Donaldson in the case of algebraic surfaces, and in general by Karen Uhlenbeck and Shing-Tung Yau.[3][4] This correspondence between stable vector bundles and Hermitian Yang–Mills connections is known as the Kobayashi–Hitchin correspondence.

The Narasimhan–Seshadri theorem concerns unitary representations of the fundamental group. Nigel Hitchin introduced a notion of a Higgs bundle as an algebraic object which should correspond to complex representations of the fundamental group (in fact the terminology "Higgs bundle" was introduced by Carlos Simpson after the work of Hitchin). The first instance of the nonabelian Hodge theorem was proven by Hitchin, who considered the case of rank two Higgs bundles over a compact Riemann surface.[5] Hitchin showed that a polystable Higgs bundle corresponds to a solution of Hitchin's equations, a system of differential equations obtained as a dimensional reduction of the Yang–Mills equations to dimension two. It was shown by Donaldson in this case that solutions to Hitchin's equations are in correspondence with representations of the fundamental group.[6]

The results of Hitchin and Donaldson for Higgs bundles of rank two on a compact Riemann surface were vastly generalised by Carlos Simpson and Kevin Corlette. The statement that polystable Higgs bundles correspond to solutions of Hitchin's equations was proven by Simpson.[7][8] The correspondence between solutions of Hitchin's equations and representations of the fundamental group was shown by Corlette.[9]

Definitions

edit

In this section we recall the objects of interest in the nonabelian Hodge theorem.[7][8]

Higgs bundles

edit

A Higgs bundle over a compact Kähler manifold   is a pair   where   is a holomorphic vector bundle and   is an  -valued holomorphic  -form on  , called the Higgs field. Additionally, the Higgs field must satisfy  .

A Higgs bundle is (semi-)stable if, for every proper, non-zero coherent subsheaf   which is preserved by the Higgs field, so that  , one has

  This rational number is called the slope, denoted  , and the above definition mirrors that of a stable vector bundle. A Higgs bundle is polystable if it is a direct sum of stable Higgs bundles of the same slope, and is therefore semi-stable.

Hermitian Yang–Mills connections and Hitchin's equations

edit

The generalisation of Hitchin's equation to higher dimension can be phrased as an analog of the Hermitian Yang–Mills equations for a certain connection constructed out of the pair  . A Hermitian metric   on a Higgs bundle   gives rise to a Chern connection   and curvature  . The condition that   is holomorphic can be phrased as  . Hitchin's equations, on a compact Riemann surface, state that   for a constant  . In higher dimensions these equations generalise as follows. Define a connection   on   by  . This connection is said to be a Hermitian Yang–Mills connection (and the metric a Hermitian Yang–Mills metric) if   This reduces to Hitchin's equations for a compact Riemann surface. Note that the connection   is not a Hermitian Yang–Mills connection in the usual sense, as it is not unitary, and the above condition is a non-unitary analogue of the normal HYM condition.

Representations of the fundamental group and harmonic metrics

edit

A representation of the fundamental group   gives rise to a vector bundle with flat connection as follows. The universal cover   of   is a principal bundle over   with structure group  . Thus there is an associated bundle to   given by   This vector bundle comes naturally equipped with a flat connection  . If   is a Hermitian metric on  , define an operator   as follows. Decompose   into operators of type   and  , respectively. Let   be the unique operator of type   such that the  -connection   preserves the metric  . Define  , and set  . Define the pseudocurvature of   to be  .

The metric   is said to be harmonic if   Notice that the condition   is equivalent to the three conditions  , so if   then the pair   defines a Higgs bundle with holomorphic structure on   given by the Dolbeault operator  .

It is a result of Corlette that if   is harmonic, then it automatically satisfies   and so gives rise to a Higgs bundle.[9]

Moduli spaces

edit

To each of the three concepts: Higgs bundles, flat connections, and representations of the fundamental group, one can define a moduli space. This requires a notion of isomorphism between these objects. In the following, fix a smooth complex vector bundle  . Every Higgs bundle will be considered to have the underlying smooth vector bundle  .

  • (Higgs bundles) The group of complex gauge transformations   acts on the set   of Higgs bundles by the formula  . If   and   denote the subsets of semistable and stable Higgs bundles, respectively, then one obtains moduli spaces   where these quotients are taken in the sense of geometric invariant theory, so orbits whose closures intersect are identified in the moduli space. These moduli spaces are called the Dolbeault moduli spaces. Notice that by setting  , one obtains as subsets the moduli spaces of semi-stable and stable holomorphic vector bundles   and  . It is also true that if one defines the moduli space   of polystable Higgs bundles then this space is isomorphic to the space of semi-stable Higgs bundles, as every gauge orbit of semi-stable Higgs bundles contains in its closure a unique orbit of polystable Higgs bundles.
  • (Flat connections) The group complex gauge transformations also acts on the set   of flat connections   on the smooth vector bundle  . Define the moduli spaces   where   denotes the subset consisting of irreducible flat connections   which do not split as a direct sum   on some splitting   of the smooth vector bundle  . These moduli spaces are called the de Rham moduli spaces.
  • (Representations) The set of representations   of the fundamental group of   is acted on by the general linear group by conjugation of representations. Denote by the superscripts   and   the subsets consisting of semisimple representations and irreducible representations respectively. Then define moduli spaces   of semisimple and irreducible representations, respectively. These quotients are taken in the sense of geometric invariant theory, where two orbits are identified if their closures intersect. These moduli spaces are called the Betti moduli spaces.

Statement

edit

The nonabelian Hodge theorem can be split into two parts. The first part was proved by Donaldson in the case of rank two Higgs bundles over a compact Riemann surface, and in general by Corlette.[6][9] In general the nonabelian Hodge theorem holds for a smooth complex projective variety  , but some parts of the correspondence hold in more generality for compact Kähler manifolds.

Nonabelian Hodge theorem (part 1) — A representation   of the fundamental group is semisimple if and only if the flat vector bundle   admits a harmonic metric. Furthermore the representation is irreducible if and only if the flat vector bundle is irreducible.

The second part of the theorem was proven by Hitchin in the case of rank two Higgs bundles on a compact Riemann surface, and in general by Simpson.[5][7][8]

Nonabelian Hodge theorem (part 2) — A Higgs bundle   has a Hermitian Yang–Mills metric if and only if it is polystable. This metric is a harmonic metric, and therefore arises from a semisimple representation of the fundamental group, if and only if the Chern classes   and   vanish. Furthermore, a Higgs bundle is stable if and only if it admits an irreducible Hermitian Yang–Mills connection, and therefore comes from an irreducible representation of the fundamental group.

Combined, the correspondence can be phrased as follows:

Nonabelian Hodge theorem — A Higgs bundle (which is topologically trivial) arises from a semisimple representation of the fundamental group if and only if it is polystable. Furthermore it arises from an irreducible representation if and only if it is stable.

In terms of moduli spaces

edit

The nonabelian Hodge correspondence not only gives a bijection of sets, but homeomorphisms of moduli spaces. Indeed, if two Higgs bundles are isomorphic, in the sense that they can be related by a gauge transformation and therefore correspond to the same point in the Dolbeault moduli space, then the associated representations will also be isomorphic, and give the same point in the Betti moduli space. In terms of the moduli spaces the nonabelian Hodge theorem can be phrased as follows.

Nonabelian Hodge theorem (moduli space version) — There are homeomorphisms   of moduli spaces which restrict to homeomorphisms  .

In general these moduli spaces will be not just topological spaces, but have some additional structure. For example, the Dolbeault moduli space and Betti moduli space   are naturally complex algebraic varieties, and where it is smooth, the de Rham moduli space   is a Riemannian manifold. On the common locus where these moduli spaces are smooth, the map   is a diffeomorphism, and since   is a complex manifold on the smooth locus,   obtains a compatible Riemannian and complex structure, and is therefore a Kähler manifold.

Similarly, on the smooth locus, the map   is a diffeomorphism. However, even though the Dolbeault and Betti moduli spaces both have natural complex structures, these are not isomorphic. In fact, if they are denoted   (for the associated integrable almost complex structures) then  . In particular if one defines a third almost complex structure by   then  . If one combines these three complex structures with the Riemannian metric coming from  , then on the smooth locus the moduli spaces become a Hyperkähler manifold.

Relation to Hitchin–Kobayashi correspondence and unitary representations

edit

If one sets the Higgs field   to zero, then a Higgs bundle is simply a holomorphic vector bundle. This gives an inclusion   of the moduli space of semi-stable holomorphic vector bundles into the moduli space of Higgs bundles. The Hitchin–Kobayashi correspondence gives a correspondence between holomorphic vector bundles and Hermitian Yang–Mills connections over compact Kähler manifolds, and can therefore be seen as a special case of the nonabelian Hodge correspondence.

When the underlying vector bundle is topologically trivial, the holonomy of a Hermitian Yang–Mills connection will give rise to a unitary representation of the fundamental group,  . The subset of the Betti moduli space corresponding to the unitary representations, denoted  , will get mapped isomorphically onto the moduli space of semi-stable vector bundles  .

Examples

edit

Rank one Higgs bundles on compact Riemann surfaces

edit

The special case where the rank of the underlying vector bundle is one gives rise to a simpler correspondence.[10] Firstly, every line bundle is stable, as there are no proper non-zero subsheaves. In this case, a Higgs bundle consists of a pair   of a holomorphic line bundle and a holomorphic  -form, since the endomorphism of a line bundle are trivial. In particular, the Higgs field is uncoupled from the holomorphic line bundle, so the moduli space   will split as a product, and the one-form automatically satisfies the condition  . The gauge group of a line bundle is commutative, and so acts trivially on the Higgs field   by conjugation. Thus the moduli space can be identified as a product   of the Jacobian variety of  , classifying all holomorphic line bundles up to isomorphism, and the vector space   of holomorphic  -forms.

In the case of rank one Higgs bundles on compact Riemann surfaces, one obtains a further description of the moduli space. The fundamental group of a compact Riemann surface, a surface group, is given by   where   is the genus of the Riemann surface. The representations of   into the general linear group   are therefore given by  -tuples of non-zero complex numbers:   Since   is abelian, the conjugation on this space is trivial, and the Betti moduli space is  . On the other hand, by Serre duality, the space of holomorphic  -forms is dual to the sheaf cohomology  . The Jacobian variety is an Abelian variety given by the quotient   so has tangent spaces given by the vector space  , and cotangent bundle   That is, the Dolbeault moduli space, the moduli space of holomorphic Higgs line bundles, is simply the cotangent bundle to the Jacobian, the moduli space of holomorphic line bundles. The nonabelian Hodge correspondence therefore gives a diffeomorphism   which is not a biholomorphism. One can check that the natural complex structures on these two spaces are different, and satisfy the relation  , giving a hyperkähler structure on the cotangent bundle to the Jacobian.

Generalizations

edit

It is possible to define the notion of a principal  -Higgs bundle for a complex reductive algebraic group  , a version of Higgs bundles in the category of principal bundles. There is a notion of a stable principal bundle, and one can define a stable principal  -Higgs bundle. A version of the nonabelian Hodge theorem holds for these objects, relating principal  -Higgs bundles to representations of the fundamental group into  .[7][8][11]

Nonabelian Hodge theory

edit

The correspondence between Higgs bundles and representations of the fundamental group can be phrased as a kind of nonabelian Hodge theorem, which is to say, an analogy of the Hodge decomposition of a Kähler manifold, but with coefficients in the nonabelian group   instead of the abelian group  . The exposition here follows the discussion by Oscar Garcia-Prada in the appendix to Wells' Differential Analysis on Complex Manifolds.[12]

Hodge decomposition

edit

The Hodge decomposition of a compact Kähler manifold decomposes the complex de Rham cohomology into the finer Dolbeault cohomology:

 

At degree one this gives a direct sum

 

where we have applied the Dolbeault theorem to phrase the Dolbeault cohomology in terms of sheaf cohomology of the sheaf of holomorphic  -forms   and the structure sheaf   of holomorphic functions on  .

Nonabelian cohomology

edit

When constructing sheaf cohomology, the coefficient sheaf   is always a sheaf of abelian groups. This is because for an abelian group, every subgroup is normal, so the quotient group   of sheaf cocycles by sheaf coboundaries is always well-defined. When the sheaf   is not abelian, these quotients are not necessarily well-defined, and so sheaf cohomology theories do not exist, except in the following special cases:

  •  : The 0th sheaf cohomology group is always the space of global sections of the sheaf  , so is always well-defined even if   is nonabelian.
  •  : The 1st sheaf cohomology set is well-defined for a nonabelian sheaf  , but it is not itself a quotient group.
  •  : In some special cases, an analogue of the second degree sheaf cohomology can be defined for nonabelian sheaves using the theory of gerbes.

A key example of nonabelian cohomology occurs when the coefficient sheaf is  , the sheaf of holomorphic functions into the complex general linear group. In this case it is a well-known fact from Čech cohomology that the cohomology set   is in one-to-one correspondence with the set of holomorphic vector bundles of rank   on  , up to isomorphism. Notice that there is a distinguished holomorphic vector bundle of rank  , the trivial vector bundle, so this is actually a cohomology pointed set. In the special case   the general linear group is the abelian group   of non-zero complex numbers with respect to multiplication. In this case one obtains the group of holomorphic line bundles up to isomorphism, otherwise known as the Picard group.

Nonabelian Hodge theorem

edit

The first cohomology group   is isomorphic to the group of homomorphisms from the fundamental group   to  . This can be understood, for example, by applying the Hurewicz theorem. Thus the regular Hodge decomposition mentioned above may be phrased as

 

The nonabelian Hodge correspondence gives an analogy of this statement of the Hodge theorem for nonabelian cohomology, as follows. A Higgs bundle consists of a pair   where   is a holomorphic vector bundle, and   is a holomorphic, endomorphism-valued  -form. The holomorphic vector bundle   may be identified with an element of   as mentioned above. Thus a Higgs bundle may be thought of as an element of the direct product

 

The nonabelian Hodge correspondence gives an isomorphism from the moduli space of  -representations of the fundamental group   to the moduli space of Higgs bundles, which could therefore be written as an isomorphism

 

This can be seen as an analogy of the regular Hodge decomposition above. The moduli space of representations   plays the role of the first cohomology of   with nonabelian coefficients, the cohomology set   plays the role of the space  , and the group   plays the role of the holomorphic (1,0)-forms  .

The isomorphism here is written  , but this is not an actual isomorphism of sets, as the moduli space of Higgs bundles is not literally given by the direct sum above, as this is only an analogy.

Hodge structure

edit

The moduli space   of semi-stable Higgs bundles has a natural action of the multiplicative group  , given by scaling the Higgs field:   for  . For abelian cohomology, such a   action gives rise to a Hodge structure, which is a generalisation of the Hodge decomposition of the cohomology of a compact Kähler manifold. One way of understanding the nonabelian Hodge theorem is to use the   action on the moduli space   to obtain a Hodge filtration. This can lead to new topological invariants of the underlying manifold  . For example, one obtains restrictions on which groups may appear as the fundamental groups of compact Kähler manifolds in this way.[7]

References

edit
  1. ^ Narasimhan, M. S.; Seshadri, C. S. (1965). "Stable and unitary vector bundles on a compact Riemann surface". Annals of Mathematics. 82 (3): 540–567. doi:10.2307/1970710. JSTOR 1970710. MR 0184252.
  2. ^ Donaldson, Simon K. (1983), "A new proof of a theorem of Narasimhan and Seshadri", Journal of Differential Geometry, 18 (2): 269–277, doi:10.4310/jdg/1214437664, MR 0710055
  3. ^ Donaldson, Simon K. (1985). "Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundle". Proceedings of the London Mathematical Society. 3. 50 (1): 1–26. doi:10.1112/plms/s3-50.1.1. MR 0765366.
  4. ^ Uhlenbeck, Karen; Yau, Shing-Tung (1986), "On the existence of Hermitian–Yang–Mills connections in stable vector bundles", Communications on Pure and Applied Mathematics, 39: S257–S293, doi:10.1002/cpa.3160390714, ISSN 0010-3640, MR 0861491
  5. ^ a b Hitchin, Nigel J. (1987). "The self-duality equations on a Riemann surface". Proceedings of the London Mathematical Society. 55 (1): 59–126. doi:10.1112/plms/s3-55.1.59. MR 0887284.
  6. ^ a b Donaldson, Simon K. (1987). "Twisted harmonic maps and the self-duality equations". Proceedings of the London Mathematical Society. 55 (1): 127–131. doi:10.1112/plms/s3-55.1.127. MR 0887285.
  7. ^ a b c d e Simpson, Carlos T. (1991), "Nonabelian Hodge theory", Proceedings of the International Congress of Mathematicians (Kyoto, 1990) (PDF), vol. 1, Tokyo: Math. Soc. Japan, pp. 747–756, MR 1159261
  8. ^ a b c d Simpson, Carlos T. (1992). "Higgs bundles and local systems". Publications Mathématiques de l'IHÉS. 75: 5–95. doi:10.1007/BF02699491. MR 1179076. S2CID 56417181.
  9. ^ a b c Corlette, Kevin (1988). "Flat G-bundles with canonical metrics". Journal of Differential Geometry. 28 (3): 361–382. doi:10.4310/jdg/1214442469. MR 0965220.
  10. ^ Goldman, William M.; Xia, Eugene Z. (2008). "Rank one Higgs bundles and representations of fundamental groups of Riemann surfaces". Memoirs of the American Mathematical Society. 193 (904): viii+69 pp. arXiv:math/0402429. doi:10.1090/memo/0904. ISSN 0065-9266. MR 2400111. S2CID 2865489.
  11. ^ Anchouche, Boudjemaa; Biswas, Indranil (2001). "Einstein–Hermitian connections on polystable principal bundles over a compact Kähler manifold" (PDF). American Journal of Mathematics. 123 (2): 207–228. doi:10.1353/ajm.2001.0007. MR 1828221. S2CID 122182133.
  12. ^ Wells, Raymond O. Jr. (1980). Differential analysis on complex manifolds. Graduate Texts in Mathematics. Vol. 65 (2nd ed.). New York-Berlin: Springer-Verlag. ISBN 0-387-90419-0. MR 0608414.