<p>We investigate the space of Hermitian metrics on a fixed complex vector bundle. This infinite-dimensional space has appeared in the study of Hermitian-Einstein structures, where a special <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_10017_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-type Riemannian metric is introduced. We compute the metric spray, geodesics and curvature associated to this metric, and show that the exponential map is a diffeomorphism. Though being geodesically complete, the space of Hermitian metrics is metrically incomplete, and its metric completion is proved to be the space of “<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_10017_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> integrable” singular Hermitian metrics. In addition, both the original space and its completion are CAT(0). In the holomorphic case, it turns out that Griffiths seminegative/semipositive singular Hermitian metric is always <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_10017_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> integrable in our sense. Also, in the Appendix, the Nash-Moser inverse function theorem is utilized to prove that, for any <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_10017_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> metric on the space of smooth sections of a given fiber bundle, the exponential map is always a local diffeomorphism, provided that each fiber is nonpositively curved.</p>

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

On a natural \(L^2\) metric on the space of Hermitian metrics

  • Jinwei Gao

摘要

We investigate the space of Hermitian metrics on a fixed complex vector bundle. This infinite-dimensional space has appeared in the study of Hermitian-Einstein structures, where a special \(L^2\) L 2 -type Riemannian metric is introduced. We compute the metric spray, geodesics and curvature associated to this metric, and show that the exponential map is a diffeomorphism. Though being geodesically complete, the space of Hermitian metrics is metrically incomplete, and its metric completion is proved to be the space of “ \(L^2\) L 2 integrable” singular Hermitian metrics. In addition, both the original space and its completion are CAT(0). In the holomorphic case, it turns out that Griffiths seminegative/semipositive singular Hermitian metric is always \(L^2\) L 2 integrable in our sense. Also, in the Appendix, the Nash-Moser inverse function theorem is utilized to prove that, for any \(L^2\) L 2 metric on the space of smooth sections of a given fiber bundle, the exponential map is always a local diffeomorphism, provided that each fiber is nonpositively curved.