<p>Given a real algebraic group action on a linear space <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/10711_2025_1034_IEq1_HTML.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="120" Type="Linedraw" Width="51" /> </InlineMediaObject> </InlineEquation>, a vector <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1034_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(v\in V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>∈</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> is called unstable if <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1034_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(0\in \overline{Gv}-Gv\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>∈</mo> <mover> <mrow> <mi mathvariant="italic">Gv</mi> </mrow> <mo>¯</mo> </mover> <mo>-</mo> <mi>G</mi> <mi>v</mi> </mrow> </math></EquationSource> </InlineEquation>, where the closure is taken with respect to the Zariski topology. A fundamental theorem of Kempf [<CitationRef CitationID="CR21">21</CitationRef>] in geometric invariant theory states that <i>v</i> is unstable if and only if there is a one-parameter subgroup <i>A</i> of <i>G</i> such that <i>v</i> is unstable with respect to it, i.e., <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1034_Article_IEq4.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(0\in \overline{Av}-Av\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>∈</mo> <mover> <mrow> <mi mathvariant="italic">Av</mi> </mrow> <mo>¯</mo> </mover> <mo>-</mo> <mi>A</mi> <mi>v</mi> </mrow> </math></EquationSource> </InlineEquation>. Assuming <i>G</i> is a semisimple real algebraic group defined over <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1034_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation>, we give a new proof to this result using a geometric interpretation of the setting. In the process, we also give a new proof of an effective version of this result by Shah and Yang [<CitationRef CitationID="CR30">30</CitationRef>, Prop. 2.2]. Our interpretation involves relating the length of vectors under a linear action to convex functions on certain <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1034_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {CAT}(0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>CAT</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-spaces, and bound the latter from below by Busemann functions.</p>

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

Geometric interpretation of quantitative instability

  • Omri N. Solan,
  • Nattalie Tamam

摘要

Given a real algebraic group action on a linear space , a vector \(v\in V\) v V is called unstable if \(0\in \overline{Gv}-Gv\) 0 Gv ¯ - G v , where the closure is taken with respect to the Zariski topology. A fundamental theorem of Kempf [21] in geometric invariant theory states that v is unstable if and only if there is a one-parameter subgroup A of G such that v is unstable with respect to it, i.e., \(0\in \overline{Av}-Av\) 0 Av ¯ - A v . Assuming G is a semisimple real algebraic group defined over \(\mathbb {Q}\) Q , we give a new proof to this result using a geometric interpretation of the setting. In the process, we also give a new proof of an effective version of this result by Shah and Yang [30, Prop. 2.2]. Our interpretation involves relating the length of vectors under a linear action to convex functions on certain \(\operatorname {CAT}(0)\) CAT ( 0 ) -spaces, and bound the latter from below by Busemann functions.