<p>Let <i>M</i> be a compact complex manifold of dimension <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. We prove that for any Hermitian metric <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> on <i>M</i>, there exists a unique smooth function <i>f</i> (up to additive constants) such that the conformal metric <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\omega _g =e^f \omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ω</mi> <mi>g</mi> </msub> <mo>=</mo> <msup> <mi>e</mi> <mi>f</mi> </msup> <mi>ω</mi> </mrow> </math></EquationSource> </InlineEquation> solves the fourth-order nonlinear PDE <Equation ID="Equ44"> <EquationSource Format="TEX">\(\begin{aligned} \square _g^*(s_g|s_g|^{n-2})=0, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mo>□</mo> <mi>g</mi> <mo>∗</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> </mrow> <msub> <mi>s</mi> <mi>g</mi> </msub> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi>s</mi> <mi>g</mi> </msub> <mrow> <msup> <mo stretchy="false">|</mo> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(s_g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>s</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> is the Chern scalar curvature of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\omega _g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ω</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\square }_g^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mo>□</mo> <mi>g</mi> <mo>∗</mo> </msubsup> </math></EquationSource> </InlineEquation> denotes the formal adjoint of the complex Laplacian <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\square }_g=\textrm{tr}_{\omega _g}{\sqrt{-1}}\partial {\overline{\partial }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>□</mo> <mi>g</mi> </msub> <mo>=</mo> <msub> <mtext>tr</mtext> <msub> <mi>ω</mi> <mi>g</mi> </msub> </msub> <msqrt> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msqrt> <mi>∂</mi> <mover> <mi>∂</mi> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation> with respect to <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\omega _g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ω</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation>. This equation arises as the Euler-Lagrange equation of the <i>n</i>-Calabi functional <Equation ID="Equ45"> <EquationSource Format="TEX">\(\begin{aligned} C_{n}(\omega _g)=\int |s_g|^n\frac{\omega _g^n}{n!} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>C</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>ω</mi> <mi>g</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>∫</mo> <msup> <mrow> <mo stretchy="false">|</mo> <msub> <mi>s</mi> <mi>g</mi> </msub> <mo stretchy="false">|</mo> </mrow> <mi>n</mi> </msup> <mfrac> <msubsup> <mi>ω</mi> <mi>g</mi> <mi>n</mi> </msubsup> <mrow> <mi>n</mi> <mo>!</mo> </mrow> </mfrac> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>within the conformal class of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\omega _g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ω</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation>. Moreover, we show that the critical metric <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\omega _g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ω</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> minimizes the <i>n</i>-Calabi functional within the conformal class <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\([\omega ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi>ω</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. In particular, if <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\omega _g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ω</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> is a Gauduchon metric, then <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\omega _g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ω</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> has constant Chern scalar curvature.</p>

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

Conformal extremal metrics and constant scalar curvature

  • Xiaokui Yang,
  • Kaijie Zhang

摘要

Let M be a compact complex manifold of dimension \(n\ge 2\) n 2 . We prove that for any Hermitian metric \(\omega \) ω on M, there exists a unique smooth function f (up to additive constants) such that the conformal metric \(\omega _g =e^f \omega \) ω g = e f ω solves the fourth-order nonlinear PDE \(\begin{aligned} \square _g^*(s_g|s_g|^{n-2})=0, \end{aligned}\) g ( s g | s g | n - 2 ) = 0 , where \(s_g\) s g is the Chern scalar curvature of \(\omega _g\) ω g , and \({\square }_g^*\) g denotes the formal adjoint of the complex Laplacian \({\square }_g=\textrm{tr}_{\omega _g}{\sqrt{-1}}\partial {\overline{\partial }}\) g = tr ω g - 1 ¯ with respect to \(\omega _g\) ω g . This equation arises as the Euler-Lagrange equation of the n-Calabi functional \(\begin{aligned} C_{n}(\omega _g)=\int |s_g|^n\frac{\omega _g^n}{n!} \end{aligned}\) C n ( ω g ) = | s g | n ω g n n ! within the conformal class of \(\omega _g\) ω g . Moreover, we show that the critical metric \(\omega _g\) ω g minimizes the n-Calabi functional within the conformal class \([\omega ]\) [ ω ] . In particular, if \(\omega _g\) ω g is a Gauduchon metric, then \(\omega _g\) ω g has constant Chern scalar curvature.