English

Zero-separating invariants for linear algebraic groups

Commutative Algebra 2014-02-27 v1 Algebraic Geometry

Abstract

Let GG be a linear algebraic group over a field kk, and let VV be a GG-module. Recall that the nullcone of (G,V)(G,V) is the set of points vv in VV with the property that f(v)=0f(v)=0 for every positive degree homogeneous invariant ff in k[V]Gk[V]^G. We define numbers δ(G,V)\delta(G,V) and σ(G,V)\sigma(G,V) associated with a given representation as follows: δ(G,V)\delta(G,V) is the smallest number dd such that, for any point vv in VGV^G outside the nullcone, there exists an invariant ff of degree at most dd such that f(v)f(v) is not zero; σ(G,V)\sigma(G,V) is the same thing with VGV^G replaced by VV. If k has positive characteristic, we show that δ(G,V)\delta(G,V) is infinite for all subgroups of GL2(k)GL_2(k) containing a unipotent subgroup, and that σ(G,V)\sigma(G,V) is finite if and only if GG is finite. If kk has characteristic zero we show that δ(G,V)=1\delta(G,V)=1 for all linear algebraic groups and that if σ(G,V)\sigma(G,V) is finite then the connected component of GG is unipotent.

Keywords

Cite

@article{arxiv.1402.6608,
  title  = {Zero-separating invariants for linear algebraic groups},
  author = {Jonathan Elmer and Martin Kohls},
  journal= {arXiv preprint arXiv:1402.6608},
  year   = {2014}
}

Comments

12 pages

R2 v1 2026-06-22T03:16:25.439Z