<p>We investigate the relationship between Geometric Invariant Theory (GIT) heights and weighted heights, with a focus on their interaction in weighted projective spaces and their application to binary forms. Building on the weighted height framework developed in Refs. [<CitationRef CitationID="CR1">1</CitationRef>, <CitationRef CitationID="CR10">10</CitationRef>], we relate it to Zhang’s GIT height via the Veronese map. For a semistable cycle <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( \mathcal {Z}\subset \mathbb {P}_{\mathfrak {w}, \overline{\mathbb {Q}}}^N \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Z</mi> <mo>⊂</mo> <msubsup> <mi mathvariant="double-struck">P</mi> <mrow> <mi mathvariant="fraktur">w</mi> <mo>,</mo> <mover> <mi mathvariant="double-struck">Q</mi> <mo>¯</mo> </mover> </mrow> <mi>N</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, we show that the GIT height decomposes into the logarithmic weighted height plus an Archimedean correction from the Chow metric. Specializing to degree-<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( d \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>d</mi> </math></EquationSource> </InlineEquation> binary forms <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( f \in V_d \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msub> <mi>V</mi> <mi>d</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, we define an invariant height <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( \mathfrak {h}^{{{\,\mathrm{{\mathfrak {C}}}\,}}}(f) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="fraktur">h</mi> </mrow> <mrow> <mspace width="0.166667em" /> <mi mathvariant="fraktur">C</mi> <mspace width="0.166667em" /> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with respect to the Chow metric and prove that the moduli weighted height <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\( {{\,\mathrm{{{\,\textrm{h}\,}}_{\mathfrak {w}}}\,}}(\xi (f)) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <msub> <mrow> <mspace width="0.166667em" /> <mtext>h</mtext> <mspace width="0.166667em" /> </mrow> <mi mathvariant="fraktur">w</mi> </msub> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( f \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>f</mi> </math></EquationSource> </InlineEquation>’s invariants satisfies <Equation ID="Equ40"> <EquationSource Format="TEX">\( {{\,\mathrm{{{\,\textrm{h}\,}}_{\mathfrak {w}}}\,}}(\xi (f)) = \frac{1}{[K:\mathbb {Q}]} \, \mathfrak {h}^{{{\,\mathrm{{\mathfrak {C}}}\,}}}(f) + {{\,\textrm{h}\,}}_{{{\,\mathrm{{\mathfrak {C}}}\,}}}(f) \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mspace width="0.166667em" /> <msub> <mrow> <mspace width="0.166667em" /> <mtext>h</mtext> <mspace width="0.166667em" /> </mrow> <mi mathvariant="fraktur">w</mi> </msub> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mn>1</mn> <mrow> <mo stretchy="false">[</mo> <mi>K</mi> <mo>:</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">]</mo> </mrow> </mfrac> <mspace width="0.166667em" /> <msup> <mrow> <mi mathvariant="fraktur">h</mi> </mrow> <mrow> <mspace width="0.166667em" /> <mi mathvariant="fraktur">C</mi> <mspace width="0.166667em" /> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <msub> <mrow> <mspace width="0.166667em" /> <mtext>h</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mspace width="0.166667em" /> <mi mathvariant="fraktur">C</mi> <mspace width="0.166667em" /> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </Equation>thereby connecting GIT stability, moduli theory, and arithmetic complexity in a unified framework.</p>

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

Weighted heights and GIT heights

  • E. Shaska,
  • T. Shaska

摘要

We investigate the relationship between Geometric Invariant Theory (GIT) heights and weighted heights, with a focus on their interaction in weighted projective spaces and their application to binary forms. Building on the weighted height framework developed in Refs. [1, 10], we relate it to Zhang’s GIT height via the Veronese map. For a semistable cycle \( \mathcal {Z}\subset \mathbb {P}_{\mathfrak {w}, \overline{\mathbb {Q}}}^N \) Z P w , Q ¯ N , we show that the GIT height decomposes into the logarithmic weighted height plus an Archimedean correction from the Chow metric. Specializing to degree- \( d \) d binary forms \( f \in V_d \) f V d , we define an invariant height \( \mathfrak {h}^{{{\,\mathrm{{\mathfrak {C}}}\,}}}(f) \) h C ( f ) with respect to the Chow metric and prove that the moduli weighted height \( {{\,\mathrm{{{\,\textrm{h}\,}}_{\mathfrak {w}}}\,}}(\xi (f)) \) h w ( ξ ( f ) ) of \( f \) f ’s invariants satisfies \( {{\,\mathrm{{{\,\textrm{h}\,}}_{\mathfrak {w}}}\,}}(\xi (f)) = \frac{1}{[K:\mathbb {Q}]} \, \mathfrak {h}^{{{\,\mathrm{{\mathfrak {C}}}\,}}}(f) + {{\,\textrm{h}\,}}_{{{\,\mathrm{{\mathfrak {C}}}\,}}}(f) \) h w ( ξ ( f ) ) = 1 [ K : Q ] h C ( f ) + h C ( f ) thereby connecting GIT stability, moduli theory, and arithmetic complexity in a unified framework.