Independence of the Bott index from the polynomial or logarithmic map

Let U1U_1 and U2U_2 be approximately commuting unitary matrices, with obreak[U1,U2]ecdelta obreak\bigl\Vert[U_1,U_2]\bigr\Vert\leq ecdelta, and let H1,H2,H3H_1,H_2,H_3 be the associated Hermitian matrices constructed using functions f,g,hf,g,h. For sufficiently small ecdelta ecdelta, consider the index bott~(H1,H2,H3)\widetilde{\operatorname{bott}}(H_1,H_2,H_3). Map-independence conjecture. The index bott~(H1,H2,H3)\widetilde{\operatorname{bott}}(H_1,H_2,H_3) is the same whether f,g,hf,g,h are defined by the polynomial map or by the logarithmic map. The surrounding text gives a deformation argument intended to establish this claim and refers to the resulting spectral gap and constant eigenvalue counts; however, the supplied candidate is labeled as a conjecture and no external resolution status is provided.

Sources & referencesView supporting material

Primary source

M. B. Hastings and T. A. Loring, “Topological Insulators and C^*-Algebras: Theory and Numerical Practice”, arXiv:1012.1019 (2010).

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.