ACC for $F$-signature: a likely counterexample

TL;DR

This paper explores a conjecture related to the $F$-signature and Hilbert-Kunz multiplicity of certain hypersurfaces, supported by computer experiments, potentially revealing an infinite chain of inequalities in characteristic 2.

Contribution

It proposes a conjectural formula for $F$-signatures and Hilbert-Kunz multiplicities of specific hypersurfaces, extending to multi-parameter families, supported by computational evidence.

Findings

Conjectural formula for $F$-signature and Hilbert-Kunz multiplicity of hypersurfaces.

Evidence suggests an infinite increasing chain of $F$-signatures.

Provides formulas for multi-parameter families of hypersurfaces.

Abstract

Let $\mathscr{k}=\overline{\mathbb{F}_2}$ and let $0\neq\alpha\in \mathscr{k}$. We present a conjecture supported by computer experimentation involving the Brenner-Monsky quartic $g_\alpha=\alpha x^2y^2+z^4+xyz^2+(x^3+y^3)z\in \mathscr{k}[[x,y,z]]$. If true, this conjecture provides a formula for the Hilbert-Kunz multiplicity and $F$-signature of the family of four-dimensional hypersurfaces defined by $uv+g_\alpha\in \mathscr{k}[[x,y,z,u,v]]$ which depends on $[\mathbb{F}_2(\alpha):\mathbb{F}_2]$, giving an infinite increasing chain of strict inequalities of $F$-signatures. Additionally, we obtain for any $t\in\mathbb{N}$ a formula for the Hilbert-Kunz multiplicity and $F$-signature of the $t$-parameter family of $3t+1$-dimensional hypersurfaces defined by $uv+\sum\limits_{i=1}^t g_{\alpha_i}(x_i,y_i,z_i)$.