Searcharxiv⌕ Search

arXiv · 2610.03542

Simpson's closedness conjecture in arbitrary rank

Abstract

For a compact Riemann surface $X$, Simpson associated to each stable graded Higgs bundle $(E,θ)$ a locus $W_{[(E,θ)]}^1 \subset M_{\mathrm{dR}}(X,n)$, consisting of flat bundles that admit a Simpson filtration whose associated graded Higgs bundle is $(E,θ)$. He conjectured that $W_{[(E,θ)]}^1$ is Zariski closed in $M_{\mathrm{dR}}(X,n)$. We prove this conjecture in arbitrary rank. The proof is based on the Quillen geometry of the determinant-of-cohomology line bundle over the moduli of holomorphic bundles. To any holomorphic family of flat bundles, we associate a determinant-of-cohomology line bundle equipped with a canonical holomorphic determinant connection, and derive explicit formulas for its curvature. For a family of flat bundles in $W_{[(E,θ)]}^1$, we then prove that the determinant connection form is exact. This exactness forces the associated determinant frame to extend as a nowhere-vanishing frame across any one-parameter degeneration, which controls the limiting filtration and yields the desired closedness.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tianzhi Hu. 2026-10-05. Simpson's closedness conjecture in arbitrary rank. https://arxiv.org/abs/2610.03542

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

KEEP EXPLORING

Related papers

Les squelettes accessibles d'un espace de Berkovich

We define a class of skeletons on Berkovich analytic spaces, which we call "accessible", which contains the standard skeleton of the n-dimensional torus for every n and is preserved by G-glueing, by taking the inverse image along a morphism of relative dimension zero, and by taking the direct image along a morphism whose restriction to the involved skeleton is topologically proper.

math.AG↗

Critical Points of Degenerate Metrics on Algebraic Varieties: A Tale of Overparametrization

We study the critical points over an algebraic variety of an optimization problem defined by a quadratic objective that is degenerate. This scenario arises in machine learning when the dataset size is small with respect to the model, and is typically referred to as overparametrization. Our main result relates the degenerate optimization problem to a nondegenerate one via a projection. In the highly-degenerate regime, we find that a central role is played by the ramification locus of the projection. Additionally, we provide tools for counting the number of critical points over projective varieties, and discuss specific cases arising from deep learning. Our work bridges tools from algebraic geometry with ideas from machine learning, and it extends the line of literature around the Euclidean distance degree to the degenerate setting.

math.AG↗

On relative Ulrich bundles and generalized Clifford algebras

We give a Clifford-theoretic description of relatively Ulrich bundles on smooth families of hypersurfaces. A split projection centre produces an explicit monic Clifford algebra whose locally free representations are exactly the relatively Ulrich bundles. For quadric fibrations, the description is intrinsic and requires no projection centre; the even Clifford algebra gives exact formulas for the minimal relative Ulrich rank in terms of Brauer classes and monodromy. We also obtain applications to stability, moduli, and relative wildness.

math.AG↗