<p>Let (<i>M</i>,&#xa0;<i>g</i>) be a two-dimensional Riemannian manifold of finite diameter with a conical singularity. Under the assumption that the metric near the cone point&#xa0;<i>C</i> is rotationally invariant, but not necessarily flat, we give an explicit formula for the coefficient <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(b_{1/2}(C)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>b</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> in the heat trace expansion <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\operatorname {tr}(\operatorname {exp}(-t\Delta _g))\sim _{t\searrow 0} (4\pi t)^{-1}\sum _{j=0}^\infty a_j(M) t^j+\sum _{j=0}^\infty b_{j/2}(C)t^{j/2}+\sum _{j=0}^\infty c_{j/2}(C) t^{j/2} \log t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>tr</mo> <mrow> <mo stretchy="false">(</mo> <mo>exp</mo> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi>t</mi> <msub> <mi mathvariant="normal">Δ</mi> <mi>g</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <msub> <mo>∼</mo> <mrow> <mi>t</mi> <mo>↘</mo> <mn>0</mn> </mrow> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mn>4</mn> <mi>π</mi> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msubsup> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>a</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>t</mi> <mi>j</mi> </msup> <mo>+</mo> <msubsup> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>b</mi> <mrow> <mi>j</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>t</mi> <mrow> <mi>j</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mo>+</mo> <msubsup> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>c</mi> <mrow> <mi>j</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>t</mi> <mrow> <mi>j</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mo>log</mo> <mi>t</mi> </mrow> </math></EquationSource> </InlineEquation>. In the case that the Gaussian curvature&#xa0;<i>K</i> of (<i>M</i>,&#xa0;<i>g</i>) satisfies <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(|K(p)|\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>K</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(p\rightarrow C\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo stretchy="false">→</mo> <mi>C</mi> </mrow> </math></EquationSource> </InlineEquation>, we show that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(b_{1/2}(C)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>b</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> varies irrationally under constant rescalings of the distance circles near the cone point. This is a sharp contrast to the behavior of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(b_0(C)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>b</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and of those coefficients <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(b_j(C)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>b</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> which appear in certain known formulas in the case of orbifold cone points or corners of geodesic polygons.</p>

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

Heat coefficients of surfaces with curved conical singularities

  • Dorothee Schueth

摘要

Let (Mg) be a two-dimensional Riemannian manifold of finite diameter with a conical singularity. Under the assumption that the metric near the cone point C is rotationally invariant, but not necessarily flat, we give an explicit formula for the coefficient \(b_{1/2}(C)\) b 1 / 2 ( C ) in the heat trace expansion \(\operatorname {tr}(\operatorname {exp}(-t\Delta _g))\sim _{t\searrow 0} (4\pi t)^{-1}\sum _{j=0}^\infty a_j(M) t^j+\sum _{j=0}^\infty b_{j/2}(C)t^{j/2}+\sum _{j=0}^\infty c_{j/2}(C) t^{j/2} \log t\) tr ( exp ( - t Δ g ) ) t 0 ( 4 π t ) - 1 j = 0 a j ( M ) t j + j = 0 b j / 2 ( C ) t j / 2 + j = 0 c j / 2 ( C ) t j / 2 log t . In the case that the Gaussian curvature K of (Mg) satisfies \(|K(p)|\rightarrow \infty \) | K ( p ) | as \(p\rightarrow C\) p C , we show that \(b_{1/2}(C)\) b 1 / 2 ( C ) varies irrationally under constant rescalings of the distance circles near the cone point. This is a sharp contrast to the behavior of \(b_0(C)\) b 0 ( C ) and of those coefficients \(b_j(C)\) b j ( C ) which appear in certain known formulas in the case of orbifold cone points or corners of geodesic polygons.