Vishik-type isotropy gap conjecture for quasilinear quadratic forms

Let ϕ\phi be an anisotropic quasilinear quadratic form over FF of dimension at least 22. Write

dimϕi1(ϕ)=2r12r2++(1)s12rs,\dim\phi-\mathfrak{i}_{1}(\phi)=2^{r_1}-2^{r_2}+\cdots+(-1)^{s-1}2^{r_s},

where r1>r2>>rs1>rs+1>1r_1>r_2>\cdots>r_{s-1}>r_s+1>1. For 1ls1\leq l\leq s, define

Dl=i=1l1(1)i12ri1+ϵ(l)j=ls(1)j12rj,D_l=\sum_{i=1}^{l-1}(-1)^{i-1}2^{r_i-1}+\epsilon(l)\sum_{j=l}^s(-1)^{j-1}2^{r_j},

where ϵ(l)=1\epsilon(l)=1 if ll is even and ϵ(l)=0\epsilon(l)=0 if ll is odd. Here i0(ϕL)\mathfrak{i}_0(\phi_L) is the isotropy index after extending scalars to a field extension L/FL/F.

Vishik-type isotropy gap conjecture. For every field extension L/FL/F, either

i0(ϕL)Dl+i1(ϕ)\mathfrak{i}_0(\phi_L)\geq D_l+\mathfrak{i}_1(\phi)

or

i0(ϕL)Dl.\mathfrak{i}_0(\phi_L)\leq D_l.

The statement is expected to extend a theorem of Vishik from nonsingular quadratic forms to the quasilinear characteristic-two setting. The source presents it as an expectation and gives no resolution.

Sources & referencesView supporting material

Primary source

Stephen Scully, “Hoffmann's conjecture for totally singular forms of prime degree”, arXiv:1410.8785 (2014).

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.