Processing math: 100%

Monday, July 25, 2016

Connections, curvature, and Higgs bundles

Recall (from a previous post) that a Kähler manifold M is a complex manifold (with natural complex structure J) with a Hermitian metic g whose fundamental form ω is closed. In this context M is Kähler. Previously we used upper-case letters V,W to denote vector fields on M, but here we use lower-case letters s,u,v and call them sections (to consider vector bundles more generally as sheaves).

Definition: A connection on M is a C-linear homomorphism :A0MA1M satisfying the Leibniz rule (fs)=(df)s+f(s), for s a section of TM and fC(M).

For ease of notation, we often write us for (s)(u), where s,u are sections of TM. On Kähler manifolds there is a special connection that we will consider.

Proposition:
On M there is a unique connection that is (for any u,vA0M)
  1. Hermitian (satisfies dg(u,v)=g((u),v)+g(u,(v))),
  2. torsion-free (satisfies uvvu[u,v]=0), and
  3. compatible with the complex structure J (satisfies uv=Ju(Jv)).

If satisfies the first two conditions, it is called the Levi-Civita connection, and if it satisfies the first and third conditions, it is called the Chern connection. If g is not necessarily Hermitian, is called metric if it satisfies the first condition. From here on out denotes the unique tensor described in the proposition above.

Definition: The curvature tensor of M is defined by
R(u,v)=uvvu[u,v].

It may be viewed as a map A2A1, or A3A0, or A0A0. The Ricci tensor of M is defined by
r(u,v)=trace(wR(u,v)w)=ig(R(ai,u)v,ai),

for the ai a local orthonormal basis of A0=TM. This is a map A2A0. The Ricci curvature of M is defined by
Ric(u,v)=r(Ju,v).

This is a map A2A0.

Definition: An Einstein manifold is a pair (M,g) that is Riemannian and for which the Ricci curvature is directly proportional to the Riemannian metric. That is, there exists a constant λR such that Ric(u,v)=λg(u,v) for any u,vA1.

Recall that a holomorphic vector bundle π:EM has complex fibers and holomorphic projection map π. Here we consider two special vector bundles (as sheaves), defined on open sets UM by
End(E)(U)={f:π1(U)π1(U) : f|π1(x)\ is a homomorphism},ΩM(U)={ni=0fidz1dzi : fiC(U)},

where z1,,zn are local coordinates on U. The first is the endomorphism sheaf of E and the second is the sheaf of differential forms of M, or the holomorphic cotangent sheaf. The cotangent sheaf as defined is a presheaf, so we sheafify to get ΩM.

Definition: A Higgs vector bundle over a complex manifold M is a pair (E,θ), where π:EM is a holomorphic vector bundle and θ is a holomorphic section of End(E)ΩM with θθ=0, called the Higgs field.

References: Huybrechts (Complex Geometry, Chapters 4.2, 4.A), Kobayashi and Nomizu (Foundations of Differential Geometry, Volume 1, Chapter 6.5)

No comments:

Post a Comment