Sharp FRS and singularity thresholds for off-diagonal Gram maps
Abstract
The off-diagonal Gram map for h vectors in an M-dimensional quadratic space is flat with reduced fibers of rational singularities (FRS) in characteristic zero if and only if M > max_{2 <= r <= h} (2h - r + 1 - 2h/r). Equivalently, this gives the exact FRS convolution threshold of x |-> (x_i x_j){i < j}. For its zero-fiber ideal I{M,h}, we also prove lct(I_{M,h}) = min{ binom(h,2), min_{0 <= k <= h-2} ( binom(k+1,2) + M(h-k)/2 ) }. In the strict range, all truncated coefficient maps have geometrically integral complete-intersection fibers and are faithfully flat over Z[1/2], uniformly over graphs on h vertices. The proof uses a sharp weighted estimate for hollow symmetric matrices over finite local principal ideal rings, paired with isotropic lower bounds. Within the established point-counting approach to rational singularities, this estimate also gives an explicit modulus of continuity for Gram-map densities over every local field of odd residue characteristic.
Versions
Related
- Degree-Three Rational Sphere Maps: Sharp Denominator Region and Gram Normal Forms
- Sharp Minimax Gram-Determinant Asymptotics for Labelled Unit Decompositions of the Identity and Recent Developments on Makai's Conjecture
- Bridging persistence of discrete and continuous 1D maps: Total variation, permutation equivalence, and diagonal affine transformations
- Sharp singularity asymptotics for discrete random matrices
- Sharp Singularity-Degree Bounds for Equality-Generated SDP-RLT Relaxations of Binary Programs
BibTeX
@misc{xie2026sharp,
title = {{Sharp FRS and singularity thresholds for off-diagonal Gram maps}},
author = {Ying Xie},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.02585},
eprint = {2610.02585},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.02585},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Sharp FRS and singularity thresholds for off-diagonal Gram maps
AU - Ying Xie
PY - 2026
DA - 2026/10/01
PB - arXiv
DO - 10.48550/arxiv.2610.02585
UR - https://arxiv.org/abs/2610.02585
AB - The off-diagonal Gram map for h vectors in an M-dimensional quadratic space is flat with reduced fibers of rational singularities (FRS) in characteristic zero if and only if M > max_{2 <= r <= h} (2h - r + 1 - 2h/r). Equivalently, this gives the exact FRS convolution threshold of x |-> (x_i x_j){i < j}. For its zero-fiber ideal I{M,h}, we also prove lct(I_{M,h}) = min{ binom(h,2), min_{0 <= k <= h-2} ( binom(k+1,2) + M(h-k)/2 ) }. In the strict range, all truncated coefficient maps have geometrically integral complete-intersection fibers and are faithfully flat over Z[1/2], uniformly over graphs on h vertices. The proof uses a sharp weighted estimate for hollow symmetric matrices over finite local principal ideal rings, paired with isotropic lower bounds. Within the established point-counting approach to rational singularities, this estimate also gives an explicit modulus of continuity for Gram-map densities over every local field of odd residue characteristic.
ER -