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 ∇:A0M→A1M satisfying the Leibniz rule ∇(fs)=(df)∧s+f∇(s), for s a section of TM and f∈C∞(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,v∈A0M)
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)=∇u∇v−∇v∇u−∇[u,v].
It may be viewed as a map A2→A1, or A3→A0, or A0→A0. The Ricci tensor of M is defined by
r(u,v)=trace(w↦R(u,v)w)=∑ig(R(ai,u)v,ai),
for the ai a local orthonormal basis of A0=TM. This is a map A2→A0. The Ricci curvature of M is defined by
Ric(u,v)=r(Ju,v).
This is a map A2→A0.
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,v∈A1.
Recall that a holomorphic vector bundle π:E→M has complex fibers and holomorphic projection map π. Here we consider two special vector bundles (as sheaves), defined on open sets U⊂M by
End(E)(U)={f:π−1(U)→π−1(U) : f|π−1(x)\ is a homomorphism},ΩM(U)={n∑i=0fidz1∧⋯∧dzi : fi∈C∞(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 π:E→M 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)
Definition: A connection on M is a C-linear homomorphism ∇:A0M→A1M satisfying the Leibniz rule ∇(fs)=(df)∧s+f∇(s), for s a section of TM and f∈C∞(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,v∈A0M)
- Hermitian (satisfies dg(u,v)=g(∇(u),v)+g(u,∇(v))),
- torsion-free (satisfies ∇uv−∇vu−[u,v]=0), and
- 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)=∇u∇v−∇v∇u−∇[u,v].
It may be viewed as a map A2→A1, or A3→A0, or A0→A0. The Ricci tensor of M is defined by
r(u,v)=trace(w↦R(u,v)w)=∑ig(R(ai,u)v,ai),
for the ai a local orthonormal basis of A0=TM. This is a map A2→A0. The Ricci curvature of M is defined by
Ric(u,v)=r(Ju,v).
This is a map A2→A0.
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,v∈A1.
Recall that a holomorphic vector bundle π:E→M has complex fibers and holomorphic projection map π. Here we consider two special vector bundles (as sheaves), defined on open sets U⊂M by
End(E)(U)={f:π−1(U)→π−1(U) : f|π−1(x)\ is a homomorphism},ΩM(U)={n∑i=0fidz1∧⋯∧dzi : fi∈C∞(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 π:E→M 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