Verified tagged author-source HTML · 2006.13068v1 · cited publication edition alignment unverified.
We choose a nonempty which realizes the maximum in (2.2), with , and relabel so that . We also denote by an open neighborhood of in which can be covered by finitely many adapted coordinate charts as above. In particular, in these charts we have
| (3.1) |