29.03.2013 Views

Construction of Hyperkähler Metrics for Complex Adjoint Orbits

Construction of Hyperkähler Metrics for Complex Adjoint Orbits

Construction of Hyperkähler Metrics for Complex Adjoint Orbits

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3.3 Regular Nahm Solutions and Line bundles on S 36<br />

matrix ⎛<br />

⎜ · · ·<br />

⎝<br />

1 λ1 · · · λ k−1<br />

1<br />

1 λ2 · · · λ k−1<br />

2<br />

1 λk · · · λ k−1<br />

k<br />

since the Vandermonde matrix is non-singular <strong>for</strong> distinct λ ′ is, these j + 1<br />

⎞<br />

⎟ ;<br />

⎟<br />

⎠<br />

colums are linearly independent, so that condition (3.22) says precisely that<br />

the first column is a unique linear combination <strong>of</strong> the others, as we wanted.<br />

We must also require that, <strong>for</strong> j ≥ k − 1,<br />

⎛<br />

f<br />

⎜<br />

rank ⎜<br />

⎝<br />

(j)<br />

1 (0) 1 λ1 · · · λ k−1<br />

f<br />

1<br />

(j)<br />

2 (0) 1 λ2 · · · λ k−1<br />

· · ·<br />

2<br />

f (j)<br />

k (0) 1 λk · · · λ k−1<br />

⎞<br />

⎟ = k;<br />

⎟<br />

⎠<br />

k<br />

however these conditions are always satisfied, since the Vandermonde matrix<br />

is a k × k non-singular minor <strong>of</strong> the matrix above. Now we observe that if<br />

the conditions (3.22) are satisfied, we may find aij ′ s satisfying (3.21), define<br />

gj(ζ) by (3.20) and σ 0 by (3.19).<br />

Claim. We may rewrite the condition (3.22) as<br />

⎛<br />

f<br />

⎜<br />

det ⎜<br />

⎝<br />

(j)<br />

1 (0) 1 λ1 · · · λ j<br />

1<br />

· · ·<br />

f (j)<br />

j+1 (0) 1 λj+1 · · · λ j<br />

j+1<br />

f (j)<br />

m (0) 1 λm · · · λj ⎞<br />

⎟ = 0,<br />

⎟<br />

⎠<br />

(3.23)<br />

m<br />

<strong>for</strong> m = j + 2, . . . , k.<br />

Pro<strong>of</strong> <strong>of</strong> Claim. The (j + 2) × (j + 2) determinant in (3.23) must vanish<br />

since otherwise the rank in (3.22) would be ≥ j +2. Conversely, the relations

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!