Characteristic cycles and the Gevrey filtration of irregularity in hypergeometric families
Abstract
We show that the characteristic cycle multiplicities of A-hypergeometric systems are upper semicontinuous in the parameter for every rational projective weight, thereby proving a conjecture of Schulze and Walther [Duke Math. J. 142 (2008), 465--509]. The proof uses a specialization formula for filtered families satisfying a fixed product support condition, expressing the difference between the special and generic characteristic cycles as the characteristic cycle of the first Tor module. Combined with the Gevrey index theorem, this yields upper semicontinuity of generic Gevrey irregularity and of each of its graded dimensions. We also construct non-Cohen--Macaulay semigroup rings whose Gevrey dimensions are constant in the parameter despite the presence of a genuine irregular slope, showing that the Gevrey jump locus need not coincide with the full exceptional arrangement defined by Ext.
Related
- Generalized Jantzen filtration, hyperbolic restriction, and characteristic cycles
- Some Infinite Families of Arithmetic Symplectic Hypergeometric Groups
- Characteristic cycles of constructible sheaves and microlocalization
- 105 families of Fano threefolds in positive characteristic
- Base-change of locally stable families in positive characteristic
BibTeX
@misc{tan2026characteristic,
title = {{Characteristic cycles and the Gevrey filtration of irregularity in hypergeometric families}},
author = {Sheng Tan},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.12330},
eprint = {2610.12330},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.12330},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Characteristic cycles and the Gevrey filtration of irregularity in hypergeometric families
AU - Sheng Tan
PY - 2026
DA - 2026/10/08
PB - arXiv
DO - 10.48550/arxiv.2610.12330
UR - https://arxiv.org/abs/2610.12330
AB - We show that the characteristic cycle multiplicities of A-hypergeometric systems are upper semicontinuous in the parameter for every rational projective weight, thereby proving a conjecture of Schulze and Walther [Duke Math. J. 142 (2008), 465--509]. The proof uses a specialization formula for filtered families satisfying a fixed product support condition, expressing the difference between the special and generic characteristic cycles as the characteristic cycle of the first Tor module. Combined with the Gevrey index theorem, this yields upper semicontinuity of generic Gevrey irregularity and of each of its graded dimensions. We also construct non-Cohen--Macaulay semigroup rings whose Gevrey dimensions are constant in the parameter despite the presence of a genuine irregular slope, showing that the Gevrey jump locus need not coincide with the full exceptional arrangement defined by Ext.
ER -