Searcharxiv⌕ Search

arXiv · 2609.32955

The F-signature of Determinantal Rings

Abstract

Let $R_{n,p}$ be the determinantal hypersurface ring defined by the determinant of a generic $n \times n$ matrix in characteristic $p$ where $n \geq 2$. In this paper, we obtain explicit bounds for the $F$-signature of $R_{n,p}$. For the upper bound, we prove that this $F$-signature is decreasing in $n$, so the $F$-signature of $R_{2,p}$ serves as an upper bound, which is $2/3$. For the lower bound, we find a toric degeneration $B_n$ of $R_{n,p}$, so the $F$-signature of $B_n$ serves as a lower bound. This $F$-signature can be computed using either Gröbner basis or Han-Monsky machinery, and its value is $\frac{(n!)^2}{(2n-1)!}$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hang Huang, Cheng Meng, Suchitra Pande, Yevgeniya Tarasova. 2026-09-26. The F-signature of Determinantal Rings. https://arxiv.org/abs/2609.32955

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Splitting the Matroid Determinant

The principal matroid determinant $E_L$ of a linear space $L \subseteq \mathbb{P}^n$ has been introduced in recent work by Matsubara-Heo and Telen. In this paper, we give the complete factorization of this polynomial into its irreducible components, proving a conjecture of the aforementioned authors. Our methods rely on bounding local multiplicities and an étale-local description of the strata of reciprocal linear spaces developed by Elias, Proudfoot and Wakefield. We also discuss analogous questions for other coordinate-wise powers of linear spaces.

math.AC↗

On embeddings of rings into their canonical modules

We study embeddings of Cohen--Macaulay local rings into their canonical modules such that the quotient of the cokernel by a regular sequence has the residue field as a direct summand. Motivated by almost Gorenstein rings, we prove an Ext-vanishing criterion for finite projective dimension, which implies G-regularity and the generalized Auslander--Reiten condition. We characterize this summand condition for one-dimensional fiber products and numerical semigroup rings. For Stanley--Reisner rings of graphs, we characterize the corresponding condition for graded embeddings in terms of the graph and show that it is equivalent to a strict multiplicity inequality.

math.AC↗

A Bézout domain that is not an elementary divisor domain

We settle in the negative the longstanding question whether every Bézout domain is an elementary divisor domain by constructing a Bézout domain over which an explicit $2\times 2$ matrix has no Smith normal form. The obstruction is topological and is detected by the Möbius line bundle.

math.AC↗