Supersingular Drinfeld modules, Brandt matrices, and rank-metric codes

TL;DR

This paper establishes a dimension stabilization result for morphisms between supersingular Drinfeld modules using Brandt matrices and automorphic forms, leading to the construction of semifield rank-metric codes.

Contribution

It introduces a new stabilization formula for morphism spaces, applies automorphic form theory, and provides an efficient algorithm for computing Brandt matrices in this context.

Findings

Dimension of morphism spaces stabilizes at a linear formula for large s.

The stabilization formula enables construction of semifield rank-metric codes.

An efficient algorithm for computing Brandt matrices is developed.

Abstract

We prove a stabilization result for the $\mathbb{F}_q$-dimension of spaces of morphisms between supersingular Drinfeld modules, filtered by degree: for any two supersingular rank-$2$ Drinfeld $\mathbb{F}_q[T]$-modules in characteristic $\frak{p}$ of degree $d$, the dimension $m_s$ of the space of morphisms of $\tau$-degree at most $s$ satisfies $m_s = 2(s+1)-(d-1)$ for all $s\geq d-2$. This is proved using the theory of Brandt matrices and properties of $L$-functions of automorphic forms for $\mathrm{GL}_2$ over function fields. The stabilization formula, combined with an analysis of zero entries in Brandt matrices and a hyperplane-avoidance argument, yields semifield rank-metric codes. We also describe an efficient algorithm for computing the relevant Brandt matrices.