Tapp's conjecture on inverse-linear paths of nonnegatively curved metrics

About 20 years old · traced to

Let GG be a compact Lie group with a bi-invariant metric h0h_0 and Lie algebra g\mathfrak g. For a left-invariant metric hh on GG, let Φ\Phi be the unique h0h_0-self-adjoint positive definite endomorphism satisfying h(X,Y)=h0(ΦX,Y)h(X,Y)=h_0(\Phi X,Y), and let Φt=(I−tΨ)−1\Phi_t=(I-t\Psi)^{-1} be the unique inverse-linear path with Φ1=Φ\Phi_1=\Phi. Such a path is called nonnegative when the corresponding metrics hth_t are nonnegatively curved for 0≤t≤10\leq t\leq 1. Tapp's conjecture. If hh is a nonnegatively curved left-invariant metric on GG, then the unique inverse-linear path from h0h_0 to hh is nonnegative. This conjecture would give a systematic way to study nonnegatively curved left-invariant metrics through inverse-linear variations, but its resolution is not established in the supplied source.

References

Primary source

Jack Huizenga, “Techniques for classifying nonnegatively curved left-invariant metrics on compact Lie groups”, arXiv:math/0608362 (2006).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.