<p>We construct a 2-parameter family of new triaxial <i>SU</i>(2)-invariant complete negative Einstein metrics on the complex line bundle <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {O}(-4)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mo>-</mo> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {C}P^1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">C</mi> <msup> <mi>P</mi> <mn>1</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>. The metrics are conformally compact and neither Kähler nor self-dual. The proof involves using rigorous numerics to produce an approximate Einstein metric to high precision in a bounded region containing the singular orbit or “bolt”, which is then perturbed to a genuine Einstein metric using fixed-point methods. At the boundary of this region, the latter metric is sufficiently close to hyperbolic space for us to show that it indeed extends to a complete, asymptotically hyperbolic Einstein metric.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Computer-assisted construction of SU(2)-invariant negative Einstein metrics

  • Qiu Shi Wang

摘要

We construct a 2-parameter family of new triaxial SU(2)-invariant complete negative Einstein metrics on the complex line bundle \(\mathcal {O}(-4)\) O ( - 4 ) over \(\mathbb {C}P^1\) C P 1 . The metrics are conformally compact and neither Kähler nor self-dual. The proof involves using rigorous numerics to produce an approximate Einstein metric to high precision in a bounded region containing the singular orbit or “bolt”, which is then perturbed to a genuine Einstein metric using fixed-point methods. At the boundary of this region, the latter metric is sufficiently close to hyperbolic space for us to show that it indeed extends to a complete, asymptotically hyperbolic Einstein metric.