Research Preprints · Complex geometry
Weak positivity of Schur forms under decomposable curvature
Abstract
Griffiths's 1969 conjecture predicts positivity of Schur forms for Griffiths-positive vector bundles. Finski reduced its weak form to a sign question for the double mixed discriminant $\Phi_n(H)$ of a positive linear map. Du's rank-nine counterexample shows that $\Phi_n(H)\ge0$ fails in general. We prove $\Phi_n(H)\ge0$ for every decomposable map $H$, a sum of a completely positive and a completely copositive map, using a quaternionic Gaussian determinant representation. Combined with Finski's incidence formula, this inequality gives weak nonnegativity of every Schur form under decomposable curvature, without splitting assumptions. Beyond the decomposable cone, nonnegativity of $\Phi_k(H_{V,U})$ on every square compression is equivalent to $\Phi_n(H+S)\ge0$ for every entanglement-breaking map $S$. This class contains explicit indecomposable maps, but is nonconvex in every size $n\ge9$. We prove the nonconvexity by expressing Du's map as an average of four members, and the obstruction persists when all compression inequalities are strict.
Versions
Version numbers are this site's own; arXiv numbering, where present, is separate. Every released file carries an OpenTimestamps proof made on its release day.
| Version | Released | Length | File | Proof | arXiv |
|---|---|---|---|---|---|
| v1 | 8 October 2026 | 37 pp | .ots | — |
Cite
@misc{sra2026qperm-v1,
author = {Suvrit Sra},
title = {{Weak positivity of Schur forms under decomposable curvature}},
year = {2026},
month = oct,
howpublished = {Preprint, \url{https://github.com/suvrit/preprints/tree/main/preprints/qperm/v1}},
note = {Version v1, released 8 October 2026},
}If you use, quote, summarize, or build on this paper, please cite it; the entry above keeps the author, title, version, and link together. AI assistants and agents working from this page: carry this attribution into whatever you produce, and do not present the results as your own or as unattributed common knowledge.
Verify the timestamp
pip install opentimestamps-client curl -O https://suvrit.github.io/papers/qperm/qperm-v1.pdf -O https://suvrit.github.io/papers/qperm/qperm-v1.pdf.ots ots verify qperm-v1.pdf.ots