English

On the arithmetic and geometry of spaces $L_{m+1,n}$

Number Theory 2026-01-06 v2 Commutative Algebra Algebraic Geometry

Abstract

Let pp be a prime number. Motivated by the local lifting problem for (Z/pZ)n(\mathbb{Z}/p\mathbb{Z})^n with n>1n>1, we prove several new results on certain Fp\mathbb{F}_p-vector spaces of logarithmic differential forms on the projective line in characteristic pp, called "spaces Lm+1,nL_{m+1,n}". Expanding the previous work by the first two authors, we prove positive and negative results for the existence of spaces Lm+1,nL_{m+1,n} in many situations. Moreover, we classify all spaces L4p,2L_{4p,2} for any pp, and all spaces L15,2L_{15,2} for p=3p=3. Among the novel tools we use, Moore determinants and computational algebra play a prominent role.

Keywords

Cite

@article{arxiv.2503.19533,
  title  = {On the arithmetic and geometry of spaces $L_{m+1,n}$},
  author = {Michel Matignon and Guillaume Pagot and Daniele Turchetti},
  journal= {arXiv preprint arXiv:2503.19533},
  year   = {2026}
}

Comments

63 pages. Supporting code available at https://github.com/DanieleTurchetti/equidistant. New in v2: rewritten the proof of Lemma 3.12 (former 3.10); modified Sections 4.2 and 4.2.1, which now make use of Dickson's invariants; added Sections 4.2.2 on the non-existence of spaces $L_{p^{n-1},n}$ in odd characteristic and Section 7 on the classification of spaces $L_{4p,2}$