Divisors on coherent schemes and homogeneous spaces

TL;DR

This paper develops a valuative divisor theory on coherent schemes to study invertible sheaves on homogeneous spaces, establishing new correspondences and extending classical theorems without smoothness assumptions.

Contribution

It introduces a non-Noetherian divisor theory and extends theorems of the cube and square to non-smooth cases, generalizing classical results in algebraic geometry.

Findings

Established an exact correspondence between effective valuative divisors and rank-one reflexive sheaves.

Proved theorems of the cube and the square without smoothness hypotheses.

Constructed ample invertible sheaves from orbit boundaries, enabling extension of polarizations.

Abstract

We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative divisor theory on locally coherent schemes. This establishes an exact correspondence between effective valuative divisors and rank-one reflexive sheaves, yielding a non-Noetherian Ramanujam--Samuel theorem. To homologically control special fibre degenerations, we study morphisms of (N)-type; these govern the descent of generically trivial invertible sheaves and establish the theorems of the cube and the square without smoothness hypotheses. Utilizing the Picard-admissibility of group actions, we construct ample invertible sheaves explicitly from one-codimensional orbit boundaries. This achieves the rigid extension of generic polarizations to integral models over Pr\"ufer bases, structurally generalizing Raynaud's classical proof of his quasi-projectivity theorems.