Affine orbit-closure conjecture for reparametrisation groups

About 16 years old · traced to

Let p≥1p\geq 1, let kk be sufficiently large depending on pp, let n=sym≤kpn=\mathrm{sym}^{\leq k}p, and let M∈NM\in\mathbb{N}. Set

K=M(∑i=1ki symip)+1.K=M\left(\sum_{i=1}^k i\,\mathrm{sym}^i p\right)+1.

With pk,pp_{k,p} as defined by

pk,p=…∧∑∣s∣=j∑s1+s2+…+sj=ses1es2…esj∧…,p_{k,p}=\ldots \wedge \sum_{|\mathbf{s}|=j}\sum_{\mathbf{s}_1+\mathbf{s}_2+\ldots+\mathbf{s}_j=\mathbf{s}}e_{\mathbf{s}_1}e_{\mathbf{s}_2}\ldots e_{\mathbf{s}_j}\wedge\ldots,

consider the point

pk,p⊗(e1∧…∧ep)⊗K∈∧n( Sym⁡≤kCn)⊗(∧p(Cn))⊗K.p_{k,p}\otimes(e_1\wedge\ldots\wedge e_p)^{\otimes K}\in\wedge^n(\,\operatorname{Sym}^{\leq k}\mathbb{C}^n)\otimes(\wedge^p(\mathbb{C}^n))^{\otimes K}.

Affine orbit-closure conjecture. This point has stabiliser Gk,p′\mathbb{G}_{k,p}' in SL(n)\mathrm{SL}(n), and the closure of its SL(n)\mathrm{SL}(n)-orbit is the union of its orbit and finitely many other SL(n)\mathrm{SL}(n)-orbits, all of codimension at least two if kk is large enough depending on pp and MM is sufficiently large depending on kk and pp.

The conjecture would give an affine embedding of SL(n)/Gk,p′\mathrm{SL}(n)/\mathbb{G}_{k,p}' whose boundary has codimension at least two, generalising the preceding theorem and reducing the invariant-theoretic problem to the geometry of this orbit closure.

References

Primary source

Gergely Berczi and Frances Kirwan, “A geometric construction for invariant jet differentials”, arXiv:1012.1797 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.