English

ACC for $F$-signature: a likely counterexample

Commutative Algebra 2023-09-15 v1

Abstract

Let k=F2\mathscr{k}=\overline{\mathbb{F}_2} and let 0αk0\neq\alpha\in \mathscr{k}. We present a conjecture supported by computer experimentation involving the Brenner-Monsky quartic gα=αx2y2+z4+xyz2+(x3+y3)zk[[x,y,z]]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 FF-signature of the family of four-dimensional hypersurfaces defined by uv+gαk[[x,y,z,u,v]]uv+g_\alpha\in \mathscr{k}[[x,y,z,u,v]] which depends on [F2(α):F2][\mathbb{F}_2(\alpha):\mathbb{F}_2], giving an infinite increasing chain of strict inequalities of FF-signatures. Additionally, we obtain for any tNt\in\mathbb{N} a formula for the Hilbert-Kunz multiplicity and FF-signature of the tt-parameter family of 3t+13t+1-dimensional hypersurfaces defined by uv+i=1tgαi(xi,yi,zi)uv+\sum\limits_{i=1}^t g_{\alpha_i}(x_i,y_i,z_i).

Keywords

Cite

@article{arxiv.2309.07901,
  title  = {ACC for $F$-signature: a likely counterexample},
  author = {Clay Adams and Theodore J. Sandstrom and Austyn Simpson},
  journal= {arXiv preprint arXiv:2309.07901},
  year   = {2023}
}

Comments

Written during the 2023 SMALL REU at Williams College. 16 pages. Comments welcome