smstc-adhm-2020-slides
smstc-adhm-2020-slides
Bernd Schroers
Heriot-Watt University
b.j.schroers@hw.ac.uk
History of multi-instantons
Levi-Civita revisited
Quaternionic Levi-Civita
History of multi-instantons
Levi-Civita revisited
Quaternionic Levi-Civita
Let E → M be a rank n real vector bundle over the real manifold M which
is a subbundle of a trivial bundle M × Rn+k . Use inner product on Rn+k to
split
Rn+k = Ex + Ex⊥ , ∀x ∈ M, Ex = π −1 (x).
so that dimEx⊥ = k . Define families of orthogonal projectors for x ∈ M
projecting onto E:
P 2 = P, P † = P, Q 2 = Q, Q † = Q, PQ = QP = 0.
Connection from projection
Then
E = {(x, v ) ∈ M × Rn+k |Px (v ) = v }
and sections are maps
ux : Rn → Rn+k , u † u = idn P = uu †
so
A = u † du,
and
F = du † ∧ du + u † du ∧ u † du.
Expression in terms of the orthogonal bundle
Note
DB f = df − Qdf = Pdf = Df ,
FB = dQ ∧ dQ.
Projecting to E gives
vx : Rk → Rn+k , u†v = 0
ρ2 = v † v
F = PdQ ∧ dQP
= P(v ρ−2 dv † + vdρ−2 v † + dv ρ−2 v † ) ∧ (v ρ−2 dv † + vdρ−2 v † + dv ρ−2 v † )P
= Pdv ρ−2 v † ∧ v ρ−2 dv † P
= Pdv ρ−2 ∧ dv † P.
Outline of Lecture
History of multi-instantons
Levi-Civita revisited
Quaternionic Levi-Civita
H = {x = x0 + x1 i + x2 j + x3 k|x0 , x1 , x2 , x3 ∈ R}.
Then
with matrix multiplication from left, but scalar H action from the right
ξ 7→ ξ q̄. All formulae of previous section still apply, but now get
quaternion-valued 2-form
F = Pdv ρ−2 ∧ dv † P.
History of multi-instantons
Levi-Civita revisited
Quaternionic Levi-Civita
Write L for the tautological quaternionic line over P1 (H) with c2 = −1. In
construction via v ,
E⊥ = L ⊕ . . . ⊕ L
| {z }
k terms
⊥
Since E ⊕ E is trivial, and Chern number is additive
c2 (E) = k.
Thus, for n = 1,
F = PCdxρ−2 ∧ d x̄C † P,
is SU(2) instanton with c2 =k.
Picking a gauge
Λ† Λ + B † B = Λ† Λ + B † B,
v †u = 0
dTi 1
(s) = ijk [Tj (s), Tk (s)]
ds 2
for m × m matrix functions T1 , T2 , T3 , and solution of ‘Dirac equation’
d
+ (T1 + ix1 )σ1 + (T2 + ix2 )σ2 + (T3 + ix3 )σ3 ψ = 0
ds
I ADHMN construction: relates self-duality equations in d and (4 − d)
dimensions.
I Fourier-Mukai transform T 4 ↔ (T 4 )∗ .