Table of Contents
Fetching ...

Canonical metrics on families of vector bundles

Shing Tak Lam

TL;DR

The paper introduces the family Hermite--Einstein equation as a canonical metric notion for families of holomorphic vector bundles over a Kähler base, incorporating a first-order vertical deformation via a moment-map term.It develops a comprehensive analytic framework: deformation theory (Kuranishi), the geometry of vertically FE metrics, and an expansion/perturbation strategy to produce FE metrics on the total space in adiabatic (large k) limits, assuming a FE family metric exists and a mild automorphism condition.A parabolic FE flow is proven to exist for all time with unique solutions, and a Dirichlet boundary problem for the flow is solved, both leveraging moment-map geometry and maximum principle arguments.Together, these results provide a pathway toward a Hitchin--Kobayashi-type stability theory for families and connect the FE framework to broader moduli and gauge-theoretic contexts.

Abstract

We introduce a geometric partial differential equation for families of holomorphic vector bundles, generalising the theory of Hermite--Einstein metrics. We consider families of holomorphic vector bundles which each admit Hermite--Einstein metrics, together with a first order deformation. On such families, we define the family Hermite--Einstein equation for Hermitian metrics, which we view as a notion of a canonical metric in this setting. We prove two main results concerning family Hermite--Einstein metrics. Firstly, we construct Hermite--Einstein metrics in adiabatic classes on product manifolds, assuming the existence of a family Hermite--Einstein metric. Secondly, we prove that the associated parabolic flow admits a unique smooth solution for all time, and use this to show that the Dirichlet problem always admits a unique solution.

Canonical metrics on families of vector bundles

TL;DR

The paper introduces the family Hermite--Einstein equation as a canonical metric notion for families of holomorphic vector bundles over a Kähler base, incorporating a first-order vertical deformation via a moment-map term.It develops a comprehensive analytic framework: deformation theory (Kuranishi), the geometry of vertically FE metrics, and an expansion/perturbation strategy to produce FE metrics on the total space in adiabatic (large k) limits, assuming a FE family metric exists and a mild automorphism condition.A parabolic FE flow is proven to exist for all time with unique solutions, and a Dirichlet boundary problem for the flow is solved, both leveraging moment-map geometry and maximum principle arguments.Together, these results provide a pathway toward a Hitchin--Kobayashi-type stability theory for families and connect the FE framework to broader moduli and gauge-theoretic contexts.

Abstract

We introduce a geometric partial differential equation for families of holomorphic vector bundles, generalising the theory of Hermite--Einstein metrics. We consider families of holomorphic vector bundles which each admit Hermite--Einstein metrics, together with a first order deformation. On such families, we define the family Hermite--Einstein equation for Hermitian metrics, which we view as a notion of a canonical metric in this setting. We prove two main results concerning family Hermite--Einstein metrics. Firstly, we construct Hermite--Einstein metrics in adiabatic classes on product manifolds, assuming the existence of a family Hermite--Einstein metric. Secondly, we prove that the associated parabolic flow admits a unique smooth solution for all time, and use this to show that the Dirichlet problem always admits a unique solution.

Paper Structure

This paper contains 33 sections, 55 theorems, 274 equations, 1 table.

Key Result

Theorem 1.1

Let $(X, \omega_X)$ and $(B, \omega_B)$ be compact Kähler manifolds. Let $\mathcal{E} = (E, \bar{\partial}) \to X \times B$ be a holomorphic vector bundle, $h$ a Hermitian metric on $E$. Suppose that for all $b \in B$, $(\mathcal{E}_b, h) \to X$ is Hermite--Einstein. Let $\bar{\partial}_s$ be a defo

Theorems & Definitions (105)

  • Theorem 1.1: \ref{['thm:hym-total-space']}
  • Theorem 1.2: \ref{['thm:hhe-flow-exists-for-all-time']}
  • Theorem 1.3: \ref{['thm:dirichlet-problem']}
  • Lemma 2.1: kobayashiDifferentialGeometryComplex2014
  • Lemma 2.2
  • Definition 2.3
  • Remark 2.4
  • Lemma 2.5
  • proof
  • Proposition 2.6
  • ...and 95 more